导读:本文包含了过程实例化论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:过程,实例,建模,自动机,虚拟现实,软件,对等。
过程实例化论文文献综述
胡春鹤,刘文定[1]（2018）在《基于虚拟现实技术的实例化教学模式的探索——以“过程控制系统”课程为例》一文中研究指出鉴于"过程控制系统"课程当前面临的理论脱离实际、教学手段单一、实践教学条件受限等问题,在结合工业生产实际需求的基础上探索了基于虚拟现实技术的新型实例化教学模式。在探索该教学模式的过程中,利用虚拟化工厂Factory IO软件平台提供的多种虚拟工厂组件,搭建了理论课程虚拟化教具;借鉴飞行员地面训练模式搭建了含有故障诊断与现场调试功能的交互式实验系统与评价体系;开展了学生自主课程设计选题尝试。北京林业大学工学院进行的试点教学探索表明,该教学模式能够充分提高教学质量、丰富课程内容,为"过程控制系统"课程在"互联网+"框架下的发展提供了重要借鉴意义。(本文来源于《中国林业教育》期刊2018年06期）
杨忠[2]（2017）在《翻译作为再实例化过程的语篇意义对等及译者主体作用》一文中研究指出"对等"概念被认为是翻译领域的顶级模因之一,影响深远,然而对其内涵的诠释见仁见智。近二十多年来,语篇分析途径的翻译研究者提出语篇翻译对等、创造性对等的新术语。系统功能语言学提出语篇性质,但对语篇性质的内涵缺乏系统阐述。本文基于功能语言学实例化理论探究语篇意义对等的内涵,提出译作与原作在目的性、选择性、创造性、连贯性、互文性方面尽可能相似。在翻译作为再实例化过程中译者只有充分发挥话语分析、语用推理、意义重构、文化差异融通等主体作用才能实现译作与原作语篇性质一致。(本文来源于《外语与外语教学》期刊2017年04期）
李伟亨,谢淼,翟健,杨秋松[3]（2014）在《带时间和资源约束的实例化过程模型验证方法》一文中研究指出软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败.已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性.提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO/ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO/ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导.(本文来源于《计算机系统应用》期刊2014年10期）
李明,柳军飞[4]（2008）在《实例化过程模型的时间自动机描述方法研究》一文中研究指出语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。(本文来源于《计算机应用与软件》期刊2008年09期）
过程实例化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
"对等"概念被认为是翻译领域的顶级模因之一,影响深远,然而对其内涵的诠释见仁见智。近二十多年来,语篇分析途径的翻译研究者提出语篇翻译对等、创造性对等的新术语。系统功能语言学提出语篇性质,但对语篇性质的内涵缺乏系统阐述。本文基于功能语言学实例化理论探究语篇意义对等的内涵,提出译作与原作在目的性、选择性、创造性、连贯性、互文性方面尽可能相似。在翻译作为再实例化过程中译者只有充分发挥话语分析、语用推理、意义重构、文化差异融通等主体作用才能实现译作与原作语篇性质一致。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
过程实例化论文参考文献
[1].胡春鹤,刘文定.基于虚拟现实技术的实例化教学模式的探索——以“过程控制系统”课程为例[J].中国林业教育.2018
[2].杨忠.翻译作为再实例化过程的语篇意义对等及译者主体作用[J].外语与外语教学.2017
[3].李伟亨,谢淼,翟健,杨秋松.带时间和资源约束的实例化过程模型验证方法[J].计算机系统应用.2014
[4].李明,柳军飞.实例化过程模型的时间自动机描述方法研究[J].计算机应用与软件.2008
论文知识图
