user

Knowledge verification model and method for the knowledge base of concurrent engineering

被引：0
|
作者：
Duan, Hua
Zeng, Qing-Tian
He, Guo-Ping
机构：
来源：
Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice | 2004年 / 24卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
No abstract available
引用
收藏
相关论文
共 50 条
  • [21] Knowledge base and database representation for intelligent concurrent design
    Dept. of Mech. and Mfg. Engineering, University of Calgary, Calgary, Alta. T2N 1N4, Canada
    CAD Comput Aided Des, 2 (131-145):
  • [22] A Knowledge Creation Innovation for Web-Knowledge-Base System Using Knowledge Management, and Data and Knowledge Engineering
    Paokanta, Patcharaporn
    Harnpornchai, Napat
    Cecarelli, Michele
    PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON KNOWLEDGE MANAGEMENT (ECKM 2014), VOLS 1-3, 2014, : 1255 - 1264
  • [23] Applying Knowledge Engineering and Ontology Engineering to construct a Knowledge Base for Early Warning and Proactive Control
    Li, Yuan
    Kramer, Mark R.
    Beulens, Adrie J. M.
    van der Vorst, Jack G. A. J.
    WMSCI 2008: 12TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS, 2008, : 146 - +
  • [24] Study on knowledge base verification based on Petri nets
    Wu, QF
    Zhou, CL
    Wu, JL
    Wang, CN
    2005 International Conference on Control and Automation (ICCA), Vols 1 and 2, 2005, : 997 - 1001
  • [25] COMPLEX KNOWLEDGE-BASE VERIFICATION USING MATRICES
    BOTTEN, N
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 604 : 225 - 235
  • [26] Verification & Validation of the Knowledge Base for the Hypertension Management CDSS
    Kim, Hyun Young
    Kim, Ji Hyun
    Cho, InSook
    Lee, Jae Ho
    Kim, Yoon
    MEDINFO 2010, PTS I AND II, 2010, 160 : 1140 - 1144
  • [27] Intelligent tools for planning knowledge base development and verification
    Chien, SA
    ADVANCES IN KNOWLEDGE ACQUISITION, 1996, 1076 : 321 - 337
  • [28] A COMPREHENSIVE FRAMEWORK FOR KNOWLEDGE-BASE VERIFICATION AND VALIDATION
    FRENCH, SW
    HAMILTON, D
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (09) : 809 - 837
  • [29] Creation and Static Verification of Extended Automata Knowledge Base
    Budnikas, Germanas
    Lozovski, Tadeus
    Seibak, Miroslav
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2012, 12 (12): : 121 - 128
  • [30] Knowledge management modelling framework for distributed concurrent engineering
    Stanescu, AM
    Dumitrache, I
    Caramihai, SI
    Pascu, P
    Nitescu, D
    CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, 2003, : 915 - 921
12345