偶线性语言的有限双边可微性及其 Pumping 引理

Ehrenfeucht 等人在[1]中对正则语言的 Pumping 性质进行了讨论,他们给出了一个与正则性等价的 Pumping 性质,且提出了在上下文无关语言中建立一个类似定理的Open 问题。本文就一真包含正则语言类的上下文无关语言类子类——偶线性语言类给出了回答。定义1.一个偶线性文法是一个线性文法 G=(V,∑,P,S),其中生成式都具有     

(L)ukasiewicz命题集的积分真度、发散度与相容度的分布

研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容度取值之集在[1/2,1]中稠密.     

一类新的φ-压缩映象的公共不动点定理

利用度量空间中自映象对相容和次相容的条件,讨论了完备度量空间中一类新的φ-压缩映象的公共不动点的存在性与唯一性,得到了一个新的公共不动点定理,所得结果改进和推广了文献[2]和[6]中的相关结果.     

对称空间中的重合点和公共不动点定理

利用对称空间中的一个新的(Ag)型弱相容映像的条件,讨论了对称空间中重合点的存在性和公共不动点的存在唯一性问题.证明了几个满足性质(E-A)和(Ag)型弱相容映像的新的公共不动点定理,并给出了验证和说明文章结果的实际例子.这些结果改进和推广了文献[1-3]中的一些相关结果.     

ω超线性语言

[1] 中定义了有穷转向的ω-pda 和ω-cfl,给出了它们的若干性质。本文讨论有穷转向的ω-cfl 的生成,定义ω超线性文法和ω超线性语言,证明ω超线性语言和有穷转向的ω-cfl是同一语言类。     

几类特殊函数关于复合运算封闭性的讨论

文章讨论了几类函数对复合运算的封闭性，证明了满足 Lipschitz条件的函数类、连续函数类及 Borel可测函数类对复合运算具有封闭性，对其他不满足封闭性的函数类，给出了相应的反例。     

一个有效的LR(K)分析机的分级构造算法及其文法的分划

本文提出了一个上下文无关文法的LR(k)分析机的分级构造算法及其文法的分划方法。并对K=1的情况进行了详细的讨论。该方法不仅适用于任何实际LR(K)文法并且较之[5]中方法更加有效。文中对算法的正确性进行了证明,同时指出由本文建立的强相容性标准是所有合并同心状态的相容性标准中最宽的一个。根据获得的结果。用本文中算法构造的LR(K)分析机中的状态个数与LALR(K)分析机中的状态个数相同或略多。     

（次）相容映象的公共不动点定理与广义Ishikawa迭代逼近定理

本文利用(次)相容映象概念,在一致凸Banach空间中,首先讨论了广义非扩张映象对的公共不动点存在问题,用异于Bose的方法推广和改进了他的结果,最后给出了这些公共不动点的广义Ishikawa迭代逼近定理。所得结果改进和推广了文[1]、[10]—[13]中相应结果。     

膨胀算子及其不动点定理

前言 B.E.Rhoades在[1]中总结了若干类压缩映射,并讨论了它们的不动点定理。近几年来,王尚志等[2]、[3]和陈继乾[4]研究了几种类型的膨胀映射及其不动点定理。本文对某些压缩映射给出了相应的膨胀映射的定义,和它们的不动点存在定理,并讨论     

极模型模糊复数概念及简性

首先介绍文[1]给出的模糊复数的概念。根据其基本四则运算的封闭性,对一种特殊类型的模糊复数进行了讨论。     

信号的光滑性重构及其在仿真中的应用

分析了文献[1]中分段多项式的光滑性,给出了分段多项式在节点处光滑的相容条件.并通过对输入信号的光滑重构的方法,对文献[1]算法进行了改进.以简单的算例表明了输入信号光滑性重构的有效性.     

武城方言日母字今音:层次和演变

由于汉语方言发展的复杂性,山东武城方言日母字今音呈现出多层次的复杂面貌.日母儿类字[ι]、[( )]共存;非儿类字以今洪、细为条件,分化为[l-]、[Φ-]两种语音形式.经过分析,我们认为非儿类字是移民和文教传习造成的韵母洪、细的叠置和声母[l-]、[Φ](j-)的叠置;儿类字的[ι]、[( )-]与非儿类字的[l-]、[j-]分别对应,分别是文读和白读.在非儿类字的讨论中,我们看到了条件音变的局限性,以及韵母的文白异读可以导致声母的不同读法.     

矩阵可逆分裂的收敛性

文章在文献[1]的基础上讨论了矩阵的非负可逆分裂、第一(二)类弱非负可逆分裂、弱可逆分裂及第一(二)类更弱可逆分裂的收敛性问题.     

一类凸闭函数的从属关系

在[1]与吴卓人[2]等文章里,曾对星形与凸象函数序列的性质进行过研究,在这篇文章里,我们是采用从(?)原理的方法。对一类局部凸象的多价函数进行研究,这类函数是Goodman在[3]中所研究的,这篇文章所得到的结果,是[1]和[2]一些主要结果的推广。 下面我们给出这类函数的定义,在今后我们所讨论的函数类中,每一个函数都是具有如下的展     

线性空间的邻域结构

A·kos Csa′sza′r在[1]中先赋予非空集合一个邻域结构,在此基础上定义了与从开集公理体系导入的拓扑等价的拓扑结构,由邻域结构确定了一类较拓扑空间更为广泛的空间对象——邻域空间[1]。本文在线性空间中赋予相容的邻域结构,推广了拓扑线性空间的概念,讨论了邻域线性空间的一些初步性质。此外,由于定义相容的加法和数乘运算的需要,还引入了邻域空间的乘积和乘积邻域结构的概念。     

关于对角变换法计算非负不可约矩阵的最大特征值和相应特征向量的注记

对角变换法是计算非负不可约矩阵最大特征值的有效方法之一,多年来受到人们的重视与研究.但是有关收敛性讨论往往比较繁琐.Pham Van At在文[1]中把对角变换法作了一般性定义,称之为F-方法。给出了方法收剑的充分条件,并作了较为简捷的证明.文[1]讨论了两类特殊的F-方法,一类叫FL-方法,另一类叫Fc-方法,均给出了较为实用的收剑条件.受文[1]的启发,本文讨论了一类新的F-方法,称其为FLW-方法,并给出了相应的收敛条件.     

关于非线性规划的逆对偶性

对带锥约束的非线性规划问题，Nanda和Das在1996年引入了四类对偶模型并给出了相应的各种对偶定理[1]。2000年，Chandra和Abha指出Nanda和Das的文章有错误，通过修正，他们提出了四类新对偶模型。在广义伪凸性条件下，Chandra和Abha获得了新对偶模型的弱对偶性和强对偶性结果[2]。本文建立了四类Chandra-Abha对偶模型的逆对偶定理，同时也指出了Nanda和Das文章中有关逆对偶性结果证明的不正确性。     

一类(φ)-压缩映射的公共不动点定理及其迭代收敛性

利用拓扑空间的性质和一些分析技巧,讨论了两个可交换的映射的公共不动点问题,证明了几个新的公共不动点定理,推广和改进了文献[1]~[10]的相关结果.特别在文章定理1和推论1以及推论2中,并不要求单个映射是连续的,只需要复合映射连续就可以了.     

关于线性泛函间线性关系的一个结果

在有限线性不等式组的相容问题中有一个被称为边界解原理的重要定理[1]，其证明用了关于线性泛函之间线性关系的一个结果，本文将结果以定理1的形式给出，并对它的证明作一讨论。     

关于复的C~2类缺插值样条函数

本文讨论了定义在单位圆上、具有均匀分布节点的s次(s≥3)C~2类复的缺插值样条函数。对这一类复样条,解决了插值问题(存在性、唯一性),讨论了误差估计,并给出了一种渐近展开式。实的缺插值样条问题的讨论已经很多。在[1]中,陈天平讨论了一种C~2类的缺插值样条函数,其处理方法能避免许多冗繁的计算。本文可看作[1]在复情形下的推广。相对于实样条而言,复样条的研究虽然早已开展,但国内外这方面的工作还不多(见文献[3]～[5]),也未见专门讨论缺插值复样条的文章。一般来说,复样条研究比较困难,即使对单位圆上均匀节点高次复样条的插值问题讨论,也是相当烦琐的(见[3])。但是对于本文所研究的这种复样条来说,却能较方便地用与[1]中类似的方法来讨论,并得到了比较完善的结果,而且可以看到,[2]中的结果也可能移植到我们这里来。