Based on the asymptotic spectral distribution of Wigner matrices, a new normality test method is proposed via reforming the white noise sequence. In this work, the asymptotic cumulative distribution function （CDF） o...Based on the asymptotic spectral distribution of Wigner matrices, a new normality test method is proposed via reforming the white noise sequence. In this work, the asymptotic cumulative distribution function （CDF） of eigenvalues of the Wigner matrix is deduced. A numerical Kullback-Leibler divergence of the empiric-d spectral CDF based on test samples from the deduced asymptotic CDF is established, which is treated as the test statistic. For validating the superiority of our proposed normality test, we apply the method to weak SIPSK signal detection in the single-input single-output （SISO） system and the single-input multiple-output （SIMO） system. By comparing with other common normality tests and the existing signal detection methods, simulation results show that the proposed method is superior and robust.展开更多
Based on radon gas properties and its existing projects applications, we firstly attempted to apply geo- physical and chemical properties of radon gas in the field of mining engineering, and imported radioac- tive mea...Based on radon gas properties and its existing projects applications, we firstly attempted to apply geo- physical and chemical properties of radon gas in the field of mining engineering, and imported radioac- tive measurement method to detect the development process of the overlying strata mining-induced fractures and their contained water quality in underground coal mining, which not only innovates a more simple-fast-reliable detection method, but also further expands the applications of radon gas detection technology in mining field. A 3D simulation design of comprehensive testing system for detecting strata mining-induced fractures on surface with radon gas (CTSR) was carried out by using a large-scale 3D solid model design software Pro/Engineer (Pro/E), which overcame three main disadvantages of ''static design thought, 2D planar design and heavy workload for remodification design'' on exiting design for mining engineering test systems. Meanwhile, based on the simulation design results of Pro/E software, the sta- bility of the jack-screw pressure bar for the key component in CTSR was checked with a material mechan- ics theory, which provided a reliable basis for materials selection during the latter machining process.展开更多
To generate test vector sets that can efficiently activate hardware Trojans and improve probability of the hardware Trojan activation,an efficient hardware Trojan activation method is proposed based on greedy algorith...To generate test vector sets that can efficiently activate hardware Trojans and improve probability of the hardware Trojan activation,an efficient hardware Trojan activation method is proposed based on greedy algorithm for combinatorial hardware Trojans. Based on the greedy algorithm and the recursive construction method in the combination test,the method formulates appropriate and useful greedy strategy and generates test vector sets with different combinatorial correlation coefficients to activate hardware Trojans in target circuits. The experiment was carried out based on advanced encryption standard（ AES） hardware encryption circuit,different combinatorial hardware Trojans were implanted in AES as target circuits,the experiment of detecting hardware Trojans in target circuits was performed by applying the proposed method and different combinatorial hardware Trojans in target circuits were activated successfully many times in the experiment. The experimental results showthat the test vector sets generated using the proposed method could effectively activate combinatorial hardware Trojans,improve the probability of the hardware Trojan being activated,and also be applied to practice.展开更多
基金Supported by the National Natural Science Foundation of China under Grant No 61371170the Fundamental Research Funds for the Central Universities under Grant Nos NP2015404 and NS2016038+1 种基金the Aeronautical Science Foundation of China under Grant No 20152052028the Funding of Jiangsu Innovation Program for Graduate Education under Grant No KYLX15_0282
文摘Based on the asymptotic spectral distribution of Wigner matrices, a new normality test method is proposed via reforming the white noise sequence. In this work, the asymptotic cumulative distribution function （CDF） of eigenvalues of the Wigner matrix is deduced. A numerical Kullback-Leibler divergence of the empiric-d spectral CDF based on test samples from the deduced asymptotic CDF is established, which is treated as the test statistic. For validating the superiority of our proposed normality test, we apply the method to weak SIPSK signal detection in the single-input single-output （SISO） system and the single-input multiple-output （SIMO） system. By comparing with other common normality tests and the existing signal detection methods, simulation results show that the proposed method is superior and robust.
基金support for this work provided by the Fundamental Research Funds for the Central Universities(China University of Mining & Technology) (No. 2010ZDP02B02)the State Key Laboratory of Coal Resources and Safe Mining(No. SKLCRSM08X02)
文摘Based on radon gas properties and its existing projects applications, we firstly attempted to apply geo- physical and chemical properties of radon gas in the field of mining engineering, and imported radioac- tive measurement method to detect the development process of the overlying strata mining-induced fractures and their contained water quality in underground coal mining, which not only innovates a more simple-fast-reliable detection method, but also further expands the applications of radon gas detection technology in mining field. A 3D simulation design of comprehensive testing system for detecting strata mining-induced fractures on surface with radon gas (CTSR) was carried out by using a large-scale 3D solid model design software Pro/Engineer (Pro/E), which overcame three main disadvantages of ''static design thought, 2D planar design and heavy workload for remodification design'' on exiting design for mining engineering test systems. Meanwhile, based on the simulation design results of Pro/E software, the sta- bility of the jack-screw pressure bar for the key component in CTSR was checked with a material mechan- ics theory, which provided a reliable basis for materials selection during the latter machining process.
文摘To generate test vector sets that can efficiently activate hardware Trojans and improve probability of the hardware Trojan activation,an efficient hardware Trojan activation method is proposed based on greedy algorithm for combinatorial hardware Trojans. Based on the greedy algorithm and the recursive construction method in the combination test,the method formulates appropriate and useful greedy strategy and generates test vector sets with different combinatorial correlation coefficients to activate hardware Trojans in target circuits. The experiment was carried out based on advanced encryption standard（ AES） hardware encryption circuit,different combinatorial hardware Trojans were implanted in AES as target circuits,the experiment of detecting hardware Trojans in target circuits was performed by applying the proposed method and different combinatorial hardware Trojans in target circuits were activated successfully many times in the experiment. The experimental results showthat the test vector sets generated using the proposed method could effectively activate combinatorial hardware Trojans,improve the probability of the hardware Trojan being activated,and also be applied to practice.
