查询词典 proved

Either way, this proved to be the death warrant for the inhabitants of the city.

不过，毫无疑问这一事件将该城市的平民"判了死刑"。

The special standard cell is designed and debasement of back-end design complexity is proved.

为此论文提出了采用集成门控单元的思想，并完成了该标准单元的设计和建模，实验证明使用集成单元有效解决了上述问题。

All of these proved the fair of law was difficult to be realized under a decayed system.

本文认为，厌讼心理是封建讼狱制度影响下的社会心理的集中体现。

In December this year, the fund proved to be efficient.

在今年12月，基金被证明是有效的。

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

The corresponding tableau algorithm is also provided. The soundness and decidability of the tableau algorithm are proved. It is shown that the complexity of tableau algorithm is PSPACE-complete.

设计了ALCKR+的语法、语义以及表算法，给出了表算法的正确性以及可判定性证明，证明表算法的时间复杂度为PSPACE-complete。

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

In these processes, we have proved that the positioning accuracy of the REV-2000 we used has already reached decimeter level. If the accuracy of carrier phase can be improved, positioning accuracy may become better then decimeter level.

以上实验证实REV-2000接收模组经本文所提处理流程对於相对定位精度均已可达公寸级，若相位观测量精度能有所改善，则定位精度应可进一步提升。

In this paper,the criterion of attribute decomposition of the information system is put forward based on the generalized decision function,and the attribute decomposition features are proved.

针对这一问题提出了一个基于GDF的信息系统属性分解判据，提出并证明了信息系统属性分解性质。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。