以下为句子列表：
英文: A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.
中文: 验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。
更详细...
英文: Abstract: Solving a mathematical problem is a procedure of seeking out a road that links the initial state with the final state of the problem in problem space.The mathematical method is used to discuss this process.
中文: 文摘:数学问题的解答，是在问题空间中寻求一条由问题初始状态到目标状态的通路，用数学方法描述这一过程.
更详细...
英文: After they absorb energy, the nuclei release or reradiate this energy so that they return to their initial state of equilibrium.
中文: 之后，质子再次将能量释放以回到初始时的平衡状态。
更详细...
英文: The curve of life is like the parabola of a projectile which, disturbed from its initial state of rest, rises and then returns to a state of repose.
中文: 人生的曲线就像是发射器的抛物线，脱离了原先的静止状态，往上射出，最后又回归到静止的状态。
更详细...
英文: The mixing degree of atomic initial state has no influence on the entropy squeezing of the atom in motion.
中文: 原子初态的混合度对运动原子的信息熵压缩几乎没有影响。
更详细...
|
