首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
罗里波 《数学研究》2009,42(2):126-137
定义在全体实数上的可计算函数是一个很重要的概念.在这以前定义可计算的实数函数有两个途径.第一个途径是首先要定义可计算实数的指标.想要确定实数函数y=f(x)是不是可以计算就要看是否存在一个自然数的(部分)递归函数将可计算实数x的指标对应到可计算实数y的指标.这样一来对实数函数的研究依赖于对自然数函数的研究.第二个定义可计算的实数函数的途径是以逼近为基础的.一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的.用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数.例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数.本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义.我们的定义不需要用到自然数的(部分)递归函数.根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的.用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多.  相似文献   

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

3.
本文给出了Ackermann函数的若干性质和三种计算方法,满足教学和研究的需要.特别是文中的递推传值算法是计算Ackermann函数的有效算法之一.  相似文献   

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

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

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

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

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

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

10.
一种特殊函数的算法研究   总被引:2,自引:0,他引:2  
夏慧异  朱勇  吴涛  曾建军 《大学数学》2008,24(3):127-131
由于有些函数的计算量巨大,因此通过算法的研究减少计算量是计算机发展的一个重要方向.本文通过对一个函数算法的研究,提出一种减少计算量的新算法.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号