玻璃容器CAD系统的功能模型及其实现

从系统建模的角度，以汽水瓶计算机辅助设计系统为例，采用IDEF方法建立CAD系统的功能模型，并以ANSYS8．0为平台实现了系统中的有限元子模块，为高效地建立玻璃容器计算机辅助设计系统提供了实现方法。     

液压大系统的模块式建模

本文论述了液压大系统模块式建模法的基本原理,建立了元件模型和由元件模型生成系统模型的一般方法。并利用该建模方法建立了液压调速系统的数学模型,对实例进行了计算机仿真。结果表明模型正确,建模方法可靠。这种建模法易于计算机辅助建模和仿真,具有动、静态仿真合一的特点,能使用户在计算机仿真所需的建模简单化,数学模型通用化,适用于大系统的建模与仿真。     

系统建模仿真中子系统压缩封装技术的应用

本文以弹簧质量动态系统的建模仿真为例,阐述了创建子系统模块及其封装的方法,可提高模型可读性及仿真建模效率.     

网络安全认证协议自动分析系统的设计

本文以大量的协议形式化建模研究为基础,以网络安全认证协议为研究对象,采用模型检测技术,开发了网络安全认证协议自动分析系统。该系统功能主要是用来对认证协议进行自动建模与验证。本系统分为用户界面模块、自动分析建模模块以及自动验证模块。     

分布式人工免疫系统的鲁棒性归约模型

利用分布式多真体(Agent)系统的鲁棒性归约模型,将分布式人工免疫系统看作理想的分布式多真体系统,从而把分布式人工免疫系统的鲁棒性分析问题归约为其各个相对独立的模块的鲁棒性分析问题。人工免疫系统包括正常模型建模模块、自体/异体检测模块、已知异体识别模块、未知异体学习模块、异体消除模块和受损系统修复模块。用问题归约法分析人工免疫系统的鲁棒性后,建立人工免疫系统的鲁棒性归约模型,用各个模块的鲁棒性判据和模块之间免疫控制过程的鲁棒性判据表示分布式人工免疫系统的鲁棒性判据。经定理证明,鲁棒性归约模型能分解和简化分布式人工免疫系统的鲁棒性分析问题,通过各个模块的鲁棒性分析问题求解实现该问题的最终求解。因此,分布式人工免疫系统的鲁棒性归约模型是有用的鲁棒性分析工具,为复杂人工免疫系统的鲁棒性分析提供了有效的方法。     

电力电子变压器隔离级并联双有源变换器的控制与建模研究

电力电子变压器中隔离级采用多双有源桥变换器模块并联结构时,隔离级需要同时实现低压直流母线电压控制以及模块电流均衡控制,对此,文章提出了采用低压直流母线电压外环和并联模块电流内环的双环控制结构。给出多双有源桥并联系统小信号建模方法,建立多双有源桥变换器并联的小信号模型,分析了电压调节器和电流调节器参数变化对系统特性的影响,为参数选取提供了理论依据。最后通过仿真分析验证了所提控制方法的有效性和建模方法的准确性。     

水利水电工程地质-水工 三维协同设计系统研究

针对实现水利水电工程三维设计中所存在的关键问题,基于三维地质建模、水工建筑物快速建模和计算机协同设计技术等先进技术,采用了面向对象方法,设计并实现了水利水电工程地质-水工三维协同设计系统。该系统由三维地质建模、水工建筑物建模、工程地质分析与设计,以及数据库管理4个模块组成。地质和水工建筑物建模为工程地质分析与设计提供了三维模型,能够进行三维剖切分析、建基面分析、地下建筑物布置分析、边坡开挖分析等多方面的综合分析和不同专业间的协同作业,为水利水电工程三维设计提供了技术支持。     

集成物流、能流和流分析的造纸过程通用建模

针对目前造纸过程用能分析和仿真中未能有效集成物流、能流和流分析的缺点,采用物流、能流和流衡算方法,给出了造纸过程的通用建模方法和基本模型,建立了造纸过程物流、能流和流各自的基本抽象单元模型,给出了多物料通用能量和量计算的数学模型以及单元分析参数集,建立了水和水蒸气、干空气等的相关物性数据库,构建了集成物流、能流和分析的造纸过程通用的基本功能模块——混合模块和分离模块,为实现造纸企业全厂能量系统基于能流和物流的集成建模提供了技术和实现基础.     

多架构建模方法在飞机娱乐系统的实现及应用

 提出了一种实现基于模型的系统工程（MBSE）多架构建模方法。基于多架构建模方法的元元模型,构建了Capella中的特定域建模语言,采用Arcadia建模方法作为建模规范,同时基于架构驱动的方法建立了模型间的追溯关系,形成了一套完整的基于模型的系统工程驱动流程。通过飞机娱乐系统作为案例建立模型,比较Capella建模和多架构建模两种方法,给出了两种方法在效率及效能方面的比较,结果表明多架构建模方法具有建模的高效性和较强的扩展能力,为不同MBSE建模语言和建模方法的整合提供一种解决方案。     

基于UML的信息融合系统自适应敏捷建模

敏捷建模是面向实践的建模过程。研究了基于UML的自适应敏捷建模方法。结合信息融合系统分析,敏捷建模使用UML的一个子集,从域模型出发,进行健壮性和自适应分析,将系统动态建模和静态建模结合起来,快速、有效地构建系统模型。通过关联算法模块的建模证明:该方法可以大大方便设计人员和使用人员的沟通,缩短研发周期,提高研发效率,对信息融合系统的研究具有实际意义。     

数字图书馆面向方面的建模

介绍了面向方法软件开发的功能和意义,分析面向对象建模的缺点,阐述了面向方面建模的具体内容以及面向方面建模在数字图书馆建模过程中的应用。     

基于UML的软件设计信息抽取及其在重构中的应用

运用统一建模语言UML(Unified Modeling Language),提出了一种关系型建模方法,并实现了一个原型系统,能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中,能够挖掘设计阶段形成的语义信息,有效地帮助开发人员进行软件重构.     

一种基于UML的面向方面模块动态特性编织方法

在面向方面软件开发Theme方法的基础上引入用例驱动技术,其中用例技术实现软件模块化,面向方面技术封装横切关注点,从而形成一种用例驱动的面向方面软件开发(UCD/Theme)方法。通过分析面向方面模块的动态特性在编织过程中可能产生的冲突,提出了一种扩展UML的面向方面模块动态特性编织时的冲突解决方法。通过ATM案例说明了该方法的应用。     

一个面向方面的数字视频监控系统软件质量度量研究与应用

以一个数字视频监控信息系统为基础,分析了面向对象的软件开发方法在横切关注点分离上的缺陷,采用UML对系统进行面向方面建模结合C＆K软件质量度量方法,对基于面向对象开发的软件系统和面向方面架构的软件系统进行了简单的质量度量.结果表明,面向方面的数字视频信息系统在可扩展性、可复用性、降低类之间的耦合度以及增强类的内聚上具有一定优势.     

一种基于面向方面的统一过程软件开发方法

对近年提出的面向方面(aspect oriented)软件开发方法和统一过程软件开发方法分别进行分析后,结合面向方面和统一过程的优势,提出了一种基于面向方面的统一过程软件开发方法.解决了传统软件开发方法中存在的许多问题.     

基于熵的AO程序复杂性度量

AOP(aspect-oriented programming)是一种新的程序设计范式,它能够有效解决横切关注点分离问题.由于AO系统的行为依赖于aspect与类之间的交互,因而定义一种新的、适合于AO的复杂性度量,以更加有效的理解和维护AO程序就很有必要.提出了一种新的复杂性度量,用以评估AO系统中aspect的复杂性.首先定义了aspect的信息流图,用以描述组成aspect的元素之间的交互和aspect与其他程序单元的交互;在此基础上,提出了一种基于信息熵的aspect复杂性度量,它从aspect负载的平均信息量角度量化aspect的复杂性.分析了它的外部行为特性,并使用多个AO项目进行了验证.实验结果表明,该度量反映了aspect的设计度量,能够有效的预测aspect的复杂性.     

一种面向方面的非功能需求建模框架

分析了软件非功能需求与建模的NFR框架与AORE模型,在此基础上对原有的NFR框架进行了修改和扩充,并将其与AORE模型相结合,提出了一种面向方面的非功能需求建模框架AONFR,该框架保持了NFR框架对非功能需求有效的描述与分解,而且利用了面向方面开发方法对非功能需求有效的模块化,从而达到对非功能需求松散耦合的模块化实现.     

应用系统自动生成研究

结构化、面向对象、基于组件等都是比较成熟的程序设计方法.借助这些方法的实现机理以及原型和分层思想以应用领域的业务元数据为依据,自动生成符合规范的程序代码,将推动程序设计方法和程序代码自动生成技术的进一步发展.而以此为基础的软件开发方法可有效地缩短开发时间、降低开发成本以及提高产品质量,解决当前软件工程领域存在的特色问题.     

软件项目计划在面向市场的开发和定制的开发中的各自侧重点

现在的软件产业中主要是面向市场开发和定制开发这两种形式,本文讨论的是在这两种开发形式中制定项目计划时所要各自侧重的要点。为了实现这个目标首先运用一个定量的手段分析在面向市场软件开发和定制软件开发中影响成功的元素;接着运用定性的手段讨论项目计划和项目结果的关系;最后得出为了取得软件项目的成功,在面向市场的开发和定制的开发中,做软件项目计划时各自需要重视和强调的部分。     

Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.