Аннотация.

В статье приведена методология разработки логико-математической  модели (ЛММ) транспорта при проектировании умного города (УГ). Определены ограничения и допущения модели. Приведен пример разработки ЛММ транспорта для проектируемого умного города Сколково (УГС), показана модель взаимодействия транспортной системы с объектами и системой управления УГС. В приведенном примере показано возможное при проектировании ЛММ транспорта разделение на ЛММ входящих и исходящих (по отношению к УГ) транспортных потоков и ЛММ внутренних транспортных потоков УГ.

Ключевые слова:

логико-математическая модель, информационная  системы, безопасность, своевременность выполнения, информационная безопасность, информационные технологии, транспортная система, инфраструктура города, система управления, информационные потоки.

Стр. 31 - 41.

O. A. Slavin, A. V. Solovyev, An. V. Solovyev

"Development of methodology for logical-mathematical model of traffic at the stage of creating the concept of smart city"

Abstract. The article describes the development methodology of logical-mathematical model (LMM) in the design of intelligent transport of smart city (SC). Identified constraints and assumptions of the model. The example of the development of transport for LMM  designed smart city Skolkovo (SCS), shows a model of the interaction of the transport system and the system control EGS. The following example shows a possible design for the LMM transport division at the incoming and outgoing (to the SC) traffic and domestic traffic LMM SC.

Keywords:  logical-mathematical  model,  information systems,  security,  timeliness,  information  security, information  technology,  transit  system,  city infrastructure, management system, data flows.

Полная версия статьи в формате pdf.