可证明的

Characteristics of a number of gates from the set of all generalized Toffoli gates are studied. Any permutation S is proved to be generated by a n-cycle δ and a permutation τ=i(subscript j, i together. It shows that any neighboring 2-cycle permutation can be generated by at most two NOT gates without ancilla bit.

本文研究了生成Toffoli门集合的可逆逻辑门数的特点，证明了任意置换S可以由n-轮换δ和一个置换τ=i(下标 j，i生成，同时证明了相邻2-轮换可由至多两个NOT门在不增加额外信息位的情况下生成。

It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.

s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。

By means of deriving the approximate solution and a process of approaching iteration, we have shown that a general solution exists for a non-Newtonian compressible fluid in 3D bounded domains. The proof is based on an elementary energy method.

文章利用构造近似解和极限的过程证明了三维有界区域中非牛顿可压缩流体广义解的存在性，所用的证明方法为能量方法。

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。

Finally, the whole system simulation proved that the system not only is reasonable in theory but also is realizable in practice.

最后的仿真不仅证明了理论的合理性，而且证明了实际的可实现性。

In 1947 the country's new Communist rulers deported 200,000 Ukrainian-speakers from south-eastern Poland.

这既可被视为是布尔什维克的残酷的证明，或是波兰民族主义的证明。

To demonstrate the applicability of the proposed broadband quadrature hybrid, a continuous phase shifter which is based on the vector sum method is tested.

为了证明所提出的正交宽频混合器的可应用性，我们用一个利用向量加法的连续相移器去证明其潜力。

The same condition of reduction was also showed 12.34% reduction of the thorax acceleration value from 42.76g to 37.48g. Research NO.3 :The purpose of this research is to study the applicability of car seats for spastic paralysis children. Emphasis was placed upon the static anthropometrical measurement clinical evaluation experiment, and questionnaire survey for backward-facing and forward-facing children car seats in CNS, especially for the 9-18kg spastic paralysis children.

子题二︰本研究提出缓冲设计来降低头颈部的伤害之研究﹐透过前导实验和后期之实物前向式冲击试验证明与对照组比对，可降低头部和胸部加速度，分别降幅为30.19%和12.34%，因此证明缓冲设计提供较好的头颈部伤害的防护率。

According to our results, we have successfully increased the flexibility of rollable LC devices via replica molding method.

从我们结果证明了使用复制成形法可成功增加可挠式液晶元件的弯曲性。

It is argued that this problem can be solved using linear matrix inequality although it has been proved that the simultaneous stabilizability of three linear systems is rationally undecidable.

虽然三对象同时镇定问题被证明不是有理可解，然而本文认为基于线性矩阵不等式可解此问题，并给出了直接传输部分相等时同时镇定问题的解。

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％。