张海宾
【姓名】 张海宾
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;自动化技术;计算机硬件技术;
【研究方向】 实时、混合系统
【发表文献关键词】 混合系统,多速率自动机,可达性分析,实时系统,时序逻辑,模型检查,符号化,可满足性判定,数据结构,判定问题,可满足性问题,区域,赋值操作,递归定义,控制状态,公式,连续变量,状态空间,原子命题,不等式...
【工作单位】 西安电子科技大学
【曾工作单位】 西安电子科技大学;
【所在地域】 陕西西安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/18 14 17 8 70 2285
中国期刊全文数据库    共找到23篇
[1]付昱龙;张海宾;郭相科;戚玉涛;.基于双层遗传算法的静态防空反导杀伤网构建方法[J]空军工程大学学报.2025,(01)
[2]周文杰;付昱龙;郭相科;戚玉涛;张海宾;.基于博弈树与数字平行战场的空战决策方法[J]空天防御.2025,(03)
[3]王嘉乾;郭相科;杨子梁;唐文生;张海宾;戚玉涛;.基于知识增强大语言模型的杀伤网作战决策方法研究[J]空军工程大学学报.2025,(04)
[4]张海宾;魏洪基;王超;向长波;杨明洋;李晓龙;.基于改进YOLOv5s干扰跳频信号调制识别[J]郑州大学学报(工学版).2025,(05)
[5]魏晓敏;李兴华;孙聪;张海宾;马建峰;.MagDet:基于地磁的无人机GPS欺骗检测方法[J]计算机学报.2024,(04)
[6]魏晓敏;李艳阳;孙聪;张海宾;.基于手势的无人机飞行控制实验教学设计[J]软件导刊.2024,(08)
[7]朱维军;乔芃喆;周清雷;张海宾;.基于时间区间时序逻辑的实时系统统一模型检测[J]电子科技大学学报.2014,(05)
[8]朱维军;徐朝辉;张海宾;杨卫东;.有向图k边导出子图的DNA粘贴算法[J]西安电子科技大学学报.2013,(05)
[9]黄伯虎;张海宾;逄涛;聂鹏程;.基于枢轴选择策略的多核并行skyline算法[J]四川大学学报(工程科学版).2011,(01)
[10]朱维军;王忠勇;张海宾;.一种基于区间时序逻辑模型检测的入侵检测算法(英文)[J]中国通信.2011,(03)
更多
中国博士学位论文全文数据库    共找到1篇
[1]张海宾.混合系统的形式化验证[D].西安电子科技大学.2007
更多