Последовательно-параллельный анализ вариантов повышения качества модульного проектирования декомпозируемых технических систем

• Автор: Ревякин, Сергей Васильевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Екатеринбург
• Количество страниц: 180 с.

Перечень сокращений

1 ПРОБЛЕМА ПОВЫШЕНИЯ КАЧЕСТВА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ ДЕКОМПОЗИРУЕМЫХ ОБЪЕКТОВ

1Л Область исследования и постановка задачи

1.2 Качество продукции систем автоматизированного проектирования

1.2Л Показатели качества промышленных изделий

1.2.2 Эффективность программных изделий индустриальной

технологии проектирования программ

1.3 Разработка структуры метода повышения качества

1.3.1 Повышение эффективности ввода-вывода в программах обработки файлов АСУП

1.3.2 Структура алгоритмов

Выводы
2 РАЗРАБОТКА МАТЕМАТИЧЕСКОЙ МОДЕЛИ СОВЕРШЕНСТВУМЫХ СИСТЕМ
2.1 Операторные схемы программ
2.1.1 Крупноблочные схемы программ
2.1.2 Выполнение схемы
2.2 Модели программ ввода-вывода
2.3 Представление функций ввода-вывода в моделях программ
2.3.1 Операторы открытия и закрытия файлов
2.3.2 Схематизация функций потокового ввода-вывода
2.3.3 Операторы ввода-вывода нижнего уровня
2.3.4 Начальный и конечный операторы
2.4 Анализ модели программ ввода-вывода
2.5 Модель грузопотока на рудных карьерах с автомобильным
транспортом
2.5.1 Особенности системы "Грузопоток"
2.5.2 Операторы и структура модели грузопотока
2.6 Модель проекта балластировки и закрепления магистральных
трубопроводов
Выводы
3 МЕТОД ПОВЫШЕНИЯ КАЧЕСТВА ПРОЕКТИРОВАНИЯ
3.1 Общая схема метода устранения “узких мест”
3.1.1 "Узкое место" в сложной системе
3.1.2 Структура метода
3.1.3 Задача оптимизации систем
3.2 Продукционная система диагностики "узких мест"
3.2.1 Несовершенство и значение несовершенства
3.2.2 Система продукций
3.2.3 Схема последовательного анализа вариантов
3.2.4 Отношение порядка на множестве вариантов устранения
несовершенств
3.2.5 Управление системой продукций при однозадачной реализации
метода
3.3 Двухуровневая модель параллельного алгоритма диагностики и
терапии "узких мест"
3.3.1 Распараллеливание метода анализа вариантов
3.3.2 Схема сопряжения агрегативной системы
3.3.3 Интерпретация структуры двухуровневой иерархической системы
3.3.4 Методы последовательного улучшения в теорий иерархических многоуровневых систем
3.3.5 Условия повышения качества при использовании эталонного управления
3.3.6 Параллельные методы устранения "узких мест"
Выводы

,137

4 АЛГОРИТМ ПОВЫШЕНИЯ КАЧЕСТВА
4 Л Машинное представление модели системы
4.2 Файл гипотез
4.3 Библиотека алгоритмов
4.4 Структура машинного алгоритма
4.4.1 Формирование множества допустимых вариантов
4.4.2 Множество оценок результатов преобразований
4.4.3 Формирование множества эффективных вариантов
Выводы
5 РЕАЛИЗАЦИЯ МЕТОДА ВЫЯВЛЕНИЯ И УСТРАНЕНИЯ "УЗКИХ МЕСТ"
5.1 Организации заказчики
5.2 Общая схема задачи
5.3 Повышение эффективности ввода-вывода в программах
обработки файлов на языке Ассемблера
5.3.1 Факторы эффективности программы
5.3.2 Эффективное программирование ввода-вывода для доступа с очередями
5.3.3 Эффективное программирование ввода-вывода нижнего
уровня
5.3.4 Программирование ввода-вывода при ускоренной передаче блоков данных
5.4 Повышение качества проекта балластировки магистральных
трубопроводов
5.4.1 Критерий качества балластировки
5.4.2 Факторы и условия балластировки
5.4.3 Критические элементы проекта
5.4.4 Модель проекта балластировки
5.4.5 База знаний для повышения качества балластировки
Выводы

составе буфера в основной памяти. Второй обязательный выход должен быть раскрашен переменной, обозначающей возвращаемое значение функции.
По аналогии функции WRITE будет поставлен в соответствие преобразователь 1 *- #3(1) 2 *- #4(1), вход и первый выход которого будут раскрашены одной и той же переменной, например YIN, обозначающей запись файла в основной памяти. Второй обязательный выход оператора моделирует возвращаемое значение функции WRITE.
В программе в п. 2.1.2 функции WRITE(FD, RECJRD, 14) соответствует преобразователь I«—#4(1) (рисунок 2.1), вход и выход которого раскрашены одной и той же переменной у, у оператора в силу контекста программы опущен второй обязательный выход.
2.3.4 Начальный и конечный операторы
В управляющем графе схемы программы GRa имеется единственный начальный оператор “СТАРТ” и некоторое множество заключительных операторов “СТОП”. Начальный оператор не имеет предшественников, а заключительный - преемников.
Рассмотрим начальный оператор модели программы. В программе обработки файлов на языке Си выше операторов построения буферов, открытия наборов данных обязательно присутствует группа операторов, реализующая общие операции. Если в программе при совершенствовании обмена данными указанный фрагмент будет оставаться без изменений, его следует рассматривать как крупноблочный оператор "СТАРТ" модели программы а.
На тех же основаниях группа операторов в конце программы, не содержащая функций ввода-вывода, будет обозначена как оператор "СТОП", имеющий набор попарно несовместимых необязательных входов. Причем каждый из входов будет раскрашен некоторой переменной, которые в совокупности образуют упорядоченное множество PER(a,T) = {wk -l(x): *<Е.А("СТОП")} - результат исполнения схемы а при интерпретации / [51]. Например, в схеме программы