本体推理机求解Mups的性能评测研究

求解极小不可满足保持子术语集(Mups)是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个指标反映本体术语集的复杂程度;通过讨论不可满足概念数目、冲突公理集基数和冲突公理基数对Mups问题求解难易的影响,定义冲突公理集最大基数和冲突公理最大基数两个指标反映不一致本体术语集的数据复杂程度;基于这些复杂性指标,设计针对Mups问题的不一致本体数据标准测试集(Mups Benchmark,MupsBen)来评测Pellet、Hermit、FaCT++、JFact和TrOWL这5种推理机在黑盒算法下求解Mups的性能.评测实验显示,所定义的复杂度指标能够有效反映Mups求解问题的数据复杂程度.对于特定推理机,其性能随测试数据的结构复杂程度的增大而降低;对于不同推理机,由于其内在推理机制与优化策略的差别,在不同复杂度指标下表现出不同的性能差异.

QNX Neutrino实时操作系统性能分析

操作系统是实时嵌入式系统的核心,其性能是决定系统实时性的关键因素之一。介绍了微内核实时操作系统–QNX Neutrino,并以标准检查程序对内核进行性能测试和分析。

国外知名企业的管理绝招

标准检查程序制约翰·史密斯在担任美国通用汽车公司部门主管时,每当要批准一项大规模计划,他都要向下属提一个同样的问题:“你们是否经过标准检查程序?”其实他要问的是,你们有没有考察过其他公司如何建造类似的厂房、实施类似的计划?这种标准检查程序常常可以使工程投资大大降低,因此,前不久史密斯在晋升为通用汽车公司的总裁时,他果断地在全公司范围内推出了“标准检查程序制”。

国外知名企业的管理绝招

○标准检查程序制约翰·史密斯在担任美国通用汽车公司部门主管时,每当要批准一项大规模投资计划,他都要向下属提出一个同样的问题:“你们是否经过‘标准检查程序’?”其实他要问的是,你们有没有考察过其它公司如何建造类似的厂房,实施类似的计划?这种标准检查程序常常可以使工程投资大大降低,因此,前不久当史密斯晋升为通用汽车公司的总裁时,他果断地在全公司范围内推广了“标准检查程序制”。采用这种标准检查程序。