系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

参与约束与相容约束在课堂教学效果评价中的应用

本文从课堂教学效果评价在教学评价体系中的地位入手,设立参与约束与相容约束条件,探讨教学效果评价工作中如何以学生为主体确定教学效果的有效方法。     

泛系会诊原理在模式识别原理中的应用

将泛系会诊原理与模式识别的原理相结合，研究多个影空间中的结构和关系与形空间中的结构和关系之间的联系特性，探讨了比传统聚类分析中所用的等价关系意义更广的相容关系等在二元关系的乘积及形影转换诱导中的一些结果等，是对模式识别理论的相关方法的延伸推广，文中得到了１６个定理结论．     

凝聚映象的两点拉伸型不动点定理

证明了凝聚映象的两点拉伸型不动点定理，推广了已有的结果     

基于极大相容块的不完备信息处理新方法及其应用

针对不完备信息提出一种新的基于矩阵方法的极大相容块求取算法与属性约简方法,结合智能分类器给出不完备信息条件下的故障诊断方法 .首先,通过矩阵方法计算不完备决策表中的极大相容块;然后,利用所求得的极大相容块,提出一种新的属性约简算法,并与其他方法做对比;最后,将所提出的基于极大相容块的属性约简方法与智能分类器（支持向量机、随机森林、决策树等）结合,建立优化的智能故障分类器,将它应用于不完备信息条件下的故障诊断.以汽轮机组的故障诊断为例进行仿真实验,实验结果表明提出的针对不完备信息条件下的故障诊断方法可行、有效.     

度量空间中弱交换压缩型映象的公共不动点定理

在完备度量空间中,证明了弱交换压缩型映象的几个新的公共不动点定理,其结果改进和推广了Rhoades等人的已知结果.     

耦合映象格子系统中的刚性同步

提出了一个新的反馈项，实现了两个耦合映象格子系统的时空混沌同步。讨论了这同步的特点，指出这种同步是刚性同步，并给出模拟结果。     

非线性振动系统周期解的存在性

应用A-proper映象的广义拓扑度理论,对多自由度非线性振动系统周期解的存在性给出了严密的数学基础.     

关于单变量系统模型参考自适应控制的稳定性和最优性的证明（Ⅱ）

解学军（2000）给出了一种模型参考自适应控制的设计方案，该文给出了其稳定性及最优性的详细证明。     

我家的开心时刻

正"吃饭啊!"妈妈冲着陶醉在电视机前的我和老爸大吼道,可我们仍然盯着电视。唉!这样的场景在咱家已经司空见惯啦,我们家每天都会上演这一场戏。在我家有一个"慢性子"老爸跟一个"急性子"老妈,这一对儿"反义词"在咱家倒是水火相容,引出一件又一件好笑的事。"吃饭啦!吃饭啦!"老妈一次又一次地吼叫着,吓得我赶紧跑到餐桌旁,而老爸却还坐在那儿,好像没听到似的。经过几次的狂吼,老爸终于把