下一代网络中融合业务的描述与生成方法研究

现有的电信业务提供方式无法满足NGN（下一代网络） 融合业务生成的需要，为了解决这个问题，在深入探索MDA（模型驱动架构）软件开发方法 后，提出了将MDA引入到业务创建中，以支持业务建模和模型的细化. 此外，重点论证了MDA 方法中的一个重要方面——UML（统一建模语言）对业务模型准确、全面描述的能力.     

基于规则库的电信业务UML活动图验证机制

在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制。通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制得可扩展性和灵活性。模型验证软件通过在模型驱动架构（MDA）业务平台中的测试证明了该验证机制的正确性和高效性。     

DSL方法实现FMP-PIM到MVC-PSM的转换

DSL方法是改进软件开发（重用性，可维护性等）的有效途径．使用MTrans-DSL形式化描述模型驱动构架（MDA）中模型的转换规则，实现平台无关模型到特定平台模型的转换．以JavaServer Faces作为目标平台，通过具体的应用实例验证了该方法的可行性和易用性．DSL方法体现了模型驱动开发的特点，提升了转换规则的抽象层次．     

基于元模型的视图层PIM建模方法研究与实现

模型驱动架构（model driven architecture,MDA）的核心思想是将建模语言当作开发语言使用,基于UML的平台无关模型（platform independent model,PIM）建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差．针对此问题,研究了基于元模型的视图层PIM建模方法,给出视图层PIM模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于EMOF（essential meta objectfacility）对UML建模语言进行扩展,使其对上述两种模型提供语义上和表示法的支持;最后,基于EclipseGMF框架开发了视图层PIM辅助设计工具GMTP．     

基于特征领域模型的精确建模过程研究

平台无关模型是模型驱动架构（MDA）中关键模型之一，它的精确性直接关系到待发系统的质量。在介绍MDA的开发过程中模型的划分后，建立基于特征的领域模型，引入决策模型，提出了一种平台无关模型的精确建模过程。     

模型驱动的3G业务生成方法

分析了现有第3代移动通信(3G)业务生成方法的缺陷,采用模型驱动架构（MDA）的视点分离思路,提出了1种模型驱动的3G业务自动化生成方法,重点研究了针对电信领域的业务需求分析方法和电信业务相关的领域元模型的构建思路. 该方法提供的是1种“业务功能模型与具体接口技术,实现技术分离、领域模型共享”的新的电信业务开发模式,从而提升了3G业务开发的抽象层次,降低了技术难度,缩短了业务的开发周期;同时增强了业务功能模型在不同接口技术和实现平台之间的可移植性,降低了业务的开发和维护费用.     

模型驱动的电信业务元模型研究

把模型驱动架构(MDA)引入到电信领域,介绍了基于MDA的电信业务开发方法的整体策略,着重分析并论述了该策略的关键点之一——建立电信业务元模型的2种途径,即重量级扩展MOF（元对象设施）和轻量级扩展UML Profile. 提出了使用UML Profile机制创建元模型的方法及实现步骤,并以消息类业务为例说明了建立电信业务元模型的过程.     

基于SACRED元模型的模型驱动体系结构工具

模型驱动的体系结构（MDA）开发方法是以模型作为软件开发的主线，基于统一建模语言（UML）创建的模型不能很好地起到衔接用户需求和代码的桥梁作用，而且模型中存在不同的视角.在元对象设施（MOF）的基础上，定义了SACRED元模型，使用主题和映射来解决基于UML建模的缺陷.主题的引入为用户需求到模型增加了新的转换桥梁，采用映射方式实现了平台无关模型（PIM）到平台相关模型（PSM）的转化，使得模型不需要关注系统细节，降低了元模型的复杂度.阐述了基于SACRED元模型的开发过程，并研制了一个基于SACRED元模型的MDA工具PureX.通过一个实例说明了该元模型以及软件开发过程的有效性.与UML相比，该模型具有建模元素简单、不同阶段、不同角色模型一致、支持双向开发、便于模型复用等优点.     

基于MDA的数据仓库抽取元数据交换规则

参照模型驱动构架（MDA）的思想，为各类数据仓库工具元模型，建立符合CWM（公共仓库元模型）规范的平台无关模型映射规则，以便在统一的规范上自由交换元数据. 以Informatica公司的Powermart抽取工具为例，建立PSM（平台相关模型）元模型，以CWM作为平台无关的PIM（平台无关模型）元模型，用OCL（对象约束语言）描述PSM与PIM之间的映射规则，实现了Powermart的DTD（文档类型定义）到CWM SQL（结构化查询语言）的元数据转换.     

基于MDA的数据仓库抽取元数据交换规则

参照模型驱动构架（MDA）的思想，为各类数据仓库工具元模型，建立符合CWM（公共仓库元模型）规范的平台无关模型映射规则，以便在统一的规范上自由交换元数据. 以Informatica公司的Powermart抽取工具为例，建立PSM（平台相关模型）元模型，以CWM作为平台无关的PIM（平台无关模型）元模型，用OCL（对象约束语言）描述PSM与PIM之间的映射规则，实现了Powermart的DTD（文档类型定义）到CWM SQL（结构化查询语言）的元数据转换.     

太阳能集热器驱动的吸收式制冷系统性能分析

为了合理利用太阳能,增强制冷系统的季节适应性,提出一种中温太阳能驱动的氨水吸收式制冷系统。以抛物面槽式太阳能集热器(parabolic trough solar collector, PTSC)驱动的氨水单效吸收式制冷系统为对象,根据热力学定律和能量平衡方程,在工程求解器(engineering equation solver, EES)下,分别建立太阳能集热器模型和制冷系统模型,并对系统的关键参数进行计算。从制冷量、精馏热和系统能效比(COP)三方面分析了系统高压、系统低压、蒸发器出口温度和精馏器出口质量分数对系统的影响。结果表明:制冷量随系统低压的升高而降低;精馏热及COP随系统低压的升高而增加;蒸发器的出口温度升高时,制冷量和COP均有增加;当精馏器出口氨的质量分数为0.977~0.999, COP在氨水质量分数为0.992时出现最大值。研究结果为太阳能驱动单级吸收式制冷循环的可行性提供了理论依据。     

一种模型驱动的Web应用系统开发方法

为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持。     

一种新的T-S模型混合辨识算法

提出一种新型混合辨识算法HIA,以解决传统T-S模型辨识方法中所存在的不完全优化问题,如FCM与最小二乘法相结合的辨识方法就存在这样的问题.HIA通过将FCM、和声搜索算法以及最小二乘法相结合,并引入了误差反馈机制,以实现对所有参数的整体优化,并避免陷入局部极小点.论文将HIA应用到陀螺稳定平台的T-S模型辨识中,通过...     

Enterprise modeling method of calculation-independent model level

Aimed at deficiencies in the development and implementation of Enterprise Service Architecture (ESA) software,an ESA software developing mode based on Model Driven Architecture (MDA) is put forward.This mode includes a calculation-independent model (CIM),a platform-independent model (PIM),a platform-specific model (PSM) and a code level.Based on this mode,the modeling architecture of CIM level is presented.CIM here includes a global model,a process model,an information model and an organization model.The modeling elements of global model,process meta-model,information meta-model and organization meta-model are defined in detail and the relationship between them is described.The reflecting relationship between these models is established as well.     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.