一方面，噪音将使他们探测引力波的努力化为泡影，另一方面，它代表着一个更基础的发现。
One on hand, the noise will handicap their attempts to detect gravitational waves. On the other, it could represent an even more fundamental discovery.
将探测器由一个变成两个，将需要在原来的3.5亿美元标价的基础上追加1.5亿美元，其中不包括发射和运行费用。
Doubling the number of Nasa probes is believed to be adding about $150m on to the $350m price tag of a single mission, excluding launch and operations.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
应用推荐