【摘 要】
:
Co-regular集是R^d上的一类集合,在第二类能行性理论(简称TTE)的框架下,研究CO-regular集组成的类P上若干算子的可计算性,这些算子主要包括交、并、象、原象、补集的内部运算和开
【基金项目】
:
国家自然科学基金(批准号:60573011).
论文部分内容阅读
Co-regular集是R^d上的一类集合,在第二类能行性理论(简称TTE)的框架下,研究CO-regular集组成的类P上若干算子的可计算性,这些算子主要包括交、并、象、原象、补集的内部运算和开集的CO-regularization等。结果表明,此前提出的所有不等价表示式中,只有个别表示式对这些算子是可计算的。
其他文献
光电Fenton法是一种新兴的废水处理技术,在水处理中的应用越来越受到关注.综述了电Fenton及各种类型光电Fenton特点以及光电Fenton处理工业废水技术的研究现状,同时概述了该技术
目的 探讨老年上尿路梗阻性脓肾并肾衰诊治分析方法.方法对14例上尿路梗阻性脓肾并肾衰老年患者的临床特点、诊断和治疗,并结合文献进行讨论.结果经肾穿刺造瘘及血液透析及尿道输尿管镜配合气压弹道碎石后加双J管内支架引流,手术解除梗阻后及患肾切除后肾功能好转7例,维持性血液透析4例,死亡3例;结论积极的治疗能改善肾功能。
脂多糖(LPS)通过TLR4介导细胞炎症反应.研究表明,髓样分化蛋白-2(MD-2)通过与TLR4形成复合物参与LPS诱导的细胞信号过程.TLR4/MD-2复合物中的MD-2结合LPS后,引起TLR4低聚化,进而激发下
目的 探讨非溃疡性结肠炎的临床特点、治疗及转归.方法对1993~2003年辽宁抚顺矿物局总医院51例非溃疡性结肠炎(UC)患者的临床资料进行回顾性分析.结果43例UC患者经内科保守治疗,42例获得缓解,死亡1例.9例UC患者进行了手术治疗,术后死亡2例.结论轻度UC患者仅需对症处理、饮食控制、及SASP或5-ASA就能获得临床缓解.中、重度UC患者用SASP或5-ASA联合激素治疗能使绝大多数获得
英语中,许多男、女性对应表达方法存在着语义差别。这种差别在 man 与 woman 上就有所体现。man 能被理解为“a person”或“peo-ple in general"。man 作为“human being"是
语言和文学是随着社会而产生和发展的;社会不断地变化,语言和文学也必然不断地变化,迈出前进的步伐。近年来,欧洲和美国的女权主义运动如火如荼,不仅震撼着政治界。而且也影
酪氨酸酶(EC1.14.18.1)是一种含铜的氧化还原酶,它广泛存在于动植物和微生物中,与生物体合成色素直接相关.在人体中,它与色素障碍性疾病及恶性黑色素肿瘤的发生与治疗有关.因此对编码酪
在外语教学中,教师要传授语言知识,教会学生掌握语言的形式和意义,培养学生的语言习惯,发展其语言能力。但是最重要的是让学生掌握语言的用法,特别是语言在不同场合的运用,以
农业废弃物是指农业生产和农村生活中必然产生的副产品.为此,对云南省农业废弃物资源和沼气发展现状进行了分析,阐述了云南省发展沼气工程的必要性:并针对云南省地理环境和气候条
公共外语是高等院校开设的一门必修课。因为是必修课,所以每个学生都得学;又因为是公共课,所以在学生的思想上往往不象对专业课那样重视。十年浩劫给整个外语教学带来了极大