该机构提出,从2010年到2030年,这20年所需要做出的改变的成本是10万亿。
The agency proposes that the cost of the changes needed over the 20 years from 2010 to 2030 is 10 trillion.
本文提出一种新的算法,它是从开关函数最小项集合所对应的整数集出发,通过对整数进行算术运算,从而求得接近最小的两级与一或表达式。
An algorithm for such purpose, quite different from any others so far known, is here presented on the basis of arithmetic operations on integers, which correspond to the minterms of the function.
本文从以下几个方面论述了目前我们在变电站工程质量方面所遇到的问题,以及提出一些切实可行的解决方案。
This article from the following several aspects are discussed in substation project quality we encountered problems, and puts forward some practical solutions.
And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.
而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的
应用推荐