有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

五阶带形状参数的B样条曲线

给出了五阶带形状参数的均匀B样条基函数，使五阶均匀B样条基函数成为它的一个特例．由带形状参数的五阶均匀B样条基构成的样条曲线，可通过改变形状参数的取值而调整曲线的形状，并且可以调整曲线接近其控制多边形的程度。     

关于 p-ω-亚正常算子的一个注记

设H是复Hilbert空间,H上的有界线性算子T若满足对任意的x∈H有(Tx,x) 0,则称T是正算子,记为T 0;如果T是可逆的正算子,则称T是严格正算子,记为T>0.若A,B是严格正算子,我们知道A B蕴涵有logA logB,但反过来未必成立,见文献[1].设T是H上的有界线性算子且p 0,如果(T T)p (TT )p,则称T是p 亚正常算子,特别地当p=1及p=1/2时,p 亚正常算子分别称为亚正常算子和半亚正常算子.Lo¨wner Heinz不等式表明当0

相似文献   

可考虑历史洪水对数正态分布线性矩法的研究

简要介绍对正态分布线性矩与分布参数的关系，提出两种可考虑历史洪水的样本线性矩估计公式。统计试验结果表明，估计公式均具有较高精度。从两种估算公式中推荐一种效果更好的供实际频率计算使用，从而解决了具有历史洪水时对数正态分布的样本线性矩的计算问题。此外，对线性矩法与矩法、适线法作了对比分析，结果表明，线性矩法比矩法、适线法有较大的优越性，其不偏性能最好且具有良好的有效性。     

线性矩法在长江中下游区域水文频率计算中的应用

对长江中下游地区宜昌、沙市、螺山、汉口及大通5个水文站的年最大洪量序列，采用美国学者Hosking等于1997年提出的以线性矩（L-moment）为基础的区域水文频率分析方法进行频率计算，结果表明：由此5个站点组成的区域可认为是水文频率计算的一致区，可采用指标洪水法对各站进行频率计算；区域统一的分布线型选择的结果是Wakeby分布，而传统的极值分布、GLO、GPA、对数正态分布、P－Ⅲ分布等均不合适。     

t2阶Kirkman三连系的构造

提出了t2阶Kirkman三连系的构造方法,阐明了t2阶Kirkman三连系构造的基本理论,介绍了9×9阶Kirkman三连系构造的过程.     

一阶电路三要素法的另一种形式

给出了一阶电路暂态过程三要素法的另一种形式，避开了作ｔ＝０＋时的等效电路，使求解过程更加简单。     

一类偶阶非等比数列乘幻方构造法

给出了单偶数阶和双偶数阶非等比数列乘幻方的构造方法，把乘幻方的研究从等比数列推广到了非等比数列，探讨了以任给自然数Ｎ为偶阶乘幻方值构造非等比数列乘幻方。     

基于LMI的一种统一的降阶控制器设计方法

在时域中研究线性对象的镇定控制，协方差上界控制，ＬＱＧ控制，Ｌ∞控制、Ｈ∞控制，正实控制及鲁棒Ｈ２、鲁棒Ｌ∞和鲁棒Ｈ∞等控制问题，把上述问题归纳到基于线性矩阵不等式的统一框架之中，得到了降阶控制器的存在准则，给出了满足设计要求的控制器阶次的一个上界，并提出了适用于上述所有问题的统一的降阶控制器设计方法，该方法仅涉及系统等价变换和降维的ＬＭＩ的有限维凸优化地，所有满足要求的降阶控制器可以由ＬＭＩ的解     

AИ方法的改进及其精确阶(Ⅰ)

Д３ядЫк等人关于Ｃａｕｃｈｙ问题：ｙ′＝ｆ（ｘ，ｙ），ｙ（ｘ０）＝ｙ０渐近解的ＡИ－方法被改进，其精确阶被提高