理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 递归论 >>>
搜索结果: 1-15 共查到知识库 递归论相关记录17条 . 查询时间(2.415 秒)
A new, linear, three-term recurrence relation for the 6j-symbol of the quantum group suq(2) is derived. It is cast in the form of a symmetric eigenvalue problem, generalizing a result of Schulten and ...
We present the construction of a probability measure d with compact support on R such that adding a discrete pure point results in changes in the recursion coecients without expo- nential decay.
We show that the Poincare polynomial associated with the orbifold cell decomposition of the moduli space of smooth algebraic curves with distinct marked points satis es a topological recursion formu...
We propose an explicit construction of a stationary solution for a stochastic recursion of the form X ◦q = j(X) on a partially-ordered Polish space, when the monotonicity of j is not assumed. Un...
The Samelson inverse mains Pade approximation (SMPA) is introduced in [3]. Bymeans of Samelson invrese for matrices, s-algorithm and n-algorithm, which are used asthe computation for SMPA, are establi...
结合区间算术和退火遗传算法的曲面求交     曲面求交  退火遗传算法  区间算术       font style='font-size:12px;'> 2009/10/26
曲面求交问题,由于在几何实体建模中的重要性,而得到广泛地重视和讨论.目前,已有文献中记载的方法大致可分为:解析法、隐函数法、离散网格法、自适应分割法、局部跟踪法等,其中解析法、隐函数法虽然求解精确、可靠,但依赖于曲面的解析性质及曲面方程,故只能适用于特定类型的曲面求交.离散网格法、自适应分割法虽然对曲面类型没有限制,但存在离散精度与运算效率的矛盾,并普遍存在病态情况.局部跟踪法由于不限定曲面类型且...
适用于两种特定数据结构的CG算法与SOR算法     SOR算法  CG算法  数据结构       font style='font-size:12px;'> 2009/10/23
许多科学、工程计算问题都归结为大型线性方程组的求解.共轭斜量法与逐次超松弛方法是最常用的迭代法,它们或直接用于线性方程组的求解,或用于对直接法求出的近似解进行磨光.在上述两种迭代方法中,系数矩阵与列向量的乘积占很大计算量.因此,减少寻找运算数据所占用的时间,特别是对于大型稀疏方程组,系数矩阵分块存在外存贮器的情况下,减少寻址和数据I/O次数,对提高运行效率是举足轻重的.本文给出的是适用于两种常见...
卷期页码:第28卷 第4期 (2007年4月) P.428 文章编号:1000-0887(2007)04-0428-05 一类递归小波神经网络的稳定性研究 邓韧,李著信,樊友洪 后勤工程学院,重庆 400016 摘要:在小波神经网络(WNNs)和递归神经网络(RNNs)的基础上,提出了一类递归小波神经网络(RWNNs)模型,它具有两种网络模型的优点A·D2根据Liapunov渐近...
递归可枚举度的强分解定理          font style='font-size:12px;'> 2007/12/13
本文将证明,对任 r.e.度$a\neq o$,存在r.e.度$c,b_0,b_1$和b使得$c
Let $\mathscr U_z$ be the universal norm distribution and $M$ a fixed power of prime $p$. By using the double complex method employed by Anderson, we study the universal Kolyvagin recursion occurring ...
高型递归论,Kleene-递归论及一般递归论之间的一个关系          font style='font-size:12px;'> 2007/12/12
这篇文章中,我们用算子代替泛函作为量词变量定义递归分层和推广递归论,证明半递归于$^{\lambda}E$的子集集合在量词$\exists ^l$下封闭,这样就使得更高型递归论与型-2递归论在许多方面都是一致的;而在一般定义下,更高型递归论与型-2递归论之间有一个主要差别就是半递归于$^n E$的子集集合在量词$\exists^{n-1}$下不封闭,尽管在量词$\exists^{n-2}$下封闭...
递归集的k-1-度上半格的不可补性与不可分配性          font style='font-size:12px;'> 2007/12/11
我们在[11]中证明了多项式时间强图灵归约$\leq_{sn}T$与多项式时间多一归$\leq_{pm}$有表现在完全集上的本质差别,在本文中我们证明了递归集的$\leq_{sn}T$-归约约度上半格$\langleR_k^1;\leq\rangle$不可分配,籍此得$\langleR_k^1;\leq\rangle$与$\langleR_m^p;\leq\rangle$不同构.这表明此二种归约...
每一个Cappable度都有ω个两两组成最小对的r.e.度与之组成最小对          font style='font-size:12px;'> 2007/12/11
本文证明了,对任意Cappable度α=deg($W_i$),b=deg($W_i$)可以一致地找到r.e.度c=deg($W_{f(i,f)}$)使得a∩ c=b∩c=0这里f(x,y)是一个递归函数.进而,本文证明了,对任意Cappable度a=deg(W_e),ω个r.e.度b_i=deg(W_(f(e,t)))可以一致地找到,使得a∩$b_i$=0,i∈ω.这里f(x,y)也是递归函数.在...
Bivariate Recursive Equations on Excess-of-loss Reinsurance     recursive equation    $R_1(a  b)$ family    excess-of-loss reinsurance         font style='font-size:12px;'> 2007/12/11
This paper investigates bivariate recursive equations on excess-of-loss reinsurance. For an insurance portfolio, under the assumptions that the individual claim severity distribution has bounded conti...
In this paper, we shall establish that each weak solution of p-harmonic type systems with the gradients below the controllable growth belongs to, H\"older continuity spaces with any H\"older exponent ...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...