公开(公告)号：CN109063839B

公开(公告)日：2020-08-14

申请号：CN201811125567.6

申请日：2018-09-26

申请人： 北京航天自动控制研究所 ,  中国运载火箭技术研究院

发明人： 丁万兵 ,  崔小磊 ,  崔宇 ,  李娜 ,  王冲 ,  邱枫 ,  仲宇 ,  张磊 ,  何波 ,  李辉 ,  高飞 ,  曹芳芳 ,  董西国 ,  吕京伟 ,  李兰兰 ,  刘鹏

IPC分类号： G06N5/02

摘要： 本发明涉及一种专家系统的模拟时态逻辑的复杂征兆构建方法，应用于在基于规则的专家系统知识库中表达系统的动态特征。根据数据征兆表，匹配获得系统状态数据的基本征兆，每个征兆代表该数据的一种状态；如果满足开始时机不满足结束时机则判断是否满足所述复杂征兆的判读条件，如果满足，则输出所述复杂征兆给专家系统推理机。本发明针对传统专家系统知识库不足以表达系统的动态特征的问题，为专家系统知识库添加了动态知识模式，扩展了知识库的维度，增强了专家系统知识库的对人类专家知识的表达能力。设计了复杂征兆，实现了对时间相关的系统状态数据的特征描述，通过整数标识系统状态数据在某个时间区间内的状态变化，标识简单。

公开(公告)号：CN106776275A

公开(公告)日：2017-05-31

申请号：CN201611024865.7

申请日：2016-11-14

申请人： 北京航天自动控制研究所 ,  中国运载火箭技术研究院

发明人： 齐竹云 ,  王兵 ,  王福到 ,  董西国 ,  上官子粮

IPC分类号： G06F11/36

CPC分类号： G06F11/3684

摘要： 本发明涉及测试流程技术领域，尤其涉及一种基于分组复用的测试流程自动生成方法。该方法包括：通过定义测试流程的主类型、子类型及属性值描述测试设备的可配置属性及行为，建立测试流程模型；根据建立的测试流程模型，建立测试步序，为每一个测试步序建立名称和属性值，形成可复用测试步序集；将相关联的测试步序进行组合，形成具有独立功能的可复用测试分组，将不同的测试分组进行有序排列，形成测试流程；定义输出文件格式和字段含义，通过选择预输出的主类型、子类型及属性值，选定输出的测试流程，对选定的测试流程自动输出。本发明能够高效的利用分组复用的机制，实现对测试流程的复用及快速配置，达到测试流程自动生成的目的。

公开(公告)号：CN109408542B

公开(公告)日：2021-02-09

申请号：CN201811125570.8

申请日：2018-09-26

申请人： 北京航天自动控制研究所 ,  中国运载火箭技术研究院

发明人： 丁万兵 ,  崔小磊 ,  崔宇 ,  李娜 ,  王冲 ,  邱枫 ,  仲宇 ,  张磊 ,  何波 ,  李辉 ,  高飞 ,  曹芳芳 ,  董西国 ,  吕京伟 ,  李兰兰 ,  刘鹏

IPC分类号： G06F16/2455

摘要： 本发明公开了一种基于征兆的专家系统的故障推理方法，将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；本发明定义了新的基于征兆模式的专家系统知识的表示方法，设计了相应的推理机规则模式匹配方法。相比现有的专家系统的推理机制，本发使用位图表示推理机内部状态，并采取模式‑规则逆向索引的匹配方法，推理机制更加简单和高效。

公开(公告)号：CN106776275B

公开(公告)日：2019-06-18

申请号：CN201611024865.7

申请日：2016-11-14

申请人： 北京航天自动控制研究所 ,  中国运载火箭技术研究院

发明人： 齐竹云 ,  王兵 ,  王福到 ,  董西国 ,  上官子粮

IPC分类号： G06F11/36

摘要： 本发明涉及测试流程技术领域，尤其涉及一种基于分组复用的测试流程自动生成方法。该方法包括：通过定义测试流程的主类型、子类型及属性值描述测试设备的可配置属性及行为，建立测试流程模型；根据建立的测试流程模型，建立测试步序，为每一个测试步序建立名称和属性值，形成可复用测试步序集；将相关联的测试步序进行组合，形成具有独立功能的可复用测试分组，将不同的测试分组进行有序排列，形成测试流程；定义输出文件格式和字段含义，通过选择预输出的主类型、子类型及属性值，选定输出的测试流程，对选定的测试流程自动输出。本发明能够高效的利用分组复用的机制，实现对测试流程的复用及快速配置，达到测试流程自动生成的目的。

公开(公告)号：CN109408542A

公开(公告)日：2019-03-01

申请号：CN201811125570.8

申请日：2018-09-26

申请人： 北京航天自动控制研究所 ,  中国运载火箭技术研究院

发明人： 丁万兵 ,  崔小磊 ,  崔宇 ,  李娜 ,  王冲 ,  邱枫 ,  仲宇 ,  张磊 ,  何波 ,  李辉 ,  高飞 ,  曹芳芳 ,  董西国 ,  吕京伟 ,  李兰兰 ,  刘鹏

IPC分类号： G06F16/2455

摘要： 本发明公开了一种基于征兆的专家系统的故障推理方法，将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；本发明定义了新的基于征兆模式的专家系统知识的表示方法，设计了相应的推理机规则模式匹配方法。相比现有的专家系统的推理机制，本发使用位图表示推理机内部状态，并采取模式-规则逆向索引的匹配方法，推理机制更加简单和高效。

公开(公告)号：CN109063839A

公开(公告)日：2018-12-21

申请号：CN201811125567.6

申请日：2018-09-26

申请人： 北京航天自动控制研究所 ,  中国运载火箭技术研究院

发明人： 丁万兵 ,  崔小磊 ,  崔宇 ,  李娜 ,  王冲 ,  邱枫 ,  仲宇 ,  张磊 ,  何波 ,  李辉 ,  高飞 ,  曹芳芳 ,  董西国 ,  吕京伟 ,  李兰兰 ,  刘鹏

IPC分类号： G06N5/02

摘要： 本发明涉及一种专家系统的模拟时态逻辑的复杂征兆构建方法，应用于在基于规则的专家系统知识库中表达系统的动态特征。根据数据征兆表，匹配获得系统状态数据的基本征兆，每个征兆代表该数据的一种状态；如果满足开始时机不满足结束时机则判断是否满足所述复杂征兆的判读条件，如果满足，则输出所述复杂征兆给专家系统推理机。本发明针对传统专家系统知识库不足以表达系统的动态特征的问题，为专家系统知识库添加了动态知识模式，扩展了知识库的维度，增强了专家系统知识库的对人类专家知识的表达能力。设计了复杂征兆，实现了对时间相关的系统状态数据的特征描述，通过整数标识系统状态数据在某个时间区间内的状态变化，标识简单。