Введение
Глава 1. Разработка концепции конструкторской семантики 8
1.1. Анализ состояния и тенденций развития автоматизированного проектирования 9
1.2. Анализ логики автоматизированного конструирования 22
1.3. Анализ семантических исследований 35
1.4. Разработка принципов моделирования конструкторской семантики 52
Выводы 58
Глава 2. Разработка семантических средств моделирования свойств и особенностей изделия 62
2.1. Семантика свойств и особенностей изделия 62
2.2. Семантическая сочетаемость конструкторских понятий 81
2.3. Разработка концептуальных средств моделирования свойств и особенностей изделия 91
Выводы 107
Глава 3. Разработка теории декларативной конструкторской семантики 110
3.1. Формализация задачи моделирования конструкторской семантики 111
3.2. Структуры конструкторских данных и конструкторских понятий 120
3.3. Операции над конструкторскими данными 131
3.4. Исследование свойств конструкторских теорий 146
Выводы 156
Глава 4. Разработка теории операционной конструкторской семантики 160
4.1. Формализация задачи вычисления конструкторской семантики 160
4.2. Конструкторские модели в многозначной логике 176
4.3. Построение конструкторских моделей в многозначной логике 190
Выводы 204
Глава 5. Разработка информационной технологии семантического конструирования 207
5.1. Конструкторские модели 207
5.2. Анализ структурного конструкторского решения 223
5.3. Синтез структурного конструкторского решения 230
5.4. Универсум семантических конструкторских моделей 242
Выводы 256
Глава 6. Экспериментальные исследования 258
6.1. Описание семантики задачи конструирования с помощью аппарата позитивно-образованных формул 259
6.2. Разработка языка описания конструкторской семантики 269
6.3. Описание программной реализации 283
6.4. Описание экспериментальных результатов 299
Выводы 304
Заключение 307
Литература 311
Приложение 1. Краткие терминологические словари 331
Приложение 2. Диаграмма монотонности операции «если-то-иначе» 338
Приложение 3. Пример описания изделий «Крепежные резьбовые соединения» 339
Приложение 4. Язык спецификации свойств и особенностей изделия SL/D. Методика применения 358
Приложение 5. Методика разработки автоматизированных систем 381
Приложение 6. Акты внедрения результатов работы 401
