-
公开(公告)号：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中。本发明的方法为实时专家系统有效的管理和分配定时器资源。
-
公开(公告)号：CN109063839B
公开(公告)日：2020-08-14
申请号：CN201811125567.6
申请日：2018-09-26
Applicant: 北京航天自动控制研究所 , 中国运载火箭技术研究院
IPC: G06N5/02
Abstract: 本发明涉及一种专家系统的模拟时态逻辑的复杂征兆构建方法，应用于在基于规则的专家系统知识库中表达系统的动态特征。根据数据征兆表，匹配获得系统状态数据的基本征兆，每个征兆代表该数据的一种状态；如果满足开始时机不满足结束时机则判断是否满足所述复杂征兆的判读条件，如果满足，则输出所述复杂征兆给专家系统推理机。本发明针对传统专家系统知识库不足以表达系统的动态特征的问题，为专家系统知识库添加了动态知识模式，扩展了知识库的维度，增强了专家系统知识库的对人类专家知识的表达能力。设计了复杂征兆，实现了对时间相关的系统状态数据的特征描述，通过整数标识系统状态数据在某个时间区间内的状态变化，标识简单。
-
Patent Agency Ranking
公开(公告)号：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中。本发明的方法为实时专家系统有效的管理和分配定时器资源。
-
公开(公告)号：CN119937275A
公开(公告)日：2025-05-06
申请号：CN202411928282.1
申请日：2024-12-25
Applicant: 北京航天自动控制研究所
IPC: G05B9/03
Abstract: 本发明涉及一种基于TTE总线的多模冗余计算机同步电路及方法，本地晶振为定时器功能模块提供基础频率信息P0；定时器功能模块接收本地晶振发送的基础频率信息，经分频处理后输出周期同步信号L1；TTE端节点接收TTE网络同步指令L0，转换为周期同步信号L2输出；精度鉴别功能模块接收L1、L2，以本地晶振提供的P0为基准源，判断L2的精度，并根据预设策略，确定将哪一路周期同步信号作为鉴别后的周期同步信号L3输出；同步三取二冗余判别功能模块接收精度鉴别功能模块输出的周期同步信号L3，以及外部冗余CPU同步电路发送的同步信号L4、L5，对L3、L4、L5三路信号进行三取二表决后，输出最终的同步信号L6给CPU1作为任务周期同步信号。
-
-
-
-
-
-
Search Results
7
records
(took 0.017 seconds)
