CC BY
50
Материалы Международной конференции
“Интеллектуальные САПР”
язык среды реализации. Это свойство также позволит производить проверку моде-
( ). показала практика, свойство 5 очень важно для задач проектирования. В процессе проектирования очень часто приходится производить различные расчеты. Эти расчеты обычно являются хорошо формализованными задачами для которых существуют математические методы их решения. Исходя из этого, на уровне концептуальной модели нам представляется нецелесообразным приводить формальные описания этих методов. Вообще говоря, свойство 5 противоречит свойству 4. Поэтому неполная спецификация должна иметь четко определенную и ограниченную об.
Свойство 3 касается модели опыта. Мы используем модель опыта, которая из следующих компонентов:
1. Уровень предметных знаний. Включает в себя терминологию (концепты и
), , .
2. Уровень вывода. Состоит из элементарных действий - выводов и определяет связи по данным между выводами.
3. .
.
Поскольку все управление последовательностью действий вынесено на уро-, -ным использовать какой-либо декларативный язык. Мы используем Ф-логику (логику фреймов), как основу для описания как уровня предметных знаний, так и уровня вывода. Ф-логика является декларативной фомализацией так называемого объектно-ориентированного подхода, применяемого сейчас в языках программирования и базах данных, и включает в себя такие понятия как объект, наследование и дедуктивный вывод.
Для представления уровня вывода мы специфицируем все элементарные действия и задаем связи по данным в виде графа (фактически являющимся диаграм-
).
Для представления уровня задачи используются традиционные операторы:
, , .
УДК 681.3.001.63+007.52:611.81
В.А. Костенко, P.JI. Смелянский, АХ. Трекин ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ДЛЯ СИНТЕЗА СТРУКТУР ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ
В работе рассматривается применение генетического алгоритма, базирующегося на алгоритме Холланда - Simple Genetic Algorithm, для синтеза структур вы-
( ).
проблемам настройки этого алгоритма на задачу синтеза структур ВС РВ и обоснованию принятых решений, приводятся результаты его исследования.
В качестве базовой рассматривается задача синтеза структур ВС РВ в следующей постановке. Для заданных: наиболее сложной истории поведения прикладной программы - частично упорядоченное множество рабочих интервалов
Известия ТРТУ
Тематический выпуск
процессов, составляющих историю выполнения программы (ациклический ориентированный размеченный граф), и директивного срока ее выполнения; требуется определить минимальное число процессоров в ВС, необходимое для выполнения директивного срока, распределение процессов по процессорам ВС. Другие варианты задачи синтеза структур ВС РВ получаются, как расширение базовой путем изменения набора оптимизируемых характеристик ВС и критериев оценки качества .
В работе предложен и обоснован способ кодирования решения в форме бито, ; и критерий останова, уменьшена сложность операции мутации; выбран простой способ задания начальной популяции.
Исследование алгоритма показало его высокую эффективность с точки зрения:
♦ качества получаемых решений - никакой из эвристик не удалось найти лучше-
, ;
♦ сложности получения решения - сложность алгоритма растет практически линейно с ростом размера задачи и числа оптимизируемых параметров;
♦ универсальности алгоритма - параметры алгоритма (вероятность скрещивания, вероятность мутации, размер популяции, весовые коэффициенты в целе-
)
графа истории поведения прикладной программы и особенностей постановки задачи синтеза структур ВС РВ (оптимизируемые характеристики ВС и кри-
).
УДК 621.391
СМ. Ковалёв ФОРМИРОВАНИЕ ИНВАРИАНТ ВИЗУАЛЬНОГО ОБРАЗА МОРФЕМ НА ОСНОВАНИИ УСЛОВНЫХ НЕЧЁТКИХ ОТНОШЕНИЙ
, -
тем распознавания речи, является задача поиска систем инвариант для основных фонетических конструкций. К числу последних принадлежит морфема. При идентификации морфемы экспертом-фонетистом используется её визуализация с привлечением формант в качестве опорных признаков.
Визуальный образ морфемы варьируется в достаточно широких пределах, поэтому имеет смысл говорить о семействе условных инвариант. Для его выявления используется статистическая информация, представленная соответствием между пространствами признаков и условных морфем.
,
первых формант шкалы Б. Предположим также, что искомое семейство ин-
вариант М включает п условных морфем тМ. Моделирующую систему будем
представлять в виде нечёткого отношения Я в Е х М, где Е = Б х Б х Б. Тогда
для конкретного наблюдения /0 Е Е идентифицируемая условная морфема
