修正的RDP逻辑系统中子代数的广义重言式理论

讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论，并利用可达广义重言式概念和α-矛盾式概念在----RDP的序稠密子代数中给出F(S)关于同余的一个分划。     

基于局部模糊逻辑系统合成的一类非线性不确定系统自适应控制

通过使用从属于系统状态区域上开覆盖的单位分解,首先将若干个局部生成的模糊逻辑系统合成而产生一种函数逼近器,与通常的模糊逻辑系统相比较,这种逼近器不仅具有万能逼近性质,而且由于局部模糊逻辑系统具有较少规则而能够保持语言可解释性；然后,通过将适当的参数植入这种函数逼近器中,能够为某些非线性不确定系统设计自适应镇定控制器；最后,通过仿真例子验证了所提出方法的有效性.     

非线性时滞系统自适应模糊动态面控制

针对含完全未知时滞的不确定非线性系统的控制问题,提出了一种自适应模糊动态面控制方案.首先采用模糊逻辑系统逼近系统的未知时滞函数,进而用参考信号代换逼近器输入中的未知时滞信号,取消了对未知时滞常作的假设,摆脱了控制器构造对时滞假设条件的依赖性.模糊逼近和时滞代换产生的误差则采用自适应边界技术处理.基于Lyapunov-Krasovskii泛函,证明了闭环系统所有信号半全局一致最终有界,通过调节设计参数可以实现任意的跟踪精度.仿真实例进一步说明了该方案的可行性.     

NMG360耐磨钢板的研制

立足于国内的生产状况研制出NMG360耐磨钢板。其轧制态硬度大于360HBS,耐磨性能也已达到国外同类产品水平。     

数控铣削加工参数的多参量智能优化

提出了一种通用和智能的确定数控铣床进给速度的办法。首先简化切削力模型，并给出一个加工参数数据库的例子。建立一种基于径向和轴向切削深度和进给速度为输入的模糊系统来预测切削力。然后确定零件的几何特征，计算几何特征的接触角度，并寻找它们最佳进给率。最后，给出应用此方法的一个切削例子，并对结果在CATIA CAD／CAM系统中进行了模拟以显示次方法的优点。     

基于Gdel蕴涵算子的导出算子的n值逻辑系统

讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较.     

算子Fuzzy逻辑及其归结推理的改进

在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解释和λ_α-恒假概念,从而引进λ_α-归结方法。     

标准序列逻辑系统S3中命题的真度值之集在[0，1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念，给出了真度推理规则，证明了全体公式的真度值之集在[0，1]上是稠密的，并给出了公式真度的表达通式，为进一步建立三值命题逻辑的近似推理理论奠定了基础．     

面向核电厂的智能诊断

本文阐述了智能诊断系统的框架结构，并以基于连接的模糊神经前置BP网络对给水、蒸汽泄漏故障进行诊断为例，论述模糊神经网络的核心技术，展望模糊神经网络在核电厂的应用前景。     

面向后件集的模糊推理机制: 用于区间型type-2模糊逻辑系统

目前,大多数模糊推理都是利用t-范数和t-余范数或其改进形式对连接词进行建模,这些模型不能将模糊规则中前件集与后件集之间的相关性信息引入到模糊推理过程,这会丢失蕴含在规则中的一些信息甚至导致推理结果与实际经验严重不符.为解决此问题,本文首先引入模糊集合面向对象变换的概念,并将其推广,建立了合成type-2模糊集合模型.基于此模型,针对区间型type-2模糊逻辑系统,提出一种面向后件集的模糊推理机制,该机制能将前件集与后件集的相关性信息(包括清晰数和模糊数两种情形)引入到模糊推理过程.仿真结果表明,该方法能捕获到模糊规则中更多的不确定性信息,并为模糊逻辑系统的设计提供更大的自由度.