计量逻辑学中的近似推理

在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。     

布尔型模糊系统的逼近精度分析

论SISO和MIMO布尔型模糊系统的逼近精度,得到如下结论:对SISO布尔型模糊系统而言,其有一阶逼近精度。对基于R-implication和Reichenbach-implication I(a,b)=1-a ab的SISO布尔型模糊系统而言,若隶属函数选为三角形的,则其有二阶逼近精度。然而通过一例子看出MIMO布尔型模糊系统,其一般没有二阶逼近精度。     

模糊推理系统的鲁棒性

主要讨论模糊推理系统的鲁棒性. 给出基于逻辑等价度量的模糊集扰动的定义,讨论模糊集扰动与模糊连接词及蕴涵算子扰动之间的关系,针对若干特殊的模糊连接词及蕴涵算子的扰动情形,给出模糊推理系统的扰动的最佳结果.     

NA序列半参数回归模型小波估计的强相合性

对于半参数回归模型yi=xiβ+g(ti)+ei,i=1,2,…,n,对误差{ei,1≤i≤n}为NA序列,在适当的条件下研究了未知参数β的小波估计的强相合,同时也得到了未知函数g(t)的小波估计的一致强相合.     

Locale的函数空间

构造性地定义了Locale间的Isbell,紧开及点态函数空间,研究了其良好的范畴性质(Proper和Admissible性质)及分离性质.重新得到了有指数Locale的结构.这些工作是寻找Locale范畴中的方便范畴的基础。     

NA样本固定设计下半参数回归模型中估计的强相合性

对于半参数回归模型yi=xiβ g(ti) ei，i=1，2,…，n(xi，ti)为已知的固定设计点列．本在误差{e．1≤n≤n)为NA序列时，对g(t)和σ的估计量gn~(t)和σn^2的逐点强相合。以及gn~(t)的一致强相合作了研究，得到比较理想的结果。     

Locale的函数空间

构造性地定义了Locale间的Isbell,紧开及点态函数空间,研究了其良好的范畴性质(Proper和Admissible性质)及分离性质.重新得到了有指数Locale的结构.这些工作是寻找Locale范畴中的方便范畴的基础.     

为什么要用“ε-N”语言定义数列极限?

数列极限有如下描述性定义。定义1给定数列xn及常数a，若随着n的无限增大，数列的一般项xn，能无限地接近于a，则常数a是数列xn的极限，记作直观地，若以数轴上的对应点表示x，与a，则xn的极限为a表达了当n无限增大时，点xn；无限接近点a。例如：例1数列,即，…当n无限增大时，数列一般项xn在常数1的左右两边无限振荡，而振荡项无限接近O，从而无限接近常数1，因此但是定义1是不清晰的，什么叫“无限增大”，“无限接近”？我们不能确切地或定量地解释这些词的含义，有时也会有认识上的差别。比如一个爱抬扛的人（本文称其为D）会说，lin。…     

拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射

从整体角度出发，证明了拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚ是ＴＭＬ的反射与余反射（非满）子范畴．