摘要：测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。

摘要：首先研究一类单输入非仿射非线性系统的逆最优控制问题,其代价泛函为非线性-非二次型,设计出一族参数化的状态反馈逆最优控制器;然后讨论当该系统为耗散系统时,在供给率为二次型的耗散性理论框架下,给出使系统渐近稳定的李雅普诺夫函数和镇定控制律,并通过适当选取代价泛函中的参数,使得李雅普诺夫函数也是最优值函数,进而揭示出耗散系统在线性输出反馈意义下稳定性与最优性之间的等价关系.

摘要：讨论一类带有界范数不确定性的仿射非线性系统的鲁棒无源综合问题,该系统具有输出馈通项且控制项系数带有参数不确定性。首先,基于Hamilton-Jacobi-Issacs(HJI)不等式给出系统是鲁棒耗散的充分性条件;在此基础上,利用相同的方法,给出在状态反馈控制下,系统可实现鲁棒耗散控制的充分条件,并且设计出相应的鲁棒耗散控制器。线性系统的相应结论作为特例。最后,给出数值算例说明本文结论的有效性。

摘要：设计了一种基于逆合成孔径雷达(ISAR)图像的真假弹头识别方法。首先,利用直方图波形分析法对ISAR图像进行自适应形态学滤波除噪,提取强散射点区域;接着,进行区域种子点快速搜索,提取目标散射点位置;然后,根据散射点相对分布,构建目标外形轮廓,提取几何特征;最后,通过模糊分类器,完成真假弹头识别。仿真试验表明该方法具有较好的实时性、鲁棒性和可分性,为有限先验信息的弹道目标识别提供了有效技术途径。

摘要：针对弹道导弹防御原型系统研制,设计了一种基于距离像多特征的弹道目标识别方法。首先,根据背景和目标的频域能量分布,对距离像数据进行自适应滤波除噪;然后,采用门限估计方法计算弹道目标长度特征,通过在空间域快速搜索局部极值点实时获取散射中心分布特征,利用极大似然估计方法提取距离像数据的非高斯模型参数;最后,将上述特征输入模糊分类器,完成基于最优线性集成的距离像多特征综合识别。仿真试验表明,该目标识别方法可用于特征提取和识别分类。

摘要：讨论一类带有不确定参数的严格反馈系统的自适应反馈无源化问题,系统的相对度不小于1且满足参数的凸性假设。在反步法的框架下,利用反馈等价无源性定理和速度-梯度方法,逐步选择适当的输出和反馈变换,设计出使系统从新输入到构造输出无源的自适应控制器及参数修正律。所得的自适应反馈无源化控制器保证所有的信号都是有界的。反步法克服了反馈无源化设计时相对度的限制;凸性假设拓宽了系统未知参数是线性的常规假设。