通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

Pedestrian detection and tracking in infrared imagery using shape and appearance

In this paper, we present an approach toward pedestrian detection and tracking from infrared imagery using joint shape and appearance cues. A layered representation is first introduced and a generalized expectation-maximization (EM) algorithm is developed to separate infrared images into background (still) and foreground (moving) layers regardless of camera panning. In the two-pass scheme of detecting pedestrians from the foreground layer: shape cue is first used to eliminate non-pedestrian moving objects and then appearance cue helps to locate the exact position of pedestrians. Templates with varying sizes are sequentially applied to detect pedestrians at multiple scales to accommodate different camera distances. To facilitate the task of pedestrian tracking, we formulate the problem of shot segmentation and present a graph matching-based tracking algorithm that jointly exploits the shape, appearance and distance information. Experimental results with both OSU Infrared Image Database and WVU Infrared Video Database are reported to demonstrate the accuracy and robustness of our algorithm.     

首钢烧结生产技术近年来的发展与进步

近几年来，炼铁厂烧结生产通过改进工艺技术和设备，使烧结产质量稳步提高，在满足高炉生产需要的同时，实现了低耗、清洁的目标。     

关于数感培养的思考

培养数感是提高学生数学能力和理性精神的基础.数感的培养要注重概念教学中情境的创设,要使学生在"创造"中产生数感.培养数感要从教育工作者做起,教师以及全社会都应该重视数学文化.     

环氧树脂/纳米Al2O3聚合物的分散工艺研究

随着高速旋转机械材料的发展,对环氧树脂复合材料基体的性能提出了更高的要求.文章对相关的一种基体材料即环氧树脂/纳米氧化铝聚合物的制备工艺和性能进行研究.采用对纳米颗粒表面进行硅烷偶联处理和机械分散与超声波振动分散相结合的方法,实现了氧化铝纳米粒子在环氧树脂中的分散.经透射电镜(TEM)观察,改性后的纳米粒子能够较均匀地分散在环氧树脂中.并研究了溶液pH值、超声波分散时间对纳米粒子改性的影响,得出了最佳的工艺条件溶液pH值为4～5,超声波分散时间为20 min.     

汽车排放控制系统中的氧传感器现状及展望

介绍了浓差型(Nernst型)、极限电流型和半导体电阻型等汽车排放控制系统中的氧传感器原理及结构。在综合该领域国内外研究现状的基础上,对氧传感器的发展进行了展望。     

织造准备工序对纱线毛羽的影响

从工艺与设备角度，分别对整经和浆纱工序影响经纱毛羽的诸团素进行了分析，提出了减少经纱毛羽的主要方法。     

国家粮储库屋面防水APP卷材施工技术

针对国家粮食储备库的特点，就屋面防水APP卷材热熔法施工的施工准备及工艺流程进行了介绍，提出了具体的施工技术要点及质量通病的防治措施，取得了良好的施工效果。     

ZZ3200-14.5/28型支架快速倒装的实践

根据桃园矿单翼相邻工作面倒装的实践,从加快综采设备的搬家速度、提高劳动效率方面,简述桃园矿综采快速倒装的几点主要做法。     

DataSocket技术在远程测试中的研究与应用

本文介绍了一种实时数据传输技术-DataSocket,并给出了具体实例说明了如何将利用DataSocket技术来实现远程测试。