查询词典 refutable formula

The formula relation trees are reconstructed into MathML document on the basis of the realized relation trees generated from the formula symbols recognition and structure analysis programs.A formula editor is designed to re-edit and reuse formulas.

在已实现的公式符号识别与结构分析程序所生成的公式关系树基础上，将公式关系树重构为MathML文档，并设计公式编辑器，实现了公式的再编辑和重用。

The author deduced a formula to compute theaccidental coincidence of the random signals. With this formula thebackground due to the accidental coincidence of the μ chamber iscalculated.

推导了多个随机信号发生偶然符合的计数率计算公式，并用这个公式对L3μ漂移室产生的偶然符合本底进行了估算。

The problem of the error of calculation formula calculating the variance of grouping data within distances in statistics was put forward,and the concrete forms of correcting formula were given by the theorem of addition and the variance of even distribution.

提出统计学中的组距分组资料方差和标准差计算公式误差问题，由方差的加法定理和均匀分布方差给出分组资料方差计算和标准差计算的修正公式具体形式，并就均匀分布数列和正态分布数列组内方差平均数进行了讨论

If a formula gives an unintended output for a particular combination of inputs, then additional error trapping can be factored into the composed formula.

如果一个公式给出了意想不到的产量为某投入组合，然后附加误差俘获，可以考虑的因素组成的公式。

For this reason,this paper base actual data of the essence characteristic, to discuss calculate formula VaR means in the the aiguille and fat tail branch, and make use of the calculate formula to carry out demonstration analysis for the stock market.

为此 ，本文从实际数据的基本特征出发，讨论了 Va R方法在尖峰、胖尾分布中的计算公式，并使用该计算公式对我国证券市场的实际数据进行了实证分析。

Based on mechanism and vehicle theories theoretical analysis is pursued and normal driving conditions are put forward. The relations are analyzed between load distribution and power consumption. Mechanical formula is proposed. Furthermore in this paper the theoretical model of the total power consumption is established, and the relations of the total minimized power consumption with the air-cushion pressure and the fan revolution are discussed. The optimum operation point is put forward. The dynamic digital simulation studies are carried out on the operating procedure of the half-track air-cushion vehicle on soft terrain. Mechanical parameters and soil mechanics characteristics affecting vehicle power consumption and riding performance are analyzed. At the same time according to the model formula, the automation control problem is discussed. It is a theoretical instruction for further automation control.

本文还从力学和车辆原理的角度进行了理论分析，推导了半履带式气垫车的需求功率及正常行驶条件，研究了气垫压力和功率消耗之间的关系，提出了力学模型公式；建立了半履带式气垫车总功率消耗的理论模型，研究了最小功率消耗时功率与垫压及表征气垫车行驶状态的各参数的关系，分析了相应的影响因素，并提出了最佳工作状态的定义；同时进行了半履带式气垫车在软地面的行驶过程的动态数字仿真试验研究工作，对影响车辆功率消耗和行驶平顺性的各力学参数和土壤参数进行了分析，得到了各运行状态参数的变化规律，验证了最佳工作状态和最佳垫压的理论，根据力学模型公式对进一步的自动控制问题进行了探讨，为系统的控制提供了理论指导。

Then, to decide whether a propositional formula can be deduced from a finite set of such formulas,we only need to decide whether the polynomial vanishes on an algebraic variety which is related to this formula set.

从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数簇上消失。

To improve the precision of tree biomass parameter calculation, this paper explicates the principle, method and process to estimate the parameters of tree biomass by the nonlinear least square according to the formula of allometry method. It gives the formula to calculate the variance and covariance estimated parameters, and reveals the essence of logarithmic linearization regression of power function.

为了提高林木生物量参数的计算精度，根据林木相对生长公式，阐述用非线性最小二乘法求解生物量参数估值的原理、方法和过程；给出计算参数估值之方差与协方差的公式；揭示幂函数对数线性化回归的本质。

The calculations show that the principle formula error have small influence on the aberrations of an optical system, but as the stundard measurement of a refractive index, so great principle formula error is not allowable.

这样，虽然仪器本身具有高精度的测试性能，但原理公式误差大大地超过了仪器的测试精度，导致错误的测试结果。因此指出原理公式误差，评价其大小，重新推导测量绝对

The research contents mainly include: First, the influence of foundation constraint condition to the temperature stress is analyzed, the temperature stress formula of ultra-long concrete anchor plate is deduced, then the influence of length to structure crack can be gotten from the formula. Second, a breathing method is set up to solve the problem of temperature stress in ultra-long concrete constructions. By setting the sliding floor, a breathing system is built up and the temperature stress reduced distinctly. Third, the effect of prestress technique in the control of temperature stress is analyzed, it is simulated and calculated through FEA to get the right way to apply the prestress. Forth, the delay of temperature field and unsteady conduction is considered, the temperature field of ultra-long concrete structure with later poured band is simulated, then temperature stress distribution after casting the concrete is calculated, finally the effect of later poured band to temperature stress of ultra-long structure is analyzed.

本文的研究内容主要包括：(1)分析了基础约束对超长混凝土结构温度应力的影响，推导了超长混凝土地基板温度应力公式，从而得出长度对结构裂缝的影响；(2)针对超长混凝土裂缝问题，提出了一种可呼吸的解决方法，通过设置滑动层，使结构成为一种"可呼吸"体系，从而有效的降低温度应力；(3)分析了预应力技术在控制超长结构温度应力中的作用，通过有限元模拟计算，得到合理的预应力施加方式；(4)考虑温度场的滞后效应及不稳定传导，对带后浇带超长混凝土结构浇注后的温度场仿真模拟，计算浇注后的温度应力分布，分析后浇带对超长结构温度应力的影响。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。