基于形式概念分析的模式匹配算法

提出了一种基于形式概念分析的模式匹配的FCABSM方法,该方法由3部分组成:首先,以朴素贝叶斯文本分类算法为基础设计名称分类算法及描述分类算法,分类目标模式与待匹配模式的元素名以及元素描述,为模式间元素的匹配提供初始依据.其次,利用形式概念分析技术整合分类结果、元素类型信息以及约束信息,提高匹配精度.该阶段为待整合信息创建形式上下文、获取形式上下文中蕴涵的概念、确立概念间偏序关系及构建概念格.最后,以第二阶段的概念格为计算依据,引入基于结构的相似评估模型来计算出最终的匹配结果.实验表明,基于FCA的模式匹配方法的平均性能优于缺少FCA整合的直接匹配方法.     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

形式规则、心理模型与概率理论——条件推理中三种理论模型的比较研究

条件推理是一种最简单的演绎推理。然而心理学家对于人们是如何进行条件推理一直存在三种不同的理论观点：形式规则、心理模型和概率理论。这些理论都能解释条件推理过程中的一些现象,但还存在一定的不足,本文将对这些理论进行详细的评述。     

作战计划拟制中行动方案的形式化建模

作战计划拟制是一个复杂、多标准的决策过程,带有高度的不确定性,如何辅助作战计划拟制的进行是军方面对的一个重要的问题.将作战计划拟制过程视为一个系统,对其中的关键性要素之间的关系进行分析,并讨论在状态空间中行动方案的开发与分析,最后提出一种形式化建模的方法,采用有限自动机和形式化语言来解决行动方案的逻辑特征以及定量特征问题.     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

一组实用的Z规格说明度量准则

众所周知,软件开发越到后期,为纠正或弥补错误所付出的代价会呈几何级数增长,因此规格说明的质量成为影响软件开发的难点和关键因素之一.为此,文中给出了一组针对形式规格说明语言Z模式的度量准则.该组准则考虑了模式修饰、模式包含、模式类型和模式出现在其他模式的变量说明和谓词约束部分的可能.根据这些度量准则,可以发现一些问题并把问题杜绝在软件开发的早期阶段,减少由于错误或不合理分析导致的浪费,并可对系统进行有效的评估.     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

基于变精度可能算子的网络概念认知

网络上的概念认知是网络数据分析领域的一个重要方向。从形式概念分析中的必然算子、可能算子出发,提出变精度可能算子,表明经典可能算子是变精度可能算子的特殊情形;进一步,对可能算子的性质进行研究,并解释它们在传染病网络研究中的意义;接着,根据变精度可能算子提出两种网络广义概念及其上下近似与边界,通过实例说明基于变精度可能算子的上下近似和边界在网络概念认知中具有更丰富的语义;然后,结合复杂网络分析中的网络特征值方法,定义网络弱概念,并提出基于变精度可能算子的网络弱概念获取方法;最后,利用文中算法在UCI数据集上进行测试,结果证实了变精度可能算子在网络概念认知中的优势。     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

参考安全补丁比对的软件安全漏洞挖掘方法

Windows操作系统作为目前全球使用最广泛的桌面操作系统,一旦其漏洞被利用将造成严重后果,所以对Windows操作系统的漏洞发掘意义重大。当前对软件安全漏洞的发现更多的是依靠安全研究人员的经验和运气,缺乏系统且有效的方法指导。为了找到一种能够快速发现Windows一类漏洞的方法,本文从安全补丁的修补方法入手,分析了漏...