有穷自动机所计算的函数

本文讨论有穷自动机机■的功能,旨在直接证明■所计算的函数属于■~1,这里■~1按 A.Grzegorczyk 在[1]中的定义,它是原始递归函数■类的很小的子类.关于原始递归函数和[1]中所定义的函数类■~0,■~1等概念,均直接引用[1,2],这里不再赘述.本文是在唐稚松老师和陶志成老师指导下于中国科学技术大学写成的,文中主要想     

求连续minimax问题整体解的区间算法

1 引 言 Minimax问题是一类重要的数学规划问题,它来源于实际并有极广泛的应用([1],[2]).用区间数学方法求解 minimax问题已取得了一些成果.文[1]对由 C2类函数构成的无约束连续 minimax问题进行了研究,建立了相应的区间算法,文[6]～[11]分别讨论和建立了无约束和不等式约束的离散minimax问题的区间算法.文[12]、[13]则讨论了最坏     

原始递归单純集及其分层

本文所用符号与[11同.吻,叭,…为一切递归可枚举集之一排列,它满足:二〔叽嘴=)(五夕)Mi(,,x,y)(。,见[1]67页).奋。(二),宁、(二),…为一切一元部分递归函数之一排列,它满足:q。(二)有定义<=乡(Ey)TI(,,x,y)(q‘见[l]91页). Smullyan引进了能行单纯集的定义[2],定义为:递归可枚举集a称为能行单纯集,若在为无穷集,且有一般递归函数了(劝,使得对一切,,若Lo。C压,则,(动>。。的势. 能行单纯集的定义是根据;(劝对在中。,的势的优超性而给出的.那么,我们可以间,基于优超性而建立的函数族的分层,可否用来对上述集合构成的类或其中一子类进行分…     

关于∧BV和V〔υ〕类

D.Waterman和Z.A.Chanturiya分别于1972年和1974年引进了有界变差函数类BV和变差模函数类[ν]的概念。最近M.Avdispahie研究了这两个函数相互之间的关系,但所得结果不够理想。本文的目的把M.Avdispahic的结果这一步完备化,讨论了ABV.V[ν]和BV_c三个函数类的相互关系,得到了较理想的结果。     

关于原始递归性

<正> 我们假定读者了解[1,2,3]中的内容,因而在使用其中符号吋不再详细说明.本文所用的字母表(?)指有穷字母表{0_1,…,0_k}.自从1928年 Ackermann 指出以后,大家都知道递归全函数范围是超出原始递归函数范围的(见[4])。但原始递归函数类,确为一个很自然的,有鲜明特色的函数类。它包括古     

有理插值(m/n)_f方程组的性质与作用

1引言 记Pn为次数不超过n的一元多项式函数类,约定零多项式的次数为-∞,即deg(0)=一∞;记Rm,n为分子属于Pm,分母属于Pn＼{0}的一元有理函数类.在[1-5]的基础上,文[6]引进了有理插值问题的(m-n)f方程组,其为经典(m/n)f方程组的一种等价变换.由于变换之后,使得参数之间地位相同,并且在个数上也与空间自由度一致,因此成为分析有理插值的一个有力工具.文[7]利用(m-n)f方程组,讨论了有理插值的基本特征,给出并证明了关于基本特征的基本关系定理.文[8]则在此基础上解决了有理插值的适定性问题.     

广义的张量积Poisson函数的升阶问题

1 引言 文[2]讨论了Poisson函数的若干性质,及以Poisson函数表示的曲线的一种细分格式。而文[1]则对Poisson函数,Bézier函数作了一般的推广,引进了广义的Poisson函数。受文[1],[2]的启发,本文将讨论张量积形式下的相关结论。我们将会看到广义的张量积Poisson函数将不再局限于张量积形式。     

关于G——理想的遗传性

文[1]中提出了一种利用环偶类来给出一个根环类的方法,[2]中讨论了根环类 R 关于零化子理想的遗传性问题,并从另一种意义上刻划了 SXA'SZ[3]中的 E_6—环本文讨论关于环的较零化子理想更广的另一类理想的遗传性问题。本文只讨论结合环所说的环类都是同构闭的。     

张量对称类对多重多端口直积网络分析的应用

文献[1]首先提出了直积网络的概念并讨论了二重二端口直积网络.[2]讨论了二重n端口直积网络.本文讨论一般情况并将m重n端口直积网络的分析转化为n维线性空间的m重张量积空间的讨论.在更为宽广的条件之下,借助于张量对称类为一族诱导线性变换的一致不变子空间这一深刻事实,获得了覆盖[1,2]所得结论的关于信号通过直积网络传输的几个明确结果.     

一般形式的一阶椭圆型偏微分方程组拟线性Riemann-Hilbert问题

在文[1,2,3]中,E.Wegert和L.V.Wolfersdorf等人讨论了一类全纯函数的拟线性Riemann-Hilbert问题在Hardy空间中的可解性,在文[4]中,讨论了广义解析函数的拟线性Riemann-Hilbert问题,同样得到该边值问题在H2类解空间中的可解性.本文在前面研究工作的基础上,对一般形式的一阶椭圆型偏微分方程组拟线性Riemannn-Hilbert问题作了更深入的讨论,在适当的假设条件下,应用积分算子理论,函数论方法及不动点原理,证明了该边值问题在相应的泛函空间中同样是可解的.