面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

一类具有饱和发生率的离散型SIS传染病模型的全局渐近稳定性

研究一类具有饱和发生率的离散型SIS传染病模型,得到模型的基本再生数.通过比较原理以及构造适当的Lyapunov函数,证明当基本再生数R01时,无病平衡点是全局渐近稳定的;当基本再生数R01时,地方病平衡点是全局渐近稳定的.     

从一元函数到多元函数的研究中出现新问题的原因及规律

本文从研究多元函数的思想方法入手,分析了从一元函数到多元函数的研究中出现新问题的原因;并归纳了原来在一元函数中表述概念间关系的命题的正确性在多元函数中能否得以保持的规律.     

无源双基地雷达系统直达波抑制算法

无源双基地雷达系统目标时延和多普勒频移估计,一般采用直达波通道信号与目标回波通道信号作互模糊函数处理,通过搜索互模糊函数的峰值来检测目标。虽然直达波干扰信号的互模糊函数峰值出现在零时延和零多普勒频移处,但其能量远大于目标回波信号,导致信号检测噪声门限增高,旁瓣电平增大,从而淹没目标信号。利用矢量空间的最小二乘算法抑制目标通道中的直达波信号,针对计算速度问题,提出了改进算法。仿真结果表明,该算法能够明显抑制直达波信号,同时该算法也可以完成弱目标的检测,因而具有重要的应用意义。     

某四组元HTPB推进剂热分解特性研究

针对某型四组元HTPB推进剂的热分解特性,运用微分法和积分法对差示扫描量热法(DSC)和热重分析(TG)试验数据进行了计算。运用Malek法对该型四组元HTPB推进剂的热分解试验数据进行分析,推导出了该型推进剂热分解的最概然机理函数。计算结果表明：该型推进剂的热爆炸临界温度T_b=206.59℃,自加速分解温度T_SADT=204.86℃,推进剂的指前因子A=5.645×10¹⁷,推进剂活化能约在(187.30～205.51)×10³ J·mol^-1;该型推进剂热分解反应是一个连续分阶段的自催化n级反应,n=2,拟合计算得到推进剂的动力学方程分别为：dα/dt=3.38×10⁵(0.179-1.041α+2.593α²-1.792α³)/T²;推进剂热安全性和热安定性较为良好,但是RDX的加入一定程度上会降低推进剂的热安全性和热安定性。     

基于强化学习的多目标点航关联方法

针对密集杂波环境下的多目标点迹-航迹关联问题,以强化学习(Reinforcement Learning, RL)方法为基础,提出了一种基于Q学习的多目标点迹-航迹关联方法。首先,根据整个过程中目标的运动状态,建立马尔可夫决策过程(Markov Decision Process, MDP)模型。其次,利用各状态间的相关程度构成策略函数,选择准确的动作,并设定相应的奖励函数。最后,考虑杂波密集时虚假量测难以分辨,结合目标先验信息,增加了Q表再学习环节,进一步优化关联精度。仿真结果表明,在非机动和强机动两种环境下,该方法都能准确地关联到目标的量测,具有较好的点迹-航迹关联性能。     

保形插值的样条函数方法

对于给定的任何型值数组,本文通过插入新结点构造了Ｃ１连续的保形插值二次和三次样条函数Ｓ（ｘ）,最后还讨论了单调保形的插值样条函数。     

带局部交流函数及自由意志的单领导Cucker-Smale模型的渐近集群分析

为研究集群的形成与否和半径大小之间的关系,主要考虑了具有单个领导的一般等级结构及其领导者速度不变的Cucker-Smale模型。探讨了自由意志对集群产生的影响,通过证明可以给出半径有下界的充分条件(下界和速度差、粒子数、通信强度等有关)。当半径大于下界时,会产生集群。通过MATLAB数值仿真验证了相关结论。     

三维移动脉动源格林函数的对称性及其应用

为进一步提高三维有航速船舶耐波性预报的计算效率,将对称性引入到移动脉动源格林函数法的速度势求解之中,提出了基于格林函数对称性的水动力快速求解措施。从源点对场点的对称特性出发,推导获得了调和函数的法向偏导数在船体对称线元和面元处的积分对称关系式,开展了对称性在简化边界元积分方程系数矩阵中的应用,进而构建了高效求解三维船舶耐波性能的理论计算方法。数值结果及算例分析表明:水动力计算中移动脉动源格林函数的对称性有利于降低计算量和减少系统内存,且适用于有航速船舶在波浪中的波浪干扰力、运动响应和自由面波形的数值模拟,可拓展至两船水动力干扰及复杂船型的频域水动力分析计算之中。     

密码体制中布尔置换的构造

布尔置换在密码体制中有着非常重要的应用。在分组密码的设计中需要用到高阶的布尔置换。论述了一种通过组合一些低阶布尔置换来构造高阶布尔置换的方法,给出了一个例子。所得结论对布尔置换的构造具有一定的意义。