王雷
作品数： 166被引量：430H指数：10
  • 所属机构:北京航空航天大学计算机学院
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

田文怀
作品数：180被引量：332H指数：10
供职机构：北京科技大学
研究主题：电铸 药型罩 电铸镍 碱金属 锂离子电池
李春华
作品数：24被引量：22H指数：3
供职机构：北京科技大学材料科学与工程学院
研究主题：电铸 药型罩 电铸镍 金相样品 镍
王欣
作品数：34被引量：126H指数：7
供职机构：中国刑事警察学院
研究主题：农民工 警务 ICT 碳足迹 LOGIT模型
周伯生
作品数：103被引量：732H指数：14
供职机构：江苏省泰兴中等专业学校
研究主题：软件工程 面向对象 软件开发 软件体系结构 UML
成生伟
作品数：37被引量：96H指数：5
供职机构：山西太钢不锈钢股份有限公司
研究主题：电铸 药型罩 电铸镍 蒙脱土 镍
作品列表
一种制备电铸铜金相样品及显示组织的方法
一种制备电铸铜金相样品及显示组织的方法，属于金相样品制备技术领域。本方法将电铸铜试样先经粗研磨到1000<Sup>#</Sup>的碳化硅水砂纸，再进行抛光，在显微镜下观察表面状态，确认表面划痕沿一个方向，再将经抛光后的电...
黄志涛田文怀苏永安李春华成生伟王雷
文献传递
具有随机变量形式属性值的突发事件应急方案选择方法被引量：3
2017年
突发事件应急响应面临多个可能状态的应急方案选择问题,是一个值得探讨且具有实际价值的研究课题。针对具有随机变量形式属性值的突发事件应急方案选择问题,给出一种应急方案选择方法。针对属性值为随机变量形式的各个属性,构建在各状态下针对每个属性的占优矩阵,构建针对各属性的优势度矩阵,并将其规范化得到规范化优势度矩阵;针对属性值为数值型的各个属性,构建针对各属性的规范化决策矩阵,将规范化优势度矩阵和规范化决策矩阵进行集结,构建综合决策矩阵。在此基础上计算出各备选应急方案的综合评价值,并依据综合评价值的大小来确定突发事件应急响应的应急方案。最后通过算例说明了提出方法的可用性。
曹萍萍李铭洋王雷郭晓春
关键词：突发事件决策矩阵
支持自恢复的微重启技术研究被引量：2
2013年
针对服务计算中的服务可靠性,展开了对当前各种保证服务可靠性方法的研究.借鉴当前保证服务可靠性方法中所采用的关键技术,并针对当前保证服务可靠性方法仅限于服务层面的不足,提出一种针对底层内核模块的可靠性技术—支持自恢复的微重启技术.同时,本文在嵌入式实时操作系统vxworks5.5版本中,针对内核中的调度部分实现了支持自恢复的微重启技术,并采用相关故障注入技术检验了该技术的有效性.
谭成鑫王雷关育新
关键词：内核模块
基于学习行为数据的操作系统教学效果量化分析被引量：6
2018年
"系统能力"是计算机专业本科生的核心能力之一,而操作系统课程是培养学生系统能力的关键。传统教学模式存在一些普遍性问题:(1)难以细粒度地区分学生能力差异性,无法提供精细的指导;(2)教学活动设计过于宏观和粗粒度,缺乏学期内和学期间的迭代反馈机制;(3)缺乏细粒度的学习行为数据,无法在微观层次分析和发现能力形成的规律。针对这些问题,设计了一个操作系统实验集成环境,不仅实现了实验发布、提交、评判等工作自动化,同时收集和分析实验过程中学生的行为数据,从而及时发现教学过程中的问题。使用实验集成环境前,在2014年只有38%的学生完成了4个实验,而使用实验集成环境的2015年这个完成率达到了62%。通过分析2015年实验中学习行为数据,发现了代码复制、预备知识不足、代码阅读以及lab2现象等问题。针对这些问题,采取了本学期与长期两方面改进措施。最后,对2015年、2016年和2017年学习行为数据的量化分析表明,教学过程的改进措施取得了明显的效果。
王雷甄子琦沃天宇姜博孙海龙龙翔
关键词：操作系统
基于约束分析与模型检测的代码安全漏洞检测方法研究被引量：6
2011年
与传统的程序分析相比,模型检测具有较高的检测精度,但无法将其直接应用于缓冲区溢出、代码注入等安全漏洞的检测.为解决此问题,提出了基于约束分析与模型检测相结合的安全漏洞自动检测方法.首先,通过约束分析跟踪代码中缓冲区的信息,在涉及缓冲区操作的危险点生成相应的属性传递和属性约束语句,并将安全漏洞检测问题转化为模型检测方法可接受的可达性检测问题.然后,采用模型检测方法对安全漏洞的可达性进行判断.同时采用程序切片技术,以减少状态空间.对6个开源软件的检测结果表明,基于该方法实现的CodeAuditor原型系统发现了18个新漏洞,误报率为23%.对minicom的切片实验显示,检测性能有较大提高.
王雷陈归金茂忠
关键词：安全漏洞程序切片
PDP11仿真系统实时性的研究与评测被引量：1
2004年
本文首先介绍了基于通用Linux系统、为石油测井系统开发的一个PDP11仿真系统,但是该仿真系统无法满足实时性要求.接着对测井系统实时性需求进行了分析,并以RT Linux为基础对整个仿真系统的体系结构进行重新设计.最后,介绍了仿真系统的测试环境,以及对新仿真系统实时性的评测结果.)
王雷李巍王旭周伯生
关键词：仿真系统实时性LINUX
有限缓冲区的多节点订单接受模型与算法被引量：6
2015年
订单接受问题广泛存在于生产管理中,而现有多节点订单接受问题中大多不考虑缓冲区约束对订单接受的影响。针对这一问题,以缓冲区约束的多节点生产为背景,建立了订单接受模型。利用改进NEH算法、离散和声搜索算法和变邻域搜索的混合算法对模型进行求解。实验结果显示,当问题规模较小时,算法取得较好的计算效果。问题规模较大时,求解效果一般。缓冲区的大小对订单完工时间影响较小,与无限缓冲区的计算结果相似。混合算法具有较好的求解速度,能够有效求解问题模型。
王雷许绍云赵扬赵秋红
关键词：缓冲区多节点混合算法
变刚度关节驱动器动力学特性的分析与研究被引量：5
2017年
提出了一种以板簧为弹性元件、以螺旋盘为刚度调节机构的变刚度关节驱动器,研究了该关节驱动器的刚度调节特性.建立了包括电机、同步带及谐波减速器的柔顺性和摩擦特性的动力学模型.通过位置阶跃和击球实验验证了动力学模型的正确性.研究表明变刚度关节驱动器的爆发性不仅与关节刚度有关,还与能量释放的时机有关,为提升机器人与人的交互作业的动态特性提供了理论依据.
付小月王伟王雷魏洪兴贠超
关键词：变刚度动力学
基于虚拟磁盘块存储的分布式文件系统研究被引量：3
2013年
研究了一种分两层构建分布式文件系统的方法,即首先在设备管理层提供一个块一级的分布式存储系统,然后在其上的文件系统层构建分布式文件系统.底层的分布式存储系统提供了块一级的分布界面,并且通过存储虚拟化技术将用户视图下的存储设备与真正的物理存储资源分离开来,从而为上层的文件系统屏蔽了底层存储系统的分布式特性.这种分层实现分布式文件系统的方法使得整个系统更加容易设计、实现以及优化,且在性能、缩放性和灵活性等方面与传统的在文件层中实现分布界面的方法相比具有很大的优势.
王振王雷王宇
关键词：分布式虚拟化
企事业过程建模系统的研究与实现被引量：10
2001年
随着对企事业过程理解的深入，过程工程成为各行各业研究的热点。文章首先提出了一个由过程模型、行为模型、后勤模型、协同模型和数据模型组成的企事业模型。接着介绍了文中定义的可视化过程建模语言ＶＰＭＬ。最后介绍了企事业过程建模系统的两个组成部分和工作原理。
王雷张莉周伯生
加载更多 ∨