查询词典 be derived from

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

The heavy elements in the theory of spontaneous metamorphosis immediate sensation around the world ;(4) is proposed to estimate the Earth's radiation age;(5) from the charge-mass ratio α which is derived helium ions;(6) from the scattering of α Bighorn recognized atomic mass concentrated in a radius of 10-12 meters in the nuclear, on positively charged core surrounded by negatively charged electrons;(7) with natural α-particles from the nitrogen nuclei in the outgoing protons, this is the first time human beings to change the chemical elements of artificial nuclear reactions;(8) predicted that heavy hydrogen and neutron sub-existence .

这一重元素自发蜕变理论立即轰动全世界；（4）提出用放射性估算地球年龄；（5）从α的荷质比得出它是氦离子；（6）从α大角散射认识到原子质量集中在半径为10－12米的核上，核带正电，周围是带负电的电子；（7）用天然α粒子从氮原子核中打出质子，这是人类第一次实现改变化学元素的人工核反应；（8）预言重氢子和中子存在。

The first chapter gives the summary of basic theories of EOS for solids, including often-used thermodynamic theories and phenomenological expressions during the study progress of EOS along with the finite strain theory. Furthermore, from the view of solid-state theory the general expression of EOS of solids P =Pc+Pn is given, and the microcosmic mechanism of compression for solids, i.e., the interactive potential energy between atomics, is also analyzed, subsequently several different forms of cold energies and pressures are derived.

第一章，给出了物态方程的基本理论概要，总结了EOS研究中最常用的热力学理论和唯象关系式以及有限应变理论，并从固体理论角度给出了固体物态方程的一般形式P =Pc+Pn，分析了固体压缩的微观机理——原子间相互作用势，由此导出了几种不同形式的冷能和冷压。

Their top attacking speed of almost 200 miles-per-hour is derived by stooping.

它的最高屈身向下飞行的速度是200英里/小时。

Two useful formulae for calculating the attenuation constant of conductor loss for TEm0 and TE0n modes of the rectangular waveguide are derived, and the loss characteristic in the rectangular waveguide is analyzed and computed.

根据横向谐振原理和微扰理论，本文提出了一种分析非理想波导损耗特性的新方法，推导出了一组计算矩形波导TEmO和TEOn模导体损耗的衰减常数公式，并分析计算了矩形波导的损耗特性。

To avoid or reduce re-analysis, we derived the augmentative matrix variation only in summation of the previous matrices time the outside-perturbed parameters by decomposing the element stiffness and mass matrix. The implicit function of amplitude about design variables such as cross-areas and lengths is changed into simplistic function about the perturbed parameters of design variables. Several methods for determining the value of perturbed parameters are detailed.

为避免或减少重分析，将有限元单元阵进行了分解变换组装，使振幅与设计变量如截面面积、长度的复杂隐函数关系转化为对设计变量摄动参数的显式关系，进而将设计变量摄动参数提取在分解后的几个常数刚度阵、质量阵之外，避免了在迭代求解过程中重组刚度阵与质量阵，较快地获得问题的解。

A closed-form equation is derived between the normalized mutual information and the augmented confusion matrix for the generic classification problems.

为互信息与传统分类性能指标作出了初步理论方面解释。

In order to analyze the general astigmatism of laser resonator cavities, the general analytical formula of misalignment sensitivity for complex astigmatic resonator cavities with several optical components has been derived by adopting augmented 8×8 misaligned matrix and symbol operation functions of MATLAB.

为了分析激光谐振腔的一般复杂像散特性，采用了8×8失调增广矩阵和MATLAB的符号运算的方法，推导出了复杂像散腔失调灵敏度的一般解析表达式。

An augur of ancient Rome, especially one who interpreted omen s derived from the observation of birds.

预言者古罗马的预言者，尤指解释来自对鸟类的观察而得到的预兆的人

Medieval psychology prior to the Aristotelean revival was affected by neo-Platonism, Augustinianism, and mystical influences derived from the works of pseudo-Dionysius.

中世纪心理学之前Aristotelean恢复受新柏拉图，奥古斯丁，以及神秘的影响来自作品的伪狄奥尼修斯。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。