摘要：铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限制、连续接车中防护门短时间开放问题;其次,基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型;最后,检查证明义务以验证需求属性是否被满足,并应用动画器Animation展示系统功能的正确性.结果显示:相比传统的道口管理系统,本文提出的自动控制系统增加了双线连续接车功能,且使用形式化建模和验证,避免系统设计中存在的二义性,对平交道口安全管理有一定的参考意义.

摘要：利用三次样条插值函数,直接由控制输入输出数据对建立了控制输入与控制输出之间的映射关系,得到了一元三次样条插值控制算法和二元双三次样条插值控制算法,并将二者分别用于单输入单输出系统和双输入单输出系统的仿真控制。仿真结果表明,上述方法是可行的,并且基于三次样条函数的模糊插值控制,具有响应快,无超调,稳态误差极小等很好的控制效果。其设计简单,不需要过多规则,对稀疏规则库条件下的控制器设计尤为适用。

摘要：针对带外界未知扰动的二阶不确定非线性系统,设计非奇异的模糊自适应终端滑模跟踪控制器。利用Lyapunov稳定性理论设计参数的自适应更新规则。该控制器能保证闭环系统的稳定性并且跟踪误差及其导数在有限时间内收敛到原点的一个邻域。数值仿真的结果也验证了本文控制方法的有效性。