混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

一类非线性系统的变结构控制问题

本文研究了简约型非线性控制系统的变结构控制问题,针对变结构控制切换函数的确定问题进行了深入研究,给出了一类非线性系统切换函数的确定方法。研究结果表明,该方法适用于一类难于或不能可控正则化和线性化的非线性控制系统的综合。最后通过仿真证实了该方法的有效性。     

线性分组码限距离译码器的性能分析

为了提高自动重传请求(ARQ)系统的通过率,在混合ARQ系统中,使用限距离译码器改善系统的性能。在限距离译码时,线性分组码纠正重量t的错误图样。纯纠错译码器和纯检错译码器都是限距离译码器的特例。本文首先介绍了Krautchouk多项式的几个重要性质,然后,用线性分组码及其对偶码的重量分布,分别导出了两种形式的错误译码概率的简化计算公式。由于生成函数方法的使用,成功地得到了重复码、汉明码和扩展汉明码的错误译码概率的解析公式,最后,讨论了Golay码和某些本原BCH码错误译码概率的计算方法。     

非线性两点边值问题的六阶三对角差分法

讨论了满足边界条件y(a)=A 和y(b)=B 的二阶非线性常微分方程y″=f(x,y)的六阶三对角差分法,并从理论和实际计算证明了该方法的六阶收敛性。     

返回式卫星数字姿态控制系统及飞行试验结果

简要介绍我国返回式卫星上用的计算机数字姿态控制系统的方案;重点阐述姿态确定和相平面控制律的设计方法;最后简述飞行试验的结果。     

基于抓持稳定度的多指灵巧手抓持控制

提出了一种控制多指灵巧手稳定抓持物体的新方法。首先给出了接触稳定度和抓持稳定度的定义及其相应的计算方法,然后探讨了基于抓持稳定度的多指灵巧手抓持控制方法。最后以北京航空航天大学的BH-2新型三指灵巧手为背景,对所提出的方法进行了仿真验证,仿真结果证明所提方法是有效可行的。     

梁式机翼的控制寿命设计与验证

应用“替损件”的设计思想来控制梁式机翼的疲劳寿命,并在××机翼主梁的寿命试验和全机组合疲劳试验中得到验证,得出十分满意的结果,为梁式机翼结构实现长寿命高可靠性的目标,提供一条成功的途径。     

非线性MIMO系统神经网络自适应方法及其在飞控中的应用

提出了一种非线性系统的对角自回归神经网络模型。为了实现MIMO系统自适应控制,采用自回归辨识网络对未知非线性系统进行辨识,并将被控对象的误差灵敏度信息用于对角自回归控制网络训练。辨识网络和控制网络都用动态BP算法训练。实际某型飞机纵向模型的仿真结果表明,运用这种控制结构可得到较好的控制效果。     

飞行控制系统对驾驶员诱发振荡的影响

着重从飞行控制系统角度谈有人驾驶飞机的驾驶员诱发振荡问题,分析了系统杆力、传动比、间隙、摩擦力以及飞控伺服作动器对驾驶员诱发振荡的影响,用矢量图简明地反映飞机产生驾驶员诱发振荡的可能性和趋势。对飞机飞行控制系统的设计和对驾驶员诱发振荡现象的分析、处理有参考价值。     

“风云一号” B 卫星姿态控制系统

“风云一号”气象卫星姿态控制系统采用了三轴稳定对地定向的主动控制方案。已发射了两颗（Ａ、Ｂ）卫星,其中Ｂ星是在Ａ星主控系统的基础上,增加了一个完整的备份系统,采取一系列冗余措施并设计全方位姿态重新捕获的故障对策。经飞行试验及在轨故障应急处理证明,系统设计是完善和成功的,其中反作用飞轮控制、偏置动量控制、磁章动进动和飞轮卸载控制、全方位姿态重新捕获方案在中国是首次采用,均取得了较好的飞行效果,为长寿命卫星姿态控制系统的设计积累了宝贵经验。