论文部分内容阅读
本文在文献[1]基础上,建立递归结构的形式系统,给出判断其语句可判定性的充要条件,并通过语句的范式把可判定性与计算联系起来。
递归结构理论的形式系统和语句的可判定性——可解决性理论Ⅱ
【摘 要】
：
本文在文献[1]基础上,建立递归结构的形式系统,给出判断其语句可判定性的充要条件,并通过语句的范式把可判定性与计算联系起来。
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
【发表日期】
：
1990年12期
其他文献
本文利用自制的一维偏振差动式激光测速系统对整个溢流坝面水流,特别是反弧段水流进行了精细的量测,给出了整小溢流坝面x方向(流向)紊流强度。沿x,y两个方向的分布,并利用二维激光测速系统测出了反弧段y方向(法向)紊流强度的分布.从而可看出紊流强度沿流程在各不同区段及沿水深在各不同流区中的分布特点.由于凹曲率壁面的影响,整个反弧段边界层外区及势流区(应称外流区)x和y两个方向的脉动均明显加剧.外流区的紊
期刊
本文研究简化Navier-Stokes方程的一般形式及数学物理背景。所提出的张量型简化方程能够适应一般固壁情况,且具有最大的简化效果。文中运用主次特征法并结合力学背景,阐明了简化方程的影响域和决定域,为相应数值方法提供基本依据。还通过对流扩散过程的细致分析,表明流场中扩散效应具有顺着流动方向的影响域,向流动上游的传播十分有限;Reynolds准则的倒数表征粘性效应向流动上游的传播距离、以及顺流方向
期刊
本文应用最陡下降逼近方法,发展了一套计算波导本征值和本征函数的新方法.该方法既能避免微扰法对于参考模式的无限求和,又能逐级迭代计算逼近体系精确的本征值与本征函数,以较少的计算工作量使模场分布与传播常数的计算达到很高的精度.
期刊
本文采用Roe符号系统,在Euler空间中对织构定量分析的矢量法进行了全面改建.改建后的广义矢量法克服了原有晶粒取向表示方式造成的诸如织构与材料性能关系研究等的不便,同时保留了原法的全部优点.对立方系材料的研究表明,本法用一张极图、甚至一张部分极图数据即可定量确定被测材料的织构矢量,并能便捷提供宏观性能计算所需的晶粒取向分布函数(ODF)的广义球谐函数级数展开系数.
期刊
本文对量子Monte Carlo方法的试探波函数提出了一种优化方法,并将优化后的试探波函数用于计算H_2,Li_2,H_3,H_3~+和H_4等分子的能量,获得很好的结果。
期刊
本文研究了磁性粒子在固体薄膜表面的凝聚现象.Ag-Co,Fe-Cu合金多层膜经离子束混合后,磁性粒子(即Co,Fe粒子)在薄膜表面扩散并聚集.研究表明磁性粒子分形聚集体的分形维数比理论模型所得出的值小得多.进一步研究Fe,Co,Cr,Ni 4种磁性粒子在各自相应薄膜上的聚集表明:磁性粒子分形聚集体的分形维数同磁性粒子的有效磁子数成线性关系D_f=km+c,其中m是有效磁子数,D_f是分形维数,k=
期刊
本文应用原子位形几率波理论,研究了复合钙钛矿结构形成最稳定超晶格的原子排列,首次从理论上得到七种基本有序结构,并同已知的实验结果作了比较。
期刊
本文证明了地心谐和坐标系与地心准Fermi坐标系之间的坐标转换关系如(37)和(38)式所示。指出两者之间的差异在实际应用中是完全可以忽略的。推荐(42)和(43)式作为一个实用地心坐标系的定义。
期刊