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