Факультет радіоелектроніки, комп’ютерних систем та інфокомунікацій (№ 5): Recent submissions
Зараз показуються 661-680 з 1142
-
Генерирование и оценка параметров широкополосного электромагнитного излучения КВЧ диапазона сверхнизкой интенсивности для информационных технологий в медицине
(ХАІ, 2010)Предлагается метод косвенной диагностики технического состояния прибора «ІХТ-Поріг» по характеристикам, относительно, более низкочастотных, импульсных токов режима генерации активного элемента. -
Инструментальное средство засева и моделирования константных неисправностей встроенных систем на ПЛИС
(ХАІ, 2010)Проведен анализ существующих техник и инструментально-технических средств засева дефектов встроенных систем на программируемых логических интегральных схемах (ПЛИС). Предложено инструментальное средство засева и моделирования ... -
Процедура выбора средств для оценки соответствия программного обеспечения нормативным требованиям
(ХАІ, 2010)Проведен анализ существующих классификаций методов оценки программного обеспечения. Проведен анализ информации используемой при оценке соответствия требованиям и предложено формальное описание метода оценки программного ... -
Таксономические модели профилирования требований информационно-управляющих систем критического применения
(ХАІ, 2010)Рассмотрены таксономические модели профилирования требований информационно-управляющих систем критического применения, позволяющих представить вербальные нефункциональные требования стандартов и спецификаций в виде, ... -
Анализ методов вычисления коэффициента релевантности для веб-страниц поисковыми системами
(ХАІ, 2010)Приведен метод расчета релевантности для веб-ресурсов, который позволяет учитывать неограниченное количество критериев, а так же имеет очень простую для программирования структуру, которая легко расширяется или сужается, ... -
Таксономическая схема и методы обеспечения гарантоспособности банковских информационных систем
(ХАІ, 2010)Проведен анализ понятия гарантоспособности банковских информационных систем. Определены основные задачи функционирования гарантоспособных банковских систем. -
Determination of distribution laws of delays contributing to web-services response time
(ХАІ, 2010)The paper reports results of finding distribution laws representing Web-Services response time and delays contributing. -
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)Проведен анализ структурных и функциональных моделей автоматизированных систем периметровой охраны объектов с учетом размещения датчиков контроля, коммуникационных средств и обработки информации. -
Особенности информационного обеспечения автоматизированной системы сопровождения проведения квалификационных испытаний бортовой аппаратуры ракетно-космической техники
(ХАІ, 2010)В статье представлен обзор процесса разработки автоматизированной системы сопровождения проведения квалификационных испытаний бортовой аппаратуры ракетно-космической техники, предназначенной для применения в составе ... -
Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
(ХАІ, 2010)Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в процессе устранения ... -
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built. -
Оптимизация программного кода с использованием методов математического программирования
(ХАІ, 2010)Сформулированы и решены математические задачи нахождения оптимальных характеристик программного обеспечения, которые применимы при выполнении инженерной задачи оптимизации работы программ. -
Event-B patterns for developing FPGA-BASED hardware
(ХАІ, 2010)The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful ... -
Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-B
(ХАІ, 2010)Предложен метод, который позволяет объединить метод анализа деревьев отказов (FTA) и формальную спецификацию в Event-B. Использование методики формальной разработки гарантирует корректность внедрения требований по ... -
Метод планирования задач и распределения ресурсов в ГРИД на основе процедур прогнозирования
(ХАІ, 2010)Проанализирована проблематика планирования задач и распределения ресурсов в ГРИД окружении. Разработан метод планирования потока задач и ресурсов на основе анализа и прогноза параметров функционирования ГРИД окружения. -
Instability analysis of delays contributing to web service response time
(ХАІ, 2010)This paper reports our practical experience of benchmarking a complex System Biology Web Service, and investigates the instability of its behaviour and the delays induced by the communication medium. -
Модели корпоративных сервисов на основе иерархических сетей Петри
(ХАІ, 2010)Представлена структура корпоративных сервисов. Рассмотрены существующие решения задачи анализа эффективности корпоративных информационных систем. -
Исследование сервисов спортивного программирования как многоверсионных проектов
(ХАІ, 2010)Рассмотрена одна из проблем многоверсионных проектов, заключающаяся в сложности получения и анализа информации для их оценки диверсности. -
Принципи побудови волоконно-оптичної інтелектуальної мережі
(ХАІ, 2010)Проведено аналіз існуючих методів побудови телекомунікаційних мереж. При побудові мережі запропоновано використовувати елементи інтелектуальності.