查询词典 formula

A general model supporting the most commonly used scheduling algorithms for multi-core CPU is constructed by a PTL formula S, and the desired property of the system is described by a PTL formula F, then whether the system possesses the property can be identified by proving whether or not S implying P is a theorem based on the axiomatization of PTL.

使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S，并将系统期望的性质描述为PTL公式P，在PTL公理系统的基础上，通过证明S蕴含P是否为一个定理来验证系统是否具备该性质。

The program developed with the formula enable the coordinates for points and the parametric formula for curves in the orthographic projection to be transferred into ones in the axonometric projection, which can be directly displayed on the screen. In addition, except for assigned different values to elastic coefficient of the axial direction and the angles of the axes, it is generally adapted in drawing any of the axonometric projections.

用它编程，可以把正投影中点的坐标或曲线的参数方程，转换成屏幕上能够直接显示点的轴测投影的坐标或曲线的轴测投影的参数方程，而且除了赋轴向伸缩系数和轴间角的大小、正负不同的参数值外，对绘任一种轴测投影和相应正投影都具有通用性。

The formula of total probability ,conditional probability and bayes formula are elementary formulas of probability theory.

指出了全概率公式、条件概率及贝叶斯公式在实际应用中与其理论上的矛盾，从应用的角度重新叙述并精确论证了这些公式，弥补了原理论上的不

The application of total probability formula and Bayes formula for sample space on which two disservements and these formulas of the sample space have proved.

讨论了样本空间有不同划分时全概公式和贝叶斯公式的应用方法，给出了样本空间有两种划分时全概公式和贝叶斯公式的证明。

Then we use the diagram of Venn to analyse and predigest the theorem proof. And it is also used in probability addition and multiply、conditional probability、total probability formula、 Bayes formula to simplify the calculation of probability. So it is easy to understand and master.

进而利用Venn图分析、简化概率性质的证明以及Venn图在概率的加法与乘法、条件概率、全概率公式和贝叶斯公式中的应用，简化概率的计算，便于学习者理解和掌握。

Uses of Bayes formula in statistical Decisions;2. Considering the influence of the distorted information on fault location,a method for fault location in distribution network is presented based on Bayes formula .

从解决配电网故障信息发生畸变影响故障定位入手，提出了一种运用贝叶斯公式的配电网故障定位方法，并建立了利用贝叶斯公式最大显著度条件的故障定位模型。

When a new message is encountered, the filter strips this message down to tokens, compares it to the database, and applies a formula based on the British scientist Alan Bayes' formula for probability calculation.

当遇到一个新的讯息是，这个信息过滤片降至纪念品，比喻为数据库一、适用的英国科学家艾伦根据公式贝叶斯公式计算概率。

By means of formula of orifice come out, Bernoulli equation, formula of discharge along way and law of lose, general group of equation of discharge flow was established.

运用孔口出流公式、伯努力方程、沿途泄流公式及损失规律，建立了泄流管路的通用方程组。

Using the formula about the magnetic flux density induced by coil which deduced by Biot-Savart law,this paper deduces the formula about random point's magnetic flux density of hollow column solenoid and deduces the formulas about axial specific magnetic force and radial specific magnetic force by using the field gradient expression of binary function and the expression of specific magnetic force .

利用二元函数的梯度公式及比磁力公式可以得到磁性颗粒在厚壁圆环线圈所产生的磁场任意点的比磁力的轴向分量和径向分量。

However, Marshall[1] derived the Planck's black body radiation formula from classical theory without any quantum hypothesizes, and also She[2,3] derived directly the quantization of light energy in vacuum and the Planck radiation formula from classical electromagnetic theory.

可是，英国科学家Marshall却不借助任何量子假设而仅仅依靠经典理论就导出了Planck的黑体辐射公式[1]，中国科学家She也不依靠任何量子理论而仅仅根据经典理论就直接导出了真空中光能量的量子化，还能顺利导出Planck的黑体辐射公式[2，3]。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。