查询词典 verified

It is verified that the adaptive control parameters of the adaptive controller are bounded and the origin of the NCSs is asymptotically stable.

研究结果表明，自适应控制器的自适应控制参数是有界的，并且该网络化控制系统是渐进稳定的。

Finally, the feasibility and applicability of the designed system was verified by practical particleboard hot-pressing experiment. The development of the Automatic measurement system for monitoring the internal-mat environment was based on LabVIEW program which is a powerful virtual instrument design workbench. Developed system in this paper can provide a friendly interface, an animated process-monitoring window including a real-time data acquisition of 2 pressure signal channels and 4 temperature signal channels, as well as the asynchronous serial communication between measuring computer and the data acquisition. Practical application testing and data analysis showed that this measuring system was useful and easy to operate by providing accurate and reliable data.

本文详尽介绍了人造板热压过程中板坯内部环境检测系统各组成部分的工作原理以及它们在系统中的作用，着重阐述了系统硬件设计和检测软件的开发，并通过刨花板的热压试验，验证了系统设计可行性和先进应用虚拟仪器系统开发平台-LabVIEW 编制了热压板坯内部环境自动检测系统的应用软件，该软件具有友好的人机交互界面、简单直观的：工艺流程监控、安全可靠的故障处理措施等优点。

The efficacy of Hirudoid was verified in particular in those patients who had had operations at both legs during one session.

特别是对於那些双腿同时接受手术的患者，喜疗妥的疗效得到了进一步验证。

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公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Furthermore, the metallic glass samples are prepared by vacuum injection method and the rationality of above-mentioned relationships and RBF models is directly verified. It is shown that there are extremum phenomena between the Rc andΔd ,Δe and v respectively. However, the positions of the extremum are different from different alloy systems and the extremum phenomena may be related to the optimum composition region and the optimum additive quantity. More elements in the alloy are in favor of the improvement of the GFA. And as for the high GFA alloy, the atomic percentage, atomic radius difference and atomic electronegativity difference are harmoniously matched.

d、Δe和v与临界冷却速度Rc的关系中都出现极值现象，对于不同的合金体系，极值出现的位置不同；金属玻璃的最优成分范围以及各种添加元素的最佳添加量行为，可能与此极值现象相关；合金中包含的组元数目多有利于提高其玻璃形成能力，玻璃形成能力强的合金，其各个组元的原子百分含量、组元原子半径差及其电负性差之间的搭配是很和谐的；融合建模的合金系之间包含的主要组元数量和种类越相近，所建立的模型的可靠程度越高，其预测结果与实测结果越吻合。

An analog electronic circuit is designed to implement the new system, so the chaotic attractor are verified.

通过构建电路实现了该混沌系统，从而验证了系统的混沌行为，证实了混沌吸引子的存在。

Here we present DNA sequence analysis of the first complete mitochondrial genome (16,338 base pairs) from an archaeologically-verified and exceptionally-well preserved aurochs bone sample.

最近，爱尔兰和英国的科学家利用6，700年前的古代野牛的前肢骨骼样本，成功地测序出完整的线粒体DNA 基因组序列。这篇文章发表在最近一期的 PLoS ONE 杂志上。

The request and response messages between supplicant and authentication server was verified with the 802.1X authenticator based on VxWorks.

基于VxWorks的802.1X认证者认证申请者和认证服务器间的请求和响应信息。

You can buy with confidence, as all of these products come with verified certificates of authenticity.

你可以购买的信心，所有这些产品，以核实证书的真实性来。

Secondly, a series of computer programs have been developed and verified according to the deterministic chaos theory and algorithms. These programs are deterministic chaos qualitative analysis tools including phase plots and Poincare section analysis software packages; deterministic chaos quantitative analysis tools including the largest Lyapunov exponent, correlation dimension and Kolmogorov entropy analysis codes and classical analysis such as power spectrum, autocorrelation coefficient and Hurst analysis programs.

其次，根据确定性混沌分析技术主要内容的算法思想，自行开发了相图、Poincare截面等定性分析程序软件包；最大李雅普诺夫指数、关联维数和K熵等定量分析程序软件包以及非线性混沌预测程序软件包；同时，还开发了功率谱、自相关系数、Hurst指数等传统分析技术程序软件包；并运用三种典型的周期运动、混沌运动及随机运动时间序列数据，验证了开发的程序。

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。