Наукова періодика України Наукові праці Донецького національного технічного університету


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

Цитованість авторів публікації:
  • Григорьев А.
  • Малявка О.

  • Бібліографічний опис для цитування:

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

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського