公开(公告)号：CN112148256A

公开(公告)日：2020-12-29

申请号：CN202010954778.1

申请日：2020-09-11

申请人： 中国运载火箭技术研究院

发明人： 胡骁 ,  李浩 ,  张亚琳 ,  陈旭东 ,  潘彦鹏 ,  张雪婷 ,  吕瑞 ,  涂海峰 ,  严大卫 ,  陈喆 ,  葛云鹏 ,  梁卓 ,  宋志国 ,  龚旻 ,  任新宇 ,  蔡亚楠 ,  杜丹 ,  王凯旋 ,  李迎博 ,  薛晨琛 ,  李烨 ,  刘娟 ,  谭黎立 ,  杨立杰 ,  丁禹 ,  赵楠 ,  陈铁凝 ,  郝仁杰 ,  丘岳诗 ,  孟文霞 ,  姜春旺 ,  杜肖 ,  谭清科

IPC分类号： G06F8/20 ,  G06F8/73

摘要： 标志类变量容错方法、装置及计算机存储介质、电子设备，包括：对预先定义的多个标志类变量计算所述标志类变量的空间距离；若所述标志类变量的空间距离小于等于预设数值，则判定该标志类变量为假值；否则，判定所述标志类变量为真值；若所述标志类变量的空间距离属于预设范围内，则根据上述判定结果为所述标志类变量赋值。采用本申请中的方案，以“空间距离”为基础、以“最短保障”为核心，提出了飞行控制软件关键变量的多级容错设计，明确了标志类变量的空间距离计算方式，并在此基础上结合最小空间距离理论进行容错设计，有效提升了飞行控制软件关键变量对单粒子翻转的鲁棒性。