查询词典 hurricane-proof

In the end of this chapter,thenonlocality proof of Greenberger etal is summarized.

在该章最后，介绍格林伯格等人的非局域性证明。

At present, fiber fabric not only has cold-proof functions for the clothes, but expect to has additional functions of picking up the moisture, arranging sweat and can be fluffy and keep glossiness on the sense of touch. In recent year, experimentalists are developing the function fibers, such as the conjugated fibers, profile fibers, and extra-thin fibers, etc.

现今的纤维织物不仅赋予衣物具有保暖功能，更期望能有吸湿、排汗等附加功能且在触感上能蓬松并保有光泽度，因此近年来陆续发展复合纤维、异型纤维及超细纤维等机能性纤维。

One strong proof of my wretchedly defective nature is, that even her expostulations, so mild, so rational, have no influence to cure me of my faults; and even her praise, though I value it most highly, cannot stimulate me to continued care and foresight.

我的本性有严重缺陷，一个有力的证据是，尽管她的规劝那么恰到好处，那么合情合理，却依旧治不了我那些毛病。甚至她的赞扬，虽然我非常看重，却无法激励我始终小心谨慎，高瞻远瞩。&&

Producer detailed material and goods supply ability proof.

生产商详细资料和供货能力证明。

In most legal proceedings, one of the parties has the burden of proof, which requires that party to present prima facie evidence of all facts essential to its case.

在多数法律诉讼，党的当中一个有提供证据的责任，要求那个党提出初步印象所有事实的证据根本对它的情况。

In most legal proceedings, one of the parties has the burden of proof, which requires that party to present prima facie evidence of all facts essential to its case.

在大多数的诉讼程序中，一方当事人有这样的证明责任，这方当事人基于关有于这个案子的所有必要事实中提交初步证据。

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

He further assured that this was the proof that apples were grown at mountain where extreme cold caused hailstorms.

他进一步表示，这是在山上种植苹果的证明那里严寒造成雹。

In addition, there is no proof that homosexuals can be transformed into heterosexuals.

此外，没有任何证据表明同性恋者可转为异性恋。

I'd like some proof that Pam is safe.

请向我证明我妻子 Pam 还安全。

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数据流的质量检测。