排序方式: 共有117条查询结果,搜索用时 0 毫秒
1.
本体描述知识的逻辑基础是描述逻辑(DL),虽然现有DL中对概念的描述方式非常丰富,但是角色却只能是原子角色。针对角色描述能力低的问题,在现有的DLSHIQ中增加了角色表达式来对角色进行描述,证明了如果知识库中所有角色表达式都是安全的,该知识库在现有的推理机KAON2上的推理仍然是Exp-Time,提出了一种判断角色表达式是否安全的算法。 相似文献
2.
3.
煤与瓦斯突出具有极大的破坏性,严重影响煤矿的安全生产。因此,矿井煤与瓦斯突出防治是煤矿安全管理的重中之重,也是煤矿安全管理中的难点,既要考虑到防突手段的可靠性,又要考虑到煤与瓦斯突出防治的经济性和合理性。针对杨家矿井的瓦斯赋存和煤层地质条件,对突出区域进行了划分,提出并采用了煤与瓦斯突出综合防治技术,在实际生产过程中取得了较好效果,为矿井安全高效生产提供了可靠的技术保障。 相似文献
4.
5.
本文对精密滚动直线导轨副六滑块工作台的滚动导轨副负载进行分析,运用力学知识推导出在任意力和力偶矩组成的力系作用下,滚动直线导轨副负载的计算公式。其结论可为导轨副的刚度计算和寿命计算提供依据。 相似文献
6.
一种基于业务生成图的Web服务工作流构造方法 总被引:12,自引:0,他引:12
针对互联网中Web服务具有动态变化且迅速增长的特点,提出了一种面向用户需求的服务工作流构造模型.该模型将功能相同或相似的服务聚集成一类服务集合,每类服务集合采用生成树的方式组织,并依据工作流的业务逻辑关系形成业务生成图;同时,在重定义粒子群算法的位置、速度、加/减法和乘法的基础上,结合遗传算法中的交叉、变异操作,设计了基于混合粒子群的QoS(quality of service)调度方法,保证在可选服务不断增长时能够满足用户的个性化需求.实验结果表明,该模型能够有效地屏蔽组成工作流的Web服务物理上的变化与差异,较好地组合了Internet中的Web服务资源,适合于虚拟计算环境的应用要求. 相似文献
7.
XML数据的存储实现研究 总被引:4,自引:0,他引:4
XML正在迅速成为WWW上的信息交换、表示和存储手段之一。文章基于离散模式的XML数据库系统(DISXDBS)研发工作的存储研究部分,简明扼要地介绍了当前XML数据的主要存储技术,探讨了保证高效查询的XML数据的存储方法,最后给出了实验分析。 相似文献
8.
实时分布式系统中,如果结点n自从上一次收到结点i的广播信息后经过超时值时没有再收到结点i的广播信息,就认为结点i失败。这时需要调整各正常结点的优先列表,以保证每个结点被一个也只能是一个结点选择为自己的第后个优先结点,以减少任务的失败率。本文提出了一种确定最佳超时值以及检测结点失败并且调整结点的优先列表以处理结点失败的新方法。 相似文献
9.
XML模式的扩展研究 总被引:1,自引:0,他引:1
XML是目前已被广泛采用的WWW上信息交换和表示的技术之一,被称为Internet时代的通用数据格式。首先针对现有的XML语法进行了抽象及封闭性分析,得到了扩展XML语法,然后开发了一个分析器,对由此扩展语法生成的对象进行分析,实验表明,扩展后的XML语法具有较W3C规范的XML语法有更一般的表现力。 相似文献
10.