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

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

351. 15.11.2017
В Российском государственном социальном университете рассматривалась реализация алгоритма верификации метода Model Checking для формул логики линейного времени LTL на базе новой нотации RLTL.
Данная нотация является рекурсивным представлением формул логики линейного времени. Поскольку на базе RLTL могут быть заданы как модель верифицируемой системы, так и требования к ней, можно избежать необходимости их предварительного преобразования к автоматам Бюхи и сразу приступать к процессу верификации, что упростит алгоритм метода и повысит его эффективность.

352. 08.11.2017
В Новосибирском государственном техническом университете проведен обзор автоматизированной оценки юзабилити.
Выделены подходы, основанные на взаимодействиях, метриках и моделировании, указаны возможности и ограничения каждого из них.

353. 01.11.2017
В Волгоградском государственном техническом университете разработанн фреймворк для автоматизации исследований в области проектирования математического и программное обеспечение проактивных систем поддержки принятия решений.
Предлагаемое программное решение, представляющее собой ПО на языке Python, позволяет автоматизировать процесс анализа временных рядов и формировать отчет в формате LaTeX. Формирование осуществляется в автоматическом режиме в соответствии с методологией CRISP-DM. Отчет содержит результат комплексного анализа временных рядов в соответствии с опубликованными и признанными методиками.

354. 25.10.2017
В Университете «Дубна» (Институте системного анализа и управления) разрабатывается система распознавания образов автономного робота, базирующегося на технологии стереозрения.
Создан программный модуль распознавания, разработанный с помощью языка программирования Python.

355. 18.10.2017
В Национальном исследовательском центре «Курчатовский институт» совместно с Национальным исследовательским университетом «Высшая школа экономики» исследовались механизмы, важные для адекватного моделирования группы искусственных агентов, особенно мобильных роботов, организованных в систему с элементами социальной структуры.
Сформулированы основные механизмы для моделирования искусственных коллективов с социальной структурой.

356. 11.10.2017
В Университете «Дубна», Институте системного анализа и управления исследовались возможности применения нейроинтерфейса совместно с различными типами регуляторов на типовом примере управления автономным транспортным средством.
Проведена оценка возможностей применения методов и средств технологии интеллектуальных вычислений для повышения надежности функционирования системы управления.

357. 04.10.2017
В Центре визуализации и спутниковых информационных технологий ФНЦ НИИСИ РАН разработаны методы воспроизведения видеоматериалов высокой четкости в подсистеме визуализации тренажерно-обучающих систем.
Для отображения нескольких видеоматериалов высокой четкости в виртуальной трехмерной сцене разработана и реализована архитектура декодера кадров видео. Архитектура включает декодер видео, в котором происходит декодирование видео- и аудиопакетов; подсистему воспроизведения декодированного звука; управляющую структуру, необходимую для запуска видео, паузы воспроизведения, выставления громкости воспроизводимого видео и т.д.; интерфейс взаимодействия с движком, необходимый для обновления видеокадров.

358. 27.09.2017
В Федеральном научном центре Научно-исследовательский институт системных исследований РАН (ФНЦ НИИСИ РАН) ведутся разработки высокопроизводительного микропроцессора для создания доверенных систем.
Особое внимание уделено средствам повышения безопасности в микропроцессоре, которые предназначены для создания на его основе доверенных систем.

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

360. 13.09.2017
В Тамбовском государственном техническом университете разработана математическая модель предприятия во взаимодействиях с внешней средой, осуществляемых за счет обмена ресурсами.
Найден технический параметр безопасности предприятия, который количественно характеризует неэффективность защиты.

◄ ← Предыдущая | 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 | 80 | 81 | 82 | 83 | Следующая → ►