Considering the joint effects of various factors such as temporal baseline, spatial baseline, thermal noise, the difference of Doppler centroid frequency and the error of data processing on the interference correlatio...Considering the joint effects of various factors such as temporal baseline, spatial baseline, thermal noise, the difference of Doppler centroid frequency and the error of data processing on the interference correlation, an optimum selection method of common master images for ground deformation monitoring based on the permanent scatterer and differential SAR interferometry （PS-DInSAR） technique is proposed, in which the joint correlation coeficient is used as the evaluation function. The principle and realization method of PS-DInSAR technology is introduced, the factors affecting the DInSAR correlation are analysed, and the joint correlation function model and its solution are presented. Finally an experiment for the optimum selection of common master images is performed by using 25 SAR images over Shanghai taken by the ERS-1/2 as test data. The results indicate that the optimum selection method for PS-DInSAR common master images is effective and reliable.展开更多
A new incremental clustering framework is presented, the basis of which is the induction as inverted deduction. Induction is inherently risky because it is not truth-preserving. If the clustering is considered as an i...A new incremental clustering framework is presented, the basis of which is the induction as inverted deduction. Induction is inherently risky because it is not truth-preserving. If the clustering is considered as an induction process, the key to build a valid clustering is to minimize the risk of clustering. From the viewpoint of modal logic, the clustering can be described as Kripke frames and Kripke models which are reflexive and symmetric. Based on the theory of modal logic, its properties can be described by system B in syntax. Thus, the risk of clustering can be calculated by the deduction relation of system B and proximity induction theorem described. Since the new proposed framework imposes no additional restrictive conditions of clustering algorithm, it is therefore a universal framework. An incremental clustering algorithm can be easily constructed by this framework from any given nonincremental clustering algorithm. The experiments show that the lower the a priori risk is, the more effective this framework is. It can be demonstrated that this framework is generally valid.展开更多
文摘Considering the joint effects of various factors such as temporal baseline, spatial baseline, thermal noise, the difference of Doppler centroid frequency and the error of data processing on the interference correlation, an optimum selection method of common master images for ground deformation monitoring based on the permanent scatterer and differential SAR interferometry （PS-DInSAR） technique is proposed, in which the joint correlation coeficient is used as the evaluation function. The principle and realization method of PS-DInSAR technology is introduced, the factors affecting the DInSAR correlation are analysed, and the joint correlation function model and its solution are presented. Finally an experiment for the optimum selection of common master images is performed by using 25 SAR images over Shanghai taken by the ERS-1/2 as test data. The results indicate that the optimum selection method for PS-DInSAR common master images is effective and reliable.
基金supported by the National High-Tech Research and Development Program of China(2006AA12A106).
文摘A new incremental clustering framework is presented, the basis of which is the induction as inverted deduction. Induction is inherently risky because it is not truth-preserving. If the clustering is considered as an induction process, the key to build a valid clustering is to minimize the risk of clustering. From the viewpoint of modal logic, the clustering can be described as Kripke frames and Kripke models which are reflexive and symmetric. Based on the theory of modal logic, its properties can be described by system B in syntax. Thus, the risk of clustering can be calculated by the deduction relation of system B and proximity induction theorem described. Since the new proposed framework imposes no additional restrictive conditions of clustering algorithm, it is therefore a universal framework. An incremental clustering algorithm can be easily constructed by this framework from any given nonincremental clustering algorithm. The experiments show that the lower the a priori risk is, the more effective this framework is. It can be demonstrated that this framework is generally valid.
