基于传播引擎的指针引用错误检测

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13％,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.     

基于不旋转轴肩的铝镁异种材料搅拌摩擦焊

焊具是搅拌摩擦焊的核心,对焊接质量起至关重要的作用. 利用不旋转轴肩焊接系统对6061-T6铝和AZ31B镁合金进行连接,重点分析传统和不旋转轴肩焊接系统下接头成形和力学性能等. 结果表明,与传统工艺相比,采用不旋转轴肩工艺的接头表面成形更加光滑,焊核区以典型铝镁混合的叠层结构为主,且铝镁冶金结合界面呈弯曲状,有效地增强了铝镁异种材料的机械咬合效果;焊缝区金属间化合物层明显减小,其主要是由不旋转轴肩增强焊核区材料的搅拌效果并起到“热沉”的作用所致. 采用不旋转轴肩的接头最大抗拉强度为137 MPa,较传统工艺提高了28%.     

异种铝合金回填式搅拌摩擦点焊的组织与性能

选用6061-T6与7075-T6铝合金为研究对象,研究异种合金回填式搅拌摩擦点焊接头的组织和拉剪性能. 将7075铝合金作为上板,主要讨论套筒下扎深度对接头成形和性能的影响. 结果表明,当套筒刚扎透上板时,接头内部无缺陷产生. 随着套筒下扎深度的增大,接头内部会出现孔洞、撕裂和未充分回填等缺陷. 当使用较小的套筒扎入量时,决定接头性能的关键位置,即钩状缺陷处和焊点中心搭接面处的结合情况良好. 接头的断裂载荷随着套筒下扎深度的增大先增大后减小,最大载荷在深度为3.4 mm时达到7 236 N.     

旋风炉内喷燃器冷却水盘管破裂原因及对策

近年来,林源炼油厂65t/h立式旋风炉内喷燃器冷却水盘管多次出现破裂,引起泄漏,造成前置炉炉衬SiC脱落,前置炉漏火,锅炉紧急停产等后果。旋风炉喷燃器冷却水盘管最短使用时间仅为半年,况且更换冷却水盘管还要停炉冷却,检修     

电子辞典的选购和使用

<正> 电子辞典是近两年来出现的一种新型办公用品,它集英汉辞典、电话簿或记事簿、多功能计算器为一体,小巧易携,能为人们的工作和生活提供极大的方便,目前电子辞典已有“快译通”、“莱思康”、“好易通”、“文曲星”等多种品牌,价格从300元到数千元不等,面对众多品牌,怎样去选择一款适合自己的电子辞典呢? 首先,应根据自己的需要定下大致的选购目标。如自己需要一台简单的英汉辞典还是一台多用的电脑记事簿。这两种辞典的价格相差可达1至2千元。选好机型,不致造成功能浪费     

北京某住宅小区人防地下室通风深化设计

本文通过工程实例,介绍了人防地下室的进、排风系统,以及各种通风方式下阀门、风机的控制方法。给出了进排风口部原理图,以及战时通风的主要计算过程。     

基于AlN轮廓模式矩形盘谐振器的研究

介绍了一种微型化体声波谐振器的理论模型和实作结果,采用微电子和微机械加工技术,实现了一种上、下电极覆盖压电AlN的"三明治"空气腔悬梁结构。该谐振器具有微型化,高品质因数,低成本的特点,实作的谐振器频率约20MHz,品质因数为800,机电耦合系数约0.5%。     

测量锥孔角度的卡尺

本文介绍一种改制的游标卡尺[ГОСТ 166-63]。它可以用来测量锥孔的角度。改制方法如图示:空心圆柱体2和小圆柱体4作为二个量柱,空心圆柱体2固定在游标卡尺的尺身上,小圆柱体4固定在深度只3上。在零位置,两个量柱的端面贴紧。为了扩大测量范围,可以更换相应尺寸的二个量柱。 测量时,空心圆柱体与卡尺一起放到零件5的锥孔表面上,移动深度尺使小圆柱体也与锥孔的表面接触。游标卡尺的读数即为两个量柱之间的距离。然后根据两个量柱的直径差直接从预先制好的表格上读出零件锥孔锥度的角度值。表格的设计是依据下面公式进行的:式中D──空心…     

基于逆向工程的汽车覆盖件模型重构方法研究

逆向工程在汽车覆盖件设计过程中得到了越来越广泛的应用。以多款汽车覆盖件的逆向设计为例,由结构光扫描仪3DSS得到点云数据,针对不同汽车覆盖件的特点,阐述了不同模型重构方法,并对其适用对象和优缺点进行了详细分析。     

多视数据拼合的三基准点精确选取技术研究

在逆向工程中,往往需要将从各个不同视角测得的点云数据进行多视定位,统一到一个全局坐标系下,并经过数据融合使之能够便于后续的模型重建。在已提出的多种拼合方法中,基于三个基准点的定位方法是其中的一种简单实用的对齐方法。通过研究三点定位算法,模型数据的对齐精度取决于所选取的三个基准点的测量精度。采用求取参考点顶点质心来代替原有基准点的方法,有效减小了拼合误差并提出了优化后的算法。