inversion formula

inversion formula的基本解释

-

反演公式

-

反推公式

与inversion formula相关的网络例句 [注：此内容来源于网络，仅供参考]

These results show that:(1) the results retrieved from the Abel integral and absolute TEC inversion are consistent on the whole at higher orbits altitude (~800 km), and in good agreement with those measured by ionosondes; the results retrieved from absolute TEC inversion are in better agreement with those obtained from ionosondes than that by the Abel integral inversion at lower orbits attitude (~500 km);(2) the maximal electron density N m from absolute TEC inversion is closer to N mF2 from ionosondes than that from Abel integral inversion, and the method of the former is more rigorous and effective than that of the latter;(3) absolute TEC is more sensitive to cycle slip than Abel integral, but for the two ways significant loss of inversion precision due to cycle slip always exists.

结果表明：（1）在较高轨道高度（约800 km），Abel积分与绝对TEC方法的反演结果基本一致，都与电离层测高仪反演结果符合良好；在较低轨道高度（约500 km），绝对TEC反演精度优于Abel积分反演精度；（2）绝对TEC反演的最大电子密度 N m较Abel积分法获得的结果更接近于电离层测高获得的峰值电子密度 N mF2，绝对TEC反演法更加严密和有效；（3）周跳对绝对TEC反演结果的影响较Abel积分反演结果的影响更为敏感，但无论哪种方法，周跳对反演精度都造成严重损失。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Based on the prior information obtained by qualitative inversion, the two stages inversion method was put forward. That is, the first stage is that distinguishing the high-quality element and non- high-quality element, and determining the initial iteration value of element sound velocity reasonably. The second stage is that treating differentially the constraint weights of the high-quality element and non- high-quality element, and then quantitatively inversing the final sound velocity distribution. The results of two concrete specimens indicate that the two stages inversion method can inhibit artifacts effectively and has better defect identification effect than normal one stage inversion.

在获取定性反演先验信息的基础上，提出了两阶段反演的方法：第一阶段，区分优质像元和非优质像元，合理确定像元声速的迭代初值；第二阶段，区别对待优质像元和非优质像元的约束权重，定量反演最终的速度分布。2个混凝土试件的模型试验表明，两阶段反演能有效抑制伪像，具有比常规的一阶段反演更好的缺陷识别效果。

与inversion formula相关的网络解释 [注：此内容来源于网络，仅供参考]

inversion formula：反演公式

inversion 反演 | inversion formula 反演公式 | inversion of a point 点的反演

inversion formula：反算公式

inversion 倒转 | inversion formula 反算公式 | inversion of air temperature 空气温度逆增

inversion formula：反转公式

2179. inversion density 反转载流密度 | 2180. inversion formula 反转公式 | 2181. inversion layer 反型层

inversion formula：反转公式=>反転公式

inversion fog 逆温雾 | inversion formula 反转公式=>反転公式 | inversion formula for Fourier transform 傅里叶变换式的反变换

Fourier inversion formula：傅里叶反变换公式

Fourier integral 傅里叶积分 | Fourier inversion formula 傅里叶反变换公式 | Fourier number 傅立叶数