Викладено результати імітаційних експериментів з вивчення характеристик просторових розподілів обчислених координат сцинтиляцій залежно від виду статистичного критерію згоди, що використовується для розв'язання системи рівнянь відносно координат. Експерименти проведено за допомогою програмно-математичної моделі гамма-томографа з кодованою апертурою, в якій реалізовано метод статистичного моделювання (метод Монте-Карло). Встановлено, що для точок поверхні позиційно-чутливих детекторів, в яких кількість інформації Фішера про координати сцинтиляції, яка міститься у вибірці сигналів фотоелектронних помножувачів, достатньо велика, найбільш доцільним критерієм є критерій <$E chi sup 2> Пірсона та відношення максимальної павдоподібності для величини, розподіленої за Пуассонівським законом. Наведено залежності параметрів просторових розподілів обчислених координат сцинтиляцій від рівня порогу прийняття рішення за критерієм <$E chi sup 2> Пірсона. Встановлено область оптимальних значень критерію.

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

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

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

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

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

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

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

Рассмотрен метод формального синтеза Си-программ смесей исходных алгоритмов и ациклической Си-программы - смеси.

Описан метод формального архитектурно-ориентированного проектирования временных параллельных программ для ЭВМ с симметричной мультипроцессорной обработкой.

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

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

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

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

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

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

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

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

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

Существенным компонентом гарантоспособных систем управления являются адаптивные параллельные ВС. Сформулирована концепция и принципы построения Адаптивных Самоорганизующихся Вычислительных Систем (АСВС), рассмотрена обобщенная архитектура АСВС и проблемы проектирования параллельного аппаратно-программного обеспечения. Дана характеристика аппарата формального синтеза АСВС - Структурно-Временной Дискретной Математики. Описана технология автоматического синтеза временных мультипараллельных моделей задач - Синтезатор Параллельных Моделей. Рассмотрена технология автоматического синтеза временных параллельных программ - Параллельный Интеллектуальный Компилятор. Описана технология автоматического синтеза мультипараллельных цифровых аппаратных средств - Автоматический Интеллектуальный Проектировщик.