一种基于角色的MDA模型转换方法

模型转换是MDA（Model Driven Architecture）中的关键技术，正成为一个新的研究热点．提出一种基于角色的模型转换方法，通过角色的分配和组合，灵活、自然地实现模型的转换．给出了其转换规则及形式化描述方法，介绍了该方法在Web应用程序建模中的应用．使用这些转换规则及形式化描述方法可以清晰地描述角色问的约束关系，有助于设计者实现角色的分配及组合．该方法特别适用于基于模式的软件开发．     

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

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

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

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

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

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

一种新的开关磁阻电动机非线性模型

开关磁阻电动机（ＳＲＭ）的双凸极结构使其电磁特性呈高饱和性和高度非线性．对ＳＲＭ进行分析、设计与驱动控制，必须深入研究ＳＲＭ的磁化特性曲线ψ（θ，ｉ）．本文在对ＳＲＭ电磁特性及磁化特性曲线的特点深入分析的基础上，提出了一种新的ＳＲＭ磁化曲线模型，该模型既有令人满意的工程精度，又具有计算速度快的特点．     

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

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

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture，MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要，但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V），目前的研究比较少。为此，尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质，检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时，采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统，并通过实例验证了其有效性。     

一类组合预测模型及其应用

基于GM（1，1）模型、GM（2，1）模型和ARMA模型，建立了一类组合预测模型，通过实例分析取得了好的效果。     

MDA开发中的模型一致性检验

为了实现不同中间件平台之间的集成和互操作，OMG提出了一个标准的基于模型的体系结构——MDA，该结构将应用模型分为平台无关模型（PIN）和平台相关模型（PSM），通过融合UML用例图、类图、序列图，得到了需求模型和设计模型，给出了类图和序列图的形式化语义，以及模型间的协调性条件，并在此基础上进行一致性检测，为模型驱动的开发提供了基础．     

灰色GM(1,1)模型在电力系统负荷预测中的应用

研究了灰色GM（1，1）模型及其在电力系统负荷预测中的应用，以实际算例为基础，对预测结果作了分析，得出结论：灰色GM（1，1）模型精度较高，但也存在一定的局限性．     

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

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

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

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

一种支持MDA的基于EDM的软件开发方式

将传统的软件开发方式与基于模型驱动架构(MDA)的开发方式进行了对比,阐述了实体数据模型(EDM)的特点及其出现的原因,介绍了Visual Studio中现有的使用EDM进行软件系统开发的方式,分析了其存在的不足,提出了一种新的基于MDA的开发方式,这种开发方式使EDM作为概念模型的作用得到了增强,并通过一个网上销售系统的实例对其进行了演示。     

SmartC模型与代码一致性双向生成方法及开发平台

为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC PLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartC PLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartC PLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性.     

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

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

基于分层递增验证的可信管理软件构造方法

为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方 法,提出了一种可信管理软件的模型驱动构造参考方法．通过分析国内外的研究现状,明确界定了管理软件 可信性概念,给出可信性判定问题描述．结果表明该方法以ICEMDA各层次上的构造体为中心,逐层进行可 信模型描述、可信指标度量、可信性判定与优化,借助ICEMDA的模型语义保持技术实现各层间可信性的保 持与传递,并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制     

基于IEEE1588协议的高精度网络时钟同步软件设计

在分析IEEE 1588原理以及影响同步精度因素的基础上,设计了基于Windows平台的时间同步方法,为分布式网络系统的时钟精确同步提供了一种有效可行的解决办法。目前,Windows平台下直接在应用层获取的时间戳精度在10 ms级左右,系统的同步精度为ms级。针对Windows平台下获取更高精度1588时间戳的困难,设计了基于SharpPcap的时间戳处理模块,得到高精度的数据链路层时间戳,从而提高了应用层的时间戳精度。实验结果表明,采用该方法系统主从时钟的同步精度达到亚ms级,满足电力系统中同步精度在ms级以内的时钟同步需求。     

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

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

面向区域行业联盟的网络化数码纺织平台

为提高纺织区域联盟的信息化程度，设计了一种面向纺织区域行业联盟的网络化数码纺织平台结构.基于应用服务提供商(ASP)概念，采用用户个性化定制的设计思想，结合高端应用服务与传统信息软件构建了该平台.分析了平台物理结构、逻辑结构、应用服务划分结构及用户工作流程，阐述了Web环境下的多层次客户关系管理(CRM)模型技术，并描述了基于Web服务的图形化协同设计CAD系统.应用结果表明，该平台可高效便捷地增加与维护纺织软件，并取得用户个性化定制与产品设计、销售的统一.