强震动冲击环境下的网络异常信号检测仿真

强震动冲击环境下的网络异常信号检测,可保证网络安全稳定的运行.在强震动冲击环境下,网络异常信号检测过程中存在较强的振荡波动和随机噪声,使得真实的异常信号特征与振动信号的频率及其相似.传统的基于核数据的网络异常信号检测方法,针对强震动冲击环境下的干扰,无法提取稳定的异常网络信号特征,不能够准确完成网络信号特征的分类,使得获取的网络异常信号检测结果存在较大的偏差.提出了一种采用敏感性分析的网络异常信号检测方法,在强震动冲击环境下的影响,网络异常信号与振动信号相比,存在一定的异常敏感性,先采用频率敏感性的检测方法初步检测网络异常信号,塑造网络结构有限元模型和敏感性矩阵,最后通过粒子群算法的模糊神经网络,选择模糊优选模型函数作为激励函数,能够根据强震动冲击的强度来确定各个影响因子的隶属度,确定了异常信号发生和损伤的精确位置,实现了网络异常信号的精确检测.实验结果表明,改进方法比传统方法更具有优越性,在强震动冲击环境下具有较高的网络异常信号检测效率和精度.     

主动声纳空时自适应混响抑制方法

为了提高主动声纳混响抑制能力,研究了空时自适应混响抑制方法.分析了运动(静止)平台混响多普勒频率的空时二维分布,并在此基础上研究了降雏空时自适应(时空级联处理)抑制运动(静止)平台混响方法.理论分析与湖试数据研究表明:时空级联处理方法对运动平台还是静止平台都具有较好的混响抑制性能,特别是其处理的优势在于抑制运动平台的混响.在高速运动的声纳中,利用空时自适应方法抑制混响,提高检测能力具有现实意义.     

基于Outlook的支持BASE91编码邮件的实现

目前广泛采用的编码方法是Base64,其编码效率达到75%,而由何大可教授提出的一种新编码方法:Base91将进一步减少数据扩展率,使编码效率增加到81.25%.推广Base91在实际中使用,便可大大节省网络带宽.通过监控Outlook2003的发送流程,反汇编其关键文件,查找到与编码有关的函数地址,通过替换目标编码函数地址为Base91编码地址从而达到应用Base91编码的目的,开发出一个具有Base91编码功能的Outlook2003插件包.     

超球体多类支持向量机理论

目前的多类分类器大多是经二分类器组合而成的,存在训练速度较慢的问题,在分类类别多的时候,会遇到很大困难,超球体多类支持向量机将超球体单类支持向量机扩展到多类问题,由于每类样本只参与一个超球体支持向量机的训练.因此,这是一种直接多类分类器,训练效率明显提高.为了有效训练超球体多类支持向量机,利用SMO算法思想,提出了超球体支持向量机的快速训练算法.同时对超球体多类支持向量机的推广能力进行了理论上的估计.数值实验表明,在分类类别较多的情况,这种分类器的训练速度有很大提高,非常适合解决类别数较多的分类问题.超球体多类支持向量机为研究快速直接多类分类器提供了新的思路.     

论和谐居住环境设计

居住环境的水平是一个国家经济发展、社会进步、文明与落后的重要标志。随着我国经济的快速发展和人们生活水平的不断提高,营造舒适、温馨的住居环境已经成为时代要求,本文以和谐为主题,来论述居住环境的设计思想与理论研究,从而促进我国居民居住环境空间质量的提高和发展,实现真正意义上的美化生活、美化环境。     

嵌入式环境下HASH算法的效率分析

在WinCE嵌入式系统环境下对各种HASH系列算法(MD2、MD4、MD5、SHA-1、SHA-256)进行了效率测试和分析.在大量的对比和对照后,得出了不同平台下不同实现方法的HASH程序效率,为在嵌入式环境尤其是Wince系统下HASH算法的实现和应用提供了很实用且可参照的测试方法和数据.     

基于数据驱动的锂离子电池RUL预测综述

剩余使用寿命预测技术对于锂离子电池的安全使用及维护具有重要意义。由于锂离子电池的长寿命特性以及复杂的非线性退化机制,目前剩余使用寿命预测仍是电池状态预测的难点问题。数据驱动方法不需要考虑电池内部电化学特性,而仅从数据角度出发,是目前主流的预测方法。通过实例介绍了剩余使用寿命概念,分类阐述了各种基于数据驱动的预测方法,并对其优缺点进行了分析。最后,针对现有方法的不足,提出未来需要改进的方向。     

拟态路由器TCP代理设计实现与形式化验证研究

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1:1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

货运列车自适应模型平滑切换及节能优化研究

为了使货运列车运行过程切近实际,提出了一种基于加速度自适应的货运列车质点模型平滑切换方法。首先,建立列车的单质点和多质点模型,基于扰动加速度偏差变化率进行列车多模型的自适应切换研究。然后,为了降低大功率机车牵引电机的工作能耗,引入货运列车牵引控制的多目标和约束条件,建立了多目标优化模型,并提出一种新型的多目标飞蛾扑火(MOMFO)算法用于优化货运列车运行过程。最后,采用HXD1型电力机车牵引50节C80货车作为研究对象,通过仿真验证了所提方法对货运列车牵引电机节能及运行过程优化具有重要意义。