基于配对函数调用场景的设备驱动漏洞检测

由于Linux系统的设备驱动工作在内核模式中,在这种特定的工作场景下,由设备驱动引发的漏洞问题极易影响操作系统的稳定性和安全性.当前在各类设备驱动漏洞中所占比例较高的当属资源操作类漏洞,针对这种情况,我们提出了一种基于配对函数调用场景的设备驱动漏洞检测方法.首先引入配对函数的概念,据此对特定的驱动程序做配对函数的自动提取与优化;随后结合手工分析结果构建配对函数在资源申请与释放过程中的执行路径;最后基于相应的函数调用场景进行配对检查,检测并验证设备驱动程序中内存资源的申请和释放是否为完全层次性匹配.为验证该方法的有效性,实验分别选取不同的设备驱动应用该漏洞检测方法,记录相应的漏报率、误报率及覆盖度.实验结果表明,该设备驱动漏洞检测方法精确率较高,检测速度快.并且该方法不依赖于实时编译以及硬件设备等条件.     

竖井井筒中锚固式悬臂梁的设计

阐述了锚固式悬臂梁与传统悬臂梁的区别，对其强度，挠度，焊缝，托板和锚板等进行计算，并对锚固式悬臂梁的结构特点进行了论述。     

水利水电工程的成本控制

<正>随着市场经济体制的逐步完善和国企改革的深入,强化企业管理,提高科学管理水平是水利水电施工企业转换经营机制、实现扭亏增盈的重要途径之一。水电工程施工项目作为水利水电施工企业经营管理的基点、效益的主体、信誉的窗口,加强项目成本管理是水利水电     

高速铁路综调系统中消息传递的研究

在高速铁路综合调度系统中，需要各子系统间传送的的消息进行及时、正确的处理，才能确保系统安全、高速运转。因此，在综调系统要有实现实时监控消息的功能组件。在本文中将介绍实现该目的的实时监控器。     

竖井提升改绞时井架的设计

在大红山铜矿箕斗井的改绞中,由于竖井提升高度近千米,要求的提升能力大,且此时其它井下工程都没有施工到位,单独一条竖井给改绞方案选择带来了很大的困难.特别是凿井井架在单边受力、钢丝绳静张力很大的情况下如何保证结构的安全.通过对井架受力进行详细计算,明确了不能满足受力要求的构件后,通过调整荷载位置,改变内力分布和增加构造措...     

科研项目驱动的铁路信息系统集成与应用课程教学案例建设

针对铁路信息系统集成与应用课程中学生对铁路信息技术缺乏系统性认识、实践动手能力不足的问题,提出依托铁路信息技术实验平台,构建铁路运输安全监控典型应用半实物教学环境,将科研项目作为驱动载体进行课程教学案例建设。     

穿越高岭土化粘土岩层的竖井井筒掘进实践

本文介绍了某混合井在掘砌施工中穿越强高岭土化粘土层，这种复杂的工程水文地质条件下所采用的井筒支护设计原理及施工方法。     

带式输送机在斜井施工中的应用

大兴安岭岔路口钼铅锌多金属矿胶带斜井施工中,经过详细技术论证和经济比较,采用以带式输送机为主,配套侧卸式铲运机和履带式挖掘装岩机,组成铲、装、运机械化废石输送系统,将斜井掘进工作面废石运输到地面,节省了掘进出渣时间,加快了施工进度,降低了施工成本,取得了较好的技术经济效益。该井筒两掘一支正规循环作业时,平均月进尺达到160m,最高月进尺超过了200m。     

WiMAX下的列调强拆SIP扩展方案

会话初始化协议(SIP)作为VoIP的主流会话控制协议,基本功能相对简单,不能满足无线列调核心业务的强拆需求。针对该问题,提出WiMAX网络环境下基于SIP协议的无线列调系统结构,对SIP协议消息类型和事务进行扩展,设计信令流程,并给出 SIP 客户端与服务端的扩展实现方案。实验结果表明,该方案满足铁路强拆通话建立的时间要求,可以成功实现强拆。     

培养面向高速铁路的信息技术特色人才

<正>1前言"信息技术"(Information Technology,简称IT)作为计算机学科的一个新的专业方向在2001年底正式提出的,随后在IEEE-CS/ACM CC2004中被确立,CC2004最终定稿为CC2005并于2006年3月发布。2003年秋季ACM信息技术教育专委会(SIGITE)成立了IT课