查询词典 proves

The result proves the stability of HMI based on multi-platform and that it can improve the service of ITS.

人机界面是涉及计算机科学、心理学、认知科学和人因工程学等的交叉学科。

This paper proves that Ordered Statistic with Greatest Option CFAR and Ordered Statistic with Smallest Option CFAR are also of CFAR under homeomorphic independent K-distributed clutter background when the shape parameter is known. The performance of two detectors is analyzed against uniform clutter background, clutter edges and multiple target environments.

摘要该文证明了形状因子已知条件下OSGO-CFAR和OSSO-CFAR检测器在均匀统计独立的K分布杂波背景下具有恒虚警性能，分析了两种检测器在均匀杂波背景、杂波边缘和存在强干扰目标情况下的检测性能。

At the same time this paper constructs the probabilistic model of output sequences of the editing generator, and takes careful analysis on its structure, then examines the homogeneous markovian property of output sequences' indexes expressed as the form of basal sequence, proves that the output sequence of the editing generator is homogeneous Markov chain, and then synthetically analyzes and studies the cryptography property of the editing generator.

同时本文通过分析"编辑生成器"产生序列的过程，建立了"编辑生成器"的概率模型，考查了以基础序列表示的输出序列下标的齐次马氏性，证明了"编辑生成器"输出序列是齐次马氏链，并给出了其一步转移概率矩阵与k步转移概率矩阵，然后对概率模型的输出序列的性质进行了综合的分析和研究。

The problem isdiscussed and the error caused by using the approximate formula proves to be superior to that caused by using the homogeneous Taylor's polynomial and an expression is proved to be similatr to the remainder in Taylor's formula.

由讨论这个问题出发，证明了用这种近似式产生的误差，优于用同阶Taylor多项式产生的误差，并给出这个误差的一个类似于Taylor公式余项的表达式。

This paper proves that the maximal right quasinormal band homomorphic image of free product of right quasinormal bands in semigroup category is isomorphic to their free product in right quasinormal band category.

证明了右拟正规带在半群范畴中的自由积的极大右拟正规带同态象同构于它们在右拟正规带范畴中的自由积。

Both of Eichharnia crassipes and Hosta ventricosa can grow normally in a single nitrogenand phosphorus stress condition, The higher the concentration of nitrogen and phosphorus in waterthe higher the chlorophyll content and dry matter content in plants, it means the growth of plants isgood, This proves that Eichhamia crassipes and Hosta ventricosa has a very strong ability to adaptin a single nitrogen and phosphorus pollution water, they can be used for repairing a singlenitrogen and phosphorus pollution water.

在单氮和单磷胁迫条件下植物都能够正常生长，并且水体中氮、磷浓度越高凤眼莲和紫萼玉簪体内的叶绿素含量及干物质含量就越高，说明两种植物的生长状况就越好，这一点证明两种植物对氮、磷污染的适应能力都很强，可以用于修复单氮和单磷污染水体。

The anatomical study deepens the knowledge of G-type conducting cells: 1 It proves the theory of two depositional process for secondary wall (Bierhorst, 1960): the discontinuous cellulose layer is laid down before the continuous lignified layer; the former layer is prone to be broken down, while the latter is highly decay-resistant; 2 It suggests that the cellulose primary and secondary walls of tracheids are not perforated. Instead of longitudinal pits (Li, 1992), the lignified tracheid secondary wall of Hsüa possesses irregular simple perforations; 3 In Hsüa reflexa and Huia gracilis, the perforation casts may represent the thickness of lignified secondary wall; 4 The wall structure of G-type tracheid is diversified. At the genus level, the secondary wall structure differs in the distribution, internal shape and structure of the perforations; 5 Perforations of some G-type tracheids combine the characters of S-type tracheids in their distribution, density and diameter.

解剖学的研究加深了对G-型输水管胞的认识 1）验证了管胞次生壁分两个阶段形成的理论（Bierhorst，1960），即先后形成不连续的纤维质层和连续的木质化层，前者易被分解，后者抗侵蚀性强；2）证明管胞纤维质的初生壁和次生壁不具穿孔，Hsüa管胞的木质化次生壁具有不规则的简单穿孔，而不是纵列的纹孔（Li，1992）；3）Hsüa reflexa和Huia gracilis的穿孔铸体可代表木质化次生壁的厚度；4）G-型管胞壁层结构具多样性，植物属一级的分异主要表现在次生壁穿孔的分布、孔腔形状和结构的不同；5）某些G-型管胞的穿孔在其分布、密度和孔径方面可兼有S-型管胞的特征。

The analysis proves that bonding agents can act as the liner of CL-20 and a bonding agent containing hydantoin and tripolyisocynate,which is defined as 22~#,is the best liner of CL-20 owing to its cyclic structure and polar groups.

结果表明，键合剂可以作为CL-20的包覆剂；由于海因和三聚异氰酸酯键合剂(22#)的环状结构以及具有较多的极性基团，对CL-20的包覆性最好。

The third chapter discusses and proves Il"yashenko"s Theorem, that is, if every vertex on the polycycle of an analytic vector field in the real plane is hyperbolic, then limit cycles cannot accumulate on this polycycle.

第三章详细讨论和证明了Il'yashenko定理，即平面解析向量场的多边环上每一顶均为双曲奇点，则此多边环附近不能结集无限多个极限环。

For proponents of missile defense, it proves that North Korea is another step further to developing an ICBM capability.

对于导弹防御系统的支持者来说，它证明了朝鲜向发展洲际弹道导弹又迈进了一步。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。