Пошук
Зараз показуються 91-100 з 110
Особенности информационного обеспечения автоматизированной системы сопровождения проведения квалификационных испытаний бортовой аппаратуры ракетно-космической техники
(ХАІ, 2010)
В статье представлен обзор процесса разработки автоматизированной системы сопровождения проведения квалификационных испытаний бортовой аппаратуры ракетно-космической техники, предназначенной для применения в составе ...
Multi version service oriented architechtures dependability analisys
(ХАІ, 2010)
This article is targeted on investigating the web-services dependability problem and, in particular, the reasonableness of multi version architecture usage to solve it and guarantee the customer he is safe while using the ...
Самодиагностирование высокоинтегрированных цифровых систем реального времени
(ХАІ, 2010)
Рассматривается структура программируемых логических интегральных микросхем (ПЛИС), а также математические модели конфигурируемой матрицы логических блоков ПЛИС, предлагается усовершенствованный метод самодиагностирования ...
Анализ эргономических критериев и показателей качества человеко-компьютерных интерфейсов в SCADA-системах
(ХАІ, 2010)
Показано, что проектирование и реализация пользовательских интерфейсов таких сложных систем, как SCADA-системы (Supervisory Control and Data Acquisition – диспетчерское управление и сбор данных), играют ключевую роль в ...
Метод оценки требований к кэш-памяти для периодических задач в системах на основе многоядерных процессоров
(ХАІ, 2010)
Рассматриваются проблема влияния неравномерного распределения общей кэш-памяти на производительность в системах на основе многоядерных процессоров.
Модели автоматизированных систем периметровой охраны объектов с «пассивным» нарушителем
(ХАІ, 2010)
Проведен анализ структурных и функциональных моделей автоматизированных систем периметровой охраны объектов с учетом размещения датчиков контроля, коммуникационных средств и обработки информации.
Формализация генерации заданий для комплекса интерактивных web-тестов по математике
(ХАІ, 2010)
Рассмотрен один из подходов к формализации генерации заданий, входящих в комплекс интерактивных web-тестов по математике. Определены основные требования к формализации генерации заданий.
Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления
(ХАІ, 2010)
Устойчивость к отказам программно-аппаратных средств является важной составляющей функциональной безопасности информационно-управляющих систем (ИУС), а также других критических характеристик систем, важных для безопасности ...
Генерирование и оценка параметров широкополосного электромагнитного излучения КВЧ диапазона сверхнизкой интенсивности для информационных технологий в медицине
(ХАІ, 2010)
Предлагается метод косвенной диагностики технического состояния прибора «ІХТ-Поріг» по характеристикам, относительно, более низкочастотных, импульсных токов режима генерации активного элемента.
Таксономические модели профилирования требований информационно-управляющих систем критического применения
(ХАІ, 2010)
Рассмотрены таксономические модели профилирования требований информационно-управляющих систем критического применения, позволяющих представить вербальные нефункциональные требования стандартов и спецификаций в виде, ...