时间上下文的属性限制及一致性分析研究

来源 :计算机应用研究 | 被引量 : 1次 | 上传用户:lpf811
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性值描述的一致性分析算法。实际应用表明,提出的两个算法,既能有效地实现带时间侧面的本体属性的一致性检查,又能针对时间属性本身消除其不一致性。上述算法可应用于带时间上下文的本体创建中分析并检查其一致性。
其他文献
针对遗传算法在多路径测试用例自动生成中的不足,提出基于退火遗传算法的生成方法。对遗传算法的适应度函数进行优化设计,以满足多路径测试用例生成。同时在算法中引入路径存储机制,从而增强测试用例自动生成的功效。在提高算法的局部搜索能力方面,对遗传算法的两点交叉算子进行改进,并引入模拟退火算法到变异操作。三角形判断程序的测试用例生成实验结果,验证了该方法的有效性。
2006年9-11月,在昆明市盘龙区松花乡红梨科技示范园中对红梨果实采摘后的主要害虫及天敌的组成与数量特征进行调查,发现害虫16种,天敌19种。梨蚜为主要害虫,瓢虫为主要天敌。分析
针对基于中继的OFDM蜂窝网络,提出了一种基于合作中继的QoS感知子载波分配算法,即C-QSA(cooperative QoS-ware subcarrier allocation)算法。C-QSA算法利用基站与中继节点之间
文章论述了黑龙江流域湿地的概况及保护现状:保护时间短;建立了一定数量保护区;开展了一定科学调查、研究。分析了本区湿地减少的主要原因:湿地开发;气候变化;农业生产与湿地争水等
藏东南地区有丰富的旅游资源,在交通、通讯、服务接待设施等旅游资源开发方面都有长足的发展,分析了谊区在生态旅游资源开发中存在着资金投入不足,基础设施建设滞后、专业人才稀
基于多刚体动力学的原理,在分析机械臂的运动学和拉格朗日动力学方程的基础上求解其雅可比矩阵,并采用虚拟样机技术建立了机械臂的三维仿真模型,进行了动力学分析,获得了机械臂的动态特性。通过将获得的动态特性还原到模型中,建立了基于可视化技术的机械臂运动姿态的计算机动画,逼真地模拟了机械臂的整个运动过程,检验了机械臂动力学模型的相关性能。
针对当前产品结构树生成和更新中存在的数据重复录入问题,给出了产品结构化信息树的定义,能够表达产品任意零部件的产品结构及其关联文档数据,采取文档版本变化驱动产品结构树的版本变化的方法,建立了产品结构化信息树版本模型,提出了一套基于控制锁的版本控制规则,能够对产品结构化信息树的版本变化进行控制,避免了版本冗余。基于版本控制规则,论述了任意零部件文档签出或修订前后产品结构化信息树版本变化的求解方法。按照
根据空时分组码(STBC)系统的编码特点,提出了一种低复杂度的基于宽线性(WL)处理的Kalman均衡算法。该算法针对STBC系统,利用宽线性处理的思想,采用Kalman均衡算法对接收信号及其复共轭联合进行处理,有效地减轻了由频率选择性衰落信道引起的码间干扰(ISI)。对所提出的均衡算法在不同环境下进行了仿真验证。结果表明,与传统的线性均衡器相比,该算法明显提高了系统的性能,具有实际应用价值。
研究了分布式并行遗传算法的智能组卷问题。设计了在校园网范围内的分布式Web服务的组卷系统,通过多线程的软件结构实现了Web服务之间的相互调用及反馈机制,采用基于Base64的预先基因压缩方案来提高SOAP性能。仿真试验证明了分布式Web服务的组卷系统不仅可以极大地减少组卷时间、具有良好的容错能力,同时也能一次生成多套试卷,为构建B/S模式下的机器考试系统提供了依据。