6061铝合金低温快速流变行为的研究

采用圆柱体试样，在Gleeble-1500型动态热模拟试验机上进行低温快速压缩试验，研究了6061铝合金低温下快速变形的流变行为，并分析了其变形组织。结果表明，6061铝合金的流变应力随变形温度升高而降低，随应变速率提高而增大；在高应变速率下，发生了不连续动态再结晶；温升强烈地受变形程度的影响；低温快速变形可获得晶粒细小的组织。     

栅元有效共振积分的CUDA算法设计与实现

核反应堆中需要实时精确地计算堆芯和增殖材料的有效共振积分或群截面来实现反应堆的安全控制。整个计算过程因为涉及大量的积分运算和庞大的核素截面数据,采用常规的计算方法,计算时耗相当大。基于统一计算设备架构(CUDA)平台,利用图形处理器(GPU)的计算能力,对整个计算过程进行并行化分解,多线程同时运算,大幅度提升计算速度,降低时耗。实验结果表明,在GPU上并行计算所得结果与原始数据没有明显差异,且加速效果显著。     

基于邻域关系模糊粗糙集的医学图像分类研究

对医学图像进行分类时,特征选择是影响分类准确率的非常重要的因素。针对医学图像的特殊性,以及目前提出的特征选择算法在应用于医学图像分类时效果不够理想等问题,提出一种基于邻域关系的模糊粗糙集模型,基于该模型给出特征选择算法,并将其应用于乳腺X光图像。实验结果表明,同已有的算法相比,该方法能有效选择特征,分类精度有较大的提升。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用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协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

导弹稳定控制系统调节规律及参数优化设计

针对战术导弹的稳定控制系统,从控制原理上研究几种常见的调节规律特点.然后基于一种典型的导弹型号用改进的遗传算法优化控制方案参数.在利用MATLAB/Simulink设计主程序时,因制导控制系统的各个控制环节时间常数差异大.微、积分特殊,采样周期多,传递函数阶数高,使得按照常规方法设计的软件无法正常运行.为此,对关键问题进行了有效处理.研究和仿真表明:调节规律的内回路主要是增加阻尼而外回路主要是稳定指令与过载之间的比例关系;对软件设计中遇到的关键问题进行有效处理后的仿真正确、高效、可视化程度好.在此基础上采用改进的遗传算法,可以优化控制系统在给定目标函数下的任何一组参数,并且仿真结果接近实际飞行试验,无需在实际应用中修正.     

Web应用日志分析系统分析与设计

互联网的蓬勃发展为生活、学习、工作提供了诸多便利,但随之而来的网络安全隐患日趋明显.应用日志分析作为一种重要的信息安全保障措施,有效地弥补了传统安全防御技术的缺陷.主要分析了传统日志分析的常用方法,并在此基础上,提出了一种新的日志读取方法和模式匹配算法.通过测试表明,这些改进对提高日志的分析效率起到了积极效果.     

基于网卡的某型声呐目标模拟系统的设计

针对某型声呐目标模拟器是利用PCI总线进行上位机和下位机之间的通信,而随着移动PC和网络技术的发展,网络化的数据传输是未来数据传输的发展趋势,采用网卡芯片W5300开发了一种以太网接口系统;该系统由TMS320F2812DSP控制网络芯片W5300,给出了以太网接口的硬件设计原理、网络芯片的初始化及网络芯片数据的接收和发送控制三部分并介绍了网络驱动程序的设计;实践表明该接口稳定实现了上位机和下位机之间的网络通讯。     

基于目标检测及跟踪的视频摘要技术研究

为了能够在不丢失有用信息的前提下对海量监控视频进行摘要,提出一种基于目标检测及跟踪的视频摘要技术。首先根据混合高斯模型对视频进行背景建模,获得监控视频的背景;然后通过背景减法对运动目标进行检测,得到前景运动目标;其次对检测到的运动目标采用分层关联的思想进行目标跟踪,得到运动目标的完整信息;最后将这些运动目标及视频背景重新组装成摘要视频。实验结果表明,该方法能够有效地对监控视频进行浓缩,形成的摘要视频能够完整地保存原有视频信息,减少了存储空间,降低了成本,方便了相关人员及时获取有用信息,提高了工作效率。     

一种遗传搜索块匹配运动估计算法

运动估计是帧间视频编码中的关键技术,但现有的快速搜索算法中大都是次优算法,且易陷于局部极小点,针对此问题,提出了将一种遗传算法应用于块运动估计中的遗传搜索匹配估计算法（GSAME）,该方法把块运动向量作为遗传染色体,经过杂交、变异等操作,以便得到全局意义上的最优解,并与经典的全局搜索法和三步搜索法进行了比较,实验结果显示,该算法不仅有效地解决了局部极小问题,而且计算量也较少。