将热轧批量计划问题作为一个约束满足问题处理，建立不确定计划数的VRPSTW约束满足模型。
The hot-rolling batch planning problem is treated as a constraint satisfaction problem. A VRPSTW constraint satisfaction model with uncertain rolling plan number is established.
像它的美国竞争者一样，未来的俄罗斯火箭将月球作为最后的目的地，同时美国载人航天计划在目标上的不确定性也是俄罗斯制定计划的一大障碍。
Like its American competitor, the future Russian vehicle has the Moon as its ultimate destination, and the uncertainty of us goals in manned spaceflight is an obstacle for Russian plans.
应用推荐