-
公开(公告)号：CN109063839B
公开(公告)日：2020-08-14
申请号：CN201811125567.6
申请日：2018-09-26
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC分类号： G06N5/02
摘要： 本发明涉及一种专家系统的模拟时态逻辑的复杂征兆构建方法，应用于在基于规则的专家系统知识库中表达系统的动态特征。根据数据征兆表，匹配获得系统状态数据的基本征兆，每个征兆代表该数据的一种状态；如果满足开始时机不满足结束时机则判断是否满足所述复杂征兆的判读条件，如果满足，则输出所述复杂征兆给专家系统推理机。本发明针对传统专家系统知识库不足以表达系统的动态特征的问题，为专家系统知识库添加了动态知识模式，扩展了知识库的维度，增强了专家系统知识库的对人类专家知识的表达能力。设计了复杂征兆，实现了对时间相关的系统状态数据的特征描述，通过整数标识系统状态数据在某个时间区间内的状态变化，标识简单。
-
公开(公告)号：CN107102921B
公开(公告)日：2020-05-12
申请号：CN201710179456.2
申请日：2017-03-23
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC分类号： G06F11/22
摘要： 本发明提供了一种面向带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
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
摘要： 本发明涉及一种带自检功能的SoC应用程序引导方法，在运行应用程序前将应用程序从FLASH搬运到SRAM去，并将应用程序的第一行指令地址赋予CPU的PC指针，启动程序运行的一种引导功能模块。本发明所述程序引导方法在搬运应用程序前对应用程序运行的SRAM进行检查，并对应用程序搬运的正确性进行检查，在应用程序运行前保证运行目标及其运行环境的正确性。本发明通过程序上传的一致性校验、搬运前、后的校验，保证了从源程序到每次运行程序的正确性，保证了运行环境功能完好，一旦程序发生故障，能够快速进行故障定位。
-
公开(公告)号：CN107135049A
公开(公告)日：2017-09-05
申请号：CN201710256778.2
申请日：2017-04-19
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
摘要： 一种面向离散数据流的可靠异步通信方法，主要涉及数据结构化，信源发送，信宿接收及信宿数据解析技术。其主要针对瞬时性通信速度大于处理速度，采取临时缓冲队列存储，然后信宿从缓冲队列中依次读取每一帧数据，并对数据帧完整性、结构、内容的正确性进行检查以确保通信数据正常接收。所述方法不涉及层次化协议栈，实现较简单，且可以较好地剔除接收到噪声数据。
-
公开(公告)号：CN106789495B
公开(公告)日：2019-08-09
申请号：CN201611051761.5
申请日：2016-11-23
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
摘要： 本发明公开了一种单控制器主从式网络总线控制器在线切换方法，总线当前控制器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
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC分类号： G06F8/20
CPC分类号： G06F8/22
摘要： 一种多中断嵌入式程序的高可靠性设计方法是一种用于提高带有多个中断需求的嵌入式高级语言软件安全可靠的方法。在带有多中断需求的嵌入式软件运行过程中通常会出现由于中断某些变量被异常修改，导致程序行为与预期不一致的现象，为了解决这种问题，一般选择对变量进行多次赋值等类似的处理方法来确保即使变量被异常修改，也可以将其改正回来，以避免引起功能异常。本发明所述方法包括确定临界区的方法，以及如何对临界区进行访问两个方面，大大提高嵌入式软件运行的可靠性和稳定性。
-
公开(公告)号：CN109408542B
公开(公告)日：2021-02-09
申请号：CN201811125570.8
申请日：2018-09-26
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC分类号： G06F16/2455
摘要： 本发明公开了一种基于征兆的专家系统的故障推理方法，将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；本发明定义了新的基于征兆模式的专家系统知识的表示方法，设计了相应的推理机规则模式匹配方法。相比现有的专家系统的推理机制，本发使用位图表示推理机内部状态，并采取模式‑规则逆向索引的匹配方法，推理机制更加简单和高效。
-
公开(公告)号：CN107135049B
公开(公告)日：2020-08-14
申请号：CN201710256778.2
申请日：2017-04-19
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
摘要： 一种面向离散数据流的可靠异步通信方法，主要涉及数据结构化，信源发送，信宿接收及信宿数据解析技术。其主要针对瞬时性通信速度大于处理速度，采取临时缓冲队列存储，然后信宿从缓冲队列中依次读取每一帧数据，并对数据帧完整性、结构、内容的正确性进行检查以确保通信数据正常接收。所述方法不涉及层次化协议栈，实现较简单，且可以较好地剔除接收到噪声数据。
-
公开(公告)号：CN105183688B
公开(公告)日：2018-10-09
申请号：CN201510544361.7
申请日：2015-08-28
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
摘要： 一种基于串口网络的IO数字量监测端口扩展方法，包括，S1、将带FPGA监测逻辑的监测板卡挂接到由一块带微控制器的板卡控制的串口网络上；S2、由分布在监测板卡上的FPGA监测逻辑对I/O型数字量进行监测，并将FPGA监测逻辑对I/O型数字量的监测结果通过串口网络传给微控制器；S3、由微控制器完成对I/O型数字量监测结果信息的整理校正，提供监测报告。本发明所述方法将扩展的I/O型数字量端口在其他板卡上实现，通过串口总线将测试信息传回到微处理器板卡上，这样在微处理器板卡上无需实现监测I/O型数字量相关功能的电路，从而可以使微处理器板卡更好地完成其他功能。
-
公开(公告)号：CN105158607B
公开(公告)日：2018-04-10
申请号：CN201510544073.1
申请日：2015-08-28
申请人： 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC分类号： G01R31/00
摘要： 一种非独立多通道模拟量实时监测方法，包括，步骤S1，对采集的模拟量进行分组，分成多个采集组；步骤S2，对单个采集组中分组后的模拟量进行排序；步骤S3，打开一个采集组的组内模拟量采集通道，同时打开模拟量采集通道的建立标志，并开始计时；步骤S4，查询模拟量采集通道的建立时间是否达到指定时长，若未达到指定时长，则退出，若已经达到指定时长则开始模拟量测试；模拟量测试完毕后，关闭采样通道，并开启下一个采集组内模拟量的采集通道；重复步骤S4直至所有采集组的模拟量测试完毕。本发明解决了采样效率与采样精度的矛盾，可以在保证监测精度的基础上，大幅度的提高被监测的模拟量的采样效率，从而提高了被监测量的采样率。
-
-
-
-
-
-
-
-
-
搜索结果
30 条记录 (耗时 0.029 秒)
