教学课程资源库 更多>>

关键词： UML建模思想   查课系统   用例  

摘要： 本文论述了应用UML建模思想分析和规划了智能查课系统的开发过程,确定系统需求和要实现的功能。用表示系统静态特征的UML类图、用例图和描述系统动态行为特征的时序图对其开发过程进行了不同层面的描述,以便读者理解。

关键词： 服务组合   形式化方法   时间自动机   UPPAAL   模型检查  

摘要： 随着Web技术和商业应用的快速发展,Web服务组合技术已成构建电子商务应用的主要方法之一。当前,为适应快速变化的商业环境,对商业应用提出了实时性的要求,即限定服务的行为必须满足给定的时间约束条件。文中提出了一种形式化方法,用于分析与验证Web服务组合的时间约束行为。首先,扩展了Web服务接口描述语言,增加对时间约束的描述,然后定义一种时间行为自动机,用于刻画Web服务组合的时间行为,最终利用模型验证技术来自动验证这些行为是否满足给定的时间属性。通过对股票分析应用场景以及使用UPPAAL模型验证工具,表明该方法的可行性和有效性。

关键词： UML建模   人文教学   Web技术   系统   开发  

摘要： 针对当前国内教学系统应用现状,提出以某职业技术学院人文学院为例的基于web技术的网络教学平台,采用B/S访问模式、JSP技术和J2EE架构对系统进行设计,开发出具有用户登录、课程管理、在线自测等功能的可应用于人文学院学生的教育教学平台,体现了信息技术与现代教育结合的理念。

关键词： 形式化方法   软件方法学   形式化的软件开发  

摘要： 软件工程中的形式化方法是以数学理论为基础,建立的一种用来解决软件工程领域问题的系统性分析方法。形式化方法通过具有明确语义的形式语言来描述目标软件系统的行为和特征,为目标系统开发提供了一个模型化的有效设计和分析途径,保障了系统的安全性和可靠性。本文简单介绍了形式化方法的研究内容及分类,在软件方法学的研究背景下,对形式化方法在软件系统开发每一个阶段的应用进行了详细分析和综合评价。

关键词： 对象建模   建模语言   管理信息系统  

摘要： 针对电力企业管理信息系统的设计开发,详细探讨了UML建模技术从分析到实现过程在设计开发中的应用。UML技术作为先进的软件工程学方法,对于电力系统软件开发具有较强的实用价值。

关键词： 统一建模语言   用例图   学生管理系统  

摘要： 本文介绍了UML的建模过程及建模特点,首先描述了高校学生信息管理的需求分析及功能模块划分,然后重点以学生的学习管理模块为例,建立了系统主要的用例图、类图、顺序图。

关键词： 智能交通   信息物理系统   交通信息物理系统   体系结构设计   关键技术  

摘要： CPS是计算、通信和控制过程高度集成的系统,通过在物理设备中嵌入感知、通信和计算能力,实现对外部环境的分布式感知、可靠数据传输、智能信息处理,并通过反馈机制实现对物理进程的实时控制。在现阶段智能交通的基础上,结合信息物理系统(CPS)提出了一种分层式的交通信息物理系统(T-CPS)的模型结构,并对其每一层的设计进行分析。最后提出了目前研究T-CPS的关键技术,以及T-CPS对未来智能交通系统发展的影响。该模型有利于智能交通的研究,T-CPS作为智能交通新的发展方向,为下一代智能交通研究提供理论支撑。

关键词： 面向对象   蜕变关系   代数规格   变异检测率  

摘要： 针对面向对象软件类级测试中方法序列调用时的Oracle问题,提出了一种基于代数规格的面向对象蜕变关系构造方法,并根据此方法进行蜕变测试。首先基于代数规格给出面向对象测试中蜕变关系的构造准则,然后根据构造准则对GFT(Generating a Finite number of Test cases)算法中范式构造蜕变关系方法进行改进,最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试,并与GFT算法中范式构造蜕变关系方法进行了对比,结果表明在相似的变异检测率下,改进后的方法使得构造的蜕变关系冗余度降低了66%,验证了改进的蜕变关系构造方法有更低的蜕变关系冗余度,提高了软件测试效率。

关键词： 事件逻辑   改进的Needham-Schroeder协议   形式化方法   强认证性理论  

摘要： 安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。

关键词： 高分辨率遥感   图像分割   区域合并   多尺度   面向对象分析  

摘要： 图像分割是高分辨率遥感图像处理和分析的关键环节.本文探讨了将区域合并方法应用于高分辨率遥感图像多尺度分割的技术要点,旨在提升分割的精度和效率,获得地物对象的多尺度表达.主要研究内容包含如下五个方面:(1)图模型的构建,包括区域邻接图和最近邻图,以提高分割效率;(2)合并准则的确定,选择能有效表征区域同质性、形状和边界的图像特征并加以组合,提升分割精度;(3)合并策略的选择,针对寻优范围不同列出面向全局、面向局部以及混合区域合并等三种合并策略,并分析各自的特点;(4)尺度参数的设置,针对面向局部的区域合并策略提出递增的尺度参数序列控制方法,生成边界一致的多尺度分割结果;(5)分割树的设计,利用树中不同层级的节点表达不同尺度的分割区域,可快速输出多尺度分割结果.研究成果可应用于高分辨率遥感图像面向对象分析、地物目标识别和信息提取.