查询词典 reduced degree

Depending on the degree of automation, the prover can essentially be reduced to a proof checker, with the user providing the proof in a formal way, or significant proof tasks can be performed automatically.

根据自动化程度的证明者基本上可以归结为证明检查，与用户提供的证明在一次正式的方式，或显着的证明任务可以自动执行。

Therefore, based on the premise that animation effect and real-time character are not reduced, how to reduce the coupling degree between each model of animation system, decrease the calculation amount of the computer and satisfy the animation creation requirement of real-time has important meaning and value for large-scale group animation creation.

因此，在动画效果和实时性不降低的前提下，如何降低动画系统各模型之间的耦合度，减少计算机运算量，满足动画生成的实时性要求，对于大规模群体动画创作与应用具有重要的意义与价值。

The result is, search engine to be reduced considerably to the degree of belief of this website.

结果是，搜索引擎对该网站的信任度大幅降低。

It is concluded that the process is a procedure with the system entropy reduced by degree.

在此基础上，通过综合考虑测试与测试、测试与故障隔离结论的关系，提出了系统级故障隔离的间接熵法。

Firewall greatest degree of reduced external USB device inserted at risk of exposure and easy to use.

防火墙最大程度的降低了插入外来USB设备时染毒的几率，使用便捷。

Especially, the contents of Fe and P were reduced by about one order degree.

等离子体处理以后的硅材料中杂质含量降低，尤其是铁和磷的含量下降了约一个数量级。

The certification will show in detail, which contaminants are reduced and to what degree.

证明将详细显示，减少污染物，并且在何种程度上。

Sour natural gas contains a certain amount of water,which should be reduced to a certain degree in its processing.

天然气中含有一定的水份，在天然气加工过程中，必须将其中的水份脱除到一定的程度。

(1) Gene and protein expression of BRMS 1 is reduced according to the metastasis degree increasing of the cell line.

(1)BRMS1基因和蛋白的表达在3种细胞株中随转移程度的增高而呈递减趋势。

Thus, the uncertainties of different interpretations of such terms in different countries can be avoided or at least reduced to a considerable degree.

因而， 于不同的国家该条件不同解释的不确定性能被避免或至少被减少到一可观的程度。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。