Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/3518
Название: ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПР
Авторы: Григорьев, А.В.
Малявка, О.В.
Ключевые слова: интеллектуальные САПР
верификация
инструментальная оболочка построения САПР
интеллектуальные надстройки над САПР
модуль знаний
Дата публикации: 7-окт-2009
Издательство: Донецкий национальный технический университет
Библиографическое описание: А.В. Григорьев, О.В. Малявка. ОБЕСПЕЧЕНИЕ МОНОТОННОСТИ ВЫВОДА И ВЕРИФИКАЦИЯ БАЗ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОЙ ОБОЛОЧКЕ ДЛЯ СОЗДАНИЯ ИНТЕЛЛЕКТУАЛЬНЫХ НАДСТРОЕК НАД САПР. Материалы 3-й международной научно-технической конференции "Моделирование и компьютерная графика - 2009". Донецк, 7-9 октября 2011 г. Стр. 356-363.
Краткий осмотр (реферат): В работе определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода.
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/3518
Располагается в коллекциях:Моделирование и компьютерная графика - 2009
Публікації у збірниках праць конференцій
Статті співробітників кафедри ПМІ

Файлы этого ресурса:
Файл Описание РазмерФормат 
c_3_17.pdf313,85 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.