搜索到 篇“ HORN逻辑 “的相关文章

相关作者

李舟军
作品数：266被引量：1,902H指数：22
供职机构：北京航空航天大学计算机学院
研究主题：安全协议 数据挖掘 信息检索 网络安全 形式化验证
李梦君
作品数：47被引量：290H指数：10
供职机构：国防科学技术大学计算机学院
研究主题：安全协议 形式化验证 安全协议验证 进程代数 虚拟现实
陈火旺
作品数：242被引量：2,268H指数：26
供职机构：国防科学技术大学计算机学院
研究主题：人工智能 程序设计 遗传算法 软件工程 计算机
周倜
作品数：33被引量：32H指数：4
供职机构：北京航天飞行控制中心
研究主题：安全协议 航天器 形式化验证 遥测 遥测参数
张伟
作品数：20被引量：41H指数：3
供职机构：东北大学信息科学与工程学院
研究主题：多目标进化算法 高维 进化算法 多径传输 自适应