将名字写到教科书上——中国数学家杨乐

<正>年少时杨乐经常感叹:我做了很多习题,接触了许多定理,发现数学中的很多定理都是以外国数学家的名字命名的,难道中国人就不能为现代数学发展做出贡献吗?1978年,外国学者以杨-张定理形式将杨乐的名字写进了数学书,杨乐终于实现了自己少年时的梦想,成为数学圈内家喻户晓的人物     

基于相似性机制的合作策略的随机进化

基于标签的相似性机制,讨论了有限样本随机博弈的合作进化问题。首先,在局部更新机制和弱选择条件下,讨论了2个基本模型的合作进化。然后,在成对比较机制下,求得不同模型强选择条件下的策略的定位概率。根据系统平衡条件,给出不同策略的平稳分布。最后,分析在具体条件下平稳分布随选择因子变化的表达式。     

数据融合中的残差建模分析与融合算法

多传感器数据融合系统中,传感器之间存在着难以精确建模的系统误差。即便经过校准,仍然会存在残差。残差的量级与随机观测噪声相当,不同的是,残差是一种随时间慢变的系统误差。目前文献中缺乏有效的残差分析建模手段,从而难以提高融合精度。针对上述问题,建立了残差的数学模型,进而提出了残差补偿航迹融合算法。算法将残差增广至目标状态向量,在状态估计的同时完成残差补偿。仿真结果表明,残差补偿算法极大地提高了目标状态估计的精度,显著改善了机动目标的跟踪性能。最后使用雷达实测数据对算法进行仿真,验证了算法可应用于实际工程系统。     

基于弯曲路径的复杂温度场重建算法仿真研究

以最小二乘法温度场图像重建算法为基础以费尔马定理为依据，对声学法工业炉温度场检测中由于声波传播路径弯曲对温度场重建所产生的影响进行了研究，给出一种实现声波路径弯曲补偿的复杂温度场重建算法，通过仿真，考察了该算法对不同温度场分布函数的重建效果，结果表明：该算法不但可实现声波路径弯曲的补偿，而且可同时进行温度场的重建，具有较高的重建精度。     

Azimuth resolution improvement for spaceborne SAR images with quasi-non-overlapped Doppler bandwidth

The azimuth resolution improvement problem is solved via a coherent combination of synthetic aperture radar （SAR） ima-ges with the quasi-non-overlapped Doppler bandwidth. Prior to the spectra combination, SAR images should be coregistered, while phase biases induced by topography, atmospheric propagation delays and baseline measurement errors should be calibrated. However, the coregistration accuracy suffers from large Doppler decorrelation caused by the quasi-non-overlapped Doppler band-width. Furthermore, the method used to estimate phase biases from interferogram of azimuth prefiltered SAR image pairs wil fail when there is no overlapped spectrum. The fringe simulation and maximum sharpness optimization are adopted to deal with the problems. Accordingly, a novel algorithm to coherently synthesize SAR images is presented. The experiment with the Terra SAR X-band （TerraSAR-X） satel ite data validates the performance of the presented method.     

基于强跟踪滤波器估计的最优融合方法

在分布式雷达数据处理模式中 ,数据融合是获得较精确的目标轨迹的主要环节。为克服卡尔曼滤波器对初始值敏感、鲁棒性差和对机动目标跟踪性能差的缺陷 ,通过利用各传感器的观测数据 ,采用强跟踪滤波器对目标进行跟踪 ,以改善目标状态估计的精度。对判定源于同一目标的状态估计值 ,给出了一种估计状态线进行性组合的最优融合准则。得出了实际数据的实验结果。     

含时延的多智能体系统的多静态领导者包容控制

对基于有向固定拓扑的多静态领导者的多智能体系统的包容控制问题进行研究。在系统中智能体之间信息传递存在固定通信时延的情况下,应用拉普拉斯变换技术分别研究一阶和二阶连续时间多智能体系统,通过对系统传递函数的稳定性分析而求取系统状态稳定条件,并应用终值定理,最终得到了保证系统实现包容控制的时延限制条件,最后用仿真验证了该结论的有效性。     

对数正态分布环境因子的统计推断

为了对不同环境下的试验数据进行折算与综合，本文在失效机理不变的前提下，系统地讨论了对数正态分布环境因子的定义；给出了判别两种环境下产品失效机理是否发生了显著变化的统计检验方法；并推导了对数正态分布环境因子的极大似然估计（ＭＬＥ）以及经典的Ｂａｙｅｓｉａｎ与Ｆｉｄｕｃｉａｌ区间估计。最后用数值例说明了这些方法。结果表明该定义及这些方法是恰当的。     

一个基于时间petri网的多处理机静态调度的方法

讨论了把任务图转换成Petri网的方法,因为所得到的Petri网是出现网,所以可以通过添加辅助变迁把其转换为强连通T-图,通过求解极小s-不变量便可以找到原出现网的所有的变迁发生序列.最后利用计算结果把任务分配到处理机上.得到的多处理机的任务调度方法所需要的时间最短,处理机数最少.