Pavel Tunyk

Abstract

The work purpose

Urgency of a theme of work

A review of research and development on the subject

Conclusions

Bibliography

---

The work purpose

Provide automatic generation of CAD software knowledge base of solutions of typical design problems of certain types of devices by consolidating a number of known solutions with a focus on the use of an expert in the subject area - a designer with a low level of skills in knowledge engineering as a source of proven solutions for this type of device.

Run esearch effectiveness of the proposed method of synthesis of prototypes.

Tasks

1. Select domain to build the knowledge base of CAD including:




- choice of problem-based CAD system on which to build the intellectual set of synthesis decisions, such as CAD OrCAD.

- choice of language programming in problem-based CAD system, which is used for making decisions, such as VHDL.

2. Building transcoder language structures in language circuits to represent the solution structure including:




- conversion of linguistic structures in the language of chains;

- building a database link identifier.


3. Building a database ready solutions recoded in language circuits.
4. Generalization of the ready-made solutions for the knowledge base design of this type of device based on set-theoretic operations on sets of chains for the automatic construction of AND-OR tree where separate groups of circuits are identified as belonging to this or that decision.
5. Providing inference over a knowledge base ready to select the desired user solutions for its structural characteristics based on the passage of OR nodes AND-OR tree as the user requests to select the desired structural features of the desired device.

Urgency of a theme of work

Most existing CAD belong to a class of problem-oriented graphical editors practically devoid of any methods of automating the construction of the required solutions. In most cases, and requires manual creation and preservation of ready-made solutions in a library. Thus the problem of constructing an actual IP settings on this library that would allow the designer to select the desired solution to it by its structural features.

Prospective scientific novelty

Methods of synthesis existing solutions in the form of AND-OR tree with additional signs indicating membership of a group of links to belong to a certain solution. Methods of organizing output, ie obtaining the desired solutions to its structural characteristics on the basis of the AND-OR tree.

Software tool set for building intelligent synthesis of the desired configuration solutions, adaptable to the underlying CAD and programming language used in it for making decisions.

A review of research and development on the subject:

Currently, AI has a tendency to create tools for the automated construction of shells of expert systems in various subject fields play the role of automation of decision making. These include the:

1. System G2 is a shell to automate the creation of expert systems (USA);
2. AT technology (author Rybin GV, Russia);
3. Shell automate the creation of decision support systems (author A. Zagorulko., Russia);
4. Metaobolochki (authors AS Kleshev, Artemyev I.L, Russia);
5. Technology meta-heuristic shells aimed at creating intelligent configuration of problem-based CAD (author Grigoriev AV, Ukraine);
6. etc.

Drawback of most of these works in terms of CAD is the lack of consideration of the specific building systems design. The exception is the work Grigoriev AV.

In developing this approach, urgent tasks are:

- building on a variety of settings, problem-oriented CAD

- testing and evaluating the effectiveness of the proposed methods and technologies related to the meta-heuristic shell.

Summary of individual results available at the time of completion of the abstracts:

1. Methods of synthesis existing solutions in the form of AND-OR tree with additional signs indicating membership of a group of links to belong to a certain solution.
2. Methods of organization output, ie obtaining the desired solutions to its structural characteristics on the basis of the AND-OR tree.
3. Draft version of the software tool set for building intelligent synthesis of the desired configuration solutions

Conclusions

proposed method of generalization of existing solutions, which is the difference between pre-coding any solutions presented in any CAD programming languages ​​in the list of chains, followed by a generalization of it in the form of AND-OR tree with additional signs indicating membership of a group of links to belong to some solution provides a

- high efficiency, ie the ability to create the required intellectual setting;

- the ability to adapt to any task-oriented CAD.

Bibliography

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.

Note

When writing this master of the abstract work is not completed yet. Final Completion: December 2011 Full text of the work and materials on the subject can be obtained from the author or his manager after that date.