查询词典 validated

After that, the model is validated safety and reliable by using the State Matrix Equation of the Petri network. According to the theory that the State Topological Map of Petri Network and Markov chain are isomorphous, the Markov chain of the model is deduced, by which some function indexes such as marked density of probability, average token-number, and usage of transformation can be calculated.

同时，本文运用Petri网系统的状态矩阵方程的方法对模型进行了可达性验证，经验证该模型是安全可达的，并根据随机Petri网的状态图同构马尔可夫链的原理，获得该模型的马尔可夫链，运用该MC链分析了模型的标记概率密度、位置中的平均标记数以及变迁的利用率等性能指标。

Between 1993 and 1995, the Jet Propulsion Laboratory developed a number of prototype devices, which validated the key features of the technology.

在1993年到1995年期间，喷气推进实验室开发了一系列原型装置，验证了技术上的关键性能。

A multi-level hierarchical image representation that preserves topological relation equivalency and a set of well-complete functional architecture that efficiently reflects this representation are presented, and the digital Jordan curve theorem is validated.

基于复形理论定义了数字图像空间的拓扑元素及其性质，在此基础上提出一套完备的保持拓扑等价性的层次表达数字图像的数学模型体系框架，并验证了层次表达结构中的Jordan曲线定理。

Finally, the treated oil shale had a kerogen content of 71.6％ and the kerogen was validated by FT-IR.

最后得到了含量为71.6％的干酪根，并经FT-IR验证。

Finally, the software is validated through the example and a dynamic response instance of the laneway under the seismic load is given out.

最后，通过算例验证了软件的正确性，并给出了巷道受地震作用的实例。

The results were validated in terms of the analytic solution in frequency domain. The effect of laneway is existent which would be further studied in 3D model space.

用频率域的解析解验证了该公式的正确性，并对比了巷道有无时场的变化情况，说明了巷道的影响是客观存在的，应在3D模型空间中进一步研究。

Finally,through experiment validated,latency event,which is extracted by this method,is chance.

最后，通过实验验证，用该算法提取的潜在事件是机会。

Based on minus latent root to estimate stability,mathematical model of every element in system and the calcuating way about static state stability are introduced and the feasibility of this way is validated by using a calculation instance.

应用劳斯稳定判据原理和小振荡法原理对含风力发电机的电力系统建立了各元件的数学模型并进行了静态稳定计算与分析，并以一计算实例验证其方法的可行性。

Through comparison of the results of numerical simulation and experiment results, two equation model was validated with constants recommended by Launder and Spalding in the paper.

采用Launder和Spalding提供的模型常数，通过数值模拟分析结果与实验值的比较确认了两方程κ-ε湍流模型对本实验装置的适用性。

At the same time combined with indoor maximum dry density test,this paper discusses the possibility that rock-filling construction quantity .Then data of densification quantity examination under the condition ofdifferent filling material.densification machinery.densification parameter and lay-down thickness are collected as the analytic object. On the basis of making a statistical analysis of experiment data ,supervisory standard and assessment method of settlement difference and settlement ratio that adopted to examine rock-filling embankment construction quantity are put forward systematically At last carrying on settlement observation tests of rock-filling embankment in different construction stage in different layer ,the dependability of assessment method is validated.

同时结合室内最大干密度试验，讨论了表面沉降法作为填石路基施工质量检测手段的可行性和可靠性；然后通过汇总不同填料、不同压实机械、不同压实参数和不同摊铺厚度条件下的压实质量检测数据作为分析对象，在对试验数据进行了统计分析的基础上，较为系统地提出了以沉降沉降差及沉降率作为填石路基施工质量检测指标的评定方法和相应的管理标准值；最后通过对填石路基试验段进行不同填筑时期不同层位的沉降观测试验，验证了评定方法的可靠性。

He has to relate with three women in the movie, and yet remain implicitly faithful to the unseen Lucinda.

让克劳德布里亚里成功地饰演试验了一个难度很大的角色：和三个女人打交道，但还要底下对观众未曾谋面的卢馨达保持忠诚。

The experiment was conducted to study effects of inulin on the growth performance, indices of immune organs and serum immunoglobulin of laying chicklings as well as the performance of inulin which replaced the antibiotics in diets by adding 0.2%, 0.4% and 0.8% of inulin, respectively.

试验旨在通过在蛋用雏鸡日粮中添加0.2%、0.4%和0.8%的菊粉，研究菊粉对蛋雏鸡生长性能、免疫器官指数和血清免疫球蛋白的影响，以及菊粉替代抗生素对蛋雏鸡的应用效果。