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

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

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

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

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

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

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

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

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

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

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

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

边缘检测中的小波

讨论了以B样条平移函数作为光滑函数的两种二进小波及其对偶的特性，给出了它们的滤波器，支集宽度和中心，作为例子，绘出了n=2，3，4时的尺度函数。小波及其对偶的波形，这些小波常用于边缘检测中。     

政务信息网络建设中的网络安全问题

根据国务院对政务信息化建设的总体目标要求，以及我国政务信息化网络对安全性的特殊要求，提出了政务信息网络建设中加强安全管理的一系列措施，包括防火墙、入侵检测、防病毒和网络安全隔离技术，并对各种技术功能及应用范围做了简要分析。     

水表计量误差校验检测的分析和评定

本文通过分析水表计量误差在车间校验台上校验检测时的系统误差和随机误差,提出了校验台系统误差的纠正方法和计量误差验收极限的确定方法.     

我国人类胚胎干细胞研究取得突破性进展

英国的多利羊虽然已经因病去世,但它来到世上确实证明,把分化了的体细胞核移植到去核卵细胞的细胞质里,可使植入的细胞核去分化或重新编程,而使融合细胞发育成为一个胚胎和独立的个体.