Искать
Отображаемые элементы 31-40 из 298
Анализ производственного предприятия на основе теории системного подхода с целью выбора средств информационной поддержки
(ХАІ, 2010)
Рассматривается проблема формализованного представления производственного предприятия на основе теории системного подхода для определения возможных решений локальных задач.
Серверное обслуживание геоинформационных систем
(ХАІ, 2010)
В работе показаны роль и возможности специализированных ГИС-серверов и специального программного обеспечения. Рассмотрены различные методы введения дифференциальных поправок с учетом пропускной способности каналов связи.
Компьютерное моделирование оптимальной системы угловой ориентации спутника
(ХАІ, 2010)
Рассмотрена технология математического и компьютерного моделирования оптимальной системы угловой ориентации спутника.
Экспресс-диагностика человека в тяжелом состоянии
(ХАІ, 2010)
В данной статье решается задача проведения экспресс-диагностики человека, находящегося в тяжелом состоянии, с последующим мониторингом.
Исследование сервисов спортивного программирования как многоверсионных проектов
(ХАІ, 2010)
Рассмотрена одна из проблем многоверсионных проектов, заключающаяся в сложности получения и анализа информации для их оценки диверсности.
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)
Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ...
Разработка и исследование базовых моделей отказоустойчивых Web-сервисов
(ХАІ, 2010)
Приведен аналитический обзор экспериментальных исследований в сфере построения отказоустойчивых систем Web-сервисов.
Принципи побудови волоконно-оптичної інтелектуальної мережі
(ХАІ, 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 ...
Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
(ХАІ, 2010)
Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в процессе устранения ...