循环图的同构

判定两个图是否同构是图论中尚未解决的难题。即使对同一类型的两个图,要判定它们是否同构也是较困难的。例如,判定两个正则图是否同构的问题,至今也尚未解决。 对循环图的同构,也是人们非常关心的问题。本文找到了判定两个循环图是否同构的方法。文中所述判定两个三度循环图同构的方法更为简捷,使用起来非常方便。     

基于量子逻辑的l-值正则语言的广义泵引理

给出了三个l-值正则语言的广义泵引理,是文献[5]中泵引理的推广,可以解决更广泛的l-值正则语言的判定问题.     

关于命题论证有效判定的另一方法

本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。     

格值正则语言的代数性质

本文主要从可容集的角度研究了格值正则语言，给出了一个语言是格值正则语言的充要条件，并说明了格值正则语言关于商是封闭的．     

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

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

正则语言非正则运算的封闭性

本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性，进而得出正则语言类在非正则运算“∩”、“-”以及“ ”下的封闭性的结论，并具体给出识别三类语言运算的确定型有穷自动机模型．     

深度与局部上同调群支集的判定

给出了深度的一些等价刻画,这些刻画与支集和局部上同调等概念自然地联系起来.利用滤正则序列和深度的概念讨论了与局部上同调有关的群的支集,给出了一个关于零阶局部上同调群支集是否包含于一个给定闭集的判定方法,同时考虑了高阶局部上同调群支集是否包含于一个给定闭集的情形.     

形式语言的无穷次商

本文证明了无穷次商的下列性质:①上下文无关语言对上下文无关语言的无穷次商是否上下文无关的问题是不可解的。②上下文无关语言对正则集的无穷次商仍是上下文无关语言。③正则集对任意集的无穷次商仍是正则集。     

关于单叶函数的几个判定定理

本文利用复变函数论中值定理给出判定单叶函数的几个定理及其证明,供教学参考。理引(中值定理)设 f(z)在区域 D 内正则,且连结 D 内相异的两点α,β的线段(?)仍属于 D 时,则在线段(?)上存在适当的两点(不包含α,β两点)z_1及 z_2使等式(f(β)-f(α))/(α-β)=Re{f′(z_1)}+ilm{f′(z_2)}成立。利用此引理给出如下几个单叶判定定理及推论。     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

C∞-代数及内蕴正则空间（英文）

介绍了C_∞-代数在有理同伦论中的应用.利用C_∞-代数本文给出判定空间内蕴正则性的充分必要条件.接着应用此结果证明一些空间是内蕴正则的.     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

区间H-矩阵的判定及其应用

应用矩阵的对角占优理论,讨论了区间H-矩阵的判定问题,给出了区间H-矩阵的充分条件,作为应用得到了正则区间矩阵的判定方法,改进和拓广了区间H-矩阵的判定准则.     

一类线性算子族范数连续的刻划条件

设A和B分别生长C1-正则半群{(St)}t≥0和C2-正则半群{(Tt)}t≥0,令△(t)=T(t)-S(t),在Hilbert空间下,本文给出了用生成元A和B的预解式来判定算子族△(t)范数连续的判定定理。     

关于正则语言的泵引理

通常关于正则语言的泵引理，常被用来证明某些特殊的语言不是正则语言，但这种论证方法对有些非正则语言不能适用，本文介绍几个广义的泵引理，它们不仅可解决通常的引理所能解决的问题，也可解决通常泵引理不能解决的问题。     

苯图上的珊瑚

给出算法搜索任意凯库勒型苯图的根， 并基于此分别给出新的充要条件判定： 苯图的正规， 凯库勒结构为根、 芽或其它. 进一步， 对于任意两个凯库勒结构， 给出充要条件判定其一是否可经由六角旋转转化为另一个.     

卷积型方程的代数正则化解法及其在信号重建中的应用

本文基于 Tikhonov的正则化思想 ,讨论了采用代数正则化方法数值求解卷积型方程的有关理论和技术问题 (包括离散正则解的存在唯一性 ,收敛性及数值稳定性等 ) ,并给出了在带限信号重建中的两个应用实例。理论分析和数值实验表明 :该算法具有很好的数值稳定性。     

由基本割集矩阵求其对应图G的一种算法

本文给出判定含全“1”元素列和不会全“1”元素列两种基本割集矩阵是否有其对应图的充要条件。当满足此条件时,怎样由矩阵得到图,文中给出了一种依据此条件而构造的算法,并给出两个例子来说明这种算法的应用。     

关于Miller-Clifford定理的一点注释

设S是半群 ,a ∈S ,Da 表示a所在的D-类 ,对于b∈Da,本文讨论当ab∈Da 时 ,能判定ab∈Ra ∩Lb 的条件 ,同时给出了一个判定有限正则半群的条件     

关于P~S—正则群

本文研究了有限P群的P~s—正则性,给出了有限P群成为P~s—正则群的两个充分条件。对于P~s—正则群进一步讨论了它具有的幂结构。可得结果表明:对于任一自然数S,P~s—正则群具有与正则P群类似的幂结构