公开(公告)号：CN113465664A

公开(公告)日：2021-10-01

申请号：CN202110670257.8

申请日：2021-06-17

申请人： 国网宁夏电力有限公司电力科学研究院 ,  西安交通大学 ,  西安工程大学

发明人： 马飞越 ,  魏莹 ,  孙尚鹏 ,  陈磊 ,  牛勃 ,  倪辉 ,  朱洪波 ,  王博 ,  丁陪 ,  周秀 ,  何宁辉 ,  郝金鹏 ,  吴慧 ,  杨朝旭 ,  荣海军 ,  张涛 ,  田毅 ,  刘威峰 ,  徐玉华 ,  田天 ,  伍弘

IPC分类号： G01D21/02 ,  G06K9/00 ,  G06K9/62 ,  G06N3/04 ,  G06N3/08

摘要： 本发明的罐式电力设备内部异物检测与识别方法通过建立腔体试验平台，模拟设备现场利用不同特征的异物在腔体内发出的超声波信号、振动信号、超高频信号，建立异物识别分析算法并通过训练，得出准确的异物与信号的对应关系数据库。从而能够在实际监测过程中，根据实际设备的腔体中的异物发出的超声波信号、振动信号、超高频信号判断出异物的特征。

公开(公告)号：CN111193640B

公开(公告)日：2021-07-13

申请号：CN201911368837.0

申请日：2019-12-26

申请人： 西安交通大学

发明人： 张鹏 ,  胡刘郏 ,  刘雨潇 ,  吴慧 ,  王换招

IPC分类号： H04L12/26 ,  H04L12/24

摘要： 本发明公开了采用策略分解和符号执行的有状态数据平面故障检测方法，通过构建网络功能模型和分解上下文相关策略，使用符号执行引擎进行符号执行，生成原始测试用例；然后将原始测试用例翻译为符合数据流量规范的合法测试数据流；将测试数据流注入数据平面；比较实际测试数据流处理结果和测试数据流理论处理结果，从而实现有状态数据平面故障检测，对网络功能内部逻辑进行建模，能够对中间网络设备的内部逻辑进行验证，可以处理数据平面由于软件错误、硬件故障等产生的运行时故障；使用测试数据流进行检测，可以直接检测数据平面的状态，具有良好的可扩展性。利用策略分解和符号执行降低需要探索的状态空间大小，提高故障检测的可扩展性。

公开(公告)号：CN111193640A

公开(公告)日：2020-05-22

申请号：CN201911368837.0

申请日：2019-12-26

申请人： 西安交通大学

发明人： 张鹏 ,  胡刘郏 ,  刘雨潇 ,  吴慧 ,  王换招

IPC分类号： H04L12/26 ,  H04L12/24

摘要： 本发明公开了采用策略分解和符号执行的有状态数据平面故障检测方法，通过构建网络功能模型和分解上下文相关策略，使用符号执行引擎进行符号执行，生成原始测试用例；然后将原始测试用例翻译为符合数据流量规范的合法测试数据流；将测试数据流注入数据平面；比较实际测试数据流处理结果和测试数据流理论处理结果，从而实现有状态数据平面故障检测，对网络功能内部逻辑进行建模，能够对中间网络设备的内部逻辑进行验证，可以处理数据平面由于软件错误、硬件故障等产生的运行时故障；使用测试数据流进行检测，可以直接检测数据平面的状态，具有良好的可扩展性。利用策略分解和符号执行降低需要探索的状态空间大小，提高故障检测的可扩展性。