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

В Тверском государственном техническом университете предложен алгоритм формирования барьера безопасности от воздействия космического мусора для автономного функционирования космического аппарата. ^(19.06.2019)
Разработанная база знаний важности параметров позволяет проводить оценку эффективности барьера безопасности с учетом складывающейся обстановки по каждому потенциально опасному (по критерию опасного сближения) объекту в цикле автоматического функционирования бортовой вычислительной машины управления.

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

В Институте прикладной математики и автоматизации предложен конструктивный метод обучения искусственных нейронных сетей с различными параметрами коррекции для нейронов, добавленных на разных этапах обучения. ^(05.06.2019)
Данный метод позволяет бороться с попаданием в локальный минимум и при этом контролировать масштаб нейронной сети.

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

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

В Петербургском государственном университете путей сообщения исследовался способ использования подхода, основанного на применении известной формулы Байеса, для оценивания качества программных продуктов. ^(16.05.2019)
Оценку качества программного обеспечения предлагается представлять в виде распределения вероятностей на множестве гипотез о том, что качество оцениваемого программного продукта достигло одного из предопределенных уровней ранжирования, предусмотренных моделью.

В Объединенном институте проблем информатики Национальной академии наук Беларуси создана оригинальная технология проектирования цифровых устройств. ^(07.05.2019)
Технология позволяет выполнять логическое моделирование VHDL-описаний комбинационной логики, формировать соответствующие системы булевых функций, проводить их логическую оптимизацию и синтезировать логические схемы в различных технологических библиотеках логических элементов.