ON A COLLISION PROBLEM
暂无分享,去创建一个
Abstract Traffic control is necessary for traffic safety in driving cars. To avoid collision of cars in crossroads is an important practical problem. We study in this paper the collision problem of two cars in elliptical forms which move with uniform speed on two crossroads orthogonal to each other. In applying Wu Wen-tsun's method of mathematics-mechanization we find conditions such that collision will not occur. We have also determined in the possible colliding case the time and place of first collision.
[1] 吴天骄. Some Test Problems on Applications of Wu's Method in Nonlinear Programming Problems , 1994 .
[2] George E. Collins,et al. Partial Cylindrical Algebraic Decomposition for Quantifier Elimination , 1991, J. Symb. Comput..