Разработка и исследование алгоритмов структурной декомпозиции управляющих систем

• Автор: Беляев, Виктор Афанасьевич
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Томск
• Количество страниц: 101 с. : ил.

1.1 ОПРЕДЕЛЕНИЕ СХЕМЫ.

1.2 ПОСТАНОВКА ЗАДАЧ ДЕКОМПОЗИЦИИ.

1.3 ОБЗОР МЕТОДОВ РЕШЕНИЯ ЗАДАЧ ДЕКОМПОЗИЦИИ

1.4 ТЗАДАЧА КАК МОДЕЛЬ ЗАДАЧ СТРУКТУРНОЙ ДЕКОМПОЗИЦИИ.

1.5 МЕТОД СОКРАЩННОГО ОБХОДА ДЕРЕВА ПОИСКА

1.6. СОКРАЩЕНИЕ ПЕРЕБОРА

1.7. ФОРМУЛИРОВКА МЕТОДА

1.7.1. Алгоритм обхода ,.

1.7.2. Технология решения задач декомпозиции.

ГЛАВА 2. ДЕКОМПОЗИЦИЯ НА КОМПОНЕНТЫ

ОГРАНИЧЕННОГО ОБЪМА.

ВВЕДЕНИЕ
2.1. ПОСТАНОВКА ЗАДАЧИ
2.2. ТИНТЕРПРЕТАЦИЯ
2.3. ПАРАМЕТРЫ МЕТОДА.
2.4 АЛГОРИТМЫ НАЧАЛЬНОГО РАЗБИЕНИЯ
2.5. АЛГОРИТМ ПЕРЕЧИСЛЕНИЯ МАКСИМАЛЬНЫХ СОВМЕСТИМЫХ ПОДМНОЖЕСТВ
2.6. ПРИМЕР.
2.7. ДОПУСТИМОСТЬ АЛГОРИТМА ПЕРЕЧИСЛЕНИЯ И ОПЕРАЦИИ СОКРАЩЕНИЯ
2.8. РЕАЛИЗАЦИЯ АЛГОРИТМА ДЕКОМПОЗИЦИИ НА ЭВМ.
ГЛАВА 3. ДЕКОМПОЗИЦИЯ НА КОМПОНЕНТЫ
ОГРАНИЧЕННОЙ СЛОЖНОСТИ
ВВЕДЕНИЕ.
3.1. ПОСТАНОВКА ЗАДАЧИ И Е СВЯЗЬ С ЗАДАЧЕЙ КОМПОНОВКИ СХЕМ
3.2. ТИНТЕРПРЕТАЦИЯ И ПАРАМЕТРЫ МЕТОДА
3.3. СВОЙСТВА ПЛОТНЫХ МНОЖЕСТВ И ДОПУСТИМОСТЬ АЛГОРИТМА ПЕРЕЧИСЛЕНИЯ.
3.4. ПЕРЕЧИСЛЕНИЕ СОВМЕСТИМЫХ ПОДМНОЖЕСТВ
3.5. АЛГОРИТМЫ НАЧАЛЬНОГО РАЗБИЕНИЯ
3.6. ПРИМЕР
Г ЛАВА 4. ДЕКОМПОЗИЦИЯ НА КОМПОНЕНТЫ
СОВМЕСТИМОСТИ.
ВВЕДЕНИЕ.
4.1. ПОСТАНОВКА ЗАДАЧИ.
4.2. ТИНТЕРПРЕТАЦИЯ.
4.3. ПАРАМЕТРЫ МЕТОДА И ИХ ДОПУСТИМОСТЬ
4.4. ПРИМЕР
4.5. РАСКРАСКА ГРАФОВ, СОДЕРЖАЩИХ РАЗДЕЛЯЮЩИЙ ПОЛНЫЙ ПОДГРАФ .
4.6. РЕАЛИЗАЦИЯ И ИССЛЕДОВАНИЕ АЛГОРИТМА НА ЭВМ.
ГЛАВА 5. ПОКРЫТИЕ СХЕМ СВОБОДНЫМИ МОДУЛЯМИ
5.1. ПОСТАНОВКА ЗАДАЧИ И Е МОДЕЛЬ.
5.2. ТИ1ГГЕРПРЕТАЦИЯ И ПАРАМЕТРЫ МЕТОДА.
5.3. АЛГОРИТМ ПЕРЕЧИСЛЕНИЯ.
5.4. ПРИМЕР
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Диаконт, раздел Разработка методик и аппаратуры исследований. Хоздог оворные темы Сибирского физикотехнического института при Томском государственном университете ТГУ Разработка математических и программных средств проектирования цифровых автоматов на базе матричных КМОП БИС, гг. Сток, раздел Функциональнологическое и струкгурное проектирование. Хоздоговорные темы Сибирского физикотехнического института при Томском государственном университете ТГУ, программа Разработка метода автоматического синтеза асинхронных автоматов для использования при проектировании АУ СКППО, гг. Сапфир, раздел Разбиение схемы на технологические блоки. Межвузовская научногехническая программа Конверсия и высокие технологии. Раздел Информатизация. Проект гг Раздел Информационные технологии, электроника и связь. Проект 1 . Раздел Информационные компьютерные технологии дискретного математического моделирования, анализа, синтеза и тестирования сверхскоростных интегральных схем логического управления. Грант РФФИ 8 Исследование полурешточной модели динамического поведения интегральных схем логического управления, руководитель д. Агибалов Г. Специальном опытном проектном конструкторском технологическом бюро СОПКТБ при СО ВАСХНИЛ, г. Новосибирском заводе полупроводниковых приборов Изомер. Теоретические результаты работы внедрены в учебный процесс на факультете прикладной математики и кибернетики Томского государственного университета используются в курсе лекций Разработка и анализ комбинаторных алгоритмов. Апробация работы.