Программные продукты и системы

В Алтайском государственном техническом университете им. И.И. Ползунова создан программный комплекс, обеспечивающий взаимодействие производственных предприятий и научно-технических организаций ^(28.07.2010)
Программное обеспечение комплекса позволяет определить уровень инновационного потенциала организации с применением технологии гибридных экспертных систем и нейронных сетей.

В НИИСИ РАН для реализации задачи стохастического тестирования микропроцессоров с архитектурой MIPS64 была разработана интегрируемая система INTEG ^(21.07.2010)
Используемый в системе INTEG подход к верификации микропроцессорных средств основан на массовом прогоне тестов на различных моделях микропроцессора (в частности, на RTL и эталонной моделях) и сравнении результатов прогона.

В НИИ системных исследований РАН построена модель вычислений, описывающая основные аспекты контролируемого выполнения распределенных ответственных приложений реального времени ^(07.07.2010)
Модель построена на основе формального описания устойчивой системы реального времени, включающего восстановление системы после сбоев, временные свойства и планируемость.

В Пензенском государственном университете предложена новая модель расписаний, учитывающая сложную структуру связей между элементами расписаний ^(16.06.2010)
Модель позволяет описывать широкий класс таких прикладных задач, в которых древовидная

В Стерлитамакском филиале Уфимского государственного нефтяного технического университета предложено с помощью дискретно-логического регулятора сократить потери быстродействия системы регулирования, основанной на системе типовых продукционных правил ^(09.06.2010)
Дискретно-логический регулятор по быстродействию более чем в четыре раза превосходит регулятор, основанный на системе типовых продукционных правил.

• Телефон: +7 (4822) 39-91-49
• Факс: +7 (4822) 39-91-00
• Адрес: 170024, г. Тверь, проспект 50 лет Октября, 3а
• Электронная почта: red@cps.tver.ru, info@cps.tver.ru