模糊集和粗糙集

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

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

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

数据仓库与数据挖掘

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

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

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

CAD专家系统集成环境CADEIE1

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

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

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

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

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

沙尘天气影响因素的灰色关联分析

自20世纪80年代中期以来，西藏沙尘天气显著减少，呈下降趋势，为探究造成这一变化趋势的原因，利用日喀则市1992～1995年的气象数据，运用灰色系统理论中的关联分析方法，研究了各因子对沙尘天气的影响程度，发现气温、植被及风速对沙尘天气的影响贡献最大，气候变暖、植被面积增加有助于减少沙尘．

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

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

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

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

数据仓库及其在商业的应用

应用数据仓库的基本知识,通过分析数据仓库的特点和主要应用范围及目前市场上一些数据库仓库产品,介绍了数据仓库的发展方向。

一个基于知识的车间辅助设计系统PWADES

ＰＷＡＤＥＳ是一个基于知识的车间辅助设计系统，它集知识库、数据库和图形系统为一体，可以模仿选煤专业工程师完成设备选型、车间布置和绘制工程图。本文讨论它的知识库、数据库、图形系统以及它们的组织结构。

CSE算法:利用对频繁序列扩展来进行序列模式挖掘

序列模式挖掘是在多个有序事件序列中查找出现频率大于某个阈值的序列模式的数据挖掘方法 ,自从1995年序列模式挖掘的概念被提出以来 ,人们不断地对序列模式挖掘算法进行研究和改进 .本文介绍了一种新的序列模式挖掘方法—CSE算法及其具体实现方法 ,并对该算法性能做了初步的评价 .