基于有限递归和μ-算子的α-递归论

根据Ｂｌｕｍ，Ｓｈｕｂ和Ｓｍａｌｅ定义实数环上的计算模型中将递归和μ－算子限制在自然数上这一特点，提出了基于自然数上的递归定义和μ－算子。研究了在可允许序数α－上定义的可计算函数－弱α－递归函数的弱α－递归论的基本性质及其与α－递归论的差别，证明了每个弱α－递归函数是以自然数为参量关于取值α上的变量的多项式函数，并且每个弱α－递归可枚举集与自然数集的交集是递归可枚举的。     

用ω-Turing机计算实数函数

实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的.     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础.从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性.有助于进一步研究正则语言的自动产生机制.     

实数的可计算性与计算复杂性研究〈Ⅰ〉——构造性连续统的不可解问题

设C是一切可计算实数的类,R是有理数类.设a∈C 以α表示可计算实数α的一切程序的指标集.定义本文获得了下述结果:〈4〉C不是递归可枚举类,R是递归可枚举类;〈5〉(?)与(?)都是产生集;〈6〉(?)相对于(?)不可解;〈7〉设M是可计算实数的极小程序指标集,则有:((?)部分递归函数ψ)((?)x:W_z无穷且     

正则语言的可递归性

根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。     

分析中的可计算性

工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实数的重新理解和认识是研究分析中可计算性的重要基础.Klaus Weihrauch基于第二型图灵计算模型,引入了基于无穷串的可计算函数的概念,并建立了第二型能行计算理论.有关可计算实数理论的几种经典模型可以统一在第二型能行计算理论框架中.对于一般的集合,为研究其中元素的可计算性,引入基于字母集Σ的表示系统.形式上是一个部分函数υ∶Σ＊→M或δ∶Σω→M（称为命名系统）,不同命名系统下刻画不同的逼近方法,诱导出不同的可计算性,在能行拓扑空间中诱导出不同的拓扑.拓扑与命名系统之间的内在联系,使得抽象空间中可计算性的研究得到自然延伸.     

可拓实数与可拓复数

引进了可拓实数和可拓复数等概念,给出了可拓实数和可拓复数刻划定理,建立了可拓实数和可拓复数度量空间,该空间是完备的,在该空间上可讨论可拓实数列和可拓复数列的极限、度量收敛和水平收敛,还可进一步研究可拓实函数和可拓复函数的连续性和可拓连续性,从而丰富了可拓数学的内容和方法,为可拓数学的研究开辟了一条新的途径,为可拓分析学的进一步研究打下了一定基础。     

非标准实数域R及其性质

在对实数域保持有序性而放弃完备性之要求下的一个扩超实数域。超实数域作为对零，正整数直接施行有限哐光限次的加、乘及逆运算（零可作除数、域的定义随之家所扩展）封闭的有序不完备域的建立及其性质。     

关于递归控制Turing可化归性

证明了“递归控制Ｔｕｒｉｎｇ可化归性”（简称ｒｃｔ－可化归性）崩溃成平凡情形，即证明了任何两个有穷集合或任何两个无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的．也即有且只有两个递归可枚举的ｒｃｔ－度．从而ｒｃｔ－可化归性不是通常递归论意义下的合适的可化归性．     

关于递归控制Turing可化归性

证明了“递归控制Ｔｕｒｉｎｇ可化归性”崩溃成平凡情形，即证明了任何两个有穷集合任何两无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的。也即有且 只有两个递归可枚举的ｒｃｔ－度。     

浅析政治文献英译的常见方法

政治文献英译是对外宣传的重要途径,它的宗旨是让译文受者在摄取信息的过程中不遇到障碍,明确无误地理解和把握译文所传递的信息,本文以翻译实例探讨了政治文献英译的常见方法。     

卡明斯诗歌的变异

所谓变异,就是不符合语言的常规。诗人为了各种目的经常可以不受习惯用法的约束,大胆创新,这就导致他们突破语言的常规,形成各种各样的变异。美国现代诗人卡明斯(e.e.cummings)大量应用变异的手法,写了很多独具一格、他自称为“画诗”(poempicture)的奇特的诗,因此要读懂就必须理解其中的变异手法。本文从书写和版面、语法、词汇这3个方面的变异来分析和欣赏他的诗歌。     

普氏野马与亚洲野驴、斑马的头骨比较

根据国内唯一的一例普氏野马头骨与亚洲野驴、斑马进行了比较。     

低频信号测试系统图形显示的研究

开发了一种低成本、高性能的低频工程信号测试系统。为了实现系统的工程信号实时图形显示，在PC机上试验研究了C语言、VB和Origin。尽管三种实现方法在底层调用、图形绘制和数据处理等方面各有长处，但VB作为可视化编程软件，不仅提供多种数据类型，完成复杂的数据运算，而且具有强大的数据库功能，支持跨平台开发。     

与半群的完全不可逆生成集相关的几个性质

讨论了半群环的两个性质以及关于半群的a.c.c.p.（主理想升链条件）的一个结论。     

缓变磁场中荷电粒子的量子力学解

本文给出了缓变磁场中碱金属原子的量子力学解。     

抗伊氏锥虫单克隆抗体的研究——一、分泌抗伊氏锥虫单克隆抗体杂交瘤细胞株的建立

为了对伊氏锥虫病的免疫诊断提供有价值的单克隆抗体,笔者通过了3次SP2/0骨髓瘤细胞与伊氏锥虫抗原免疫的BALB/c小鼠脾细胞间的融合试验和多次筛选以及克隆化,建立起7株分泌单克隆抗体的杂交瘤细胞株。对其中ⅡG_6杂交瘤作了进一步的检定分析,用ⅡG_6上清液对T.e.抗原进行ELISA试验,显示出高度的特异性,与血吸虫、弓形虫抗原均未出现交叉反应。ELISA测试ⅡG_6细胞株培养上清效价为1:5.1×10~3,而杂交瘤细胞接种BALB/c小鼠诱生腹水抗体的效价为1:1.6×10~7。该株单克隆抗体免疫球蛋白的类型鉴定属IgG_1亚类。该株细胞已在体外培养下,稳定地分泌特异性抗体至少达6个月之久,同时在液氮冻存近8个月之后仍能保持分泌抗体的能力。     

实直线上的分形维数

利用B.Mandelbrot对空间分形维数的定义,讨论实直线上任意点的ε-邻域与无穷大区间2种特殊情况下的分形维数,得出0相似文献   

水样中硫化物含量的测定——交流示波极谱滴定在环境监测水质分析中的应用(Ⅰ)

研究了以Zn~(2+)溶液为滴定剂进行S~(2-)的沉淀滴定而导致以S~(2-)在汞膜电极上所形成的示波极谱曲线(dE/dt～E)切口的消失来指示滴定终点的最佳条件。本方法简便快速、准确度和精密度令人满意,可以不经前处理而直接用于有色、有悬浮或沉淀物的水样中硫化物的测定。