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

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

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

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

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

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

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

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

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

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

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

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

边缘检测中的小波

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

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

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

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

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

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

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