G(o)del逻辑和L*逻辑中公式的真度分布

研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况.     

冲击模型可靠度的界

对于冲击模型H(t)=sum from k=0 to ∞ P{N(t)=k}·P_k其中{N(t),t≥0}是更新过程,间隔时间分布函数F(t)存在有限均值,在以下情况下,我们讨论了其界值问题: ①F(t)是IFR类分布;②F(t)是DFR类分布; ③F(t)是NBUE类分布;④F(t)是NWUE类分布.而且对一些特殊情况,其结论更简洁.     

排序法计算指数寿命型元件串联系统可靠性经典精确最优置信下限

对于样本点是离散的情况,可用对样本点排序的方法确定可靠性置信下限,排序有很多种,有L-P排序、序贯排序、极大似然估计排序、修正L-P排序等。本文提出一种具有直观合理性的新的排序方法,计算指数寿命型元件串联系统可靠性经典精确最优置信下限。     

关于最大长度序列的稳定性

讨论了最大长度序列的稳定性，推广了文「１」中的结果。     

命题逻辑中概率真度的相似度及伪距离

通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了3种相似度,讨论了其性质及关系,并由此定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了依据.     

冷备系统可靠性评定的统计方法

贮备是提高系统可靠性可行且有效的途径.关于冷备系统的可靠性评定问题,前人仅在设备均为指数型部件的情况给出了WCF方法.文中对实际中常用的指数-威布尔混合型冷备系统,提出了两种可靠性评定方法:WCF方法和Fiducial方法,并在中小样本下对两种方法进行了模拟研究,说明了这两种方法的实用性.     

Gdel逻辑系统中的函数决定公式问题

以Gdel系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类。     

利用隐蔽数据求指数型元件可靠性Bayes置信限及Fiducial置信限

本文对两个相互独立的指数型元件，利用串联系统寿命试验的隐蔽数据求元件可靠性的Bayes置信限以及Fiducial置信限．     

贮备系统可靠性之近似置信限

设组成贮备系统的指数寿命型元件的失效率之间满足某种关系．本文给出了这样的两个贮备系统组成的串联系统可靠性之近似置信下限的计算公式．     

中小企业环境与经济协调发展的决策支持系统

本文分析了中小企业环境与经济协调发展的基本机理，开发了基于环保投资的决策支持系统，为中小企业环境与经济协调发展提供决策支持工具．     

预条件同时置换(PSD)迭代法的收敛性分析

1引言求解线性方程组Ax=6,(1.1)其中A∈R~(n×n)非奇异阵且对角元非零,x,b∈R~n,x未知,b已知.不失一般性,我们假设A=I-L-U,(1.2)其中L,U分别为A的严格下和上三角矩阵,相应的Jacobi迭代矩阵为B=L U.(1.3)若Q是非奇异阵且Q~(-1)易计算,于是(1.1)可以变成     

格值命题逻辑系统LP(X)的语法扩张

We have given a semantic extension of lattice-valued propositional logic LP(X) in [6]. In this paper, we investigate its corresponding syntactic extension of LP(X) and give the relations between these two extensions.     

ON THE ESSENTIAL SPECTRUM OF PSEUDODIFFERENTIAL OPERATORS （Ⅱ）

This paper coutinues the studies of the essential spectrum of nonsemi-bounded pseudodifferential operators. The author improves the results in [5] in some sense. For the relativistic Schrodinger operator,√(-Δ+m^2)+v(x),complete results are obtained.     

SYMPLECTIC COMPUTATION OF HAMILTONIAN SYSTEMS (I)

AbstractWe get τ6-terms of the formal energy of the mid-point rule, and use the mathematical pendulum to test the convergence of the formal energy.     

成败型元件可靠性估计及近似置信限

本文基于成败型元件串联系统的成败型试验数据,研究成败型元件可靠性的点估计以及近似置信下限.     

关于带重力项一维渗流方程解的自由边界的C^k正则性的一点注记

本文研究带重力项的一维渗流方程 u_t=(u~m)_(xx)+(u~n)_x,m>1,n>1Cauchy问题解的自由边界的正则性.正如我们所知,此退化方程解的显著特征是满足有限传播速度:当初值u_0(x)具有紧支集时,自由边界x=ζ_i(t),(i=1,2)是两条Lipschitz连续曲线.本文进一步研究指出:当n≥m对压力v=m/(m-1)u~(m-1)有ζ'_1(t)=-limv_x(x,t),t∈(0,∞),且对ζ_1(t)的任何移动部份Γ是C~1正则的;当n-1/m-1≥k,k为正整数,则微商(1≤2l+j≤k)在Γ的每一侧附近是有界的;特别当n-1/m-1=k,则任意阶微商(l≥0,j≥0)在Γ的每一侧附近有界,从而v在Γ的每一侧是C~∞的。 本文只考虑i=1的情形,至于i=2可类似地加以考虑。     

THE BOUNDARY VALUE PROBLEMS OF ELLIPTICSYSTEM (E_1) ON THE UNBOUNDED DOMAIN

1 IntroductionIn [1]. Hua, Lin and Wu developed a fullction tlieory of (A, k) bianalytic functions byinvestigatiug the second order systems of equations on the plalle. Long after a decade, it comesto know that biaualytic functions are related essentially and closely to plane elasticity. Upon80s. Gilbert and Li.[2] firstly brouglit sucli a relation to llglit. ln fact, tl1eir observation showstl1at tl1e canoliical fOrlll of tl1e elliptic systelll (E1) ili [1], wliicl1 is satisfied by (A, 1)-…     

ON THE CLASSIFICATION OF AF-ALGEBRAS AND THEIR DIMENSION GROUPS （Ⅱ）

ＯＮＴＨＥＣＬＡＳＳＩＦＩＣＡＴＩＯＮＯＦＡＦ－ＡＬＧＥＢＲＡＳＡＮＤＴＨＥＩＲＤＩＭＥＮＳＩＯＮＧＲＯＵＰＳ（Ⅱ）￥ＨＵＡＮＧＺＨＡＯＢＯＡｂｓｔｒａｃｔ：Ｔｈｉｓｐａｐｅｒｉｓａｃｏｎｔｉｎｕａｔｉｏｎｏｆ［１］．Ｉｔｇｉｖｅｓｓｏｍｅａｐｐｌｉ...     

ON THE HEAT KERNEL OF THE RIEMANNIAN SYMMETRIC SPACE SU(6)/SP(3)

ＯＮＴＨＥＨＥＡＴＫＥＲＮＥＬＯＦＴＨＥＲＩＥＭＡＮＮＩＡＮＳＹＭＭＥＴＲＩＣＳＰＡＣＥＳＵ（６）／ＳＰ（３）ＺｈｕＦｕｌｉｕ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ．ＷｕｈａｎＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈａｎ４３００７２，Ｃｈｉｎａ．）Ａｂ...