一种Web应用测试生成与约简方法

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.     

序列偶设计研究综述

序列偶作为一种最佳离散信号在扩频通信、雷达、声纳、导航、电子对抗、遥测遥控、信息加密等众多领域有广泛的应用前景.构造序列偶的研究也能促使组合设计新概念和新理论的产生.本文对序列偶的性质、构造方法、应用的数学工具以及现阶段取得的研究成果进行了综述,并指出了序列偶研究领域未来的发展方向.     

基于脉冲耦合神经网络的结构损伤检测方法研究

机械结构的损伤发展到一定程度,会对其功能产生严重影响,所以及早检测出损伤非常必要。针对机械结构在损伤发生时其内部能量分布会发生变化的情况,对加速度计测得的结构振动信号进行短时傅立叶变换,获得可以反映能量分布的时频谱图。使用脉冲耦合神经网络提取时频谱图的熵序列特征,很好地识别了结构的损伤。使用上述方法对简支梁的损伤进行了实验研究,验证了其有效性和实用性。     

关于否定“3n＋1”猜想的一个证明

按照“3n＋l”法则,利用“4m＋3”迭代,提出了一个构建一个无限单调增值序列的方法,从而否定了“3n＋1”猜想。     

PA序列部分和之和的弱大数定律

研究PA随机变量序列部分和之和Tn=(n∑i=1Si)其中(Sn=(n∑i=1)Xi)的弱大数定律,将PA随机变量序列“部分和”的弱大数定律推广到了“部分和之和”的情形(包括同分布和不同分布的情形).     

改进型FBD谐波检测法在有源滤波器中的应用

论述了FBD(Fryze-Buchholz-Dpenbrock)谐波检测法的基本原理,针对FBD法受限于锁相环电路以及滤波环节存在的不足做出了改进。首先设计了一种基于电压序列分解原理的基准电压提取方法,得到与基波正序电压同频同相的电压信号代替锁相环的作用,提高了检测精度且易于实现;其次使用滑窗迭代DFT(discrete fourier transform)滤波模块替代低通滤波器,同时利用小波变换对各相谐波的细节部分进一步完善,提高了滤波环节的实时性和准确性。最后通过仿真分析,验证了改进方法的正确性和优越性。     

铁路突发事件应急资源调配的优化与决策

优化铁路应急救援资源的调配是降低突发事件人员伤亡、减少财产损失的重要途径。基于应急资源调配的特点及要求,建立应急资源调配时间最短的单目标模型,以及调配时间最短,且应急出救点最少的双目标模型;并运用分层序列法进行求解。研究表明,双目标模型优化可以减少应急出救点、节约救援成本。利用Matlab软件设计应急资源优化调配的决策程序,实现资源调配决策的快速化、科学化;并以南昌铁路局为例进行实证分析。研究成果为铁路突发事件的科学应急救援,减少事故救援时间和成本提供参考。     

基于灰色PSO-ANFIS模型的船舶横摇运动预报分析

为了准确高效的预测船舶在波浪中的航行状态以保证人员、货物和船舶的安全,提出了一种基于灰色模型粒子群优化算法的自适应神经模糊推理系统(Grey Particle Swarm Optimization-Adaptive Neural-fuzzy Inference System, GPSO -ANFIS)。GPSO-ANFIS预测模型使用模糊C均值聚类算法对输入样本进行聚类分析,得到模糊规则数量并建立神经模糊推理系统,再使用粒子群优化算法对建立的预测系统进行优化训练,从而得到最优的预测系统模型。其中灰色模型用于横摇数据的预处理,以便削弱横摇状态中的非线性影响因素。最后通过实船“育鲲”轮的横摇数据进行仿真实验,实验结果验证了GPSO-ANFIS模型的实用性和可行性,具有较高的预测精度。并为船舶航行智能化提供了一种有价值的理论依据。     

IPv6协议栈性能分析

对常用操作系统支持的IPv6协议栈进行了实验研究,并与IPv4协议栈进行了量化对比分析.实验结果表明,Linux的IPv6协议栈的性能远远好于Windows XP的IPv6协议栈性能.