图灵机计算实数函数的稳定性

定义在全体实数上的可计算函数是一个很重要的概念．在这以前定义可计算的实数函数有两个途径．第一个途径是首先要定义可计算实数的指标．想要确定实数函数y=f（x）是不是可以计算就要看是否存在一个自然数的（部分）递归函数将可计算实数x的指标对应到可计算实数y的指标．这样一来对实数函数的研究依赖于对自然数函数的研究．第二个定义可计算的实数函数的途径是以逼近为基础的．一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的．用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数．例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数．本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义．我们的定义不需要用到自然数的（部分）递归函数．根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的．用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多．     

基本初等函数的高精度快速计算的加速算法

在现有的基本初等函数的高精度快速算法基础上,进一步研究基本初等函数的加速算法.现有的基本初等函数的高精度快速算法是通过对函数进行幂级数展开的方式来实现函数的任意精度快速计算.而其加速算法则是在幂级数展开之前,先利用函数的多种性质来缩减函数的参数,减少函数在进行幂级数展开时的计算难度,提高函数的计算速度.给出了加速算法,并从计算误差和算法复杂性两方面对该算法进行了分析,给出了误差最小,算法复杂性最低的最优加速算法.然后,对于三角函数、双曲函数、指数函数以及它们的反函数,在实数域上给出了的具体的加速过程和计算结果.     

Ackermann函数的三种计算方法

本文给出了Ａｃｋｅｒｍａｎｎ函数的若干性质和三种计算方法，满足教学和研究的需要．特别是文中的递推传值算法是计算Ａｃｋｅｒｍａｎｎ函数的有效算法之一．     

函数极限的局部逆问题

函数极限的计算是高等数学基本运算之一.在计算函数极限的问题中往往遇到这样一类问题,已知函数的极限值,试确定函数表达式中待定常数的值.我们不妨称此类问题为函数极限的局部逆问题.     

基于自协调函数的信道容量和最大熵的计算

信道容量和最大熵的计算是信息论中的经典问题.讨论了利用自协调函数理论计算信道容量,尤其是带约束的信道容量的方法.将最大熵的计算作为信道容量计算的特殊情况.作为应用,在证明了单位成本信道容量函数的单峰性的基础上,提出了其相应的多项式时间算法.     

部分线性分位回归模型估计的MM算法

近年来,关于部分线性分位回归模型的估计方法的研究得到了较多的关注.但由于目标函数的非光滑性,估计程序的实现是比较具有挑战性的.文章将采用MM(Majorization Minimization)算法计算部分线性分位数回归模型的估计.其基本原理是首先找到目标函数的优化函数,然后借助优化函数的最小化过程,逐步迭代至目标函数的解.数值模拟和实证研究表明该算法具有较好的稳定性和较强的数值计算能力.     

计算极限的一些方法

计算数列和函数的极限是数学分析的基本运算之一。计算极限除了要熟练运用四则运算的极限法则、极限和无穷小量的关系和初等函数的连续性以外,还必须掌握和运用较多的方法和技巧。本文只想介绍一些常用的计算极限的方法并通过例子作些说明。     

托布利兹(Toeplite)定理的推广

托布利兹(T oep lite)定理是数学分析中证明和计算数列极奶的有效工具.将托布利兹(T oep lite)定理推广到函数情形,为证明和计算一类函数的极限提供了一种方法.实例表明利用托布利兹(T oep lite)定理的推广证明和计算某类函数的极限和某些数列的极限,比用传统的数学分析方法更简便.     

全局优化问题的一个新的无参数填充函数

求全局最优化问题的填充函数算法被提出以来，参数的选取和调整一直是制约算法有效性的因素。如何在实际的计算过程中选取合适的参数，直接影响和决定了运算速度和效率。因此，构造不含参数的填充函数就显得极为重要。提出一个新的无参数的填充函数，对其理论性质进行了分析，并给出相应的填充函数算法，数值计算验证了算法的有效性。     

矩形网格上的二元切触有理插值

二元切触有理插值是有理插值的一个重要内容,而降低其函数的次数和解决其函数的存在性是有理插值的一个重要问题.二元切触有理插值算法的可行性大都是有条件的,且计算复杂度较大,有理函数的次数较高.利用二元Hermite（埃米特）插值基函数的方法和二元多项式插值误差性质,构造出了一种二元切触有理插值算法并将其推广到向量值情形.较之其它算法,有理插值函数的次数和计算量较低.最后通过数值实例说明该算法的可行性是无条件的,且计算量低.     

一种特殊函数的算法研究

由于有些函数的计算量巨大,因此通过算法的研究减少计算量是计算机发展的一个重要方向.本文通过对一个函数算法的研究,提出一种减少计算量的新算法.     

有重叠的自相似集的Hausdorff维数

对于一类满足一定条件的相似压缩迭代函数系生成的不变集,本文证明了一个计算其 Hausdorff 维数的简单公式.该公式是通过把满足所给条件的迭代函数系联系到一个非重叠的无穷迭代函数系,然后利用 Moran 的计算无穷迭代函数系生成的不变集的 Hausdorff维数的方法得到的. 该方法可以应用于一些不满足 Ngai 和 Wang引进的有限型条件的迭代函数系.     

用正交函数求超奇异积分的近似值及其误差估计

基于 Hadamard有限部分积分定义, 当密度函数是多项式、正弦函数和余弦函数时, 本文推导出了计算超奇异积分准确值的公式, 进而利用这些公式给出了密度函数为一般连续函数的超奇异积分近似值的计算方法. 本文还对近似值进行了误差分析, 据此可以在事先给定的误差下来计算超奇异积分的近似值. 最后将前面的理论应用到超奇异积分方程求近似解的问题. 数值算例表明该方法的可行性和有效性.     

Fourier积分的数值计算法

本文建议采用样条函数插值作Fourier积分数值计算.同时,介绍了对几个一般函数采用各种不同的数值计算法的计算结果和构造样条函数的边界条件的简化处理方法.     

加细剖分样条函数空间的维数级数和基函数

在文[1]中,我们讨论了利用协调矩阵计算维数级数和基函数的Grobner基方法,本文考虑几种加细剖分样条函数空间的维数级数和基函数,给出了它们的表达式。 1 任意三角剖分的连续样条函数 任意三角剖分上连续样条函数空间的维数早已被确定。本节我们用Grobner基方法来计算其维数级数的发生函数和基函数。 设Δ是单连通区域D上的三角剖分,f_0~0(Δ)是Δ内点的个数,f_1~0(Δ)是内网线的个数,f_2~0(Δ)是三角形的个数,我们有     

一类曲面积分的简单计算与推广

第一类曲面积分的积分表达式具有如下特点时:(1)积分曲面是可求曲面面积的曲面;(2)被积函数是单变量函数或可化为单变量函数的函数,利用积分元素法,能将其直接化为定积分计算,这种简单的算法还可以推广到计算具有类似特征的三重积分.     

单境自动机计算时间的kn2下界

本文引入单境自动机的h遍计算这一新概念。利用这一概念,对那些计算?(∑,N)或?(∑,Г) 中函数的单境自动机,证明了计算时间的和kn²下界。对于?(∑,N)中的一些函数和?(∑,Г)中全部函数,这种下界在一个常数因子内是紧贴的。     

结构刚度函数识别的一个途径

为了计算结构的刚度函数,将结构振动微分方程分解为关于已知的原始刚度函数的微分方程和关于未知待求的刚度函数的第一类Fredholm积分方程,利用p个光滑因子进行外插值的求解方法,数值计算当光滑因子为零时的积分方程的稳定解．从而可得到结构的刚度函数．通过数值模拟说明方法是可行的．     

线性微分方程解的存在唯一性在幂级数中的应用

在幂级数的学习中,如何将函数展开成幂级数和求幂级数的和函数这两类问题是学习的重点和难点.利用线性微分方程解的存在唯一性,分别给出了求函数的麦克劳林展开式和计算幂级数和函数的一般步骤.     

计算函数导数的FODF-SPH方法

在光滑粒子流体动力学(Smooth Particle Hydrodynamics:SPH)核近似方法原理的基础上,通过泰勒级数展开提出了计算函数导数的新FODF-SPH(Frist Order Derivative Free:FODF)方法,并分别推导一维、二维及三维情况下,计算函数的导数核估计的离散形式.用不同的粒子间距和不同的光滑长度计算一维和二维函数导数,与传统SPH方法进行误差对比分析.结果表明,与传统方法对比提出的计算方法的误差小、收敛速度快且计算过程避免核函数导数计算等优越性,因此在工程应用和数值计算中具有较强的适用范围.