论文部分内容阅读
运用关键点编码技巧构造性地证明了在递归可枚举度集中，对任给的非递归的递归可枚举度ｄ，存在可盖的递归可枚举度ａ和递归可枚举度ｃ满足ｄ≮≠ｃ，并且有ｄ≤ａ∪ｃ。
关于递归可枚举度可杯可盖性质的一道命题
【摘 要】
：
运用关键点编码技巧构造性地证明了在递归可枚举度集中，对任给的非递归的递归可枚举度ｄ，存在可盖的递归可枚举度ａ和递归可枚举度ｃ满足ｄ≮≠ｃ，并且有ｄ≤ａ∪ｃ。
【机 构】
：
扬州师院数学系
【出 处】
：
扬州师院学报：自然科学版
【发表日期】
：
1997年1期
其他文献
详细讨论了遗传算法内在的并行性，列举了遗传算法进行并行处理的主从式并行算法、粗粒度并行算法及细粒度并行算法，比较分析了各种方法的优缺点、适用范围的应用前景。
引进YJS环,给出它的一些刻画,得到它的一些性质,利用这些性质刻画半单环,同时指出YJS环上左右基座是一致的.
第一，健全法规。适用现行法律法规有《矿产资源法》及其配套法规，常规油气法律法规，《环境保护法》及其配套法规和相关法规，针对页岩气的特殊问题制定新的法规。
提出两种对非一致线性递推计算（ＮＬ）进行独立分解的方法，可以使某些特殊的非一致线性递推计算分解为若干可独立计算的独立集，从而能分配到多处理机系统上并行执行。
作者曾给出复ｎ维射影空间的ｎ维紧致全实极小子流形的一个内蕴积分不等式，该文将其结果推广到复ｎ维射影空间的ｎ维紧致全实伪脐子流形的情形。
大港油田是一个开采时间较长的陆上油田，其人工举升大多数采用YQY107的潜油电机作为潜油泵的动力，由于需要降低采油成本，故要求潜油电泵要有一个较长的检泵周期和电泵寿命。
设Ｈ和Ａ为双代数，Ｒ∈ＨＡ为弱－Ｒ矩阵且Ｂ＝ＸＡ为交叉余积，研究了ｍｏｎｏｉｄａｌ范畴ＨＭ，ＡＭ，ＨＭ×ＡＭ和ＢＭ之间的联系，给出了若干（辫子）ｍｏｎｏｉｄａｌ函子的构造方法。
医院概况江苏省中医院创建于1954年10月，是新中国最早建立的省级中医院之一，经过半个多世纪的艰苦创业，几代省中人凝心聚力、抢抓机遇、科学发展，学术水平和综合能力始终保持在全
目的建立局灶节段性肾小球硬化动物模型。方法对SD大鼠行右肾摘除术，分2次尾静脉注射阿霉素，每次3mg／kg，并喂饲高脂饲料。结果该模型表现为浮肿、大量蛋白尿、低蛋白血症、高脂血