-
摘要: 概述了X射线脉冲星信号辐射模拟技术的发展概况,分析了当前基于非齐次泊松过程(non-homogeneous poisson process, NHPP)的X射线信号数值模拟方法,在此基础上,采取了一种齐次泊松过程与经典概率相结合的数值模拟方法,与NHPP的模拟方法相比,该方法能够避免对流量密度函数的积分及对积分函数的求逆过程,可以大幅度简化数值模拟的计算流程,且适用于具有任意流量密度强度的脉冲星信号辐射模拟,并通过算例分析验证了该方法的可行性。Abstract:Objectives At present, the numerical simulation of X-ray pulsar radiation signals is essential for the research on pulsar navigation. It can generate observation signals of any quantity and quality according to the demand. It is thus more cost-effective, maneuverable, and flexible than physical simulation, with great significance for the performance evaluation of pulsar navigation.Methods The development of simulation technologies of X-ray pulsar radiation signals is reviewed, and the current numerical simulation methods of X-ray pulsar signals based on the non-homogeneous Poisson process are analyzed. Then, a numerical simulation method combining the homogeneous Poisson process with classical probability is utilized, and the specific process of numerical simulation is discussed in detail.Results With the flux density functions of the Crab and B1509 pulsars, the time of arrival (TOA) of the signals of the two X-ray pulsars is numerically simulated in different observation periods. Then, the pulse profiles of the two pulsars are folded through Pearson chi-square statistics. The experiments show that for a certain pulsar, a longer observation time means more bins used in the process of pulse profile folding and a generated pulse profile closer to the profile template. For different pulsars, a sharper pulse profile and a smaller pulse half-width indicate a more accurate pulse profile generated over the same observation time. As a result, the X-ray pulsar radiation signals simulated by this method can fold according to certain periods for the generation of pulse profiles, and the results are generally consistent with the existing space observation results. This proves that the proposed simulation method is feasible.Conclusions Compared with the simulation method based on the non-homogeneous Poisson process, the proposed method saves the effort of solving the integral of the flux density function and the inversion of the integral function, thereby greatly simplifying the calculation process of numerical simulation. It is suitable for the simulation of pulsar radiation signals with any flux density.
-
Keywords:
- pulsar navigation /
- X-ray source /
- signal simulation /
- Poisson process
-
甲居滑坡位于四川省丹巴县聂呷乡甲居村,滑坡长1 200 m,宽1 000 m,滑体平均厚度22 m,体积约为2 600万m3,属特大型牵引式中深层土质滑坡[1]。为监测该滑坡的活动性,文献[2-4]采用GPS和InSAR技术进行了周期性观测和融合处理。但由于GPS时间和空间采样率均较低,难以监测该滑坡的时间发育特征,而且研究区域地形起伏较大,特别是植被茂密导致传统差分InSAR技术在该地区的时空失相干非常严重,形变监测结果精度有待进一步提高,限制了差分InSAR技术的应用。
人工角反射器干涉技术 (corner reflector-InSAR) 通过在监测体布设一定数量的人工散射体来克服时空失相干对差分InSAR技术的影响,从而用来高精度探测地形复杂区域的形变。目前,常用的CR-InSAR解算方法有Lambda算法[5-8]和最小费用流算法等,这些算法要求CR点能够成功解缠,但是,很多时候两个CR点间的形变相位超过雷达半波长,相位解缠变得异常困难。为此,Xia等提出CR-InSAR周期图算法[9-10],针对每个CR点建立一个周期图,这样对于每个CR点,其相位时间序列可以看成是一个关于时间间隔和垂直基线的二维谐振信号,因此,形变估计问题就转化成频谱估计问题[11-19]。但是该算法进行参数估计时,对干涉对数量、各干涉对时间和空间基线分布的均匀性都有较高要求,而且在获取非线性形变时经常采用滤波的方法,导致形变结果较为平滑,非线性形变不明显。
本文借鉴InSAR小基线集算法和CR-InSAR周期图算法, 采用一种非线性CR-InSAR算法,对甲居滑坡进行了非线性CR-InSAR试验,通过与GPS监测形变结果一致性的比较,表明该算法比原CR-InSAR算法获取的滑坡形变结果更为合理。
1 CR-InSAR解算原理及算法
假设有M+1个角反射器,获取N+1幅SAR影像,按照传统小基线集InSAR处理方法,选取其中一幅影像作为主图像,可以组成N个SAR干涉对,每个干涉对包含了M+1个CR点对应的相对于主影像的差分相位。通过SAR轨道信息和外部DEM去除地形相位后,第i个CR点在第m个差分干涉图中的差分相位表示为:
(1) 式中,Rim是对应的形变;Bm是垂直基线;hi是第i个CR点的高程改正数;θm是入射角;φim, atom是大气延迟相位,φim, noise是噪声相位。
如果将CR点形变看成近似线性形变,则式 (1) 可以写成:
(2) 式中,Vi是第i个CR点的形变速率;Tm是第m个干涉图的时间间隔。当两个CR点间的距离为1 km时,大气延迟相位可以认为是空间强相关的,如果选取其中一个比较稳定的CR点作为参考点,则其他的CR点相对于参考CR点的差分相位可以表示为:
(3) 1.1 基于解缠相位的CR-InSAR算法
对式 (3) 采用最小费用流或Lambda算法解缠得到:
(4) 式中,φi, ref为解缠相位,对每个CR点的解缠相位对N个干涉图采用最小二乘准则 (或奇异值分解) 解算,获取每个CR点的累计形变时间序列结果,该方法的应用前提是要求CR点相位能够准确解缠。但当两CR点间的形变相位差大于|π|时,无法准确解缠,从而导致形变时间序列错误。
1.2 基于二维周期图的线性形变算法
文献[9]等提出基于二维周期图的线性形变解法,如果将CR点形变看成线性形变,选择位于稳定区域的CR点为参考点,假设其形变速率为0,建立如下模型:
(5) 式中,Δφi为第i个CR点相对于参考点的差分干涉相位;Vi为第i个CR点的线性形变速率;hi为第i个CR点相对于参考点的高程改正数,若两个CR点间的距离不是很远,大气延迟相位忽略不计,式 (5) 可以写成:
(6) 式中,fiv=2Vi/λ;t=Tm;fih=2hi/λRmsinθm;b=Bm;φi, noise是独立的高斯噪音,均值为0。
为了求解形变速率相关的频率fiv以及和高程改正值相关的频率fih,对于每个CR点构造一个周期图:
(7) 当E(fv, fh)达到最大值时,根据对应的频率fiv和fih很容易得到所要求的形变速率值以及高程改正值。然而干涉对数量、干涉对时间基线和空间基线分布的均匀性都会对参数估计的精度产生影响,而且采用滤波的手段获取非线性形变会导致形变结果线性较为明显。
1.3 基于相位相干性的非线性CR-InSAR算法
本文采用一种改进的基于相位相干性的非线性CR-InSAR算法,定义相位相干性为:
(8) 该约束条件相当于一个最优函数,依据一定的先验信息确定解空间的大小、位置和搜索步长,即可较快地获得参数的最佳估计值。当估计参数越接近真值时,γ就越大,也就是说γ越大,参数求解的精度就越高。
因此, 给定一个二维解空间,在解空间内搜索γ的最大值,与最大值对应的形变速率值和高程改正数值就是所求解的参数,CR点相位相干性的三维图如图 1所示。
将与形变速率和高程改正数有关的相位从差分干涉相位中减掉,可得到残余相位:
(9) 依据最小二乘准则将非线性形变相位当成未知参数进行求解,由于大气相位在时间域上表现为高频信号,而在空间域上表现为低频信号。因此,当CR点距离小于1 km时,将其和噪声相位一起当成随机误差处理,可以得到:
(10) 式中,
为非线性形变相位,Snl为非线性形变。因此,CR点的形变可以表示为:
(11) 基于相位相干性的非线性CR-InSAR数据处理流程如图 2所示。
2 模拟实验
为了验证本文采用算法的可靠性,首先对模拟数据进行了实验分析,模拟线性形变速率为-0.4 mm/d,高程改正数为50 m,非线性形变采用正弦函数进行模拟,分别采用Lambda算法、二维周期图算法以及本文采用的算法进行求解,并与模拟真值进行对比,对比结果如图 3所示。
从图 3可以看出,由于模拟数据的形变尺度较大,导致Lambda算法存在明显解缠误差,而本文采用基于相位相干性的算法求解得到线性形变速率为-0.387 mm/d,高程改正数为65.9 m,而且与二维周期图算法求解结果相比,非线性形变也恢复较好。从对比结果来看,本文算法不需要相位解缠即可获取CR点的形变信息,求解结果与模拟真值较为一致,对大尺度形变梯度具有较强探测能力,现将该算法应用于甲居滑坡CR点形变监测分析。
3 数据处理方案与结果分析
图 4为四川甲居滑坡地形图,自2007年布设了10台角反射器,30个GPS监测点,每年进行4期GPS观测。结果显示,该滑坡形变具有分区特征,可分为强变形区、弱变形区和潜在形变区。为此获取了覆盖研究区域自2007-08至2008-06的9景Envisat ASAR数据,开展InSAR监测与试验。
在InSAR数据处理中采用90 m分辨率的SRTM DEM,该DEM在山区的平面精度为20 m,高程精度为20 m[11]。
首先通过小基线集InSAR来检验研究区域的相干性以及结果中可能存在的误差。在此基础上对比两种CR-InSAR解算方法,并对解算结果与同期GPS监测结果进行比较,验证本文方法的可靠性。
3.1 小基线集InSAR结果
本文以Gamma软件作为差分InSAR干涉处理平台,共生成36个干涉对,基线分布如图 5所示。图 6(a)为生成的36个干涉对的相干图;图 6(b)为对应的解缠图。
从相干图和解缠图中可以看出,研究区域由于植被等因素的影响,相干性很差,导致解缠误差难以消除,因此,本文仅对相干性最好的两个干涉对 (2008-01-04~2008-02-08和2008-02-08~2008-03-14) 进行常规差分处理,获得的形变结果如图 7所示,两个干涉对均存在明显形变信息,最大沉降量3 cm左右 (35 d)。
3.2 基于解缠相位的CR-InSAR解算
由于角反射器具有很强的后向散射特性,它在SAR图像中表现为一个光斑状的点目标,很容易在强度图中将其与周围的相干地物区分开来,图 8为安装在甲居滑坡上的角反射器在强度图中的近似位置。
在获得CR点的近似位置周围开一个窗口,通过多倍内插计算其幅度的峰值的精确位置,从而获取CR点亚像素级的精确坐标。图 9为某一CR点子像元级坐标幅度图。
直接提取35个干涉对解缠图中的解缠相位,采用最小二乘解算获取CR点的形变时间序列,结果如图 10所示。
从图 10可以看出,形变结果在±1 cm之间变动,造成此现象的原因是由于SAR干涉对存在解缠误差 (图 6(b)),导致CR解算结果存在解缠误差,形变时间序列结果不正确。
3.3 基于二维周期图的CR-InSAR算法
根据式 (5)~式 (7),以位于稳定区的S9号CR点为参考点,其他9个CR点的形变时间序列如图 11所示。
从图 11中可以看出,基于二维周期图法的CR-InSAR算法能够有效避免相位解缠误差,但该方法由于使用滤波的方法分离非线性形变,导致非线性形变有一定损失。
3.4 基于相位相干性的非线性CR-InSAR解算方法
与§3.2不同,本文算法仅提取CR点对应的差分缠绕相位,基于式 (8)~式 (11),解算出CR点的形变时间序列。
以位于稳定区的S9号CR点为参考点,其他9个CR点的形变时间序列如图 12所示,累计形变结果如表 1所示。
表 1 甲居滑坡角反射器累计形变结果表Table 1. Accumulative Deformation of CR Points形变区域 稳定区 北侧滑坡 南侧滑坡 弱形变区 强形变区 CR点号 S5 S4 S1 S8 S7 S6 S2 S3 S0 累计形变量/cm -1.8 0.4 -12.7 -3.9 -4.8 -10.3 -9.7 -12.4 -3.9 从上述3种算法解算结果来看,非线性形变都不是特别明显,分析原因主要是由于CR点间距离较近,非线性形变在空间域上表现出一定的相关性,两个CR点间干涉相位做差分的同时,非线性形变也会有一定的损失,再采用滤波方法分离非线性形变,会导致非线性形变进一步损失,因此我们根据大气相位在空间域和时间域表现出的不同特性,将其和噪声相位一起当成随机误差处理,采用最小二乘的方法,将非线性形变当成参数求解,尽可能减小非线性形变的损失。
从上面CR点的累计形变结果可以看出,位于参考点附近的S4号CR点比较稳定,累计形变量0.4 cm,其他CR点均出现明显沉降形变,其中位于北侧滑坡体上沿南面的S5号CR点累计形变量-1.8 cm,位于北侧滑坡体上的S1号CR点累计形变量-12.7 cm,位于南侧滑坡体上的S8号CR点累计形变量-3.9 cm,位于弱形变区的S7号CR点累计形变量为-4.8 cm,而位于强形变区的S6、S2、S3和S0号CR点累计形变量分别达到-10.3 cm、-9.7 cm、-12.4 cm和-3.9 cm。
在甲居滑坡上布设的10个角反射器中有6个的周围布设了GPS监测站,为了更好地验证本算法的准确性,将基于本文CR-InSAR解算结果和基于解缠相位解算结果与GPS解算结果进行比较,如表 2所示。
表 2 基于相位相干性CR解算结果、基于解缠相位CR结果与GPS解算结果对比表Table 2. Comparison Between CR Results Based on Phase Coherence and Phase Unwrapping with GPS MethodGPS点号 G10 G8 G12 G13 G16 G15 GPS解算结果/cm -9.5 -4.6 -4.4 -3.3 -11.0 -3.6 CR点号 S1 S7 S2 S6 S3 S0 基于相位相干性结果 -12.7 -4.8 -9.7 -10.3 -12.4 -3.9 与GPS差值 -3.2 -0.2 -5.3 -7.0 -1.4 -0.3 基于解缠相位结果 0.9 -0.2 0.2 -0.3 -0.4 0.4 与GPS差值 10.4 4.4 4.6 3.0 10.6 4.0 从表 2第5行和第7行可以看出,基于解缠相位的解算结果与GPS解算结果相差较大,而基于相位相干性的CR-InSAR解算结果与GPS解算结果在反映甲居滑坡形变特征上有较好的一致性,但S1、S2和S6号CR点的解算结果与GPS解算结果相差较大,对于与GPS结果存在差异,原因有以下几个方面:①在监测点的位置上,GPS点和CR点之间存在一定的距离,我们将CR点附近的GPS点作为参照,提供一定的先验信息;②在结果的获取时间上,由于没有对应的GPS监测结果,只获取2006-08~2009-11共39个月的累计形变结果,然后取平均求得对应InSAR数据覆盖的10个月的结果,也可能导致存在差异;③在变形特征上,甲居滑坡存在一定的水平形变,InSAR对水平方向形变不敏感,而且GPS在高程方向上的监测精度较低 (1 cm),将GPS上三维形变结果投影到视线方向时也存在一定的误差。但从CR点整体解算结果来看,较为真实地反映了该滑坡的形变特征。
-
-
[1] 魏二虎, 张帅, Wei Jianan. 自适应滤波在环火探测器脉冲星自主导航中的应用[J]. 武汉大学学报·信息科学版, 2015, 40(5): 701-705 Wei Erhu, Zhang Shuai, Wei Jianan. Autonomous Navigation of Mars Probe Using X-Ray Pulsar Based on a Modified AEKF[J]. Geomatics and Information Science of Wuhan University, 2015, 40 (5): 701-705
[2] 李金岭, 郭丽, 孙中苗. 关于脉冲星参数的我国VLBI网测量[J]. 武汉大学学报·信息科学版, 2013, 38(4): 386-389 http://ch.whu.edu.cn/article/id/754 Li Jinling, Guo Li, Sun Zhongmiao. Determination of Astrometric Parameters of Millisecond Pulsars via VLBI[J]. Geomatics and Information Science of Wuhan University, 2013, 38(4): 386-389 http://ch.whu.edu.cn/article/id/754
[3] 任红飞. 相对论框架下脉冲星导航模型的研究[D]. 郑州: 信息工程大学, 2012 Ren Hongfei. The Research on Timing Model of the Pulsar Navigation in the Theory of General Relativity [D]. Zhengzhou: Information Engineering University, 2012
[4] Winternitz L M B, Hassouneh M A, John G, et al. An X-Ray Navigation Ground Testbed[C]//The 27th Space Simulation Conference, Annapolis, Maryland, USA, 2012
[5] Winternitz L M B, Hassouneh M A, Mitchell J W, et al. X-Ray Pulsar Navigation Algorithms and Test-bed for SEXTANT[C]//IEEE Aerospace Conference on Big Sky, Montana, USA, 2015
[6] Jason M, Keith G. X-Ray Pulsar Navigation(XNAV) for Deep-Space Autonomous Applications[R]. SCaN Navigation Workshop, NASA/GSFC, USA, 2017
[7] 孙守明. 基于X射线脉冲星的航天器自主导航方法研究[D]. 长沙: 国防科学技术大学, 2011 Sun Shouming. Study on Autonomous Navigation Method of Spacecraft Based on X-Ray Pulsars[D]. Changsha: National University of Defense Technology, 2011
[8] 刘利, 郑伟, 汤国建, 等. 基于X射线脉冲星的导航半实物仿真系统[J]. 国防科技大学学报, 2012, 34(5): 10-14 doi: 10.3969/j.issn.1001-2486.2012.05.003 Liu Li, Zheng Wei, Tang Guojian, et al. The Hardware-in-Loop Simulation System of X-Ray-Pulsars-Based Navigation[J]. Journal of National University of Defense Technology, 2012, 34(5): 10-14 doi: 10.3969/j.issn.1001-2486.2012.05.003
[9] 胡慧君, 赵宝升, 盛立志, 等. 基于X射线脉冲星导航的地面模拟系统研究[J]. 物理学报, 2011, 60(2): 853-861 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201102127.htm Hu Huijun, Zhao Baosheng, Sheng Lizhi, et al. A Simulation Experiment System for X-Ray Pulsar Based Navigation[J]. Acta Physica Sinica, 2011, 60(2): 853-861 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201102127.htm
[10] 盛立志. X射线脉冲星信号模拟源及探测器关键技术研究[D]. 西安: 中国科学院西安光学精密机械研究所, 2013 Sheng Lizhi. Research of Key Technologies for X-Ray Pulsar Simulation and X-Ray Detector[D]. Xi'an: Xi'an Institute of Optics and Precision Mechanics of CAS, 2013
[11] 周庆勇, 姬剑锋, 任红飞. 非等间隔计时数据的X射线脉冲星周期快速搜索算法[J]. 物理学报, 2013, 62(1): 525-532 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201301081.htm Zhou Qingyong, Ji Jianfeng, Ren Hongfei. Quick Search Algorithm of X-Ray Pulsar Period Based on Unevenly Spaced Timing Data[J]. Acta Physica Sinica, 2013, 62(1): 525-532 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201301081.htm
[12] 苏哲, 许录平, 王婷. X射线脉冲星导航半物理仿真实验系统研究[J]. 物理学报, 2011, 60(11): 819-826 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201111126.htm Su Zhe, Xu Luping, Wang Ting. X-Ray Pulsar-Based Navigation Semi-Physical Simulation Experiment System[J]. Acta Physica Sinica, 2011, 60 (11): 819-826 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201111126.htm
[13] 孙海峰, 谢楷, 李小平, 等. 高稳定度X射线脉冲星信号模拟[J]. 物理学报, 2013, 62(10): 518-528 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201310079.htm Sun Haifeng, Xie Kai, Li Xiaoping, et al. A Simulation Technique of X-Ray Pulsar Signals with High Timing Stability[J]. Acta Physica Sinica, 2013, 62 (10): 518-528 http://www.cnki.com.cn/Article/CJFDTotal-WLXB201310079.htm
[14] Sale J, Urruela A, Villares X, et al. Feasibility Study for a Spacecraft Navigation System Relying on Pulsar Timing Information[R/OL]. [2004-06-23]. http://www.esa.int/act
[15] Emadzadeh A A, Speyer J L. Navigation in Space by X-Ray Pulsars[M]. New York, USA: Springer, 2011
[16] 李建勋, 柯熙政. 基于泊松模型的X射线脉冲星信号的最大似然TOA估计[J]. 天文学报, 2010, 51(3): 263-271 http://www.cnki.com.cn/article/cjfdtotal-twxb201003008.htm Li Jianxun, Ke Xizheng. The Maximum-Likelihood Estimate of TOA Accuracy for X-Ray Pulsar Signal Based on Poisson Process[J]. Acta Astronomica Sinica, 2010, 51(3): 263-271 http://www.cnki.com.cn/article/cjfdtotal-twxb201003008.htm
[17] Yu W H. Application of X-Ray Pulsar Navigation: A Characterization of the Earth Orbit Trade Space [C]//The 29th International Technical Meeting of the Satellite Division of the Institute of Navigation, Portland, USA, 2016
[18] 桂先洲, 黄森林, 孙晨. 重构X射线脉冲星信号的纯数值模拟新算法[J]. 国防科技大学学报, 2015, 37(2): 143-148 http://www.cnki.com.cn/Article/CJFDTotal-GFKJ201502026.htm Gui Xianzhou, Huang Senlin, Sun Chen. A New Numerical Simulation Algorithm for the Reconstruction of X-Ray Pulsar Signal[J]. Journal of National University of Defense Technology, 2015, 37(2): 143-148 http://www.cnki.com.cn/Article/CJFDTotal-GFKJ201502026.htm
[19] 傅征祥, 粟生平, 王晓青. 地震发生非稳态泊松过程和中长期概率预测研究[J]. 地震, 1998, 18(2): 105-111 Fu Zhengxiang, Su Shengping, Wang Xiaoqing. Non-stationary Poisson Process of Earthquake Occurrence and Research on Long-and Medium-Term Probabilistic Earthquake Prediction[J]. Earthquake, 1998, 18(2): 105-111
-
期刊类型引用(3)
1. 戴佳乐,汪金花,李孟倩,韩秀丽,缪若梵. 混合光谱曲线的Fast ICA盲源解混及影响因子研究. 光谱学与光谱分析. 2024(05): 1312-1320 . 百度学术
2. 刘雪松,姚玲,彭天亮. 低秩约束核非负张量分解在高光谱解混中的应用. 铜陵学院学报. 2023(05): 99-104 . 百度学术
3. 王媛,阿里甫·库尔班,李均力,吕亚龙,阿依加马力·克然木. 多模态模型的胡杨林语义信息描述与识别. 计算机工程与设计. 2019(07): 1978-1983 . 百度学术
其他类型引用(7)