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