CC BY
33
Известия ТРТУ
Специальный выпуск
боре, я нечеткое правило выбора, на основе которого принимается решение о выборе из предъявления В некоторого, в общем случае, нечеткого множества выбираемых вариантов.
Выбор происходит при качественной оценке вариантов предъявлений и задания функций выбора в виде нечетких отношений.
Метод нечеткого выбора во многом определяется нечетким правилом выбора, логический смысл, качественные и количественные характеристики (составляющие) которого определяются экспертами.
В структуру ТС входят нечеткие отношения £|, &>•••,£* участвующие в выборе. Данные нечеткие отношения появляются при анализе аспектов выбираемых вариантов, а также при участии в выборе экспертов с несовпадающими точками зрения.
Нечеткие отношения g], #2упорядочены по важности. Заметим также, что экспертами могут быть построены нечеткие эталонные варианты по примеру биранных отношений, а также варианты по принципу удовлетворения. Суть принципа удовлетворения состоит в том, что экспертами определен некоторый допустимый уровень, не хуже которого должны быть выбираемые варианты.
Для каждого конкретного механизма выбора должны быть выявлены составляющие его структуры. При одной и той же структуре В могут применяться различные нечеткие правила к ■
Класс механизмов выбора IV задан при условии задания класса В допустимых структур и класса П допустимых нечетких правил выбора, так что
\У =№(В,П) = {№ =<В,П>/В еВ,пеП).
УДК 621.38
Ю.М. Вишняков, Б.М. Пилипушко
СОХРАНЕНИЕ ФУНКЦИОНАЛЬНОЙ ЦЕЛОСТНОСТИ ПРОЕКТА СБИС ПРИ ПЕРЕВОДЕ В РАЗЛИЧНЫЕ САПР
В настоящее время создано огромное количество САПР, позволяющих автоматизировать процесс проектирования в различных предметных областях. Создание отлаженной (работоспособной) схемы любого проекта ЦС в САПР требует больших затрат, в результате чего пользователь получает проект, являющийся внутренним решением данной системы. Однако когда возникает необходимость передачи созданного структурного проекта из одной САПР в другую, то трудоемкость этой процедуры соизмерима с разработкой нового проекта. Схему ЦС можно перенести в любом формате, поддерживаемом обеими САПР, однако необходимы еще и функциональные характеристики.
Кроме того, каждая САПР может иметь свои дополнительные требования к функциональному наполнению проекта для его дальнейшей модификации. Например, для логического моделирования САПР могут использовать двух-, трех- и пятизначный алфавит, что накладывает оп-
Секция интеллектуальных систем обработки информации
ределенные требования на необходимые ФХ компонентов и проекта в целом. Поэтому для перевода созданного структурного проекта из одной САПР в другую необходимо определить ФХ всех используемых в проекте элементов и дополнить их функциональными ограничениями новой
САПР. Это можно выразить следующим образом: Ррр = Р + Рслпг , где
Ррр - множество ФХ, необходимых для переносимого проекта, Рр -
множество ФХ разработанного проекта, Рслпр - дополнительные ФХ для новой САПР.
Вся сложность получения Р заключается в создании множества
. Для этого нужно определить и передать характеристики всех используемых компонентов, которые могут находиться не только в передаваемой схеме, но и в ее графических компонентах более низкого уровня или в их логических описаниях.
Для решения этой проблемы предлагается использовать автоматизированную развертку проекта. Она позволяет получить логическое описание всех компонент, а из них автоматически выбрать ФХ. Если же последние находятся в графическом представлении элемента, то они определяются путем поиска по файлу и их расшифровке. Затем необходимо создать базу данных всех элементов проекта, включая и компоненты более низких уровней иерархии с их ФХ, полная совокупность которых
дает множество Р . Если при переводе структурного проекта из одной
САПР в другую требования систем к функциональному наполнению проекта различны, то нужно определить дополнительные ФХ и внести их в передаваемую БД.
Итак, при переводе структурного проекта из одной САПР в другую, для сохранения его функциональной целостности, необходимо создать полную базу данных ФХ всех элементов проекта, достаточную для его дальнейшего использования в новой САПР. Это позволит перенести как структуру проекта, так и его функциональное наполнение без потерь и ошибок.
