Статті з наукових журналів та збірок: Recent submissions
Anzeige der Dokumente 441-460 von 863
-
Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
(ХАІ, 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)Проведено аналіз існуючих методів побудови телекомунікаційних мереж. При побудові мережі запропоновано використовувати елементи інтелектуальності. -
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ... -
Разработка и исследование базовых моделей отказоустойчивых Web-сервисов
(ХАІ, 2010)Приведен аналитический обзор экспериментальных исследований в сфере построения отказоустойчивых систем Web-сервисов. -
Компьютерное моделирование оптимальной системы угловой ориентации спутника
(ХАІ, 2010)Рассмотрена технология математического и компьютерного моделирования оптимальной системы угловой ориентации спутника. -
Серверное обслуживание геоинформационных систем
(ХАІ, 2010)В работе показаны роль и возможности специализированных ГИС-серверов и специального программного обеспечения. Рассмотрены различные методы введения дифференциальных поправок с учетом пропускной способности каналов связи. -
Анализ производственного предприятия на основе теории системного подхода с целью выбора средств информационной поддержки
(ХАІ, 2010)Рассматривается проблема формализованного представления производственного предприятия на основе теории системного подхода для определения возможных решений локальных задач. -
Экспресс-диагностика человека в тяжелом состоянии
(ХАІ, 2010)В данной статье решается задача проведения экспресс-диагностики человека, находящегося в тяжелом состоянии, с последующим мониторингом. -
Применение робастных методов вписывания регрессионной прямой для повышения точности оценивания дисперсии сложных помех на изображениях
(ХАІ, 2010)Рассмотрен метод автоматического оценивания дисперсии аддитивных и мультипликативных помех, одновременно присутствующих на изображении. Предложено несколько его модификаций, направленных на уменьшение влияния аномальных ... -
Вплив сукупностей двовимірних дефектів структури на структуру фотовідклику кристалів ZnSe та ZnSe: X(X=Te, Cu, Mg)
(ХАІ, 2010)Шляхом прямого та зворотного дискретного вейвлет-аналізу зображень травлених поверхонь {111} кристалів ZnSe:X (X=Te, Cu, Mg) та ZnSe виявлено різномасштабні угрупування дефектів структури, що формують структуру динамічного ... -
Экспериментальная проверка метода восстановления профиля водной поверхности
(ХАІ, 2010)Для экспериментальных исследований профиля водной поверхности предложена конструкция лазерного волнографа, принцип работы которого основан на измерении угла преломления лазерного луча при прохождении границы вода-воздух. ... -
Перспективные направления развития технологий автоматизации бизнес-процессов
(ХАІ, 2010)Рассматриваются вопросы создания прозрачной технологии проектирования и внедрения автоматизированных бизнес-процессов (БП). Предлагается системное представление задач разработки и реализации БП, предусматривающее исследование ...