Suche
Anzeige der Dokumente 91-100 von 442
Самодиагностирование высокоинтегрированных цифровых систем реального времени
(ХАІ, 2010)
Рассматривается структура программируемых логических интегральных микросхем (ПЛИС), а также математические модели конфигурируемой матрицы логических блоков ПЛИС, предлагается усовершенствованный метод самодиагностирования ...
Анализ эргономических критериев и показателей качества человеко-компьютерных интерфейсов в SCADA-системах
(ХАІ, 2010)
Показано, что проектирование и реализация пользовательских интерфейсов таких сложных систем, как SCADA-системы (Supervisory Control and Data Acquisition – диспетчерское управление и сбор данных), играют ключевую роль в ...
Модель вычислений, управляемых данными, в программном обеспечении систем реального времени
(ХАІ, 2010)
Показано, что контроль точности, достоверности и актуальности вычислений в программном обеспечении систем реального времени является актуальной задачей. Предложено в качестве теоретического решения данной задачи использовать ...
Метод оценки требований к кэш-памяти для периодических задач в системах на основе многоядерных процессоров
(ХАІ, 2010)
Рассматриваются проблема влияния неравномерного распределения общей кэш-памяти на производительность в системах на основе многоядерных процессоров.
Модели автоматизированных систем периметровой охраны объектов с «пассивным» нарушителем
(ХАІ, 2010)
Проведен анализ структурных и функциональных моделей автоматизированных систем периметровой охраны объектов с учетом размещения датчиков контроля, коммуникационных средств и обработки информации.
Формализация генерации заданий для комплекса интерактивных web-тестов по математике
(ХАІ, 2010)
Рассмотрен один из подходов к формализации генерации заданий, входящих в комплекс интерактивных web-тестов по математике. Определены основные требования к формализации генерации заданий.
Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления
(ХАІ, 2010)
Устойчивость к отказам программно-аппаратных средств является важной составляющей функциональной безопасности информационно-управляющих систем (ИУС), а также других критических характеристик систем, важных для безопасности ...
Генерирование и оценка параметров широкополосного электромагнитного излучения КВЧ диапазона сверхнизкой интенсивности для информационных технологий в медицине
(ХАІ, 2010)
Предлагается метод косвенной диагностики технического состояния прибора «ІХТ-Поріг» по характеристикам, относительно, более низкочастотных, импульсных токов режима генерации активного элемента.
Таксономические модели профилирования требований информационно-управляющих систем критического применения
(ХАІ, 2010)
Рассмотрены таксономические модели профилирования требований информационно-управляющих систем критического применения, позволяющих представить вербальные нефункциональные требования стандартов и спецификаций в виде, ...
Инструментальное средство засева и моделирования константных неисправностей встроенных систем на ПЛИС
(ХАІ, 2010)
Проведен анализ существующих техник и инструментально-технических средств засева дефектов встроенных систем на программируемых логических интегральных схемах (ПЛИС). Предложено инструментальное средство засева и моделирования ...