Розглянуто теоретичні аспекти автоматизованого проектування мов, формальних алгоритмів і програм, базовою моделлю яких є рекурсивні автомати з програмуючою логікою. Як інструментальні засоби проектування використовуються алгоритмічні алгебри. Особливу увагу приділено питанням проектування алгоритмів та програм у межах рекурсивних систем інтерпретованих алгоритмічних алгебр.

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

Наведено методи квазірегулярного і рекурсивного проектування електронних компіляторів із використанням алгоритмічних алгебр. Теоретичною основою квазірегулярного проектування є модифікована алгебра регулярних подій та модифіковані системи алгоритмічних алгебр. Рекурсивне проектування електронних компіляторів забезпечено рекурсивною системою інтерпретованих алгоритмічних алгебр.

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

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

Рассмотрены общие принципы и теоретические основы проектирования непрерывных и цифровых систем управления (СУ) с применением компьютерных технологий. Изложены актуальные вопросы современной теории управления с примерами решения задач средствами программного комплекса MATLAB и его приложений - Simulink/Cotrol System Toolbox. Охарактеризованы общие принципы проектирования, предложены методы компоновки устройств СУ, обеспечения надежности СУ при проектировании, синтеза СУ, корневого годографа (КГ). Раскрыты теоретические основы анализа и проектирования СУ. Описаны особенности синтеза корректирующих устройств методами логарифмических частотных характеристик и корневого годографа, СУ методом размещения полюсов, цифровых систем методом КГ, цифровых ПИД-регуляторов, СУ слабо формализованными процессами и телекоммуникационными сетями.

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

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

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

Ключ. слова: система обработки информации, модулярная арифметика, система счисления в остаточных классах, оптимальное резервирование, беспилотный летательный аппарат, резервированная структура
Індекс рубрикатора НБУВ: З970.6

Рубрики:

Системи оброблення даних

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

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

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

Рассмотрены методы повышения эффективности телерадиоинформационной системы за счет комбинированной модуляции М-ФАМ/ФМ на примере системы микроволновой интегрированной телерадиоинформационной системы. Повышение спектральной эффективности достигается за счет использования многопозиционной амплитудно-фазовой модуляции, что позволяет обеспечить эффективный и дешевый доступ пользователей к информационным ресурсам в системе передачи данных на базе высотных беспилотных летательных аппаратов для организации цифрового телерадиовещания и сети Интернет в Украине.

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

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

Изложены основные этапы и результаты научной деятельности кафедр факультета радиотехнических систем Национального аэрокосмического университета им. Н. Е. Жуковского "Харьковский авиационный институт" в период с 1999 по 2009 гг.

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

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

Отмечено, что увеличение объема передаваемой по магистральны направлениям цифровой информации, высокая стоимость развертывания линий передачи цифровой информации на базе современных цифровых технологий - SDH, PDH, линий ВОЛС сделало актуальным использование для передачи цифровых потоков развернутые аналоговые радиорелейные линии (РРЛ). Приведен анализ эффективности РРЛ, использующих модуляцию потока символов 64QAM и аппаратуру, мачты, антенны радиорелейных станций и линий, развернутых ранее для передачи информации в аналоговом формате.

Рассмотрены технологии математического и компьютерного моделирования экономического состояния производства в условиях конкуренции и процесса выравнивания цен. Показано, что для решения задач экономики можно использовать уравнения Лотки - Вольтерра и Холлинга - Тэннера, применяемые для модели "хищник - жертва". Предложены и исследованы схемы имитационного моделирования средствами MATLAB/Simulink (версия 7.6.0 (R2008a)). Приведены результаты моделирования экономических систем при различных параметрах модели. Анализ результатов выполнен с помощью временных функций и фазовых траекторий.