|
Сабо Ю. И., Ларкин Е. В. Отказоустойчивость
авионики с иерархической структурой
Парамонов П. П., Видин Б. В., Стрижевский В. С. Управление
конфигурациями в сертифицируемых программных разработках
Рожков В. Н. Информационно-логическая модель процесса
контроля летательных аппаратов
Малыхин Л. И., Мишина В. К., Никифоров В. М. Методика
синтеза и анализа алгоритмов терминального управления прицеливанием
ракет
Contents
Ю.
И. Сабо, ОКБ "Электроавтоматика", Санкт-Петербург,
Е. В. Ларкин, Тульский государственный университет
Отказоустойчивость авионики с иерархической структурой
Проектируемая авионика представляется в виде графа. Формулируются
требования к математическому аппарату, позволяющему исследовать
отказоустойчивость авионики.
Стр. 2 - 7
П.
П. Парамонов. Б. В. Видин, В. С. Стрижевский,
ОКБ "Электроавтоматика", Санкт-Петербург
Управление конфигурациями в сертифицируемых программных разработках
Усматриваются концепции и информационная структура системы конфигурационного
управления сертифицируемых (по стандарту KT-178) программных разработок
Стр. 8 - 11
В. Н. Рожков, канд. техн.
наук, доц., "МАТИ" - РГТУ им. К. Э. Циолковского
Информационно-логическая модель процесса контроля летательных
аппаратов
Проанализированы принятые в стандартах ИСО 9000-2000 определения
понятий "контроль" и "испытания". Приведены
особенности процессов контроля качества при производстве ЛА. Дано
описание информационно-логической модели процесса контроля.
Стр. 12 - 16
Л. И. Малыхин,
канд. техн. наук, проф., МАТИ-РГТУ им. К. Э. Циолковского,
В. К. Мишина, канд. техн. наук, ОАО "ОКБ Сухого"
В. М. Никифоров, канд. техн. наук, НПЦ АП им. Н. А. Пилюгина
Методика синтеза и анализа алгоритмов терминального управления
прицеливанием ракет
Обсуждается построение новой схемы прицеливания ракет, базирующейся
на идеях терминального управления, обобщаются полученные результаты.
Предложена методика синтеза и анализа алгоритмов терминального управления
прицеливанием ракет
Стр. 17 - 23
Sabo Ju. I., Larkin E. V.
Fault-Tolerant of Avionics with Hierarchical Structure
Paramonov P. P., Vidin B. V., Strizhevsky V. S. Control by
Configurations in Certificated Programmed Developments
Rojkov V. N. Informational Logical Model of the Inspection
Process the Flying Apparatus
Malyhin L. I., Mishina V. K., Nikiforov V. M. Methods of
Algorithms Synthesis and Analysis of Terminal Control by Aiming
of Rockets
Наверх
|
