公开(公告)号：CN103759740A

公开(公告)日：2014-04-30

申请号：CN201410003684.0

申请日：2014-01-03

Applicant: 北京控制工程研究所

Inventor： 邢琰 ,  滕宝毅 ,  刘祥 ,  毛晓艳 ,  贾永 ,  何英姿 ,  刘云 ,  万丽景 ,  张晋

IPC: G01C25/00

CPC classification number: G01C25/00

Abstract: 一种巡视器静态时陀螺故障自主诊断方法，能够利用巡视器静止状态下待测角速度已知且稳定的条件，不需要姿态信息，对四个陀螺进行故障诊断。该方法基本流程为：首先，建立四个陀螺输出之间的冗余关系；然后，对冗余关系的一致性进行判断，判断导致不一致的故障源，由故障诊断策略定位故障陀螺。

公开(公告)号：CN103678137A

公开(公告)日：2014-03-26

申请号：CN201310746685.X

申请日：2013-12-30

Applicant: 北京控制工程研究所

Inventor： 万丽景 ,  杨孟飞 ,  党纪红 ,  董晓刚 ,  关小川 ,  陈尧 ,  綦艳霞 ,  顾斌 ,  王政

IPC: G06F11/36

Abstract: 一种基于list文件任务最大堆栈深度的检测方法，首先分析list文件，提取出各函数分配堆栈的大小，生成任务入口函数及中断入口函数的最终函数调用关系树，其次根据各函数分配堆栈的大小及任务入口函数及中断入口函数的最终函数调用关系树，采用递归的方法检测出各任务的最大堆栈深度。本发明能够准确给出任务的最大堆栈深度，解决了动态分析方法往往检测不到最大堆栈深度的问题。