查询词典 verifying

The experiment results show that this method is an effective and easy-master FSPM specifying and verifying method.

实践表明LFSV是一种有效的、容易掌握的FSPM规格说明和验证方法。

And to verify the blood flow rate measurement system, we design a verifying experiment. By using hydraulic system to generate the test flow, we complete the engineering verification of the multi- functional sphygmograph blood flow rate measurement system.

此外，为改善现有线性弹性管血流量公式，并配合非线性动态血液顺应性，本研究推导一非线性血流量公式，同时建立测试流量产生平台，来产生此量测模式所需之测试流量，并建立测试实验来验证此一量测模式之可行性。

The operating method of verifying high class standard cell with DVM is introduced.

介绍了用数字电压表检定高等级标准电池的操作方法，并对其测量不确定度进行了分析与评定。

Article 15 All localities, departments and units shall strengthen the system of examining and verifying statistical data to ensure the accuracy and timeliness of statistical data

第十五条各地方、各部门、各单位应当健全统计资料的审核制度，保障统计资料的准确性和及时性

What we can more comfortably say is that a statement in positive economics (e.g., price/wage stickiness causes unemployment) can be corroborated or rejected by looking at the facts because a scientific approach can be taken in verifying it (through statistical analysis such as hypothesis testing).

或许，比较准确的说法是，客观经济学（如当你说，价格/工资黏性造成失业）可以经过科学系统化的求证（如通过统计分析的假说验定）后予以接受或排除。

To verify your income, you'll need to provide either your current pay stubs or a letter from your employer and a copy of your bank statements verifying it.

要验证您的收入，您需要提供您的当前工资存根或您的雇主信和一份您的银行对帐单证实的情况。

Experiments and analyses are made on the relation between raw silk size and frictional force producing when strand silk passes through the gap of gauge wheel, thus verifying that the finest she of automatically reeled silk is affected by such factors as length of croisure, subtense central distance .

讨论分析了丝条通过隔距轮的隔距间隙所产生的摩擦力与生丝纤度的关系；并通过实验，证实了丝鞘的长短、弦心距的大小、隔距轮的清洁状态都将影响自动缫生丝细限纤度的大小。

While symbols are not uploadable (due to the crushing burden that places on the customer representatives in verifying that the images are acceptable), they are heavily customizable: as of now, there are two colors per tabard (with 20 choices per color, with a different set of 20 for foreground color and background color), one symbol per tabard (from 40 choices), and one border per tabard (from 20 choices), giving a dizzying array of choices for the guilds.

由于公会的标志是不能上传的(因为用于辨别标志的系统很可能会因为载重过大而坏掉)，他们都是被硬性定做的：现在来说每个旗帜会有2种组成颜色（每个颜色有20种选择，由20种前景颜色和背景颜色组成不同的组合），每个旗帜有一个标志（从40种中选择）和一个花边（从20种中选择）。这些选择让旗帜有了一大堆使人眼花缭乱的组合。

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

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 间期延长的机制。