If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.

如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。

youdao

This paper analyzes the new type of method for localizing the source using the excitation information in speech, and presents the theory of time-delay estimation based on the EGCI.

论文分析了基于语音激励信息的时间延迟算法分类，描述了基于EGCI的时延估计方法基本原理。

youdao