Поскольку ЭВМ работает по строгим формальным алгоритмам, подчиняющимся законам математической логики, то и процесс проектирования должен быть описан с помощью формальных алгоритмов. Для этого смоделируем деятельность проектировщика, т.е. рассмотрим, как он принимает то или иное решение. Выдвинем гипотезу, что при проектировании последовательно решается множество проектных задач. Все задачи, решаемые проектировщиком, разделим на две группы:
1. Формализованные – относятся ко второй метапроцедуре, т.е. описания решений. Это задачи, для которых существуют аналитические зависимости, формулы, уравнения и т.д. Решение таких задач не представляет сложностей. Но доля таких задач не велика и они мало оказывают влияние на эффективность проектирования.
2. Неформализованные – относятся к первой метапроцедуре, т.е. поиск и принятие решений. Для этих задач не существует аналитических зависимостей, алгоритмов. В основном существуют рекомендации, правила и др., имеющие описательный характер. Это в основном задачи выбора.
Основные трудности разработки САПР связаны с созданием алгоритмов решения неформализованных задач. Смоделируем деятельность технолога, решающего задачу выбора оборудования на операцию шлифования.
1 – обрабатываемая деталь
2 – крепления детали, центра
3 –шлифовальный круг
Sвр – подача врезания
vкр –скорость вращения круга
vд – скорость вращения детали
Определяется массив типовых решений (МТР):
1. МТР = {312М, 3Б151, 3Б161} //модель типовых решений
Типовое решение – каждое решение проектной задачи.
2. Разработка математической модели.
D ≤ Dст
L ≤ Lст
B ≤ Bст
h ≤ hст
Nр ≤ Nст
3.
4. Составим массив условия применимости:
|
| D
| L
| B
| h
| N
|
| 312M
|
|
|
|
| 1,2
|
| 3Б151
|
|
|
|
| 2,5
|
| 3Б161
|
|
|
|
| 4,5
|
5. Составляем алгоритм:
a. Основной метод – метод перебора вариантов.
Содержание основного методологического принципа САПР
При решении неформализованных задач производится сравнение имеющихся исходных условий с условиями применимости каждого типового решения. При совпадении условий – решение принимается. Т.о. основной методологический принцип САПР осуществляется в обоснованном выборе типового решения. Для реализации этого принципа на ЭВМ необходимо каким-либо образом описать типовые решения и условия их применимости. Далее, разработать алгоритм сравнения исходных условий с условиями применимости каждого типового решения. Основным методом разработки алгоритма является метод перебора всех вариантов.
