Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
LEX.DOC
Скачиваний:
10
Добавлен:
09.11.2018
Размер:
636.42 Кб
Скачать

Анализ процедур

1. Процедура анализа

Процедура анализа понимается как процесс представления выходных характеристик объекта проектирования при известных входных воздействиях или начальных условиях по какому-либо описанию объекта проектирования (модельному представлению). Одновариантный анализ проводится с целью установления соответствия входных характеристик требованиям ТЗ. Многовариантный анализ направлен на установление в явном, наглядном виде связи между входными данными, характеристиками и конструктивными параметрами.

2. Процедура синтеза

Решение задачи синтеза обеспечивает получение описания объекта проектирования по ТЗ на объект в виде структуры и совокупности значений конструктивных параметров. Параметрический синтез проводится конечное множество проектных решений. Если решение одно, синтезируемый объект будем называть "оптимальным по ТЗ". Оптимизация конструктивных параметров приводит к полному описанию объекта проектирования.

Оптимизация допусков проводится с целью установления совокупности значений каждого конструктивного параметра по заданному теоретически обоснованному критерию. Оптимизация технических требований обеспечивает назначение оптимальных (в смысле теоретически обоснованного критерия) требований к выходным характеристикам объекта проектирования.

3. Процедуры преобразования

Процедуры преобразования осуществляются над множеством лингвистических и математических переменных.

Их последовательность образует запись либо ТЗ, либо проектного решения, с целью:

а) обеспечить представление ТЗ на метаязыке конкретной САПР,

б) представить в форме, понятной проектанту, то или иное проектное решение, сформулированное на метаязыке системы,

в) обеспечить совместимость проектных процедур

Вторая группа преобразования выделена в отдельную процедуру идентификации. Если преобразование осуществляется над неформальным описанием, то оно представимо на языке логики предикатов первого порядка.

Например, если для множества лексем, образующих определенную совокупность требований технического задания Ln, и множества критериев проектных решений Kp ввести предикат Q (Ln , Kp ), обозначающий факт однозначного соответствия L и K любой лексемы li из множества {L} одной и только одной формальной записи критерия Ki p Î{K} , то соответствующая формула имеет вид:

(" lin Î Ln ) ($ Kip Î Kp) Û Q(Ln, Kp).

Если преобразование не выполнимо за одну процедуру, но существуют две совместимые процедуры и результат преобразования не зависит от порядка их применения, то

(" lin Î Ln, $ Kip Î Kp) Û Q(Ln, Kp) Q (Ln-m , Kp).

Если в качестве терминов, входящих в формулу, используются математические переменные, то операция преобразования записывается математической формулой, которая реализуется алгоритмически.

Процедура преобразования, применяемая к тому или иному проектному решению, записанному в виде топологии объекта проектирования, может осуществляться либо объединением (композицией), либо декомпозицией. В свою очередь, композиция проектных решений имеет несколько модифицированных представлений и их множество счетно.

То же можно сказать относительно декомпозиции проектного решения. Здесь отметим, что процедура композиции характерна для восходящего проектирования, а декомпозиция - для нисходящего.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]