Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР
Maintenance of monotony of a conclusion and verification of knowledge bases in a tool cover for creation of intellectual superstructures over CAD |
|
| Creator |
Григорьев, А.В.
Малявка ., О.В |
|
| Subject |
system of a conclusion
intellectual superstructures over CAD production система вывода инструментальная оболочка интеллектуальная надстройка над САПР продукция монотонность вывода продукций верификация модуля знаний |
|
| Description |
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 В работе определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода |
|
| Date |
2011-12-06T06:59:22Z
2011-12-06T06:59:22Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР / Григорьев А.В., Малявка О.В.//Научные труды ДонНТУ. Серия «Информатика, кибернетика и вычислительная техника». – 2010. – Вып. 11(164). – С. 161-165
УДК 004.03 http://ea.donntu.edu.ua/handle/123456789/2873 |
|
| Relation |
Інформатика, кібернетика та обчислювальна техніка;26
|
|
| Publisher |
ДВНЗ «ДонНТУ»
|
|