Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ea.donntu.edu.ua/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Переглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.