提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

高精度摄像机标定模板的设计及识别算法

针对目前摄像机标定模板——黑白棋盘格识别精度低导致标定精度降低的问题,提出了一种以渐变圆形为特征的摄像机标定模板以及相应的检测算法.新的摄像机标定模板以渐变圆形作为图元代替以前的棋盘格交点,从而可以使摄像机更精确地对其位置进行识别,得到更精确的摄像机标定结果,并保留了黑白棋盘格作为标定模板,具有制作简易,成本低廉的优势,并且针对这种标定模板,提出了精确的检测算法.实验结果表明,在相同的摄像机和相同的环境下,新标定模板和检测算法标定的投影误差比黑白棋盘格的标定结果减少了20%.     

多波段光度计定标及误差分析

摘要根据Langley法定标的原理,在河北省灵寿县对4台多波段太阳光度计MICROTOPSⅡ进行定标,并采用最小二乘法得到了很好的定标结果。分别计算了仪器的视场角、通道的半波宽度、大气状况以及气体吸收等方面对定标结果造成的影响,并且对水汽吸收通道（936nm）采用修正的Langley法定标,得到4台仪器各自5个通道的定...     

多级轴流式压气机静压升特性研究

对多级轴流式压气机在几个典型工况下各级静压相对于设计点静压的变化特性进行了研究。研究发现,中低转速工作条件下,压气机后面级静压的变化对发动机工况的改变不如前面级敏感,因此,按常规方法监控压气机后面级流动参数的变化难于及时发现发动机中小状态时的压气机气动不稳定征兆信号。研究表明,为提高检测压气机气动不稳定征兆的时效性,应考虑在压气机前面级安装传感器,监控中低转速下的压气机气动失稳征兆信号。     

结构光三维曲面重构

提出了一种基于结构光三维视觉的曲面重构方法。探讨了摄像机的标定、光平面的标定。并利用经物体表面调制过的结构光条纹作为物体三维信息传递工具,以CCD摄像机作为图像获取器件,通过计算机软件处理,对调制过的光栅条纹进行分析解码。最后通过已标定的系统获取物体的三维曲面数据。     

方钢管混凝土柱-钢梁节点静力性能试验研究

通过对4个隔板贯穿式方钢管混凝土柱-钢梁连接节点试件的静力性能试验研究,揭示此类节点的受力机理和破坏形态,探讨梁端翼缘两侧的侧板、钢管柱的宽厚比以及隔板的外伸长度等因素对节点承载力和传力机理的影响.试验结果表明,该类节点具有受力明确,传力途径清晰的特点;宽厚比的改变对节点承载力的影响不大,但对于节点板剪应变的影响较大;梁端翼缘两侧增加侧板可以减缓隔板与梁相交的角隅处应力集中现象,使塑性铰出现梁上,远离脆弱的梁端焊接区,提高了节点的延性.     

煤矿环境中人体ESD模型

在有瓦斯的煤矿环境中,井下工作人员等效于移动的孤立静电导体,人体静电比井下器材静电更具有隐蔽性、偶发性、危险性.本文通过实验确定能代表煤矿特殊环境中的人体电容、人体电阻,建立煤矿环境中的人体ESD物理模型,为制定煤矿人体静电安全标准提供实验依据.     

车辆电容称重传感器静态标定

针对传统车辆称重装置存在的不足,开发了一种车辆电容称重传感器.文章中从结构设计、称重原理对车辆电容称重传感器作了介绍,重点讨论了静态标定过程,根据试验数据,从非线性、重复性、迟滞性等方面进行了误差分析,给出了补偿办法.     

电容式车辆称重装置静态性能测试与分析

针对目前车辆称重方法的不足,开发了基于电容传感器的车载式车辆称重装置。文章从结构设计、测量原理对称重装置作了介绍,重点讨论了其静态特性测试过程,提供了相应的试验数据,根据试验数据,从非线性、重复性、迟滞性等方面进行了误差分析,给出了迟滞补偿办法,显示了该电容称重装置的突出优点;电容式车辆称重装置具有一定的实用价值。     

预应力水冲桩抗裂性能研究分析

某码头工程下部结构采用预应力水冲锤击桩,试桩过程中发现,在贯入度较大的情况下桩身多处产生横向裂缝,使桩尖无法达到设计标高。为分析产生裂缝原因,通过静荷载试验的方法检验桩身的抗裂性能;结果表明张拉控制应力未达到设计值,是导致桩身产生环向裂缝的主要原因;提出适当调整预应力,能够有效地解决预应力水冲桩桩身裂缝的问题。