Please use this identifier to cite or link to this item: http://ea.donntu.edu.ua:8080/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 SizeFormat 
c_3_17.pdf313,85 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.