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

В Санкт-Петербургском национальном исследовательскомй университете информационных технологий, механики и оптики (Университет ИТМО) создана модель программного кода, выражающая инварианты безопасности и допускающая эффективное использование расширенных систем типов для нахождения уязвимых участков кода ^(14.06.2018)
Предлагаемые решения проблем алиасинга и изменяемого состояния основаны на использовании формы статического одиночного присваивания путем применения правил перезаписи, сохраняющих функциональную эквивалентность программ, что позволяет использовать принципы проверки, применимые к функциональным языкам программирования.

В Оренбургском государственном университете совместно с Российской академией народного хозяйства и государственной службы при Президенте Российской Федерации (Оренбургский филиал) предложена методика оценки затрат при проектировании программных проектов на основе горного алгоритма. ^(06.06.2018)
Создано математическое и программное обеспечение для решения поставленной задачи. Она выполняется по модели композиции приложения и модели раннего этапа проектирования.

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

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

В Военной академии воздушно-космической обороны им. Маршала Советского Союза Г.К. Жукова предложена методика оценки снижения производительности информационно-вычислительной системы при введении в нее средств разграничения доступа. ^(16.05.2018)
Предложены программные средства, с помощью которых может быть реализована данная методика.

В Самарском национальном исследовательском университете им. академика С.П. Королева рассматривалась задача синтеза тематического слоя объектов транспортной инфраструктуры на основе данных дистанционного зондирования Земли, получаемых космическими и воздушными средствами. ^(10.05.2018)
Предложена схема информационной поддержки управления характеристиками и состоянием объектов транспортной инфраструктуры на основе данных дистанционного зондирования Земли, уровни которой включают в себя страты информационной и методической инфраструктур. Построена модель структурно-параметрического синтеза тематического слоя электронной карты в среде геоинформационной системы для объектов транспортной инфраструктуры на аэрокосмических изображениях.

В Национальном исследовательском университете «Московский энергетический институт» совместно с компанией «Волга» и Московским авиационным институтом (национальным исследовательским университетом) решалась задача точного распределения коэффициента вариации. ^(03.05.2018)
Полученные точные формулы для распределения коэффициента вариации проверялись многократным статистическим моделированием методом Монте-Карло, подтвердившим точность аналитических расчетов.