A data-aided technique for cartier frequency offset estimation with continuous phase modulation （CPM） in burst- mode transmission is presented. The proposed technique first exploits a special pilot sequence, or trai...A data-aided technique for cartier frequency offset estimation with continuous phase modulation （CPM） in burst- mode transmission is presented. The proposed technique first exploits a special pilot sequence, or training sequence, to form a sinusoidal waveform. Then, an improved dichotomous search frequency offset estimator is introduced to determine the frequency offset using the sinusoid. Theoretical analysis and simulation results indicate that our estimator is noteworthy in the following aspects. First, the estimator can operate independently of timing recovery. Second, it has relatively low outlier, i.e., the minimum signal-to-noise ratio （SNR） required to guarantee estimation accuracy. Finally, the most important property is that our estimator is complexity-reduced compared to the existing dichotomous search methods： it eliminates the need for fast Fourier transform （FFT） and modulation removal, and exhibits faster convergence rate without accuracy degradation.展开更多
Automated theorem proving on inequalities is always considered asa difficult topic in the area of automated reasoning. The relevallt algorithms dependfundamentally on real algebra and real geometry, and the computatio...Automated theorem proving on inequalities is always considered asa difficult topic in the area of automated reasoning. The relevallt algorithms dependfundamentally on real algebra and real geometry, and the computational complexityincreases very quickly with the dimension, that is, the number of parameters. Somewell-known algorithms are complete theoretically but inefficient in practice, whichcannot verify non-trivial propositions in batches. A dimension- decreasing algorit hmpresellted here can treat radicals efficiently and make the dimensions the lowest.Based upon this algorithm, a generic program called 'BOTTEMA' was implementedon a personal computer. More than 1000 algebraic and geometric inequalities includ-ing hundreds of open problems have been verified in this way. This makes it possibleto check a finite many inequalities instead of solving a globaloptimization problem.展开更多
基金supported by the National Natural Science Foundation of China(Grant No.61301179)the Doctorial Programs Foundation of the Ministry of Education,China(Grant No.20110203110011)the Programme of Introducing Talents of Discipline to Universities,China(Grant No.B08038)
文摘A data-aided technique for cartier frequency offset estimation with continuous phase modulation （CPM） in burst- mode transmission is presented. The proposed technique first exploits a special pilot sequence, or training sequence, to form a sinusoidal waveform. Then, an improved dichotomous search frequency offset estimator is introduced to determine the frequency offset using the sinusoid. Theoretical analysis and simulation results indicate that our estimator is noteworthy in the following aspects. First, the estimator can operate independently of timing recovery. Second, it has relatively low outlier, i.e., the minimum signal-to-noise ratio （SNR） required to guarantee estimation accuracy. Finally, the most important property is that our estimator is complexity-reduced compared to the existing dichotomous search methods： it eliminates the need for fast Fourier transform （FFT） and modulation removal, and exhibits faster convergence rate without accuracy degradation.
文摘Automated theorem proving on inequalities is always considered asa difficult topic in the area of automated reasoning. The relevallt algorithms dependfundamentally on real algebra and real geometry, and the computational complexityincreases very quickly with the dimension, that is, the number of parameters. Somewell-known algorithms are complete theoretically but inefficient in practice, whichcannot verify non-trivial propositions in batches. A dimension- decreasing algorit hmpresellted here can treat radicals efficiently and make the dimensions the lowest.Based upon this algorithm, a generic program called 'BOTTEMA' was implementedon a personal computer. More than 1000 algebraic and geometric inequalities includ-ing hundreds of open problems have been verified in this way. This makes it possibleto check a finite many inequalities instead of solving a globaloptimization problem.
