查询词典 verification

Chapter 4 describes the design flow of international terminal and the application scope of verification tool for fire protection and shelter.

第四章对国际航厦的设计流程进行说明，架构防火避难验证工具的应用范围。

Asset appraisal report and capital verification report.

资产评估报告和验资报告。

Iv the assets appraisal report and capital verification report.

资产评估报告和验资报告。

The approximation theorem of the rough neural network is proved. Then the method is applied to the fault verification of fighter plane, the simulation results show that the rough neural network is efficient.

最后将此方法应用于歼击机的故障认定系统，仿真结果表示，此粗糙神经网络可以很好地对具有区间数的歼击机故障认定系统进行故障认定。

The main researching includes the following:1、 In face detection, the method combining with local feature and apriority knowledge is adopted based on hypothesis-verification framework.

采用了基于局部特征和基于知识相结合的"假设—验证"人脸检测算法，前者用于生成人脸假设，后者用于人脸假设验证。

Responsible for the organization of ASPCA animal abuse investigation and verification of the law "and" the person punished.

ASPCA组织负责对各种虐待动物的事情进行调查、核实并使"犯法"之人受到惩罚。

Finally we can write out the verification condition of a path according to some rule, depending on assertion of the path's start point, assertion of the path's end point, condition expression and assignment statement of the path.

最后，有了路径起始断点的断言，路径的条件表达式、赋值语句，路径的终止断点的断言，按照一定的规则就写出了这条路经所对应的验证公式。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Electronic commerce ; security ; atomicity ; privacy ; verification

电子商务；安全；原子；隐私；验证

Research samples were limited to the attainability of integral financial information during the research period. Correlation Analysis and Multiple Regression Analysis were adopted as the verification methods to explore the influences of textile companies' attributions to their company capital structures.

研究样本以能取得研究期间内完整财务资料者为限，分别以相关分析法与多元回归分析法作为实证研究之方法，探讨纺织纤维业公司其不同属性对公司资本结构之影响。

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