Donetsk National Technical University
Please use this identifier to cite or link to this item:
https://ea.donntu.edu.ua/jspui/handle/123456789/3518| Title: | ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПР |
| Authors: | Григорьев, А.В. Малявка, О.В. |
| Keywords: | интеллектуальные САПР верификация инструментальная оболочка построения САПР интеллектуальные надстройки над САПР модуль знаний |
| Issue Date: | 7-Oct-2009 |
| Publisher: | Донецкий национальный технический университет |
| Citation: | А.В. Григорьев, О.В. Малявка. ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПР. Материалы 3-й международной научно-технической конференции "Моделирование и компьютерная графика - 2009". Донецк, 7-9 октября 2011 г. Стр. 356-363. |
| Abstract: | В работе определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода. |
| URI: | http://ea.donntu.edu.ua/handle/123456789/3518 |
| Appears in Collections: | Моделирование и компьютерная графика - 2009 Публікації у збірниках праць конференцій Статті співробітників кафедри ПМІ |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| c_3_17.pdf | 313,85 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.