In this paper, the modification of double Laplace decomposition method is pro- posed for the analytical approximation solution of a coupled system of pseudo-parabolic equation with initial conditions. Some examples ar...In this paper, the modification of double Laplace decomposition method is pro- posed for the analytical approximation solution of a coupled system of pseudo-parabolic equation with initial conditions. Some examples are given to support our presented method. In addition, we prove the convergence of double Laplace transform decomposition method applied to our problems.展开更多
A computationally efficient soft-output detector with lattice-reduction （LR） for the multiple-input multiple-output （MIMO） systems is proposed. In the proposed scheme, the sorted QR de- composition is applied on t...A computationally efficient soft-output detector with lattice-reduction （LR） for the multiple-input multiple-output （MIMO） systems is proposed. In the proposed scheme, the sorted QR de- composition is applied on the lattice-reduced equivalent channel to obtain the tree structure. With the aid of the boundary control, the stack algorithm searches a small part of the whole search tree to generate a handful of candidate lists in the reduced lattice. The proposed soft-output algorithm achieves near-optimal perfor- mance in a coded MIMO system and the associated computational complexity is substantially lower than that of previously proposed methods.展开更多
Based on the target scatterer density, the range-spread target detection of high-resolution radar is addressed in additive non-Gaussian clutter, which is modeled as a spherically invariant random vector. Firstly, for ...Based on the target scatterer density, the range-spread target detection of high-resolution radar is addressed in additive non-Gaussian clutter, which is modeled as a spherically invariant random vector. Firstly, for sparse scatterer density, the detection of target scatterer in each range cell is derived, and then an M/K detector is proposed to detect the whole range-spread target. Se- condly, an integrating detector is devised to detect a range-spread target with dense scatterer density. Finally, to make the best of the advantages of M/K detector and integrating detector, a robust detector based on scatterer density （DBSD） is designed, which can reduce the probable collapsing loss or quantization error ef- fectively. Moreover, the density decision factor of DBSD is also determined. The formula of the false alarm probability is derived for DBSD. It is proved that the DBSD ensures a constant false alarm rate property. Furthermore, the computational results indi- cate that the DBSD is robust to different clutter one-lag correlations and target scatterer densities. It is also shown that the DBSD out- performs the existing scatterer-density-dependent detector.展开更多
Based on the analysis of status quo of metadata technology and the informationized freezing construction of an auxiliary shaft in Longgu mine, the necessity and feasibility of applying metadata standards for informati...Based on the analysis of status quo of metadata technology and the informationized freezing construction of an auxiliary shaft in Longgu mine, the necessity and feasibility of applying metadata standards for informationized construction is discussed. The prototype of metadata standard for the construction is designed and established by using a modeling method, and the framework with XML/RDF for such standard is given.展开更多
文摘In this paper, the modification of double Laplace decomposition method is pro- posed for the analytical approximation solution of a coupled system of pseudo-parabolic equation with initial conditions. Some examples are given to support our presented method. In addition, we prove the convergence of double Laplace transform decomposition method applied to our problems.
文摘A computationally efficient soft-output detector with lattice-reduction （LR） for the multiple-input multiple-output （MIMO） systems is proposed. In the proposed scheme, the sorted QR de- composition is applied on the lattice-reduced equivalent channel to obtain the tree structure. With the aid of the boundary control, the stack algorithm searches a small part of the whole search tree to generate a handful of candidate lists in the reduced lattice. The proposed soft-output algorithm achieves near-optimal perfor- mance in a coded MIMO system and the associated computational complexity is substantially lower than that of previously proposed methods.
基金supported by the National Natural Science Foundation of China (61102166)the Scientific Research Foundation of Naval Aeronautical and Astronautical University for Young Scholars (HY2012)
文摘Based on the target scatterer density, the range-spread target detection of high-resolution radar is addressed in additive non-Gaussian clutter, which is modeled as a spherically invariant random vector. Firstly, for sparse scatterer density, the detection of target scatterer in each range cell is derived, and then an M/K detector is proposed to detect the whole range-spread target. Se- condly, an integrating detector is devised to detect a range-spread target with dense scatterer density. Finally, to make the best of the advantages of M/K detector and integrating detector, a robust detector based on scatterer density （DBSD） is designed, which can reduce the probable collapsing loss or quantization error ef- fectively. Moreover, the density decision factor of DBSD is also determined. The formula of the false alarm probability is derived for DBSD. It is proved that the DBSD ensures a constant false alarm rate property. Furthermore, the computational results indi- cate that the DBSD is robust to different clutter one-lag correlations and target scatterer densities. It is also shown that the DBSD out- performs the existing scatterer-density-dependent detector.
文摘Based on the analysis of status quo of metadata technology and the informationized freezing construction of an auxiliary shaft in Longgu mine, the necessity and feasibility of applying metadata standards for informationized construction is discussed. The prototype of metadata standard for the construction is designed and established by using a modeling method, and the framework with XML/RDF for such standard is given.
