AT90CAN128的有轨电车检测器设计

本设计以AT90CAN128为控制核心,利用其输入捕捉单元对线圈频率的变化进行检测,使用CAN通信接口将检测结果实时传送,来实现车辆存在与否的可靠检测.本设计将应用于现代有轨电车轨道占用检查子系统中,实现在道岔处对轨道占用的检测,来保障电车的安全行驶和运营调度系统的高效运行.     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于漏磁原理的钢丝绳探伤仪影响因素研究

介绍了钢丝绳探伤仪漏磁检测原理,并使用有限元分析方法分析了传感器零件的材料、钢丝绳的提离距离及断丝根数等对基于漏磁原理的钢丝绳探伤仪检测结果的影响。分析结果表明,提离距离、断丝根数等因素对探伤仪检测结果影响较大,断丝角度、深度等因素影响较小。     

Microsoft Windows vs. Apple Mac OS X: Resilience against ARP cache poisoning attack in a local area network

ABSTRACT

Robust security measures are integrated into new release versions of operating systems (OSs) to ensure that users have a more secure and reliable environment in which to run their daily tasks. In this article, through extensive practical experiments, we evaluate and compare the resilience of popular versions of Microsoft Windows OSs and Apple Mac OS X against Address Resolution Protocol (ARP) cache poisoning attack in a local area network (LAN). The experimental results demonstrate clearly that all tested versions of Windows OSs and Apple Mac OS X are vulnerable to the ARP cache poisoning attack, and do not deploy built-in efficient security features to prevent success of this attack. In addition, the experimental results directly contradict the common belief that Windows OSs are always less secure than Apple OSs. On the other hand, the article analyzes the efforts that have been made and the different methods that have been applied to detect and prevent ARP cache poisoning attacks. The article shows that none of these efforts and methods has been able to give satisfactory results.     

瓦斯突变预警上限值确定方法的研究

针对现有煤矿安全监控系统采用超限原理,以瓦斯传感器测量值为判断依据,无法及时发现预定报警值以下范围内瓦斯异常变化的问题,提出了一种不超限瓦斯突变预警方法,介绍了静态预警和动态预警两种不超限瓦斯突变报警方法。结合余吾煤业N2202工作面探头数据,分别对不超限瓦斯突变预警基础数据的静态数据和动态数据进行了分层抽样及分布的验证和拟合,得出静态预警和动态预警的基础数据基本符合正态分布的结论。提出采用假设检验和区间估计等实时计算静态预警和动态预警上限值的方法,并采用N2202工作面探头数据进行了验证。     

PVC建材表面缺陷检测系统研究与设计

为满足PVC建材表面缺陷在线系统高速、高分辨率的检测要求,提出PVC建材表面缺陷检测的系统设计方案。为保证检测系统的实时性,硬件上采用面阵CCD摄像机与LED面光源相结合的图像采集装置,软件上采用实时处理和准实时处理相结合的图像处理方法。针对缺陷图像高噪声、直方图单峰明显的特征,提出边缘检测分割技术与数学形态处理相结合的算法流程。通过分析图像缺陷的统计特性,提取PVC建材表面缺陷区域的特征参数,利用基于决策树的分类器将缺陷分为气泡、色痕、裂痕等。实验结果验证算法的有效性和实时性,其缺陷的检出率达到95%以上,识别率达90%以上。     

GPU并行加速的均值偏移算法

为克服mean shift算法计算复杂度高、运行速度慢的缺点,提出一种基于GPU的快速mean shift算法.首先使用k-means算法对图像像素进行预分类,之后在预分类、下采样后缩小的数据集上进行mean shift聚类,以有效地降低算法复杂度.此外,借助GPU的通用计算功能对k-means和mean shift分别进行并行了处理.实验结果表明,通过对图像进行预处理,有效地提高了几何模板查找在强噪声、低信噪比图像中的识别率;同时,改进后的mean shift算法的运行速度提高了近40倍,满足了高速机器视觉检测的实时性要求.     

拉铆钉多参数实时在线视觉检测系统研究

本文以引进吸收再创新的模式,综合机器视觉技术、自动化技术和集群协作处理技术,研发“拉铆钉多参数实时在线视觉检测系统”。     

电磁搅拌技术在莱钢六号合金钢连铸机上的设计与应用

介绍结晶器电磁搅拌在矩形坯连铸机上的应用。采用内置式结晶器电磁搅拌后,连铸坯低倍组织大为改善,质量明显提高。     

Evaluation of tile–wall bonding integrity based on impact acoustics and support vector machine

It is well recognized that the impact-acoustic emissions contain information that can indicate the presence of the adhesive defects in the bonding structures. In our previous papers, artificial neural network (ANN) was adopted to assess the bonding integrity of the tile–walls with the feature extracted from the power spectral density (PSD) of the impact-acoustic signals acting as the input of classifier. However, in addition to the inconvenience posed by the general drawbacks such as long training time and large number of training samples needed, the performance of the classic ANN classifier is deteriorated by the similar spectral characteristics between different bonding status caused by abnormal impacts. In this paper our previous works was developed by the employment of the least-squares support vector machine (LS-SVM) classifier instead of the ANN to derive a bonding integrity recognition approach with better reliability and enhanced immunity to surface roughness. With the help of the specially designed artificial sample slabs, experiments results obtained with the proposed method are provided and compared with that using the ANN classifier, demonstrating the effectiveness of the present strategy.