公开(公告)号：CN109582692A

公开(公告)日：2019-04-05

申请号：CN201811361589.2

申请日：2018-11-15

Applicant: 北京宇航系统工程研究所 ,  中国运载火箭技术研究院

Inventor： 连彦泽 ,  段飞鹏 ,  徐华丽 ,  马利 ,  赵雷 ,  李世鹏 ,  颜廷贵 ,  尹贻国 ,  何信华 ,  白健 ,  虞洋 ,  杨志方 ,  胡昭昀 ,  王琳

IPC: G06F16/242 ,  G06F16/2452 ,  G06F16/2458

Abstract: 一种基于形式化描述的运载火箭测试数据判读方法及系统，包括(1)将测试参数的判据进行分类；(2)定义测试参数判据的组成元素；(3)根据定义的组成元素，对分类后的各类判据进行形式化描述；(4)读取判据的形式化描述，并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码；(5)以运载火箭测试数据为数据源，运行目标程序代码，给出运载火箭测试数据是否正常的判读结论，从而完成运载火箭测试数据的判读。本发明通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题，在此基础上实现了自动化的测试数据判读，极大提高了测试数据判读的效率与准确性。

公开(公告)号：CN109582692B

公开(公告)日：2020-12-18

申请号：CN201811361589.2

申请日：2018-11-15

Applicant: 北京宇航系统工程研究所 ,  中国运载火箭技术研究院

Inventor： 连彦泽 ,  段飞鹏 ,  徐华丽 ,  马利 ,  赵雷 ,  李世鹏 ,  颜廷贵 ,  尹贻国 ,  何信华 ,  白健 ,  虞洋 ,  杨志方 ,  胡昭昀 ,  王琳

IPC: G06F16/242 ,  G06F16/2452 ,  G06F16/2458

Abstract: 一种基于形式化描述的运载火箭测试数据判读方法及系统，包括(1)将测试参数的判据进行分类；(2)定义测试参数判据的组成元素；(3)根据定义的组成元素，对分类后的各类判据进行形式化描述；(4)读取判据的形式化描述，并将形式化描述表征的判读规则转换为计算机能够识别的目标程序代码；(5)以运载火箭测试数据为数据源，运行目标程序代码，给出运载火箭测试数据是否正常的判读结论，从而完成运载火箭测试数据的判读。本发明通过形式化描述的方法解决了运载火箭测试数据的判据难以准确描述与定义的问题，在此基础上实现了自动化的测试数据判读，极大提高了测试数据判读的效率与准确性。

公开(公告)号：CN112468451A

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

申请号：CN202011231459.4

申请日：2020-11-06

Applicant: 北京宇航系统工程研究所

Inventor： 易航 ,  张恒 ,  张学英 ,  卢頔 ,  王之平 ,  刘巧珍 ,  白冰 ,  王铭瑶 ,  何巍 ,  娄路亮 ,  卢伟 ,  吕明 ,  李璨 ,  徐昊 ,  宋敬群 ,  连彦泽 ,  尹贻国 ,  倪宣浩

IPC: H04L29/06 ,  H04L29/08 ,  H04L12/24

Abstract: 一种兼容多型号的安全、可靠远程测试网络系统，在发射场和研制单位等地的专线入口处部署防火墙设备，通过设计防火墙策略实现与专线的数据过滤隔离。在火箭测试网络内旁路部署准入控制系统，对接入本地测试网络的各种终端进行授权入网、设备安全检查、访问控制管理、运行状态监测等操作，有效地管控入网设备，提高网络整体安全等级。在火箭测试网络内旁路部署入侵检测系统，对本地测试网络交换设备处理的数据进行全天候监测，能够及时识别系统受到的威胁、分辨网络流量成分并进行异常报警。