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

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

基于MetaEdit+的领域建模语言研究与应用

元建模与领域建模以及MDA相结合,可实现一种高效的基于模型的仿真软件开发,在分析元建模实现框架和元元模型构造方式的基础上,以雷达设备建模语言为例,从抽象语法、具体语法和语义三个方面介绍了基于MetaEdit+的领域建模语言设计与实现方法,并在此基础上建立了雷达设备仿真模型;应用表明,领域建模语言的使用可使得系统应用人员和开发人员的工作彻底分离,有效提高仿真软件的开发效率和模型的可重用性。

基于领域建模语言的作战概念描述方法

针对传统统一建模语言(UML)和系统建模语言(SysML)主要面向一般软件工程和系统工程领域应用,缺乏作战概念相关领域知识的问题,提出了基于领域建模语言(DSL)的作战概念描述方法。基于SysML Profile扩展机制,在需求图中设计了能力、战略和战术等需求元模型,在块定义图中设计了武器装备体系、武器装备、传感器等类元模型。以此为基础,对分布式杀伤作战概念的静态结构和动态行为进行了分析描述,为有效缩短作战概念建模仿真周期、加强不同背景研究人员之间沟通交流奠定了基础。

基于Modelica多领域建模仿真研究现状与思考

Modelica语言是为解决多领域物理系统的统一建模与协同仿真的一种基于方程的陈述式建模语言.对Modelica语言进行了简单介绍,主要介绍了目前国内利用Modelica语言进行复杂系统多领域建模与仿真研究现状,并对基于Modelica混联机器人多领域建模与仿真进行了思考,说明了混联机器人多领域建模与仿真的主要内容与关键技术,为混联机器人多领域建模与仿真提供参考.

基于Modelica的超精密隔振系统多领域建模与仿真

超精密隔振系统是由机械、电气和流体装置组成的复杂机电系统,为实现多领域统一建模仿真,选择Modelica语言进行建模。采用模块化建模方法将隔振系统自顶向下进行分解,基于Modelica分别建立各元部件的动力学模型。以此为基础建立了隔振单元及控制系统的模型,最终组建了系统级多领域仿真模型,实现模型的仿真及结果输出;与实验所测数据进行比对,结果基本一致,验证了模型的准确性及有效性,对于精密隔振系统的动力学性能研究具有非常重要的意义。

基于Drools的领域专用语言应用研究

首先介绍了Drools规则引擎和领域专用语言DSL的基本概念,然后通过实例说明了DSL以类自然语言的方式来构建业务层代码,详细阐述了领域专用语言在Drools中的应用来说明它的优点。通过DSL的应用不仅降低了业务逻辑与应用程序的耦合度,而且能以更好的方式来处理业务需求和数据模型的变化,便于系统的维护。

基于特定领域建模的仿真组件建模方法

针对当前仿真组件模型(SCM,Simulation Component Model)开发存在的问题,首先采用特定领域建模(DSM,Domain-Specific Modeling)理论,通过分析仿真组件的基本结构和特征,确定仿真组件元模型整体的各部分模块及其相互关系,然后提出一种基于特定领域建模的仿真组件的建模方法和仿真组件模型开发流程。利用VMSDK(Visual Studio Visualization and Modeling SDK)工具,构建了描述仿真组件领域建模语言(SCMML,Simulation Component Model Modeling language)的元模型。最后,通过建模实例,表明该方法可显著提高仿真组件的开发效率。

多学科领域建模仿真平台SimulationX

在全球范围内,哪里有引领潮流的新技术开发,哪里就有SimulationX的身影,它已经成为众多工程师和科学家的最佳搭档。SimulationX是基于标准的物理对象建模语言Modelica的先进大型工程软件,在全世界的研究机构和公司中被广泛应用。本文将详细介绍SimulationX的功能特点以及众多行业解决方案。

密码领域专用语言研究

现有的通用编程语言,对于初学者来说,即使是编写简单循环结构的也有难度。为了使专业人员将工作重心集中在应用程序逻辑/业务模型上,领域专用编程语言(DSL)得到广泛应用。本文分析DSL的原理和方法,维护性问题;介绍一款国内首次提出的密码领域专用语言PCL,给出了其技术原理、基本功能,以及密码算法应用例子。在PCL之前,包括Cryptol语言在内,没有任何语言可以直观描述密码算法的逻辑结构。

基于模型驱动的密码算法可视化开发平台研究

针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码生成器和代码映射器.实验证明,该开发平台仅需要开发者拖拽图形块的操作就可以实现密码算法模型的建立,然后平台可以根据建立的密码算法模型生成不同编程环境下的代码.平台实现了C和python的代码映射器模块,密码算法模型可快速映射为C、python代码.平台有较好的实用性,开发者的密码算法实现过程简洁、高效,不同编程环境下的代码均可以通过平台自动生成,提高了密码算法实现的跨平台性.

基于元建模的雷达电子战仿真语言研究与应用

基于元建模技术的领域建模语言(DSL)及其支撑环境可以大幅度提高软件的开发效率和可维护性。基于面向领域的设计思想,提出了雷达电子战仿真语言的技术架构,包括服务层、工具层、模型层和应用层;设计了支持模型开发全过程的六级建模机制和相应的模型功能体系。结合应用实例介绍了雷达电子战建模语言的实现方法,开发了支持多类型代码自动生成的模型解析器;采用信息总线和计算总线相结合的方法,实现了模型驱动平台。最后对该仿真语言的应用特征作了介绍。

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法。在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型。用该元模型扩展统一建模语言,使其可用于领域规则建模。给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成。通过模型验证案例分析,说明了该方法的可用性。

Modelica语言的过程式建模机制研究与实现

过程式建模是仿真的重要手段。本文通过比较过程式与陈述式两种建模方式,研究了Modelica语言的过程式建模特性,提出Modelica过程式建模机制的实现方案,解决了陈述式语言环境下对过程式模型的兼容问题及过程式模型方程的生成,并在多领域统一建模与仿真平台Mwork中得到了应用。

领域知识的表示及UML建模

领域模型是领域知识的一种图形化表示形式,是领域知识各组成部分的抽象。通过对5种领域模型的讨论,展示了不同角度和不同层次的领域知识,这些不同层次的领域知识对于认识领域内的各相关系统的特征和行为是十分有用的。此外,通过对领域知识的UML建模,提高了领域内系统的软件重用层次,以便在面向对象的软件开发过程中获得最佳的软件重用时机。

基于DSL优化脑瘫康复智能训练系统

本文针对脑瘫患儿差异化康复训练方案难于定制的问题,基于领域特定语言(DSL)优化了脑瘫康复系统架构。根据专家给出的脑瘫患儿训练计划,在Eclipse平台的Xtext构建了控制机械手完成手势动作所需要的领域模型,并且完成了对该领域模型的实现,将其成功用于机械手辅助脑瘫康复动作训练系统中,使得理疗师等非编程技术人员能够为脑瘫患儿康复定制训练方案。

用C语言进行单片机程序设计与应用

文章写了 C语言的主要特点 ,以及与汇编语言相比所具有的优点 ,通过编写的智能化温控表软件的源程序 ,可具体了解用 C语言编写单片机程序的格式和规则 ,另外文章还阐述了智能化温控表的硬件特色。

领域分析在C^3I仿真测试环境中的应用

领域分析和建模广泛应用于大型软件系统的分析和设计。目前,由于缺乏有效的方法和实验途径,在C3I系统的建模和设计过程中难以快速建立系统原型,给实际的开发造成了不便。该文将领域技术应用于C3I仿真测试环境中,从四个紧密相关的不同视点(环境、交互、焦点分析和整体分析)来对系统进行领域分析和建模,介绍和说明了它们的界定范围、表示内容、使用方法以及在领域分析中的作用,并从这四个方面来分析和描述了C3I仿真测试环境领域模型的分析和设计过程。该仿真测试环境的领域模型已经应用于实践中,指导了某C3I系统的开发和研制。

面向智能合约的可编程自然语言设计

智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等问题。本研究提出了自然语言设计DSL,通过设计智能合约的规约语言,达到了保留自然语言的可读性、规范书写方式、增强语义明确性,能自动转化到智能合约编程语言的目的。并通过研究对比得出自然语言DSL在不违反确定性的情况下可以提高可读性和安全可解析性的结论。

一种面向领域的军事电子信息系统建模方法

特定领域建模(Domain-Specific Modeling,DSM)是软件工程一种新的方法学.与统一建模语言(Unified Modeling Language,UML)建模相比,特定领域建模方法更具有针对性,效率更高.主要研究了特定领域建模方法在军事电子信息系统中的应用,并以某防空旅设计前沿区域防空系统为领域背景,以该领域中的情报处理过程为例,阐述了领域建模的实现方法.

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

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