共查询到10条相似文献，搜索用时 12 毫秒
1.
2.
3.
描述逻辑(DL)一族知识表示系统,是一个非常热门的研究方向.一方面,重要的推理问题如包含问题是多项式得;另一方面,FLε被用做定义大的本体.已经提出的描述逻辑的合一算法能够作为一个新奇的推理服务,它被用做发现本体的冗余.本文主要的结果是FLε合一算法是可判定的.更精确地,FLε的一个部分εL是多项式完全,因此它和εL匹配有相同的计算复杂性.本文首先给出了描述逻辑系统FLε的语法和语义,特别地,蕴含合一问题没有有限的完备合一算子集,基于合一算法的规则探讨了可判定性问题. 相似文献
4.
在大多数测度论教材中，单调类定理的证明过程过于简洁，使得有的初学者在学习该定理时觉得十分困难，往往要经过很长的时间才能理解该定理。本文给出了该定理的详细证明，旨在帮助初学者快速掌握该定理，更快更好地学习测度论。 相似文献
5.
骨块的准确提取是骨龄自动识别过程中重要的一步,桡骨是骨龄评分中一块重要的较难自动分割的骨骼,故桡骨的自动分割具有重要研究意义。文中提出了一种根据闭合曲线内外图像信息熵自动调整权值的改进水平集方法。鉴于X线影像对比度低,文中选用基于区域可变的拟合模型的水平集算法来进行分割,该算法具有不需预知待检图像拓扑模型,且在复杂拓扑情况下进行图像分割效果较好的优点,但该算法需对其中的权值进行手动调整才能实现准确分割;为了进一步实现自动分割,改进的算法根据闭合曲线内外图像信息熵自动调整权值,从而实现自适应桡骨分割。通过与原水平集方法的分割结果进行对比实验证明,改进方法能有效的实现桡骨分割,且有很强的自适应性。 相似文献
6.
为了高效解决物流配送车辆路径优化问题,提出一种粒子群优化算法,根据粒子群较强的寻优能力,扩大了种群多样性和提高算法精度。本文针对此算法进行仿真实验,结果证明该算法寻求的最优解、平均解、以及找到最优解次数和时间均有明显效果。 相似文献
7.
本文对中值滤波算法进行了改进,提出了一种基于噪声点检测的椒盐噪声去除方法.对分布在噪声范围内的点进行噪声点检测,对确定为噪声点的像素点进行中值滤波.其他像素点保持不变. 相似文献
8.
能量多路径路由算法考虑了通信路径上的能量消耗和剩余能量,节点根据概率选择下一跳节点。改进算法在原有算法的基础上加入了路由跳数控制,实验仿真结果表明根据改进算法所获得的传输路径跳数和传输能耗明显减少,延长了网络生命周期。由于无线传感器网络是动态变化的,文章最后提出了动态跳数限制的想法以期能够更好的适应传感器网络,选择最优路径。 相似文献
9.
热孜万古丽·夏米西丁 《环球赛鸽科技》2012,(34)
医学影像三维可视化技术利用二维医学图像序列重建出三维模型.为医生提供了直观、全面、准确的病灶和正常组织信息.是当今医学领域研究的热点.其中最有代表性的是由W.E Lorenson和H.E.Cline在1987年提出来的MarchingCubes方法.本文主要介绍了MC方法的原理和步骤.本文阐述了MC算法存在的不足,对现有的改进算法进行综述. 相似文献
10.
本文在有关含参量正常积分“累次积分与求积顺序无关”定理的证明中,对引进的二元辅助函数的连续性未给出证明,本文用两种方法对此结论给出了证明。 相似文献