软件设计中的需求分析

软件产品是指软件开发商根据市场需要开发的、具有一定适用性和潜在客户的、可销售的软件成品。它区别于应特定客户需求或根据订单开发的软件商品,通常应具有更高的通用性和适应性。但它的通用性和适应性不是轻而易举就能达到的。要实现软件的产品化．就必须在软件产品的设计上下一番功夫。     

RBF和PIDNN在伺服电机模型中的应用比较

为了更好地发挥RBF和PIDNN神经网络的优势,通过对伺服电机模型辨识和控制问题的分析,对RBF和PIDNN网络的应用效果进行了仿真实验的对比研究。结果表明,RBF神经网络结构复杂,参数难以调整,但具有最佳一致逼近能力,辨识效果优于PIDNN;PIDNN结构简单,比例元、积分元和微分元具有类似PID的控制作用,控制效果优于RBF。     

基于UML的电牵引采煤机变频器控制器的建模设计

针对矿用电牵引采煤机电气控制系统传统的设计过程存在的设计缺陷,文章提出了一种在系统设计初期采用UML建模方法进行系统的需求分析与设计的方案,并以矿用电牵引采煤机电气控制系统中变频器控制器的建模设计为例,介绍了基于UML的建模设计方法。     

Compositional encoding for bounded model checking

Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional process algebras is, however, a highly non-trivial task. One challenge is that the number of system states for process algebra models is not statically known, whereas exploring the full state space is computationally expensive. This paper presents a compositional encoding of hierarchical processes as SAT problems and then applies state-of-the-art SAT solvers for bounded model checking. The encoding avoids exploring the full state space for complex systems so as to deal with state space explosion. We developed an automated analyzer which combines complementing model checking techniques (i.e., bounded model checking and explicit onthe-fly model checking) to validate system models against event-based temporal properties. The experiment results show the analyzer handles large systems.     

一种新的概念格并行构造算法

概念格作为形式概念分析理论中的核心数据结构,在数据挖掘和知识发现、人工智能、信息检索、粗糙集[1]等领域得到了广泛的应用。概念格的构造在其应用过程中是一个主要问题。提出了一种基于闭包系统划分的概念格并行构造算法——Para_Prun算法,它将概念集合看作初始闭包系统,引入了子闭包系统的有效性判断,迭代生成相互独立的多个子闭包系统,然后在每个子闭包系统中独立生成概念,有效地提高了概念的求解速度。最后用实验证明了算法的正确性和有效性。     

稠密数据库有趣规则的快速挖掘

目前,关联规则的挖掘算法主要用于非稠密数据,很少有挖掘稠密数据的算法,而现实世界中有许多数据是稠密的。由于现行的算法不适合稠 密数据的挖掘,本文定义了兴趣度函数,给出了挖掘稠密数据有趣关联的有效算法。该算法与以往不同的是提前过滤掉不满足约束的属性组合,因而提高了速度,同时,使发现的规则更有趣,更易理解。     

公钥基础设施PKI的设计

介绍了公共基础设施PKI系统设计目标、PKI系统开发遇到的主要难点和采用的对应技术,并就证书处理的格式与编码、安全传输使用的SSL技术、浏览器的PKI接口结合开发经验和实例作了比较详细的分析。     

虚拟桌面系统的实现原理

设计和实现了一个虚拟桌面系统VDT,用于对Windows中的窗口进行管理,以方便Windows用户对窗口的使用,VDT创建了一个能够轻松操作的多个工作空间,这些工作空间将显示器扩展到一个虚拟空间中,重点介绍了这个系统的原理和实现。     

ITS中基于模糊关系数据模型的知识表示及推理研究

使用模糊关系模型讨论建立学科知识库的方法,并用隶属度函数及模糊中心数等方法描述知识点属性,以知识点的模糊关系建立知识库,并且,就实现基于模糊关系数据模型推理过程,给出了两个关键性的算法。     

基于XML的图形技术在WebGIS中的应用

空间信息技术和网络技术的融合,产生了一个基于Internet的WebGIS研究的热门课题。介绍了互联网信息时代的WebGIS的几种实现方案,认为传统的HTML在Web浏览器和服务器之间以图象格式传送JPG／GIF的地图数据,限制了WebGIS的性能,提出了一种基于可升级矢量图形SVG（Scalable Vector Graphics)和组件技术的WebGIS的解决方案。