No abstract

No abstract

No abstract

No abstract

Mathematical modeling is widely spread among studies dedicated to operational planning on the railway transport. In short-term planning of marshalling station operation heuristic algorithms and simulation modeling are mainly used. It is possible to improve the quality of planning on the basis of models of strict optimization. The authors have created both a mathematical and a computer model of car traffic processing at a marshalling station with the use of mixed integer linear programming. For the realization of the computer model the authors have used a package of applied programs. The paper considers verification of the model. This procedure is necessary for revealing possible technical and content mistakes in a computer realization of a mathematical model. The authors have made the emphasis on revealing content mistakes in marshalling station operation. For the verification of the model the authors have used a logic approach.