期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到155篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
递归算法的非递归化实现 被引量：27
1
作者 朱振元 朱承 《小型微型计算机系统》 CSCD 北大核心 2003年第3期567-570,共4页
由递归算法直接转换成相应的非递归算法能有效地提高程序的执行效率 .本文列出了几类递归算法的非递归化实现方法 ,分别说明了这几类递归算法的特点及算法实例 。
关键词 递归算法 非递归化 程序设计 递归函数 递归过程
下载PDF
递归程序设计教学方法的研究 被引量：10
2
作者 吴晓晨 《天津科技》 2017年第1期69-73,共5页
递归程序设计基于分治法和全息的思想方法,将大规模系统中的复杂问题转化为小规模系统问题进行求解(如Hanio塔问题)。递归算法是一种自然且合乎逻辑的解决问题的方式,但其执行效率通常比较差。因此,在求解某些问题时,常采用递归算法来... 递归程序设计基于分治法和全息的思想方法,将大规模系统中的复杂问题转化为小规模系统问题进行求解(如Hanio塔问题)。递归算法是一种自然且合乎逻辑的解决问题的方式,但其执行效率通常比较差。因此,在求解某些问题时,常采用递归算法来分析问题,用非递归算法来求解问题;递归程序设计在算法设计中具有重要的理论意义和实用价值,但其在C语言、数据结构、程序设计教学上是难点,主要是思想方法的不同。介绍了在教学中通过一组例题从简单到复杂的程序实例,引导学生由浅入深地掌握递归程序及搜索的编写技巧,取得较好的效果。 展开更多
关键词 C语言 递归函数 系统理论思想 教学方法
下载PDF
论递归方法的实质和普遍意义 被引量：6
3
作者 李志昌 《楚雄师专学报》 2000年第1期119-123,共5页
从方法论意义上说，递归方法是一种从简单到复杂、从低级到高级的可连续操作的解决问题的方法。它的每一步骤都是能行可操作的，各步骤之间是连续转换的。递归定义是用简单的、自明的要素描述、构造、说明复杂的整体。递归方法是通过解... 从方法论意义上说，递归方法是一种从简单到复杂、从低级到高级的可连续操作的解决问题的方法。它的每一步骤都是能行可操作的，各步骤之间是连续转换的。递归定义是用简单的、自明的要素描述、构造、说明复杂的整体。递归方法是通过解决简单的问题来解决复杂的问题。在人们的思维过程中，普遍存在着递归机制。递归方法是一种处理问题的精致技巧、解决问题的有效方法。从哲学方法论角度研究递归方法，具有重要的意义。 展开更多
关键词 递归定义 递归证法 实质 递归方法 计算机 递归函数 递归论
下载PDF
程序设计中递归函数教学问题探究 被引量：8
4
作者 王慧娇 《计算机教育》 2010年第16期59-62,共4页
递归问题是程序设计语言教学中的一个重点、难点内容,针对递归教学的教学特点,阐述递归函数的精髓和教学方法,提出将理论和实践结合起来,通过剖析学生在学习递归函数时产生的错误和误区,应用实例和类比策略帮助学生解决递归函数学习中... 递归问题是程序设计语言教学中的一个重点、难点内容,针对递归教学的教学特点,阐述递归函数的精髓和教学方法,提出将理论和实践结合起来,通过剖析学生在学习递归函数时产生的错误和误区,应用实例和类比策略帮助学生解决递归函数学习中存在的问题,取得了事半功倍的教学效果。 展开更多
关键词 递归函数 递归教学 程序设计基础
下载PDF
基于ARCS动机模型的程序设计课程翻转课堂教学设计——以“递归函数”教学内容为例 被引量：8
5
作者 郭艳燕 杨军 《计算机教育》 2018年第6期140-144,共5页
以程序设计基础课程中"递归函数"知识点为例,提出从课前、课堂和课后3个教学阶段,进行基于ARCS动机模型的翻转课堂教学设计,并采取相应的教学策略激发和维持学生的学习动机,提升翻转课堂的教学效果。
关键词 翻转课堂 ARCS动机模型 BLOOM 教学设计 程序设计 递归函数
下载PDF
递归函数时间复杂度的分析 被引量：5
6
作者 王红梅 应红霞 季绍红 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2001年第4期111-113,共3页
关键词 渐近算法分析 递归函数 时间复杂度 扩展递归 分治法递归 快速排序 程序设计
下载PDF
一个支持规约获取的形式规约语言 被引量：7
7
作者 陈海明 董韫美 《计算机学报》 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
构造性数学及其哲学意义 被引量：6
8
作者 郝宁湘 《自然辩证法通讯》 CSSCI 1997年第3期22-28,21,共8页
本文在介绍了构造性数学的产生和发展的基础上，重点阐述了它的数学原则和数学基础，表明了可构造性的数学底蕴．最后通过对构造性数学产生的原因和其所要达到的目的的分析，论述了构造性数学的重大意义，同时评析了我国学术界对它的一... 本文在介绍了构造性数学的产生和发展的基础上，重点阐述了它的数学原则和数学基础，表明了可构造性的数学底蕴．最后通过对构造性数学产生的原因和其所要达到的目的的分析，论述了构造性数学的重大意义，同时评析了我国学术界对它的一些认识。 展开更多
关键词 构造性数学 递归函数 可靠性 哲学思想
下载PDF
C语言递归函数教学的设计与探讨 被引量：6
9
作者 丁雪晶 《电脑知识与技术》 2018年第6期150-152,共3页
针对《C语言程序设计》课程,在教学过程中递归函数部分普遍反映比较难,文章给出了递归函数的定义和设计思路,并通过对几大典型的递归问题给出求解思路和参考代码,加强学生对递归函数的理解,提高学生对递归函数的掌握和应用。
关键词 C语言 递归函数 教学设计 案例分析
下载PDF
递归算法设计思想与策略分析 被引量：5
10
作者 周法国 韩智 高天 《软件导刊》 2017年第10期35-38,共4页
递归作为一种算法设计策略,是程序设计和描述算法的一种有力工具,在程序设计中被广泛应用。尤其在数值计算、数据结构、人工智能、算法设计与分析等领域应用广泛。分析递归算法设计的一般思想与方法、步骤及需要解决的关键问题。通过几... 递归作为一种算法设计策略,是程序设计和描述算法的一种有力工具,在程序设计中被广泛应用。尤其在数值计算、数据结构、人工智能、算法设计与分析等领域应用广泛。分析递归算法设计的一般思想与方法、步骤及需要解决的关键问题。通过几个经典的可以采用递归实现的算法,详细阐述了如何通过分析问题,找到递归实现的两个基本核心问题,即递归表达式和递归终止条件,并据此编写递归调用函数。 展开更多
关键词 递归算法 递归函数 算法设计 程序设计
下载PDF
图的最大完全子图的一个算法 被引量：5
11
作者 周尚超 刘二根 王森 《华东交通大学学报》 2002年第4期71-72,82,共3页
利用递归算法和引入点的向后度等概念 。
关键词 极大完全子图 点独立数β0(G) 递归函数
下载PDF
n-2型Josephus问题的求解方法
12
作者 黄绍龙 《计算机应用文摘》 2023年第24期87-89,共3页
文章主要利用Python语言讨论解决n-2型Josephus问题。首先,通过计算机模拟求解,其次分析问题的实质,得到递推关系并通过递归函数求解,再次,以n的取值为2的次幂为分界点进行分组,观察解的模式来猜测解的解析式。通过数学归纳法证明了猜... 文章主要利用Python语言讨论解决n-2型Josephus问题。首先,通过计算机模拟求解,其次分析问题的实质,得到递推关系并通过递归函数求解,再次,以n的取值为2的次幂为分界点进行分组,观察解的模式来猜测解的解析式。通过数学归纳法证明了猜测的正确性,最终得出解可以通过循环左移1位获取。通过深入浅出地对n-2型Josephus问题进行分析和求解,有助于提高在数学问题思考方面的能力和水平。 展开更多
关键词 计算机模拟 递归函数 数学归纳法 循环左移位
下载PDF
上下文无关语言上的递归函数——I.CFPRF及CFRF的定义 被引量：4
13
作者 董韫美 《中国科学（E辑）》 CSCD 北大核心 2002年第1期103-115,共13页
建立上下文无关语言（CFL）上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳... 建立上下文无关语言（CFL）上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子.基于CFL句子枚举,提出了极小算子的求值方法.最后,讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则. 展开更多
关键词 CFRF CFPRF 上下文无关语言 递归函数 CFL分层枚举 结构归纳法 形式文法 可计算性理论
原文传递
支持形状分析的符号执行引擎的设计与实现 被引量：4
14
作者 梁家彪 李兆鹏 +1 位作者 朱玲 沈咸飞 《计算机科学》 CSCD 北大核心 2016年第3期193-198,共6页
目前提高软件可靠性的方法有3种:动态测试、静态分析和程序验证。动态测试的结果依赖于测试集的设计,误报率低,漏报率高,分析结果不稳定。程序验证可以对程序的各种性质进行完备的验证。但目前程序验证通常都需要手动证明,分析成本最高... 目前提高软件可靠性的方法有3种:动态测试、静态分析和程序验证。动态测试的结果依赖于测试集的设计,误报率低,漏报率高,分析结果不稳定。程序验证可以对程序的各种性质进行完备的验证。但目前程序验证通常都需要手动证明,分析成本最高。而程序静态分析可以更早、更全面、较高效和低成本地检测到程序中的缺陷。其中符号执行技术是一种比较有应用前景的静态分析技术,可以很好地控制精确度。针对符号执行可伸缩性差和容易产生路径爆炸的问题,在符号执行过程中利用形状分析技术实现自动推导循环不变式和构建函数行为规范,实现了一个较为实用的C程序分析工具。 展开更多
关键词 符号执行 静态分析 循环不变式 递归函数
下载PDF
利用括号表示法优化二叉树算法问题的研究
15
作者 张加恩 吴凤英 +1 位作者 梁玉林 杜少波 《科技风》 2023年第29期100-103,共4页
针对于传统的二叉树算法,利用的都是递归函数。由于递归函数极易造成栈堆溢出,导致二叉树的大小有一定的限制,同时对于空间的浪费较大,而采用括号表示法可以较好地解决这个问题。本文对于括号表示法又进行了进一步的优化,使其能够更完... 针对于传统的二叉树算法,利用的都是递归函数。由于递归函数极易造成栈堆溢出,导致二叉树的大小有一定的限制,同时对于空间的浪费较大,而采用括号表示法可以较好地解决这个问题。本文对于括号表示法又进行了进一步的优化,使其能够更完善地以字符串的方式记录一个二叉树的所有信息。通过遍历字符串,改进了查询二叉树各种数据的算法的效率,为优化二叉树算法提供了借鉴。 展开更多
关键词 二叉树 递归函数 括号表示法 数据结构
下载PDF
递归函数的应用 被引量：3
16
作者 杨霄 《微机发展》 2004年第3期102-103,119,共3页
递归函数独特的运算方式,使其在人工智能和各种事务处理过程中有着广泛的应用,因而成为一个重要的研究课题。文中以迷宫、汉诺塔等为例,根据计算机堆栈原理,具体讨论了用递归函数解题的方法和技巧。给出了递归函数调用时利用变量传递解... 递归函数独特的运算方式,使其在人工智能和各种事务处理过程中有着广泛的应用,因而成为一个重要的研究课题。文中以迷宫、汉诺塔等为例,根据计算机堆栈原理,具体讨论了用递归函数解题的方法和技巧。给出了递归函数调用时利用变量传递解决复杂问题的实例,展示了递归算法在解决非数值运算问题中的独特解题方式和效果。讨论表明,在求解人工智能和各种事务处理问题中,递归函数中合理地利用变量传递可有效地完成求解任务和提高程序的品质。 展开更多
关键词 程序设计 堆栈原理 递归函数 计算机 事务处理
下载PDF
指针类型递归函数前后形状图的自动推断 被引量：3
17
作者 宋艳辉 李兆鹏 陈意云 《小型微型计算机系统》 CSCD 北大核心 2014年第4期759-764,共6页
在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形... 在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形状图的初值,然后沿着函数的递归路径对函数后形状图进行迭代求解.本文还设计了上述自动推断方法中需要用到的形状图之间蕴涵关系的判定方法.本文方法使得原型系统扩展到能够自动验证指针类型的递归函数. 展开更多
关键词 程序验证 形状图逻辑 形状分析 递归函数 不变式的自动推断
下载PDF
程序设计中的递归方法 被引量：3
18
作者 叶青 向珍 《怀化学院学报》 2004年第2期71-73,共3页
对递归程序的结构进行了较为深入的研究 。
关键词 程序设计 递归方法 数据结构 递归算法 递归函数
下载PDF
基于基因表达式编程的递归函数挖掘 被引量：3
19
作者 吴江 唐常杰 +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
二重递归函数类的一种分层
20
作者 郑锡忠 《南京大学学报（数学半年刊）》 CAS 北大核心 1993年第1期39-45,共7页
关键词 递归函数 分层 次递归函数
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
使用帮助 返回顶部