基于统计方法的数码图像处理

本文首先把学生证上的单个印刷体数码图像转化为位图格式，然后根据一定的阈值对图像进行色调过滤和二值化处理，并分块求其亮度平均，得到0和1组成的兼顾精度和复杂度的二值矩阵，最后把矩阵存储为文件供后续人工神经网络识别使用。实验结果表明该方案是可行的、有效的。     

基于Delphi的PC机RS-232串口通信

本文介绍了RS-232串行通信,实现了基于Delphi的PC机串行通信,分析了数据传送过程,给出了通信端口的配置方法和通信的一般步骤.     

运行模式法分析ISO／IEC密钥建立协议

基于作者提出的运行模式法分析了ISO/IEC DIS 11770-3所提出的一个密钥建立协议(Helsinki密码协议)。分析结果表明Horng-Hsu攻击是Helsinki密码协议的惟一攻击,提出了一种改进的Helsinki密码协议,该协议可以防止Horng-Hsu攻击并比以前改进的Helsinki密码协议更安全。     

基于核的机器学习方法及其在多用户检测中的应用

阐述了核方法的基本原理与研究动机，分析了特征空间的性质，介绍了常见的核方法，给出了构建新核方法的步骤及需要注意的问题，指出了核方法值得关注的研究方向，展示了其在多用户检测中的应用情况，以其对核方法研究领域有较全面的把握。     

一种基于HP EESOF软件的IMPATT二极管非线性电路模型参数的提取方法

通过对雪崩二极管非线性电路模型参数数学表达式的分析，利用HPEESOF软件进行电路模型的计算机模拟，计算出雪崩管在非线性状态下的器件阻抗，从而为雪崩管振荡器的设计提供了重要的理论依据。     

利用S-B自适应采样方法加速基于空间映射技术的神经网络建模

将空间映射技术用于辅助神经网络的建模可以帮助降低神经网络的复杂程度，从而达到降低训练成本的目的。但是，不论是空间映射技术还是神经网络的训练，需要大量的采样是这一技术中一个关键问题。本文将一种灵活高效的自适应采样技术运用在基于空间映射技术的神经网络建模过程中，大大减少了建模需要的采样时间，提高了最终得到模型的精度。     

色散媒质中采用Z变换的ADI-FDTD方法

基于Z变换方法将ADI-FDTD推广应用于色散媒质,得到了二维情况下色散媒质中的迭代差分公式,同时给出了一种采用ⅡR滤波器结构来减少存储量的方法.本文方法适合于任意M阶色散媒质,最后,给出了一个算例,数据仿真结果表明,本文的算法与传统色散媒质中的FDTD相比,在计算结果吻合的情况下,存储量相当,计算效率却更高,时间步长仅仅由计算精度来决定.     

数字视频监控中的运动目标检测

本文讨论分析了光流法、相邻帧差法和不变矩特征检测法检测运动目标的特点与不足,提出了基于时域和空间的运动目标检测方法.实验表明,该方法完全满足视频监控需要,既达到了很高的灵敏度,又能有效地防止脉冲噪声的干扰.     

UML状态机到B形式化规约的转换

文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点．将其转换为B形式化模型，然后在B工具环境中遵循B方法的精化原则和正确性验证方法，开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则，涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明．这套转换规则行之有效。     

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

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