Formal model of ring transport network. Сonversion of dialogue notation to program code

Bogushevskaya N.V., Tomashevskiy V.M.

Formal models for defining description of transport facilities and transportation objects in circular traffic net are proposed. Dialog notations for defining ring net attributes are made. Functional dependencies that allow use for modeling the program segment, in which the configuration of ring net depends only on parametric tuning of those dependencies, are described. An example of defining circular traffic net by means of proposed formal models and functional dependencies is viewed.


Full text (pdf)