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

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

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

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

一个面向对象的集成多视图建模方法

针对现有CIMS建模方法中不同视图模型之间的一致性等问题,提出了一个面向对象的集成多视图建模方法－－O2IDEF．O2IDEF方法从功能、信息、动态3个视图来建立系统的模型;以功能模型为基础,进行必要的添加、分析和提取,从而生成系统的动态模型和信息模型,实现了多视图模型之间的融合,克服了单视图建模的弊端。     

构件式体系结构模型转换的语义一致性

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。     

基于暂存池机制的集成化企业建模方法

通过暂存池机制实现视图模型间的关联与约束,建立一种以过程模型为核心、支持分领域建模、提供丰富参考模型的动态分布式协同建模方法,保证了集成化企业模型数据和语义的一致性和完备性．     

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

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

基于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（结构化查询语言）的元数据转换.     

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

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

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

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

融合知识图谱的医疗领域命名实体识别

为了改善通用预训练模型不适应医疗领域的命名实体识别任务这一不足,提出了一种融合医疗领域知识图谱的神经网络架构,该架构利用弹性位置和遮盖矩阵使预训练模型计算自注意力时避免语义混淆和语义干扰,在微调时使用多任务学习的思想,利用回忆学习的优化算法使预训练模型均衡通用语义表达和目标任务的学习,最终得到更为高效的向量表示并进行标签预测。实验结果表明：本文提出的命名实体识别架构在医疗领域上取得了优于主流预训练模型的效果,在通用领域也有较为良好的效果。该架构避免了重新训练针对某个领域的预训练模型和引入额外的编码结构从而精简了计算代价和模型大小。此外,通过消融实验对比,医疗领域对于知识图谱的依赖程度较通用领域依赖程度更大,这说明在医疗领域中融合知识图谱方法的有效性。通过参数分析,证明本文使用回忆学习的优化算法可以有效控制模型参数的更新,使模型可以保留更多的通用语义信息并得到更符合语义的向量表达。本文也通过实验分析说明了所提方法在实体数量少的种类上具有更优的表现。     

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

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

基于UML的实用软件体系结构描述方法的应用研究

提出一种基于统一建模语言（Unified Modeling Language,简称UML）的实用软件体系结构描述方法,将软件体系结构设计、描述和表示与软件系统建模有机结合在一起,并以异构网络平台的数据集成中间件（Data Integration Middleware,简称DI）开发为例,通过使用大量UML构造型对软件体系结构的多个视图模型进行规范化描述,使开发者在此基础上可以容易地进行DI的详细设计和编码,也为以后DI功能的变化和体系结构设计的重用提供了良好的支持.     

一种基于域的递增式策略部署模型

在介绍策略、域和策略目标等基本概念的基础上,提出了一个通用性的策略部署模型,该模型采用基于域的分层结构,把策略存储在离策略目标最近的域中,并以递增式算法进行收敛变化。模型独立于具体的策略底层实现机制,并可在混合策略环境中使用,具有良好的多适性。     

语义网格上面向服务的建模研究

探讨了语义网格上的一个面向服务的模型,模型中每一个网格服务均表示为一个含有领域知识的Web服务,详细介绍了语义网格的分层架构、软件架构和能把传统代码包装为一个语义网格服务的包装器WSOWG的工作流程.     

基于多级重用的领域构件库技术的研究

旨在针对当前软件系统所面临的由软件危机和各种变化所带来的主要挑战给出合适的解决方案,为此提出了将面向对象的软件重用开发方法作为领域工程中软件系统的设计思想和方法.接着提出了适用于构建领域构件库的面向对象的软件重用瀑布模型(OO-SRWM),并对其内涵、体系结构、所涉及的关键技术等进行了详细和深入的讨论.最后,探讨了一种用于域工程和应用工程软件系统开发的多级重用设计方式.通过基于多级重用的面向对象的软件重用瀑布模型开发的领域构件库具有类继承度高、类耦合度低、类封装性高、类多态性低等特点;构件的方法重用效率和类重用效率均比较高.OO-SRWM为构建域工程中领域构件库提供了一种较为系统化、规范化和实用化的软件开发模式.多级重用为快速构建完整的领域构件库和重构应用系统提供了技术上的保证.     

基于UML的信息系统软件体系结构描述

对软件体系结构理论在实践中的应用进行了深入研究,提出了一种基于UML的多视图模型,分别从系统逻辑视图,数据视图,行为视图和物理视图四个方面对信息系统的软件体系结构加以描述。并将这种方法实际用于丹东市警务信息综合应用平台中的核心模块——地址信息管理模块的开发过程中,实践证明该方法具有可用性和易用性。