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

В Институте автоматики и процессов управления ДВО РАН разработана архитектура взаимодействия облачной платформы и внешнего ПО. ^(11.07.2018)
С учетом данной архитектуры представлена технология разработки сервиса, состоящая из четырех основных этапов: разработка сервиса на платформе, разработка внешнего ПО, установка веб-сервера, разработка коммуникационного ПО – программы-посредника.

В Российской академии наук совместно с Казанским (Приволжским) федеральным университетом разработаны концептуальные основы построения учебно-макетных вариантов интерактивной сборочной системы, осуществляющей в автоматическом режиме сборку программных систем прикладного назначения. ^(04.07.2018)
Генерация программных систем построена на основе концепций «Теории схем программ», ее базисных понятий, типовых конструкционных схем и методологий программной инженерии.

В Институте прикладной семиотики Академии наук Республики Татарстан предложен новый подход и разработан инструментарий для лингво-статистического сравнения близости тюркских языков с использованием модели тюркской морфемы. ^(27.06.2018)
Инструментарий для определения лингво-статистической близости тюркских языков реализован в виде веб-ресурса, который обрабатывает информацию о языке, представленную в БД модели тюркской морфемы.

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

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

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

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