|
|
|
|
Программа фундаментальных исследований ОНИТ РАН "Информационные технологии и методы анализа сложных систем".
|
|
|
|
|
"СтДС, проект 1.5" Методы и алгоритмы анализа процессов в сложных динамических системах с новыми типами стохастической обратной связи.
(1 кв. 2011 г. - 4 кв. 2013 г.)
№ госрегистрации -
Научн. рук.: д.т.н., проф. Синицин И.Н.
Корреляционные методы и алгоритмы анализа процессов в сложных динамических системах с новыми типами стохастической обратной связи
|
|
|
|
|
Программа фундаментальных исследований ОНИТ РАН
"Фундаментальные проблемы разработки новых структурных решений и элементной базы в телекоммуникационных системах"
|
|
|
|
|
"Потоки". Математические методы, алгоритмы и программные средства анализа стохастической структуры информационных потоков в телекоммуникационных системах. (2009-2011 г.г.)
№ госрегистрации - 01200903884
Научный руководитель - д.ф.-м.н., проф. Шоргин С.Я.
Создание универсального комплекса программ для анализа стохастической структуры неоднородных хаотических процессов, включающего как методы анализа стохастической структуры информационных потоков, моделируемых подчиненными винеровскими процессами, так и методы анализа информационных потоков, моделируемых неоднородными экстремальными процессами типа подчиненных гамма-процессов или подчиненных процессов Вейбулла-Гнеденко.
|
"Проектор". Фундаментальные проблемы разработки новых систем отображения информации с использованием твердотельных источников света. (2009-2011 г.г.)
№ госрегистрации - 01200903882
Научный руководитель - д.т.н., проф. Торчигин В.П
Изготовление светодиодного проектора с вращающейся системой линз. Экспериментальное исследование характеристик формируемого изображения светодиодным проектором с вращающимися линзами (размеры, яркость, разрешающая способность, палитра).
|
|
|
|
|
Программа фундаментальных исследований ОНИТ РАН
"Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов новых поколений"
|
|
|
|
|
Проект 1.5. "ГАРОС 2 /этап 2011". Построение компьютерных систем новых поколений на основе нетрадиционных подходов и архитектурных решений. (2009-2011 г.г.)
№ госрегистрации - 01200903872
Научный руководитель - к.т.н. Степченков Ю.А.
Выбор представительной задачи, подлежащей решению на рекуррентном обработчике сигнала (РОС). Разработка модели распознавателя изолированных слов на базе инструментальных средств проектирования аппаратно-программного обеспечения РОС. Разработка программно-аппаратных средств тестирования гибридного варианта РОС (ГАРОС). Апробация программных и аппаратных средств ГАРОС на основе ПЛИС на примере распознавателя изолированных слов.
|
|
|
|
|
Программа фундаментальных исследований Президиума РАН № 3 "Фундаментальные проблемы системного программирования"
|
|
|
|
|
Проект 2.1. Создание рабочих станций на основе технологий виртуализации. (2009-2010 г.г.)
№ госрегистрации - 01200903873
Научный руководитель - акад. Соколов И.А.
Исследование практических аспектов паравиртуализации и подходов к реализации "облачных" вычислений.
|
Проект 1.1. Разработка новых подходов к полуформальной и формальной верификации сложных программно-аппаратных систем, с использованием Алгоритмических Машин Состояний и методов Проверки Mоделей (Model Checking). (2009-2011 г.г.)
№ госрегистрации - 01200903887
Научный руководитель - д.т.н. Козмидиади В.А.
Верификация программных компонентов, специфицированных с использованием ASM.
|
Проект 4.2. Исследование методов и средств промежуточного слоя предметных посредников, обеспечивающего решение задач над множеством неоднородных распределенных информационных ресурсов. (2009-2011 г.г.)
№ госрегистрации - 01200903878
Научный руководитель - д.ф.-м.н., проф. Калиниченко Л.А.
Разработка инструментальных средств сопряжения систем программирования с промежуточным слоем предметных посредников. Развитие инструментальных средств реализации реверсивных отображений моделей информационных ресурсов в каноническую информационную модель. Реализация методов извлечение схем Веб-ресурсов и создания адаптеров для подключения Веб-ресурсов к посредникам. Разработка средств генерации адаптеров информационных ресурсов.
|
