-
公开(公告)号：CN108804080A
公开(公告)日：2018-11-13
申请号：CN201810417634.5
申请日：2018-05-04
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06F8/20
CPC classification number: G06F8/22
Abstract: 一种多中断嵌入式程序的高可靠性设计方法是一种用于提高带有多个中断需求的嵌入式高级语言软件安全可靠的方法。在带有多中断需求的嵌入式软件运行过程中通常会出现由于中断某些变量被异常修改，导致程序行为与预期不一致的现象，为了解决这种问题，一般选择对变量进行多次赋值等类似的处理方法来确保即使变量被异常修改，也可以将其改正回来，以避免引起功能异常。本发明所述方法包括确定临界区的方法，以及如何对临界区进行访问两个方面，大大提高嵌入式软件运行的可靠性和稳定性。
-
公开(公告)号：CN109408542B
公开(公告)日：2021-02-09
申请号：CN201811125570.8
申请日：2018-09-26
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06F16/2455
Abstract: 本发明公开了一种基于征兆的专家系统的故障推理方法，将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；本发明定义了新的基于征兆模式的专家系统知识的表示方法，设计了相应的推理机规则模式匹配方法。相比现有的专家系统的推理机制，本发使用位图表示推理机内部状态，并采取模式‑规则逆向索引的匹配方法，推理机制更加简单和高效。
-
公开(公告)号：CN107135049B
公开(公告)日：2020-08-14
申请号：CN201710256778.2
申请日：2017-04-19
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
Abstract: 一种面向离散数据流的可靠异步通信方法，主要涉及数据结构化，信源发送，信宿接收及信宿数据解析技术。其主要针对瞬时性通信速度大于处理速度，采取临时缓冲队列存储，然后信宿从缓冲队列中依次读取每一帧数据，并对数据帧完整性、结构、内容的正确性进行检查以确保通信数据正常接收。所述方法不涉及层次化协议栈，实现较简单，且可以较好地剔除接收到噪声数据。
-
公开(公告)号：CN110569977A
公开(公告)日：2019-12-13
申请号：CN201910670830.8
申请日：2019-07-23
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
Inventor： 丁万兵 , 崔小磊 , 崔宇 , 李娜 , 曹芳芳 , 何波 , 李辉 , 王冲 , 冯初彦 , 王乐其 , 刘鹏 , 吕京伟 , 韩翔宇 , 江思荣 , 孙鹏 , 张红群 , 范国梁 , 童璐 , 陈星宇
IPC: G06N5/04
Abstract: 一种面向实时专家系统并行时限推理的可复用定时方法，包括步骤如下：实时专家系统启动时，创建基础定时器gTimer，定时事件队列Q，定时事件管理线程tEventManager，以及给定时事件管理线程tEventManager传消息的消息队列msgQEvent；定义定时事件、定时事件队列Q和定时事件队列Q节点的数据项；每当实时专家系统中任意一个规则中的时限推理开始时，实时专家系统启动定时事件Ei，将定时事件Ei通过消息队列msgQEvent发送给定时事件管理线程tEventManager，定时事件管理线程tEventManager接到处理请求后，将定时事件Ei插入到定时事件队列Q中。本发明的方法为实时专家系统有效的管理和分配定时器资源。
-
公开(公告)号：CN105183688B
公开(公告)日：2018-10-09
申请号：CN201510544361.7
申请日：2015-08-28
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
Abstract: 一种基于串口网络的IO数字量监测端口扩展方法，包括，S1、将带FPGA监测逻辑的监测板卡挂接到由一块带微控制器的板卡控制的串口网络上；S2、由分布在监测板卡上的FPGA监测逻辑对I/O型数字量进行监测，并将FPGA监测逻辑对I/O型数字量的监测结果通过串口网络传给微控制器；S3、由微控制器完成对I/O型数字量监测结果信息的整理校正，提供监测报告。本发明所述方法将扩展的I/O型数字量端口在其他板卡上实现，通过串口总线将测试信息传回到微处理器板卡上，这样在微处理器板卡上无需实现监测I/O型数字量相关功能的电路，从而可以使微处理器板卡更好地完成其他功能。
-
Patent Agency Ranking
公开(公告)号：CN105158607B
公开(公告)日：2018-04-10
申请号：CN201510544073.1
申请日：2015-08-28
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G01R31/00
Abstract: 一种非独立多通道模拟量实时监测方法，包括，步骤S1，对采集的模拟量进行分组，分成多个采集组；步骤S2，对单个采集组中分组后的模拟量进行排序；步骤S3，打开一个采集组的组内模拟量采集通道，同时打开模拟量采集通道的建立标志，并开始计时；步骤S4，查询模拟量采集通道的建立时间是否达到指定时长，若未达到指定时长，则退出，若已经达到指定时长则开始模拟量测试；模拟量测试完毕后，关闭采样通道，并开启下一个采集组内模拟量的采集通道；重复步骤S4直至所有采集组的模拟量测试完毕。本发明解决了采样效率与采样精度的矛盾，可以在保证监测精度的基础上，大幅度的提高被监测的模拟量的采样效率，从而提高了被监测量的采样率。
-
公开(公告)号：CN119396877A
公开(公告)日：2025-02-07
申请号：CN202411409584.8
申请日：2024-10-10
Applicant: 北京航天自动控制研究所
IPC: G06F16/2455 , G06F16/2457 , G06N5/025 , G06N5/04
Abstract: 本发明提供一种面向实时专家系统的基于规则反馈的数据动态过滤方法，针对实时专家系统数据处理效率提升进行优化。根据专家系统当前加载的规则集的反馈，动态的构建数据过滤器；动态过滤器将与当前规则集相关的数据参数过滤出来，经过解析、判读生成征兆传递给该规则集的推理机；当专家系统卸载一个规则集时，过滤器的过滤网格自动调整或者执行删除操作。该方法能够有效的提升实时专家系统对高吞吐输入数据的适应性，避免专家系统内部出现数据解析瓶颈，从而提高专家系统的处理效率。
-
公开(公告)号：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进行检查，并对应用程序搬运的正确性进行检查，在应用程序运行前保证运行目标及其运行环境的正确性。本发明通过程序上传的一致性校验、搬运前、后的校验，保证了从源程序到每次运行程序的正确性，保证了运行环境功能完好，一旦程序发生故障，能够快速进行故障定位。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.023 seconds)
