Software & Systems

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

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

432. 19.02.2016
В Российском государственном социальном университете рассмотрена проблема формулирования сложных верифицируемых свойств.
Предложен механизм эквациональной характеристики для логики LTL позволяющий существенно расширить возможности ее описательных свойств.

433. 16.02.2016
В Московском государственном техническом университете им. Н.Э. Баумана совместно с НПО «Эшелон» рассматривались актуальные вопросы стандартизации серийного производства безопасных программных изделий.
Определена целесообразность гармонизации разрабатываемых нормативных требований и практических мер с методологиями международных стандартов по линии ISO 15408 и ISO 12207.

434. 11.02.2016
В Ростовском государственном университете путей сообщения исследовалось дискретно-событийное моделирование и рассматривались его отличительные особенности.
Основное отличие – отсутствие привязки ко времени: достаточно соблюдать последовательность наступления событий, при этом не важно, какой временной промежуток будет между событиями.

435. 09.02.2016
В Донском государственном техническом университете совместно с Филиалом Военной академии связи рассматривалась возможность параллельной реализации алгоритмов муравьиных колоний для криптоанализа блочных криптосистем.
Отмечена актуальность нового научного направления «природные вычисления», приведена структурная схема криптоанализа стандарта DES с использованием метода муравьиных колоний.

436. 04.02.2016
В Донском филиале Центра тренажеростроения совместно с Ракетно-космической корпорацией «Энергия» им. С.П. Королева рассмотрены результаты апробации комплекса виртуальных руководств космическими экспериментами на борту Российского сегмента Международной космической станции.
На основе полученного опыта поставлена задача перевода научной документации на планшетные компьютеры экипажа и разработан новый бортовой модуль интерфейса с расширенными функциональными возможностями.

437. 03.02.2016
В Национальном исследовательском университете «Московский энергетический институт» рассматривались основные понятия теории нечетких продукционных экспертных систем.
Нечеткие продукционные экспертные системы базируются на наборе правил, представленном в терминах лингвистических переменных. В качестве механизма нечеткого вывода предлагается разработанная модификация алгоритма Rete для нечеткой базы правил.

438. 27.01.2016
В Центре визуализации и спутниковых информационных технологий ФНЦ НИИСИ РАН исследовались методы визуализации земной поверхности и наземных объектов с описанием применения в авиационно-космической отрасли.
Рассмотрены особенности моделирования подстилающей поверхности с использованием спутниковых снимков, данных SRTM и организация хранения исходных данных в форматах Tile Map Service и Keyhole Markup Language.

439. 20.01.2016
В НИИ ЦПК им. Ю.А. Гагарина совместно с Центром тренажеростроения и подготовки персонала исследовался предмет тестирования открытого контура автоматизированной системы информационного обеспечения подготовки космонавтов.
Целью выполнения работы является определение возможности создания набора интегрированных решений для консолидации ПО тренажеров функционально-моделирующих стендов в рамках корпоративного центра обработки данных.

440. 13.01.2016
В Оренбургском государственном университете совместно с ФНЦ НИИСИ РАН рассмотрены методы местоопределения наземного транспортного средства на основе вторичной обработки информации, поступающей со спутниковой навигационной системы ГЛОНАСС.
Точность позиционирования транспортного средства, зависящая от многих факторов, в том числе и от метода нахождения координат, является одним из показателей эффективного управления транспортным средством, что позволяет оперативно контролировать передвижение транспортных средств, фактическое время работы транспортного средства и точность определения расхода топлива.

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