函数式语言

摘要： 根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、T LE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。

摘要： 为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以ML语言为例简要介绍函数式语言和单体编程技术,通过实例详细分析函数式语言和单体用于编译实验的优势及对课程教学改革的要求,最后介绍编译原理课程改革具体实践并说明实践效果.

摘要： 通信顺序进程(communicating sequential process,CSP)是一种经典的形式化方法,CSPM是在CSP基础上提出的一种函数式语言.目前Web服务组合中BPEL(business process execution language)模型缺乏可执行的形式化编程语言,通过CSPM提出了一种基于函数式语言的BPEL模型验证方法.首先给出了基于CSPM的BPEL模型建模与验证框架;其次给出了CSPM的进程代数定义;再次详细描述了BPEL语言到CSP以及CSPM的映射方法;最后以一个在线购物系统为例,讨论了该方法的使用效果.实验表明该方法可以提高BPEL模型的可靠性.%Communicating sequential process (CSP) is a classical formal method,and CSPM is a functional programming language which is designed on the basis of CSP.Aiming at the problem that the business process execution language (BPEL) model lacks the executable formalized programming language in Web services,this paper proposes a method for verifying BPEL model based on CSPM.Firstly,a framework is defined to model and verify BPEL model based on CSPM.Then,the basis of CSPM is given based on the definition of CSP.Thirdly,the mapping from BPEL to CSP and CSPM is described.Lastly,the effect of this method is evaluated by modeling and verifying an online shopping system.The experimental results show that this method can greatly increase the reliability of BPEL model.

摘要： 函数式语言编译中,闭包变换和函数消除是广泛采用的高阶代码消除方法.为了提高函数式语言的运行效率,针对函数式语言编译阶段的高阶代码消除过程对目标代码效率的影响,设计并实现了一种函数式语言编译框架.该框架采用了菱形的架构,平行地使用了闭包变换与函数消除两种高阶代码消除方法.设计了一种具有代表性的函数式语言——FUN语言,并以FUN语言为基础,给出了比较框架的一个完整实现.通过该系统,对闭包变换与函数消除的效率影响进行对比实验,选取具有典型特征的测试例,分别从生成代码的规模和运行效率方面对闭包变换与函数消除两种方法的结果进行比较.实验结果表明,与闭包变换相比,使用函数消除方式所得的目标代码量更少,最多可减少33.76％的目标代码量;并且运行效率更高,最多可提高69.51％.

摘要： 软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现一个小型命令式语言IMP的编译器,该编译器将IMP源代码转换成定理证明器Coq接受的函数式语言表示形式的代码,通过语义分析得到IMP目标代码,在堆栈中执行得到结果.本文的重点是使用交互式定理证明器Coq机械验证函数式语言表示形式的源代码编译执行前后的属性和行为均保持一致.本文的工作为使用堆栈的编译器和其他软件系统的机械化形式验证提供了一种新的思路和方法.

摘要： 函数式语言更注重问题描述,因此其有更高的编程效率. 范畴论作为抽象模型,其由对象集和射集构成. 然而函数式语言和范畴模型间对应关系并不明确. 通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的性质.%Functional languages are more efficient than imperative languages because they focus on problem description. Category theory is abstract model, which consists of objects and morphisms. There is not exact relationship between functional languages and models of category theory. The paper shows the general process from functional language to model of category theory and discusses the properties of the model by importing three hypothesizes.

摘要： 目前数据迷惑通常是针对单一具体的数据结构,为了将相同的迷惑方法应用于不同的数据结构,提出了将迷惑看作数据求精,认为迷惑是一个抽象数据类型,建立了证明迷惑正确性的通用方程.通过分割矩阵,改变元素的模式,从而隐藏矩阵的含义.基于该数据类型的操作,利用函数式语言构建了相应的矩阵标准操作的迷惑框架.说明了如何应用矩阵进行纯量及其算术运算的迷惑,运用数学方法证明了迷惑运算的正确性.结果表明迷惑操作与原始操作复杂度相同,提高了操作的难度,是一种有效的数据迷惑方法.

摘要： Google研发总监Peter Norvig曾谈到他在编程上成功的秘诀之一：“至少要学会六门编程语言。一种面向对象语言，如Java或C＋＋：一种函数式语言，

摘要： 当以Erlang接口运行于C/Python/Java等其它语言编写的程序时,需要使用Erlang提供的扩展接口技术,实现Erlang与其它语言的交互使用.文章主要研究Erlang的几种不同的接口技术原理及特点,并通过不同的应用来测试不同接口技术的性能,最后通过结果分析不同扩展接口技术的使用场合.

摘要： 作为微软支持的第一个函数式语言，F#在项目中被越来越多的开发者选用，8月的TIOBE排行榜，F#挺进前二十。

摘要： 随着高性能计算的发展,系统的容错能力越来越受到重视.现在新兴的硬件NVRAM由于其掉电非易失的特性为硬件容错带来了新的可能,同时函数式语言其清晰的数据结构和无副作用的语言特性使得其具有良好的容错和恢复特性.目前对函数式语言的容错方面的研究只应用到其并行条件下无竞争的特点,没有利用其数据特性做容错方面的支持.提出了基于函数式语言和NVRAM的结合,通过顶层语言和底层硬件的配合,实现对系统断电使得程序崩溃情况下的容错和数据恢复.

摘要： Haskell是以数学逻辑为基础、基于λ演算的函数式语言.它包含了很多程序语言设计领域中最近的创新,是多年来函数式语言研究的结晶和顶峰.本文将Haskell语言应用到当前非常热门的信息安全领域,主要介绍Haskell语言的基本知识;利用Haskell实现RSA算法;比较RSA算法的Haskell程序和C程序.经研究发现:尽管Haskell程序的运行速度较C程序稍慢一些,但是,Haskell语言所具有的代码简洁、快速开发等许多优点也是其他程序所不可比拟的.而且,Haskell的编译器已经得到改进,速度已经足够快,对于大多数程序来说,其结果是完全令人满意的.目前,国内对函数式语言的研究非常少.希望本论文在别人学习函数式语言Haskell时可以借鉴,对Haskell这种优秀编程语言的研究和推广起到一点的作用.

摘要： 本文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言文件系统操作,给出了文件系统操作的操作语义.

摘要： 从动态编译与优化的需求出发，对HotSpot profiling技术的分类、提取内容、关键技术、主要算法和HotSpot动态编译典型实现等方面做了小结，并对存在问题进行了分析和展望。

摘要： 从动态编译与优化的需求出发，对HotSpot profiling技术的分类、提取内容、关键技术、主要算法和HotSpot动态编译典型实现等方面做了小结，并对存在问题进行了分析和展望。

摘要： 从动态编译与优化的需求出发，对HotSpot profiling技术的分类、提取内容、关键技术、主要算法和HotSpot动态编译典型实现等方面做了小结，并对存在问题进行了分析和展望。

摘要： 从动态编译与优化的需求出发，对HotSpot profiling技术的分类、提取内容、关键技术、主要算法和HotSpot动态编译典型实现等方面做了小结，并对存在问题进行了分析和展望。

摘要： 本发明公开了一种类java语言基于JVM的函数式编程语法实现方法，包括以下具体步骤：S1：语法解析，转化为语法中间表示层对象，S2：在解析的过程中，将代码分解为左侧表达式、符号和右侧表达式三部分，S3：解析符号。本发明通过语法解析，将公式分为左侧表达式、符号和右侧表达式三个部分，先对左侧表达式进行处理并通过右侧表达式推断出类型以及赋予默认值，然后再对右侧表达式进行处理，避免了空指针错误的发生，让使用平台的非专业人员可配置处高质量无空指针的逻辑，提高了平台操作的便捷性。

摘要： 在本文所描述的主题的实施例中，提出了一种将函数式的图遍历语言转换成扩展的结构化查询语言的方案。在获得以函数式的图遍历语言编写的第一查询之后，根据转换规则将第一查询转换成以扩展的结构化查询语言形式的第二查询。本文所描述的主题的实施例通过对标准的结构化查询语言的扩展，在第二查询中能够保留图数据库中的顶点之间的有向边，并且还可以保留第一查询所包括的流程控制、迭代、临时变量定义、高级数据结构(如数组、字典、树结构)、副作用以及步骤之间的依赖关系。因此，根据本文所描述的主题的实施例，通过对函数式的图遍历语言的转换，能够标识函数式的图遍历语言中具有相同语义的查询，从而能够优化函数式的图遍历语言中的查询。

摘要： 在具有终止操作和源操作的操作的流水线中，建立与终止操作对应的构建器。该构建器还可以与一个或更多个中间操作对应。生成与该构建器对应的数据库查询并将其发送到数据库或数据源，以对数据库进行高效访问。

摘要： 本发明公开了一种类java语言基于JVM的函数式编程语法实现方法，包括以下具体步骤：S1：语法解析，转化为语法中间表示层对象，S2：在解析的过程中，将代码分解为左侧表达式、符号和右侧表达式三部分，S3：解析符号。本发明通过语法解析，将公式分为左侧表达式、符号和右侧表达式三个部分，先对左侧表达式进行处理并通过右侧表达式推断出类型以及赋予默认值，然后再对右侧表达式进行处理，避免了空指针错误的发生，让使用平台的非专业人员可配置处高质量无空指针的逻辑，提高了平台操作的便捷性。

摘要： 本发明公开了一种函数式流体动力学系统与方法，其中，一种函数式流体动力学系统，包括数据导入模块、数据处理模块、数据转换模块、数据配置模块、模型生成模块和流体计算模块，所述数据导入模块、数据处理模块、数据转换模块、数据配置模块、模型生成模块和流体计算模块依次连接，所述数据处理模块包括数据分类单元、数据拆分单元、数据除杂单元、数据整合单元和数据存储单元。本发明通过数学模型生成模块对流域中的各种组件模型的模型数据进行配置、对流域的方程系统进行配置，自动生成流域的可求解的流体动力学数学模型，便于快速准确的进行流体计算，提高流体的计算效率和质量。

摘要： 本发明提供的一种基于函数式定义流程的实现方法，定义灵活的流程级参数，将参数分为入参、出参、入出和内部四种类型，通过参数交换区，实现流程间、任务算子间及流程和算子间的信息传递，并且在传递过程中，将流程参数随时更改成新的值，满足新的任务算子计算需求。多种参数交换区的选择，可选择内存、数据库表或其他存储，满足不同的部署场景。定义了用户级参数作为计算常量，在所有流程和任务节点的计算中只允许引用，不允许更改。任务算子的参数，引用固定值，引用用户级的参数或流程级的参数。任务执行完毕更改流程级的参数。解决了流程间、任务算子间以及流程和算子间信息和数据传递的问题。

摘要： 本发明属于电力系统运行与控制技术领域，尤其涉及一种弃新能源惩罚成本的分段函数式计算方法。包括：确立弃新能源惩罚成本的分段函数式计算方法；定义经济高度模型的优化目标函数；得到多能源系统经济高度策略；基于QPSO算法对多能源发电系统经济高度策略进行优化。本发明通过纳入弃新能源分段惩罚系数函数来增大弃新能源惩罚成本，使得惩罚成本的计算更加具体，从而大幅提高新能源的消纳率，减少弃风、弃光量，使高比例新能源更多的接入电网，使其经济效益与新能源消纳量最大化。

摘要： 本发明公开了一种基于协程的函数式异步数据分发系统及方法，用户在前端设计包含数据处理的逻辑的流程图，并传输至后端流程图解析引擎；流程图解析引擎将表征流程图的数据进行解析，生成计算组件对象和数据流对象，并对应绑定；数据流对象里包含一个协程channel对象用于缓存数据，计算组件执行完处理逻辑后，将执行数据写出逻辑，将数据写入到数据流对象的channel中，由后续计算组件对象的读入函数完成数据的读入并进行后续数据处理逻辑。本发明实际被流程处理的数据在计算组件对象和数据流对象之间传输，这两者均以程序的形式运行在单台服务器上，不涉及跨节点间的网络传输，具有可靠性高、资源利用充分、可扩展性强的优点。

摘要： 本发明涉及贴片机控制技术领域，具体公开了加加速度连续的三角函数式曲线规划方法及系统、贴片机，所述方法包括以下步骤：将曲线规划分为加速段、匀速段和减速段，加速段和减速段分别分为加加速度段、匀加速段和减加速段；设定并初始化曲线规划的运动参数；定义减速段与加速段的平均加速度比值为柔化因子，定义减速段或加速段内的最大加速度与平均加速度比值为加速度系数；根据运动参数、柔化因子和加速度系数计算曲线规划各阶段的时间节点；根据时间节点更新曲线规划各阶段状态。结合三角函数二阶导数连续的特点，设计了加加速度连续的S曲线规划，有效降低运动冲击，保证到位的稳定时间，且运算简单。

摘要： 本发明公开了一种OCaml函数式语言调用GPU进行算子加速的方法。包括：用CUDA代码编写所需算子并生成可供C语言调用的动态链接库；使用可供OCaml函数式语言调用的C函数调用CUDA动态链接库中的CUDA核函数，并生成可供OCaml调用的C动态链接库；OCaml通过调用已经调用CUDA核函数的C函数，并与C动态链接库及其他所需库进行链接，实现OCaml对GPU的调用。本发明从创建并调用动态链接库的角度实现了OCaml函数式语言调用GPU进行算子加速，解决了OCaml面对大量数据的算子计算速度过慢的问题，产生了跨数量级的计算效率提高，同时解决了OCaml调用GPU进行并行计算的问题。