Засуха С. О. Моделі та інформаційна технологія забезпечення готовності інформаційно-управляючих систем космічних апаратів з оперативною верифікацією і оновленням програмних засобів

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0413U003958

Облікова картка дисертації

0413U003958.pdf

Здобувач

Спеціальність

  • 05.13.06 - Інформаційні технології

06-06-2013

Спеціалізована вчена рада

Д64.062.01

Анотація

Об'єкт - процеси створення інформаційно-управляючих систем (ІУС) космічних апаратів (КА) з оперативною верифікацією (ОВ) програмних засобів (ПЗ), мета - підвищення готовності ІУС КА на основі вибору варіантів ОВ і оновлення, методи - теорії множин, теорії ймовірності, системного і марковського аналізу, імітаційного моделювання; наукова новизна - вперше розроблено моделі сценаріїв ОВ ІУС КА, удосконалено математичні моделі готовності ІУС КА з ОВ і оновлення, дістав подальшого розвитку метод вибору варіанту проведення ОВ і оновлення ПЗ ІУС КА; результати - дозволили підвищити готовність і точність оцінювання функції готовності ІУС КА; галузь - ІУС космічної техніки.

Читати повністю

Файли

aref.pdf

dis.pdf

Схожі дисертації

0424U000107

Ковирьова Олександра Валеріївна

Моделі і інструментальні засоби експресної діагностики для застосування в біології та медицині

0524U000111

Гончаренко Тетяна Андріївна

Методологічні основи формування єдиного інформаційного середовища для автоматизації об’єктно-просторових систем в проектах будівництва

0524U000108

Лях Ігор Михайлович

Методологічні основи інформаційної технології обробки даних експресії генів та її застосування в галузі біоінформатики

0524U000074

Шишацький Андрій Володимирович

Інтелектуальні методи управління засобами завадозахисту систем радіозв'язку в умовах дестабілізуючих впливів

0524U000069

Гнатчук Єлизавета Геннадіївна

Теоретичні та прикладні засади інформаційної технології підтримки прийняття медичних рішень з врахуванням цивільно-правових підстав