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

作者：颜志煜厦门大学

学位级别：硕士

核磁共振技术自1945年发现以来，凭借其严密的理论体系和丰富多样的脉冲序列，在生物、化学、材料、医学等领域发挥着巨大的作用。研究人员在利用磁共振仪器进行研究时，往往根据自身需要，设计各式各样的脉冲序列。因此，直观、便捷的... 详细信息

核磁共振技术自1945年发现以来，凭借其严密的理论体系和丰富多样的脉冲序列，在生物、化学、材料、医学等领域发挥着巨大的作用。研究人员在利用磁共振仪器进行研究时，往往根据自身需要，设计各式各样的脉冲序列。因此，直观、便捷的脉冲序列设计环境就成为现代磁共振仪器不可或缺的重要组成部分。目前大多数商业磁共振仪器的脉冲序列编辑器都是采用特定编程语言的文本格式的编程环境，如Bruker采用的是Pascal语言，Varian采用的是C语言。这种使用特定编程语言设计脉冲序列的方式虽然功能强大，控制灵活，但却要求脉冲序列设计人员具备一定的编程基础，对用户有较高的要求。\n 本文提出了一种基于Eclipse图形建模框架(Graphical Modeling Framework，GMF)的图形化脉冲序列设计软件实现。软件基于Eclipse插件开发技术和GMF技术，软件开发周期短，开发人员能够更专注于业务逻辑设计，软件更易于扩展和维护。\n 软件具备所见即所得的特点，用户使用拖放方式所画出的脉冲序列跟教科书和参考文献上的脉冲序列几乎一样。软件同时支持磁共振波谱和磁共振成像脉冲序列的设计。此外，软件还集成了磁共振实验参数管理模块，从而实现了以脉冲序列为基础的磁共振实验设计。并且设计出来的脉冲序列以XML格式保存，具有硬件无关性，用户在设计脉冲序列时，不必考虑硬件结构。\n 本文在介绍Eclipse图形建模框架的基础上，对整个脉冲序列设计软件进行了需求分析，并对软件进行了总体设计，将软件按照插件的形式进行开发。之后分别介绍了各个插件的详细设计和具体实现。\n 在本文最后，我们通过一些例子展示我们的脉冲序列设计软件的实现结果。从结果上看，我们的研究实现了脉冲序列图形化编辑的目标，极大地简化了繁琐的脉冲序列过程。

关键词：核磁共振脉冲序列软件开发图形建模框架

来源：评论

学校读者我要写书评

暂无评论

模型驱动的领域建模与仿真验证平台的应用研究

模型驱动的领域建模与仿真验证平台的应用研究

引用

作者：王飞北京工业大学

学位级别：硕士

随着模型驱动思想逐渐为人们所接受，模型驱动技术不断发展，在不同领域中得到广泛应用。目前建模软件一般采用UML来描述模型的，虽然UML在可视化建模领域作用巨大，但其也具有一定的局限性：UML不能很好的满足对于工程领域的建模需求... 详细信息

随着模型驱动思想逐渐为人们所接受，模型驱动技术不断发展，在不同领域中得到广泛应用。目前建模软件一般采用UML来描述模型的，虽然UML在可视化建模领域作用巨大，但其也具有一定的局限性：UML不能很好的满足对于工程领域的建模需求；建立的模型不可执行，不易于需求分析与模型验证等。在以上的背景下，OMG提出了SysML (System Modeling Language，系统建模语言)。SysML是一种广泛使用于工程领域的图形化建模语言，适用于由软件、硬件、人员综合而成的复杂系统的结构分析、设计与验证，可于对工程领域中不同阶段的各种问题进行建模。在模型驱动开发逐渐成为主流开发模式的大背景下，本文分析当前模型驱动开发的现况，并针对UML在工程领域建模能力不足的情况，研究了领域建模与模型转换技术，从需求分析、系统分析与设计、模型验证和系统实现这几个阶段详细介绍了基于SysML的开发模式；通过研究SysML相关文献，对领域元元模型分析设计，然后对SysML模型包含的需求模型、结构模型、行为模型以及参数模型，分别从模型定义、元模型设计和图元设计几个方面进行深入的分析与阐述。针对静态模型难以验证的特点，本文提出了在模型设计阶段的模型检测方法，设计了SysML领域模型到仿真脚本的转换及验证规则，通过模型转换技术，将领域模型转换为仿真脚本，利用Matlab/Simulink仿真平台进行模型验证工作，实际上是将测试提前到了模型设计阶段，使设计人员能尽早发现并解决问题。最后基于Eclipse插件技术、可视化建模技术及模型转换技术实现上述领域建模与仿真验证平台，并利用该平台对工程领域经典案例—倒立摆系统进行领域建模、仿真脚本生成及模型验证，以检验平台的可用性。

关键词：模型驱动架构系统建模语言图形建模框架模型转换模型仿真验证

来源：评论

学校读者我要写书评

暂无评论

基于模型驱动测试的TTCN-3代码生成平台的设计与实现

基于模型驱动测试的TTCN-3代码生成平台的设计与实现

引用

作者：马琳北京工业大学

学位级别：硕士

随着IT行业的发展和软件市场的成熟，软件测试的必要性已经完全为业内决策人士所接受。软件测试发展至今，由传统的手工测试到自动化测试，用计算机执行测试人员编写的用例，尤其是在回归测试中，可以避免时间、资金、硬件和人力资源的... 详细信息

随着IT行业的发展和软件市场的成熟，软件测试的必要性已经完全为业内决策人士所接受。软件测试发展至今，由传统的手工测试到自动化测试，用计算机执行测试人员编写的用例，尤其是在回归测试中，可以避免时间、资金、硬件和人力资源的浪费。但自动化测试的不足之处也是显而易见的，自动化测试对测试人员的技术要求比较高，学习自动化测试语言和编写测试脚本代码都会花费大量时间。倘若遇到被测系统需求变更，测试人员还要花时间去修改测试用例脚本。TTCN-3代码生成平台将模型驱动的思想引入自动化测试，旨在弥补自动化测试以上的不足之处。 TTCN-3代码生成平台遵循模型驱动测试的思想，目的是为测试人员提供了可视化的测试系统建模平台，用于对测试系统进行建模，使得测试人员抽象出其所关注的测试点及测试流程，用以提高测试的效率和自动化水平，将其直观且无二义性的表示出来。并提供自动化的TTCN-3代码生成手段，用以将测试系统模型自动化的生成为TTCN-3代码。该平台在测试系统建模上遵循MDA的规范标准，参考U2TP规范定义了测试系统元模型，基于eclipse的图形建模框架（GMF）构建了测试系统模型编辑器，用以对测试系统进行可视化建模。在定义测试系统元模型与TTCN-3元模型映射关系的基础上，实现了测试系统模型向TTCN-3代码的转换。主要工作有以下三方面：第一，测试系统元模型的定义，这是实现测试系统建模的基础。根据自动化测试语言TTCN-3进行测试系统元模型的定义，这里要参考U2TP规范标准；第二，可视化建模工具的创建。主要基于GMF技术来构建，它为基于模型的可视化图形化编辑器的开发提供了一个功能强大的框架。GMF技术结合了EMF（Eclipse Modeling Framework，eclipse建模框架）技术及GEF（Graphic Editing Framework，图形编辑框架）技术。EMF用来编辑元模型并生成相应代码，GEF提供了建立图形化编辑器的平台；第三，模型和代码的转换，为了实现模型向代码的转换，首先要定义与TTCN-3代码相对应的XMLSchema，然后通过创建的测试数据模型、测试配置模型、测试行为模型生成相应的XML文件，根据定义的对应转换规则，将XML文件转换成相应的TTCN-3代码。

关键词：模型驱动测试元模型 TTCN-3 图形建模框架

来源：评论

学校读者我要写书评

暂无评论

Web服务组合可视化建模工具的研究与实现

Web服务组合可视化建模工具的研究与实现

引用

作者：许楠大连海事大学

学位级别：硕士

随着Internet在各大领域实际应用的日益深化,Web服务以其语言独立、平台无关、协议标准化以及异构应用实现松散耦合的强大优势,在应用集成方面得到了迅猛的发展。然而问题也随之而来,由于如今单个Web服务已经不能满足商业机构对复杂业... 详细信息

随着Internet在各大领域实际应用的日益深化,Web服务以其语言独立、平台无关、协议标准化以及异构应用实现松散耦合的强大优势,在应用集成方面得到了迅猛的发展。然而问题也随之而来,由于如今单个Web服务已经不能满足商业机构对复杂业务的需要,那么如何重用已有的Web服务,对其进行合理的组合,以此为客户提供具有较强功能和质量保证的组合服务成为当前研究的热点。目前各种基于业务流程的Web服务组合语言和基于这些语言的建模工具蓬勃兴起。由于手工描述业务建模过程非常复杂、繁琐并且容易出错,于是业界对Web服务组合中业务流程建模的研究越来越朝着可视化的方向发展,即朝着语言标准化、定义图形化和生成自动化方向发展。可视化建模以一种更直观,更容易理解的方式,使用户可以在较短的时间内获得更大的信息量,大大提高了Web服务组合的效率。于是支持Web服务组合建模的可视化建模工具的研究就成为了一个重要的研究方向。本文在分析总结国内外研究成果的基础上,对Web服务组合的可视化建模工具进行了深入研究。首先简要介绍了Web服务组合建模领域的相关理论,仔细分析了目前主流的建模系统原型。然后,详细研究了本课题组提出的CCML建模语言,给出了其CCML文本描述格式到XML描述格式的映射规则,并通过示例展示了二者的转换,以期实现CCML语言标准化。最后,本文借鉴目前主流建模系统的设计思想,设计了Web服务组合建模工具的总体框架以及主要功能模块。使用Java语言和GMF图形建模框架实现了基于CCML建模语言的Web服务组合建模工具,并通过一个案例展示了该可视化建模工具的基本功能,验证了其实用性。本文设计实现的Web服务组合可视化建模工具对课题组提出的CCML语言提供了良好的环境支持,同时也使Web服务组合建模更加直观、易懂,有利于提高服务组合的质量和效率,本课题研究具有一定的理论和实际应用价值。

关键词：可视化建模工具 Web服务组合图形建模框架协同组合建模语言

来源：评论

学校读者我要写书评

暂无评论

汽车软件开发可视化设计环境的研究和实现

汽车软件开发可视化设计环境的研究和实现

引用

作者：邓尧文电子科技大学

学位级别：硕士

随着国民经济的发展以及人们生活水平的提高,汽车已经成为人们日常生活中不可或缺的用品,人们对汽车的安全性、舒适性、自动化等也越来越重视。为了顺应客户的需求,汽车厂商也给汽车集成了越来越多的功能,导致汽车软件开发复杂度日益增... 详细信息

随着国民经济的发展以及人们生活水平的提高,汽车已经成为人们日常生活中不可或缺的用品,人们对汽车的安全性、舒适性、自动化等也越来越重视。为了顺应客户的需求,汽车厂商也给汽车集成了越来越多的功能,导致汽车软件开发复杂度日益增长。为此,全球汽车厂商联合为汽车工业提供了一个开放的、标准化的软件架构AUTOSAR(AUTomotive Open System Architecture,汽车开放系统架构),以达到改善软件可重用性以及移植性的目的。虚拟功能总线(Vitual Functional Bus,VFB)是在AUTOSAR抽象层提供的所有通信机制的总和。当一个具体的系统需要定义一组在各软件构件中的关系时,VFB允许在非常早的开发阶段虚拟集成这些关系,实现了上层软件构件与底层硬件的隔离。本文在调研AUTOSAR标准以及VFB规范的基础上,提出了可视化的方式设计VFB应用,并实现了图形化的软件构件设计工具——SWC-Builder。论文的主要工作包括以下几个部分:(1)对AUTOSAR标准以及方法论,特别是虚拟功能总线规范做了深入细致的调研,为汽车软件开发可视化设计环境的研究奠定理论基础。(2)对国内外AUTOSAR工具软件进行分析对比,并结合理论基础提取出可视化设计环境的具体需求。(3)利用图形建模框架(Graphical Modeling Framework,GMF)、Eclipse插件开发、CNF等技术并基于Artop平台开发并实现了图形化的汽车软件设计工具——SWC-Builder。(4)完成SWC-Builder的整体设计及功能模块的划分,将SWC-Builder划分为资源管理器、图形编辑器以及自动布局三大模块,并完成各模块的设计与实现。(5)设计并实现自动布局的方法,为SWC-Builder的图形编辑器引入了自动布局的功能,降低了图形显示的复杂度。(6)设计应用实例对SWC-Builder的功能进行测试,测试表明SWC-Builder能实现VFB组件的图形化设计,最终将设计结果输出到符合AUTOSAR标准的ARXML文件中。

关键词：汽车软件 AUTOSAR 虚拟功能总线图形建模框架 Artop

来源：评论

学校读者我要写书评

暂无评论

汽车电子系统中基于模型驱动的嵌入式软件设计研究

汽车电子系统中基于模型驱动的嵌入式软件设计研究

引用

作者：王伟同济大学

学位级别：硕士

汽车产业是我国国民经济的重要产业之一，汽车电子产品是汽车的重要组成部分。汽车电子的开发已经成为了嵌入式系统软件设计的一个重要部分。本文在当前国际上主流的车控软件OSEK／VDX平台的基础上，提出新的软件设计开发流程和模型驱... 详细信息

汽车产业是我国国民经济的重要产业之一，汽车电子产品是汽车的重要组成部分。汽车电子的开发已经成为了嵌入式系统软件设计的一个重要部分。本文在当前国际上主流的车控软件OSEK／VDX平台的基础上，提出新的软件设计开发流程和模型驱动的交互环境设计。首先，本文提出了在嵌入式软件系统的设计开发中使用执行链设计模式，这一模式是在嵌入式系统软件整体架构层次上对要开发的系统进行建模，完整分解系统，逐一实现各个功能所需的函数，然后将系统的实时性约束和硬件条件等在模型上进行验证，在此设计层次完全通过测试之后再由生成工具产生最终在硬件单元上运行的软件程序。这一设计模式是全新的嵌入式软件开发方式，虽然以前也存在类似执行链模式的数据流程等思想，但是它们主要应用于商业管理和物流等系统中，在嵌入式软件开发上这还是首次使用这种模式。执行链设计模式的提出完全改变了以往的从设计到开发的不一致性，提高了软件开发的敏捷度，增强了对于硬件系统的底层支持，提高了软件的可维护性和可重用性，为嵌入式系统的开发开辟了一个崭新的设计方案。然后，本文提出了模型驱动的交互环境设计模式。为了给软件开发者提供一个易于交互的设计开发环境，本文采用三大开发框架支持的交互环境设计，这样使得即使对于这一开发环境的更改也是基于模型的，使得这一开发工具具有了充分的灵活性和扩展性。当然，在此基础上，本设计还进行了合理的改进，增加了从文件导入全部系统定义，统一处理各个单元，在设计期可以定义需要的组件，使它更加满足实际的设计开发的需要。这样使嵌入式系统软件设计开发者在这一直观的交互环境中完全集中于模型的设计和映射架构上，简化了开发过程，提高了开发效率，保证了后续开发的良好继承性。它与执行链设计模式相结合，实现了模型驱动的嵌入式软件的设计与开发。最后，对全文的研究内容进行了总结概括，并具体的提出了下一步的工作。

关键词：模型驱动开发执行链模式图形建模框架交互设计

来源：评论

学校读者我要写书评

暂无评论

支持MDA的设计模式建模与模型转换研究

支持MDA的设计模式建模与模型转换研究

引用

作者：周吉重庆大学

学位级别：硕士

随着软件应用规模和复杂度的不断扩大，传统软件开发方法的弊端越来越明显，生产效率低、可移植性差和系统维护更新跟不上软件技术发展等问题逐渐突显出来。在这样的背景下，对象管理组织（OMG）提出一种全新的以模型为中心的软件开发... 详细信息

随着软件应用规模和复杂度的不断扩大，传统软件开发方法的弊端越来越明显，生产效率低、可移植性差和系统维护更新跟不上软件技术发展等问题逐渐突显出来。在这样的背景下，对象管理组织（OMG）提出一种全新的以模型为中心的软件开发框架—模型驱动架构（MDA），其思想是建立与具体技术平台无关的平台无关模型（PIM），通过定义PIM到平台相关模型（PSM）的转换规则，实现PIM到PSM的自动转换，并最终生成代码。MDA希望通过这样一个从PIM建模到最终代码生成的软件开发框架，实现基于模型的软件自动化过程。设计模式是对编程经验的总结，广泛运用于软件开发过程中。将设计模式引入到MDA中，可以结合两者的优点。但目前MDA的理论和运用中，缺少对设计模式建模方法的研究，相关工作是对某个设计模式整体的元建模结构进行的，这使得建立的元模型不具有通用性，转换规则也不能够复用，更无法支持代码的生成和建模工具的建立。针对以上问题，本文对设计模式通用元素进行了必要的抽象，提出了一种基于元模型的设计模式建模和模型转换方法，对设计模式的建模、模型转换和代码的生成过程进行了研究，构建了一个初步的设计模式建模工具。设计模式与MDA的结合是在研究MDA基本理论、元模型扩展方法、模型转换方法和建模工具构建技术的基础上进行的，主要分为三个方面：首先，在元模型层抽象并扩展设计模式通用元素的元模型，基于Ecore定义这些元素和目标UML结构模型的元模型；其次，利用ATL模型转换语言定义转换规则，实现设计模式模型到目标模型的自动转换，然后，通过定义JET模板，实现目标模型到代码的自动转换；最后，基于GMF设计并实现了一个可视化的设计模式建模工具初型yohenyyDesign，实验表明可以进行PIM层建模，自动生成模型转换的源模型。本文通过在元模型层抽象和扩展设计模式通用元素的元模型，提高了模型和转换规则的重用性，有效地支持了代码的生成和建模工具的建立。基于GMF构建的设计模式建模工具，使得设计人员能够像使用普通建模工具一样进行设计模式建模。本文研究工作对MDA中设计模式建模、模型转换的自动化以及建模工具的建立有一定的参考意义。

关键词：模型驱动架构元模型模型转换设计模式图形建模框架

来源：评论

学校读者我要写书评

暂无评论

机器人大脑图形化开发平台的研究

机器人大脑图形化开发平台的研究

引用

作者：李锋长安大学

学位级别：硕士

机器人大脑的图形化开发平台系统提供通过图形化编程方式对机器人的工作行为进行控制。这是通过软件开发环境和与机器人硬件通信连接模块的综合应用的平台。软件开发环境是一种类图形化的编程的应用软件。在平台软件中对机器人需要执行... 详细信息

机器人大脑的图形化开发平台系统提供通过图形化编程方式对机器人的工作行为进行控制。这是通过软件开发环境和与机器人硬件通信连接模块的综合应用的平台。软件开发环境是一种类图形化的编程的应用软件。在平台软件中对机器人需要执行工作或动作内容封装为一个个用来表示的执行函数图元、工作流程图元、数据流、控制流以及其连线图元组成。全文主要分为四大部分,主要内容如下：首先图形化开发平台的结构和方案设计。重点说明.NET与GDI+方案构建图形化平台的过程。给出详细实现代码和操作流程图。并对其优劣做出判断说明。其次重点讲述图形化平台流程图图形化编程的支撑技术Eclipse GMF图形建模框架的结构和要点。对如何通过Eclipse GMF技术建立图形框架做了进一步阐述。对建模语言UML建模方法和建立领域模型的图元以及图元关系给出了基本模型。再次分析结构化程序语言用流程图图形表示方法的可行性。以及重点实现如何将流程图中的节点和连线用图元表示。实现用UML统一建模语言将流程图中的节点和连线的图元以及图元之间的关系建立成GMF可识别的领域模型,用以此模型表达出结构化程序语言。并且针对机器人工作的特点优化模型并将机器人工作流程转换为XML格式的流程图描述文件。并给出基本代码。最后针对图形化开发平台的上位机流程图图形化编程软件和下位机机器人工作执行模块之间需要大量数据高速传输的特点。选用USB2.0串行总线作为上下位机之间的通信总线。选用了USB总线控制器。并完成了其固件程序的开发。机器人大脑的图形化开发系统,根据机器人工作流程、模块工作的特点,使用了图形化的编程方法。使机器人的使用者能够像搭积木一样“搭建”出所见即所得的应用程序。使得没有编程基础的人员也可以使用机器人,可以按照机器人工作所关注的内容模块使其工作起来。

关键词：图形化编程机器人大脑图形建模框架图元

来源：评论

学校读者我要写书评

暂无评论

一种基于GMF的测试系统可视化建模方法

引用

科技创新导报 2013年第8期10卷 59-60页

作者：马琳李平北京工业大学软件学院北京100022 大庆石化公司信息技术中心黑龙江大庆163714

测试系统建模是将模型驱动的思想引入测试领域,实现了测试资源的重利用,有效的缩短了测试周期,更好地适应需求或设计规格的变更。测试系统可视化建模研究在定义测试系统元模型的基础上,使用基于模型驱动开发方法的GMF图形建模框架技术... 详细信息

测试系统建模是将模型驱动的思想引入测试领域,实现了测试资源的重利用,有效的缩短了测试周期,更好地适应需求或设计规格的变更。测试系统可视化建模研究在定义测试系统元模型的基础上,使用基于模型驱动开发方法的GMF图形建模框架技术建立测试系统模型及数据实例编辑器。通过定义领域模型、图形模型、工具模型以及将这三者结合起来的映射模型,解析测试模型转化成的符合相应Schema的XML文件,实现了可视化建模和部分代码的自动生成。

关键词：图形建模框架可视化建模模型驱动测试测试系统元模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：