四模冗余拜占庭容错计算机可靠性分析

为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力.采用马尔可夫链分析四模冗余拜占庭容错计算机几种可能容错方案的可靠性,可以看出系统采用何种容错方案取决于系统停机失效概率和不安全失效概率之间的关系.该方法可以为四模冗余拜占庭容错计算机设计提供参考.     

星载计算机拜占庭容错设计与验证

 为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性。     

基于内部1553B总线的航天器控制系统可测试性框架设计与验证

可测试性设计是提升系统研制效率和测试品质的重要方法.给出基于内部1553B总线的航天器控制系统可测试性设计的分层递阶结构,建立可测试性设计的模型框架,并对基于1553B总线的航天器控制系统可测试性设计的技术实现进行了分析.最后利用TEAMS软件结合实例进行可测试性设计仿真评估,评估结果证明了这种可测试性设计方法的有效性.     

容错控制系统的可靠性建模及模型化简

在容错控制系统的设计过程中,进行系统的可靠性建模和分析求得容错控制系统可靠性是一项非常重要的工作。它是许多设计工作,如设计方案的选择优化和一些设计参数的确定等的重要理论依据。在容错控制系统的可靠性分析中,利用马尔柯夫过程理论对容错控制系统进行可靠性建模能够较为真实地描述系统的实际工作情况,但是由于容错系统为了达到高可靠性而有采用了大量的冗余配置及重构技术,使得该可靠性模型往往变得相当复杂。因此,对     

航天器控制系统高可信度地面测试技术

随着航天器复杂程度和指标要求的不断提高,高可信系统级地面测试越来越凸显其重要性.以工程应用为出发点,对航天器控制系统高可信地面测试涉及的相关理论和技术进行探讨.提出了测试可信度的定义,并以航天控制工程为背景分析了测试可信度的影响因素.在此基础上,系统介绍了柔性化原型测试、航天器控制系统指标专项测试、高可信动力学建模、高可信信号源技术等方面的初步研究成果.     

导弹增量式自适应容错控制系统设计

导弹在实际飞行中存在气动参数不确定、执行机构故障等问题,从而对导弹飞行控制系统稳定性与操控能力造成严重影响。为此,设计一种增量式自适应容错控制方法,在实现导弹安全控制的同时,兼顾姿态控制算法时效性与可靠性。建立面向控制的三通道耦合姿态动力学模型;考虑系统不确定性和执行机构故障,基于增量式动态逆方法设计导弹被动容错控制律;基于自适应滑模控制与增量式动态逆方法,设计增量式动态逆自适应容错控制律,并对系统残差进行分析比较;通过某典型全弹道姿态跟踪任务,验证舵面故障下的姿态跟踪特性。仿真结果表明:所提方法在故障未知的情况下,能够保证飞行控制系统的鲁棒性与容错能力,实现导弹的安全可靠控制。      

基于网络同步的航天器编队飞行姿态控制方法

航天器编队飞行需要协同控制系统进行统一的协调管理,以实现协同工作。文章将网络同步控制理论应用于航天器编队飞行姿态控制,以提高航天器编队飞行姿态控制的协同性。首先,采用修正的罗德里格斯参数描述航天器姿态动力学;然后,基于网络同步控制算法,设计航天器编队飞行的非线性姿态协同控制律;考虑成员航天器间姿态变化的差异,采用混合控制技术,设计航天器编队飞行混合控制策略。仿真结果验证了控制方法和控制律的有效性,并且相比单一反馈机制,混合控制具有更好的控制品质。     

天宫一号目标飞行器GNC分系统容错策略设计

天宫一号目标飞行器是中国研制的新一代专门用于交会对接的大型载人航天器.为保证其长期在轨安全可靠运行,顺利完成与载人飞船的交会对接任务,以及单体飞行和组合体飞行期间的姿态和轨道控制任务,要求GNC分系统设计充分的容错策略.对GNC分系统软硬件平台进行介绍,对敏感器、执行机构以及控制器的软硬件容错策略进行详述.该策略在实际应用中得到验证,结果表明设计合理,可以有效提高GNC分系统的系统性能和可靠性.     

载人航天器座舱环境控制系统建模与性能分析

文章以航天器座舱大气环境控制系统为研究对象引出了该系统主要部件的数学控制方程,基于建模语言Modelica建立了重用性高、易于扩展和使用高效的环境控制系统模型库,并阐述了基本的建模方法。利用模型库构建了典型的航天器座舱大气环境控制系统,对温湿度控制、供气调压和二氧化碳净化的性能及其控制方法进行仿真分析,提出了主动温湿度综合控制方法。仿真分析结果表明:供气调压、大气净化和温湿度控制之间存在紧密耦合、互相影响的关系;主动温度控制方法虽然适合温湿度控制,但主动温湿度综合控制方法的性能优于前者;航天员活动状态对各分系统有显著影响,设计和运行管理过程中要重点考虑其动态变化。文中所建模型库和分析结论为载人航天器座舱大气环境控制系统设计改进和运行管理提供了有效的工具及方法 。     

航天器自动化测试与航天器测试语言

通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.     

用面向对象方法设计无人直升机信息处理系统

面向对象的设计方法在系统设计中得到了越来越广泛的应用.地面信息处理系统是无人机的重要组成部分,在无人机执行任务过程中,地面信息处理系统提供的无人机的飞行参数和设备参数是飞行员实施监控的依据.分析了共轴式无人驾驶直升机地面信息处理系统的特点和需求,应用面向对象的设计方法,设计了无人机测控地面站信息处理系统,该系统具有易重复使用、易改进、易测试、易维护和易扩充等特点.经过多次试飞证明,该系统满足飞行要求.     

考虑FDR的测试性测定试验及其相关方法

针对装备研制过程中,缺乏试验手段测定产品测试性水平,确定其与规定要求间的差距的情况,界定了测试性试验和测试性测定试验的概念,在仅考虑测定故障检测率(FDR,Fault Detection Rate)的情况下,研究给出了基于功能相关特征矩阵和重要度特征的故障特征建模方法,构建了二元组故障特征模型,用于测定FDR试验的试验样本选取.在该种试验样本选取方法中,为了减少进行故障注入试验时,注入不同故障样本的工作量和复杂度,充分考虑了试验样本间的等效关系,定义了等价集合和等效样本的概念,并在此基础上给出了考虑等效样本存在的试验结果评估方法.该研究在某型导弹飞控系统中取得了很好的应用.      

测试性分配方法研究

研究了系统测试性指标与系统组成单元指标之间的关系,分析了确定测试性指标的各主要影响因素,进而导出了测试性分配的基本要求、数学模型和工作程序.在此基础上,文章给出了4种用于不同情况下的测试性分配方法:前2种是基于系统单元的复杂度(故障率)或重要度(故障影响)的分配方法;第3种是综合考虑各影响因素的加权分配方法;第4种是系统中有老成品时的分配方法.这些分配方法都可以实际应用于工程设计.      

通断式多态系统扩展测试性建模方法

现有测试性建模方法有一定的约束条件,包括故障判据的一致性、故障传递关系的一致性、测试的逻辑值判据一致性.针对通断式多态系统具有的状态差异性的特点,提出了一种扩展测试性建模方法.在引入状态集合的基础上,对故障、测试、 D 矩阵和诊断树进行了扩展定义,最后定义了扩展测试性模型.介绍了扩展测试性建模分析的算法,主要有模型建立算法、扩展 D 矩阵生成算法、扩展诊断树生成算法.以某液压操纵系统为例进行了应用,结果验证了方法的可行性和有效性.     

基于多信号流图的分层系统测试性建模与分析

为了对分层系统进行测试性分析,提出基于多信号流图模型的分层系统测试性建模与分析方法.该方法利用多信号流图模型建立分层系统的层次结构模型,进行测试性分析时,首先利用相关性模型法对顶层模型进行测试性分析,当层次性模块与其它模块不能区分时,再利用相关性模型法对模糊组进行测试性分析,最终实现对分层系统的诊断设计.最后,利用某具有层次性结构的滤波放大器电路对该方法进行了验证,试验结果证明,该方法对于分层系统的测试性建模与分析是有效的,能够为分层系统制定有效的诊断策略.      

面向复杂系统的三维Bayes网络测试性验证模型

针对当前武器装备复杂的系统结构,现有基于装备整机系统测试性先验信息的测试性验证方法难以适用,基于分系统测试性先验信息的测试性验证方法不能系统有效地处理先验信息,导致测试性验证结果可信度不高的问题,提出一种面向复杂系统的三维Bayes网络测试性验证模型。该模型能充分运用装备各层级结构中所蕴含的条件独立性,有效降低构建Bayes网络模型的复杂度,同时能融合装备各层级单元的先验信息。通过给出的三维Bayes网络的条件概率学习方法及G/M-H算法,由底层单元数据通过模型逐步向上融合,得到顶层测试性指标的后验分布,进一步利用顶层后验分布求取故障样本量。结果表明:该模型能充分考虑复杂系统的系统结构及各层级单元先验信息,并能通过模型推理得到的指标后验分布达到有效减少测试性验证故障样本量的目的。      

综合飞行推力矢量控制系统设计与仿真

对带推力矢量控制的飞控设计问题进行了研究.按飞机状态变化快慢将其分成快变和慢状态,然后采用非线性动态逆理论分别进行设计.针对战斗机大迎角飞行,以及将所设计控制律联入综合飞行/火力控制系统的瞄准攻击过程在六自由度全量飞机方程上进行数学仿真.仿真结果表明,综合飞行/推力矢量控制可实现战斗机大迎角飞行,并能够满足综合飞行/火力控制系统性能需求,所采用的设计方法在工程上具有应用前景.     

无人直升机综合飞行控制系统设计

提出遥控－自主控制型无人驾驶直升机控制－仿真综合飞行控制系统设计概念,基于无人直升机自身的控制－仿真综合飞控系统可进行工程闭环飞行仿真,不论在研制阶段或使用阶段都可对无人直升机系统的飞行性能、飞控系统硬软件特性及可靠性、任务飞行参数预设置等进行深入的验证,地面飞控人员也可以在真实的系统上进行逼真的训练。此外控制－仿真综合飞控系统能通过飞行实践不断完善系统性能和在线检测系统异常,提高飞行安全性。提出     

敏捷性飞机飞行控制系统设计方法研究

对敏捷性飞机飞行控制系统的设计方法进行了研究,研究表明当飞机进行大迎角机动时,飞机可以获得敏捷性机动能力,在这种情况下,飞机的动力学特性呈现非线性的特征,此时飞行控制系统的设计是一类非线性控制系统的设计问题,设计可采用非线性动态逆的方法进行,为简化控制律和工程因素,重点研究了利用一阶动态作为系统的反馈线性控制,以得到线性化的系统,在此基础设计跟踪控制器,以满足大迎角非线性机动时的性能要求,最后以Ｆ