一、过程式语言部分求值循环展开的有效处理方法（论文文献综述）
王鑫,邹磊,王朝坤,彭鹏,冯志勇[1]（2019）在《知识图谱数据管理研究综述》文中研究说明知识图谱是人工智能的重要基石.各领域大规模知识图谱的构建和发布对知识图谱数据管理提出了新的挑战.以数据模型的结构和操作要素为主线,对目前的知识图谱数据管理理论、方法、技术与系统进行研究综述.首先,介绍知识图谱数据模型,包括RDF图模型和属性图模型,介绍5种知识图谱查询语言,包括SPARQL、Cypher、Gremlin、PGQL和G-CORE;然后,介绍知识图谱存储管理方案,包括基于关系的知识图谱存储管理和原生知识图谱存储管理;其次,探讨知识图谱上的图模式匹配、导航式和分析型3种查询操作.同时,介绍主流的知识图谱数据库管理系统,包括RDF三元组库和原生图数据库,描述目前面向知识图谱的分布式系统与框架,给出知识图谱评测基准.最后,展望知识图谱数据管理的未来研究方向.
郭德贵,王冠成,吕帅,刘磊[2]（2017）在《peC语言的部分求值器及在编译器测试中的应用》文中研究说明部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语言的部分求值器,设计了基于部分求值技术的编译器测试框架.通过实验,该方法可以检测出大部分之前其他方法发现的GCC,LLVM编译器中的错误,此外还发现了其他方法不能发现的错误,这表明,将部分求值技术应用到编译器测试中是有效的.
朱昭萌[3]（2016）在《IaaS环境中科学工作流关键技术研究》文中提出科学工作流是大规模科学计算程序的重要组织模式之一。近年来,随着科学研究的日趋广泛和深入,其对计算资源的需求也呈现出爆炸性增长的趋势。基础设施即服务（IaaS）模型是云计算中最重要的一种服务模型,其可以通过网络以虚拟机的形式按需提供大量计算资源,无疑是科学工作流潜在的理想运行环境。然而,作为新兴技术,IaaS平台与传统分布式计算平台在很多方面仍然有着显着的差异。这些差异给科学工作流的调度和执行等都带来了新的挑战。本文围绕IaaS环境中的科学工作流,研究包括构造、调度和执行在内的若干关键问题,文章工作取得的主要成果及创新点包括:1)对IaaS环境中的科学工作流调度问题进行建模,同时针对工作流执行过程研究IaaS平台特点,指出由于这些特点（基于虚拟机的动态资源管理方式、复杂的计费模型以及各种数据共享选项等）导致的现有工作流调度算法在IaaS环境中使用时可能存在的问题。2)针对IaaS环境预算约束条件下性能优先工作流调度问题,提出新的启发式调度算法BHI算法。算法根据任务完成时间、当前已用预算以及最小预留预算等启发式信息将任务调度到合适的虚拟机,在保证预算约束的条件下尽可能的寻找使工作流执行总完成时间最小化的调度方案。同时,还给出新的解决方案解决现有基于列表的启发式调度算法在IaaS环境中难以应用的问题。实验表明,相比现有算法,BHI算法在大多数情况下都可以找到更快的调度方案,同时还具有更高的调度成功率。3)针对IaaS环境中需要同时优化总完成时间和总执行费用的工作流调度问题,指出现有各种元启发算法特别是进化算法的不足;同时,设计新的基于进化算法的EMS-C调度算法。该算法针对IaaS环境提出全新的问题特定编码方式、交叉/变异算子和更有效的种群初始化方法。基于现实工作流应用和Amazon EC2平台虚拟机配置的实验证实了 EMS-C算法设计的有效性;4)针对IaaS环境中的多目标工作流调度问题,提出新的元启发调度算法ESC算法。算法采用进化的思想,但设计了全新的基于虚拟机合并、分裂和配置突变的搜索方法,同时对包括种群初始化和新个体生成策略在内的迭代搜索过程也进行改进。实验表明该算法调度结果优于MOHEFT等现有调度算法,同时相比现有各种元启发调度算法具有更强的搜索能力和更快的搜索速度。5)为解决复杂科学工作流的建模问题,同时充分利用IaaS资源执行科学工作流应用,设计并实现Brick科学工作流工具包。工具包允许用户使用Python脚本便捷地隐式创建科学工作流,同时内置了各种静态/动态调度引擎并支持包括IaaS平台/虚拟机在内的各种计算环境和资源组织形式。文章通过一个真实工作流应用完整的创建、执行和分析过程展示了 Brick工具包的可用性和便利性。6)为使遗留科学计算代码可以使用科学工作流技术和IaaS平台计算资源的进行优化和加速,在Brick工具包中还包括了 Briareus组件。该组件可以在仅添加数条描述性注释的情况下对一个已有的Python计算程序进行工作流化的改造,同时允许将指定的计算任务自动、透明地迁移到IaaS平台进行。文章通过两个科学计算程序实例实际运行效果展示了 Briareus组件的易用性和有效性。
周欣源[4]（2015）在《一种过程式语言编译器的设计与实现》文中提出过程式程序设计语言一直是计算机编程设计语言的一个重要内容之一。到目前为止很多大学仍然把过程式程序开发语言作为计算机编程开发的基础课程,为了学好计算机专业的整个学科,务必要学习好过程式程序设计语言,这非常重要。本课题设计实现的针对过程式程序设计语言的编译器。从20世纪40年代计算机机器语言诞生开始,如何编写正确高效而简洁的程序,对于计算机的应用发展,一直是一个很大的问题。编译原理就是要解决,如何将人的思维,转化为计算机可以理解的代码的问题。本文先从过程式语言及编译器的产生发展进行介绍,然后对开发设计的过程式语言的工具微软的Visual Studio 2010和采用面向对象的程序设计理念进行了详细的说明。把编译器开发分为词法分析器,语法分析器,语义分析等四个步骤。每个步骤按照软件工程的流程分别从模块的总体架构,详细设计中包括对主要实现类的数据结构和算法进行介绍。本课题设计实现的过程式程序设计语言,包含了常用的各种基本数据类如int、double、char、long、bool等;在语句结构上面,包含了顺序执行语句,for循环语句、ifelse判断分支语句等。像其他程序设计语言一样,本课题设计实现的过程式程序设计语言还提供了函数调用功能,而且还支持函数的递归调用。考虑到过程式语言是有一定的复杂度的,本次设计主要是体现功能设计,没有实现过程式语言的编译器的全部功能,给出了编译器的运行方式。本课题主要设计与实现了一种过程式程序设计语言的编译器系统,该过程式程序设计语言,如同C语言、pascal等过程式程序设计语言一样,功能基本完善。
冯彩宁[5]（2013）在《Haskell语言类型推理的语义模型研究》文中提出随着软件系统的规模增长,其复杂程度越来越高。尽管函数式程序的执行效率低,但为解决这类问题提供了一个优美独特的框架。本文通过研究函数式语言Haskell语言的类型推理的语义模型来进一步的挖掘函数式语言的优点。首先,本文通过研究函数式语言的诞生背景以及发展,介绍了有关类型推理的发展及研究现状。阐述了对于改善软件质量、提高软件开发效率具有的重要现实意义和很好的学术价值。通过介绍Haskell语言,讨论了Haskell语言的特性以及Haskell语言作为函数式语言的优缺点。其次,根据形式语义学的相关理论,提出了建立在Haskell语言基础上的类型推理的语义模型。包括两个方面,一种是单态和多态类型推理语义模型,分别从约束和函数应用来说明它们的语义模型,约束相对比较简单,可以直接根据已知推出类型,而函数应用就要运用合一的类型办法来得出最终的类型。另一种是函数类型推理语义模型,通过高阶函数的类型推导得出函数类型推理语义模型,主要包括高阶函数和函数的复合两个方面。
周凡利[6]（2011）在《工程系统多领域统一模型编译映射与仿真求解研究》文中研究指明随着工业实践和科学技术的发展,现代机电产品日趋复杂,通常是由机械、电子、液压、控制等不同领域子系统构成的复杂工程系统。基于多领域统一模型的仿真已经成为支撑复杂工程系统创新设计的新一代CAE技术,该技术的关键在于实现多领域统一模型的编译映射与仿真求解。针对该问题,本文基于多领域统一建模语言Modelica,以构建新一代多领域统一建模与仿真平台为目标,围绕平台构建的关键使能技术,在若干国家863计划项目和国家自然科学基金项目的支持下,对于多领域统一模型编译映射和仿真求解若干关键技术进行了深入研究,主要包括以下几个方面工作：首先,详细分析了Modelica语义约束并系统归纳了多领域模型映射规则。基于编译原理和Modelica规范,对于Modelica关键语义从语义约束角度进行了详细分析,给出了关键语义的关联语义约束分析表,据此确定了Modelica编译框架；系统归纳了从Modelica层次模型到平坦化混合方程系统的映射规则,并分析了Modelica方程系统的典型特征。其次,深入研究了高指标微分-代数方程符号指标缩减及其相容初始化问题,并拟定了数值求解流程框架。针对由大规模微分方程、代数方程和离散方程组成的平坦化混合方程系统,介绍了基于下三角块分方法的分析优化策略,着重研究了基于哑导方法的高指标微分-代数方程的符号缩减方法及其相容初始化问题。针对方程系统分析优化得到的有序方程子集序列,分析了混合微分-代数方程系统的连续-离散求解策略,给出了基于数值计算的求解流程框架。再次,解决了Modelica环境下多体系统建模中的相容性冗余约束符号处理问题。围绕多体建模中产生的相容性冗余约束与Modelica单赋值原则的矛盾问题,首先根据牛顿-欧拉方法推导了基于广义基尔霍夫定律的多体动力学公式,然后将相容性冗余约束分为超定连接冗余约束和自由度重复限制冗余约束。对于前者,分析了冗余约束来源,提出了基于虚拟连接图的冗余约束判定和消除方法。对于后者,针对常见的空间平面闭环机构冗余约束,给出了冗余约束自动判定和消除方法。最后,实现了多领域统一建模与仿真平台MWorks的编译器和求解器。基于上述研究成果,实现了MWorks的编译器和求解器。简要介绍了MWorks平台的特点、功能以及框架结构,并以几个实际工程应用为例展示了平台的有效性。
刘译璟[7]（2011）在《面向对象程序语言的语义，规范及验证》文中指出面向对象（OO）程序语言和开发方法的发展较好满足了软件规模快速发展的需要,带来了计算机软件领域的重大变革。近年来,随着社会对软件系统可靠性和正确性要求的不断增强,开发出行之有效的支持OO程序的开发和验证的技术变得越来越重要和紧迫。为开发强大而实用的OO程序验证系统,必须考虑两个互相依赖的问题:第一,为OO语言定义一个形式化语义。该语义应能处理各种重要的OO特性,如继承,动态方法绑定等;它应足够高级以支持深入的理论研究,又能指导实际验证系统的开发和实用化。第二,开发有效的描述和验证OO程序的技术,既能有效支持程序的验证过程,又使程序的描述和验证可以以模块化的方式进行,从而提高可能验证的程序的规模。本文以开发实用的OO程序验证系统为研究目标,以模型语言μJava为参考研究对象,考查了上述两个问题。μJava是Java的一个串行子类,它包含了许多关键的OO特性,例如引用语义,对象共享,继承和动态方法绑定等,因此是具有典型性和代表性的研究对象。本文首先提出了一个通用的面向对象存储模型,并在此基础上定义了一个面向对象的Separation Logic（OOSL）,用以描述OO程序的执行状态。进而以该逻辑作为描述程序状态的断言语言,为μJava定义了一个最弱前条件语义,证明了该语义的许多良好性质,包括其可靠性和完全性。以这一语义为基础,本文研究了OO程序验证中的许多基本问题,如方法规范,对象不变式,行为子类型等。本文还着眼于实际可用的验证系统,为此在前面工作的基础上逐步扩展μJava,为其加入了丰富的规范描述结构用以描述程序的行为,开发了一个验证框架来检验OO程序是否满足用户提供的规范。所开发的验证框架能支持OO程序的模块化规范描述和验证,避免重复验证代码。文中通过一些典型OO程序实例,说明了OO程序的规范描述和验证工作可能如何在此验证框架下很好进行。文中也将提出的技术与国内外相关工作做了深入细致的对比。本文涉及到了当前的许多研究热点,包括Separation Logic,抽象规范,模块化验证等,在这些方面本文紧跟着理论前沿提出自己的见解;而在一些人们长期关注的理论问题上,例如OO程序的存储模型,对象不变式等问题上,也有些新的认识和观点。综上所述,本文中给出的OO程序验证技术更易于理解,也更贴近工程实践,对开发实用的OO程序验证工具有很好的指导意义。
王丽娜[8]（2009）在《一个过程式语言操作语义的设计与可视化实现》文中研究说明《形式语义学》是计算机软件与理论专业的研究生学位课,在研究生计算机教育中占有重要的地位。它是程序设计理论的组成部分,以数学为工具,利用符号和公式精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。为了让学生能够领会相关概念和方法,加深理论认识的同时提高实践能力,在这种理论性极强的课程中增加实践环节并提供可视化工具十分有必要。本论文就是为了更好地帮助学生深入理解程序设计语言的形式语义而设计,采用递增的方式,按照不同难度级别定义一系列过程式语言,包括:表达式、语句、输入/输出语句、变量声明、嵌套语句、过程/函数等级别。采用抽象机方法定义该语言的操作语义,给出它们的抽象语法及形式定义,设计相应语言的抽象机,并可视化抽象机的执行过程,实现过程式语言操作语义的可视化演示。本系统可以应用于课堂教学及网络教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境。从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。
郭德贵[9]（2007）在《ATLAS语言指称语义及程序分析技术》文中进行了进一步梳理ATLAS（Abbreviated Test Language for All Systems）是一个被广泛应用于军事和电子测试的通用标准测试语言。在国外航空航天、大型武器装备等诸多领域的ATS构建中,ATLAS被视为UUT设计的首选语言。然而,由于ATLAS编译器受美国军方控制,使其在我国相关领域的实际应用受到严重制约。我国对ATLAS语言的跟踪和研究刚刚起步,国内只有少数几家研究机构和军事院校从事ATLAS语言的研究工作。本文重点对ATLAS语言的形式语义、程序分析技术和程序转换技术进行了研究。本文主要贡献如下:1)给出了ATLAS语言的指称语义,为理解和实现该语言奠定了基础。2)给出了ATLAS语言的程序分析方法,将程序切片和部分求值等技术应用于ATLAS程序,从而实现对ATLAS源程序的优化和异常检测。3)提出了启发式双重回溯静态设备分配算法,在一定程度上提高了ATLAS测试程序的运行效率。4)给出了ATLAS语言到C语言的转换规则,为实现该语言提供了一种可行方案。
丁建完[10]（2006）在《陈述式仿真模型相容性分析与约简方法研究》文中研究指明数学建模与仿真已经成为分析产品技术性能的一项重要技术。随着科学技术的高速发展,产品结构和功能日趋复杂与异构。复杂产品通常是机械、电子、液压、控制等多领域子系统的综合体。为优化复杂产品的设计,必然需要将不同领域的子系统模型集成到一起以实现复杂产品整体性能的协同仿真。Modelica语言是一种基于方程的物理系统建模语言,它继承和统一了先前多种面向对象建模语言的诸多优点,非常适合于现代多领域复杂系统建模。面向方程的分析优化器是基于Modelica语言的建模仿真平台的一项核心技术,本文对其进行了深入研究。模型相容是模型可以求解的前提。本文分析了造成仿真模型奇异的原因,提出了基于图论算法的相容性分析方法,显着地提高了奇异模型的识别和修正效率。该方法通过在二部图上计算最大匹配实现了模型的相容性判定。引入虚构方程替代组件的外部连接方程,通过识别奇异组件细化判别范围。在此基础上,使用结构过滤规则和语义过滤规则进一步缩小判别范围,最终给出有效的修正信息。陈述式建模形成的DAE系统规模很大,求解时间长。为支持复杂多领域系统的高效率仿真,本文研究了DAE系统的符号约简技术。结合Modelica模型的特点,通过定义规范转换规则,基于方程的二叉树表示实现了方程表达式的规范转换。运用图论算法消除等值方程,分解方程系统,简化代数环,有效地降低了模型的规模和耦合度,显着地加快了模型的求解速度。数值求解高指标DAE系统是十分困难的。本文讨论了DAE系统的指标分析策略,阐明了指标约简的基本原理。通过定义最小结构奇异子集和加权二部图,提出了基于加权二部图的指标约简方法,该方法可以找出所有需要微分的方程。基于方程的二叉树表示实现了方程的符号微分。结合符号约简技术,给出了大规模DAE系统的指标分析方法,提高了分析效率。在此基础上讨论了DAE模型的相容初始化问题,给出了初始条件的相容性判定标准和初始化方程系统求解策略。基于上述研究成果,设计实现了面向Modelica模型的分析优化器MWOptimizer,为开发基于Modelica语言的建模仿真环境奠定了技术基础,并成功地将其集成到了多领域物理系统混合建模与仿真平台MWorks中。
二、过程式语言部分求值循环展开的有效处理方法（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、过程式语言部分求值循环展开的有效处理方法（论文提纲范文）
（2）peC语言的部分求值器及在编译器测试中的应用（论文提纲范文）
| 1 pe C语言的部分求值技术 |
| 1.1 部分求值的基本定义 |
| 1.2 C语言子集pe C |
| 1.3 部分求值策略 |
| 2 部分求值器的实现 |
| 2.1 LLVM基本环境设置 |
| 2.2 pe C程序的中间表示 |
| 2.3 动态环境维护 |
| 2.4 语义等价变换 |
| 2.5 剩余程序源代码生成 |
| 3 编译器测试框架及实验 |
| 3.1 编译器测试框架 |
| 3.2 实验与分析 |
| 4 总结 |
（3）IaaS环境中科学工作流关键技术研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 相关研究背景 |
| 1.1.1 科学工作流概述 |
| 1.1.2 云计算技术概述 |
| 1.1.3 IaaS与科学工作流 |
| 1.2 国内外研究现状 |
| 1.2.1 科学工作流定义与表示 |
| 1.2.2 科学工作流调度算法 |
| 1.2.3 科学工作流管理系统 |
| 1.2.4 云计算概念发展历史 |
| 1.2.5 科学计算云发展现状 |
| 1.3 存在的问题与挑战 |
| 1.4 主要工作及贡献 |
| 1.5 论文结构安排 |
| 2 IaaS环境工作流调度问题建模 |
| 2.1 IaaS平台建模 |
| 2.1.1 资源管理模型 |
| 2.1.2 计费模型 |
| 2.2 工作流调度问题 |
| 2.2.1 工作流定义 |
| 2.2.2 调度方案 |
| 2.2.3 调度目标 |
| 2.3 问题与挑战 |
| 2.3.1 基于虚拟机的资源模型 |
| 2.3.2 复杂的计费策略 |
| 2.3.3 丰富数据共享选项 |
| 2.4 本章小结 |
| 3 预算约束条件下性能优先调度算法 |
| 3.1 问题定义及假设 |
| 3.2 算法设计 |
| 3.2.1 基于列表的启发式算法 |
| 3.2.2 IaaS平台扩展 |
| 3.2.3 任务优先级排序 |
| 3.2.4 启发式信息与最优服务选择 |
| 3.2.5 BHI算法 |
| 3.3 评估实验及结果 |
| 3.3.1 实验环境及设置 |
| 3.3.2 标准工作流调度效果比较 |
| 3.3.3 生成工作流调度成功率比较 |
| 3.3.4 生成工作流最优调度次数比较 |
| 3.4 本章小结 |
| 4 基于进化算法的时间-费用最小化调度算法 |
| 4.1 问题定义 |
| 4.2 多目标优化与进化算法 |
| 4.3 算法设计 |
| 4.3.1 调度方案编码 |
| 4.3.2 种群初始化 |
| 4.3.3 遗传算子设计 |
| 4.3.4 适应度评估 |
| 4.3.5 算法复杂度分析 |
| 4.4 评估实验及结果 |
| 4.4.1 实验环境及参数设置 |
| 4.4.2 进化框架 |
| 4.4.3 对比算法与性能指标 |
| 4.4.4 算法复杂度对比 |
| 4.4.5 标准工作流调度效果比较 |
| 4.4.6 生成工作流调度效果比较 |
| 4.5 本章小结 |
| 5 针对多目标调度问题的元启发算法 |
| 5.1 问题定义 |
| 5.2 算法设计 |
| 5.2.1 定义与记法 |
| 5.2.2 算法流程 |
| 5.2.3 调度方案表示 |
| 5.2.4 种群初始化 |
| 5.2.5 新个体生成过程 |
| 5.2.6 适应度评估与环境选择 |
| 5.2.7 ESC算法 |
| 5.2.8 算法复杂度分析 |
| 5.3 评估实验及结果 |
| 5.3.1 对比算法与性能指标 |
| 5.3.2 算法复杂度对比 |
| 5.3.3 算法调度结果对比 |
| 5.3.4 算法收敛速度对比 |
| 5.4 本章小结 |
| 6 Brick科学工作流工具包设计与实现 |
| 6.1 设计动机 |
| 6.2 功能概述 |
| 6.2.1 脚本化工作流建模 |
| 6.2.2 工作流调度与执行 |
| 6.2.3 遗留计算代码优化 |
| 6.3 系统设计 |
| 6.3.1 总体设计 |
| 6.3.2 工作流脚本化建模 |
| 6.3.3 工作流调度与执行 |
| 6.3.4 任务序列化与迁移 |
| 6.3.5 Briareus组件设计 |
| 6.4 应用实例 |
| 6.4.1 调度算法实验 |
| 6.4.2 遗留代码优化 |
| 6.5 本章小结 |
| 7 总结与展望 |
| 7.1 研究总结 |
| 7.2 下一步工作 |
| 致谢 |
| 参考文献 |
| 附录 |
（4）一种过程式语言编译器的设计与实现（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 项目研究的背景和意义 |
| 1.2 程序设计语言发展现状 |
| 1.2.1 程序设计语言概念 |
| 1.2.2 程序设计语言的发展趋势 |
| 1.3 编译器的研究现状和发展趋势 |
| 1.3.1 编译器的概念 |
| 1.3.2 编译器的发展趋势 |
| 1.4 论文主要完成的工作和章节安排 |
| 第二章 需求分析 |
| 2.1 可行性研究 |
| 2.1.1 技术可行性 |
| 2.1.2 经济可行性 |
| 2.1.3 时间可行性 |
| 2.2 系统的功能要求 |
| 2.2.1 基本功能 |
| 2.2.2 附加功能 |
| 2.3 系统的性能要求 |
| 2.3.1 可靠性要求 |
| 2.3.2 时间要求 |
| 2.3.3 稳定性要求 |
| 2.4 本章小结 |
| 第三章 过程式语言的形式化定义 |
| 3.1 语言的词法定义 |
| 3.1.1 源代码字符表 |
| 3.1.2 巴科斯范式定义 |
| 3.2 语言的语法定义 |
| 3.2.1 语言的语法概述 |
| 3.2.2 语言的形式化语法定义 |
| 3.3 语言的语义 |
| 3.4 过程式语言的设计 |
| 3.4.1 词法的设计 |
| 3.4.2 语法的设计 |
| 3.4.3 中间代码的选择 |
| 3.5 本章小结 |
| 第四章 编译器的概要设计 |
| 4.1 编译器的运行流程 |
| 4.2 过程式语言编译器的总体结构 |
| 4.3 代码分析模块结构 |
| 4.4 类结构的设计 |
| 4.5 本章小结 |
| 第五章 编译程序的详细设计与实现 |
| 5.1 编译程序的设计目标 |
| 5.2 编译程序的总体结构和流程 |
| 5.2.1 程序结构 |
| 5.2.2 程序流程 |
| 5.3 词法分析 |
| 5.3.1 词法分析程序的算法思想 |
| 5.3.2 Token定义 |
| 5.3.3 DFA分析 |
| 5.4 语法分析 |
| 5.4.1 代码结构分析 |
| 5.4.2 节点定义 |
| 5.4.3 递归向下语法分析 |
| 5.5 程序截图 |
| 5.5.1 目标代码生成 |
| 5.5.2 生成符号表 |
| 5.6 本章小结 |
| 第六章 系统测试 |
| 6.1 测试方法概述 |
| 6.1.1 测试方法综述 |
| 6.1.2 本次选取的测试方法 |
| 6.1.3 系统测试的步骤 |
| 6.2 测试用例 |
| 6.2.1 程序的过滤处理 |
| 6.2.2 词法分析结果 |
| 6.2.3 语法分析出错 |
| 6.2.4 兼容性测试 |
| 6.2.5 用户界面测试的检查表 |
| 6.2.6 性能测试用例 |
| 6.3 测试结果的分析 |
| 6.4 本章小结 |
| 第七章 总结与展望 |
| 致谢 |
| 参考文献 |
（5）Haskell语言类型推理的语义模型研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 研究背景 |
| 1.2 Haskell语言发展及研究现状 |
| 1.2.1 国外研究现状 |
| 1.2.2 国内研究现状 |
| 1.3 Haskell语言类型推理发展现状 |
| 1.4 Haskell语言的基本特征 |
| 1.5 研究意义 |
| 1.6 本论文结构安排 |
| 第二章 函数式程序设计语言Haskell |
| 2.1 引言 |
| 2.2 Haskell语言简介 |
| 2.2.1 Haskell语言定义 |
| 2.2.2 Haskell语言的程序结构 |
| 2.2.3 Haskell语言的函数 |
| 2.2.4 程序实例 |
| 2.3 Haskell语言的特性 |
| 2.3.1 Haskell的惰性计算特性 |
| 2.3.2 Haskell语言的列表内涵特性 |
| 2.3.3 Haskell语言的高阶特性 |
| 2.4 Haskell语言的实用性 |
| 2.5 Haskell语言的执行效率 |
| 2.6 形式语义的相关概念 |
| 2.6.1 惰性操作语义 |
| 2.6.2 惰性指称语义 |
| 2.7 结构归纳法 |
| 2.8 本章小结 |
| 第三章 单态和多态类型推理语义模型 |
| 3.1 单态类型推理 |
| 3.1.1 表达式 |
| 3.1.2 函数 |
| 3.2 单态类型推理语义模型 |
| 3.2.1 Haskell语言的基本类型定义 |
| 3.2.2 Haskell语言的语法集合定义 |
| 3.2.3 Haskell中一些常用函数的类型 |
| 3.2.4 Haskell语言类型构造规则 |
| 3.2.5 单态类型推理的语义模型 |
| 3.3 多态类型推理 |
| 3.3.1 多态类型 |
| 3.3.2 约束 |
| 3.3.3 多态函数应用的类型推理 |
| 3.4 多态类型推理语义模型 |
| 3.4.1 Haskell语言中一些多态类型的函数 |
| 3.4.2 类型说明 |
| 3.4.3 多态类型的类型推理语义模型 |
| 3.5 本章小结 |
| 第四章 函数类型推理语义模型 |
| 4.1 Lambda演算 |
| 4.2 函数层定义 |
| 4.3 高阶类型 |
| 4.4 高阶函数 |
| 4.4.1 map函数 |
| 4.4.2 filter函数 |
| 4.4.3 函数的复合 |
| 4.5 高阶函数类型推理的语义模型 |
| 4.5.1 Haskell中的高阶函数 |
| 4.5.2 高阶类型中的相关定义与规则 |
| 4.5.3 高阶函数类型推理的语义模型 |
| 4.6 本章总结 |
| 第五章 总结与展望 |
| 5.1 论文研究工作总结 |
| 5.2 后续工作及展望 |
| 参考文献 |
| 致谢 |
| 个人简介 |
（6）工程系统多领域统一模型编译映射与仿真求解研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 概述 |
| 1.2 国内外研究综述 |
| 1.3 研究内容与组织结构 |
| 2 工程系统多领域统一建模与Modelica |
| 2.1 Modelica语言 |
| 2.2 基于Modelica语言的物理系统建模 |
| 2.3 小结 |
| 3 Modelica模型编译映射 |
| 3.1 概述 |
| 3.2 模型编译 |
| 3.3 模型映射 |
| 3.4 小结 |
| 4 Modelica方程系统分析求解 |
| 4.1 概述 |
| 4.2 方程系统分析 |
| 4.3 方程系统优化 |
| 4.4 方程系统求解 |
| 4.5 小结 |
| 5 基于Modelica的多体系统建模与仿真 |
| 5.1 概述 |
| 5.2 基于广义基尔霍夫定律的多体动力学 |
| 5.3 Modelica标准多体库 |
| 5.4 相容性冗余约束与超定连接机制 |
| 5.5 多体系统运动闭环结构 |
| 5.6 Modelica多体系统模型编译与求解 |
| 5.7 小结 |
| 6 多领域统一建模与仿真平台MWorks |
| 6.1 概述 |
| 6.2 平台框架与模块 |
| 6.3 应用案例 |
| 6.4 小结 |
| 7 结论与展望 |
| 7.1 全文结论 |
| 7.2 研究展望 |
| 致谢 |
| 参考文献 |
| 附录 攻读学位期间发表论文目录 |
（7）面向对象程序语言的语义，规范及验证（论文提纲范文）
| 摘要 |
| Abstract |
| 绪言 |
| 0.1 论文主要贡献 |
| 0.2 章节概要 |
| 第一章 相关工作 |
| 1.1 Hoare逻辑 |
| 1.2 Separation Logic |
| 1.3 最弱前条件语义 |
| 1.4 OO程序验证技术 |
| 第二章 OO模型语言?Java |
| 2.1 语法 |
| 2.2 静态环境和类型系统 |
| 第三章 面向对象的Separation Logic （OOSL） |
| 3.1 面向对象程序的存储模型 |
| 3.2 断言语言 |
| 3.3 语义 |
| 3.4 性质及推理规则 |
| 3.5 小结和相关工作 |
| 第四章 ?Java的最弱前条件语义 |
| 4.1 最弱前条件语义 |
| 4.2 性质 |
| 4.3 例子 |
| 4.4 可靠性和完全性 |
| 4.4.1 ?Java的操作语义 |
| 4.4.2 可靠性 |
| 4.4.3 完全性 |
| 4.5 总结和与已有工作的比较 |
| 第五章 规范，对象不变式和行为子类型 |
| 5.1 规范及其精化关系 |
| 5.2 对象不变式 |
| 5.3 行为子类型 |
| 5.4 小结与相关工作 |
| 第六章 ?Java的基本验证框架：VeriJ0 |
| 6.1 语法 |
| 6.2 静态环境 |
| 6.3 推理系统 |
| 6.4 可靠性 |
| 6.5 例子和面临的问题 |
| 6.5.1 方法体的验证 |
| 6.5.2 类的验证 |
| 6.5.3 总结 |
| 6.6 小结与相关工作 |
| 第七章 信息隐藏和抽象规范 VeriJ1 |
| 7.1 语法 |
| 7.2 静态环境 |
| 7.3 推理系统 |
| 7.4 可靠性 |
| 7.5 验证实例 |
| 7.5.1 重新考察Cell的例子 |
| 7.5.2 队列 |
| 7.5.3 使用Queue 和EQueue的客户程序 |
| 7.6 小结和相关工作 |
| 第八章显式的代码重用：VeriJ2 |
| 8.1 语法 |
| 8.2 静态环境 |
| 8.3 推理系统 |
| 8.4 重新考察DCell |
| 8.5 小结和相关工作 |
| 第九章 总结和展望 |
| 9.1 总结 |
| 9.2 展望 |
| 参考文献 |
| 个人简历及在学期间工作 |
| 致谢 |
（8）一个过程式语言操作语义的设计与可视化实现（论文提纲范文）
| 中文摘要 |
| 英文摘要 |
| 第一章 引言 |
| 1.1 论文研究背景 |
| 1.2 论文研究主要目的 |
| 1.3 论文完成主要工作 |
| 1.4 论文组织结构 |
| 第二章 概述 |
| 2.1 过程式语言形式语义的发展历史及现状 |
| 2.2 过程式语言形式语义的主要研究方法 |
| 2.3 过程式语言操作语义研究的重要性 |
| 2.4 操作语义学产生背景 |
| 2.5 操作语义学的发展历史 |
| 2.6 操作语义学概念 |
| 2.7 重要论域 |
| 2.7.1 静态环境 |
| 2.7.2 动态环境 |
| 2.7.3 值 |
| 2.8 基于抽象机方法定义程序设计语言的操作语义 |
| 第三章 过程式语言 SL 语法定义 |
| 3.1 SL 语言特点 |
| 3.2 SL 语言文法 |
| 3.3 SL 语言源程序示例 |
| 第四章 SL 语言操作语义的设计 |
| 4.1 SLe 表达式语言 |
| 4.2 SL0 语句语言 |
| 4.3 SLrw 输入输出语言 |
| 4.4 SLd 变量声明语言 |
| 4.5 SLb 嵌套语言 |
| 4.6 SLpf 过程和函数语言 |
| 第五章 SL 语言操作语义可视化系统的总体设计 |
| 5.1 词法分析系统 |
| 5.2 语法分析系统 |
| 5.3 操作语义系统 |
| 5.4 演示系统 |
| 第六章 SL 语言操作语义可视化系统的实现 |
| 6.1 词法分析系统的实现 |
| 6.1.1 词法分析的主要任务 |
| 6.1.2 SL 语言所定义的词法 |
| 6.1.3 词法分析程序的实现 |
| 6.2 语法分析系统的实现 |
| 6.2.1 语法分析的主要任务 |
| 6.2.2 递归下降法的实现 |
| 6.2.3 语法分析程序的输出 |
| 6.2.4 语法分析程序的实现 |
| 6.3 操作语义系统的实现 |
| 6.3.1 SLe 表达式语言 |
| 6.3.2 SL0 语句语言 |
| 6.3.3 SLrw 输入输出语言 |
| 6.3.4 SLd 变量声明语言 |
| 6.3.5 SLb 嵌套语言 |
| 6.3.6 SLpf 过程和函数语言 |
| 6.4 演示系统的实现 |
| 6.4.1 抽象机的可视化实现 |
| 6.4.2 图形演示类库的实现 |
| 第七章 结语 |
| 参考文献 |
| 致谢 |
| 在学校期间公开发表论文情况 |
（9）ATLAS语言指称语义及程序分析技术（论文提纲范文）
| 内容提要 |
| 第一章 绪论 |
| 1.1 ATLAS 语言简介 |
| 1.1.1 产生和发展 |
| 1.1.2 ATLAS 语言的特点 |
| 1.1.3 ATLAS 程序基本结构 |
| 1.1.4 ATLAS 语言信号语句 |
| 1.2 研究现状 |
| 1.3 研究目的和意义 |
| 1.4 本文工作 |
| 第二章 ATLAS 语言指称语义 |
| 2.1 抽象语法及符号约定 |
| 2.2 类型的语义 |
| 2.3 声明部分的语义 |
| 2.4 表达式的语义 |
| 2.5 非信号语句的语义 |
| 2.6 信号语句的语义 |
| 2.6.1 语义域定义 |
| 2.6.2 语义函数定义 |
| 2.7 本章小结 |
| 第三章 ATLAS 程序分析技术 |
| 3.1 信号语句分析 |
| 3.1.1 活跃性分析 |
| 3.1.2 实际应用 |
| 3.2 ATLAS 程序切片 |
| 3.2.1 程序切片介绍 |
| 3.2.2 基于设备依赖的切片 |
| 3.2.3 基于信号依赖的切片 |
| 3.3 ATLAS 语言部分求值 |
| 3.3.1 基本原理 |
| 3.3.2 非信号语句部分求值 |
| 3.3.3 信号语句部分求值 |
| 3.4 本章小结 |
| 第四章 ATLAS 设备分配 |
| 4.1 ATLAS 设备分配简介 |
| 4.2 动态设备分配 |
| 4.3 穷举法静态分配 |
| 4.3.1 基本原理 |
| 4.3.2 分配算法 |
| 4.4 启发式静态分配 |
| 4.4.1 设备分配问题的抽象描述 |
| 4.4.2 启发式双重回溯剥夺算法 |
| 4.4.3 存在请求动态释放情况下算法的改进 |
| 4.4.4 特殊情况的处理 |
| 4.4.5 实例分析 |
| 4.4.6 启发函数的改进 |
| 4.5 切片技术在设备分配中的应用 |
| 4.6 本章小结 |
| 第五章 ATLAS 语言到C 转换 |
| 5.1 转换函数定义 |
| 5.2 转换规则 |
| 5.2.1 类型的转换 |
| 5.2.2 声明部分的转换 |
| 5.2.3 非信号语句的转换 |
| 5.2.4 单动作信号语句的转换 |
| 5.2.5 多动作信号语句的转换 |
| 5.2.6 总线语句的转换 |
| 5.3 本章小结 |
| 第六章 总结与展望 |
| 参考文献 |
| 作者读博期间的成果 |
| 摘要 |
| ABSTRACT |
| 致谢 |
（10）陈述式仿真模型相容性分析与约简方法研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 课题背景及意义 |
| 1.2 多领域建模与仿真综述 |
| 1.3 论文研究内容与组织结构 |
| 2 基于Modelica 语言的多领域建模与仿真基本原理 |
| 2.1 Modelica 语言 |
| 2.2 基于Modelica 语言的物理系统建模 |
| 2.3 Modelica 模型的编译与求解 |
| 2.4 本章小结 |
| 3 陈述式仿真模型的相容性分析 |
| 3.1 引言 |
| 3.2 方程系统表示图及相关概念 |
| 3.3 仿真模型的相容性判定 |
| 3.4 奇异组件的识别 |
| 3.5 过约束问题分析策略 |
| 3.6 欠约束问题分析策略 |
| 3.7 复合组件引起的奇异问题 |
| 3.8 本章小结 |
| 4 陈述式仿真模型的约简策略研究 |
| 4.1 引言 |
| 4.2 方程表达式的规范转换 |
| 4.3 方程系统的规模分解 |
| 4.4 强耦合方程子集约简策略 |
| 4.5 内嵌积分 |
| 4.6 本章小结 |
| 5 DAE 模型的指标分析与相容初始化 |
| 5.1 引言 |
| 5.2 高指标问题及相关概念 |
| 5.3 现有指标约简方法 |
| 5.4 基于加权二部图的指标约简 |
| 5.5 复杂DAE 系统的指标分析 |
| 5.6 Modelica 模型的相容初始化 |
| 5.7 本章小结 |
| 6 分析优化器简介与分析实例 |
| 6.1 总体结构 |
| 6.2 功能模块介绍 |
| 6.3 分析实例 |
| 6.4 本章小节 |
| 7 全文总结与展望 |
| 7.1 全文总结 |
| 7.2 研究展望 |
| 致谢 |
| 参考文献 |
| 附录 作者攻读博士学位期间发表的论文 |
四、过程式语言部分求值循环展开的有效处理方法（论文参考文献）
- [1]知识图谱数据管理研究综述[J]. 王鑫,邹磊,王朝坤,彭鹏,冯志勇. 软件学报, 2019(07)
- [2]peC语言的部分求值器及在编译器测试中的应用[J]. 郭德贵,王冠成,吕帅,刘磊. 软件学报, 2017(05)
- [3]IaaS环境中科学工作流关键技术研究[D]. 朱昭萌. 南京理工大学, 2016(06)
- [4]一种过程式语言编译器的设计与实现[D]. 周欣源. 电子科技大学, 2015(07)
- [5]Haskell语言类型推理的语义模型研究[D]. 冯彩宁. 宁夏大学, 2013(03)
- [6]工程系统多领域统一模型编译映射与仿真求解研究[D]. 周凡利. 华中科技大学, 2011(05)
- [7]面向对象程序语言的语义，规范及验证[D]. 刘译璟. 北京大学, 2011(10)
- [8]一个过程式语言操作语义的设计与可视化实现[D]. 王丽娜. 东北师范大学, 2009(11)
- [9]ATLAS语言指称语义及程序分析技术[D]. 郭德贵. 吉林大学, 2007(03)
- [10]陈述式仿真模型相容性分析与约简方法研究[D]. 丁建完. 华中科技大学, 2006(03)