Наукові праці: Recent submissions
Anzeige der Dokumente 681-700 von 1027
-
О тестировании программно-аппаратных средств для ПЛИС-ориентированных критических приложений
(ХАІ, 2008)Предлагаются элементы методики тестирования компонентов Quartus и Nios фирмы Altera, используемых для разработки ПЛИС проектов критического применения, а также статического анализа программного кода, реализующего логику ... -
Анализ гарантоспособности распределенной ИУС нефтегазового комплекса с использованием расширенных FME(C)A-таблиц
(ХАІ, 2008)Рассмотрены элементы метода анализа гарантоспособности распределенных информационно-управляющих систем (ИУС) для нефтегазовых инфраструктур. В его основе лежит выявление и анализ последствий различных отказов подсистем и ... -
ПЛИС-платформа в критических приложениях: гарантоспособные масштабируемые решения для информационных и управляющих систем АЭС
(ХАІ, 2008)Проанализированы этапы развития и результаты применения ПЛИС-технологий для построения масштабируемых платформ гарантоспособных ИУС критических объектов. Уточнена модель рисков и даны результаты анализа рисков для ... -
Сравнительный анализ видов нейронных сетей для обработки мультимедиа данных
(ХАІ, 2008)Приведена классификация, определены отличительные характеристики, обобщены недостатки и преимущества нейронных сетей используемых при распознавании образов. Проведена сравнительная характеристика наиболее распространенных ... -
Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
(ХАІ, 2008)Проведен анализ опыта экспертов Государственного научно-технического центра по ядерной и радиационной безопасности (ГНТЦ ЯРБ) в области оценки безопасности программного обеспечения (ПО) информационных и управляющих систем ... -
Отыскание законов распределения логических функций от случайных аргументов методом статистических испытаний
(ХАІ, 2008)На нескольких примерах показаны возможности метода статистических испытаний для отыскания законов распределения логических функций от случайных аргументов, представленных в минимальной бесповторной форме. -
Приложение обобщенных логических функций к синтезу цифровых автоматов с перестраиваемыми параметрами
(ХАІ, 2008)Предложен метод синтеза синтеза цифровых автоматов с перенастраиваемыми параметрами, основанный представлении функций в форме обобщенных логических функций с зависимыми параметрами. Проведен анализ предложенного метода. -
Автоматно-графовая модель сервис-ориентированных приложений
(ХАІ, 2008)Рассмотрено применение математического аппарата граф-схем алгоритмов и детерминированных конечных автоматов для описания функционирования сервис-ориентированных приложений. В качестве объекта исследования выбраны Web-сервисы ... -
Medical information systems: analysis of development and application experience
(ХАІ, 2008)Public Health is one of the main areas, where information technologies are intensively employed. Here we have reviewed and analyzed a number of foreign and native medical information systems (MIS), experience of ... -
Определение оптимальной стратегии управления состоянием ЭА с учетом измерительной погрешности
(ХАІ, 2008)Предложена методика определения оптимальной стратегии управления техническим состоянием ЭА, деградация определяющего параметра которой описывается однородным марковским процессом, при наличии стационарной измерительной ... -
Создание надежных информационных систем, находящихся в постоянном развитии
(ХАІ, 2008)Определены стратегии развития информационных систем, предложен алгоритм внедрения нового программного обеспечения, рассмотрен пример информационной системы применяемой в Украинской академии банковского дела НБУ. -
Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
(ХАІ, 2008)Показана возможность повышения функциональной безопасности информационно-управляющих систем с помощью применения систем защиты, учитывающих отказы управляющих контроллеров. Представлены возможные способы построения систем, ... -
Об оценке диверсности реализации минимальных форм функций в различных базисах
(ХАІ, 2008)Анализируются принципы многоверсионного проектирования цифровых систем обработки и управления на базе программируемых логических интегральных схем (ПЛИС). Проводится оценка диверсности минимальных форм функций реализованных ... -
Метод обработки информации в модулярной арифметике
(ХАІ, 2008)Рассмотрена задача построения нейрокомпьютеров на основе использования непозиционных кодовых структур модулярной арифметики. Непозиционные системы счисления, в частности, система остаточных классов, обеспечивает параллелизм ... -
Языково-ориентированное проектирование программного обеспечения для автоматизации стендовых испытаний подсистемы данных платформы спутника МС-2-8
(ХАІ, 2008)Рассматривается программное обеспечение для автоматизации стендовых испытаний подсистемы данных платформы спутника МС-2-8. Анализируются принципы языково-ориентированного подхода при создании программного обеспечения. ... -
Теоретико-множественная модель потока задач в GRID-системах
(ХАІ, 2008)Проанализированы потоки задач в GRID-системах, спецификации и стандарты, описывающие задачу и механизм ее постановки на выполнение; этапы прохождения заявки до ее завершения. Определен уровень и основные структурные ... -
Разработка марковского графа состояний композитной сервис-ориентированной архитектуры
(ХАІ, 2008)Проведен анализ функциональной модели системы сервис-ориентированой архитектуры. Разработаны графы состояний системы в различных условиях. Выполнена нормализация графа для построения марковской модели системы. -
Наукометрический анализ трудов конференции «Гарантоспособные системы, сервисы и технологии (DeSSert)»
(ХАІ, 2008)Выполнен наукометрический анализ научных трудов конференции «Гарантоспособные системы, сервисы и технологии (DeSSert)» за 2006 и 2007 г.г. Установлено образование устойчивого неформального коллектива исследователей этого ... -
Семейство микроконтроллеров STM32: архитектура, технические характеристики и возможности применения в критических системах
(ХАІ, 2008)Проведен обзор нового семейства 32-разрядных FLASH микроконтроллеров фирмы STMicroelectronics, основанных на ядре ARM Cortex M3. Анализируются особенности их архитектуры для обеспечения повышенной производительности, ... -
Рассеяние электромагнитных волн на симметричном соединении коаксиальной линии и круглого волновода с цилиндрическим резонатором. ТМ(е)-волны
(ХАІ, 2008)Рассмотрена задача рассеяния Нφ-поляризованных электромагнитных волн на симметричном стыке коаксиальной линии и круглого волновода с цилиндрическим резонатором. Для строгого решения внутренней краевой задачи использован ...