Search
Now showing items 441-450 of 481
Применение Event-B для создания систем на программируемой логике
(ХАІ, 2009)
Приведены особенности создания формальной спецификации систем на программируемой логике. Рассмотрены примеры описания таких систем в Event-B. Предложены элементы методики формального
описания и трансляции полученной ...
Особенности процедуры вычисления атомарной радиальной базисной функции Plop(X1, X2)
(ХАІ, 2009)
В работе производится анализ вычислительных погрешностей при реализации алгоритма построения
атомарной радиально базисной функции (АРБФ) Plop(x1, x2), применяемой в численных методах решения краевой задачи по бессеточной ...
Оптимизация управления состоянием радиоэлектронной аппаратуры по коэффициенту оперативной готовности
(ХАІ, 2009)
Рассмотрена стратегия эксплуатации по фактическому состоянию радиоэлектронной аппаратуры,
деградация определяющего параметра которой описывается однородным непрерывным Марковским
процессом, при отсутствии мгновенной ...
Решение задачи использования резервных процессорных модулей отказоустойчивых матричных спецпроцессоров
(ХАІ, 2009)
Предлагается решение задачи выбора резервных процессорных модулей в процессе обеспечения отказоустойчивости матричных спецпроцессоров на активных временных интервалах функционирования.
Системная модель управления проектами предприятий
(ХАІ, 2009)
Рассмотрена проблема совместного управления сроками, стоимостью и качеством выполняемых
предприятием проектов.
Моделирование коммуникационных процессов в инновационных технических проектах
(ХАІ, 2009)
Рассмотрены процессы коммуникаций, возникающие при взаимодействии участников в ходе реализации инновационных технических проектов.
Программная реализация модели обеспечения целостности сообщений посредством симметричных криптопреобразований на основе внутрисеансовой диверсности
(ХАІ, 2009)
Описывается подход к формированию кода аутентификации сообщения на основе внутрисеансовой диверсности посредством симметричных криптопреобразований. Модель разрабатывалась по принципу черного ящика.
Элементы методологии анализа функциональной безопасности информационно-управляющих систем
(ХАІ, 2009)
Предложены элементы методологии анализа функциональной безопасности информационно-управляющих систем (ИУС), включающие: принципы анализа функциональной безопасности ИУС,
теоретико-множественную модель и ER-модель рисков, ...
Оценка показателя версионной избыточности при проектировании программного обеспечения
(ХАІ, 2009)
Описаны типовые структуры графовой модели двухверсионного проекта и их параметры. Предложена аналитическая зависимость для показателя версионной избыточности, учитывающая длину минимальной версии проекта.
Общий подход к организации параллельных вычислений при решении задач комбинированной оптимизации и теории графов
(ХАІ, 2009)
В работе предложена универсальная процедура решения произвольных задач дискретной оптимизации, которая может быть эффективно распараллелена для решения на основе циклических параллельных вычислительных структур.