【摘 要】
：
由于缺乏有效的公理获取与验证系统,无法实现自动推理,严重阻碍了语义Web的发展.本文针对政府角色及角色关系,提出一种半自动政府角色关系和公理的获取与验证方法.首先分析了
论文部分内容阅读
由于缺乏有效的公理获取与验证系统,无法实现自动推理,严重阻碍了语义Web的发展.本文针对政府角色及角色关系,提出一种半自动政府角色关系和公理的获取与验证方法.首先分析了政府角色关系公理的完备性,进而给出了政府角色关系和公理中可能存在的错误,并对错误进行分类;最后设计了一个政府角色关系和公理的知识模型实现系统,实现该知识模型系统的自动验证.实验表明,本文提出的方法能有效的进行政府角色关系公理的获取与正确性验证.
其他文献
针对人脸识别系统与指纹识别系统之间的连接问题进行分析来解决两个系统之间的连接问题,主要是数据库当中的报表统一.主要技术是在新数据中建立一个存储过程,构建函数体p_insert_kq以实现两个系统之间的链接.目前针对汉王科技人脸识别系统的还并没有出现同样的项目.因此本文的实践便可更改转型为其他系统之间的连接提供相应的模型,为以后系统之间接口的连接作好推动和铺垫作用.
针对三维散乱点云模型,设计了一种基于多策略的三角网格面快速重构算法.该算法首先利用自适应策略寻找自适应k邻,将其进行投影后在局部区域利用相交不可见策略建立顶点连接关系,在此基础上利用角度阈值策略和Delaunay准则变换策略对顶点关系进行优化,最后将此顶点关系逆映射到三维空间,得到三维点之间的连接关系,从而达到三角网格面快速重构的目的.实验结果表明此算法简单高效,处理速度快,重构效果好,并且对点云
介绍利用不同检测技术检测对接焊接接头的特点。分析研究了相控阵超声成像技术在检测对接焊接接头的优势。试验表明，相控阵超声检测方法能够记录检测全过程、检测重复性好、检
在处理非线性机动目标跟踪问题时,传统的非线性滤波估计算法跟踪误差大且容易引起滤波发散.针对上述问题,研究将强跟踪平方根容积卡尔曼滤波（SCKF-STF）和交互多模型（IMM）算法相结
本文设计并实现了低功耗无线传感器网络节点.首先分析比较了现有的各种节点设计方案,选取低功耗芯片,设计了基于MSP430F149处理器和nRF24L01+无线收发芯片的低功耗节点设计方
用超声纵波测量LY11型铝合金在单轴应力作用下的声速变化。结果表明，材料在拉、压单轴应力作用下，超声纵波的声速相对变化量与应力成线性关系，与理论相符。试验中采用回振法测试
采用自组织模糊神经网络充分融合模糊控制和神经网络控制的优点,应用于电力变换器的潮流控制中,通过仿真对比,实验表明它具有自组织和在线学习能力以及设计上不依赖被控制对
蒸汽发生器运行期间由于化学机理和机械机理导致的传热管降质现象，须使用涡流检测技术对其进行跟踪检测，而对大量蒸汽发生器传热管涡流数据的准确快速分析成为蒸汽发生器传热管
针对3台规格为Ф19200mm×62mm、容积为3700m^3的球罐，通过选择合适的放射源种类、放射源强度以及胶片型号，制定了合理的检测工艺，最终所得底片质量符合ASME规范要求，工期及
某型飞机全尺寸机体疲劳试验过程中的无损检测和声发射(AE)监测对该型飞机疲劳定寿、确定修理周期及未来改进型疲劳细节设计起着十分关键的作用。起落架地面载荷试验是疲劳试