Исследование и разработка подсистемы САПР "Согласование технического задания"

• Автор: Козенко, Сергей Леонидович
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 1998
• Место защиты: Санкт-Петербург
• Количество страниц: 176 с. : ил.

СОДЕРЖАНИЕ
Список используемых сокращений
ВВЕДЕНИЕ
1. ЭТАП СОГЛАСОВАНИЯ ТЕХНИЧЕСКОГО ЗАДАНИЯ В ПРОЦЕССЕ ПРОЕКТИРОВАНИЯ СЛОЖНОГО ОБЪЕКТА
1.1. Анализ некоторых сложных объектов проектирования
1.2. Особенности процесса проектирования сложного объекта
1.3. Взаимосвязь этапа согласования технического задания (ТЗ)
с другими этапами проектирования
1.4. Анализ существующих подходов к автоматизации процесса проектирования на начальных этапах
3.5. Концептуальная модель процесса принятия решений на
этапе согласования ТЗ
Выводы по разделу
2. МАТЕМАТИЧЕСКАЯ, ИНФОРМАЦИОННАЯ И ЛИНГВИСТИЧЕСКАЯ КОМПОНЕНТЫ ПОДСИСТЕМЫ
САПР “СОГЛАСОВАНИЕ ТЕХНИЧЕСКОГО ЗАДАНИЯ”
2.1. Математическое обеспечение подсистемы САПР “Согласование технического задания”
2.1.1. Модели представления знаний
2.1.2. Модели представления декларативных знаний
2.1.3. Формальный язык представления декларативных знаний
2.2. Информационное и лингвистическое обеспечения
подсистемы САПР “Согласование технического задания”
2.2.1. Организация базы декларативных знаний
2.2.2. Типовые конструкции входного языка
Выводы по разделу
3. СЕМИОТИЧЕСКАЯ МОДЕЛЬ ПРИНЯТИЯ РЕШЕНИЙ В
ПОДСИСТЕМЕ САПР “СОГЛАСОВАНИЕ ТЕХНИЧЕСКОГО ЗАДАНИЯ”
3.1. Автоматизированная процедура поиска аналога объекта проектирования
3.2. Автоматизированная процедура поиска решений при отсутствии аналога объекта проектирования
3.3. Автоматизированная процедура экспресс - оценки реализуемости ТЗ
Выводы по разделу'
4. ИМИТАЦИОННАЯ МОДЕЛЬ ВЫБОРА ВАРИАНТА ПРОЦЕССА ПРОЕКТИРОВАНИЯ В ПОДСИСТЕМЕ САПР “СОГЛАСОВАНИЕ ТЕХНИЧЕСКОГО ЗАДАНИЯ”
4.1. Состав и структура имитационной модели
4.2. Процедура выбора предпочтительного варианта
процесса проектирования (ПП)
4.2.!. Исходные данные для процедуры выбора
4.2.2. Получение групповых оценок
4.2.3. Алгоритм выбора предпочтительного варианта ПП ... 119 Выводы по разделу
5. ПРИМЕНЕНИЕ ПОДСИСТЕМЫ САПР “СОГЛАСОВАНИЕ ТЕХНИЧЕСКОГО ЗАДАНИЯ” ПРИ ПРОЕКТИРОВАНИИ БОРТОВОЙ ЦИФРОВОЙ ВЫЧИСЛИТЕЛЬНОЙ
МАШИНЫ (БЦВМ)
5.1. Назначение и основные характеристики БЦВМ
5.2. Оценка реализуемости ТЗ на проектирование БЦВМ
5.2.1. Формализованное представление ТЗ на проектирование БЦВМ
5.2.2. Формализация описания типового процесса проектирования БЦВМ

5.2.3. Реализация процедур поиска аналога и оценки
реализуемости ТЗ на проектирование БЦВМ
Выводы по разделу
Заключение
Литература
Приложения

дели, включающей в себя модель объекта проектирования и модель процесса проектирования, а также модели процесса принятия решений.
Для разрабатываемой СППР характерны два основных момента.
1. Мощность СППР, в отличие от типичных ЭС, обусловлена прежде всего мощностью базы знаний (БЗ) и возможностью ее пополнения и только во вторую очередь - используемыми ею процедурами вывода, поскольку в данном случае важнее иметь разнообразные специальные знания, а не общие процедуры вывода.
2. Учитывая неформализованность решаемых задач и эвристический, субъективный характер используемых знаний, пользователь (эксперт) должен иметь возможность непосредственного взаимодействия с СППР в форме диалога, причем не выходя за пределы языка своей предметной области. Специфика процесса проектирования такова, что позволяет решить эту задачу достаточно просто.
1.5. Концептуальная модель процесса принятия решений на этапе согласования ТЗ
В самом общем виде любая реализация СППР содержит две основные составляющие: информационную модель (ИМ) и модель принятия решений (МПР) (рис. 1.5). Исходя из задач, которые предполагается решать с помощью СППР, в состав ИМ должны входить следующие компоненты: формализованное представление обсуждаемого варианта ТЗ
(модель ТЗ - Мтз), формализованное представление объектов - аналогов (модель аналога - Мд), формализованное представление ресурсов предприятия (модель ресурса - М?«), формализованное представление типового процесса проектирования (модель процесса - Мпп). МПР должна включать в себя формализованное описание Мша процедуры поиска объектов - аналогов (ППА) и формализованное описание Мпор процедуры экспресс-оценки реализуемости (ПОР) ТЗ силами данного предприя-