入侵检测系统的数据收集机制研究

基于对入侵检测所采用的数据收集方法的分类和分析，提出了一种基于多代理的分布式数据收集模型，介绍了该模型的数据收集方法和协同检测过程，该模型分别在网络的关键入口处以及主机的重要应用和网络接口处部署检测代理，各检测代理根据不同情况采用不同的数据收集方法对各种可疑数据进行收集，并通过协调代理对下层检测代理提交的数据进行协同分析。结果表明，这种数据收集模型为协同检测奠定了基础，提高了对分布式攻击的检测能力。     

Pt胶粒修饰Pt丝微电极对CO的气敏特性研究

介绍了Pt胶粒修饰Pt丝微电极的制作方法，并研究了其对CO的敏感特性，发现在一定的CO浓度范围内，循环伏安扫描的峰电流随CO浓度增加而增加，并成良好的线性关系．同时还研究了电化学活化处理对电极气敏特性的影响，试验结果显示：对修饰电极的电化学活化处理可以降低过电位，增强反应峰电流，削减干扰峰，降低基底电流并使其更平坦．     

混凝土路面厚度的超声波无损检测研究

利用模拟物理模型，并根据相似性原则建立起公路路面和路基的双层简化模型，提出了一种准确识别反射波，测量反射波速率及走时参量的实用方法。采用特殊的观测系统，由波速及走时反推路面厚度。实验结果表明，这种无损检测方法具有较高的精度，相对误差不超过3％，并可用于其它领域的质量检测中。     

航空图像的分割与定位算法研究

通过航空图片的图像分割和特征提取，对几种分割算法进行了比较。通过比较发现，当图像的目标与背景的灰度值相差比较大时，用多阈值的灰度分割方法来获取目标I而当图像的目标与背景的灰度值相差不大时，使用模糊差影滤波算法可获得理想的分割结果。同时，对采用多阈值分割方法后的图像进行目标定位。结果表明，对于复杂航空图像，该算法分割效果好，噪声小，定位算法简单，定位准确，有较好的应用前景。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

混凝土强度检测方法的比较分析

混凝土结构的质量控制有众多的措施，其中强度的检测方法尤为重要。文章在对国内外常规检测方法比较分析的基础上，提出了合理化建议。     

SBS改性沥青砼施工工艺

主要从原材料、人员、设备和施工步骤诸方面介绍了SBS改性沥青砼的施工工艺，并简述了其施工效果。     

激光-线阵CCD技术的热轧机辊形检测系统

应用激光—线阵CCD成像技术，提出了一种高速、高精度热轧机辊形检测方法，阐述了激光—线阵CCD工作原理及CCD视频信号图像处理技术，介绍了激光—线阵CCD热轧机辊形检测系统。采用新的自适应快速边缘聚焦法。有效地降低了噪音对成像质量的影响，提高了处理数据的速度，使图像得到有效增强，成功地解决了除噪、边缘检测和特征信息提取等关键技术，并通过实验进行了验证。     

野大豆快生型根瘤菌共生固氮及其生理生化特性研究

实验围绕野大豆——快生型根瘤菌共生固氮和抗药、耐盐、代谢产物等生理生化特性方面进行检测和研讨，旨在为筛选抗逆性强、高固氮活性菌株和农业应用提供理论依据。     

基于层次型支持向量机的人脸检测

复杂背景中的人脸检测可广泛应用于人脸识别、人机交互等方面。但目前大部分人脸检测方法中存在分类器训练困难和检测计算量大等问题。提出了一种基于层次型支持向量机的正面直立人脸检测方法,在这两方面作了改进。这种结构的分类器由一个线性支持向量机组合和一个非线性支持向量机组成,由前者在保证检测率的情况下快速排除掉图像中绝大部分非人脸区域,后者对人脸候选区域进行进一步确认。在卡内基梅隆CMU等数据库上的实验证明了这种方法不仅具有较高的检测率和较低的误检率,而且具有较小的计算量。