Наукова періодика України | Наукові праці Донецького національного технічного університету | ||
Григорьев А. В. Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР / А. В. Григорьев, О. В. Малявка // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2010. - Вип. 11. - С. 161-164. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2010_11_28 Определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода. Цитованість авторів публікації: Бібліографічний опис для цитування: Григорьев А. В. Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР / А. В. Григорьев, О. В. Малявка // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2010. - Вип. 11. - С. 161-164. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2010_11_28. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |