面向二进制程序的导向性模糊测试方法

为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题，提出并实现了一种基于轻量级程序分析技术的二进制程序模糊测试方法。首先对目标二进制程序进行静态分析来筛选在模糊测试过程中阻碍样本文件深入程序内部的比较指令；随后对目标文件进行插桩来获取比较指令中操作数的具体值，并根据该具体值为比较指令建立实时的比较进度信息，通过比较进度衡量样本的重要程度；然后基于模糊测试过程中实时的路径覆盖信息为经过稀有路径的样本增加其被挑选进行变异的概率；最后根据比较进度信息并结合启发式策略有针对性地对样本文件进行变异，通过变异引导提高模糊测试中生成能够绕过程序规约检查的有效样本的效率。实验结果表明，所提方法发现crash及发现新路径的能力均优于模糊测试工具AFL-Dyninst。     

地铁车站工程深基坑管井降水施工技术

在介绍成都地铁6号线犀浦站的工程概况、水文地质情况以及对周围建筑物保护措施的基础上,详细阐述了深基坑降水管井施工技术措施、深基坑降水管井施工工序以及降水和监测要求,可供从事深基坑管井降水工程施工技术人员参考。     

带翼缘板圆形钢管顶进土体扰动规律研究

STS(Steel Tube Slab)管幕法以带翼缘板的圆形钢管密集顶进形成基本骨架,管间穿入连接螺栓并灌注混凝土。管间螺栓、翼缘板将各钢管连为一体,管幕横向刚度显著提高。带翼缘板的圆形钢管顶进引起的土体扰动更为强烈。本文基于弹性力学圆孔扩张理论,提出了带翼缘板圆形钢管的管周塑性区计算公式,进而得到适用于沈阳地层的土体扰动度半径的计算方法。通过静力触探原位试验,进一步研究了带翼缘板钢管管周边土体扰动影响程度。通过试验结果和理论计算进行对比分析,两者得到的扰动半径分别为1.51 m和1.32 m,吻合度较高。验证了本文提出管周塑性区计算公式的合理性。     

天钢高炉炉底板及煤气柜侧板的焊接变形控制

我公司在天钢2000m3、3200m3高炉和10万m3、16.5万m3干式煤气柜等工程施工过程中,对高炉底板、煤气柜体侧板现场安装和焊接变形进行了控制,保证了工程质量。高炉底板属中厚板结构、煤气柜体侧板属薄板结构,焊缝形式多     

致富不忘消防事业──荣蓝祥捐赠消防车

致富不忘消防事业荣蓝祥捐赠消防车１０月２５日，虞城县个体户荣蓝祥向该县消防队捐赠了一辆价值２０万元的消防车，被当地群众传为佳话。荣蓝祥是农民出身，近年来靠党的英明政策和自己的努力拼搏，赚了一些钱。致富后，他不忘国家消防事业，当得知该县消防队灭火车辆短...     

高炉煤气余压发电系统透平机安装要点

高炉煤气余压透平发电装置(TRT),是利用高炉炉顶煤气余压,把煤气导入透平中膨胀作功,驱动发电机发电的能量回收机组。     

高动态短时突发扩频信号的快速捕获

针对低信噪比和大多普勒频移环境下,短帧突发直接序列扩频通信系统要求在短时间内以很低虚警和漏警概率捕获信号这一难题,设计了仅使用独特码的短时突发扩频信号帧结构,在接收端将扩频码与独特码作为一个复合扩频码看待,提出了基于FFT的高动态突发信号捕获方法,可同时快速完成突发信号检测、扩频码捕获、频偏估计、帧同步检测和位定时捕获等任务。仿真结果表明:该算法能有效消除多普勒频移对短时突发扩频信号捕获性能的影响。     

防范物体打击事故的方法与对策

<正>物体打击伤害是建筑行业常见事故中的四大伤害之一。因此,有针对性地分析物体打击事故成因并采取相应的有效措施非常重要。(1)施工现场管理应到位,真正了解和掌握物体打击事故的基本安全要求。作业人员的安全装备穿戴与操作流程应符合安全规定。(2)作业人员要全面掌握施工规范的内容,做到始终如一。施工现场应尽量避免多工种、跨区域的交叉作业。主要应做好     

一种基于累加支路辅助的上面级跟踪切换方案

为了满足火箭上面级测控下行信息量增大的特殊要求,借鉴等时性插入业务的思想设计了一种新的适应于上面级测控的信息帧格式。在此基础上,提出了这种帧格式下的跟踪方案,设计利用二阶环路滤波器累加支路输出辅助伪码跟踪环与位同步环的切换。根据推导出的比例因子,仿真了其性能。仿真结果表明,这种切换方式可以实现平滑过渡,性能良好。     

百台消防车难奈大火保温材料再成帮凶

水枪够不到着火楼层 "太惨了!"这是2月3日零时50分左右,记者赶到火灾现场最先听到的大厦附近一些围观群众说的话. 记者站在距大厦一两百米远的地方仰望大厦,150多米高的B座公寓楼西侧和南侧火势最大,团团火苗和浓烟从墙体上升起,大火迅速向大厦内部蔓延,一个个窗户内接连喷出火苗,大火燃烧发出阵阵响声,并不断掉下一些燃烧物.两个高架水枪升空虽然达到几十米,仍然对高处大火无可奈何.大火在燃烧1个多小时后,又向200多米高的A座主楼蔓延,主楼很快也燃起大火.