-
公开(公告)号:CN110569977B
公开(公告)日:2022-04-22
申请号: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中。本发明的方法为实时专家系统有效的管理和分配定时器资源。
-
公开(公告)号:CN115905132A
公开(公告)日:2023-04-04
申请号:CN202211544188.7
申请日:2022-12-03
Applicant: 北京航天自动控制研究所
Abstract: 本发明公开了一种基于时间规则的多功能日志模块架构,提供统一的日志功能接口函数,包括日志路径设置、日志文件创建、写日志、刷新日志、关闭日志等。本发明的基于时间规则的多功能日志模块架构,提供自动清理日志的功能,防止硬盘空间不足造成系统软件崩溃无法正常运行,减少软件开发人员重复编写代码的工作量,提高航天软件的生产效率和质量。
-
公开(公告)号: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: 本发明涉及一种专家系统的模拟时态逻辑的复杂征兆构建方法,应用于在基于规则的专家系统知识库中表达系统的动态特征。根据数据征兆表,匹配获得系统状态数据的基本征兆,每个征兆代表该数据的一种状态;如果满足开始时机不满足结束时机则判断是否满足所述复杂征兆的判读条件,如果满足,则输出所述复杂征兆给专家系统推理机。本发明针对传统专家系统知识库不足以表达系统的动态特征的问题,为专家系统知识库添加了动态知识模式,扩展了知识库的维度,增强了专家系统知识库的对人类专家知识的表达能力。设计了复杂征兆,实现了对时间相关的系统状态数据的特征描述,通过整数标识系统状态数据在某个时间区间内的状态变化,标识简单。
-
公开(公告)号:CN109408542A
公开(公告)日:2019-03-01
申请号:CN201811125570.8
申请日:2018-09-26
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06F16/2455
Abstract: 本发明公开了一种基于征兆的专家系统的故障推理方法,将命题逻辑表达式按照命题逻辑生成二元规则集合;二元规则为一个产生式,由一个或两个触发输入,进行逻辑运算,输出作为另一个二元规则触发输入的中间状态或者该规则的结论;根据数据征兆表,匹配获得系统状态数据的征兆,每个征兆代表该数据的一种状态;将状态数据的征兆与二元规则进行匹配,当满足某一二元规则时,按照该二元规则生成中间状态或表征故障的结论;本发明定义了新的基于征兆模式的专家系统知识的表示方法,设计了相应的推理机规则模式匹配方法。相比现有的专家系统的推理机制,本发使用位图表示推理机内部状态,并采取模式-规则逆向索引的匹配方法,推理机制更加简单和高效。
-
公开(公告)号:CN109063839A
公开(公告)日:2018-12-21
申请号:CN201811125567.6
申请日:2018-09-26
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06N5/02
Abstract: 本发明涉及一种专家系统的模拟时态逻辑的复杂征兆构建方法,应用于在基于规则的专家系统知识库中表达系统的动态特征。根据数据征兆表,匹配获得系统状态数据的基本征兆,每个征兆代表该数据的一种状态;如果满足开始时机不满足结束时机则判断是否满足所述复杂征兆的判读条件,如果满足,则输出所述复杂征兆给专家系统推理机。本发明针对传统专家系统知识库不足以表达系统的动态特征的问题,为专家系统知识库添加了动态知识模式,扩展了知识库的维度,增强了专家系统知识库的对人类专家知识的表达能力。设计了复杂征兆,实现了对时间相关的系统状态数据的特征描述,通过整数标识系统状态数据在某个时间区间内的状态变化,标识简单。
-
公开(公告)号:CN109408542B
公开(公告)日:2021-02-09
申请号:CN201811125570.8
申请日:2018-09-26
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06F16/2455
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中。本发明的方法为实时专家系统有效的管理和分配定时器资源。
-
-
-
-
-
-
-