用一个表达式表示物质循环数列的通项

给出了循环数列的定义，并用克莱姆法则证明了循环数列通项可用一个表达式表示。     

森林公园景观节能设计与实现

针对当前对公园景观设计过程资源消耗较大问题,提出基于三维图像的森林公园景观节能设计方法。根据森林公园所处位置周边地形,结合金刚石方格算法获取三维地形框架,以公园凹陷为例进行填充,并对其进行递归、细化处理;采用背面剔除技术规划公园中树木、道路等分布,通过得到的递归函数完成景观节能规划设计。实验结果表明,所提设计方法对森林公园景观数据采集准确,明显降低了景观设计过程的能耗,具有较强的实际意义。     

元数学对计算机科学的启示

文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。     

一个支持规约获取的形式规约语言

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

基于MATLAB的水下地形冲刷过程模拟研究

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

基于动力衰减方程的地形冲刷过程研究

以一级动力衰减反应方程为基础,通过原始递归函数理论的曲线(面)拟合法,通过对选取点插值得出水下地形冲刷过程线,用插值曲线对水下地形发展过程进行模拟.黄河下游不抢险潜坝模型试验表明,该模拟方法是可行的,推出的局部冲刷发展过程模拟方程可供局部冲刷模式理论分析时参考.     

关于定义递归函数类的一个等价定理

对数学基础性质进行研究,从集合论的角度对递归函数类加以刻划,证明了关于递归函数类定义的一道等价的命题     

一种基于算盘的 —算盘机

本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。     

浅谈递归算法在软件开发中的应用

递归是设计和描述算法的一种有力的工具，在软件开发中经常会用到这种算法。本文主要介绍了算法好坏的衡量指标，递归算法的构造，并根据实际项目的需求，分析了解决方法，画出了使用的递归函数的流程图，作为项目开发人员研究的依据。