检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:刘晗 钟艳如 申松坡 LIU Han, ZHONG Yanru, SHEN Songpo(School of Computer and Information Security, Guilin University of Electronic Technology,Guilin 54 1004,China)
机构地区:[1]桂林电子科技大学计算机与信息安全学院,广西桂林541004
出 处:《桂林电子科技大学学报》2018年第1期55-60,共6页Journal of Guilin University of Electronic Technology
基 金:国家自然科学基金(61562016);广西自然科学基金(2014GXNSFDA118039);广西研究生教育创新计划(YJCXS201540)
摘 要:针对传统的基于事物特性表的变型设计方法不能快速有效地对产品数据进行推理的问题,将描述逻辑引入到变型设计过程中,建立事物特性表的语义表示模型。用描述逻辑刻画事物特性表,构建事物特性表的描述逻辑表示模型,在此基础上构建了事物特性表的知识库系统,分析并得出了公理集TBox和断言集ABox。以联轴器为例,利用描述逻辑刻画了联轴器事物特性表,验证了该方法的正确性和有效性。The traditional design method based on the layouts of article characteristics can not quickly and effectively inference the produce data,the description logic is introduced into the variant design process.The semantic representation model of the layouts of article characteristics is built.The description logic is used to express the layouts of article characteristics,a description logic representation model is constructed.On this basis,the knowledge base system of layouts of article characteristics is constructed.TBox and ABox are analyzed and derived.Finally,taking the coupling as an example,the description logic is used to represent the layouts of article characteristics of the coupling,and the correctness and validity of the theory is validated.
分 类 号:TP301[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15