直流调速系统的Matlab建模与仿真

随着计算机的发展，越来越多的系统采用了仿真技术进行设计分析，本文对直流调速系统的PID控制与模糊控制的性能进行了仿真比较。     

PID参数自整定方法概述

PID控制是最通用的控制方法，其简易性、鲁棒性、应用广泛以及近似最优的性能是PID控制流行于学术界和工业部门的几个原因。最近，PID控制器整定不佳的问题引人注目，也有人在努力系统地解决此问题。本文扼要概述了PID的理论，然后讨论了一些常用PID整定方法，并对新技术尝试着进行了探索。     

形式化方法B的精化

形式化方法B支持从抽象规约到实现的完整的开发过程，用于开发安全关键的软件系统。给出了B方法精化的定义后，介绍了抽象机的精化过程与方法，结合实例分析了仅使用前向精化的普通精化规则的不完整性，通过引入反向精化提供了完备的精化理论，二者联合起来能够证明任何正确的精化。     

形式化方法B的证明技术

用形式化方法开发软件是提高软件可靠性和开发效率并实现其自动持从规约到实现的全过程开发工作.本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性.     

图书自动分类系统非精确推理模型的研究与设计

论述了一个图书自动分类专家系统的设计开发过程.通过对图书馆图书分类方式的研究,针对人工分类的不足,基于模糊推理技术及可信度方法,实现了一种较为理想的图书自动分类系统非精确推理,对辅助图书馆编目人员进行文献分类标引工作的图书自动分类专家系统的规划、设计和实现做了探讨性研究.