拓扑系统的紧性和分离性

考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。     

由主特征对构造对称三对角矩阵

本文讨论了由给定的两个特征对(λ1，x^(1))和(λ2，x^(2))来重构一个对称三对角矩阵的问题．给出了保证λ1为Tn的最大特征值的条件．     

积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

一种修正的插值算子在Lpw空间中的收敛速度

本文就一种修正的以第一类Chebyshev多项式Tn(x)的零点为插值结点的f的Grunwald插值多项式算子Gn(f,x),给出了Lpw收敛速度(∫1-1 l Gn(f,x)-f(x)lpdx);≤Cp{γ2np∥f∥p+w2(f,γnp)p|,(1＜p＜∞);∫1-1 | Gn (f,x)-f(x)|dx≤C{I√n n/√n∥f∥1+w2(f,(√Inn/√n)1/2)}.     

基于M估计的纵向数据线性混合模型中方差的齐性检验

本文对纵向数据的线性混合模型,用Fisher得分法得到了参数的M估计(稳健估计),给出了其渐近性质,研究了M估计下异方差的Score检验问题,并对检验统计量的功效进行了模拟,最后通过葡萄糖数据的实例说明了本文方法的有效性。     

Banach空间中Mann迭代和Ishikawa迭代的等价性问题

用不同于已有的方法证明了任意实Banach空间中一致Lipschitz强连接伪压缩算子在具误差的修正的Mann迭代和具误差的修正的Ishikawa迭代下收敛和稳定的等价性,其中迭代参数{βn}仅需lim sup n→∞βn〈k/L（L＋1）,这推广和改进了目前需假设lim n→∞ βn=0和两迭代程序初始点的取值需相同条件下的已有结果.     

参赛应用题选登

题 1 4　在一条直线流水线ｌ上 ,有ｎ个机器人从左到右依次在Ａ1,Ａ2 ,Ａ3,… ,Ａｎ这ｎ个位置上工作 ,现要在ｌ上设置一个零件供应站 ,为使ｎ个机器人与它的距离之和最小 ,那么供应站应设在什么位置 ?解　以直线ｌ为数轴 ,Ａ1,Ａ2 ,… ,Ａｎ 及零件供应站的坐标分别为ｘ1,ｘ2 ,… ,ｘｎ,ｘ ,则ｘ1<ｘ2 <… <ｘｎ,ｎ个机器人与零件供应站的距离之和为ｆ(ｘ) =|ｘ -ｘ1| |ｘ -ｘ2 | … |ｘ-ｘｎ| .为求出 ｆ(ｘ)的最小值 ,我们先解决ｇ(ｘ)=|ｘ -ａ| |ｘ -ｂ| (ａ <ｂ)的最小值 .ｇ(ｘ) =|ｘ -ａ| |ｘ -ｂ|≥ | (ｘ -ａ) -(ｘ -ｂ) …     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

关于Jacobi矩阵的特征值反问题可解的充分必要条件的一个注记 (英)

本文讨论一类具有特殊结构的Jacobi矩阵的特征值反问题,该问题由描述变截面杆的微分方程离散化得到．我们得到了这个问题有解的一些必要条件,并且通过一些数值例子,说明了L．Lu和K．Michael给出的充分条件和算法在矩阵的阶数高于3的时候是错误的。