St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Systems
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Computing, Telecommunication and Control:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


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.
Document Type: Article
UDC: 656, 004.89, 510.67
Language: Russian
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
Citation in format AMSBIB
\Bibitem{SelSel14}
\by Ya.~A.~Seliverstov, S.~A.~Seliverstov
\paper About logical-algebraic description of the transport logistic process
\jour St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys
\yr 2014
\issue 4(200)
\pages 57--68
\mathnet{http://mi.mathnet.ru/ntitu49}
Linking options:
  • https://www.mathnet.ru/eng/ntitu49
  • https://www.mathnet.ru/eng/ntitu/y2014/i4/p57
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Computing, Telecommunication and Control
    Statistics & downloads:
    Abstract page:162
    Full-text PDF :111
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025