基于基因表达式编程的递归函数挖掘 被引量：3

1

作者 吴江 唐常杰 +3 位作者 姜玥 叶尚玉 段磊 李太勇 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2007年第5期127-132,共6页

传统基因表达式编程(GEP)无法发现递归函数。为此,分析了传统GEP算法在函数挖掘方面不足的深层次原因,提出了基于递归染色体的基因表达式编程算法GEP-RecurMiner和动态进化策略(DSCMS)。理论分析和实验证明了GEP-RecurMiner极大地扩充... 传统基因表达式编程(GEP)无法发现递归函数。为此,分析了传统GEP算法在函数挖掘方面不足的深层次原因,提出了基于递归染色体的基因表达式编程算法GEP-RecurMiner和动态进化策略(DSCMS)。理论分析和实验证明了GEP-RecurMiner极大地扩充了传统GEP函数挖掘方法的求解空间,能精确地发现传统GEP无法发现的递归函数,同时实验表明动态进化策略有效地提高了GEP-RecurMiner函数挖掘算法的效率,挖掘成功率提高20%,平均进化代数下降10%。 展开更多

关键词 基因表达式编程 递归函数 函数挖掘 GEP-RecurMiner

在线阅读 下载PDF 职称材料

递归函数时间复杂度的分析 被引量：5

2

作者 王红梅 应红霞 季绍红 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2001年第4期111-113,共3页

关键词 渐近算法分析 递归函数 时间复杂度 扩展递归 分治法递归 快速排序 程序设计

在线阅读 下载PDF 职称材料

针对递归函数的高级综合编译优化算法 被引量：2

3

作者 张茉莉 杨海钢 +2 位作者 刘峰 黄娟 崔秀海 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2013年第10期1557-1565,共9页

为了消除高级综合中的递归函数调用,提出一种基于函数调用图(FCG)和分支决策的编译优化算法.首先在LLVM编译器架构下给出FCG的中间结构,将递归调用转换为非递归函数的嵌套调用,然后借助决策树的构造规则去除函数体中的分支判断及未调用... 为了消除高级综合中的递归函数调用,提出一种基于函数调用图(FCG)和分支决策的编译优化算法.首先在LLVM编译器架构下给出FCG的中间结构,将递归调用转换为非递归函数的嵌套调用,然后借助决策树的构造规则去除函数体中的分支判断及未调用的子支,最后采用子函数复用、资源预评估的方法控制实现电路的规模.实验结果表明,与内联展开算法RecursionHW相比,采用该算法综合后的逻辑单元数平均减少63%,时钟频率平均提高3.2倍,并且高级综合的总时长随递归深度的增大而呈指数级减少. 展开更多

关键词 高级综合 递归函数 编译优化 函数调用图 决策树

在线阅读 下载PDF 职称材料

基于递归函数理论的任意曲线拟合方法的研究 被引量：4

4

作者 李春 程新广 《上海理工大学学报》 CAS 1998年第3期225-228,共4页

提出了一种任意曲线拟合的新方法，该方法以递归函数理论为基础，应用原始递归式来表示函数，求解过程中以递归迭代为主要计算方法，避免了用传统最小二乘法所致的病态矩阵现象，且在拟合多项式时具有自动确定其次数的优点．

关键词 曲线拟合 递归函数理论 最小二乘拟合

在线阅读 下载PDF 职称材料

机器发现的递归函数法 被引量：2

5

作者 李爱中 黄梯云 洪家荣 《计算机学报》 EI CSCD 北大核心 1993年第8期577-582,共6页

为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该... 为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。 展开更多

关键词 机器 递归函数

在线阅读 下载PDF 职称材料

一种新型递归函数的求值算法 被引量：2

6

作者 陈海明 《软件学报》 EI CSCD 北大核心 2004年第9期1277-1291,共15页

上下文无关语言上递归函数(recursive functions on context-free languages,简称 CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在... 上下文无关语言上递归函数(recursive functions on context-free languages,简称 CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和语法分析的结合方式之后,对主要算法按照算法适用范围从小到大的顺序(同时也是算法研究和提出的顺序)做了较为全面的介绍,着重介绍一种通用的新的高效求值算法,即面向树的求值算法.同时对把 CFRF 扩充为多种类递归函数后的求值方法进行了说明.CFRF 的几个求值算法均已在机器上实现,得到了实践的检验. 展开更多

关键词 上下文无关语言 递归函数 求值算法

在线阅读 下载PDF 职称材料

模型发现和维护的递归函数方法 被引量：1

7

作者 李爱中 《管理工程学报》 CSSCI 1994年第3期142-148,161,共8页

本文提出了一种用于计算机进行模型自动发现和自动维护的方法──递归函数方法。本文的主要工作包括：（一）应用递归函数理论给出了模型的形式化定义，（二）定义了一种模型的评价指标。（三）给出了从大量经验数中发现最优模型的算法... 本文提出了一种用于计算机进行模型自动发现和自动维护的方法──递归函数方法。本文的主要工作包括：（一）应用递归函数理论给出了模型的形式化定义，（二）定义了一种模型的评价指标。（三）给出了从大量经验数中发现最优模型的算法，（四）给出了模型的维护算法。 展开更多

关键词 模型发现 模型维护 递归函数

在线阅读 下载PDF 职称材料

一种二元双重递归函数的变换模式

8

作者 范明 李连友 《郑州大学学报（自然科学版）》 CAS 1991年第2期26-30,共5页

本文给出一种程序变换模式,它使用数组消除二元双重递归函数的递归,直接得到其等价的迭代解。然后,通过例子说明变换模式的用法,并证明变换模式的正确性。

关键词 程序变换 递归函数 迭代解

在线阅读 下载PDF 职称材料

递归函数的快速计算

9

作者 朱玉龙 任文岚 《小型微型计算机系统》 CSCD 北大核心 2003年第7期1362-1363,共2页

本文以赛马矩阵为例 ,给出一种递归函数的快速计算方法 。

关键词 赛马矩阵 递归函数

在线阅读 下载PDF 职称材料

指针类型递归函数前后形状图的自动推断 被引量：3

10

作者 宋艳辉 李兆鹏 陈意云 《小型微型计算机系统》 CSCD 北大核心 2014年第4期759-764,共6页

在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形... 在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形状图的初值,然后沿着函数的递归路径对函数后形状图进行迭代求解.本文还设计了上述自动推断方法中需要用到的形状图之间蕴涵关系的判定方法.本文方法使得原型系统扩展到能够自动验证指针类型的递归函数. 展开更多

关键词 程序验证 形状图逻辑 形状分析 递归函数 不变式的自动推断

在线阅读 下载PDF 职称材料

递归函数的π可定义性及其实现研究 被引量：1

11

作者 颜锋 陈韬略 +1 位作者 韩婷婷 吕建 《小型微型计算机系统》 CSCD 北大核心 2005年第10期1749-1753,共5页

并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型,是一种重要的移动进程演算,其中 的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力．正如λ演算 能够描... 并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型,是一种重要的移动进程演算,其中 的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力．正如λ演算 能够描述所有的可计算函数,π演算也有同样的能力．本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了 π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率． 展开更多

关键词 Π演算 Λ演算 π可定义性 递归函数

在线阅读 下载PDF 职称材料

一类递归函数的多态类型 被引量：1

12

作者 黄文集 《软件学报》 EI CSCD 北大核心 2004年第7期969-976,共8页

以上下文无关语言上的递归函数为基础的语言LFC(languageforcontextfreerecursivefunction)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificationacquisitions... 以上下文无关语言上的递归函数为基础的语言LFC(languageforcontextfreerecursivefunction)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specificationacquisitionsystem)中实现,为其最初设计的类型系统不支持多态类型.引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统.对多态类型系统实现中的一些问题也进行了讨论.在实现多态之后,LFC的灵活性将得到增强,从而会为其应用创造更为有利的条件. 展开更多

关键词 函数式语言 多态 类型检查 递归函数 类型系统

在线阅读 下载PDF 职称材料

递归函数中的 Cache

13

作者 沈宁川 王晓斌 《电子科技大学学报》 EI CAS CSCD 北大核心 1990年第6期602-605,共4页

由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码,运行时很难检查共享计算,因此可能导致重复计算,为此人们提... 由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码,运行时很难检查共享计算,因此可能导致重复计算,为此人们提出了用“记忆函数”(memo function)来解决这一问题.本文主要介绍如何在 FC-机中,利用 Cache 来实现“记忆函数”。最后给出了性能分析和在FFP 系统上的实际测试结果。 展开更多

关键词 递归函数 记忆函数 共享计算 CACHE

在线阅读 下载PDF 职称材料

λ－可定义函数的构造性解

14

作者 朱一清 《东南大学学报（自然科学版）》 EI CAS CSCD 1996年第1期109-111,共3页

λ－可定义函数的构造性解朱一清（东南大学计算机科学与工程系，南京２１００１８）根据Ｋｌｅｅｎｅ定理，凡λ－可定义的数论函数均是递归函数，反之亦然．因此，常借助于递归函数和递归定义来描述一个λ－可定义函数．一个λ－可定... λ－可定义函数的构造性解朱一清（东南大学计算机科学与工程系，南京２１００１８）根据Ｋｌｅｅｎｅ定理，凡λ－可定义的数论函数均是递归函数，反之亦然．因此，常借助于递归函数和递归定义来描述一个λ－可定义函数．一个λ－可定义的函数是λ－项所组成的集合中的一... 展开更多

关键词 λ-可定义函数 递归函数 构造性解

在线阅读 下载PDF 职称材料

迭代函数及其可计算性

15

作者 阎志欣 黄盛萍 《软件学报》 EI CSCD 北大核心 1996年第A00期232-238,共7页

带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言，该语言既可描述递归，又可描述迭代，本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数变可计算部分递归函数，这就等于证明任何图... 带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言，该语言既可描述递归，又可描述迭代，本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数变可计算部分递归函数，这就等于证明任何图灵可计算的部分函数，都可用有坚实数学基础的部分迭代函数高效地进行计算，文中定义了复合算子、原始迭代和最小化迭代子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的。 展开更多

关键词 迭代函数 递归函数 可计算性

在线阅读 下载PDF 职称材料

正确定义 灵活调用——PASCAL的自定义函数和过程

16

作者 唐春燕 《职教论坛》 2002年第2期58-58,共1页

关键词 过程 参数 递归函数 自定义函数 PASCAL 程序设计

在线阅读 下载PDF 职称材料

合成高分子心脏瓣膜结构优化设计

17

作者 李涛 陈宇 《医用生物力学》 CAS CSCD 北大核心 2024年第S01期384-384,共1页

目的为提升高分子心脏瓣膜的耐久性,本文通过结构优化设计研究,增强瓣膜在工作周期内的机械性能。方法使用流固耦合的数值模拟方法,从仿生的视角设计分形几何的瓣膜加强筋结构,使用递归函数构建并映射形状到瓣膜表面,使用梁单元来模拟... 目的为提升高分子心脏瓣膜的耐久性,本文通过结构优化设计研究,增强瓣膜在工作周期内的机械性能。方法使用流固耦合的数值模拟方法,从仿生的视角设计分形几何的瓣膜加强筋结构,使用递归函数构建并映射形状到瓣膜表面,使用梁单元来模拟这些加强筋,并在不同的基质材料上测试了加强筋的效应。对模型进行应力、截面流速分布、有效开口面积以及反流量等分析。通过迭代增厚瓣膜子区域,采用流固耦合方法表征了聚合物瓣膜的机械应力分布和血流动力学。并使用拓扑优化迭代确定了优化的瓣膜厚度分布。结果(1)加强筋瓣膜在心动周期内应力水平降低,尽管开口面积有所减小,但选择更软的基质材料可以克服该缺陷。(2)子区域增厚降低了瓣叶上的应力集中,有效开口面积仍符合ISO 5840-3。与原型相比,最终迭代中的最大应力降低了28%。拓扑优化后的瓣膜比原瓣膜最大应力降低了25%,但弯曲刚度更低。结论将分形结构加强筋整合到人造瓣膜设计中,优化了瓣膜稳定性和耐久性,提供了一种创新结构。迭代子区域增厚以及拓扑优化厚度方法展现了进一步提高聚合物心脏瓣膜耐久性的潜力。这些研究为未来人造瓣膜设计提供了新的视角和参考,有望促进该技术的进一步发展和优化。 展开更多

关键词 人造瓣膜 心脏瓣膜 合成高分子 加强筋 心动周期 血流动力学 递归函数 拓扑优化

在线阅读 下载PDF 职称材料

递归算法的非递归化实现 被引量：27

18

作者 朱振元 朱承 《小型微型计算机系统》 CSCD 北大核心 2003年第3期567-570,共4页

由递归算法直接转换成相应的非递归算法能有效地提高程序的执行效率 .本文列出了几类递归算法的非递归化实现方法 ,分别说明了这几类递归算法的特点及算法实例 。

关键词 递归算法 非递归化 程序设计 递归函数 递归过程

在线阅读 下载PDF 职称材料

基于MATLAB的水下地形冲刷过程模拟研究 被引量：4

19

作者 孙东坡 谢锋 +1 位作者 张先起 孙羽 《泥沙研究》 CSCD 北大核心 2011年第1期22-27,共6页

基于水下地形实时监测技术,对河工模型水下地形冲刷发展过程进行了分析,在研究水下地形冲刷过程中,采用MATLAB为平台,对采集的数据进行了过滤处理,通过基于原始递归函数理论的曲线(面)拟合法对选取点进行插值得出水下地形冲刷过程随时... 基于水下地形实时监测技术,对河工模型水下地形冲刷发展过程进行了分析,在研究水下地形冲刷过程中,采用MATLAB为平台,对采集的数据进行了过滤处理,通过基于原始递归函数理论的曲线(面)拟合法对选取点进行插值得出水下地形冲刷过程随时间的变化曲线,用插值曲线对水下地形发展过程进行模拟,再与实测数据进行分析比较,结果证明该模拟方法可行,并对水下地形的冲刷过程研究具有一定参考价值。 展开更多

关键词 MATLAB 递归函数理论 水下地形 冲刷过程 模拟

在线阅读 下载PDF 职称材料

一个支持规约获取的形式规约语言 被引量：7

20

作者 陈海明 董韫美 《计算机学报》 EI CSCD 北大核心 2002年第5期459-466,共8页

该文介绍了形式规约语言 L FC设计的一些主要方面 ,并通过例子说明了 L FC的一些特色 .形式规约语言L FC是为支持软件形式规约的获取工作而开发的 .该语言以一种新的递归函数 ,即定义在上下文无关语言上的递归函数为基础 ,以上下文无关... 该文介绍了形式规约语言 L FC设计的一些主要方面 ,并通过例子说明了 L FC的一些特色 .形式规约语言L FC是为支持软件形式规约的获取工作而开发的 .该语言以一种新的递归函数 ,即定义在上下文无关语言上的递归函数为基础 ,以上下文无关语言为数据类型 ,在语言级支持规约获取 .L FC语言已被用作形式规约获取系统 SAQ的一部分 .使用表明 ,L FC是一个能力强、易使用的语言 ,适合软件形式规约获取之用 。 展开更多

关键词 规约获取 形式规约语言 上下文无关语言 递归函数 计算机

在线阅读 下载PDF 职称材料