Software & Systems

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

361. 03.05.2017
В Российском государственном социальном университете совместно с Московским технологическим университетом (МИРЭА) рассмотрена RLTL-нотация в качестве новой структуры данных для задания моделей систем.
Было показано, что задание моделей систем с помощью RLTL не сложнее, чем на основе структур Крипке или на базе автоматов Бюхи. Модели, заданные на базе RLTL, как и модели на базе других структур данных, могут быть существенно упрощены за счет использования представленных в статье методов абстракции и унификации, что является важным аспектом для процесса верификации больших распределенных программных систем.

362. 25.04.2017
В Институте вычислительной математики и математической геофизики СО РАН рассмотрены проблемы функционирования сетей в условиях несанкционированных вторжений.
Обеспечить абсолютную защиту, полностью нивелировать последствия вторжений возможно далеко не во всех случаях. Однако эффективный выбор механизмов защиты позволит существенно снизить ущерб. Для этого необходимо разрабатывать и исследовать адекватные математические модели.

363. 19.04.2017
В Национальном исследовательском университете «Московский энергетический институт» реализованы методы обучения с подкреплением на основе временных (темпоральных) различий и мультиагентной технологии.
Рассмотрены возможности комбинирования методов обучения со статистическими и экспертными методами прогнозирования с целью последующей интеграции в инструментальную программную среду для использования в современных перспективных интеллектуальных системах реального времени типа интеллектуальных систем поддержки принятия решений реального времени.

364. 12.04.2017
В Тверском государственном техническом университете реализован комбинированный подход к выработке управляющих воздействий.
Исходя из наличия большого числа случайных возмущающих воздействий, в созданной автоматизированной системе выполняется учет наиболее значимых и наиболее вероятных из них.

365. 05.04.2017
В Академии строительства и архитектуры Донского государственного технического университета спроектирован и разработан прототип системы хранения ансамблей нейросетевых моделей.
Данная разработка позволяет обеспечить структурированное хранение данных на различных этапах решения задачи прогнозирования временных рядов.

366. 29.03.2017
В Оренбургском государственном университете совместно с Российской академией народного хозяйства и государственной службы при Президенте Российской Федерации (Оренбургский филиал) разработана методика подбора альтернативного варианта шаблона интерфейса, использующая такие методы искусственного интеллекта, как экспертная оценка и теория нечетких множеств.
На основе предложенной методики автоматизирован процесс проектирования пользовательского интерфейса с целью повышения объективности и оперативности решений, принимаемых разработчиками ПО.

367. 22.03.2017
В Центре визуализации и спутниковых информационных технологий НИИСИ РАН разработан программный комплекс STF-ElectronMod для моделирования стационарных стохастических трехмерных температурных полей в технических системах.
Метод и алгоритм компьютерного моделирования основаны на авторских разработках по матрично-топологическому методу, программному комплексу моделирования детерминированных трехмерных температурных полей технических систем, а также на методе статистических испытаний.

368. 15.03.2017
В Национальном исследовательском университете «Московский энергетический институт» разработаны программные средства повышения эффективности решения класса аэродинамических задач на высокопроизводительных вычислительных системах кластерного типа.
Программные средства реализованы на основе параллельно-последовательного алгоритма решения разреженных систем линейных алгебраических уравнений большой размерности методом обобщенных минимальных невязок.

369. 07.03.2017
В Тверском государственном университете совместно с НИИ «Центрпрограммсистем» рассмотрена математическая модель защиты компьютерной сети от вредоносного кода на основании модели MSEIRS.
Результатом исследования модели явилась разработанная программа, которая позволяет грамотно оценить защищенность сети и при необходимости применить эффективные методы борьбы с вредоносным кодом.

370. 01.03.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 | Следующая → ►