强度m的对称正交表的递归构造

本文证明了Q~n空间的正交分划的存在性,对2水平正交表的递归构造方法进行了改进,通过对正交分划的构造提出了任意强度的高水平对称正交表的递归构造方法.     

分划逻辑与着色卵石博奕

将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法的一个应用，证明了在表达能力上，ｍｏｎａｄｉｃ型的分划逻辑严格地弱于ｍｏｎａｄｉｃ二阶逻辑。     

系统Hα中F(S)的一个分划及一种升级算法

研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。     

输入采用标准模糊分划的模糊控制系统性质及稳定性分析

具体定义模糊控制系统输入变量的标准模糊分划，研究和证明输入采用标准模糊分划的模糊控制系统的有关性质。在此基础上，采用Lyapunov直接法研究该类模糊控制系统的稳定性，提出一个判定模糊控制系统稳定性的充分条件。该条件将以往方法要在所有的子系统中寻找一个公共的正定矩阵满足Lyapunov不等式，放宽为在各最大交叠规则组内分别寻找公共的正定矩阵，从而减小稳定性判定的保守性和难度。     

关于Boole格同态的扩张

本文主要证明了Boole格到格上的同态Φ可扩张为的完备化到的完备化上的备同态的充分必要条件是:Φ的核是一个分划。     

带核集分划问题的一个线性1／7近似算法

设有整数集Ｓ＝｛ｒ１，ｒ２；ｐ１，ｐ２，…，ｐｎ｝，这里ｒｉ≥０，ｐｊ＞０（ｉ＝１，２；ｊ＝１，２，…，ｎ），寻找一个Ｓ的最优分划Ｐ＝（Ｓ＊１，Ｓ＊２）使得：（１）ｒｉ属于不同子集，（２）Ｓ＊１与Ｓ＊２中元素总和较大者尽可能地小．这是一个ＮＰ－完备问题，本文给出一个线性时间近似算法，它的近似界为８７．     

全对策的边际贡献值

全对策是定义在局中人集合的所有分划集上的一类特殊合作对策.本文在效用可转移情形下研究全对策的"值"问题.定义了全对策的边际贡献值,得出全对策的Shapley值,以及具有某些性质的值是边际贡献值,并给出两种边际贡献值的具体表达式,及其一些性质.     

修正的G(o)del逻辑系统中三类无限子代数及其F(S)的分划

将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G-的三类子代数中分另q给出F(S)关于→同余的一个分划.     

命题公式集F(S)的基于R0-算子的16类分划

利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.     

“Katona-Kleitman定理的推广定理”的简短证明

本文给出“Katona-Kleitman定理的推广”的简短证明.设S是n元集合,S1,S2,…,Sk是S的k分划,f是S的子集系,使得没有A,B∈f,满足存在某个Si有A∩Si=B∩Si,而对所有Sj(1≤j≠i≤k)有A∩Sj∈B∩Sj,则     

命题公式集F(S)的基于R0-算子的16类分划

利用R₀-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.     

伪概率度量空间

本文讨论了伪概率度量空间的拓扑性质,讨论了伪Menger空间的某种等价关系上的分划及等价类的度量性质。     

“Katona-Kleitman定理的推广定理”的简短证明

本文给出“Ｋａｔｏｎａ－Ｋｌｅｉｔｍａｎ定理的推广”的简短证明．设Ｓ是ｎ元集合,Ｓ１,Ｓ２,…,Ｓｋ是 Ｓ的ｋ分划,Ｆ是Ｓ的子集系, 使得没有Ａ,Ｂ∈Ｆ,满足存在某个Ｓｉ有Ａ∩Ｓｉ＝Ｂ∩Ｓｉ,而对所有Ｓｉ＜（１＜ｉ≠ｉ＜ｋ）有Ａ∩∨ＳｉＢ∩Ｓｉ,则｜Ｆ｜     

G(o)del逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划.     

R^(1)上莫朗测度关于几何平均误差的最优Voronoi分划北大核心CSCD

设E是R^(1)上由有界闭区间J,(nk)_(k)=1∝和C_(k)=(ck,j)j=1nk1)k≥1确定的莫朗集.μ是E上由正概率向量序列(P_(k))k≥1所确定的一个莫朗测度.μ关于几何平均误差的所有n-最优集组成的集簇记为Cn(μ).设αn∈Cn(μ)及αn对应的任一Voronoi分划{Pa(αn)}a∈αn.证明了■对于每个aαn,Pa(αn)包含一个以a为中心,半径为d2|Pa(αn)∩E|的闭区间,其中d2是一个常数,|B|是集合B?R^(1)的直径.记en(μ)是μ上的n-级几何平均误差及ên(μ):=logen(μ),证明了ên(μ)-ên+1(μ)■n-1.     

关于Zorn的一个问题

最近,G.Schober教授告诉作者M.Zorn教授提出的下述问题,设(t)是[0,1]上的复值函数,是[0,1]的分划,分划直径记作。设p>0,假如(t)满足 其中,则说(t)属于类Z_p.M.Zorn证明,设是z平面上连续曲线,那么为使Riemann积分integral from n=1 (f(z)dz)对一切在C上     

一类新的分划问题:有限集的约束分划

本文研究带有附加约束条件的分划问题。定义1 (K-约束分划) 设E是一个有限元素集,M_i=(E,T_i)(i=1,…,K)是建立在E上的K个拟阵,E的分划P=(S_1,…,S_K)被称作K-约束分划,如果且满足类似可定义Shape分划。在数集2-Shape分划中,若固定则我们建立拟阵如下:其中记M_i的基集为B_i,即,这样,2-     

Gdel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。     

解非线性有限元方程的逐层校正迭代法

本文提出一种求解非线性有限元方程的逐层校正迭代法.有关数值分析表明,当网格分划较细,网格分划参数h_j较小时,仅需一次简单的迭代和校正步骤就可满足数值计算的要求,使用该方法的计算复杂性是最佳阶的,即为O(N_j),其中N_j为最细网格层上离散结点变量的数目.     

单台机器成批加工最大延误问题的有效算法

在实际生产中，存在着大量成批加工的问题，即如何进行分批，以便使某一目标函数达到最优的问题。Ａｎｄｒｅｗｓ１９９５年的论文针对目标为最大延误的成批加工问题进行了分析和讨论，提出了一个寻找最优解的算法。虽然文章对一些特殊情况提出了减少计算量的措施，但文中的算法实质上仍然是基于枚举的指数算法。本文对该问题作了进一步的分析研究，发现了其内在的一些良好结构和性质，从而提出了一个求解它的多项式时间算法，计算量