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

Библиотека

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

Ways to get more reliable and safe software in Aerospace Industry
Tyugashev A., Ermakov I.,Ilyin I., Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012), July 1-2, 2012 in Nizhni Novgorod, Russia, PP121-129.
real-time software   spacecraft   software reliability   software verification   Aerospace Industry  
Направления совершенствования методов разработки и верификации программного обеспечения в аэрокосмической отрасли
Тюгашев А.А., Системный анализ, управление и навигация: Тезисы докладов.-М.: Изд-во МАИ, 2012. С.77-79 ISBN 978-5-4316-0067-8.
космический аппарат   система управления   бортовое ПО   верификация   проектирование  
К вопросу о построении спецификации для бортовых управляющих алгоритмов реального времени
А.А. Тюгашев, А.Ю. Богатов, Вестник СГАУ, №2 (26) 2011, с.269-275.
математическая модель   спецификация   управляющий алгоритм реального времени   эквивалентные преобразования   функциональная задача   система уравнений   бинарное дерево   предикат  
Принцип предельных обобщений: методология, задачи, приложения
Прокопчук Ю.А., Дн-ск: ИТМ НАНУ и НКАУ, 2012. -384 с..
когнитивные технологии   информационные системы   философия познания   принцип предельных обобщений   базы знаний   поддержка принятия решений   ИИ  
Countermeasures against IRIS spoofing and liveness detection using Electroencephalogram (EEG)
T. Karthikeyan, B. Sabarigiri, 2012-07-04
Liveness Detection   EEG   IRIS Patterns  
Enhancement of Multi-Modal Biometric Authentication Based on IRIS and Brain Neuro
T. Karthikeyan, B. Sabarigiri, 2012-07-04
Electrodes   Electroencephalography (EEG)   Neuro Image Coding   IRIS Patterns &  
Особенности обучения программированию на языке JavaScript
Абдурахманов О.А., Абдурахманов Д.А., 2011-12-10
программирование   Javascript  
Тест
иванов и. и., 2012-06-09
кандидатская диссертация   история   История права  
Обоснование необходимости разработки инструментов мониторинга и прогнозирования социальных медиа
Сорокина Е.А., Сорокина Е.А. Обоснование необходимости разработки инструментов мониторинга и прогнозирования социальных медиа // Сборник тезисов докладов конгресса молодых....
Сборник тезисов докладов конгресса молодых ученых   Выпуск 1. Труды молодых ученых  
Формирование механизма дистанционного обучения в России
Сорокина Е.А., Сорокина Е.А. Формирование механизма дистанционного обучения в России // Всероссийский конкурс научно-исследовательских работ студентов и аспирантов....
-