基于元模型的视图层PIM建模方法

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

基于MDA和SOA的建模与设计研究

分析了传统的软件系统开发方法如使用工具和模型框架等适合于建立单个的面向对象或基于组件开发的软件,以及不适合于开发具有柔韧性的分布式企业应用系统的不足之处,针对近几年提出的面向服务的体系构架SOA（Service Oriented Architecture）方法只适合于一些特殊领域的问题,提出了应用模型驱动的开发方法来解决SOA中复杂分布式系统的建模与设计问题,利用模型驱动体系构架MDA（Model Driven Architecture）中平台无关模型（PIM）的特点建立模型,并通过MDA工具自动转换到基于SOA的平台相关模型（PSM）,如Web服务,Jini等平台,从而实现了SOA的简单性、高效性和广泛的应用性。     

模型驱动的EJB构件测试建模研究

基于对Web系统的特点研究，提出了一个全面测试Web系统的框架．并基于模型驱动的软件测试思想（MDT），重点研究了此框架中的中间业务逻辑层的测试建模方法：定义了一个平台相关的测试模型（硎）——EJB构件测试模型；并给出了对它的模型复原算法和模型一致性检测方法．该测试建模方法，从软件构件的层次，实现了EJB静态结构和动态行为的建模，并通过模型一致性检测实现EJB代码的潜在缺陷检查．这一测试模型将为测试用例和测试数据的生成提供有力的支持．     

云计算环境下PIM与PSM的转化机制的研究

针对基于MDA的云计算软件开发平台下,PIM到PSM之间可靠性转化问题,讨论和研究了基于MI）A的云环境软件开发建模过程、PIM与PSM模型存储与接口形式和MDA的PIM可靠准确转换成PSM的转换机制,给出了基于MDA的云环境软件开发建模模型,并对下一步需要研究的关键技术进行了展望．     

UML在管理信息系统设计与实现中的应用

统一建模语言（UML）已成为一种面向对象建模语言的标准,是一种通用的可视化建模语言,基于面向对象观点,对软件进行描述、可视化处理和构造等,它融入了软件工程领域的新思想、新方法和新技术。本文以销售管理信息系统的设计与实现为例,针对面向对象的建模方法,介绍了应用UML建模的方法和流程,探索了基于UML的管理信息系统建模及UML中多种模型图的使用方法和适用范围。     

基于模式的业务构件代码生成方法

在企业管理软件中业务构件可以通过参数化和配置技术被复用以适应业务需求的变化,这种构件粒度大、可变参数多、结构复杂难于开发.为了提高业务构件的开发效率,确保开发正确性,本文提出一种面向大粒度构件,基于模式的构件代码生成方法.从已有应用系统中抽取业务构件的典型软件模式,定义一种支持多种编程语言的模式描述语言,用其构造基于模式的非实例化构件,并采用模型驱动的思想,将对应模式下富含业务语义的构件实现模型转换为目标程序,以实现业务构件的自动生成.在此方法指导下,开发一套可视化建模与代码生成工具组,并利用此工具自动生成了运行在J2EE平台上的采购管理系统中部分业务构件,应用结果验证了本方法的有效性和实用性.     

面向工业互联网的低代码开发平台研究

低代码开发技术因其支持开发人员和业务人员协同进行可视化快速迭代开发,成为企业数字化转型服务提供商构建服务生态的抓手。以工业互联网垂直领域应用的快速开发和落地为场景,进行了面向工业互联网的低代码开发平台的研发探索与应用实践,提出了工业赋能和跨框架组件复用的云化低代码开发平台技术架构,实现了ICT技术和OT技术在面向工业互联网的低代码开发平台的逐步融合,最后探讨了相关挑战和未来发展。     

软件无线电重配置特性及其MDA建模研究

分析了软件无线电移动终端重配置结构特点,并将OMG(Object Management Group)组织的模型驱动(MDA-Model Driven Architecture)建模方法应用于SDR(Software Defined Radio)移动终端设计。设计出具有重配置管理功能的PIM(the Platform Independent Model)和PSM(the Platform Specific Model)模型。PIM采用分布式目标的概念,通过细节抽象的方法,为一个系统或一项应用提供一个完整清晰的框架描述。所建SDR、PIM、PSM模型具有重配置管理和控制功能,且完全独立于硬件平台。通过MDA建模方法在SDR设计应用中的尝试,为多模式移动终端重配置能力的可行性设计提供了新的研究思路。     

基于SystemVerilog的同步FIFO的验证平台搭建

针对于传统验证平台利用Verilog搭建的验证平台效率低,准确度低的局限性,提出了一种基于SystemVerilog系统级语言的验证平台建模方法,可以有效地降低复杂度和设计风险。由于FIFO在大多数工程中利用率极高,也极易出现问题,通过对FIFO模块进行验证平台建模,可以有效地降低设计与验证的时序竞争风险,实现验证平台的复用和验证过程中的自动监测,并且在搭建验证平台的过程中阐述了基本的验证流程,以及结合System Verilog语言介绍了一些基本建模规则和技巧。     

基于OPM的数据链信息处理模型和建模技术研究

链路类型、处理规则和信息要素的不断增加导致数据链信息处理面临逻辑规则复杂、处理功能耦合、标准规范汇聚等特点,涉众形成共识和功能实现一致难。数字孪生技术是分析处理复杂系统不确定性、多样性、复杂性问题的可行方法,应用数字孪生技术构建可视化数字模型有助于涉众形成共识,实现数据链信息处理功能。考虑到SysML语言门槛高、建模周期长、涉众参与反馈难等不足,文中采用建模门槛低、建模速度快,涉众参与反馈容易的OPM方法,以军事信息系统互操作性等级属性为框架设计数据链信息处理模型,用空中遮蔽任务为例进行建模说明和示范,给出了建模质量保证的方法和建议,验证了可视化、可阅读、可运行测试建模技术的有效性。文中提出的模型和建模技术可为数据链互操作性能力提升提供一定技术参考。     

高效无源互调建模仿真中的统计方法

在现代大功率通信干扰问题中,无源器件的非线性杂散干扰机理最为复杂,在现代大功率高密度的通信系统中越来越受到重视。面对无源器件的典型非线性效应之无源互调(PIM)问题,本文从PIM产生机理、建模角度梳理了近年来国内外普遍的PIM建模方法及关键步骤。针对几种典型微观界面等效、PIM数值转换方法以及面向工况条件的微波部件建模问题,总结了现有的可行方法。进一步提出了基于统计方法分析动态PIM区间预测分析方法的思路,该方法同样基于微观统计方法,对接触界面的不可具体量化的界面问题进行建模,最终获得工况条件下接触PIM的统计分布区间及其产物概率,为实际工况条件下微波部件PIM预测提供了一种大样本分析方法,为进一步提高实际微波部件的PIM稳定性提供了参考。     

Model Transformations for Development of Object-Relational Databases

In this work we present an approach for Object-Relational (OR) Database (DB) Development in the framework of MIDAS, a model driven methodology for the development of Web Information Systems. In our proposal, the Platform Independent Model (PIM) is the conceptual data model. Starting from the PIM we obtain the Platform Specific Model (PSM), that is the OR model. Since in both cases the used notation is UML, the proposal includes also the corresponding UML profiles to represent the OR models (one for the SQL:2003 standard and another one for an specific product, Oracle 10g) This paper focuses on the formalization of the PIM to PSM mappings. In this way, we define the model transformations needed to obtain the DB schema (OR model) from the conceptual data model (PIM), first as rules defined in natural language to later express them by means of graph grammars.     

Analysis model of multiple input-queued switches with PIMscheduling algorithm

In this letter, we propose a new analysis model of multiple input-queued switches that use the parallel iterative matching (PIM) scheduling algorithm under i.i.d Bernoulli traffic. Compared to the previous analysis models, our approach incurs very low computational complexity while maintaining good accuracy by employing a simple queueing model. Specifically, we model an input queue of the switch as a synchronous Geom/Geom/1/B queue with a service rate which is directly obtained from a PIM scheduling algorithm. We perform the simulation and verify the accuracy of our model     

An Architecture to Define Graphical Metaphors for Metamodels

Domain-Specific Modeling is advancing with tools such as GME (Generic Modeling Environment) and MetaEdit+ among others. The key feature of these tools is that the modeling ontology is close to the problem so that solutions can be designed or developed in a specific domain, where the analyst or the developer is an expert. MOMENT is a model management platform that permits the definition of domain-specific models following an algebraic approach. In this paper, we present an architecture to integrate MOMENT into an industrial visual modeling environment so that their graphical capabilities can be used to visually define algebraic models. To achieve this goal, we identify the common elements of a visual modeling environment, as well as the associations between them and the formal elements of the MOMENT platform. These associations are stored in the same platform using it as a UML-like repository. An implementation for a specific modeling environment has been developed. This solution is presented by defining a graphical view (a graphical metaphor) for a specific algebraic metamodel through its interfaces.     

微带电路无源互调干扰问题综述

无源互调（PIM）干扰是微波射频电路面临的主要可靠性问题之一,随着微波射频电路小型集成化发展,微带电路无源互调效应研究开始受到工业界和学术界广泛关注。研究微带电路无源互调机理、评估和抑制方法,对于制备小型化、高可靠性微波射频电路具有重要价值。与腔体部件相比,微带电路的非线性往往是分布的,且与基材选择、制造工艺和器件结构等方面都有重要关系,因此研究难度更大。近年来虽然关注微带电路互调的研究越来越多,但依然难以直接指导微带电路的实际设计。基于此,本文系统论述了近年来微带电路无源互调领域的研究情况,包括非线性机理、仿真建模以及测试诊断等方面,为未来更深入地研究微带电路无源互调效应提供参考。     

Analysis of nonblocking ATM switches with multiple input queues

An analytical model for the performance analysis of a multiple input queued asynchronous transfer mode (ATM) switch is presented. The interconnection network of the ATM switch is internally nonblocking and each input port maintains a separate queue of cells for each output port. The switch uses parallel iterative matching (PIM) to find the maximal matching between the input and output ports of the switch. A closed-form solution for the maximum throughput of the switch under saturated conditions is derived. It is found that the maximum throughput of the switch exceeds 99% with just four iterations of the PIM algorithm. Using the tagged input queue approach, an analytical model for evaluating the switch performance under an independent identically distributed Bernoulli traffic with the cell destinations uniformly distributed over all output ports is developed. The switch throughput, mean cell delay, and cell loss probability are computed from the analytical model. The accuracy of the analytical model is verified using simulation     

基于介电非线性机制的微带电路无源互调效应研究

微带电路无源互调产生机制尚无定论并且缺乏可靠的理论预测方法,本文基于等效受控源模型,建立了基于介电非线性机制的微带线无源互调的解析计算模型,同时,通过对比测试聚四氟乙烯玻纤布介质微带线和空气介质微带线的三阶互调规律验证了介质非线性是微带电路无源互调的一种主要非线性来源,并提取了非线性参数.实验结果显示聚四氟乙烯玻纤布介质微带线比空气介质微带线的传输互调高了约20dB,反射互调高了约15dB,表明介质非线性是聚四氟乙烯玻纤布介质微带线互调的主要来源.同时,根据本文建立的微带线互调计算解析模型,提取聚四氟乙烯玻纤布介质基板的三阶非线性相对介电常数.本文研究方法可以进一步用于其它微带电路无源互调规律计算研究.