检索结果-内蒙古大学图书馆

作者：李孝军杭州电子科技大学

学位级别：硕士

自计算机诞生以来,软件开发经历了从机器语言、汇编语言到高级语言的发展过程,抽象层次越来越高,开发人员也越来越多地关注问题本身而不再是一些技术上的实现细节。针对软件开发的发展趋势,对象管理组织提出了模型驱动架构,为解决各种... 详细信息

自计算机诞生以来,软件开发经历了从机器语言、汇编语言到高级语言的发展过程,抽象层次越来越高,开发人员也越来越多地关注问题本身而不再是一些技术上的实现细节。针对软件开发的发展趋势,对象管理组织提出了模型驱动架构,为解决各种互不兼容平台和中间件技术在系统集成和互操作方面存在的不足提供了新思路,开辟了软件开发模式由以代码为中心向以模型为中心转变的新时期。然而MDA作为一种通用的软件开发标准,缺乏对特定领域开发支持,为此模型集成运算理论开始被提出。该理论提出至今获得了普遍重视,并且不断完善深化,成为国外研究热点。模型集成计算专注于建模过程中模型的表示、组成、分析和控制,他贯穿于系统开发的整个生命周期,包括规范,设计,开发,验证,集成和维护。通过建模语言的语法抽象领域内的共性和不变性,利用模型定制来实现领域应用的多样化。模型集成计算理论在面向领域系统开发方面具有良好的应用前景。本文在深入研究模型集成计算理论的基础上,通过与模型驱动架构,面向领域开发的比较,突出模型集成计算理论在特定领域开发的巨大优势。重点研究基于模型集成计算理论领域系统开发过程,通用建模环境等开发工具,设计模型验证方法和代码生成系统,为模型验证提供可行方法,最后通过实例验证基于MIC系统开发整个过程。

关键词：模型集成计算模型驱动架构 Petri网代码生成

来源：评论

学校读者我要写书评

暂无评论

基于模型集成计算的代码解释器的研究

基于模型集成计算的代码解释器的研究

引用

作者：周礼杭州电子科技大学

学位级别：硕士

随着信息技术的发展，人们对软件的需求越来越大，质量要求越来越高，因此缩短软件生产周期和提高软件正确性已经成为了软件开发者迫切需要解决的问题。为了寻求软件开发方法上的突破，以模型为驱动的软件开发理念被提出，该理念为解决... 详细信息

随着信息技术的发展，人们对软件的需求越来越大，质量要求越来越高，因此缩短软件生产周期和提高软件正确性已经成为了软件开发者迫切需要解决的问题。为了寻求软件开发方法上的突破，以模型为驱动的软件开发理念被提出，该理念为解决软件危机提供了新思路，开辟了软件开发模式由传统的以代码为中心向以模型为中心转变的新时期。\n 模型集成计算专注于模型的表示、组成、分析和控制，模型贯穿于系统开发的整个生命周期，是实现系统的设计、开发、验证、集成和维护的核心。模型集成计算通过建模语言的语法来抽象领域内的共性和不变性，领域应用的多样化则由模型的定制来实现。经过多年的发展，模型集成计算已经在系统开发中体现了自身的优势，在面向领域的系统开发中具有良好的应用前景。\n 本文在深入研究基于模型集成计算理论的开发过程的基础上，提出了一种基于领域模型的代码解释器的设计方法。代码解释器的输入是领域模型，生成中间产物PIM，然后结合模板文件和配置文件，最后生成源代码。\n 本文采用通用建模环境作为开发工具，构建了叫号系统的元模型和领域模型，设计了基于叫号系统领域的代码解释器，最后应用代码解释器实现了叫号系统的代码自动生成。最后通过修改领域模型，再次启动代码解释器自动生成了修改后的系统，验证了基于模型集成计算理论的系统开发过程。

关键词：模型集成计算领域模型代码解释器软件开发代码自动生成

来源：评论

学校读者我要写书评

暂无评论

基于模型集成计算的领域模型转换研究与应用

基于模型集成计算的领域模型转换研究与应用

引用

作者：刘文宁杭州电子科技大学

学位级别：硕士

当前，模型驱动开发方法已经越来越受到软件开发者的关注，特别是面向领域建模的研究，已经成为了以模型为中心的软件开发方法研究的重要内容之一。模型集成计算理论是以模型为主的软件开发新方法，它提供了一个非常灵活的多层次多视角... 详细信息

当前，模型驱动开发方法已经越来越受到软件开发者的关注，特别是面向领域建模的研究，已经成为了以模型为中心的软件开发方法研究的重要内容之一。模型集成计算理论是以模型为主的软件开发新方法，它提供了一个非常灵活的多层次多视角的建模框架，除了传统建模开发方法的特点之外，它在嵌入式软件开发中有着自己的特点，模型位于系统完整生命周期的中心，而不仅仅只是在它们的开发过程中存在，还涉及到模型的分析、验证、集成和维护。其中模型到模型的转换非常重要，它不采用模型驱动架构方法的多步转换，而是在不同的开发层次中都用不同的模型进行表示，以便这些模型能够在各种分析、验证和仿真工具中进行使用。模型集成计算方法通过在模型层对目标领域的许多重要特性(如实时性、可靠性等)进行统一分析和验证，从而在很大程度上降低了系统开发的风险。通过统一的领域元模型使系统能够根据环境的变化进行方便地扩展和维护。\n 本文首先，阐述了模型集成计算这一新的软件开发理论的应用，为后面的模型转换方法和基于模型驱动软件开发奠定了理论基础。深入讨论了模型集成计算方法的模型建模框架，并在此基础上对基于本体的模型规则进行了相关研究。\n 然后，提出了一种利用模型集成计算的模型解释开发方法，它的好处在于开发者具有在更高层的抽象分析能力，具有分析和设计一个复杂系统的能力，并且可以构建扩展接口，方便设计模型解释程序。使用模型生成器即模型转换器把这些模型转化成基本代码，配置文件和文档验证信息。在模型集成计算理论框架下，提出了在嵌入式操作系统配置模型中的领域元模型，对系统进行了部件划分和部件属性的划分，对嵌入式操作系统中所需要的配置模型进了抽象，为下一步的领域模型的建立奠定了基础。\n 最后，创建了嵌入式操作系统配置模型中的领域模型和模型解释程序，根据元模型对领域模型进行分析、设计和转换，进行了这些方面的实验研究，并生成相关的配置文件，实现模型的转换，说明使用模型驱动软件开发的可行性，充分表现模型集成计算方法的便利和优点。\n 本文所研究的嵌入式操作系统配置模型的开发框架、建模语言以及开发环境是模型集成计算理论在操作系统领域的一个尝试。

关键词：模型集成计算模型驱动开发软件开发领域模型转换可靠性嵌入式操作系统

来源：评论

学校读者我要写书评

暂无评论

基于SMP2的复杂系统生成式仿真建模方法

引用

系统工程理论与实践 2012年第5期32卷 1107-1117页

作者：雷永林李小波李群王维平国防科技大学信息系统与管理学院长沙410073

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法.将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类,分析指出生成式建模方法具有较之其它方法的独特优势,有望解决复杂系统仿... 详细信息

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法.将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类,分析指出生成式建模方法具有较之其它方法的独特优势,有望解决复杂系统仿真建模面临的问题.研究了当前仿真领域应用的各类生成式建模方法存在的不足.提出了以仿真模型可移植性标准(SMP2)为基础,综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范,构建复杂系统生成式仿真建模方法的研究思路.分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题.设计了生成式仿真建模一体化支撑环境的体系结构,介绍了其中已经完成的工作和下一步的重点.

关键词：复杂系统仿真生成式仿真建模仿真模型可移植性标准模型驱动架构模型集成计算

来源：评论

学校读者我要写书评

暂无评论

一种面向嵌入式装备控制系统的建模方法

引用

华南理工大学学报（自然科学版） 2005年第10期33卷 29-33页

作者：宋柱梅李迪华南理工大学机械工程学院广东广州510640

为研究嵌入式系统面向装备控制领域的扩展技术,提出采用模型集成计算理论构建嵌入式装备控制系统的建模语言.针对控制子系统中的信号处理模块,分别从类图、视图、属性和约束四个方面定义该模块的元模型,并根据元模型修改相应的模型解释... 详细信息

为研究嵌入式系统面向装备控制领域的扩展技术,提出采用模型集成计算理论构建嵌入式装备控制系统的建模语言.针对控制子系统中的信号处理模块,分别从类图、视图、属性和约束四个方面定义该模块的元模型,并根据元模型修改相应的模型解释器. 通过元模型解释器将元模型解释成图形化的建模语言.采用该建模语言搭建了两个信号处理应用程序的模型,并通过模型解释器将其解释成相应的应用程序.结果表明,采用该方法能够实现对领域应用的快速开发.

关键词：嵌入式装备控制系统元模型领域建模语言模型集成计算

来源：评论

学校读者我要写书评

暂无评论

船舶综合电力推进系统数字化设计技术研究

船舶综合电力推进系统数字化设计技术研究

引用

作者：朱琬璐哈尔滨工程大学

学位级别：博士

船舶综合电力推进系统是未来船舶的发展方向,相比传统船舶,其具有减少原动机、降低生命周期成本、增强生存能力等优点,同时由于将推进系统及其他用电设备集中到一个统一的配电网络之中,在很大程度上增加了系统设计的复杂性,从而为船舶... 详细信息

船舶综合电力推进系统是未来船舶的发展方向,相比传统船舶,其具有减少原动机、降低生命周期成本、增强生存能力等优点,同时由于将推进系统及其他用电设备集中到一个统一的配电网络之中,在很大程度上增加了系统设计的复杂性,从而为船舶系统的设计带来了新的挑战。在传统船舶设计逐渐转向数字化设计的现阶段,基于计算机进行船舶的设计及开发已经成为趋势,且考虑到船舶综合电力推进系统设计中的诸多特点,对其数字化设计技术进行研究是十分必要的。本文针对船舶综合电力推进系统数字化设计技术中的以下几个问题进行了研究:首先,针对船舶综合电力推进系统本身分层次、多尺度的动态特性,提出了一个系统的设计框架,将船舶综合电力推进系统的设计与分析根据不同的时间尺度分成了三个层次:运行级(分/小时)、系统级(毫秒)和元件级(微秒),并详细说明这一框架将如何有效支持和改善当前船舶综合电力推进系统的设计过程。在这个层次框架的基础上,根据模型集成计算的概念,提出了一个初步的数字化设计体系结构,在较高的抽象层次确立了系统设计及分析的元模型及规范。这一数字化设计体系结构本身是开放且抽象的,为了实现其定义的设计及分析功能,需要开发一个数字化设计软件平台,为船舶综合电力推进系统的数字化设计建立不同层次、不同领域的设计及分析环境。以潮流计算分析环境的建立为例,描述了数字化设计软件平台的基本开发流程及使用方法。其次,船舶综合电力推进系统本身的复杂性往往导致其建模及仿真工作相当耗费时间和计算资源,为此分别建立了船舶综合电力推进系统面向元件级和系统级的建模及仿真环境,为不同的设计分析提供不同精度的模型。其中前者基于Matlab/SimPowerSystems实现,而后者提供了一个具有代表性的系统级建模方法,能够自动生成描述系统动态特性的微分方程组,并调用求解器进行仿真计算。通过在两个不同级别的建模及仿真环境中针对同一系统进行不同工况下的仿真对比,将仿真结果在准确度及仿真效率两方面进行量化评估,证明了面向系统级的建模及仿真环境提供的系统级模型能够有效且快速地获取系统级分析所必要的动态特性,满足系统级设计研究的需求。接着,针对船舶综合电力推进系统的控制策略设计问题,建立了一个基于模型的控制策略设计环境。提出了系统整体的控制框架,在研究了该系统暂态性能指标及运行要求的基础上,确定控制问题的具体内容,从而建立控制策略设计环境。为了实现该设计环境的功能,推导了结合序列二次规划算法的摄动分析方法,以求解系统遇到未知扰动,且受到状态约束和控制输入约束条件下的优化问题。通过推进电机突加负载和脉冲负载扰动的两个例子描述了控制策略设计环境的应用过程及控制效果,证明了在该设计环境下可以轻松合成系统的控制结构,而且设计的控制策略能够有效改善系统受到扰动后的暂态特性,使系统更快地回复稳态。然后,进行了船舶综合电力推进系统的可重构问题研究,该系统是一个典型的包括了离散事件动态和连续时间动态的混杂系统,离散事件动态由事件驱动,表示了系统的拓扑结构以及特定的系统配置,而连续时间动态则是在时域上用微分方程组来表示。通过分析混杂系统的结构,建立了可重构性分析环境,将系统的混杂自动机模型描述扩展为包括系统正常运行结构和故障结构的自动机模型,在此基础上定义系统的可重构性,也即是在系统发生故障后,能够1)在故障结构下维持在安全状态中,或者2)有机会使系统回到正常运行结构。并给出了分析系统是否可重构的方法。在可重构性分析环境下建立简化船舶综合电力推进系统在战斗模式和巡航模式下突发故障时的混杂自动机模型,并描述了如何在该分析环境下判断系统运行时的可重构性。最后,以某船综合电力推进系统设计为例,利用本文开发的数字化设计平台,建立了该系统在元件级和系统级的应用模型,设计了该系统的控制策略,并分析了系统运行时的可重构性,进行了系统仿真,以此验证了本文开发的数字化设计平台的有效性。本文的研究成果具有重要的理论研究意义和工程应用价值,可以为船舶综合电力推进系统的设计及研发提供一个具有应用前景的数字化设计软件平台,提高系统设计的效率并改善设计及分析的质量。其研究成果可推广到其它控制系统的数字化设计及仿真验证中去。

关键词：船舶综合电力推进系统数字化设计模型集成计算预测控制摄动分析混杂自动机

来源：评论

学校读者我要写书评

暂无评论

基于领域建模的代码自动生成方法

引用

科技通报 2011年第2期27卷 199-202页

作者：周礼郑秋华杭州电子科技大学图形图像研究所杭州310018 浙江省信息安全重点实验室杭州310008

提出一种基于领域建模的代码自动生成方法,该方法以模型集成计算(model integrated com-puting,MIC)为基础,开发人员以领域元模型作为领域建模语言来对应用系统进行领域建模,再通过模型解释器实现从领域模型到平台无关模型(platform ind... 详细信息

提出一种基于领域建模的代码自动生成方法,该方法以模型集成计算(model integrated com-puting,MIC)为基础,开发人员以领域元模型作为领域建模语言来对应用系统进行领域建模,再通过模型解释器实现从领域模型到平台无关模型(platform independent model,PIM)的自动转换,最后使用代码生成框架对PIM进行解析,得到可执行代码。

关键词：模型集成计算 PIM 代码自动生成

来源：评论

学校读者我要写书评

暂无评论

基于MIC理论构建嵌入式装备控制领域建模语言的研究

引用

制造业自动化 2005年第12期27卷 46-49页

作者：宋柱梅李迪华南理工大学机械工程学院广州510641

现有的嵌入式系统开发成本高,采用通用的开发环境,应用领域的工程人员难以开发。由此,研究嵌入式系统面向装备控制的领域扩展技术。基于模型集成计算理论搭建嵌入式装备控制系统的元模型,解释成面向领域的图形化建模语言,使装备控制领... 详细信息

现有的嵌入式系统开发成本高,采用通用的开发环境,应用领域的工程人员难以开发。由此,研究嵌入式系统面向装备控制的领域扩展技术。基于模型集成计算理论搭建嵌入式装备控制系统的元模型,解释成面向领域的图形化建模语言,使装备控制领域的工程人员能够对不同的嵌入式装备控制系统快速搭建模型。通过建立模型解释器,实现从应用系统模型到代码的映射。通过面向该领域软件构架的研究,探索面向系统的嵌入式组件设计方法。

关键词：装备控制元模型领域建模语言模型集成计算嵌入式控制系统

来源：评论

学校读者我要写书评

暂无评论

基于模型的可重配置网格

基于模型的可重配置网格

引用

作者：丘志宏汕头大学

学位级别：硕士

网格是一种分布式计算体系结构,目标是以有效且优化的方式来组织互联网中各种异构的、松散耦合的资源,以实现复杂的工作负载管理、大型的协同计算和信息虚拟化功能。网格平台建设和网格软件管理是网格研究的两个重要方向。本课题提出一... 详细信息

网格是一种分布式计算体系结构,目标是以有效且优化的方式来组织互联网中各种异构的、松散耦合的资源,以实现复杂的工作负载管理、大型的协同计算和信息虚拟化功能。网格平台建设和网格软件管理是网格研究的两个重要方向。本课题提出一个基于模型的可重配置网格技术,主要内容如下:1、分析网格的软件体系结构和硬件体系体系结构。在此基础上提出了一个由免费开源软件构建网格软件平台的方案,并据此方案构建出一个STUGrid的实验平台;2、提出了基于模型的可重配置网格体系,实现了通过“模型集成计算”的方法对网格软件体系进行建模、自动生成配置脚本,以及通过软件管理服务器实现全自动的网格软件安装配置;3、分析研究网格中的信息资源整合和管理相关的一些技术。??

关键词：网格高性能计算模型集成计算代码自动生成语义网格

来源：评论

学校读者我要写书评

暂无评论

集成设计环境基于模型的软件工具链

集成设计环境基于模型的软件工具链

引用

作者：鄢来琼汕头大学

学位级别：硕士

随着嵌入式系统复杂性的增加和嵌入式产品中软件比重的提升,嵌入式软件的质量和开发效率逐渐成为嵌入式产品成功与否的关键性因素,因此提高嵌入式软件质量和开发效率已成为学术界和工业界的热点问题。在此背景下,为了提高嵌入式软件开... 详细信息

随着嵌入式系统复杂性的增加和嵌入式产品中软件比重的提升,嵌入式软件的质量和开发效率逐渐成为嵌入式产品成功与否的关键性因素,因此提高嵌入式软件质量和开发效率已成为学术界和工业界的热点问题。在此背景下,为了提高嵌入式软件开发的效率和系统的稳定性,模型集成计算(Model-Integrated Computing, MIC)方法被提出用于构建嵌入式系统。模型集成计算方法强调把模型作为构建系统的主体。在模型集成计算框架下,首先运用特定领域的建模语言(Domain Specific Modeling Language, DSML)在图形化的环境中描述系统的需求、架构及其环境,然后运用模型转换工具将系统模型转换为模型验证工具的模型,最后运用模型翻译器将系统模型翻译为特定平台上可执行代码。模型集成计算框架中的特定领域模型的建模工具、模型验证工具、模型转换工具以及用于翻译可执行代码的模型翻译器均处于同一语义单元之下,它们无缝的链接在一起,形成嵌入式系统设计软件工具链。在本论文中,我们在混合自动机(Hybrid Automaton)计算模型(Model of Computing, MoC)之下,构建一条将MatLab/SIMULINK?仿真软件下的混合系统模型转换为语义单元(Semantic Unit)SAHA模型,然后将SAHA模型转换为模型验证工具ReachLab模型的工具链。在这个工具链中,我们运用基于模型的翻译器把SAHA模型翻译为PtolemyII可以执行的MoML程序代码。同时,我们在数据流(Datafolw)计算模型(MoC)之下,构建一条将MatLab/SIMULINK?仿真软件下的滤波器模型转换为语义单元(Semantic Unit)数据流模型,然后运用基于模型的翻译器将Dataflow模型翻译为MatLab/SIMULINK?可执行的SFunction的C语言程序代码。

关键词：模型集成计算语义锁定工具链混合自动机数据流

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：