Please use this identifier to cite or link to this item:
https://ea.donntu.edu.ua/jspui/handle/123456789/2873
Title: | Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР |
Other Titles: | Maintenance of monotony of a conclusion and verification of knowledge bases in a tool cover for creation of intellectual superstructures over CAD |
Authors: | Григорьев, А.В. Малявка ., О.В |
Keywords: | system of a conclusion intellectual superstructures over CAD production система вывода инструментальная оболочка интеллектуальная надстройка над САПР продукция монотонность вывода продукций верификация модуля знаний |
Issue Date: | 2010 |
Publisher: | ДВНЗ «ДонНТУ» |
Citation: | Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР / Григорьев А.В., Малявка О.В.//Научные труды ДонНТУ. Серия «Информатика, кибернетика и вычислительная техника». – 2010. – Вып. 11(164). – С. 161-165 |
Series/Report no.: | Інформатика, кібернетика та обчислювальна техніка;26 |
Abstract: | В работе определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода |
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 |
URI: | http://ea.donntu.edu.ua/handle/123456789/2873 |
Appears in Collections: | Випуск 11(164) Статті співробітників кафедри ПМІ |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР.pdf | 322,02 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.