基于直接算法的合成孔径雷达干涉测量几何精度分析

直接将绝对相位差引入距离方程和多普勒方程答解地面点坐标,称为合成孔径雷达干涉测量直接算法。利用引入含有合理误差的模拟InSAR像坐标、绝对相位差和相应的轨道参数作为起算数据,求得含有误差的地面点坐标,实现了InSAR直接算法的几何精度分析。为了把基线长度和姿态的误差引入轨道空间位置,提出了相应的数学模型。计算结果表明,直接算法与经典算法精度基本相同。     

基于流场特性的管内检测机器人的外形优选研究

管道内检测机器人的结构形状是影响其运动学、动力学特性的关键因素,在机器人设计中占有重要地位。在合理提出一些基本假设后,用二阶迎风差分格式离散管道内检测机器人附近流场的控制方程,并用SIMPLE算法求解,得到了7种不同形状的管道内检测机器人所受的差压驱动力及其周围的流场信息,并对这几种结构的CFD特性作了比较。最后综合空化条件、驱动力、腔内有效体积和加工难度等因素,确定了上游半球形结构为设计形状。     

结合多层快速多极和ILUT预处理算法分析复杂目标的电磁特性

分层快速多极算法(MLFMM)和ILUT预处理算法被结合来分析电大尺寸目标的电磁散射和辐射特性。采用矩量法求解电磁场积分方程,最终须要求解一线性方程组。分层快速多极算法被用来加速用迭代法求解线性方程组时的矩阵向量乘积的运算。ILUT预处理算法被用来降低方程组系数矩阵的条件数,加快迭代法的收敛速度。计算实例表明了该方法的通用性和高效性。     

一类脉冲时滞抛物型方程解的振动准则

讨论了一类含脉冲的时滞抛物型方程解的振动性,利用格林公式以及Jensen不等式,得出了该方程在一类边界条件下解的振动准则。     

An improved adaptive differential evolution algorithm for single unmanned aerial vehicle multitasking

Single unmanned aerial vehicle (UAV) multitasking plays an important role in multiple UAVs cooperative control, which is as well as the most complicated and hardest part. This paper establishes a three-dimensional topographical map, and an improved adaptive differential evolution (IADE) algorithm is proposed for single UAV multitasking. As an optimized problem, the efficiency of using standard differential evolution to obtain the global optimal solution is very low to avoid this problem. Therefore, the algorithm adopts the mutation factor and crossover factor into dynamic adaptive functions, which makes the crossover factor and variation factor can be adjusted with the number of population iteration and individual fitness value, letting the algorithm exploration and development more reasonable. The experimental results implicate that the IADE algorithm has better performance, higher convergence and efficiency to solve the multitasking problem compared with other algorithms.     

整环上不定方程组的通解公式及其应用

借助Z上矩阵A∈Mm×n(Z)的标准形式D=VAU=diag(d1,d2,…,dq,0,…,0),得到了整环上不定方程组AX=B的通解公式以及矩阵初等变换法.     

差分跳频码性能检验研究

差分跳频是一种新的扩展频谱通信技术.在介绍差分跳频基本原理的基础上,将差分跳频的频率跳变过程建模成齐次马尔可夫链.分析了G函数的功能,重点讨论了差分跳频码性能的检验方法,包括不可约性、频隙滞留、均匀性和随机性检验,其中频隙滞留是首次提出应用于差分跳频码性能的检验.这些检验方法对于差分跳频G函数的设计具有一定的指导意义.     

一类非线性时滞双曲型偏微分方程的振动性

研究一类非线性时滞双曲型偏泛函微分方程解的振动性,利用微分不等式方法和广义Riccati变换,获得了该类方程在第一类边值条件下振动的新的充分条件,所得结果通过实例加以阐明.     

Do Military Expenditures Crowd-out Health Expenditures? Evidence from around the World, 2000–2013

Abstract

The paper examines the relationship between health and military expenditures using pooled cross-sectional (197 countries) and time series (2000–2013) data. Simultaneous equation models were employed to estimate the relationship between an array of public sector expenditures in order to address potential endogeneity. Our empirical findings strongly support the crowding-out hypothesis whereby increased military expenditures reduce the capacity of government to direct expenditures to health expenditures. These findings were robust to alternative specifications explored in the sensitivity analyses. Compared with upper-middle-income countries, the crowding-out effect became more pronounced among lower-middle-income countries. Consequently, this study shows that increased military expenditures negatively impacts health expenditures, and therefore poses as an important risk factor for population health and individual well-being. Moreover, it is the poorest of nations that are most sensitive to the negative effects of increased military expenditures.     

一种针对HIGHT的改进差分故障的分析

为评估HIGHT轻型分组密码抗故障攻击能力,基于单字节故障模型,提出一种改进的HIGHT故障攻击方法．首先在HIGHT最后1轮注入单字节故障恢复SK124和SK1262个轮密钥,然后增加故障注入深度,在HIGHT倒数第5轮注入单字节故障恢复HIGHT另外10个轮密钥,从而恢复HIGHT的全部主密钥．实验结果表明：仅需22次故障注入即可恢复HIGHT全部128位主密钥,优于现有故障攻击方法所需的32次故障注入．