Автоматизированное проектирование минимальносвязной параллельной декомпозиции управляющих автоматов в k-значных логиках на основе теоретико-графового вложения

• Автор: Калитин, Денис Владимирович
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2005
• Место защиты: Москва
• Количество страниц: 144 с. : ил.

Содержание.
Введение.
Глава 1. Подходы к проблеме проектирования параллельной декомпозиции управляющих автоматов ПДУА.

1.1. Синтаксический подход.

1.2. Семантический подход.

1.3. Последовательная стратегия проектирования параллельной декомпозиции автоматов при семантическом подходе.

1.4. Расширение терминальных символов.

1.5. Вычисление сложности функциональной декомпозиции.

1.6. Выводы по первой главе.

Глава 2. Параллельная стратегия синтеза предельной параллельной декомпозиции автоматов.
2.1. Параллельная стратегия минимизации функциональной связности двоичных элементов памяти.
2.2. Кластеры, их структура и свойства.
2.3. Параллельная стратегия синтеза связной предельной параллельной декомпозиции в трхзначной логике.
2.4. Выводы по второй главе.
Глава 3. Параллельная стратегия проектирования минимальносвязной ПДУ А.
3.1. Произведение кластеров, их структура и свойства.
3.2. Технология параллельной стратегии проектирования минимальносвязной ПДУА.
3.3. Программный инструментарий параллельной стратегии
проектирования минимальносвязной ПДУА и его
внедрение.
3.4. Выводы по третьей главе.
Глава 4. Автоматизированное проектирование реальных
минимальносвязных ПДУА.
4.1. Трхзначный однородный нейрон сотовой структуры и
его проектирование.
4.2. Автоматизированное проектирование автоматного
управления системой сжигания тврдого топлива в плотном
4.3. Автоматизированное проектирование логической
компоненты системы мониторинга морской акватории.
4.4. Выводы по четвртой главе.
Заключение.
Литература


Недостатками этого подхода являются комбинаторный перебор возможных разбиений и малая доля автоматов, обладающих свойством подстановки и процедура, основанная на алгебре пар, по существу, является процедурой не проектирования, а распознавания свойства подстановки автомата, которая, быть может, только на последнем шаге преобразования даст отрицательный результат, т. Для устранения этих недостатков японскими учёными К. Нобуёки, А. Тадаши, Е. Нориоши ( г. Модификации этого подхода, проведённые отечественным учёными (-е годы) А. Н. Мелиховым, О. П. Кузнецовым, В. Г. Лазаревым, Е. И. Пийль, Э. Б. Ершовой и др. В диссертации предлагается подход и его конструктивное оформление в виде параллельной стратегии решения задачи проектирования минимальносвязной параллельной декомпозиции управляющих автоматов, описываемых функциями не только дву-, но и к-значной логики, свободный от недостатков предыдущих исследований учёных ( - г. Основная идея работы заключается в разработке конструктивного аппарата, позволяющего эквивалентировать заданную автоматную грамматику грамматикой, обладающей свойством параллельной декомпозируемости через грамматики меньшей размерности, за счёт сужения сигнатуры исходной грамматики. Разработать программный инструментарий проектирования минимальносвязной параллельной декомпозиции управляющих автоматов. Задачи, поставленные в диссертации, решаются методами теории графов, теории автоматов, математической лингвистики и характеризационного анализа. Достоверность научных результатов подтверждается доказанными теоремами, а так же практическими результатами внедрения научных исследований в реальное производство. Разработана процедура вложения в кластер графа сцепления при минимальном сужении его сигнатуры. Впервые, на основе структур кластеров разработана параллельная стратегия проектирования минимальносвязной параллельной декомпозиции управляющих автоматов, имеющая значительно меньшую трудоёмкость по сравнению с технологиями предыдущих учёных ( - г. Получена связь между значностями используемых логик и объёмами памяти автоматов-сомножителей, образующих бесиовторную мультипликативную декомпозицию. Intel, AMD и др. ЗАО НПЦ “Альтаир” о чём имеются соответствующие акты о внедрении. РАЕН, международной академией информатизации и МГГУ: “Логическое управление. Характеризационный анализ. САПР”, М, г. Логическое управление. Характеризационный анализ. САПР”, М, г. Характеризационный анализ. Нейронные технологии. САПР”, М, г. Теоретическая информатика и информационные технологии и стратегии” Международной академии информатизации. По теме диссертации опубликовано шесть научных работ. Диссертационная работа состоит из введения, 4 глав и заключения, содержит таблиц, рисунка и список литературы из наименований. Глава 1. Подходы к проблеме проектирования параллельной декомпозиции управляющих автоматов (ПДУА). Рассмотрены существующие подходы к проектированию ПДУА ведущих учёных США: Дж. Хартманиса, Р. Стирнса, Р. Карпа; СССР—России: В. А. Горбатова, A. B. Горбатова, В. Г. Лазарева, Е. И. Пийль, А. Н. Мелихова; Японии: К. Нобуёки, А. Тадаши, Е. Нориоши; Франции: И. Жоффрена [] и др. Показано, что их можно разбить на две группы: синтаксические и семантические подходы. Указан принципиальный недостаток синтаксического подхода, включающий алгебраические и матричные конструкции и заключающийся в том, что процедуры разрабатываемые при этом подходе по существу являются не процедурами проектирования, а процедурами распознавания алгебраических и матричных конструкций со свойством подстановки, реальные автоматы, к сожалению, которым не обладают. Семантический подход, предложенный В. А. Горбатовым, свободен от этого недостатка. Он и выбран в качестве направления диссертационного исследования. Синтаксический подход. Синтаксический подход начал развиваться с работ Дж. Хартманиса и Р. Стирнса в г. Для этого разобьём всё множество внутренних состояний (нетерминальных символов) на блоки. Ь}еВа-^{а,7,ь}еВа. Рассмотрим автомат, заданный таблицей переходов вида (табл. Таблица 1. Перебирая разбиения множества нетерминальных символов, согласно (1. Вз, В9, ? Таблица 1. Необходимое и достаточное условие существования кодирования с ослабленной функциональной зависимостью. Пусть #={?