Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

命题模糊逻辑系统中公式的理论可证度

在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.     

Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析

对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理在Gdel,以及R0系统中不是公理,但其真度皆大于0.5.     

和谐性质及其应用（Ⅱ）

Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。     

G-H-空间中KKM定理的变形

作为古典的KKM映像的推广，R．U．Verma(On a generalized class of minimzx inequalities[J].J Math Anal Appl,1999,240(2):261-366.）介绍了G－H－空间的概念，引入了I－G－H－KKM映像，得到了一些新结果。给出了G－H－空间中KKM定理的一种形式，并得到G－H－空间中Ky Fan型sup inf sup形式不等式。     

有限幂零群的若干刻划

从极大子群、中心主因子和正规子群的G 主列的角度来讨论有限幂零群,获得了有限幂零群的若干新刻划.设M是有限群G的任一极大子群,H G.令 G=G/Φ(G),则G是幂零群当且仅当下列条件之一成立:(1)如H≤\M,则H∩M G且H/H∩M≤Z(G/H∩M);(2)如H≤\M,则M≤CG(H/H∩M);(3)如H≤\M,则H≤CG(M/H∩M);(4)如H≤\M,则M补于G的一个中心主因子;(5)F( G)有一个 G 主列,其中每个主因子都是 G中心的且CG(F( G))可解;(6)Soc( G)有一个 G 主列,其中每个主因子都是 G 中心的;(7)K∞(G)≤H,H/Φ(H)有一个 G 主列其中每个主因子都是 G 中心的;(8)HCG(H)≤Z∞(G).     

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径     

有限超可解群的一些充要条件Ⅱ

主要证明了如下的结果假设M是有限群G的任意极大子群,则下列命题是等价的(1)G是超可解群;(2)M补于G的某个素数阶主因子;(3)有H(△)G使M∩H为H的正规的极大子群;(4)M/MG为幂指数整除p-1的Abel群且|G∶M|为素数p的幂;(在下面的(5)～(8)中假设G之所有含于F(G)和Φ(G)之间的主因子在G中的中心化子之交是可解群.)(5)Φ(G)=H0＜H1＜…＜Hr=F(G)为G的一个主列片段,其中每个主因子Hi+1/Hi是素数阶的;(6)若F(G)≤(△＼)M,则M补于G的素数阶主因子;(7)若F(G)≤(△＼)M,则M/MG是幂指数整除p-1的Abel群且|G∶M|为素数p的幂;(8)若F(G)≤(△＼)M,则M∩F(G)为F(G)的极大子群.     

有限超可解群的一些充要条件II

主要证明了如下的结果:假设M是有限群G的任意极大子群,则下列命题是等价的:(1)G是超可解群;(2)M补于G的某个素数阶主因子;(3)有H G使M∩H为H的正规的极大子群;(4)M/MG为幂指数整除p-1的Abel群且｜G∶M｜为素数p的幂;(在下面的(5)～(8)中假设G之所有含于F(G)和Φ(G)之间的主因子在G中的中心化子之交是可解群.)(5)Φ(G)=H0相似文献   

关于道义逻辑系统的一种布尔值模型

本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示"应当"和"允许".为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型.     

定向微分流形上Stiefel-Whitney示性类的积分公式

命M是一个定向微分流形,T(M)是它的切丛,E是T(M)的一个子矢丛。我们将指出:矢丛E的Euler示性式扮演了流形M的Stiefel-Whitney示性式的角色,不过这个示性式积分时必须mod.2计算。我们同时指出:丛E的Euler示性式的积分公式正好是J.Eells的广义Gauss-Bonnet公式。     

有限群的π-弱拟正规子群III

有限群G的一个子群K称为G的一个π-弱拟正规子群,如果K同G的所有Sylowπ-子群相乘可换(四川师范大学学报:自然科学版,2002,25(4):441-444).进一步讨论了π-弱拟正规子群的一些性质,特别是π-弱拟正规子群的一些充分条件与必要条件.最后,给出了π-闭群的两个充分条件:假设H是有限群G的一个Sylowπ-子群,则:(1)如果NG(H)是G的一个π-弱拟正规子群,那么G是一个π-闭群;(2)如果M是G的一个π-弱拟正规子群并且M包含H而且M包含于NG(H),那么G是一个π-闭群.     

可修机器服务模型的费用分析

机器服务模型是排队论的经典问题之一.Takacs(1962)给出了这个模型的有关排队论指标.曹晋华在服务设备失效可修的前提下,将它作为排队模型和可靠性模型相结合的模型,进一步得到了该系统的各种可靠性数量指标(《数学研究与评论》1985年第4期).在朱翼隽论证了一相为指数分布,另一相为一般分布可修相位的最简闭路模型与M/G/l/N系统等价(《数理统计与应用概率》待发表),和史定华关于可修M/G(E_k/H)/l系统若干结果(《运筹学杂志》,1989年第1期)的基础上,进一步给出了工作相位是有限顾客的指数分布平行窗口相位,而维修相位为M/G(E_k/H)/l带有限等待位置情况的闭路系统的循环时间、失效分析及其费用分析。     

命题演算系统(ζ)*中的Boole型理论

研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是Boole代数,并找到了TH(L)为最小的Boole型闭理论.     

伪度量L~*-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.     

具有时变时滞的离散切换系统的鲁棒H_∞控制

利用多Lyapunov函数方法,研究一类具有时变时滞的线性离散切换系统的鲁棒H∞控制问题.在每个子系统都不能实现鲁棒H∞控制的假设条件下,基于切换状态反馈控制策略,给出了系统实现鲁棒H∞控制的充分条件,且这一条件可以表示成与时滞界相关的线性矩阵不等式(LMI)的形式,还分别给出了切换律和鲁棒H∞切换控制器的设计方案,并讨论了时滞界与H∞性能的关系.最后的仿真例子表明了结论的有效性.     

有限解释下一阶谓词公式的相对真度

本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.     

基于L~*系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.     

关于拟常曲率空间子流形的调和与Killing向量场

本文研究了一般拟常曲率空间N的紧可定向子流形M上的调和向量场,射影Killing向量场以及保形Killing向量场。给出了M上任意向量场所满足的两个积分公式,并且运用这两个积分公式讨论了M上的调和向量场、射影Killing向量场,保形Killing向量场的平行性、不存在性与M的主曲率之间的关系。同时在N为一种特殊的拟常曲率空间即S—流形的假设下又得出了进一步的结论。本文中主要结果是Shetty,D.J.在常曲率空间子流形上类似结果的推广。     

基于φ-散度的乘积多项抽样下对数线性模型的检验水平和功效

考虑了乘积多项抽样下的对数线性模型.在这个模型下,文献[Jin Y H, Wu Y H. Minimum φ-divergence estimator and hierarchical testing in log-linear models under product-multinomial sampling. Journal of Statistical Planning and Inference, 2009,139:3 488-3 500]用基于φ-散度和最小φ-散度估计构造的统计量研究了几类假设检验问题,这其中就有嵌套假设.最小φ-散度估计是极大似然估计的推广.在上述文献的基础上,给出了其中一类检验的功效函数的渐近逼近公式;另外,还研究了在一列近邻假设下检验统计量的渐近分布.通过模拟研究发现,与Pearson型统计量和对数极大似然比统计量相比,Cressie-Read型检验统计量有差不多的甚至更好的模拟功效和水平.