基于UML和ASP.NET的网络教学系统

随着Web应用开发复杂程度的加大,需要相应的建模方法来指导其开发过程.ASP.NET技术正在逐步取代ASP技术,而成为开发Internet(Web)应用程序的首选工具.通过实例,阐述UML在开发Web站点的应用.     

基于UML的概念模型的Petri网映射算法研究

概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证.在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性.方法有利于检查模型映射前后的一致性,同时具有可扩展的优点.     

基于UML的ERP系统建模方法的分析

本文分析了统一建模语言UML对ERP系统建模的优势,论述了利用开发ERP系统的新手段——UML进行建模的方法,重点对基于用例图的功能建模方法作了详细的分析,并通过相应案例加以说明。     

基于UML的农村社会养老保险精算系统设计

以农村社会养老保险精算的模型建立和方案设计为背景,利用面向对象建模技术UML分析了农村社会养老保险精算系统的组织和行为特性,并以Java语言实现了系统的原型;讨论了UML在编制开放性、复杂性系统过程中的优势;阐述了系统的创新点,并展望了其在“金保工程”中的应用前景。     

基于UML的嵌入式绗缝测试系统研究

为提高电脑绗缝机伺服运动控制系统的特性与可靠性,设计并实现了一种基于UML的嵌入式绗缝测试系统。以绗缝系统的需求规格、各种规范、标准和协议为基础,以UML的分析设计规约文档作为设计的重要依据,通过对UML文档的词法语法分析,利用类图、活动图、用例图分别完成单元测试、类簇测试和系统测试,通过分析测试结果完善绗缝系统的设计。     

基于UML的复杂装备测试性需求建模

提出了一种基于UML的复杂装备测试性需求分析模型。首先分析了测试性需求分析过程;然后描述了统一建模语言（UML）测试性需求建模思想;最后构建了以用例模型、静态模型和动态模型为主的测试性需求分析模型,该模型详细描述了测试性需求分析过程中的系统信息管理和确定测试性指标要求的用例、对象信息以及交互行为,保证了信息的完备性和模型的有效性。通过开发测试性需求分析软件系统,并对某导弹进行测试性需求分析和指标确定,验证了结果的可信性和方法的有效性,为开展装备测试性需求分析和指标确定奠定了基础。     

基于UML与XML的软件输出文档模型设计

软件开发中文字和数据的输出编码工作量大且烦琐,较好的解决方法是将软件中的文字和数据组织成具有相似结构的文档-软件输出文档,开发一个通用组件对其进行处理并实现输出.它设计了一种通用的软件输出文档结构,使用UML建立了文档结构可视模型,使用XML schema建立了文档格式,并对文档处理提供了参考方法.应用说明基于软件输出文档模型及其组件进行文字和数据的输出能够提高软件的开发效率和可移植性.     

基于UML的网络教学系统建模研究

以网上学习系统的开发为背景,论述基于B/S模式网络教学系统的分析和设计思路,给出系统的体系结构,介绍了各个子系统及其功能,并采用UML技术对系统进行建模.     

基于UML的房地产测绘信息管理系统的建模研究

UML是面向对象软件开发中的重要技术。使用UML进行系统建模,就是使用面向对象的方法来分析系统,以此建立面向对象的系统模型。本文针对房地产企业的特点,以房地产测绘信息管理系统为实例,阐述了如何使用UML中的用例图、顺序图和合作图来进行系统分析,以此帮助系统开发人员进行详细需求分析,并能更清楚地了解系统功能和系统流程的分析。     

UML在嵌入式系统设计中的应用

介绍了UML及将UML应用于嵌入式系统设计中的作用和意义;分析了在嵌入式系统设计中应用UML的基本步骤和难点;结合车载GPS终端系统的设计,描述了一个UML的具体应用过程。     

基于Verilong-HDL自动售货机的设计与实现

Verilog硬件描述语言能够用软年语言的方式描述硬件特性,并可用仿真方式完成电路的调试,使得硬件开发周期和成本大大降低,本文介绍了VerilogHDL的特点和应用,并以自动售货机为例,详细说明了其实现过程,并给出了实现代码和仿真波形。     

基于VERILOG-HDL的简化异步收发器的设计与仿真

该文阐述了通用异步收发器(UART)异步串行通信原理,介绍了实现UART异步串行通信的硬件接口电路及各部分硬件模块。该文基于Verilog语言实现了接收器和发送器这两个UART的内部核心功能模块,通过Modelsim对相应Verilog-HDL程序的仿真,验证了其异步串行数字接收和发送的功能。     

基于VERILOG—HDL的简化异步收发器的设计与仿真

该文阐述了通用异步收发器（UART）异步串行通信原理,介绍了实现UART异步串行通信的硬件接口电路及各部分硬件模块。该文基于Verilog语言实现了接收器和发送器这两个UART的内部核心功能模块,通过Modelsim对相应Verilog-HDL程序的仿真,验证了其异步串行数字接收和发送的功能。     

一种DEVS原子模型向UML状态图映射方法研究

离散事件仿真规范DEVS形式化的一个重要不足在于它缺乏一种标准的、图形化的描述形式。该文研究提出了一种将DEVS的原子模型与复合模型分别映射到UML的状态图和组件图的方法,并用形式化的数学方法对DEVS原子模型向UML状态图的映射过程进行了描述与构造。这种映射将DEVS规范融入到了UML的描述形式当中,将DEVS的抽象化描述与UML的表示能力、计算机处理能力结合起来,为两种建模形式的统一提供了一个可行的思路。该文研究的成果在C^4ISR系统总体方案规范化建模中得到了逐步的应用。     

基于UML的软件体系结构建模方法的研究

软件体系结构是软件工程中的一个重要领域。对软件体系结构的分析和设计已成为决定软件系统（特别是大型软件系统）成功的重要因素。体系结构描述语言ADL能以一种比较直接、精确的方式来描述软件体系结构,但它很难与主流开发方式集成。UML是一种应用广泛的对象建模语言,已被工业界广泛接受。本文介绍了一种UML与ADL集成的方法,对软件系统的开发具有较大的实用价值。     

体系结构描述语言XYZ/ADL到UML的映射

选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL,分析了其设计元素和UML建模元素的语义,并通过UML扩展机制和对象约束语言进行扩展和约束,建立起从XYZ/ADL到UML的映射。     

一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。     

Verilog到Java翻译器VtoJ的设计与实现

提出了一种将硬件描述语言Verilog转换到Java代码的设计方法,给出一组从Verilog到Java的转换规则。通过设计一个VtoJ翻译器完成自动转换功能,实现软硬件系统的协同仿真。     

基于FPGA的偶数分频器设计

随着电子技术的发展,工作频率成为电子产品优劣的一个重要依据,这使得我们对晶振的要求越来越高。如果我们仅通过分频,对较高的晶振源进行分频就能很容易的得到比较丰富的频率。分频器是数字系统设计中的一种基本电路,本文介绍了通过QuartusII开发平台,利用Verilog硬件描述语言设计了一种能够实现等占空比的任意偶数分频、等占空比任意奇数分频、不等占空比的任意半整数分频的较为通用的分频器,并通过QuartusII进行了功能仿真。