一般递归函数定义中极小化次数问题的研究

研究了定义递归函数过程中极小化运算的次数问题，证实了任意一个递归函数可以从初始子数出发，经有限次复合，递归和至多一次极小化运算而得到。这一结论对计算复杂性理论有明显的意义。     

递归函数浅析

介绍了递归函数和函数的递归调用概念，分析了汉诺塔问题函数的递归调用过程，并对递归和迭代进行了简要的比较     

多值递归函数

本文研究了多值递归函数、多值递归函数与单值递归函数的关系以及多值递归函数的分类等问题.不确定的自动机所表示的函数,实际上就是一种多值递归函数,随着并行结构的电子计算机的出现和计算机网络的建立,并行计算也成了急需解决的问题.多值递归函数则在一定程度上刻画了并行可计算性和自动机的不确定性问题.本文提出多值递归函数的概念并进行了一定的研究,有些研究则是个开始.本文所假定的单值递归函数的一些结果可见文献[3]、[4] [5]、[6]、[7].     

一类递归函数的转换

本文证明了在ＦＰ系统内,对于含单元元函数ｈ,采为ｆ＝ｐ→ｆ。ｋ;ｈ。「ｆ。ｉ,ｊ」、ｆ＝ｐ→ｆ。ｋ;     

一类递归函数的符号计算

针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题，给出了一类递归函数的符号计算方法。该方法把递归函数和图灵机结合起来，通过符号处理可以用接受自变量的图灵机来模拟后继函数的计算过程，对计算机病毒程序及自复制／自传播的研究具有一定的参考价值。     

递归函数的非递归模拟

讨论递归的内部实现原理，就递归函数如何转换为非递归函数，给出一组转换规则。利用该组规则将图的深度优先搜索(DFS)和n阶勒让德多项式的递归算法转换成了等价的非递归算法。     

递归函数时间复杂度的分析

渐进算法分析是对一种算法所消耗资源的估算 ,它可以估算出当问题规模 (一般指算法的输入量 ,比如在排序问题中 ,问题规模一般可以用被排序的记录个数来衡量 )变大时 ,一种算法及实现它的程序的效率[1 ,2 ] ,算法设计者可以据此判断一种算法在实现时是否会遇到资源限制的问题 .影响时间代价的最主要因素一般来说是输入的规模 ,我们经常把执行算法所需要的时间Ｔ写成问题规模ｎ的函数 ,记作Ｔ(ｎ) .1　渐近算法分析　渐近算法分析 (简称算法分析 )是一种估算方法 ,它采用增长率的概念来描述算法的时间代价 ,即当问题规模增大时 ,算法时间代价…     

递归函数在算法中的应用

在<数据结构>中经常涉及到算法的设计问题,在很多算法的设计中,如采用递归函数来实现,则可使算法清晰易读,算法的正确性也容易得到证明.     

关于线性方程组的一般解

《高等代数》教材介绍的关于线性方程组的一般解的基本方法是行初等变换法,计算量大,方法、步骤比较麻烦。从而给出线性方程组一般解的另外四种方法:基础解系法、填充矩阵法、行列初等变换法、列初等变换法,降低学生学习错误的可能性,拓宽学生的思维。     

关于一般的Kloosterman和

在整数环上研究一般的Ｋｌｏｏｓｔｅｒｍａｎ和，给出其下界估计，否定了Ｉｗａｎｉｅｃ等人的上界结果，同时在一定条件下证明了Ｗｅｉｌ－Ｅｓｔｅｒｍａｎ上界的存在时，将Ｋｌｏｏｓｔｅｒｍａｎ和与Ｓａｌｉé和的经典结果进一步予以扩张．     

关于一般均衡理论的评论

供给需求曲线是经济学中最基本的理论,但其假定条件过于简单,本文从其缺陷中引入一般均衡理论,阐述一般均衡理论的特点和理论沿革,最后对一般均衡的社会福利效果从理论角度进行了归纳和评论。     

关于一般p-Laplacian系统的周期解

利用临界点理论研究了p-Laplacian系统的周期解的存在性,给出了一些新的存在性定理。     

关于合同变换矩阵的一般形式

对给定的合同的实对称n阶阵A和B,给出其复合同变换的一般表示形式．     

基于递归函数理论的任意曲线拟合方法的研究

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

关于一般矩阵的加权Moore-Penrose逆

讨论了一般矩阵的加权Moore-Penrose逆,给出矩阵加权Moore-Pence逆存在的一些充分必要条件,以及它的加权Moore-Penrose逆的刻画和性质。得到了矩阵A的加权Moore-Penrose逆等于A的充分必要条件。     

关于动力学导出平衡常数的一般方法

众所周知,化学反应的平衡是宏观的静态平衡和微观的动态平衡的统一,两种平衡是同一事物的两个侧面,是平衡的基本属性和普遍规律。 化学平衡的重要标志是一定条件下存在一个平衡常数K,K可以用热力学方法普遍导出。能不能根据动态平衡原理,运用动力学方法普遍导出K呢?具体方法如何?这是化学教学中的一个重要问题。近年来有文章讨论这个问题,提出一些有益的看法。但有     

关于一般矩阵特征值的最小距离

设A是n×n的复矩阵,其特征值为λ_1(A),…,λ_n(A).设C_m(A)为A的m阶复合矩阵,D_2(A)为C_2(A)的导数矩阵,AB为A与B的Kronecker乘积.令R_i(A)=排成非增次序后记作我们得到了估计式:     

关于一般几何规划的算法及其收敛性

本文概述了关于用正项几何规划逼近一般几何规划，及用与线性规划等价的单 项正项几何规划逼近正项几何规划的几个算法，并用 Ｅａｖｅｓ－Ｚａｎｇｗｉｌｌ 的方法证 明了它们的收敛性。