基于WordNet与Wikipedia的平面几何本体的构建

针对目前本体构建中存在的如手工构建难以确保高效性和可扩展性,且自动构建难度大,可操作性不强等研究现状,提出了一种基于WordNet和Wikipedia的学科领域本体半自动构建方法。首先构建一个领域顶层本体,在此基础上,重用WordNet的结构,从深度上对其进行术语和术语层次的扩展;同时根据Wikipedia中的页面信息,从广度上对其进行术语间关系的扩展和术语的补充;并将该本体构建方法应用于平面几何领域。实验表明该方法能大大提高本体构建的效率,并在一定程度上保证了本体的质量。     

三角函数表达式的计算机自动化简

从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Maple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica.     

探讨火焰原子吸收光谱法检测铜精矿中银含量的影响因素

国标法(GB/T3884.2-2012)测量铜精矿中银的含量，其中一种是火焰原子吸收光谱法，简单、方便、快速、准确，是大宝山矿大量铜精矿中银含量测定的理想方法。这种检测方法，通过对称重样品、过滤、设备状况等方面的具体操作，进行了试验比较，优化了测定工艺，既保证分析结果的准确度，又大大提高了工作效率，减轻化验员的工作压力。     

基于混合推理的知识库的构建及其应用研究

该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.     

铜精矿中铜品位化验结果产生偏差的原因分析

按照国家标准GB/T 3884.1-2012碘量法测定铜精矿中铜含量,近期本公司化验室的分析结果与另外两家化验室的结果相比,存在系统偏低的现象。经过对整个化验过程的详细分析,从溶样的酸碱度,硫代硫酸钠标准溶液的浓度,碘化钾的添加等方面进行现场考察,找出了导致系统偏差的原因。通过化验室之间的专家、分析化验人员的相互交流和沟通,共同提高了韶关市本行业领域内的分析技术水平。     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用.实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域...     

基于CDIO的软件开发技术课程改革方案研究

针对软件开发技术实践教学过程中存在的问题,阐述基于CDIO工程教育模式下的软件开发技术课程改革方法,即从课程培养目标出发,提出该实践课程教学改革具体措施与合理的时间规划,其中详细论述基于案例的教学方式,通过案例集本体理论、基础知识、学习方法、项目流程于一体。     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用.实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明.     

基于本体的几何学知识获取及知识表示

文中研究了基于本体的几何学知识获取,并运用此方法获取几何学领域中的类、属性、关系及公理等;同时,研究了基于本体的知识表示,并将几何学知识转化为该领域本体,用RDF/OWL的形式进行描述.在此基础上构建了一个可共享、可重用、可扩展的几何学本体,形成了一套较完整的几何学知识获取和知识表示体系,将其应用于建立几何学知识库,可大大提高知识搜索和知识推理的效率,并为几何学专家系统、几何学信息检索、几何学教育系统、自然语言理解等领域提供智能基础.