易晓东
- 作品数:52 被引量:73H指数:4
- 供职机构:国防科学技术大学计算机学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术文化科学航空宇航科学技术电子电信更多>>
- 角色定权方法
- 本发明公开了一种角色定权方法,目的是针对现有授权方法安全性较差,要么安全性较好但配置与管理过于复杂,以及通用性差的问题。技术方案是在操作系统的强制访问框架MAC之上构建一个RBA实现系统对采用强制访问控制MAC机制的安全...
- 易晓东何连跃罗军
- 文献传递
- 实时更新的全局一致三维栅格建图被引量:5
- 2019年
- 在未知的三维环境中,移动机器人自主导航通常需要实时构建与环境全局一致的栅格地图,而现有大部分系统缺少地图更新策略,构建的栅格地图与实际环境不一致.文中将同步定位与建图模块获得的环境信息以点云形式提供给栅格建图模块处理,同时提出基于关键帧的高效数据结构和地图实时更新策略,实时构建可用于移动机器人自主导航的全局一致的地图.室内动态的实验数据测试表明,文中方法可以有效实时更新地图,生成与环境一致的三维栅格地图,支持其后续的自主导航操作.
- 易晓东易晓东杨绍武
- 操作系统中防止用户界面卡屏的进程调度方法及装置
- 本发明公开了一种操作系统中防止用户界面卡屏的进程调度方法及装置,所述方法的步骤包括:1)设定第一阈值;2)判断CPU资源占用率;操作系统当前的CPU资源占用率大于所述第一阈值时,执行步骤3);3)获取面向用户感受进程;将...
- 董攀易晓东颜跃进刘晓建孔金珠
- X86计算机虚拟化的物理中断处理方法
- 本发明公开了一种X86计算机虚拟化的物理中断处理方法,目的是解决同时运行多个虚拟化操作系统的X86计算机中物理中断处理方法实现复杂、代码庞大和中断处理开销大等问题。技术方案是首先构建虚拟机系统,主要是修改物理中断处理模块...
- 易晓东刘晓建张卫华谭郁松戴华东吴庆波孔金珠
- 文献传递
- 宇航元器件标准验证流程设计与优化研究
- 2014年
- 阐明宇航元器件标准验证需求分析,研究验证项目的确定和验证流程逻辑结构的建立,分析验证流程的属性和特征,提出一套验证流程设计和优化的方法,对宇航元器件标准验证流程的建立过程进行剖析,给出两大类标准的验证流程框图。
- 刘富品刘文宝易晓东江理东
- 基于Assume-Guarantee搜索复用的C程序验证方法被引量:2
- 2007年
- 提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件的所有执行路径都不会违背给定性质,然后根据这些假设条件遍历所有可能的执行路径以验证给定的时序安全性质,并在遍历的过程中验证这些假设条件是否满足,如果不满足,则不断对其精化和加强.验证方法总是在保证假设条件可靠的前提下尽量使用较弱的条件,使得大量的执行路径由于满足假设条件而可以搜索复用,从而降低验证代价.应用该方法验证了Linux操作系统中SSL协议的实现程序openssl-0.9.6c满足SSL协议的初始握手规范.实验结果表明,该方法具有良好的实用性和可扩展性.
- 易晓东王戟杨学军
- Xilinx V7 FPGA存控IP核带宽测试与分析
- FPGA在产品制造、技术研发以及学术科研等领域发挥着巨大的作用,DIMM以其容量大、速度快、方便更换等优点成为FPGA设计中常用的外部存储器.随着FPGA芯片中可容纳系统的规模越来越大,对片外内存的访问量也越来越大,存储...
- 李军飞唐玉华易晓东
- 关键词:现场可编程逻辑门阵列知识产权核
- 文献传递
- 面向流处理结构的Barrier同步实现被引量:1
- 2014年
- Barrier同步操作是能够直接影响处理器性能的一类操作.针对流处理器体系结构,提出并实现了2种软件同步机制和1种硬件同步机制,即基于互斥计数器的Barrier同步、基于共享状态寄存器的Lock-free Barrier同步和基于专用硬件管理单元的Barrier同步;在一款流处理器原型系统中测试并分析了在不同负载规模、不同负载分布、典型应用情况下3种同步机制的性能.结果表明,基于专用硬件管理单元的Barrier同步机制性能更优.
- 黄万荣唐玉华易晓东
- 关键词:流处理器
- 一种sun4v架构下的虚拟机自动启动控制方法
- 本发明公开了一种sun4v架构下的虚拟机自动启动控制方法,其实施步骤如下:1)控制域在加载物理磁盘驱动服务后加载逻辑域虚拟串口所对应逻辑域信道的驱动;2)控制域通过所述逻辑域信道向各客户域的虚拟串口写入回车控制符,然后读...
- 董攀易晓东吴庆波戴华东颜跃进孔金珠刘晓建秦莹
- 文献传递
- 基于块对目标代码扫描并替换敏感指令的方法
- 本发明公开了一种基于块对目标代码扫描并替换敏感指令的方法,目的是提供一种当敏感指令长度小于JMP时,寻找包含该敏感指令且长度不小于JMP的最小目标代码块,并用JMP替换该最小目标代码块的方法。技术方案是对首个扫描入口地址...
- 张卫华刘晓建易晓东谭郁松吴庆波戴华东孔金珠
- 文献传递