国家自然科学基金(F0301)
- 作品数：2 被引量：3H指数：1
- 相关作者：高亚楠贾英民徐春范松涛更多>>
- 相关机构：北京控制工程研究所北京航空航天大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：航空宇航科学技术更多>>
- 基于数据总线的故障容错体系结构的仿真研究被引量：2
- 2014年
- 针对特殊任务航天器的高可靠性和高安全性要求,提出了一种并行通道(parallel channel)配合计算机交联(Computer Cross Talk)的导航制导与控制分系统(GNC分系统)体系结构。上述体系结构使用1553B数据总线和TTP(Time Triggered Protocol)数据总线,配合拜占庭交联模式的GNC控制器,通过数据交换和数据比对满足系统故障检测和故障容错的要求。使用SCADE系统设计工具软件对上述系统进行正常情况和故障情况建模,并对系统的故障容错特性进行形式化验证,验证结果表明,系统可以容忍任意一重故障且不损失任何性能,并具备实时现场恢复的能力。
- 高亚楠贾英民蔺玥
- 关键词：总线容错体系结构形式化
- 航天器时间触发系统时钟同步算法的仿真分析被引量：1
- 2015年
- 时间触发技术已经逐步应用于航天器导航制导与控制(GNC)系统的信息体系结构设计中,由于时间触发技术使用了经典的Welch-Lynch分布式时钟同步算法[1],因此在工程应用中存在固有的系统级时钟定向漂移问题[2]。针对上述问题,提出了一种使用单一精确时钟对全系统进行整体时钟校时的方案,根据分布式系统工作时序的特点,使用同步误差的算法解决了单一节点无法修正整个分布式系统参数的问题,使系统可以在有限偏差范围内不断调整时钟相位,避免了系统级的时间误差累计。使用形式化方法对算法进行了有界性和收敛性证明,并在Matlab/Simulink平台中对基于时间触发体系结构的GNC系统进行了数学建模和仿真,仿真结果表明GNC系统内所有节点的时钟偏差收敛且有界,满足实际使用需求。
- 蔺玥高亚楠范松涛徐春
- 关键词：时间触发时钟同步形式化仿真
