Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.

З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точністної та семантичної коректності обчислювальних процесів, та має у по рівнянні з відомими меншу ресурсоємність та більшу діагностувальну спроможність виявлення залишкових дефектів.

Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой логики для оценивания стоимости ПО. Предложено использование диверсифицированных методов оценки, что позволит получить более точную оценку трудоемкости и стоимости разработки. Показана зависимость стоимости программного обеспечения от требуемого уровня надежности. Рассмотрены факторы, влияющие на стоимость программного обеспечения; предложено рассмотрение программных комплексов как открытых систем, а также показано влияние на надежность программного обеспечения внешней среды. Рассмотрены подходы оценивания себестоимости программного продукта.

Предложена модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой вероятностью может содержать остаточный программный дефект. Модель дефектов учитывает адресные операции, операции перехода и позволяет на основании статистических характеристик кода оценить долю остаточных дефектов, связанных с нарушением семантических инвариантов, и эффективность метода, основанного на контроле целочисленных семантических дескрипторов.

Предложен метод, обеспечивающий контроль семантической корректности программного обеспечения на этапе стендовой отработки или в реальном времени, имеющий, по сравнению с методом семантического контроля, на порядок меньшую ресурсоемкость, значительно более высокую диагностирующую способность и более точную оценку вероятности существования остаточных программных дефектов. Применение метода в системах реального времени позволяет повысить надежность информационно-управляющих систем для АЭС и авиационно-космических комплексов.

Рассмотрены вероятностные модели оценки рисков, связанных с разработкой программного продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс. Предложена формальная модель жизненного цикла программного продукта, представленная в виде графа состояний и соответствующей системы алгебро-дифференциальных уравнений Колмогорова, связывающая риски программного проекта и риски программной инженерии. Для оценки рисков программного проекта, связанных с превышением ресурсных ограничений, предложено использование экспертных оценок рисков программной инженерии.

Розглянуто механізм та умови запалення метаноповітряних сумішей під час вигоряння високозапобіжних вибухових речовин (ВР) V і VI класів, який полягає в тому, що підпалювання відбувається відкритим полум'ям, яке виникає під час виходу фронту горіння на торець або бічну поверхню патрона. Встановлено закономірність впливу теплофізичних властивостей компонентів складу ВР на його стійкість до вигоряння. Розроблено методику розрахунку схильності ВР до підпалювання за його компонентним складом, що дозволяє шляхом розрахунку визначити тип і кількість інгібітора, який вводиться до складу нової ВР для надання їй стійкості до вигоряння. Встановлено, що зменшення наважки вторинного заряду електродетонатора (ЕД) дає змогу знизити імовірність підпалювання патрона ВР таким ЕД. Одержано математичну модель імовірності підпалювання патрона бойовика залежно від маси вторинного заряду ЕД, на базі якої створено нові ЕД зі зниженою здатністю до підпалювання.

Обгрунтовано шляхи підвищення ефективності експертизи та сертифікації програмного забезпечення інформаційно-керуючих систем критичного застосування за допомогою розробки моделей та інструментальних засобів, що забезпечують незалежну семантичну верифікацію на підставі аналізу збереження на всіх проектних рівнях програмного інваріанта - семантики програмних змінних. Створено методи побудови семантичних моделей програмного забезпечення, обгрунтовано доцільність їх використання для верифікації. Розроблено метод оцінки достовірності незалежної верифікації - калібрування семантичної моделі, створеної на базі ін'єкції програмних дефектів у семантичну модель відповідно до статистичних характеристик програмного коду та профілю дефектів. Запропоновано засоби підтримки незалежної верифікації й експертизи програмного забезпечення інформаційно-керуючих систем.

Проанализированы методы оценки качества программного обеспечения (ПО), основанные на современном model-checking подходе. Описаны принципы и модель инвариантно-ориентированной оценки качества ПО космических систем. Предложен полимодельных метод оценки, использующий различные типы инвариантов ПО: на базе учета физической размерности переменных (семантический), с использованием интервально-точностных характеристик переменных (интервальный и точностной). Оценена достоверность контроля при применении методов верификации, основанных на измерении инвариантов ПО.

Поставлено задачу створення вибухової речовини без використання могутніх сенсибілізаторів (наприклад тротилу), які за виготовлення та використання здійснюють негативний вплив на здоров'я працівників та екологію.

Представлено результати дослідження запобіжної вибухової речовини на базі сульфату амонію, визначення її енергетичних характеристик і запобіжних властивостей, проведення порівняльного аналізу нової вибухової речовини з існуючими вибуховими речовинами V і VI класів.

Досліджено вплив поліакриламіду та натрій-карбоксиметилцелюлози на водостійкість концентрованого розчину окиснювача (аміачної селітри), та цього розчину у поєднанні з розчинною пальною домішкою (сахарозою). Вивчено дію поперечних зшивок на одержані суміші. Виявлено оптимальні концентрації досліджуваних згущувачів та зшивок, досліджено їх дію на водостійкість складів, в яких вони використовуються. Всі компоненти перевірено на сумісність, встановлено їх вплив на кристалізацію аміачної селітри з розчину за температури, нижчої за стандартну.

Досліджено вплив вмісту інертної сполуки на запобіжні властивості, що є однією з важливіших характеристик запобіжних вибухових речовин, а також хімічний склад поліфосфату натрію як основного компонента інертної сполуки.

Поставлено задачу розробки лабораторного стенда для перевірки вибухових приладів за показниками, зазначеними в технічних умовах на прилад, та показниками безпеки ведення вибухових робіт.

Розглянуто основи інформаційної технології підвищення рівня функціональної безпеки, побудованої на принципах аналізу фізичних розмінностей, що дозволяє верифікувати програмний код під час його розробки, зменшити ризики некоректного використання вхідних даних, та контролювати відсутність функціональних відмов під час штатної роботи технічних систем. Наведено перелік операцій, що контролюються. Визначено межі контролю коду під час формальної верифікації, а також контролю обчислювальних процесів під час експлуатації систем. Приведено класи програмних дефектів та визначено ефективність методу, що для реального коду перевищує 80 %.

Розглянуто основні складові авторського права у програмній інженерії, процедури оформлення свідоцтв на твір і патентів на винахід і корисні моделі. Показано особливості оформлення авторських прав на програми. Наведено основні види комп'ютерного піратства й описано методи боротьби з ним.

Розглянуто та проведено порівняльний аналіз підходів до моделювання складних систем (СС), до яких можливо віднести соціально-економічні системи (СЕС) заснованих як на статистичних характеристиках процесів так ймовірнісних моделях з використанням детермінованого та стохастичного підходів. Сформовано вимоги до інформаційної технології (ІТ) адаптованого моделювання СС. Показано, що диверсифікація дозволяє підняти достовірність прогнозу. Показано, що комплексування методів аналітичного моделювання з засобами штучного інтелекту (штучними нейронними мережами) забезпечує необхідну якість прогнозу, а використання реальних даних про стан СС як початкових даних для аналітичної моделі зменшує похибку результату. Наведено узагальнену функціональну модель ІТ, що дозволяє з високою достовірністю прогнозувати шляхом моделювання стан складних соціально-економічних систем. Запропонований підхід дозволяє знизити системні ризики обумовлені незбалансованістю окремих ланок.

В результате обработки результатов эксперимента получены величины остаточных напряжений в пластине после азотирования в азотированном слое и в сердцевине детали. Предложена формула для оценки напряжений в детали после азотирования.

Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и проанализированы модели полноты семантического контроля программного обеспечения. Доказана устойчивость полученных результатов.

Приведено класифікацію складних систем, що використовує декартовий добуток ортогональних множин властивостей, що є "класифікаційними" множинами складних систем. Розглянуто життєвий цикл аналізування та моделювання складних систем як ітеративну послідовність моделей, що поступово наближуються до реальної системи. Запропоновано функціональну модель інформаційної технології моделювання складних систем, особливістю якої є наявність метаконцептуальної та метаматематичної моделей, використання яких дозволить зменшити ризики побудови некоректних математичних і програмних моделей та підвищіть достовірність прогнозу стану складних систем.