|
St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Systems, 2014, Issue 4(200), Pages 57–68
(Mi ntitu49)
|
|
|
|
Simulations of Computer, Telecommunications, Control and Social Systems
About logical-algebraic description of the transport logistic process
Ya. A. Seliverstov, S. A. Seliverstov Institution N.S.Solomenko Institute of Transportation Problems Institute of the Russian Academy of Sciences
Abstract:
Analysis of the publications on the subject of the article is carried out in the article. A logical and algebraic description of the transport and logistics system is being given, a formal description of the unit operations,transport and logistics operations, transportation and logistics process are introduced. Semantics of the transportlogistics operation is interpreted by logic of the predicate calculus. Intellectualization of the transport logistics system is associated with self-organization of the transport logistics process and with automatic search ofsolutions in the space of states. The adequacy of the model is demonstrated by the practical example.
Keywords:
logic-algebraic models of transport processes, intelectualization transport and logistics system, the first-order predicate logic, settheoretic models.
Citation:
Ya. A. Seliverstov, S. A. Seliverstov, “About logical-algebraic description of the transport logistic process”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 4(200), 57–68
Linking options:
https://www.mathnet.ru/eng/ntitu49 https://www.mathnet.ru/eng/ntitu/y2014/i4/p57
|
Statistics & downloads: |
Abstract page: | 162 | Full-text PDF : | 111 |
|