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

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

再生核空间W_2~1(R)中的分段投影插值

本文在具有再生核的空间W_2~1(R)中讨论分段插值问题,给出W_2~1(R)的再生核的解析式,并构造一个分段插值公式。     

关于生成树数最小的Tutte猜想的若干反例

W.T.Tntte在中提出了这样的猜想:在具有2m条边的所有3-连通平面图中,其生成树的总数以轮W_(m 1)为最小.笔者利用连通图的生成树数的Cayley定理,给出了若干3-连通平面图的生成树的显式计数公式,获得了这个猜想的若干反例,明了对任何m≥27的整数,轮W_(m 1)都不是生成树数最小的3-连通平面图的结论.文中还给出了另外一些连通平面图的生成树的计数公式.     

时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

线段布尔代数和布尔代数公式的演证

本文建立线段布尔代数,定义反映布尔特征——双值性的元素以及简明直观且可直接在计算机上演算的运算方法,构成一种新的布尔代数例证。使逻辑设计和布尔公式的演算及计算机程序非常简捷。文中还给出布尔代教中重要公式的推证。     

方程(Ⅱ)_(l=0)的无环结构稳定的全局结构与分支

本文讨论了方程(Ⅱ)_l=2在具有P_1P_2S_1S_2 FPS型奇点时无环结构稳定的全局相图及分支曲面,得到了:在条件0>27a>4m~3下,当δ≥0时,恰有三种拓扑结构(W_8,W_(11),W_(12)[2]),且恰有c_1,c_3两种分支,c3曲面方程可写为a=a(m,δ)及m=m(a,δ)的形式,而a(m,δ)是一个无理函数,c_1分支可写为δ=δ(a,m)的形式;当δ<0时,恰有W_5,W_6,W_8,W_(11),W_(12)及[3]中的表1.1(这种结构以下简称为史表1.1)六种拓扑结构,在参数空间存在c_1,c_2,c_2~*,鞍结分支,c_3,c_6六种分支。其中鞍结分支是一条直线;c_3,c_6可用无理式表为a=a(m,δ);c_3还可表为m=m(a,δ)δ=δ(a,m);c_1,c_2是单叶的。最后我们用了一种新的方法证证了c_2~*曲面单叶性。δ,m的一一对应性等。另外,我们还顺便得到了当0>27a>4m~3,a相似文献   

F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

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

基于命题模糊逻辑系统中公式的理论可证度的概念，探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式，并研究了它的一系列性质。     

拟线性椭圆型方程三解存在性

在本文中证明了拟线性椭圆型方程在W_0~1L(?)(Ω)中有三个解,推广了[1],[2]中的结果。     

逻辑系统L~＊中公式的随机真度

在赋值格为[0,1]的模糊逻辑系统L＊中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.     

n值逻辑系统L*n中广义重言式的计量化研究

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.     

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

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

二值命题逻辑中公式列的收敛性

在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.     

关于W_(n,k)→W_(n,l)(l≥2)的截面不存在问题

1.引言,设W_(?)为复Sliefel流形,在[1],[2],[3]中讨论了纤维映射q:W_(?)→W_(n,1)的截面存在问题,在[4]中,讨论了纤维映射p:W_(n,k)→W_(n,l);n≥k>l≥2的截面问题,获得了定理.除去k=n,l=n-1以外,纤维映射p:W_n,→W_(n,l)(n≥k>l≥2)不存在截面。 U.Suter在[4]中,还利用Stunted projective spaces获得了上述定理的部分结果。     

分数阶的С.Л.Соболев空间W_2~l(G)和W_2~(l,m)(Ω_T)

函数空間W_2~l(G)和W_2~(l,m)(Ω_T)(l,m-任何非負分数)在边値問題的研究中起着基本的作用。在本文中,我們系统而簡潔的論述了分数阶空间W_2~l(G)和W_2~(l,m)(Ω_T)的屬性。同时,还分別研究了函数空间W_2~l(E_+~n)和W_2~(l,m)(Ω_∞)中函数的Fourier变换和Laplace变換的性質。     

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

碳氮水添加对华北小麦-玉米双季轮作系统碳平衡的影响

研究典型农田生态系统的碳平衡和不同农业措施的影响,对促进农业部门的减排增汇有十分重要的意义。试验在山东省淄博市桓台县进行,共有8个处理,即C_0N_0W_1:空白对照;C_0N_1W_1:常规氮输入+化肥氮+常规灌溉; C_0N_2W_1:氮输入减量+化肥氮+常规灌溉;C_1N_2W_1:氮输入减量+有机肥+常规灌溉;C_2N_2W_1:氮输入减量+有机肥化肥配施+常规灌溉;C_0N_2W_2:氮输入减量+化肥氮+减量灌溉;C_1N_2W_2:氮输入减量+有机肥+减量灌溉;C_2N_2W_2:氮输入减量+有机肥化肥配施+减量灌溉。研究表明,华北高产农田夏玉米季和冬小麦季都表现为大气CO_2的吸收汇,周年NEP为5.99～9.64t C·hm~(-2),周年净生态系统生产力(NEP)固碳量C_1N_2W_1C_2N_2W_1C_2N_2W_2C_0N_2W_1C_0N_1W_1C_1N_2W_2C_0N_2W_2C_0N_0W_1。     

四个命题模糊逻辑系统中公式真度的大小之比较

主要探讨了四个重要命题模糊逻辑系统Luk、Gd、Π及L*中公式真度的分布情况.首先在Luk、Gd、Π及L*中,分别计算了公式(p1p2)→p3,p1(p2→p3),(p1→p2)p3及p1→(p2p3)的真度;然后比较了其大小,其大小顺序为:τGd≤τL*≤τΠ≤τLuk,其中τG¨od,τL*,τΠ及τLuk分别表示系统Gd、L*、Π及Luk中公式的真度.     

一类图的色唯一性

让W_(n,n-2)表示删去轮形图W_n中一条轮辐所得到的图.W(n,n-2,k)表示在W_(n,n-2)中由k个点u_1,u_2,…,u_t组成的独立集取代W_(n,n-2)中的2度点u,使得u_j(j=1,2,…,k)仅与u所相邻的两个点x,y相邻接而得到的。本文证明了当k=2,n≥4为偶数时,这类图是色唯一的。