基于Racer和nRQL的本体查询与推理

语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用。本体描述语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证。在介绍描述逻辑及其系统的有关概念与查询推理机制的基础上,重点讨论了推理机Racer及其查询语言nRQL的功能,开发了一个基于Racer和nRQL的智能信息查询程序并应用于大学本体的信息查询。

基于Web的网络旅游服务系统的形式化B开发

形式化B方法支持从规格说明到代码生成的全部软件开发过程。结合网络旅游服务系统模型,讨论了形式化B方法的具体运用,在分析服务器端和客户端状态表示的基础上,给出了该系统的抽象机模型及其精化过程。

面向对象技术系列课程教学模式研究与实践

在分析研究国内外相关教学资料的基础上,设计了面向对象技术系列课程的教学体系,并对教学实践和系列课程实施过程中应注意的问题进行了讨论,最后对今后教学改革的方向进行了分析展望。

形式规约模式及其重用技术研究综述

设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.规约模式就是用某种形式化语言表示的设计模式.文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法.最后讨论了当前存在的问题及其发展趋势。

宽光谱透过的立方二向分光镜

介绍在制造“立方二向分光镜”时怎样综合分析,调整n_k、n_H、n_L等可变因素,更有效地减少光偏振,并通过计算实例加以说明。在实际工作中镀出了膜面效率为ρ_(1.00μm)>97％,τ_(0.43～0.9μm)平均>95％的立方二向分光镜。