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

Все новости информационных технологий

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

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

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

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

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

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

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

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

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

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

◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | Следующая → ►