CAD专家系统集成环境CADEIE1

本文讨论以专家系统为中心的CAD系统——CAD专家系统的应用目标、范围和限制;提出以专家系统为中心的CAD集成环境的结构;介绍了我们当前实现的CADEIE 1和它的试验性应用。     

序列模式挖掘在网络业务流分析中的应用

网络业务流分析是为了适应网络优化的需要而出现的分析方法。把一种新的序列模式挖掘算法用于网络业务流分析，对网络业务的模式进行挖掘，性能上优于以往的算法。     

基于UML的形式化规范说明研究

软件的规范说明阶段 ( specification phase)对于软件的整体开发过程来说是一个非常重要的阶段 ,UML方法是目前比较流行的软件工程开发方法 ,它对软件整体开发过程提供了一套有用的模型。本文根据 UML和谓词转换 ,提出一种面向对象的形式化规范说明方法 ,并给出一组和 UML相对应的数学模型。本文的方法吸收了 UML和一般形式化方法的优点 ,具有数学的严谨性和精确性 ,并且更加易于理解和表达。     

敏捷软件开发与计划驱动开发的概述比较

人们在设想、确定以及创建软件时,身边的环境不断在变更.敏捷是为了在动荡的业务环境中获益而创造变革和响应变革的能力.极限编程是最著名的敏捷软件开发方法.传统的开发侧重于计划和架构,计划驱动开发关注的是软件的质量和过程的可预见性.计划驱动开发最佳范例是能力成熟度模型.两种表面上有不同观点的方法在争夺着软件开发的主导权,对敏捷软件开发与计划驱动开发进行了概述,并就特征、擅长领域和关键要素等进行比较.     

形式规范语言数据求精过程的代数验证方法

软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。规范语言的求精过程可分为数据求精和过程求精。从面向模型的规范语言 (如VDM ,Z)出发 ,提出一种严格定义的类型代数理论和一组基于抽象代数的规则来验证数据求精过程 ,解决了形式规范语言在数据转换过程中的语言一致性问题。此方法可以作为数据求精过程的自动化验证的基础     

模糊集和粗糙集

介绍和比较了模糊集和粗糙集各自的理论和特点，同时讨论了两种理论相结合来研究问题的方法。     

自然语言处理中基于短语结构的语法分析方法

语法分析是自然语言处理中的一个难题和研究热点.针对汉语的语法特点和现实运用中的需求,提出一种基于短语的解决途径和实现此模型的一个系统.与经典的基于语法树的语法分析方法相比,它有更广泛的运用范围,更快的处理速度.在一定运用范围内,它可以视为自然语言处理的一层.     

一个抽象机库中B方法的研究

B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。     

数据仓库与数据挖掘

本文介绍了数据仓库与数据挖掘的基本概念、特点和体系结构,讨论了数据挖掘的技术算法及数据仓库与数据挖掘的应用领域。