论文部分内容阅读
本文证明了在d.r.e.度中,对任意高的递归可枚举度h,存在非零的d_1,d_2,使得d_1∪d_2=h,d_1∩d_2=0,即0,d_1,d_2,h构成钻石格.
d.r.e.度中钻石格的嵌入
【摘 要】
：
本文证明了在d.r.e.度中,对任意高的递归可枚举度h,存在非零的d_1,d_2,使得d_1∪d_2=h,d_1∩d_2=0,即0,d_1,d_2,h构成钻石格.
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
【发表日期】
：
1993年02期
其他文献
本文用实验测定和理论计算相结合的方法,研究了BaB_2O_4-Na_2B_2O_4-K_2B_2O_4三元系.在对该三元系3个侧边二元系相图热力学分析的基础上,用非对称的Toop模型将二元系热力学数据延拓到三元系,计算了BaB_2O_4-Na_2B_2O_4-K_2B_2O_4三元相图,计算结果与该三元系的一个典型垂直截面的测定结果吻合很好.
期刊
文中利用特殊系数矩阵分裂法和简化了的耗散比拟法数值求解了M_∞=7,Re=148000和攻角α=5°的航天飞机超声速粘性绕流问题.简化了的耗散比拟法既提高后体侧翼附近复杂流场数值解的分辨能力,又能减少数值计算工作量.
期刊
本文利用分波分析的方法研究了氦原子~3p~e态的N=2和N=3序列;考察了这些态固有的对称性,一体密度及形状密度等;以形象的方式探讨了电子间的角关联,径-径关联和径-角关联等.特别考察了内电子在外电子逼近时作出的反应.除此之外,还发现~3p~e态的电子云的各向异性有独特的性质.
期刊
本文重点论述并行推理机RAP/LOP-PIM及其优化并行编译器的设计与实现.首先,我们简要介绍并行执行模型RAP/LOP.然后给出基于RAP/LOP模型的并行抽象机和相应的体系结构.接着论述并行编译器的优化实现技术.最后通过模拟实验对系统性能进行了评估.
期刊
本文基于流动稳定性理论,提出了一种解释湍流边界层外区大尺度相干结构产生机理的理论模型.将计算所得流线、等涡线分布及利用相干结构理论模型计算湍流边界层中平均温度分布的结果与实验比较,结果是比较满意的.
期刊
本文首先指出分别由Joyal和Roussarie所得到的关于同宿环产生极限环的个数的重要定理的证明有漏洞,其次给出其严格证明,并就对称的双同宿奇闭轨及两点异宿奇闭轨产生极限环的问题得到了类似的结果.然后给出了这些奇闭轨至多分支出两个极限环的判别量的具体表达式.
期刊
本文给出关于亚纯函数族的正规性的经典的Marty判别准则的一个改进并得到Zalcman的关于不正规的函数族的一个定理的改进,作为应用,证明了每一个函数都满足f~(k)+af~3≠b且只有至少k+2级极点的函数族是正规的,这是Drasin的一个定理的改进.
期刊
本文给出了Vaidya-Schwarzschild-de Sitter时空中,Klein-Gordon方程在黑洞视界和宇宙视界附近的渐近解,并且准确地定出了蒸发黑洞事件视界和宇宙视界的位置以及Hawking辐射温度.
期刊
本文研究的是局部受控不变分布的同伴集.首先,我们给出局部受控不变性的一个代数判据,进而得到其同伴集的参数化表示;其次,我们讨论同伴集的一些有趣的性质.最后作为应用,我们考虑非线性系统干扰解耦反馈的刻划问题,得到了用一个分布的同伴集就可完全确定所有解耦反馈的充要条件.
期刊