Search
Now showing items 51-60 of 76
Системы мониторинга лесных ресурсов: состояние и пути развития
(ХАІ, 2009)
В статье рассмотрена глобальная проблема состояния лесных массивов. В частности, акцент сделан
на системах сбора информации о состоянии лесов.
Алгоритм моделирования управляемой марковской цепи
(ХАІ, 2009)
Рассматривается алгоритм моделирования марковской цепи с управляемыми вероятностями состояний и числом состояний.
Возможности совместного использования современных методов анализа отказов систем, важных для безопасности
(ХАІ, 2009)
В статье проанализированы существующие методы анализа отказов, применяющиеся при разработке систем, важных для безопасности. Показаны их достоинства и недостатки, предложены
критерии, по которым можно произвести сравнение ...
Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
(ХАІ, 2009)
В статье анализируются допущения, принятые в моделях надежности программных средств. Предлагается подход к разработке моделей обслуживаемых компьютерных систем, в которых учитываются
возможности внесения новых (вторичных) ...
Оценка качества интерфейсов медицинских систем: модель и элементы методики
(ХАІ, 2009)
Анализируются стандарты качества программного обеспечения и модели качества пользовательских
интерфейсов. Рассматривается классификация методов оценки сложных интерфейсов. Исследуется
методика метрической оценки качества ...
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Оценка диверсности программного обеспечения с использованием косвенных метрик
(ХАІ, 2009)
Проведен анализ прямых и косвенных метрик диверсности программного обеспечения. Сформулирована гипотеза об использовании косвенных метрик для оценки диверсности.
Формирование топологических отношений между геометрическими объектами цифровой лесной карты на основе анализа планарного графа
(ХАІ, 2009)
Рассмотрены элементы анализа правильного планарного графа, включающие формирование полигонов
на основе ребер графа, диагностику точечных и линейных шарниров. Вводится понятие простого
связного графа как элементарной ...
Method of realization of arithmetic operations on the basis of the use of modulyarnoy number system
(ХАІ, 2009)
In this article we consider two arithmetic operation realizations in modular arithmetics, based on the ring shift
principle. The method of binary position and remainder encoding has proved to be very efficient comparing ...
Моделирование гарантоспособных сервис-ориентированных архитектур при атаках с использованием уязвимостей
(ХАІ, 2009)
Предложена имитационная модель многоверсионной сервис-ориентированной архитектуры, функционирующей при воздействии внешних агрессивных факторов – сетевых атак. Рассмотрены принципы и
методика проведения эксперимента с ...