Туник Павел Олегович

Реферат

Цель работы

Обзор исследований и разработок по теме

Актуальность темы работы

Выводы

Литература

---

Цель работы

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

Выполнить сследование эффективности предлагаемого метода обобщения прототипов.

Задачи

1. Выбор предметной области для построение базы знаний САПР включая:




- выбор проблемно-ориентированного САПР над которым будет выполнятся построение интеллектуальной настройки синтеза решений, например САПР OrCAD.

- выбор языка программирования в среде проблемно-ориентированного САПР, который используется для представления решений, например VHDL.

2. Построение перекодировщика языковых структур в язык цепей для представления структуры решения включая:

- перекодировка языковых структур в язык цепей;

- построение БД идентификаторов связей.


3. Построение БД готовых решений перекодированных в язык цепей.
4. Обобщение полученных готовых решений для получения базы знаний проектирования данного типа устройств на основе теоретико-множественных операций над множествами цепей для автоматического построения И-ИЛИ дерева где отдельные группы цепей идентифицируются по принадлежности к тому или иному решению.
5. Обеспечение логического вывода над готовой базой знаний с целью выбора пользователем желаемого решения по его структурным особенностям на основе прохода по ИЛИ узлам И-ИЛИ дерева как запросов пользователю на выбор требуемой структурной особенности желаемого устройства.

Актуальность темы работы

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

Предпологаемая научная новизна

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

Программный инструментальный комплекс для построения интеллектуальных настроек синтеза требуемых решений, адаптируемый на базовый САПР и язык программирования используемый в нем для представления решений.

Обзор исследований и разработок по теме:

В настоящее время в ИИ имеется тенденция создания инструментальных оболочек для автоматизированного построения экспертных систем в различных предметных областях играющих роль систем автоматизации принятия решений. :

1. Система G2 представляющая собой оболочку для автоматизация созданий экспертных систем (США);
2. АТ технологию (автор Рыбина Г.В., Россия);
3. метаоболочки (авторы Клешев А.С., Артемьева И.Л, Россия);
4. оболочку автоматизации создания систем принятия решений (автор Ю.А. Загорулько., Россия);
5. Технология мета-эвристических оболочек ориентирована на создание интеллектуальных настроек над проблемно-ориентированного САПР (автор Григорьев А.В., Украина);
6. и т.д.

Недостатком большинства перечисленных работ с точки зрения САПР является отсутствие учета специфики построения систем проектирования. Исключением являются работы Григорьева А.В.

В развитии данного подхода актуальными задачами являются:

- построение настроек над различными проблемно-ориентированными САПР

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

Краткое изложение собственных результатов, имеющихся к моменту завершения работы над авторефератом:

1. Методы обобщения существующих решений в форме И-ИЛИ дерева с дополнительными признаками указывающими на принадлежность той или иной группы связей на принадлежность к некоторому решению.
2. Методы организации вывода, т.е. получение требуемого решения по его структурным особенностям на основе данного И-ИЛИ дерева.
3. Эскизный вариант программный инструментальный комплекс для построения интеллектуальных настроек синтеза требуемых решений

Выводы

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

- высокую эффективность, т.е. способность создавать требуемую интеллектуальную настройку;

- способность адаптироваться на любой проблемно-ориентированный САПР.

Литература

1. The VHDL Cookbook First Edition. July, 1990 Peter J. Ashenden Dept. Computer Science University of Adelaide South Australia © 1990, Peter J. Ashenden.
2. Бибило П.Н. Основы языка VHDL. - Минск: Ин-т техн. кибернетики НАН Беларуси, 1999. - 202 с., ил.
3. Е.З. Перельройзен. Проектируем на VHDL – М.: СОЛОН-Пресс, 2004 – 448с.: ил.-(Серия «Библиотека профессионала»).
4. Григорьев А.В. Принципы организации вывода решений в базе знаний инструментальной оболочки для создания интеллектуальных САПР. // Практика i перспективи розвитку iнституцiйного партнерства». Вiсник ДонГТУ – ТРТУ. Донецьк: РВА ДонНТУ, 2003 – C.96-106.
5. Григорьев А.В. Организация временного и пространственного вывода в концептуальной модели интеллектуальных САПР. Научные труды Донецкого национального технического университета. Серия «Информатика, кибернетика и вычислительная техника», (ИКВТ-2008) выпуск 9 (132). - Донецк, ДонНТУ, 2008. -С.296- 311.
6. Григорьев, Д.А. Кошелева. Интеллектуализация процесса проектирования аппаратуры средствами языка vhdl. . Научные труды Донецкого национального технического университета. Серия «Информатика, кибернетика и вычислительная техника», (ИКВТ-2005) выпуск 93. - Донецк, ДонНТУ, 2005. -С.182- 188.
7. Григорьев А.В. Комплекс моделей САПР как система взаимосвязанных уровней о действительности. Научные труды Донецкого государственного университета. Серия «Информатика, кибернетика и вычислительная техника», (ИКВТ–2000) выпуск 10. — Донецк, ДонГТУ, 2000. — С. 155-167.
8. Григорьев А. В., Каспаров А. А. Особенности реализации метаэвристической оболочки для построения САПР // Науковi працi Донецького державного технiчного унiверситету. Серiя: Проблеми моделювання та автоматизацiї проектування динамiчних систем. — Донецьк: ДонДТУ, 1999. Вип.10.—С.217-222.

Примечание

При написании данного автореферата магистерская работа еще не завершена. Окончательное завершение: декабрь 2011 г. Полный текст работы и материалы по теме могут быть получены у автора или его руководителя после указанной даты.

На начало страницы