一种面向对象的形式化规范说明技术——VDM＋＋

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。     

EXPRESS 向 OWL2 本体模型自动转换研究

为解决 EXPRESS 向本体转换中存在通用性差、 缺乏映射规则的形式化和自动转换等问题, 在不依赖领 域情况下, 提出两种语言间映射的形式化规则和自动转换算法。 该映射规则和算法实现了基于 EXPRESS 的石 油勘探开发国际标准数据模型(Epicentre)向本体的自动转化。 采用 Jena 推理验证了所构建的 Epicentre 本体的 准确性、 完整性和一致性。 结果表明, 该映射规则与自动化算法的有效性和普适性。     

面向对象结合形式化技术的框架式开发方法

在面向对象及形式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要。     

正规文法、NFA、DFA、状态转换图、正规式之间的等价变换关系及变换方法

正规文法、ＮＦＡ、ＤＦＡ、状态转换图、正规式是形式语言理论的基础概念，也是编译原理词法分析理论中的重要概念和工具．本文讨论了它们之间的等价变换关系，给出了变换的具体方法并简介了它们的用途     

结构模式识别的概率文法及其应用

描述了概率文法的基本特性及其在铁路路轨探伤中的应用,文章首先给出了概率文法的定义,描述了它的树型结构,并为了得到非岐义的产生规则序更,对概率语文法进行了修改,然后利用概率文法构造了模式的识别器,介绍了应用于路轨探伤的识别程序的实现过程,并结合实例讨论了概率文法在提高识别器的可靠性,减少共出错率方面的实用意义。     

低成本RFID协议的设计及BAN形式化分析

目的通过分析现有的典型RFID认证协议的效率与成本,针对数字化图书馆RFID认证协议的高成本问题,提出一个低成本的RFID认证协议。方法通过去掉标签中的随机数模块,然后利用阅读器存储能力强、存储随机数模块来确保发出消息的新鲜性。结果该低成本RFID认证协议仅使用一对提前预约好的密钥对,降低了标签的硬件成本和计算能力。结论通过BAN形式化分析,该协议达到了预期的安全协议的认证目标,非常适合于低成本的RFID系统。     

An Analysis of a Passage from the Stylistic Perspective

The thesis analyzes Churchill＇s Speech on Hitler＇s Invasion upon the USSR from the perspective of stylistics. Through the analysis of grammatical features, lexical features, lexical features, cohesion and context, and figures of speech, the author intends to view the article from a more scientific approach, and at the same time, reveal the important role of linguistic approach in literary evaluation.     

数学解题的形式化方法

对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果.     

基于多视图融合的分布式测试系统结构研究

本文针对分布式测试系统所面临的复杂性、可扩展性和适应性等问题,在分析国内外相关研究的基础上,融合多种技术视图,建立了分布式测试系统的一种形式化模型,分析了该模型的多种技术视图,在此基础上建立了分布式测试系统通用软件平台体系结构,最后给出相关的实践结果。