信息系统说明包括静态限制、运算说明和时序限制。
The specification of an information system consists of a set of static constraints, a set of operation descriptions and a set of temporal constraints.
在2010年4月5日,Wikileaks发行了一段录像,录像中说明此录像来自于自称是军事告密者的人,解释明白这份录像是有利于提升运算能力的。
On April 5, 2010, Wikileaks released a video that it said it had received it from a military whistle-blower and used donated computing power to decrypt it.
只要没有混合的类型表达式,就可以在常数说明中使用算术运算符。
You can use arithmetic operators within your constant declarations as long as there are no mixed type expressions.
We know machines have limited capacities to engage in mathematical and logical reasoning, to recognize things, to do various forms of computations, and this makes it at least possible that we are such machines.
我们也知道机器,在数学推理与逻辑推理方面,在识别物体方面,在完成各种形式的运算方面,的确是拥有有限的能力的,这至少说明,人类就是这样的机器
应用推荐