您的位置： 专家智库 > >

胡凯平

作品数：3 被引量：1H指数：1
供职机构：中国人民解放军更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

  • 1篇自动化与计算...

主题

  • 2篇地理定位
  • 2篇作战
  • 2篇网络
  • 2篇网络安全
  • 2篇网络安全技术
  • 2篇网络目标
  • 2篇网络应用
  • 2篇交叠
  • 2篇安全技术
  • 1篇HOARE逻...

机构

  • 3篇中国人民解放...

作者

  • 3篇胡凯平
  • 2篇鲁智勇
  • 2篇冯超
  • 2篇王鹏
  • 2篇陶业荣
  • 2篇王金锁
  • 1篇刘刚
  • 1篇宋发兴

传媒

  • 1篇计算机与现代...

年份

  • 1篇2021
  • 1篇2019
  • 1篇2012
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种IP地理定位系统总体处理方法
本发明属于网络安全技术领域，公开的一种网络IP地理定位系统总体处理方法，是采用一种三角定位的方法来确定被测主机的位置，所有邻近基准节点到目标主机的距离范围形成一个交叠区域，并以交叠区域的质心坐标作为测量目标的实际物理地址...
鲁智勇冯超米士超陶业荣杨迪张祥虎王学宇庞训龙晋伊灿鲁龙威王鹏王金锁胡凯平
文献传递
一种用于指针程序的形状分析方法被引量：1
2012年
指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。
刘刚胡凯平宋发兴
关键词：HOARE逻辑
一种IP地理定位系统总体处理方法
本发明属于网络安全技术领域，公开的一种网络IP地理定位系统总体处理方法，是采用一种三角定位的方法来确定被测主机的位置，所有邻近基准节点到目标主机的距离范围形成一个交叠区域，并以交叠区域的质心坐标作为测量目标的实际物理地址...
鲁智勇冯超米士超陶业荣杨迪张祥虎王学宇庞训龙晋伊灿鲁龙威王鹏王金锁胡凯平
文献传递
全选 清除 导出
共1页<1>
聚类工具0