您的位置： 专家智库 > >

高大永

作品数：6 被引量：0H指数：0
供职机构：北京邮电大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 3篇入侵
  • 3篇入侵检测
  • 3篇入侵检测方法
  • 1篇形式化
  • 1篇形式化描述
  • 1篇虚拟实验
  • 1篇虚拟实验系统
  • 1篇旋翼
  • 1篇移动IPV6...
  • 1篇移动性
  • 1篇异常区
  • 1篇异常区域
  • 1篇用户
  • 1篇入侵检测系统
  • 1篇数据报
  • 1篇双旋翼
  • 1篇通信
  • 1篇通信模型
  • 1篇能源
  • 1篇能源使用

机构

  • 6篇北京邮电大学

作者

  • 6篇高大永
  • 4篇张冬梅
  • 3篇伍淳华
  • 3篇郑康锋
  • 3篇武斌
  • 3篇周杨
  • 1篇兰晓娟
  • 1篇孙汉旭
  • 1篇马华东
  • 1篇王旋
  • 1篇宋荆洲
  • 1篇张文辉

传媒

  • 1篇北京邮电大学...

年份

  • 1篇2024
  • 4篇2015
  • 1篇2005
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于变质心控制原理的共轴双旋翼空地两栖球形机器人
本发明提供一种基于变质心控制原理的共轴双旋翼空地两栖球形机器人，该球形机器人包括具有保护其内部机构、为其在飞行模式下提供额外升力和在陆地滚动模式下提供壳体支撑的类涵道式球壳机构，飞行模式下提供所需升力的共轴双旋翼驱动机构...
孙汉旭霍东帅兰晓娟宋荆洲王旋孙萍高大永
基于Uppaal的移动IPv6协议的模型检测
2005年
采用形式化方法对移动IPv6协议系统建立了时间自动机模型,使用实时模型检测工具Uppaal对所建模型的关键性质:活性、移动性和平滑切换等进行了分析和检测.检测结果证明,移动IPv6协议在切换时存在丢包现象.通过分析丢包产生的原因,提出了移动IPv6实现平滑切换的理想时间约束条件,并在理想条件下重新验证了协议的性质.结合模型在理想约束条件下的检测结果指出了提高移动IPv6移动性能的设想.
张冬梅马华东高大永
关键词：移动性形式化描述
一种基于流量预测的双层触发入侵检测方法
本发明提供一种基于流量预测的双层触发入侵检测方法，只有在上层模型检测出异常时，判断出现异常的区域才将会以一定的规则激发下层模型，在减少节点能源使用的同时也能确保检测结果的准确性。包括数据采集步骤：监测节点将周期性的采集网...
张冬梅郑康锋高大永武斌伍淳华周杨查选
文献传递
一种虚拟实验系统及其实现方法
本发明提供了一种虚拟实验系统及其实现方法。其中的方法包括：确定实验内容并采集实验资料；根据所采集的实验资料编制实验过程中的各个状态视图和状态表，并根据各个状态表编制各个状态视图之间的状态转移表；存储所述实验资料、状态视图...
张文辉高大永
文献传递
一种结合异常监测的物联网篡改入侵检测方法
本发明提供了一种结合异常监测的物联网篡改入侵检测方法，针对周期性环境监测网络，解决恶意节点篡改真实的感知数据，破坏数据的可信性这一技术问题。包括本地的异常监测步骤、邻居入侵检测步骤以及全局入侵检测步骤。本发明考虑到网络中...
郑康锋张冬梅高大永武斌伍淳华查选周杨
文献传递
基于通信模型的工业控制系统的入侵检测方法及系统
本发明提出一种基于通信模型的工业控制系统的入侵检测方法及系统，在保证实用性的同时，最大限度地提高入侵检测的准确率。首先建立工业控制系统通信模型和通信规则，所述的通信模型包含节点信息和通信连接信息；工业控制系统通信模型建立...
郑康锋高大永张冬梅武斌伍淳华周杨查选
文献传递
全选 清除 导出
共1页<1>
聚类工具0