Предыдущая страница реферата | 5  6  7  8  9  10  11  12  13  14  15 | Следующая страница реферата

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).

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

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

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

4. Процедура идентификации

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

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

КЛАССИФИКАЦИЯ ПРОЦЕДУР

Каждая из перечисленных процедур может быть отнесена к одному из трех типов процедур:

- формальная,

- формализуемая,

- эвристическая.

Дадим несколько определений.

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

Проектант может влиять на условия протекания формализуемой и эвристической процедур, руководствуясь только лишь опытом, интуицией, здравым смыслом, причем как своим собственным, так и по выбору, и накопленным в данной САПР. в) Эвристическая процедура - процедура, которая не поддается никакому формальному описанию, не может быть описана никаким алгоритмом и при определенных условиях не обеспечивает принятия проектного решения.

Приведем примеры процедур.

а) Формальные процедуры:

- анализ чувствительности модели проектирования, применяемой в теории автоматического регулирования,

Рекомендуем скачать другие рефераты по теме: доклад по географии, правильный реферат.





Предыдущая страница реферата | 5  6  7  8  9  10  11  12  13  14  15 | Следующая страница реферата