лекции / АПССУ

< название: а₁ = р₁, а_i = р_i, … а_n = р_n, q₁, q_i, … q_n>

a_i – атрибуты (т.е. св-ва объекта);

p_i – знач-я атрибутов (в символьном или численном виде);

q_i – ссылки на др фреймы.

Слоты – вложенные фреймы.

Символические:

Слот №1.

<резистор Х, номинал Х₁, мощность Х₂, класс точности Х₃, ГОСТ Х₄, электрическая схема 1>

Слот№2.

<конденсатор у, номинал у₁, напряжение у₂, класс точности у₃, ГОСТ у₄, электрическая схема 1>

Фрейм.

<RC – цепочка, резистор Х, конденсатор у, электрическая схема 1>

В конкретных слотах и фреймах атрибутам присваивается числовое значение.

<резистор МЛТ 0.5, номинал 0.5 Ом, мощность 5 Вт, класс точности 1, ГОСТ…, q₁>

Семантические сети – это способ представления значений, основаный на понятиях и отношениях, относящихся к определеной одл-ти.

Понятие опр-ет составные части объекта.

Отношение опр-ет связи м\у составными частями.

Вариантом семантической сети явл-ся И, ИЛИ дерево, в к-м содержится 2-а типа вершин:

1) Вершины И – отражают структуру объекта. – вершина.

2) Вершина ИЛИ – отражают варианты формировния стр-р.

Р\м стр-ру управления расходом (с помощью сетей)

И – с-ма упр-я расходом.

Два варианта выбора: автоматическое и ручное управление.

1 – первичный преобразователь

2 – вторичный.

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

Предиктаты – это стр-ра правил, к-я отображает отнош-я м\у объектами.

СПОСОБЫ АВТОМАТИЗАЦИИ СТРУКТУРНОГО СИНТЕЗА.

1. Полный перебор законченных стр-р (возможен только для задач 2-го ур-я слож-ти).

Частичный перебор стр-р (для задач 3-го ур-я слож-ти).

Решается задача дискретно-семантического программирования.

Extr F(x)

X Є X(D)

X – вектор управляемых параметров;

F(X) – целевая ф-я (задается разработчиком, ее необх-мо оптимизировать);

X(D) – допустимая обл-ть значений управляемых параметров.

X(D)=X{φ(x)≥0, ψ(x)=0}

φ(x) и ψ(x) – ограничение.

φ(x) – производительность сети, надежность сети, мощность компьютера и т.д.

ψ(x) – кол-во отказов.

2. Наращивание стр-ры.

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

Способ более быстродействующий чем первый.

Н-р, разводка печатной платы.

3. Выделение из обобщенной стр-ры.

4. Трансформация описания.

Если задано описание объекта, соотв-е одному ур-ю или аспекту проект-я и необ-мо получить описание этого же объекта, соотв-го др-у ур-ю или аспекту проектирования.

Для реализации трансформации описания исп-ся дедуктивная с-ма:

S={Б, Х, А, П}

Б – алфавит дедук-й с-мы;

Х – обозн-е переменных, к-е не должны совпадать с алфавитом;

А – аксиомы и теоремы (з-ны функц-я с-мы);

П – правила трансформации.

Б=<0, 1, V, Λ, Г, …>

Г – логическое отрицание;

- ф-я предназначенности;

V – логическое сложение;

Λ – логическое умножение.

Х=<a, b, c, … >

А=<>

П=<т Де-Моргана>

Трансформ-е описания применяется не только для автоматизации стр-го синтеза, но и для автоматизации процедуры варификации.

Для автоматизации синтеза от обобщенного описания переходят к более детальному.

При верификации – от отд-го описания переходят к обобщенному описанию.

Н-р, RS – триггер.

Трансформация описания исп-ся для неслож-х с-м, для к-х сущ-ют правила перехода от одного вида описания к др-му. Чаще всего этот метод исп-ся для автоматизации синтеза объекта 2-го и 3-го ур-ня сложности, но м б испол-н для исследования св-в объекта и на 5-ом ур-не сложности, т.е. для моделирования.