数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

北斗系统星载原子钟周期性波动的频谱分析校正方法

在建立卫星导航系统星座自主守时时间基准时,必须消除星载原子钟钟差数据中包含的周期性波动,以免将其引入系统时间。针对这一问题,基于国际卫星导航服务组织(International GNSS Service, IGS)提供的北斗系统星载原子钟钟差产品,提出了一种基于频谱分析的星载原子钟周期性波动校正方法。通过比较校正前后钟差数据的频率稳定度性能差异,确认该方法能够消除由环境因素引起的钟差数据周期性波动。北斗系统各类卫星星载原子钟的性能在校正后都得到了提升。地球同步轨道卫星星载原子钟的万秒频率稳定度提升50%左右,中轨道地球卫星星载原子钟的万秒频率稳定度提升23%左右,倾斜地球同步轨道卫星星载原子钟的万秒频率稳定度提升15%左右。经过校正,北斗二号和北斗三号系统中的星载原子钟普遍达到了地面站铯钟的频率稳定度性能,为完全基于星载原子钟的星座自主守时提供了基础。     

基于GA-SVM的装备保障设备报废技术鉴定方法

为提高装备保障设备报废技术鉴定的准确性,提出了一种基于支持向量机的报废技术鉴定方法.分析了报废技术鉴定主要特征,并给出了各特征的量化和预处理公式.介绍了支持向量机基本原理,并引入遗传算法对支持向量机的惩罚参数和核参数进行寻优.算例验证结果表明,与常见分类算法相比,基于高斯核的支持向量机在装备保障设备报废技术鉴定中,训练时间更短、分类精度更高.     

一种基于范围表示B树的大容量IPv6路由查表算法

IPv6具有巨大的地址空间,未来要面对的将会是海量IPv6路由表,而且128位的IPv6地址比IPv4需要更多的访存数。算法针对IPv6路由查找问题中的这两个难点,提出利用B树高度较低的优良性质,将前缀转化为范围表保存在B树中,并在结点内部利用分段范围比较树算法来减少访存次数和空间耗费。理论分析和实验表明,该算法能够以很好的性能支持IPv6海量路由表的查找。     

GNSS/SINS组合导航在地地导弹中的工程应用

介绍了基于Kalman滤波的GNSS/SINS组合导航技术在地地导弹中的应用,在发射点惯性坐标系中建立了便于工程应用的数学模型,针对某型号进行了位置速度仿真,并和目前在工程实际中应用的加权平均组合方法进行了比较。仿真结果表明,Kalman滤波技术可以应用于地地导弹工程实际中。     

舰船燃气轮机双机并车控制仿真技术研究

介绍了功率反馈控制技术的原理和特点,并利用功率反馈控制技术对舰船燃气轮机双机并车控制技术进行了分析.利用C++语言建立了全燃动力装置的仿真模型,并对功率反馈法进行了计算机仿真试验.结果表明,功率反馈控制技术能较好地实现舰船燃气轮机双机并车运行的控制.     

基于随机虚拟样机的某型自行火炮扭力轴动力仿真

依据随机动力学、多体系统动力学和数理统计理论,借助MSC\Adams仿真软件和MATLAB工具,提出随机虚拟样机的概念。并以某型自行火炮的扭力轴为例,在建立的虚拟样机上,实现不确定性因素下从底盘整体到悬挂系统、再到扭力轴的动力仿真。     

基于小波包能量谱的管道缺陷磁记忆检测信号特征研究

现有磁记忆检测技术判定准则,只能指示应力集中位置,无法进一步获取应力集中信息。为获取应力集中信息,提出一种基于小波包能量谱的磁记忆信号分析方法,进行试件拉伸试验。拉伸应力为200 MPa时,信号小波包能量谱分布较为均匀,各频带能量占总能量之比均小于15%,不存在集中分布的频带范围。拉伸应力为410 MPa时,信号小波包能量谱最大值分布在1,3,4频带,1~4频带能量之和占总能量的73.8%,小波包能量主要集中在低频段。试件屈服后,信号小波包能量谱最大值分布在1,2频带,能量谱分布极为分散,能量主要集中在低频段的1,2频带,1~3频带能量之和占总能量的87.3%。管道试件应力集中程度与磁记忆信号的小波包能量谱分布特征有关,应力集中程度越低,小波包能量谱分布越均匀;应力集中程度越高,小波包能量谱分布越集中,能量主要向低频段集中。     

基于虚拟时间延迟线阵列的联合频率—到达角二维谱估计

提出基于虚拟时间延时线阵列的联合频率-到达角二维谱估计方法,把经典的子空间方法推广到空时二维域并进行了改进.基本思路是估计空时噪声子空间和空时信号子空间,然后,利用两个空时子空间特征进行频率-到达角联合二维搜索.正常情况下可分辨的信源数远远超出阵元数目;在信号源宽带较大或信号源波长偏离阵列尺寸较远时,不会像经典方法一样出现大的偏差或估计信源角度范围受限;同时给出信号源的频率和到达角估计,更全面地反映了信号特征.     

基于IGSO卫星的多普勒定位单向授时方法研究

针对导航战、城市或者室内环境中,可见卫星数目小于3颗,用户位置未知时,接收机无法完成授时等问题,并结合我国已有卫星导航系统(北斗和CAPS系统)现状,提出了一种基于IGSO卫星的多普勒定位单向授时方法。该方法通过测量卫星信号的多普勒频移,采用积分多普勒计数计算用户位置,完成单向授时功能。分析结果表明,使用3颗IGSO卫星搭载透明转发器载荷,可使我国领土范围内的定位授时可用性基本达到100%;静态观测用户,长期测量定位精度可达3m以内,授时精度误差小于100ns。由于该方法最少只需观测1颗IGSO卫星信号,这为导航战背景及微弱信号环境下的定位授时服务,提供了新的解决方法。