Пошук
Зараз показуються 41-50 з 56
Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
(ХАІ, 2008)
Проведен анализ опыта экспертов Государственного научно-технического центра по ядерной и радиационной безопасности (ГНТЦ ЯРБ) в области оценки безопасности программного обеспечения (ПО) информационных и управляющих систем ...
ПЛИС-платформа в критических приложениях: гарантоспособные масштабируемые решения для информационных и управляющих систем АЭС
(ХАІ, 2008)
Проанализированы этапы развития и результаты применения ПЛИС-технологий для построения
масштабируемых платформ гарантоспособных ИУС критических объектов. Уточнена модель рисков и
даны результаты анализа рисков для ...
Отыскание законов распределения логических функций от случайных аргументов методом статистических испытаний
(ХАІ, 2008)
На нескольких примерах показаны возможности метода статистических испытаний для отыскания законов распределения логических функций от случайных аргументов, представленных в минимальной бесповторной форме.
Автоматно-графовая модель сервис-ориентированных приложений
(ХАІ, 2008)
Рассмотрено применение математического аппарата граф-схем алгоритмов и детерминированных конечных автоматов для описания функционирования сервис-ориентированных приложений. В качестве объекта исследования выбраны Web-сервисы ...
Приложение обобщенных логических функций к синтезу цифровых автоматов с перестраиваемыми параметрами
(ХАІ, 2008)
Предложен метод синтеза синтеза цифровых автоматов с перенастраиваемыми параметрами, основанный
представлении функций в форме обобщенных логических функций с зависимыми параметрами. Проведен анализ предложенного метода.
Сравнительный анализ видов нейронных сетей для обработки мультимедиа данных
(ХАІ, 2008)
Приведена классификация, определены отличительные характеристики, обобщены недостатки и преимущества нейронных сетей используемых при распознавании образов. Проведена сравнительная характеристика наиболее распространенных ...
О тестировании программно-аппаратных средств для ПЛИС-ориентированных критических приложений
(ХАІ, 2008)
Предлагаются элементы методики тестирования компонентов Quartus и Nios фирмы Altera,
используемых для разработки ПЛИС проектов критического применения, а также статического анализа
программного кода, реализующего логику ...
Анализ гарантоспособности распределенной ИУС нефтегазового комплекса с использованием расширенных FME(C)A-таблиц
(ХАІ, 2008)
Рассмотрены элементы метода анализа гарантоспособности распределенных информационно-управляющих систем (ИУС) для нефтегазовых инфраструктур. В его основе лежит выявление и анализ
последствий различных отказов подсистем и ...
Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
(ХАІ, 2008)
В статье получены модели дефектов мультидиверсных систем, учитывающие разнообразие программного обеспечения и технических средств, Проанализированы особенности формирования множеств дефектов отдельных программно-аппаратных ...
Модель реализации криптографической функции хэширования на основе принципов диверсности и композитности
(ХАІ, 2008)
Предлагается подход к построению криптографической хэш-функции на основе принципов диверсности
и композитности с целью повышения стойкости к криптоаналитической атаке, основанной на парадоксе
«дня рождения».