论文部分内容阅读
本文给出一种程序变换模式,它使用数组消除二元双重递归函数的递归,直接得到其等价的迭代解。然后,通过例子说明变换模式的用法,并证明变换模式的正确性。更多还原
一种二元双重递归函数的变换模式
【摘 要】
：
本文给出一种程序变换模式,它使用数组消除二元双重递归函数的递归,直接得到其等价的迭代解。然后,通过例子说明变换模式的用法,并证明变换模式的正确性。更多还原
【机 构】
：
郑州大学计算机科学系,郑州大学计算机科学系
【出 处】
：
郑州大学学报：自然科学版
【发表日期】
：
1991年2期
【基金项目】
：
河南省自然科学基金
其他文献
本文给出了定常stokes方程特征值问题的非协调有限元加罚逼近,利用不同的估计方法及对偶理论,得到了[1]、[2]利用协调元时完全相同的收敛结果,且范围比[1]、[2]要宽。
本文论述了在RISC（Rdeuced Instruction Set Computer)系统结构中产生的von Neumann瓶颈问题以及解决该问题的一些方法。
本文在C—型概率内积空间中建立了若干新的不动点定理。更多还原
本文评述了光放大器目前的进展状况,并简要地讨论了光放大器的发展方向。
本文证明有限维Hamiltonian系统 {R2N,dp∧dq,H=-<∧q,p>-1/2<q,q><∧p,p>) 在Liouville意义下是完全可积的,并讨论定态Koup-Newell方程与这个系统以及X1—流之间的关系,其中
本文对组织循环运输路线问题,提出了一种图论方法。在一辆车作业的情况下,问题归结为求有向 Euler 图的有向 Euler 环游。对于多辆车作业的情况,问题转化为把有向 Euler 图分
本文证明在实空间形式中，关于子流形数量曲率的Pinching问题蕴含了关于子流形的截面曲率的Pinching问题。
以N′,N″—二螺三哌嗪为起始原料,经烷基化、酰基化等合成了十五个化合物,其中有十二个为未见文献报导的化合物,经元素分析、IR、<sup>1</sup>HNMR证实其结构。选出八个新化
在300—10K 温区的微制冷机上,用四引线测量了 Cu、Ag 丝、Ni—Cr丝、薄 pb 皮、Al-Ga-In 合金块、YBCO 超导块、超导薄膜和金属陶瓷发热体等金属与合金在真空下的低温电阻特
本文对一类非线性双曲型方程,讨论了相应的发展算子及其初边值问题的解的存在唯一性。更多还原