描述逻辑εL循环术语集的保守扩充

在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充。判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的。如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响。Lutz 等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的。在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题。首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox 具有相同的原始概念,并论证了该算法是多项式时间复杂的。其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的。     

计算机网络技术在课程中的实践应用探讨

伴随着信息技术的不断发展,各个领域的计算机应用水平也在提高,应用计算机技术的项目也在不断增加,人们对这项技术的依赖越来越深,因此计算机技术被广泛应用于大量的生活实践中.计算机已经成为大家关注的焦点,而且它已经实现了网络终端连接升级,这样就可以利用网络资源实时共享和交流.本文从计算机网络概述开始论述,并分析了计算机网络技术的应用原则和高效计算机课程教学现状,最后分析了计算机技术的实际应用.     

基于ANSYS交流接触器电磁机构的谐波仿真分析

研究了CJT1-10交流接触器在吸合过程中电磁力的动态特性.用ANSYS对其电磁结构进行谐波仿真并分析其关键参数,观察仿真结果,在后处理中得到了电磁力的变化曲线,并集中计算了电磁结构中的电磁力,同时优化了工作气隙的数值.     

论弗雷格对同一陈述疑难的解答

著名的同一陈述疑难起源于对“相等”的理解。弗雷格在历史上第一次严格区分符号的涵义与意谓,试图解答这个长期困扰人们的难题。但是由于他把“相等”理解为对象同一,以及涵义理论中存在许多缺陷,最终导致解答失败。     

镗模在加工变速器外壳中的应用

镗模是孔加工用的精密夹具,主要用于箱体、支架等类工件的精密孔系加工。其位置精度一般可达±0.02～±0.05mm。镗模和钻模一样被加工孔系的位置精度不受机床的影响,在缺乏专门镗床的情况下,可以采用镗模来进行镗孔加工。     

地笋多糖抗氧化性能的研究

实验采用地笋为原料,微波法对地笋总多糖进行提取,然后以地笋多糖溶液为样液,用维C作对比,测定其清除二苯代苦味酰肼(DPPH)和超氧阴离子自由基能力、总抗氧化性能力及水杨酸体系清除羟自由基能力。实验结果表明,地笋多糖对羟自由基、二苯代苦味酰肼(DPPH)和超氧阴离子自由基能力均有一定的清除能力,而且随着多糖浓度的增加不断升高。因此具有一定的药用价值。     

外墙涂料概述

对外墙涂料的不正确认识是导致外墙涂料未能积极推广的主要原因，因此，应全面了解外墙涂料，积极推广使用。按分散介质分类，外墙涂料分为水性涂料和溶剂型涂料，选用时可根据建筑的种类等因素确定，施工时按特有的工艺施工。     

大体积混凝土建筑结构施工中的温度控制方法

从大体积混凝土结构在施工及养护期间温度开裂的机理入手,结合某高校结构试验室加载地沟及反力墙工程大体积混凝土配比实例,探讨了用普通水泥制备高强度等级大体积混凝土的配比设计.     

转移紧开覆盖的Ky Fan型匹配定理及对抽象经济平衡应用

本文建立了转移紧开覆盖的两个Ky Fan匹配定理。作为应用,研究了Fan-Browder重合定理和极大元定理,最后,建立了超凸空间中的定性对策和抽象经济的平衡存在定理。