导读:本文包含了模型驱动体系结构论文开题报告文献综述、选题提纲参考文献,主要关键词:体系结构,模型,武器装备,物理,体系,系统,数据流。
模型驱动体系结构论文文献综述写法
陆法,孙文虎,贾鹏[1](2017)在《基于SysML的模型驱动武器装备体系结构设计与分析》一文中研究指出随着武器装备体系规模、复杂度的不断膨胀,模型驱动的体系结构设计方法成为解决复杂系统开发的研究热点。选择SysML(Systems Modeling Language)作为建模语言,提出了一种由叁个基本步骤(能力需求分析、黑盒分析和白盒分析)组成的模型驱动体系设计方法,探索了SysML在体系层面建模的应用,并针对当前SysML建模工具在仿真可视化与系统分析等能力上的不足,将建模工具与仿真分析工具进行集成,共同完成武器装备体系结构的设计与仿真分析。(本文来源于《指挥控制与仿真》期刊2017年01期)
张行知[2](2016)在《模型驱动体系结构研究》一文中研究指出模型驱动体系结构(MDA)是一种广泛用于多种学科领域的系统设计方法,能有效提高设计效率,解决了面向对象设计过程中模型设计与代码实现不符的问题。通过对文献的研究,分析了MDA关键技术的发展现状,并展望MDA在未来发展趋势。(本文来源于《信息通信》期刊2016年05期)
李龙[3](2015)在《模型驱动的武器装备体系结构设计》一文中研究指出针对现有体系结构设计尚未完全体现模型驱动的设计理念,体系层和系统层结构设计不能平滑过渡,体系结构设计迭代中模型数据关系不清晰等问题,提出了一种基于面向对象、模型驱动的武器装备体系结构设计方法。该方法由能力需求分析、黑盒分析和白盒分析3个基本步骤组成,应用了Do DAF(Department of Defense Architecture Framework)建模框架,采用Sys ML(System Modeling Language)作为建模语言。最后,通过新型装甲装备作战体系结构设计实例验证了其可行性。(本文来源于《装甲兵工程学院学报》期刊2015年06期)
杨克巍,刘灿,熊健,姜江,谭跃进[4](2014)在《模型驱动的体系级任务结构矩阵设计及优化方法》一文中研究指出载人航天工程,南水北调工程,高铁网络,商用大飞机工程等国家重大专项工程,都具有规模大,周期长,建设与运营(行)并举,涉及部门众多,不确定性强,风险控制困难等显着特点,按照系统工程方法指导进行项目的全寿命周期管理是一项必备的技术工程方法,也为各个项目的顺利推进提供了有效的工程技术保障。传统系统工程以文档为中心的工作与管理方法,其设计过程从"概念开发","需求分析","功能分解","系统设计"直至项目实施、完成等全过程中会产生大量的各阶段相关"模型","数据","记要"等,大部分存在于文档中,以文件或文本方式保存与管理。随着各类重大工程研制与建设任务的日益庞大及业务关系的复杂性不断提升,重大项目实施过程中高新技术的不断涌现与采用,造成项目的大总体管理部门对于整个项目的任务把控和设计难度大幅增加,技术状态倍增,文档内容与数量空前增加,文档间技术状态一致性难以保证等系列问题,如某总体需求某项指标发生变更,需要涉及到各分系统相关总体设计方案的变更,相关乘载部件结构功能的变更、材料、工艺等方面的变更,牵涉的单位、企业数百家。(本文来源于《中国系统工程学会第十八届学术年会论文集——A05系统工程理论应用与创新》期刊2014-10-24)
夏晓凯,吴际,徐络,赵开鹏,刘超[5](2013)在《模型驱动的系统体系结构仿真验证研究》一文中研究指出在综合电子信息系统(command,control,communication,computer,intelligence,surveillance and reconnaissance,C4ISR)和航天维修等复杂系统建设前,对系统的体系结构进行仿真和验证是降低系统后期开发成本和风险的有效方法。提出了基于系统体系结构中的活动模型、规则模型、动态模型和数据模型等向统一的Simulink仿真模型的映射方法,并基于模型驱动架构中的模型转换技术实现了前者向后者的自动转换,不仅能够提高仿真模型构造的效率,还能保证仿真模型和体系结构模型的一致性。哈勃太空望远镜维修系统的体系结构仿真验证案例说明了方法不仅能够验证系统体系结构模型之间的逻辑一致性,还能够对系统体系结构的性能进行有效预评估。(本文来源于《系统工程与电子技术》期刊2013年11期)
谢开斌,陈海明,崔莉[6](2013)在《PMDA:一种物理模型驱动的物联网软件体系结构》一文中研究指出实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型、感执模型和应用模型.模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件.通过体系结构描述语言Wright对PMDA中的3个模型的组成以及模型之间的交互进行了形式化描述.通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这3个影响物理应用有效互联的性质.基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形.(本文来源于《计算机研究与发展》期刊2013年06期)
沈来信,杨帆,王伟[7](2013)在《基于应用驱动的异构体系结构模型》一文中研究指出科学计算应用问题在计算模型、处理过程以及对处理器、存储器和通信的要求方面存在巨大的差异。同一种结构难以适应差异巨大的应用,造成效率低下。解决途径在于可变的体系结构,让体系结构去适应不同的应用,而不是让应用去适应单一的体系结构。不同的应用决定了不同的应用程序结构,对于不同的应用程序结构,采用最适合的体系结构去匹配,实现应用决定体系结构的模型。结果表明,基于应用驱动的异构体系结构异构模型能够达到使运算高效率、低能耗的目的。最后给出了从不同应用得到最适应体系结构的方法。(本文来源于《清华大学学报(自然科学版)》期刊2013年02期)
谢仲文[8](2012)在《一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法》一文中研究指出随着软件工程学科的不断深入和发展,软件演化的重要性和普适性越来越强。软件演化是指软件进行变化并达到人们所希望的形态的过程,分为静态演化和动态演化两种类型,本文重点关注软件动态演化。目前,动态演化是学术界的一个研究热点,同时也是一个研究难点。一方面,软件动态演化已成为软件生存周期中重要的形态之一,成为了今天软件工程研究的关键领域;另一方面,关于软件动态演化的研究,依然面临着诸多的挑战和困难。正因如此,针对软件动态演化所面临的挑战,研究如何提高软件系统的动态演化性,进而提高软件动态演化实施的可靠性,具有重要的理论和现实意义。本文认为,动态演化所面临的挑战并非可以孤立地从一个角度去寻求解决问题的方案,而是需要从软件的整个生命周期着手,需要在软件工程过程的几个重要阶段对软件动态演化提供支持。因此,本文致力于建立一种系统性的应对软件动态演化的建模理论,该理论以软件需求模型为驱动,以体系结构模型为视图,以行为管程机制为支撑,以解决动态演化面临的关键挑战为导向,以形式化方法为基本手段。为了达到这个目的,论文主要工作如下:第一,设计了面向动态演化的需求元模型。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。第二,提出了将需求模型规范化的方法。通过分而治之的策略,分别对行为特征模型和属性特征模型进行规范化。对于行为特征模型的规范化,通过设计行为特征的特征项规范形,证明可以通过公理系统将满足行为特征规范化建模规则的行为特征转化为规范形;在此基础上,讨论了属性特征模型的参照完整性、依赖一致性和互斥一致性,并进一步把属性特征模型规范化为第一范式到第四范式。第叁,设计了面向动态演化的体系结构元模型。该元模型包括两个视图:静态视图和动态视图。其中,静态视图描述了软件系统的静态结构,其基本部件包括构件和连接件:构件是一个扩展的Petri网的网结构;连接件包含叁种基本的连接方式:库所融合、变迁融合和弧添加。动态视图建立在静态视图的基础上,由静态视图的网结构加上标识构成的网系统来描述体系结构的动态行为。第四,提出了将需求模型变换为软件体系结构模型的方法。首先,提出了以行为等价为准则的模型变换依据;其次,提出将需求模型中的基本部件变换成为体系结构模型中对应的部件的规则;再次,提出将需求模型中的组合部件变换成为体系结构模型中对应的部件的规则;最后,分析了变换得到的软件体系结构模型的结构性质要求。第五,提出了面向动态演化的行为管程机制。首先给出行为管程的概念,在此基础上,讨论了行为管程的管理、监控和演化叁个方面的职能:在管理职能方面,从托肯管理、库所管理和变迁管理叁个方面进行阐述;在监控职能方面,包含构件管理态的监视、托肯目标可达性的监视,以及对库所和变迁互斥的控制;演化职能方面,给出驱动构件进入静止态和活动态的算法,以及连接件和构件的添加、删除算法。第六,提出了基于行为管程机制的构件相关性分析方法。首先分析构件之间的结构相关性,进一步,结构相关性又分为基本结构相关性和复合结构相关性;然后,在结构相关性分析的基础上,对行为相关性的部分传递性进行处理;最后,基于行为管程机制,设计了封闭系统和开放系统的构件行为相关性分析算法。第七,提出了构件动态演化实施中的一致性保持标准。首先讨论了构件的状态迁移方法;接着,讨论构件的行为空间和行为图,作为构件之间的行为一致性保持的理论基础;然后,基于行为图,参照进程代数理论中的强模拟关系和弱模拟关系,提出并证明了构件动态演化实施的一致性保持标准。综上所述,本文的工作为软件系统动态演化的实施奠定了坚实的基础,将对提高软件动态演化的效率和质量、降低其成本和时间起到积极的作用。(本文来源于《云南大学》期刊2012-05-01)
徐光,安虹,许牧,刘谷,姚平[9](2010)在《一种类数据流驱动的分片式流处理器体系结构及其编程模型》一文中研究指出考虑到半导体工艺发展带来的线延迟问题,分布式、分片式的处理器结构变得很有吸引力.在传统流处理器中,流控制器发射的控制信号在传递时存在长线延迟问题.传统流处理器的运算簇由众多的功能部件组成,由于运算簇间的通信是集中控制的,运算簇间通信网络的线延迟可扩展性差.提出了一种分片式流处理器(TPA-PD)体系结构,它采用分布式的网络连接分片式的部件,避免了控制信号在传递过程中出现的长线延迟问题.在kernel级,TPA-PD使用类数据流的执行模型即显式数据流图执行,将指令间的依赖关系在指令中静态编码,把传统流处理器中运算簇间的集中通信变为动态发射、分布式的通信,利于结构扩展.解释了新的执行模型、指令集以及将流编程模型映射到新结构上.在时钟精确的模拟器上,实验分析了影响kernel级执行时间的软硬件因素,TPA-PD比传统流处理器在8个benchmark中平均获得了20%的加速比.(本文来源于《计算机研究与发展》期刊2010年09期)
李博洋[10](2010)在《基于模型驱动体系结构的协同项目管理系统研究与开发》一文中研究指出伴随着信息全球化的发展,企业间能否组建成虚拟企业联盟,以此对瞬息万变的需求做出快速的响应,成为现代企业在竞争中成功与否的关键。与此同时,协同项目管理系统正在成为企业信息技术应用的热点,协同项目管理与传统的项目管理不同,它强调在一个虚拟环境中企业间的信息共享和协调,能够通过及时的开发和共同生产提高企业的应变性、实时性。针对协同项目管理系统的多阶段、多企业参与、多业务流程,可重构、可扩展等特点,应用MDA(Model Driven Architecture,模型驱动体系结构)这一新型的软件开发方法,运用这一新方法对系统的研究,可以使企业内部的业务流程和模型转换过程更加简洁清晰便捷。本文结合协同项目和项目管理的相关知识分析协同项目管理系统平台的特征,并对项目管理中的只是针对单个企业进行项目的计划和控制,缺乏协同性和层次性的问题进行分析。继而提出类图元模型和协同企业元模型,并以此运用MDA技术平台下的叁层架构进行轻量级的模型转换,对相关的模型转换规则和流程进行详细的描述和说明,这种模型转换过程应用于协同项目管理系统当中,对解决企业联盟中企业之间的目标性、时效性、分布性和紧密协作提供了较好的改进方案。通过这些理论研究、数据模型的创建,基于面向对象开发过程,设计和实现了浏览器/服务器(Browser/Server, B/S)结构的基于MDA协同项目管理原型系统。(本文来源于《哈尔滨理工大学》期刊2010-03-01)
模型驱动体系结构论文开题报告范文
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
模型驱动体系结构(MDA)是一种广泛用于多种学科领域的系统设计方法,能有效提高设计效率,解决了面向对象设计过程中模型设计与代码实现不符的问题。通过对文献的研究,分析了MDA关键技术的发展现状,并展望MDA在未来发展趋势。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模型驱动体系结构论文参考文献
[1].陆法,孙文虎,贾鹏.基于SysML的模型驱动武器装备体系结构设计与分析[J].指挥控制与仿真.2017
[2].张行知.模型驱动体系结构研究[J].信息通信.2016
[3].李龙.模型驱动的武器装备体系结构设计[J].装甲兵工程学院学报.2015
[4].杨克巍,刘灿,熊健,姜江,谭跃进.模型驱动的体系级任务结构矩阵设计及优化方法[C].中国系统工程学会第十八届学术年会论文集——A05系统工程理论应用与创新.2014
[5].夏晓凯,吴际,徐络,赵开鹏,刘超.模型驱动的系统体系结构仿真验证研究[J].系统工程与电子技术.2013
[6].谢开斌,陈海明,崔莉.PMDA:一种物理模型驱动的物联网软件体系结构[J].计算机研究与发展.2013
[7].沈来信,杨帆,王伟.基于应用驱动的异构体系结构模型[J].清华大学学报(自然科学版).2013
[8].谢仲文.一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法[D].云南大学.2012
[9].徐光,安虹,许牧,刘谷,姚平.一种类数据流驱动的分片式流处理器体系结构及其编程模型[J].计算机研究与发展.2010
[10].李博洋.基于模型驱动体系结构的协同项目管理系统研究与开发[D].哈尔滨理工大学.2010