|
eaDonNTU, Donetsk >
Научные труды ДонНТУ >
Серія: Інформатика, кібернетика та обчислювальна техніка >
Випуск 11(164) >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/2873
|
| Название: | Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР |
| Другие названия: | Maintenance of monotony of a conclusion and verification of knowledge bases in a tool cover for creation of intellectual superstructures over CAD
Забезпечення монотонності виводу й верифікація баз знань в інструментальній оболонці для створення інтелектуальних надбудов над САПР |
| Авторы: | Григорьев, А.В.
Малявка, О.В.
Grigoriev, A.V.
Malyavka, O.V.
Григор'ев, О.В. |
| Ключевые слова: | system of conclusion
intellectual superstructures over CAD
instrumental shell
система вывода
инструментальная оболочка
интеллектуальная надстройка над САПР
монотонность вывода продукций
верификация модуля знаний
monotony of a conclusion production
verification of knowledge base
система виводу
інструментальна оболонка
інтелектуальна надбудова над САПР
монотонність виводу продукцій
верифікація модуля знань |
| Дата публикации: | 2010 |
| Издатель: | ДВНЗ «ДонНТУ» |
| Библиографическое описание: | Григорьев, А.В. Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР / А.В. Григорьев, О.В. Малявка//Наукові праці ДонНТУ. Серія «Інформатика, кібернетика та обчислювальна техніка». – 2010. – Вип. 11(164). – С. 161-165 |
| Серия/номер: | Інформатика, кібернетика та обчислювальна техніка;26 |
| Аннотация: | В работе определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках
подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода |
| Описание: | In work the structure and functions of the new version of system of a conclusion in a
tool cover for creation of intellectual superstructures over CAD, providing full use of all types production, defined within the limits of the approach is defined. Methods of maintenance of monotony of a conclusion production are developed and verification of the module of the knowledge, allowing to execute working out of corresponding software of support in the new version of system of a conclusion |
| URI: | http://ea.donntu.edu.ua/handle/123456789/2873 |
| Располагается в коллекциях: | Випуск 11(164)
Статті співробітників кафедри ПМІ
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
