模糊数学与模糊控制

模糊数学与模糊控制１９６５年，美国学者查德发表了一篇名叫《模糊集合》的论文，宣告了模糊数学的诞生。模糊  (本文共1页) 阅读全文>>

模糊系统与数学

模糊数学的理论与模糊控制技术的研究在西南交通大学

模糊数学的理论与模糊控制技术的研究在西南交通大学吴建乐（西南交通大学应用数学系）模糊数学自１９６５年美...  (本文共4页) 阅读全文>>

煤矿机电

模糊数学和模糊控制在变频输出波形对称度改造中的应用

针对余弦交截法实现交-交变频输出波形对称度不好的缺点,鉴于影响电机运行恶化的因素不能用一个定量和精确的...  (本文共4页) 阅读全文>>

工科数学

模糊数学在城市交通控制中的应用

本文将模糊数学方法应用到城市交通系统，对城市交通控制系统实施模糊控制，...  (本文共4页) 阅读全文>>

北京化工大学

基于定理证明器HOL4的模糊控制器形式化研究

相较于传统控制方法,模糊控制能够有效处理复杂系统中存在的不精确性问题,从而得到了广泛应用。随着其应用范围的不断扩大,基于模糊控制的被控系统安全性就显得尤为重要;而传统的测试方法由于无法覆盖所有输入空间,因此不能确保结论的完备性;为了将形式化验证方法引入基于模糊控制的应用验证中,保证其结论对于任意输入均成立,建立一个可复用的模糊控制器形式化模型是必不可少的工作。为此,本课题采用了形式化方法中的定理证明方法,基于HOL4(Higher-Order Logic4)对模糊控制器进行形式化研究。论文首先介绍了模糊数学中基础理论的形式化建模,其中包含了基本定义的形式化模型及其性质的验证,并将其表示为定理的形式;之后在此基础上设计了模糊控制器的形式化架构,主要包括四个模块的形式化建模及其整合;在建模过程中,模糊化方法函数、模糊子集、控制规则均作为参数输入,使模型具有更强的复用性;同时对模型中矩阵扩展为向量、规则库合成运算的功能函数在设计上进行...  (本文共88页) 本文目录 | 阅读全文>>

南京师范大学学报(工程技术版)

模糊数学在锻压机控制中的应用

以应用数学方法提出了对某锻压机进行的模糊控制方案 ,确定了输入变量的模糊...  (本文共5页) 阅读全文>>