Библиотека » Информационные Технологии

Библиотека

Информационные Технологии

Логическое исчисление управляющих алгоритмов
А.Ю. Богатов, А.А. Тюгашев, Сб. трудов Международного симпозиума "Надежность и качество 2013".
логическое исчисление   управляющий алгоритм  
Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования
А.А. Тюгашев, А.В. Шулындин, Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66.
управляющий алгоритм   верификация   система реального времени   расписание   визуальная верификация  
Работа в вики-среде на примере Русской Википедии
Крижановский А.А., 2014-12-01
Википедия   вики   образовательная программа   социальная сеть  
Применение подходов BYOD для построения стратегии информатизации высшего учебного заведения
Иванченко Д.А., Хмельков И.А., Райчук Д.Ю., Митрофанов А.М., Самочадин А.В., Рогов П.А., Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. - 2013.- №3(174). - С.85-92.
информатизация образования   BYOD   Mobile device manager   Мобильные технологии  
The specialized web-catalog of observations of thunderstorm activity on planets of the Solar system
V. N. Tkachev, V. V. Zaharenko, K. Y. Мilostnaya, V. N. Tkachev, V. V. Zaharenko, K. Y. Мilostnaya / The specialized web-catalog of observations of thunderstorm activity on planets of the Solar system // The Strategies of Modern Science Development. II International scientific–practical conference. 4-5 June 2013. - Science Book Publishing....
specialized web-catalog   storm   Solar system  
Автономная верификация микропроцессоров на основе эталонных моделей разного уровня абстракции
Шмелёв В.А., Стотланд И.А., АВТОНОМНАЯ ВЕРИФИКАЦИЯ МИКРОПРОЦЕССОРОВ НА ОСНОВЕ ЭТАЛОННЫХ МОДЕЛЕЙ РАЗНОГО УРОВНЯ АБСТРАКЦИИ Шмелёв В.А., Стотланд И.А. Всероссийская научно-техническая....
АВТОНОМНАЯ ВЕРИФИКАЦИЯ   ТЕСТОВАЯ СИСТЕМА   ЭТАЛОННАЯ МОДЕЛЬ   конвейер   МИКРОПРОЦЕССОР   OVM   TLM   STANDALONE VERIFICATION   TESTBENCH   REFERENCE MODEL   PIPELINE   MICROPROCESSOR  
Метод динамической верификации модулей системного обмена микропроцессорных вычислительных комплексов
Стотланд И.А., МЕТОД ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ Стотланд И.А. Научно-технический вестник Поволжья. 2012. №....
МИКРОПРОЦЕССОР   ДИНАМИЧЕСКАЯ ВЕРИФИКАЦИЯ   МОДУЛЬ СИСТЕМНОГО ОБМЕНА   TLM   ЭТАЛОННАЯ МОДЕЛЬ   MICROPROCESSOR   SIMULATION-BASED VERIFICATION   INTERCONNECTION MODULE   GOLDEN MODEL  
Методика функциональной верификации цифровых устройств
Деменкова Т.А., Певцов Е.Ф., Стотланд И.А., МЕТОДИКА ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ ЦИФРОВЫХ УСТРОЙСТВ Деменкова Т.А., Певцов Е.Ф., Стотланд И.А. Электронная техника. Серия 2: Полупроводниковые приборы. 2011. № 2. С.....
МАШИННОЕ ПРОЕКТИРОВАНИЕ   МНОГОФУНКЦИОНАЛЬНАЯ СВЕРХБОЛЬШАЯ ИНТЕГРАЛЬНАЯ СХЕМА   ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ   моделирование   computer-aided design   VERY-LARGE-SCALE INTEGRATION CIRCUIT   FUNCTIONAL VERIFICATION   modeling  
Мобильный мир
Ирина, 2013-06-12
смартфон   связь   мобильный телефон  
Оценка основного сопротивления поезда метрополитена на основе фильтра Калмана
Мелёшин И.С., 2011-01-00
метрополитен   модель движения поезда   сопротивление движению   нелинейная фильтрация   фильтр Калмана   сигма-точечный фильтр Калмана   subway   train model   train running resistance   non-linear filtration   Kalman Filter   Unscented Kalman Filter