<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>On modeling the trafic of vehicles through the road intersection of a smart city</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Elena Y. Bogdanova</string-name>
          <email>elenabogdanova1@gmail.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Viktoriya A. Khalina</string-name>
          <email>viktoriya.khalina@gmail.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vladimir V. Rykov</string-name>
          <email>rykov-vv@rudn.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Konstantin E. Samouylov</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Applied Mathematics and Computer Modeling Gubkin Russian State University of Oil and Gas 65 Leninsky Prospekt</institution>
          ,
          <addr-line>Moscow, 119991, Russian Federation</addr-line>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Applied Probability and Informatics Peoples' Friendship University of Russia 6 Miklukho-Maklaya St, Moscow</institution>
          ,
          <addr-line>117198, Russian Federation</addr-line>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences (FRC CSC RAS)</institution>
          <addr-line>44-2 Vavilov St, Moscow, 119333, Russian Federation</addr-line>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>In: K. E. Samouylov, L. A. Sevastianov, D. S. Kulyabov (eds.): Selected Papers of the 12</institution>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2018</year>
      </pub-date>
      <fpage>88</fpage>
      <lpage>96</lpage>
      <abstract>
        <p>The relevance of the research topic is determined by the increasing role of information and communication technology (ICT) systems and services usage in all spheres of life - culture, education, healthcare, transport and trade. We live in a society where mobile, broadband and cloud computing change the structure of society and promise the great opportunities for its inhabitants. The development of the human activity field will depend on the progress achieved through the information and communication technology (ICT) systems and services usage. ICTs can play a key role in smart transport management; utilities and electricity supplying; measuring pollution levels; health care and education management, innovative management of agriculture. All of the above-mentioned systems form a "smart" society. By 2050, a significant part of the world's population will be living in cities, and the proportion of urban residents will reach approximately 70%. For the timely provision of quality urban services requires the introduction of various information systems.</p>
      </abstract>
      <kwd-group>
        <kwd>and phrases</kwd>
        <kwd>infocommunication system analysis</kwd>
        <kwd>smart city</kwd>
        <kwd>trafic flow</kwd>
        <kwd>transport network</kwd>
        <kwd>trafic flow modeling</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>The phrase "smart society" is often used as a term describing the vision of a plan for
the future of a nation or region to achieve a developed information society. An analysis
of the various approaches to the definition of "smart" society shows that in this diversity
the emphasis is placed on diferent aspects. Let’s give some examples:</p>
      <p>
        Society 5.0 is a society that will contribute to the prosperity of humanity. This
society is able to provide the necessary data and services to people at a given time and
only in the right quantity; society, capable of engaging a wide range of social needs; a
society in which all people can easily receive high-quality services, despite their age,
gender, region and language, as well as live an energetic and comfortable life [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
      </p>
      <p>The term “smart” means a society that is economically and environmentally
sustainable without sacrificing the comfort and quality of life of its citizens. It is a convergence
of physical and digital infrastructure, where the use of ICT makes life more eficient and
sustainable.</p>
      <p>The majority of the world’s population lives in cities, which leads to the creation of
a complex urban environment with complex processes. It is precisely these dificulties
and the importance of their solution that determine such attention to the concept of
smart cities.</p>
      <p>Smart Sustainable City is an innovative city that uses information and communication
technologies and other means to improve the quality of life, work eficiency, service and
competitiveness, while meeting the needs of city residents in relation to economic, social
and environmental aspects.</p>
      <p>The trend of urbanization and the increase in the planet population leads to problems
that can be solved through the efective resources allocation and the urban system
rational management. Thus, many countries set themselves the task of implementing an
intelligent society projects.</p>
      <p>Congestion can completely paralyze the movement of vehicles in a large area and on
a single road. Owners of cars and passengers of public transport sufer from trafic jams.
The problem of car congestion negatively afects on the economic and environmental
situation, as well as the health of people.</p>
      <p>
        There are several causes of trafic jams: the number of vehicles exceeds the capacity
of the road; the road network ineficient operation (road markings, signs, operation
mode of trafic lights), inconvenient road interchanges, the lack of overhead/underground
passages and detours for freight transport; violation of trafic rules by vehicles and
pedestrians; repair and construction work; accidents and inadequate technical condition
of cars and poor road conditions; lack of parking spaces; adverse weather conditions [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ].
      </p>
      <p>The transport flow is considered as the result of the interaction of vehicles on the
elements of the transport network in mathematical models. Due to the rigid nature of
network restrictions and the massive passage in a trafic flow, distinct patterns of queue
formation and intervals, loads along the road lanes etc. are defined.</p>
      <p>
        Thanks to transport modeling, rational management of the urban system, construction
of new and reconstruction of existing roads are possible. In this case, the queueing
theory is used to build a mathematical model of a regulated intersection. Although,
automobile trafic has been studied for half a century, but these studies are not often
used in practice due to instability, the diversity of trafic flow and the need to expand the
number of parameters [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. To obtain the optimal solution of transport issues, specialized
equipment and software are required, which makes it dificult to quickly implement such
systems in Russia.
      </p>
      <p>Lifestyle and workflow change due to technological advances. More and more, physical
and virtual areas of our life are becoming intertwined due to the introduction of the
interconnection of machines (Internet of Things, M2M, wearable technology, intelligent
live and wireless computing).</p>
      <p>In addition to things that can be connected to each other, neural networks will play
a special role - technologies that are capable of self-learning, receiving the necessary
information from the Internet. The Internet, based on artificial neural networks, is called
neuronet.</p>
      <p>Data prediction, analytics, large data sets, open data, data availability and
management, data security, mobile broadband, wireless sensor networks - all these aspects have
become essential in society.</p>
      <p>Due to the significant role of ICT in solving the problems of creating smart cities and,
moreover, smart societies, it is necessary to emphasize the important role of software
tools used to introduce relevant services. The criteria for such applications include the
following: expediency, reliability, security, confidentiality, practicality.</p>
      <p>The above four pillars work through the physical and service infrastructures that
form the lifecycle of the city (Fig. 1).</p>
      <p>
        Nowadays, the rapid growth of cars leads to the decrease in the capacity of the
road network. For many large cities, this problem is the painful one and that is why it
requires an urgent solution [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. The main reasons of trafic jams are improper operation
of trafic lights and inconvenient interchanges, as well as adverse weather conditions that
make driving dificult.
      </p>
      <p>
        That is why, this task is relevant in the framework of the well-known concept of the
smart city [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. The definition of "smart" transport system is related to the system that
consists of separately modeled sections, which are then compiled and transported into a
single knowledge base. Due to the continuous monitoring and incoming information from
the road management services, the information and mathematical model is periodically
adjusted and the level of service provision in cities increases. The simulation allows
to evaluate the efectiveness of the city’s transport network management and identify
potentially problematic areas for their repid elimination [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. This paper gives a brief
overview of the method and numerical analysis, which will then be used in further
studies on the optimization of trafic flows in a smart city [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
2.
      </p>
    </sec>
    <sec id="sec-2">
      <title>Main section</title>
      <p>In this article a model that describes the vehicles passage through a regulated
intersection as a queuing system with variable service intensity and a limited queue is
described (Fig. 2).</p>
      <p>We consider that the trafic light has two states: the red light is on, then the passage
is prohibited, and the green light is on. The number of service channels is determined
based on the number of lanes for the intersection passage in one direction and is equal
to one.</p>
      <p>The model has a limited capacity  that can fit throughout the selected quarter. In
this way,</p>
      <p>=  
where  – is the length of the block,  – is the average length of the car,  – is the
number of lanes. The number of places in the queue varies from 10 to 30 cars on average.
It should be considered that the car, which has occupied the whole quarter, will leave
the system.</p>
      <p>The main parameters of the system are:  - the length of the full trafic light cycle
(the length of the "green" phase  = 2 );  is the intensity of the arrival stream;  0 is
the intensity of the service flow in the "green" phase;  is the maximum queue length.
For instance, the service intensity  () has an periodical form and shown in Figure 3:
 () =
{︃
 0
0
,  ≤  &lt;  +  ,
,  +  ≤  &lt;  +  .</p>
      <p>where  = () = [/ ] – the quantity of trafic light cycles, [] – the integer part of
number ,  0 – an intensity of passage through intersection on a green trafic signal.</p>
      <p>According to the fact that the service intensity is piecewise constant, the Queuing
System can be in diferent states:
(0) – there are no cars in front of the stop line,
(1) – one car drives through a crossroads,
(2) – one car drives through a crossroads, one is in front of the stop line and so on,
() – all places in the queue are occupied.</p>
      <p>The state graph of the system is shown in the Figure 4.</p>
      <p>The probability of the -th state of the system  at a  moment of time is denoted
as (). In this case, the normalization condition 0() + 1() + ... +  () = 1 is
necessarily satisfied. The system can be solved numerically for diferent input data using
well-known software tools, and the main characteristics of the Queueing System can be
determined for it at a given operation mode of a trafic light.</p>
      <p>The considered queuing system makes three quality decisions: 1. Free passage in a
given direction. The mode is characterized by high probabilities of states 0 and 1 at
the end of the green phase 1 &lt; 2.</p>
      <p>2. Dificult passage. The mode is characterized by a low probability state ( + 1)
at the beginning of the inhibit signal 1 = 2 .</p>
      <p>3. Clogging. The mode is characterized by a high probability of the state  at the
beginning of the inhibit signal 1 &gt; 2.</p>
      <p>1 = 
2 = 
1 - the average number of approaching cars for a full cycle,
2 - the average number of cars driving on the green light.</p>
      <p>The paper also provides an example of numerical analysis. The average length of the
machine queue at the intersection</p>
      <p>() = ∑︀ ( − 1)(),</p>
      <p>=1
was calculated. To do so, the system of Kolmogorov’s diferential equations was
solved and a stationary distribution was found.</p>
      <p>To calculate the parameters of the model, the closed to real life baseline data were
taken. The intensity of the arrival stream is  = 0.15 cars per second, the average time
of the intersection passage equals to ( )− 1 = 2.5 seconds, the length of a full cycle of
trafic lights is T=60 seconds, the permissible queue length of cars is  = 10.</p>
      <p>In order to investigate the dependence of the queue length on time, several cases with
diferent duration of the green phase were considered. In the first case, let‘s consider
that the green phase is  = 30 seconds.</p>
      <p>At the same time, at the initial moment of time the quarter is empty, therefore the
initial probability distribution of the systems states: (0) = (1, 0, ..., 0) .</p>
      <p>Figure 5 presents the results of finding the main characteristics of the system - the
average number of cars waiting to travel through the intersection.</p>
      <p>In the second case, by changing the duration of the green signal to  = 0.8 = 48
seconds, the average queue length will decrease. So, it does not go beyond the limits of
one car, as can be clearly seen in Figure 6.</p>
      <p>The last considered case ( = 0.2 = 12 seconds) shows that cars have not enough
time to cross the road in such a short period of time. This leads to a blockade of cars at
the intersection, forming a trafic jam that consists of 6-8 cars in average (Fig. 7).
3.</p>
    </sec>
    <sec id="sec-3">
      <title>Conclusions</title>
      <p>
        Trafic modelling plays an important role in improving the trafic situation. The
paper presents the results of monitoring the time distribution of the intersection crossing
by cars. It depends on the time elapsed from the beginning of the enabling signal.
Also, the methods of mathematical modeling were used. In the future, it is planned to
study models that allow creating routes which takes into consideration the indication
of stopping places, overtaking. Moreover, the team would like to implement a data
processing system and coordinating schedules [
        <xref ref-type="bibr" rid="ref8 ref9">8, 9</xref>
        ].
      </p>
      <p>It is impossible to create an intellectual society without using digital inclusion
technologies. They allow to achieve maximum eficiency by combining vast distances
in order to bring in a sustainable way the knowledge, help and resources to those who
need it.</p>
      <p>It is expected that such a society will develop and implement an environment in
which people, robots and artificial intelligence will coexist and work to improve the
quality of life, ofering finely diferentiated personalized services that meet the diverse
needs of users. The trend of urbanization and the increase in the population of the
planet leads to problems that can be solved through the efective allocation of resources
and the rational management of the urban system. But every year the development of
cities faces a lot of problems: provision of water, electricity, transport, etc. Thus, many
countries set themselves the task of implementing projects of an intelligent society.</p>
      <p>Summing up the research on “smart” services, we concluded that despite the great
interest of scientists in this issue, not all countries are ready to provide an adequate level
of infocommunication support and a legislative framework for the introduction of modern
technologies into life. The main obstacles to the development of this issue are: firstly,
the lack of clearly defined economic goals and objectives of innovation, secondly, the
insignificant involvement of universities and research centers for the implementation of
plans, and thirdly, the lack of a working process management system and the development
of the digital economy. However, we are on the right track, and the development of
the future depends on our ability to build an information-friendly culture, support the
development of digitalization and invest in key infrastructure elements to create new
open platforms and markets.</p>
    </sec>
    <sec id="sec-4">
      <title>Acknowledgments</title>
      <p>The publication has been prepared with the support of the “RUDN University
Program 5-100” and funded by RFBR according to the research projects No.
18-0001555, 19-07-00933.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <source>1. Report on the 5th Science and Technology Basic Plan / Council for Science, Technology and Innovation - Japan</source>
          ,
          <year>2015</year>
          . - 23 p.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <article-title>Shaping smarter and more sustainable cities. ITU-T's Technical Reports</article-title>
          and Speciifcation / ITU-T - Geneva,
          <year>2016</year>
          - 1118 p.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Wentzel</surname>
            ,
            <given-names>E.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ovcharov</surname>
            ,
            <given-names>L.A.</given-names>
          </string-name>
          <article-title>The theory of random processes and its engineering applications</article-title>
          .
          <article-title>-Study manual for technical colleges</article-title>
          . - 2nd ed.,
          <string-name>
            <surname>Sr</surname>
          </string-name>
          . - M .: Higher. Sc.,
          <year>2000</year>
          . - 383 pp.,
          <source>Ill.</source>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Akhmadinurov</surname>
            ,
            <given-names>MM</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zavalishchin</surname>
            ,
            <given-names>D.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Timofeeva</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          <article-title>A. Mathematical management trafic models: monograph</article-title>
          . -
          <source>Ekaterinburg: Publishing house of USURT</source>
          ,
          <year>2011</year>
          . - 120 p.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <article-title>Shaping smarter and more sustainable cities. ITU-T's Technical Reports</article-title>
          and Speciifcation / ITU-T - Geneva,
          <year>2016</year>
          - 1118 p.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Salomatina</surname>
            ,
            <given-names>E.V.</given-names>
          </string-name>
          <article-title>Resource approach to the concept of</article-title>
          “Smart City” / E.V. Salomatina // Reports of TUSUR / E.V.
          <string-name>
            <surname>Salomatina</surname>
          </string-name>
          . - Tomsk,
          <year>2016</year>
          . - V.
          <year>19</year>
          . - p.
          <fpage>137</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>ITU-T Focus</surname>
          </string-name>
          Group on Smart Sustainable Cities:
          <article-title>Setting the framework for an ICT architecture of a smart sustainable city. ITU-T's Technical Reports</article-title>
          and Specification / ITU-T - Geneva,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Samuylov</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Moltchanov</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gaidamaka</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Andreev</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Koucheryavy</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          <string-name>
            <surname>Random Triangle</surname>
          </string-name>
          :
          <article-title>A Baseline Model for Interference Analysis in Heterogeneous Networks (</article-title>
          <year>2016</year>
          ) IEEE Transactions on Vehicular Technology,
          <volume>65</volume>
          (
          <issue>8</issue>
          ), art. no.
          <issue>7275184</issue>
          , pp.
          <fpage>6778</fpage>
          -
          <lpage>6782</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Begishev</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kovalchukov</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Samuylov</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ometov</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Moltchanov</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gaidamaka</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Andreev</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <article-title>An analytical approach to SINR estimation in adjacent rectangular cells (</article-title>
          <year>2015</year>
          <source>) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)</source>
          , 9247, pp.
          <fpage>446</fpage>
          -
          <lpage>458</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>