查询词典 proved

On the one hand, their lives were confessedly innocent; no crime could be proved against them excepting their Christian belief, which appeared to the Roman as an extravagant and perverse superstition.

在一方面，他们的生命受到confessedly无辜的，没有任何犯罪的，可以证明，对他们除自己的基督教信仰，似乎罗马是一个奢侈的和有害的迷信。

She proved a sympathetic listener, and so he found himself confiding in her.

她是一个善于倾听的人，他认为他可以相信她。

This research change axial configurative tongue design with aperture or comb shaped ; and adopt laboratory tests to verify its feasibility. The results be proved these different changes can decrease cross-flow fan BPF peak, in particular reduce 8 dB noise effects at specific rpm.

本研究提出改变状轴向舌端构形之设计，采以实验方法来验证其可行性且结果显示具梳状与穿孔形之舌端可有效改善横流扇之声音品质及BPF 基频峰值，在特定转速下可降低8dB之效果。

It's proved that developing a configurator with capacity of surporting for both FF and EPA protocol by the same users' experience is feasible.

通过对这些共同点的分析，论证了通过一致的用户体验为用户提供同时支持FF和EPA两种协议的组态软件是可行的。

1H NMR spectroscopic analysis of aromatic protons combined with theoretical analysis of molecular structures proved the existence of two rotational isomers at 300 K, as well as a rapid interconversion equilibrium at 330 K for both compounds Ⅰ and Ⅱ. However, only one conformer exists for compound Ⅲ and puerarin containing 7-phenolic hydroxyl instead of propyl in A-ring as the case of compounds Ⅰ and Ⅱ. Based on UV-Visible absorption data of neutral and basic solutions, and on the density function calculations, the 7-phenolic hydroxyl group in A-ring was found to be more acidic than the 4'-phenolic hydroxyl group in B-ring. The mechanism of derivation reaction and the structure-reactivity relationship of puerarin as an antioxidant were further discussed.

其中7-丙基葛根素Ⅱ属于新型取代衍生物；变温1H NMR和理论计算结果表明，在300 K时，葛根素和4'-丙基葛根素以单一构型存在；而7，4'-二丙基葛根素和7-丙基葛根素则存在两种核磁可分辨的旋转异构体，当温度升至330 K时，两种异构体可以相互转化；通过对比分析葛根素及其衍生物脱质子产物的紫外可见吸收光谱并结合理论计算，确定了A环上7位酚羟基比B环上4'位酚羟基先脱去质子，并由此进一步阐明了葛根素衍生化反应机理以及在抗氧化作用中可能的活性位点和结构活性关系。

An adequate version of CCS is developed, and weak bisimulation of this calculus is proved to be a congruence relation.

提出了一个CCS的变形系统，证明了系统的弱互模拟是同余关系。

An adequate version of π-calculus is developed, and bisimulation of this calculus is proved to be a congruence relation.

提出了一个π-演算的变形系统，证明了系统的互模拟是同余关系。

Experiment proved that the method based on phase congruency is the one that is invariant to illumination and magnification, robust to noise.

对要匹配的两幅图像，先计算它们的相位叠合，把它们的相位叠合映射成256个灰度级，在这一对新图像上尝试FMI-SPOMF算法，结果比较满意。

A class of conjugate descent algorithm with single parameter βk for unconstrained minimization problems is presented and it is proved that this algorithm is of descent feature when it satisfies the condi- tion of a sort of inexact linear searching and, in addition, it is globally convergent.

给出了无约束问题一族含有一个参数βk的共扼下降算法，证明了该共扼下降算法在满足一种非精确线性搜索条件时是下降的，而且是全局收敛的。同时可以看到共扼下降算法是其特例

Combined CD method and a new conjugate gradient method given by Liu.Y, Storey. C, the second class of nonlinear conjugate gradient method is proposed, which not only has descent property, but also is proved global convergence with the general Wolfe line search. Finally, the numerical results show this class of conjugate gradient methods is very efficient.

第二类算法是结合CD法和Liu.Y， Storey.C提出的新共轭梯度法，提出一类新的非线性共轭梯度法，新方法不但具有下降性质，而且在推广的Wolfe线搜索下是全局收敛的，最后进行了数值验证。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失