Выбор математического аппарата формализации
Необходимо выбрать ту математическую абстракцию, которая позволит адекватно отобразить в ней компоненты объекта и результата проектирования, отношения между ними, их свойства и характеристики. 3. Разработка математических моделей объекта и результатов проектирования, доказательство их правильности Для перехода от объектов задач структурного синтеза к их математическим моделям в виде различного рода графов необходимо: · Сформулировать правила, по которым компоненты объекта будут поставлены в в соответствие элементам графа · Установить вид этих отношений (взаимно-однозначные, однозначные, многозначные) и свойства отношений, определённых на элементах графа (симметричность, бинарность, рефлексивность) · Определить способ отображения свойств и характеристик компонент объекта в характеристики графа и его элементов 4. Формальная постановка задачи Математическая модель комбинаторно-оптимизационной задачи структурного синтеза на графах должна указывать в виде математических абстракций на необходимость получения по модели объекта проектирования модели результата, такой, для которой удовлетворялись бы заданные ограничения, а целевая функция имела бы оптимальное значение. 5. Оценка возможности ее решения На этом этапе выясняется возможность точного решения задачи вообще при данной степени детализации объекта. Основным фактором, определяющим эту возможность, является такая динамическая мера сложности алгоритма или программы, как время вычислений или временная сложность в функции от размерности задачи. 6. Выбор, модификация или разработка метода ее решения 7. Разработка алгоритма 8. Реализация алгоритма выбранными средствами программирования в виде соответствующих модулей системы 9. Собственно решение задачи Средством автоматизированного проектирования (АП) является САПР. САПР – это организационно-техническая система, состоящая из комплекса средств, включающих в себя следующие виды обеспечения: 1. Математическое обеспечение (правило формального перехода от описываемого объекта проектирования к его математическим моделям, сами математические модели, модели задач, методы решения задач, операции преобразования моделей описания объектов в модель результатов, алгоритмы решения задач) 2. Программное обеспечение (набор программ, необходимых для автоматизированного получения проектных решений, т.е. промежуточного или окончательного описания объекта проектирования) 3. Информационное обеспечение (соответствующим образом организованные данные проектного или справочного характера) 4. Лингвистическое обеспечение (терминология и языки программирования, описания объектов, задание на проект) 5. Методологическое обеспечение (совокупность документов, определяющих состав и правила эксплуатации САПР) 6. Организационное обеспечение (документы, устанавливающие состав проектной организации и ее подразделений, связей между ними и их функций, а также форма представления результатов проектирования и форма рассмотрения проектных решений) 7. Техническое обеспечение (совокупность взаимосвязанных и взаимодействующих технических средств, обеспечивающих автоматизацию проектирования) Выбор аппарата формализации задач структурного синтеза. Разработка моделей объекта и результата проектирования, доказательство их адекватности (приведите пример перехода от объекта к модели).
|
