Изложены методические и инструментальные аспекты оценки качества программного обеспечения (ПО) компьютерных систем для разных компонентов космических комплексов (КС). Приведены требования к качеству ПО КС на основе анализа международных стандартов и гармонизированных отраслевых нормативных документов Национального космического агентства Украины. Описаны процессы и методы оценки и обеспечения качества на разных этапах жизненного цикла ПО КС. Рассмотрены методы тестирования, вероятностной и метрической оценок качества, надежности и безопасности программного обеспечения. Освещены основы построения и реализации инструментальной системы поддержки оценки качества критического ПО КС.

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

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

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

Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО ИУС критического применения.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Індекс рубрикатора НБУВ: Ц521.262в647

Шифр НБУВ: Ж70654 Пошук видання у каталогах НБУВ