张海宾
- 作品数：39 被引量：23H指数：3
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信生物学更多>>
- 一种基于知识图谱的互联网态势评估方法
- 本发明公开了一种基于知识图谱的互联网态势评估方法，包括：构建网络安全知识图谱本体；收集网络数据识别威胁情报信息清洗得到网络基本事件；提取告警信息与网络数据合并；确定各数据的知识类别；对不同知识类别数据构建知识图谱存储；对...
- 车沅熹杨锐黄泽宇戚玉涛张海宾李晓军
- 离散时间区间时序逻辑可满足性的判定被引量：4
- 2010年
- 目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.
- 朱维军张海宾周清雷
- 关键词：可满足性判定
- 多速率混合系统的符号化可达性分析被引量：2
- 2007年
- 针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作.从理论上证明了多速率区域在这3种操作上的封闭性,同时定义了矩阵数据结构不同上限矩阵(DCM),并用其存储多速率区域,这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构.理论上证得,DCM可以大大降低可达性分析算法的复杂度.
- 张海宾段振华
- 关键词：可达性分析
- 多速率混合系统的模型检查被引量：1
- 2008年
- 研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题.利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题.
- 张海宾段振华
- 关键词：区间时序逻辑
- 边缘网络智能安全防护关键技术及应用
- 张海宾孙文曾颖明王鹏王超刘志强
- 边缘网络作为支撑能源、交通、制造等重要行业和领域公共通信和智能服务的关键综合信息基础设施，一旦遭到破坏丧失功能，将严重危害国家安全、国计民生。然而，作为支撑“新基建”等国家战略的边缘网络在智能化与安全化转型中面临着数据可...
- 关键词：
- 关键词：网络安全
- 一种基于GPS信号特征的时间欺骗检测方法
- 本发明公开了一种基于GPS信号特征的时间欺骗检测方法，包括：在GPS原始数据中提取原始数据；基于K路通道的载噪比和多普勒频率，得到当前时刻对应的时间窗内每路通道的载噪比的方差、以及多普勒频率的方差；基于每路通道的载噪比的...
- 魏晓敏王由甲张海宾李玥宋祁朋马建峰
- 基于空域映射与频域加性扰动的对抗样本生成方法及装置
- 本发明公开了一种基于空域映射与频域加性扰动的对抗样本生成方法和装置，涉及计算极视觉的图像识别技术领域，解决了现有技术中在为图像中的像素点添加扰动时，容易被察觉后导致的图像失真；该方法包括：获取原始图像；对原始图像上的像素...
- 张海宾王海涛王冰吕敏杰周相南杨学武唐舒楠
- 基于机器学习的无人机物理攻击检测与恢复方法及装置
- 本发明公开了一种基于机器学习的无人机物理攻击检测与恢复方法及装置，涉及信息安全技术领域，解决了现有技术在各类无人系统攻击检测时的局限性的问题；该方法包括：获取数据集，并对数据集进行预处理，得到处理后的数据；构建机器学习模...
- 魏晓敏徐怡珍张海宾李玥宋祁朋马建峰
- 基于时间区间时序逻辑的实时系统统一模型检测
- 2014年
- 在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此,该文使用一个离散时间区间时序逻辑公式建立实时系统模型,使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质,在此基础上,离散时间区间时序逻辑统一模型检测问题即可归约为目前已解决的离散时间区间时序逻辑可满足性判定问题。该文证明了新方法的有效性以及正确性,为区间实时逻辑这一类的模型检测问题提供了方法。
- 朱维军乔芃喆周清雷张海宾
- 关键词：实时系统可满足性判定
- 面向工业物联网欺骗攻击的学习驱动物理层认证方法
- 本发明涉及无线通信领域，提供了一种面向工业物联网欺骗攻击的学习驱动物理层认证方法，该方法包括：构建分布式OFDM通信系统；系统包括欺骗攻击节点以及多个分布式认证网关；网关配备接收节点；网关认证多个合法发射节点；构建接收信...
- 王超曾心远张海宾王成才向长波杨明洋李赞邓浩
