查询词典 linkage 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]。

The work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。