Формирование инвариант визуального образа морфем на основании условных нечётких отношений Текст научной статьи по специальности «Математика»

Известия ТРТУ

Тематический выпуск

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

В работе предложен и обоснован способ кодирования решения в форме бито, ; и критерий останова, уменьшена сложность операции мутации; выбран простой способ задания начальной популяции.

Исследование алгоритма показало его высокую эффективность с точки зрения:

♦ качества получаемых решений - никакой из эвристик не удалось найти лучше-

, ;

♦ сложности получения решения - сложность алгоритма растет практически линейно с ростом размера задачи и числа оптимизируемых параметров;

♦ универсальности алгоритма - параметры алгоритма (вероятность скрещивания, вероятность мутации, размер популяции, весовые коэффициенты в целе-

)

графа истории поведения прикладной программы и особенностей постановки задачи синтеза структур ВС РВ (оптимизируемые характеристики ВС и кри-

).

УДК 621.391

СМ. Ковалёв ФОРМИРОВАНИЕ ИНВАРИАНТ ВИЗУАЛЬНОГО ОБРАЗА МОРФЕМ НА ОСНОВАНИИ УСЛОВНЫХ НЕЧЁТКИХ ОТНОШЕНИЙ

, -

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

Визуальный образ морфемы варьируется в достаточно широких пределах, поэтому имеет смысл говорить о семействе условных инвариант. Для его выявления используется статистическая информация, представленная соответствием между пространствами признаков и условных морфем.

,

первых формант шкалы Б. Предположим также, что искомое семейство ин-

вариант М включает п условных морфем тМ. Моделирующую систему будем

представлять в виде нечёткого отношения Я в Е х М, где Е = Б х Б х Б. Тогда

для конкретного наблюдения /0 Е Е идентифицируемая условная морфема

Материалы Международной конференции

“Интеллектуальные САПР”

будет "проявляться" в Е в виде нечёткого множества т/и( / 0) = / 0о Я. Для нахождения нечёткого отношения Я используется статистический материал, представленный из т точек / Е Е вместе с соответствующими им условными

морфемами т/и( /). Система нечётких уравнений для нахождения элементов г матрици М( Я) имеет вид:

М'№1)&г^и^21)&^и^31)&^=Ъ,(} = 1, п ),(1 = 1, т), (1)

где м4?к1) - степень выраженности форманты 4 в 1-й реализации, Ъ =1, если а^ т/и( /1) = и Ъ=0 в противном случае.

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

УДК 681.3.01

И.В. Котенко, Н.А. Лихванцев, М.А. Забадани ИНТЕЛЛЕКТУАЛИЗАЦИЯ ПРОЦЕДУР ЭКСПЕРТНОЙ КРИТИКИ ПРИ АВТОМАТИЗИРОВАННОМ ПРОЕКТИРОВАНИИ

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

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

В докладе дается краткий обзор основных подходов в области создания систем экспертной критики, описываются функции и структура ИПАЭК, включающая три класса агентов (агентов “действия”, оказывающих непосредственное влияние ,

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