共查询到20条相似文献,搜索用时 187 毫秒
1.
Ingfassia证明了p-脱殊的T-度在r.e.度中是稠密的。丁德成证明了非P-脱殊的T-度在r.e.度中也是稠密的。但是,是否在r.e.度的每个区域,这两种度出现的频率均相同呢?本文将给出否定的回答。 相似文献
2.
从Post问题解决到现在,不可解度的研究一直是递归论的重要课题之一。在非递归可枚举度方面,极小度、极小覆盖、脱殊度等不可解度是人们很感兴趣的。Feferman最早定义了脱殊集合,脱殊度有很多有趣性质,比如Jockusch证明了1-脱殊度具有相对递归可数性。本文则考虑脱殊度的相对性,提出相对另一个度的脱殊度概念,我们首先得出相对脱殊 相似文献
3.
所谓邻接(Contiguous)度是指只含一个递归可枚举(简称r.e.)的wtt-度的r.e.图灵度。Stob和Ambos-spies研究了邻接度的存在性与格嵌入等问题。本文将研究的是一种与邻接度十分相似的度——准邻接度,并讨论其格嵌入性质。 相似文献
4.
1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X, 相似文献
5.
伪跃变算子的概念参见文献[1],同时证明了下列命题1和命题2, 命题1 对任e,存在非递归r.e 集A使得。且 命题2 对任e及任r.e.集B,如果B有Low度,那么存在r.e.集A,使得B≤ 相似文献
6.
设x是充分大的偶数,p是素数,记P_r为不超过r个素因子的乘积的数.此外,记C_x=multiple from p>2 (1-1/((p-1)~2)) multiple from 2
相似文献
7.
树结构上算法复杂性分析近几年来得到越来越多的注意。Flaiole研究了树上递归下降算法的复杂性分析,办法是为一个形式化的树算法描述语言中的各种构造建立一个复杂性度量表。平行于树上的可加枚举问题,本文作者在文献[3]中引入了所谓“树结构上可加复杂性算法”,得到过一些本质上只能用于递归算法分析的结果。 相似文献
8.
1 基本概念和术语本文采用集论的标准概念和术语.k 表示正则不可数基数,λ为≥k 的基数,I 是 P上的理想则意味着 I 是 k-完全、非主并且好的理想.如果是 ZFC 的基模型,那么Ult()表示相时的超幂,其中是 P_kλ上的超滤.设 I 是 P_kλ上的理想,我们考虑用 Boolean 代数 P(P_kλ)/I 的完备建立的的脱殊扩充,即:用为力迫条件,其中 R(I)={xP_kλ:xI},x≤y iff xy,令 相似文献
9.
我们在文献[1]中定义了半p-交换p-群,并且研究了半p-交换性和正则性的关系。在文献[2]中又引进了半p~s-交换p-群和强半p-交换p-群的概念,研究了它们的幂结构。本文将证明p-群是强半p-交换的一个充分条件(定理1),并应用这个定理推广Laffey的某些新近的结果,还将给出Feit,Thompson和Alperin等人关于p-群的几个著名定理的新证明。 相似文献
10.
复合脱氮剂-吹脱法处理高浓度氨氮废水试验研究 总被引:1,自引:0,他引:1
在传统吹脱法处理高浓度氨氮废水基础上, 复配了一种以乳酸乙酯为主、乙酸为辅的有机复合脱氮剂, 探讨了在不同脱氮剂投加量、水位深度等条件下对废水中氨氮去除率的影响, 并对不同高浓度氨氮废水中的氨氮去除率作了分析. 研究结果表明, 在脱氮剂投加量为30 mg/L、pH值为9~11、吹脱水位深度400 mm、吹脱时间大于2.5 h、常温(25℃)条件下, 可把废水中氨氮浓度从21006.0 mg/L降低到10.6 mg/L, 氨氮去除率高达99.95%; 加热到45℃时, 可把废水中氨氮浓度从21006 mg/L降低到0.2 mg/L, 氨氮去除率高达99.999%;对于氨氮浓度在800~30000 mg/L的废水, 通过相应条件下常温吹脱后, 废水中剩余氨氮浓度都在15 mg/L以下, 吹脱出来的氨气通过吸收装置吸收, 无二次污染. 相似文献
11.
硼砷抑制黄铜脱锌的协同作用机制 总被引:9,自引:0,他引:9
过去人们一直用微量元素砷来抑制黄铜的脱锌腐蚀,并对其作用机制进行了大量研究近年来发现微量硼也能有效地抑制黄铜脱锌.经过实验,我们发现不仅单独加硼或加砷能抑制黄铜脱锌,而且硼与砷的联合加入能更有效地抑制黄铜脱锌,并且在最佳硼砷含量下黄铜基本不发生脱锌腐蚀. 这就意味着,硼、砷在抑制黄铜脱锌过程中存在着某种协同作用,正是由于这种协同作用才完全阻止了黄铜的脱锌腐蚀.本文从最佳硼、砷含量、双空位的来源、脱锌的渗流机制及晶体学模型等方面讨论黄铜的脱锌过程,以及硼、砷在抑制脱锌过程中的协同作用机制 相似文献
12.
将原位插层聚合与聚合物互穿技术相结合, 制备了有机蒙脱土改性的聚氨酯/环氧树脂互穿网络纳米复合材料. 差示扫描量热法(DSC)分析表明, 随着有机蒙脱土含量的增加, 纳米复合材料的玻璃化温度先升高后降低. 溶胀法、傅里叶红外光谱(FTIR)、X射线衍射(XRD)、扫描电子显微镜(SEM)及透射电子显微镜(TEM)分析结果表明, 有机蒙脱土改变了聚氨酯/环氧树脂互穿网络的交联密度及氢键指数, 促进了聚氨酯与环氧树脂互穿网络结构的形成, 同时妨碍了聚氨酯硬段的结晶. 相似文献
13.
p-可解群的p-正则类的长和p-秩 总被引:1,自引:0,他引:1
本文目的是建立有限p-可解群G的p-正则类的长的p-部分和G的p-秩及p-长的关系.文中所说的群均指有限群.p总代表素数.G_p表示群G的Sylow p-子群.r_p(G)和 l_p(G)分别表示p-可解群G的p-秩和p-长.对任一个群G及X∈K≤G,Cl_k(x)表示K的含X的共轭类.Con(G):={C|C是G的共轭类}.对于C∈Con(G),|C|叫做共轭类C的长.G的p′-元叫p-正则元,p-正则元的共轭类叫做p-正则类.对于整数n,如果n=p~am,p(?)m,那么我们写ω_p(n)=a.对于群G,我们定义rc_p(G)=max{ω_p(|C|)C∈Con(G)且C是p-正则的}. 相似文献
14.
文章通过对城市二级污水处理厂生物除磷脱氮工艺的实验研究,在原有好氧工艺的基础上进行好氧、缺氧、厌氧处理的实验,掌握生物处理工艺除磷脱氮的参数和效果,为污水厂除磷脱氮的改造及运行奠定基础. 相似文献
15.
著名的Dickson定理提供了群PSL(2,q)的元的阶的信息.研讨上述情形的逆,文献[1,2]证明了若G是有限群,πe(G)=πe(PSL(2,q)),q=2~m或q=3~m(m≥2,q≠9),则G同构于PSL(2,q),其中πe(G)记为G中元的阶之集.本文取消上述对q的限制,完成了仅用元的阶刻划PSL(2,q),q≠9.事实上,我们证明了如下定理. 相似文献
16.
Ramsey数r(3,14)和r(3,15)的新下界 总被引:6,自引:1,他引:5
Ramsey数r(p,q)是满足下述条件的最小正整数r:对任意的r个顶点的图G(本文中的图均指无向简单图),则G或有P个顶点的团(即完全子图k_p)或有q个顶点的独立集。Ramsey 1930年证明了Ramsey数的存在性,Ramsey理论的研究在近六十年中也取得了许多有意义的结果(参看文献[2] 相似文献
17.
对偶算子代数的X_(θ,r)性质与不变子空间问题及算子代数的自反性和超自反性问题均有十分密切的联系。我们进一步讨论了这种性质,证明了文献[1]中命题1.6和命题1.11 相似文献
18.
载钯碳纳米管阵列电极对2,4,5-PCB的电催化还原脱氯特性 总被引:1,自引:0,他引:1
采用化学气相沉积-电沉积法制备出以钛板为基底的载钯碳纳米管有序阵列电极 (Pd/CNTs/Ti). 钯颗粒多数粒径约10 nm左右, 平均粒径小于20 nm, 均匀分散在碳纳米管(CNTs)管壁表面. 应用载钯碳纳米管有序阵列电极用于甲醇-水溶液中2,4,5-三氯联苯(PCB29)的电催化还原脱氯研究. 结果表明, 由于CNTs的独特性质, Pd/CNTs/Ti电极表现出比Pd/Ti和Pd/石墨电极更高的脱氯效率, 6 h内PCB29去除率达90%. 在此过程中PCB 29可以完全脱氯, 联苯被确认为是最终脱氯产物. 在电催化还原反应中载钯量、阴极电压和支持电解质是影响脱氯效果的关键因素. 相似文献
19.
鸡心脱血红素细胞色素c具有较其它种类脱血红素细胞色素c更强的自发折叠倾向性,部分折叠的鸡心脱血红素细胞色素c具有蛋白质折叠中间体的性质.它具有一定程度 相似文献
20.
C_(60)等具有笼式结构的碳团簇(统称富勒烯)是目前物理、化学、材料科学等领域非常感兴趣的一类特殊物质。早期对碳团簇的实验研究发现由60,70个原子组成的团簇有比邻近的原子簇高得多的丰度和特殊的稳定性.最近两年,由于 W.Krtschmer 等发现了可制备出较大量纯 C_(60),C_(70)的方法,更加激起人们研究 C_(60)/C_(70)性质的兴趣. 有众多的文献是涉及 C_(60)及其离子的解离和稳定性的,如利用光解离、激光脱附解离、离子原子碰撞解离等方法对 相似文献