基于UML的精品课程远程教育网站模型设计

UML是面向对象的统一建模语言,所设计的软件模型具有可重用性的特点。使用UML新方法开发精品课程网站,用UML用例图做需求分析,用UML类图和顺序图进行系统静态和动态设计,最终用PHP程序语言和MYSQL数据库来实现网站软件。经UML建模后的精品课程远程教育网站模型可以多次应用,从而提高网站软件的开发效率。     

基于UML的安防监控终端系统的分析设计

通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型。在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性。     

基于UML的安防监控终端系统的分析设计

通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型.在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性.     

基于UML的仓储管理系统的分析设计

统一建模语言(UML)是面向对象分析和设计过程中重要的建模工具,适用于软件生命周期的各个阶段.以仓储管理系统为例,采用面向对象的方法,介绍UML的建模机制;叙述了仓储管理系统的用例建模、动态建模的过程,详细描述了基于UML该系统的用例图、活动图、顺序图、协作图.     

基于UML活动图的测试研究进展

UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望.     

UML到Event-B的系统化转换方法

在面向对象的软件开发中,UML已经成为事实上的建模标准。然而,UML虽然直观容易理解和应用,却存在着不精确的语义,而且UML是一种半形式化的建模语言,无法进行形式化的验证。Event-B是一种基于大量数学谓词逻辑的形式化方法,虽然精确却难以理解和应用。因此,如何结合UML图和Event-B方法的优点是研究的重点,以往的方法都是基于UML零散图到Event-B的转换,缺乏系统的转换方法。系统性的转换方法可以实现UML中的元素与Event-B中的元素相对应统一。一般的软件系统是中型系统,中型系统采用用例图、类图、状态图和顺序图这四种图就可以很好地表达清楚,有了上述的四种图,软件生命周期的需求获取、分析、设计、详细设计就可以完全表达清楚。文章中分别给出了这四种图到Event-B的转换方法,并将该系统的转换方法应用到对安全性和可靠性要求较高的电梯控制系统中。基于该实例的研究,验证了UML到Event-B系统性转换方法的可行性和有效性。UML到Event-B的系统转换方法不仅有利于UML的精确化和软件从业人员的使用,而且增强了形式化方法的可理解性,有利于形式化方法的推广和应用。     

基于UML建模技术的功能点度量研究

软件工作量估算是软件项目管理的重要组成部分之一,功能点度量方法逐渐成为该领域的主要方法.本文从UML部件(用例图、类图和顺序图)中识别出功能点度量方法中的事务功能和数据功能,分析其复杂度,最终得出功能点数,进而将功能点度量方法与UML建模技术相结合,实现了UML部件(用例图、类图和顺序图)向功能点的映射,并结合IFPUG的功能点估算步骤,提出了基于UML建模技术的功能点分析步骤.实证结果表明该方法可以进一步精化基于UML建模软件项目的工作量度量结果,便于项目管理人员控制软件项目活动,合理安排人员等资源,可以在一定程度上解决软件项目频繁超支和超时的问题.     

一种基于UML建模的实时测控系统设计

为了实现软件产品工程化、标准化的目标,在实时测控软件的开发过程中需要引入现代软件工程思想和方法来规范开发流程、保证软件质量.由于实时测控软件特殊应用领域,实时测控软件通常采用模块化设计方法和多层次体系结构.在软件建模方面,UML建模方法也被用于对实时测控软件进行建模.在实时测控系统软件的开发过程中,本文采用了多层次的体系结构,并分别采用UML用例图、类图和顺序图对软件的功能、结构和信息活动进行建模,最终完成软件系统的构建.     

基于UML的环境空间决策支持系统的分析与设计

统一建模语言(UML)是一种面向对象，定义明确的可视化系统建模语言，在地理信息系统工程的分析和设计中已逐渐被采用。以福建省海岸带环境调控空间决策支持系统为例，简述了系统建设背景和基本功能需求，研究了统一建模语言(UML)在空间决策支持系统分析和设计中的应用。重点提出了以系统需求用例图、活动图，类图和序列图为核心的UML辅助空间数据建模的基本原理和方法，并结合具体示例给出了基本操作流程过程和软件文档制品，最后给出了系统实现结果的典型用户界面。     

基于UML实时系统的分析和设计

介绍了统一建模语言的最新版本UML2及应用UML2进行实时系统设计的作用及意义.探讨了UML2中用在实时系统设计中的概念.结合一个使用UML2为家庭安全系统设计的例子,着重分析了系统的静态结构和动态行为,通过类图、顺序图、状态图等UML图描述系统的方法从整体上对系统建模,说明实时系统分析与设计过程.使用UML分析和设计系统能够提高软件设计的效率和质量增强软件的维护性和复用性.     

认知图理论的应用研究

认知图又称心象图,是近年来研究的热点。它是一种定性推理技术,也可以看作是一种计算智能,能有效地解决基于先验知识的自适应行为。文中对认知图理论作了系统的归纳总结,主要包括古典认知图和模糊认知图两方面,模糊认知图是认知图的延伸与扩展。文中通过对模糊认知图扩展模型的描述以及扩展模型之间优缺点的比较,得出了模糊认知图扩展模型的实用性和优越性。     

等高线分类中的改进算法研究

该文的研究对象为1:5万地形图,讨论了对现有等高线识别算法的一些改进算法,是为提高等高线断线的连接率而进行的一种预处理算法,提高了区分计曲线和首曲线的正确率,为等高线的正确连接提供依据,可以避免计曲线和首曲线之间的误连。     

电子地图技术及其进展分析

在分析了电子地图学当前采用的数据结构和数据模型的基础上,论述了结合目前地图表达方面的研究进展,对电子地图学的技术开发及其应用中出现的问题及今后的研究发展方向进行了分析和探讨。     

数字三维地图制图研究

该文首先介绍了传统地图的三维符号表示方法,在此基础上,对数字三维地图的特点和符号构成元素进行了阐述,最后,介绍了当前数字制图中常用的细节层次模型(LOD)。     

64导心外膜Mapping系统的研制

心外膜Mapping标测是一种精确测量和观察分析心脏电活动的方法，辅以直观的实时显示图能为外科及内科医生提供一条准确迅速的判断指标。介绍了64导心外膜Mapping标测系统的硬件设计以及软件分析方法。系统的硬件部分由电极、64路放大器、PCI数据采集卡、计算机以及输出设备组成。软件分析部分包括软件滤波、数据插值、特征点提取以及实时彩色等势图和等时图的绘制。     

Carrying surfaces for return maps of averaged logistic maps

We analyze the average of two iterated logistic maps in both the uncoupled and coupled cases and show that the resulting sequence can be seen as lying on the graph of a function of two variables which we call a carrying surface. Experimenting with different graphical representations of the data led us to discover this surface.     

一种基于双混沌映射的加密算法设计与应用*

提出了一种基于logistic和Henon的双混沌映射加密算法,通过级联一维混沌系统和二维混沌系统,利用复合迭代所产生的混沌序列对明文进行加密,开发了算法的模拟实验平台。实验结果表明,与传统DES和基于Lorenz的加密相比,该算法在加密强度和运算效率上达到了较好的均衡。     

数字化三维城市设计建模技术分析

三维数字地图具有动态性、交互性、超媒体集成、多尺度表达、多维化显示等优越特性。根据地图信息来还原实际地形地貌,显示地形地貌的微缩三维地形模型是GIS的一个重要的研究课题,数字化城市中三维景观的构建是一项具有广阔应用前景的技术。该文系统论述了三维城市模型建立的基本理论与关键技术。     

航摄影像索引图制作的新方法探究

提出了一种新的航摄相片索引图制作方法,它是以不同航摄比例尺的地形图、线划图、旅游图或者影像图作为底图,在底图上叠加摄区范围、航线编号、飞行方向、相片编号、相片数量、底图图幅号,以及其他航摄信息等。这种方法具有注记要素齐全、标示方法简捷明了、版面整洁美观、应用软件易操作、制作方法简便等特点。不但适用于传统胶片航摄相片,更适合现代数字相机拍摄影像索引图的快速制作。     

Computing global visibility maps for regions on the boundaries of polyhedra using Minkowski sums

A global visibility map is a spherical image built to describe the complete set of global visible view directions for a surface. In this paper, we consider the computation of global visibility maps for regions on the boundary of a polyhedron. Both the self-occlusions introduced by a region and the global occlusions introduced by the rest of the surfaces on the boundary of the polyhedron are considered for computing a global visibility map. We show that the occluded view directions introduced between a pair of polyhedral surfaces can be computed from the spherical projection of the Minkowski sum of one surface and the reflection of the other. A suitable subset of the Minkowski sum, which shares the identical spherical projection with the complete Minkowski sum, is constructed to obtain the spherical images representing global occlusions. Our method has been successfully tested on many CAD models. It extends the previous methods for computing global visibility maps using convex decomposition, and it exhibits a better performance.