广播发射机房备件管理系统分析

本文是为了满足机房实际管理工作中对备件管理的正规化要求。对机房备件管理系统进行了理论层面的分析和可行性方面的分析，然后对备件管理系统进行了必要的设计和部分功能的实现。尤其是系统分析过程中使用到的面向对象建模工具，UML统一建模语言对系统的开发提供了很多便利。     

基于UML的社区警务管理系统的需求分析

UML(Unified Modeling Language)是用于开发系统的可视化建模语言,研究目的是使用UML对社区警务管理系统进行系统建模,期间也结合UP(统一过程)作为方法论。针对本系统软件开发中的需求分析阶段,分析出一系列的功能需求模型。首先确定系统的用例,然后在此基础上从静态和动态两方面分别建立时序图和活动图的系统模型。     

基于UML的机车检测系统软件开发

检测系统模型是构建机车检测系统软件的关键。在分析检测系统建模和面临问题的基础上,使用面向对象的、可视化的统一建模语言UML,建立了检测系统软件模型,开发了基于UML模型的机车检测系统。     

UML在实验教学智能咨询系统开发中的应用

UML（Unified Modeling Language)是一种面向对象的标准建模语言。概述了UML的模型种类、基本特征、开发过程，然后描述了如何运用UML进行“实验教学智能咨询系统”的建模，包括需求分析，特定领域分析，结构设计，详细设计，实现，测试和配置。     

UML时间顺序图的自动验证技术

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.     

基于嵌入式系统的网络管理模型浅析

近年来,嵌入式系统的逐渐完善为网络管理模型的设计提供了一个新的契机。设计一种新的基予嵌入式系统的网络管理模型。该模型以Web浏览器和服务器为框架,通过把Web集成到嵌入式设备中,可以对设备随时随地的进行远程访问及管理。     

网络印刷服务平台功能模型的分析及建立

对网络印刷服务平台的功能需求进行了分析,并利用UML建模法为其建立了功能模型。分别选取UML用例图描述了网络印刷服务平台的静态功能,以UML时序图描述了网络印刷服务平台的动态业务流程,二者共同构成网络印刷服务平台的功能模型,为今后网络印刷服务平台的开发提供了依据。     

嵌入式无线接入点网络驱动的设计与实现

分析了嵌入式Linux系统下网络驱动的体系机构和工作原理，结合PCMCIA驱动接口，着重论述了嵌入式Linux无线接入点网络驱动的基本软件模型和实现流程, 给出了网络驱动的性能测试结果。     

基于互联网的嵌入式系统的研究

本文通过研究物联网与嵌入式系统的关系，研究嵌入式系统的地位和作用，阐明当前嵌入式的发展状况，探讨嵌入式的发展前景，为更深层次的研究和物联网发展提供理论基础。     

浅谈基于UML的实时系统开发

我们看一下挑战VoIP及其向开发商提供的应用服务.我们开发用例工具用来建模和VoIP应用的设计验证.除非它能够提供一个强于传统电话的音频质量voIP应用将不会被市场接受,然而目前对语音模块的应用分析并没有符合上述要求,我们将探讨如何改变设计和实施以满足这些要求.虽然UML其目前的规格不适合实时应用的设计,但CASE工具存在提出了用于这一目的一种UML扩展.我们将介绍Rational R0se RT和Telelogic Tau重新设计应用程序的用处以用于支持我们的需求,介绍最新UML的概念,将有助于解决我们的任务,进一步证明了重要新概念的UML2.0.     

光电干扰系统基于UML的C3I系统软件建模

将C^3I系统实时获取信息、传输信息、处理信息进行态势分析与估计,然后自动决策应用于光电干扰系统软件设计,能大幅度提高光电干扰系统的效能,从而提高战区C^3I系统的攻击与防卫效能。首先描述光电干扰系统的功能需求,利用C^4ISR与UML体系结构的高层处理过程提出UML建模的框架;接着应用UML遵循RUP的核心思想和基本原则对光电干扰系统软件进行了建模,逐步进行了需求收集、系统分析与系统设计,在每个过程均用一系列UML图来形象化地表示;最后提出了在建模过程中应注意的问题。利用已成为事实上标准并且符合人们思维习惯的UML进行系统建模,开发周期相对短,产品较丰富并且保证了系统开发和维护人员对系统的理解,系统分析、系统设计以及系统维护的一致性,更重要的是模型建立后可直接编程实现。     

Object-Oriented Modeling of Solid Material in Nonlinear Applications

In this paper, an object-oriented modeling of solid material constitutive behavior using the UML notation is presented. Material properties are first classified into large and small deformation kinematical models. In the small deformation package, we keep classes such as Elastic, ElastoPlastic, ViscoElastic and ViscoPlastic. In the large deformation package, we store classes such as ElastoPlastic, HyperElastic, HyperPlastic, HyperViscoElastic, HyperViscoPlastic and so on. The hierarchical structure, the association relationships as well as key attributes and methods of these classes are presented. We used a C++ implementation of the above model for developing HyperElastic, HyperElastoPlastic and Contact applications in the Diffpack environment.     

基于VC++和Ansys的液压缸参数化设计系统

目的针对打包机等包装机械液压缸设计标准多、系列化产品重复性设计的问题,提出液压缸参数化设计系统。方法以Ansys为平台,利用C++和APDL,通过混合编程技术和软件通信技术实现Ansys软件的二次开发。结果开发出了基于工况条件自动匹配缸体型号的参数化设计系统,建立了VC++与Ansys软件间的数据传输与通信,在Ansys环境中能自动完成缸体的建模与应力分析。结论经验证,该系统的设计结果满足强度要求,对设计者与安装人员背景知识要求低,可满足绝大多数人员使用,对提高设计分析效率有较大帮助。     

Safety and Reliability Estimation of Automatic Train Protection and Block System

Considering the high maintenance costs of trackside equipment and its vulnerability to natural disasters, a novel railway system named Automatic Train Protection and Block (ATPB) is proposed by the authors to aid in improving the efficiency and reducing the cost of regional train lines. It is a railway radio system based on onboard equipment. In order to ensure its system safety, the paper gives a formal analysis on the functional requirements specification for the system. Specifically, after analyzing the actual requirements, a UML model of the ATPB system is created first to check the functional completeness and structural reasonability. Second, a formal and unambiguous specification of the ATPB system is established by VDM++, i.e. VDM++ model, based on the UML class diagram. Third, the internal consistency and satisfiability of the formal specification is verified and validated. Finally, a simulation is conducted strictly according to the formal specification. Without any runtime errors, collisions or derailments, the results demonstrate the high quality of the simulation and the safety of the specification. Copyright © 2013 John Wiley & Sons, Ltd.     

基于SolidWorks塑封机构参数化设计系统研究

目的 为缩短设计周期、 节约生产成本和方便设计人员操作, 开发基于SolidWorks的塑封机构参数化设计系统。方法 在SolidWorks平台上, 通过使用Visual C++6.0的ATL COM向导模式, 对生产蝇香产品的塑封机构进行参数化定制开发。结果 在Visual C++6.0的MFC中建立的人机交互界面上输入蝇香产品的直径等参数, 可以快速得到塑封机构的零件模型、 装配体模型和工程图。结论 建立的塑封机构参数设计系统能够缩短计周期, 降低生产成本, 指导生产实践。     

质量驱动的虚拟原型设计关键技术

 依据质量驱动的虚拟原型设计理论,构建基于ACIS的产品虚拟原型设计总体框架, 用C++开发了可从可视化数据库中读出实体, 再加以渲染产品的LINUX可视化系统,并建立了基于STEP标准的产品信息交换模型.在制造物理原型之前,可对产品全生命周期各个方面进行产品分析、评价、决策和修改,实现产品数据管理和设计进程的集成化.     

A Petri net approach to behavioural simulation of design artefacts with application to mechatronic design

A Petri net-based design inference network (PNDN) architecture is presented in this paper. The network models the logical behaviour of any design artefact developed by designers at the conceptual design level by representing the subfunctions and their inter-relationships to perform a required overall function. The theoretical framework in developing the PNDN is based on the improved theory of Petri nets and hybrid automata. The theoretical PNDN architecture was implemented in a C++ based software called the design network simulator (DNS). The logical behaviour of a design artefact is modelled through the token flow within the PNDN. The token flow model is developed both for deterministic and nondeterministic PNDN, which involves uncertainties. In this paper we present the mathematical formalism of the deterministic token flow through the PNDN. We also provide a conceptual design example in order to explain the application of our theoretical architecture for structuring the PNDN.     

基于混合数字高程模型的交叉口立面设计方法

在交叉口立面CAD方法中,传统二维方法不能进行三维可视化设计和空间分析,曲面拟合方法没有统一的应用标准并且求解困难.以CAD和方格网设计等高线法为前提,提出了交叉口的通用几何模型和设计流程,分析了用不规则格网和不规则三角网的混合数字高程模型表达三维设计面的优势和可行性,讨论了建模的原理和步骤,阐明了运用数字高程模型生成等高线和查询高程、坡度、坡向的方法.在AutoCAD平台上,用.net二次开发技术和托管C++语言编程实现了程序功能.试验结果表明,该方法能精确高效地处理各种形式交叉口.     

基于Pro／TOOLKIT和SQL2000的齿轮CAD开发

通过对齿轮建模的研究,讨论其参数化系统的设计思想与开发过程,并以Pro／Engineer为平台,利用Visual C＋＋6．0和SQLServer2000工具构建了齿轮CAD的参数化系统,它将有助于提高设计人员的工作效率,提高企业的效益．