张海宾
- 作品数：65 被引量：23H指数：3
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信生物学文化科学更多>>
- 一种基于知识图谱的互联网态势评估方法
- 本发明公开了一种基于知识图谱的互联网态势评估方法，包括：构建网络安全知识图谱本体；收集网络数据识别威胁情报信息清洗得到网络基本事件；提取告警信息与网络数据合并；确定各数据的知识类别；对不同知识类别数据构建知识图谱存储；对...
- 车沅熹杨锐黄泽宇戚玉涛张海宾李晓军
- 一种基于人工智能算法的多特征并行输入日志异常检测方法
- 本申请属于日志异常检测技术领域。本申请提供一种基于人工智能算法的多特征并行输入日志异常检测方法。本公开实施例通过固定深度解析树Drain方法解析原始日志，并通过聚类操作获得到日志模板，提高了日志解析的速度，获得更具代表性...
- 姚婧张莉黄晏瑜张海宾
- 离散时间区间时序逻辑可满足性的判定被引量：4
- 2010年
- 目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.
- 朱维军张海宾周清雷
- 关键词：可满足性判定
- 通信信号调制类型识别的后门攻击方法、装置及评估方法
- 本发明公开了一种通信信号调制类型识别的后门攻击方法、装置及评估方法，涉及认知无线电领域，以实现通信信号调制类型识别中的后门攻击。本发明包括：构建包含多种调制类型的通信信号的数据集；利用数据集训练至少一种第一分类器模型；从...
- 王超张海宾周相南裴忠民李赞
- 多速率混合系统的符号化可达性分析被引量：2
- 2007年
- 针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作.从理论上证明了多速率区域在这3种操作上的封闭性,同时定义了矩阵数据结构不同上限矩阵(DCM),并用其存储多速率区域,这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构.理论上证得,DCM可以大大降低可达性分析算法的复杂度.
- 张海宾段振华
- 关键词：可达性分析
- 基于机器学习的恶意软件家族主要特征提取和可视化方法
- 本发明涉及计算机技术、机器学习和信息安全领域，尤其涉及基于机器学习的恶意软件家族主要特征提取和可视化方法，包括特征选择、家族分类、特征贡献度提取、归一化处理和可视化步骤；通过静态或动态分析收集恶意软件样本行为数据，选择特...
- 周家兴 姚铮阮涛张海宾张扬
- 多速率混合系统的模型检查被引量：1
- 2008年
- 研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题.利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题.
- 张海宾段振华
- 关键词：区间时序逻辑
- 基于双层优化和博弈分析的海上对抗防御策略优化方法
- 本发明公开了一种基于双层优化和博弈分析的海上对抗防御策略优化方法，包括：构建海上对抗防御模拟场景；针对该场景以防御单位的来袭目标防御纵深之和以及防御区重叠面积之和为优化目标建立上层的多目标优化模型，求解得到针对防御单位位...
- 张海宾 马梓超 杨淼 戚玉涛 姚婧 李晓军
- 边缘网络智能安全防护关键技术及应用
- 张海宾孙文曾颖明王鹏王超刘志强
- 边缘网络作为支撑能源、交通、制造等重要行业和领域公共通信和智能服务的关键综合信息基础设施，一旦遭到破坏丧失功能，将严重危害国家安全、国计民生。然而，作为支撑“新基建”等国家战略的边缘网络在智能化与安全化转型中面临着数据可...
- 关键词：
- 关键词：网络安全
- 基于分层强化学习的多无人机未知区域目标搜索方法
- 本发明公开了一种基于分层强化学习的多无人机未知区域目标搜索方法，包括：将包括多个目标和多个障碍物的搜索区域划分为若干个搜索网格，并为多个无人机各自分配一个搜索网格，利用无人机对搜索区域进行搜索，获得搜索数据并传至地面站；...
- 戚玉涛马一鸣杨淼张海宾姚婧
