导读:本文包含了过程建模语言论文开题报告文献综述及选题提纲参考文献，主要关键词:天然气发动机,工作过程,仿真模型,气体压力
过程建模语言论文文献综述
李文辉,刘长铖,张子鉴,夏文[1]（2016）在《基于Modelica语言对气体机工作过程的建模和仿真》一文中研究指出采用面向对象的建模方法,根据独立性和物理划分原则对发动机缸内工作过程部分进行了模块化划分,利用多领域统一建模规范Modelica语言建立了天然气发动机单个气缸工作过程(包括缸内过程和换气过程)的仿真模型,仿真分析了2135天然气发动机在某些工况下的缸内压力和温度等参数,并将仿真压力与实验的测量数据进行对比,相对误差在合理的范围内,证明了该模型能够预测天然气发动机的缸内气体压力等重要的状态参数,为天然气发动机缸内工作过程的研究提供仿真基础。(本文来源于《应用科技》期刊2016年04期）
刘金卓,白天罡,于倩,王炜,代飞[2]（2016）在《CEPDL:一个简约的软件演化过程建模语言》一文中研究指出随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础.(本文来源于《内蒙古大学学报(自然科学版)》期刊2016年01期）
李海东[3]（2014）在《在建模活动过程中促进学生数学语言的转换——以“平行四边形面积”教学为例》一文中研究指出斯托利亚尔认为,"数学教学就是数学语言的教学"[2],学生如果能熟练进行数学语言的转换,就能提高分析问题和解决问题的能力。教师如果能把数学建模和数学语言的转换有机融合,课堂教学就能事半功倍。数学语言包括符号语言、文字语言和图形语言叁种。文字语言是"数学化"的自然语言,能准确表达数学对象及其相互关系、能充分揭示数学知识的本质;符号语言是思维的高度浓缩,能非常精炼和准确地表达数学知识的内涵;图形语言不但是学生形(本文来源于《教学与管理》期刊2014年35期）
向新渝,刘英博,张力,吕吉峰[4]（2010）在《支持数据及人力资源绑定的业务过程建模语言》一文中研究指出结合目前企业信息系统在工作流建模时对数据及人力资源管理上存在的实际需求,研究分析了各种常用的工作流建模语言在数据和人力资源管理上的优缺点,并基于JBoss业务过程定义语言扩展出一种支持数据及资源绑定的业务过程建模语言。该语言通过引入业务对象组、任务到业务对象组绑定等扩展标记,加强了传统JBoss业务过程定义语言的数据流调度控制精度、数据建模能力以及对外部数据和资源绑定能力,同时给出了基于WFD-nets的验证方法,以验证通过该语言建立的工作流模型的正确性。最后,基于所设计的语言建立了工作流管理系统,并在某企业得到了应用。(本文来源于《计算机集成制造系统》期刊2010年12期）
纪玉新[5]（2010）在《基于APDL语言描述法的龙门起重机结构参数化建模过程》一文中研究指出龙门起重机结构复杂,采用简单的参数化建模对后期处理带来不便。而用参数描述其特征尺寸,并在建立有限元模型与分析时,以参数表征其过程,从而实现可变结构参数的有限元分析。这实质上是一种采用语言描述法进行结构的参数化设计。本文根据龙门起重机的结构特点和基本参数,结合有限元技术建立了龙门起重机门架结构科学、合理的参数化有限元计算模型。(本文来源于《机电技术》期刊2010年02期）
邢少敏,周伯生,陈天影[6]（2008）在《一种面向服务的业务过程建模语言》一文中研究指出通过对现有业务过程建模语言的分析指出了其对面向服务支持的不足,以可视化过程建模语言VPML(Visual Process Modeling Language)为基础,提出了一种面向服务的可视化过程建模语言VPML-S,并提出了该语言的概念设计框架,简述了其通用的建模元素;使用UML类图设计了该语言的元模型,在此基础上建立了语言的形式化模型;分析和评估了VPML-S中的服务元素所提供的将活动映射为Web服务的面向服务功能,嵌入子过程元素所提供的多个业务过程之间的复用机制,管道元素所提供的多个业务过程的协作机制以及VPML-S和其它语言所建立的业务过程模型的互操作支持机制;评述了VPML-S的可视化图符替换、元模型扩展机制;最后通过一个网上购物流程实例说明VPML-S为面向服务的环境下的业务过程复用、协作和互操作提供了有效的支撑.(本文来源于《北京航空航天大学学报》期刊2008年11期）
黄正东,魏昕,周凡利,陈立平[7]（2007）在《Modelica语言的过程式建模机制研究与实现》一文中研究指出过程式建模是仿真的重要手段。本文通过比较过程式与陈述式两种建模方式,研究了Modelica语言的过程式建模特性,提出Modelica过程式建模机制的实现方案,解决了陈述式语言环境下对过程式模型的兼容问题及过程式模型方程的生成,并在多领域统一建模与仿真平台Mwork中得到了应用。(本文来源于《微计算机信息》期刊2007年31期）
刘树锟,阳小华,刘杰[8]（2007）在《Java建模语言在程序不变量动态发现过程中的应用》一文中研究指出通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。(本文来源于《计算机工程与设计》期刊2007年18期）
魏昕[9]（2007）在《多领域统一建模语言中的过程式建模机制研究与实现》一文中研究指出现代产品日趋复杂,通常是由多个领域的多个子系统组成,这些不同领域的子系统表现出紧耦合的特性,要求对多领域统一建模、一致仿真。为优化复杂产品的设计,得到复杂产品整体性能的准确仿真结果,工业界迫切需要有一种能够跨越不同领域、不同学科的多领域仿真理论与方法。Modelica作为新一代多领域统一建模语言,具有支持面向对象的层次化建模、多领域建模、陈述式物理建模和连续离散混合建模等特性,非常适合描述现代多领域复杂系统,代表着系统仿真建模和仿真技术发展的新方向。本文面向多领域物理系统统一建模与仿真平台MWorks的开发,研究多领域统一建模语言Modelica的过程式建模特性。通过对比陈述式建模与过程式建模两种不同建模方式,分析Modelica语言建模与仿真原理,结合MWorks编译器的编译分析流程,对其中函数机制、算法机制和C代码映射等过程式建模机制做了深入研究。函数机制是Modelica语言过程式建模的核心机制。在现有的MWorks编译仿真模型的基础流程上,研究函数机制中的一般函数、函数调用、内置函数、外部函数,提出以仿真模型的标准解析为主线,加入函数类型限制性检查和输入输出组件收集等辅助过程完成函数类解析;简化实例化流程,通过分析变型信息判断默认参数的完全变型;设计参数匹配过程完成函数形参与实参的匹配;在编译器内部完成内置函数的分析以加快模型仿真过程;以函数接口为切入点,解决了在Modelica模型中调用C、FORTRAN函数的问题。算法机制是Modelica语言过程式建模的另一种重要形式,通过算法与函数的比较,分析Modelica语言的算法机制的特点,讨论算法中输入输出分析以及算法子句在算法机制中的重要作用并给出具体的实现方案。C代码映射是Modelica语言过程式建模从模型到仿真过程的关键机制,将函数定义分为函数原型声明、算法子句、内部变量、返回语句、复合类型声明等五个部分分别映射后再组装到一起生成C代码。通过内部变量依赖性分析解决Modelica与C语言中变量的不同使用方式的问题。基于上述研究,在MWorks平台下实现了基于Modelica语言的过程式建模机制。论文最后介绍了MWorks系统建模流程,并给出了有关过程式模型的运行实例。(本文来源于《华中科技大学》期刊2007-01-01）
高新勤,李宗斌,闫利军[10]（2006）在《基于统一建模语言和多色集合的并行设计过程研究》一文中研究指出在分析现有并行设计过程建模研究的基础上,提出了一种基于统一建模语言(UML)和多色集合理论的并行设计过程建模与分析方法,分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构.采用多色集合理论,将UML活动图节点间的连接关系和基本模型结构形式化,结合基于特征的零件和工艺并行设计过程,建立了UML活动图模型,从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程,实现了该模型到多色集合围道矩阵的映射.研究表明,该方法具有面向对象且易于被非专业人员理解和使用的特点,可以为产品设计过程建立形式化模型.通过对设计活动进行布尔运算和定量分析,发现了影响产品设计进程的关键环节,从而为并行设计的组织和实施提供了理论指导.(本文来源于《西安交通大学学报》期刊2006年11期）
过程建模语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
过程建模语言论文参考文献
[1].李文辉,刘长铖,张子鉴,夏文.基于Modelica语言对气体机工作过程的建模和仿真[J].应用科技.2016
[2].刘金卓,白天罡,于倩,王炜,代飞.CEPDL:一个简约的软件演化过程建模语言[J].内蒙古大学学报(自然科学版).2016
[3].李海东.在建模活动过程中促进学生数学语言的转换——以“平行四边形面积”教学为例[J].教学与管理.2014
[4].向新渝,刘英博,张力,吕吉峰.支持数据及人力资源绑定的业务过程建模语言[J].计算机集成制造系统.2010
[5].纪玉新.基于APDL语言描述法的龙门起重机结构参数化建模过程[J].机电技术.2010
[6].邢少敏,周伯生,陈天影.一种面向服务的业务过程建模语言[J].北京航空航天大学学报.2008
[7].黄正东,魏昕,周凡利,陈立平.Modelica语言的过程式建模机制研究与实现[J].微计算机信息.2007
[8].刘树锟,阳小华,刘杰.Java建模语言在程序不变量动态发现过程中的应用[J].计算机工程与设计.2007
[9].魏昕.多领域统一建模语言中的过程式建模机制研究与实现[D].华中科技大学.2007
[10].高新勤,李宗斌,闫利军.基于统一建模语言和多色集合的并行设计过程研究[J].西安交通大学学报.2006