-
公开(公告)号:CN109063839B
公开(公告)日:2020-08-14
申请号:CN201811125567.6
申请日:2018-09-26
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06N5/02
Abstract: 本发明涉及一种专家系统的模拟时态逻辑的复杂征兆构建方法,应用于在基于规则的专家系统知识库中表达系统的动态特征。根据数据征兆表,匹配获得系统状态数据的基本征兆,每个征兆代表该数据的一种状态;如果满足开始时机不满足结束时机则判断是否满足所述复杂征兆的判读条件,如果满足,则输出所述复杂征兆给专家系统推理机。本发明针对传统专家系统知识库不足以表达系统的动态特征的问题,为专家系统知识库添加了动态知识模式,扩展了知识库的维度,增强了专家系统知识库的对人类专家知识的表达能力。设计了复杂征兆,实现了对时间相关的系统状态数据的特征描述,通过整数标识系统状态数据在某个时间区间内的状态变化,标识简单。
-
公开(公告)号:CN107102921B
公开(公告)日:2020-05-12
申请号:CN201710179456.2
申请日:2017-03-23
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06F11/22
Abstract: 本发明提供了一种面向带I/O型数字量异步端口SoC的数字量监测方法,采用I/O型数字量状态端口实时记录I/O型数字量状态;采用I/O型数字量异步数据端口实时存储最多N次最近的I/O型数字量状态端口值和变化次数;采用中断响应程序响应I/O型数字量状态端口的变化,分析I/O型数字量异步数据端口所记载的每个I/O型数字量最近nCount次翻转变化情况。本发明采用I/O型数字量变化记录和读取的异步方式,保证高实时性的基础上降低了对处理器的性能要求,提高了I/O型数字量变化的敏感性;采用多次读取反复比对克服了同一端口软硬件异步读写的问题,提高了对输入的I/O型数字量的变化状态进行监测的可靠性和忠实性。
-
公开(公告)号:CN107301042A
公开(公告)日:2017-10-27
申请号:CN201710417550.7
申请日:2017-06-06
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
Abstract: 本发明涉及一种带自检功能的SoC应用程序引导方法,在运行应用程序前将应用程序从FLASH搬运到SRAM去,并将应用程序的第一行指令地址赋予CPU的PC指针,启动程序运行的一种引导功能模块。本发明所述程序引导方法在搬运应用程序前对应用程序运行的SRAM进行检查,并对应用程序搬运的正确性进行检查,在应用程序运行前保证运行目标及其运行环境的正确性。本发明通过程序上传的一致性校验、搬运前、后的校验,保证了从源程序到每次运行程序的正确性,保证了运行环境功能完好,一旦程序发生故障,能够快速进行故障定位。
-
公开(公告)号:CN107135049A
公开(公告)日:2017-09-05
申请号:CN201710256778.2
申请日:2017-04-19
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
Abstract: 一种面向离散数据流的可靠异步通信方法,主要涉及数据结构化,信源发送,信宿接收及信宿数据解析技术。其主要针对瞬时性通信速度大于处理速度,采取临时缓冲队列存储,然后信宿从缓冲队列中依次读取每一帧数据,并对数据帧完整性、结构、内容的正确性进行检查以确保通信数据正常接收。所述方法不涉及层次化协议栈,实现较简单,且可以较好地剔除接收到噪声数据。
-
公开(公告)号:CN106789495B
公开(公告)日:2019-08-09
申请号:CN201611051761.5
申请日:2016-11-23
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
Abstract: 本发明公开了一种单控制器主从式网络总线控制器在线切换方法,总线当前控制器Ctrlorcurrent向从属站点Ctrlorcandidate发送控制器切换请求消息;Ctrlorcandidate向Ctrlorcurrent回复控制器切换请求应答消息,等待tdelay1后,将自身切换为总线控制器;Ctrlorcurrent收到切换请求应答消息之后,将自己切换为从属站点;Ctrlorcandidate给已切换为从属站点的Ctrlorcurrent发送切换好消息,并等待tdelay2后,读取Ctrlorcurrent回复消息,若回复标志有效,则切换成功,否则,Ctrlorcandidate重新将自己切为从属站点;Ctrlorcurrent在预设的Tswitch时间内收到Ctrlorcandidate发来的总线控制器切换好消息,则置位回复标志后等待总线控制器来取,未收到,则重新将自己切换为总线控制器,记录切换次数加1,重复切换过程;直到重复N次仍不能成功,则报警总线故障,结束切换过程。本发明简单易行、稳定可靠。
-
公开(公告)号:CN108804080A
公开(公告)日:2018-11-13
申请号:CN201810417634.5
申请日:2018-05-04
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06F8/20
CPC classification number: G06F8/22
Abstract: 一种多中断嵌入式程序的高可靠性设计方法是一种用于提高带有多个中断需求的嵌入式高级语言软件安全可靠的方法。在带有多中断需求的嵌入式软件运行过程中通常会出现由于中断某些变量被异常修改,导致程序行为与预期不一致的现象,为了解决这种问题,一般选择对变量进行多次赋值等类似的处理方法来确保即使变量被异常修改,也可以将其改正回来,以避免引起功能异常。本发明所述方法包括确定临界区的方法,以及如何对临界区进行访问两个方面,大大提高嵌入式软件运行的可靠性和稳定性。
-
公开(公告)号:CN117879989A
公开(公告)日:2024-04-12
申请号:CN202311680223.2
申请日:2023-12-08
Applicant: 北京航天自动控制研究所
IPC: H04L12/40 , H04L41/12 , H04L47/765
Abstract: 本申请提供一种1553B总线控制权切换方法和复杂系统,应用该方法的复杂系统包括多个系统和一套1553B总线;其中,多个系统通过1553B总线连接,进行数据通信,且多个系统之间存在表征系统间总线物理连接状态的信号;信号的初始值为高电平状态值;该方法包括:当前系统向另一系统发送切换指令;其中,总线控制器位于的系统为当前系统;另一系统基于预切换指令,在总线拓扑变化时接管总线控制权。本申请提供的方法,采用一套1553B总线满足复杂系统的1553B通信需求,可以针对复杂系统,特别是实时性约束较强的控制系统,进行快速且可靠的总线控制权切换,对确保复杂高可靠实时系统在复杂场景下工程应用具有重大意义。
-
公开(公告)号:CN108804080B
公开(公告)日:2022-06-03
申请号:CN201810417634.5
申请日:2018-05-04
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06F8/20
Abstract: 一种多中断嵌入式程序的高可靠性设计方法是一种用于提高带有多个中断需求的嵌入式高级语言软件安全可靠的方法。在带有多中断需求的嵌入式软件运行过程中通常会出现由于中断某些变量被异常修改,导致程序行为与预期不一致的现象,为了解决这种问题,一般选择对变量进行多次赋值等类似的处理方法来确保即使变量被异常修改,也可以将其改正回来,以避免引起功能异常。本发明所述方法包括确定临界区的方法,以及如何对临界区进行访问两个方面,大大提高嵌入式软件运行的可靠性和稳定性。
-
公开(公告)号:CN107505883B
公开(公告)日:2020-05-19
申请号:CN201710637376.7
申请日:2017-07-31
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G05B19/048 , G05B23/02
Abstract: 本发明公开了一种基于微控制器的高可靠双冗余集成控制模块,包括互为冗余的主控制模块、从控制模块;主控制模块、从控制模块接收外部输入的I/O型控制信号输出命令后,产生相应的有效I/O控制信号,主控制模块、从控制模块产生的两路I/O控制信号进行逻辑“或”运算操作,任意一路I/O控制信号“有效”时,输出“有效”的I/O控制信号;互为冗余的主控制模块、从控制模块的微控制器实时采集对方所输出的I/O型控制信号状态,并根据主、从控制模块相应的I/O型控制信号状态进行故障判读,并将判读结果输出,实时采集所控I/O控制信号执行结果并输出。本发明增加了控制信号发送的稳定性和可靠性。
-
公开(公告)号:CN107026703B
公开(公告)日:2019-01-11
申请号:CN201710357135.7
申请日:2017-05-19
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: H04J3/06
Abstract: 本发明公开了一种混合网络中的级联式时间同步方法,包括如下步骤:(1)、父层网络的时间同步控制站点向共享适配站点发送时间同步消息;(2)、共享适配站点收到时间同步消息之后,进行解析得到当前时刻父层时间系统时间Tsyn,同时记录时间同步消息收到时刻的本地时间Tlocal_syn;(3)、共享适配站点根据自身的子层时间系统时间Tlocal,对子层网络中的其他站点进行时间同步;(4)、共享适配站点收到子层网络中的任意其他站点发送的带有子层时间系统时间标记tsub的时间标记消息之后,将tsub转换为父层网络中的时间值TafterSyn,反馈至父层网络实现混合网络之间的时间同步。本发明在不影响父层网络和子层网络时间同步的基础上,将两层通信网中的各个站点时间同步。
-
-
-
-
-
-
-
-
-