ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПР
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПР
|
|
| Creator |
Григорьев, А.В.
Малявка, О.В. |
|
| Subject |
интеллектуальные САПР
верификация инструментальная оболочка построения САПР интеллектуальные надстройки над САПР модуль знаний |
|
| Description |
В работе определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода. |
|
| Date |
2011-12-22T09:15:38Z
2011-12-22T09:15:38Z 2009-10-07 |
|
| Type |
Article
|
|
| Identifier |
А.В. Григорьев, О.В. Малявка. ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПР. Материалы 3-й международной научно-технической конференции "Моделирование и компьютерная графика - 2009". Донецк, 7-9 октября 2011 г. Стр. 356-363.
http://ea.donntu.edu.ua/handle/123456789/3518 |
|
| Publisher |
Донецкий национальный технический университет
|
|