递归程序的转换技术

提出了一种实用的递归程序转换技术,它可以方便地把递归函数转换成与之等价的非递归形式,已在DPS8/49机上实现。     

广义部分求值循环展开的中止条件

循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术,提出一个部分求值或广义部分求值的循环展开中止条件,利用该中止条件能有效地解决这一难题。     

基于递归最大信噪比准则的雷达自适应距离旁瓣抑制

针对脉冲压缩雷达强目标距离旁瓣掩盖弱目标的问题,提出了一种基于递归信噪比准则的旁瓣抑制算法.该算法利用递归函数得到的目标信息作为下一次计算的先验信息来自适应地实现距离旁瓣抑制.该文推导了算法原理,提出了实现步骤,并进行了算法优化.理论和仿真结果表明:在高、低信噪比条件下对单个目标的提取,在高信噪比条件下对单个和多个相邻运动目标提取时,该算法的旁瓣抑制效果优于基于最小均方误差准则的自适应算法,并且具有稳健性好的特点.     

多重递归函数的分层和Grzegorczyk问题

Ritchie肯定地回答了Grzegorczyk第七问题,本文给出了其第九问题的否定性回答。     

上下文无关语言上的递归函数——Ⅰ. CFPRF及CFRF的定义

建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子. 基于CFL句子枚举,提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则.     

上下文无关语言上的递归函数——Ⅱ. CFPRF及CFRF定义的合宜性

证明了函数类CFRF及其真子类CFPRF分别就是上下文无关语言(CFL)上的偏递归函数和原始递归函数. 讨论了它们与其他论域上定义的递归函数的关系,指出自然数上的函数和字上函数都是CFL上的函数. 给出了若干常用的字上原始递归函数，包括逻辑连接词和条件式,还给出构造原始递归函数用的强有力算子：受囿极大和受囿极小算子. 构造了两个非平凡的有重要用途的算法. 即任意CFL的特征函数，以及CFL句子的语法分解函数. 基于它们,叙述了扩展和限制函数论域的方法.     

有向图上的动态规划

在集合论的基础上将离散的动态规划形式化,用递归函数刻划了动态规划的目标函数,并在有向图上建立了动态规划,推广了动态规划方法的应用范围。     

Fibonacci问题的解模型

给出了Fibonacci问题的一种新的解模型。通过这个模型，找出了兔群的转移规律，得到一个与传统的递归解完全一样的非递归算法。