Процесс принятия решений в сапр тп

1.9. Процесс принятия решений в САПР ТП

Процесс принятия решения в САПР ТП обычно не является функциональным , так как при решении отдельных задач для заданных исходных данных на выходе может получиться несколько решений. В этих случаях принятие решений вместо функций можно выразить с помощью аппарата соответствий. Обобщенно, каждое соответствие Г можно выразить следующим образом:

Г = < G, V, R >;

где G - график соответствия ;

V - множество входных элементов;

R - множество выходных элементов;

V={ v_i }; i=1,nv; nv- количество входных элементов;

R={ r_j }: j=1,nr ; nr-колличество выходных элементов ;

G={< v_i, r_j>}; G принадлежит V X R .

Пример графика соответствия показан ниже

G={<v₁, r₁>, <v₁, r₂>, <v₂, r₁>, <v₂, r₄>, <v₃, r₃>}

График соответствия может быть представлен 2 способами:

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

Декларативным - при котором алгоритм, отражающий график соответствия G, выражен с помощь какого-либо непроцедурного языка. График соответствия может быть представлен в виде таблицы решений, предикатной таблицы, информационной таблицы и так далее. Такая таблица и записывается в базу данных или знаний. Для работы с такого рода таблицами используется универсальный модуль, интерпретирующего типа. Этот модуль вызывает заданную таблицу из базы, проводит анализ таблицы, на основании которого выполняет определенные действия по нахождению решения.

Сам процесс принятия решения можно записать следующим образом:

MR=Г({v_i }) ;

MR-массив решений

Массив решений - это образ множества задаваемых входных элементов {v_i} относительно соответствия Г.

Применительно к нашему случаю:

MR=Г({v₂}) или MR={r₁;r₄};

MR=Г({v₁, v₂}) или MR={r₁, r₂, r₄}.

Аппарат соответствий является одним из основных математических аппаратов применяемых в САПР. Более подробно со свойствами соответствий можно познакомится по литературе [10].