{"title":"事件-离散交通控制模型","authors":"Yu. V. Shornikov, K. A. Timofeev","doi":"10.3103/s875669902470033x","DOIUrl":null,"url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>The problem of traffic control is solved using a model-based method. Automaton formalism is proposed for the development of a mathematical model. The states of a deterministic finite automaton (DFA) and the predicates of directed transitions are defined in strict accordance with the conditions of the problem. To implement the DFA, we used the Harel diagram (statechart); this is unified mathematical and software support for modern global modeling tools. The solution to the problem is proven constructively by a table of states with the corresponding dynamics and computational experiments of the selected scenario in advanced Russian and foreign instrumental environments for modeling the class of event systems. Computational experiments are in good agreement with constructive analysis.</p>","PeriodicalId":44919,"journal":{"name":"Optoelectronics Instrumentation and Data Processing","volume":"40 1","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Event-Discrete Traffic Control Models\",\"authors\":\"Yu. V. Shornikov, K. A. Timofeev\",\"doi\":\"10.3103/s875669902470033x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<h3 data-test=\\\"abstract-sub-heading\\\">Abstract</h3><p>The problem of traffic control is solved using a model-based method. Automaton formalism is proposed for the development of a mathematical model. The states of a deterministic finite automaton (DFA) and the predicates of directed transitions are defined in strict accordance with the conditions of the problem. To implement the DFA, we used the Harel diagram (statechart); this is unified mathematical and software support for modern global modeling tools. The solution to the problem is proven constructively by a table of states with the corresponding dynamics and computational experiments of the selected scenario in advanced Russian and foreign instrumental environments for modeling the class of event systems. Computational experiments are in good agreement with constructive analysis.</p>\",\"PeriodicalId\":44919,\"journal\":{\"name\":\"Optoelectronics Instrumentation and Data Processing\",\"volume\":\"40 1\",\"pages\":\"\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2024-07-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Optoelectronics Instrumentation and Data Processing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3103/s875669902470033x\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"PHYSICS, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Optoelectronics Instrumentation and Data Processing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3103/s875669902470033x","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"PHYSICS, MULTIDISCIPLINARY","Score":null,"Total":0}
The problem of traffic control is solved using a model-based method. Automaton formalism is proposed for the development of a mathematical model. The states of a deterministic finite automaton (DFA) and the predicates of directed transitions are defined in strict accordance with the conditions of the problem. To implement the DFA, we used the Harel diagram (statechart); this is unified mathematical and software support for modern global modeling tools. The solution to the problem is proven constructively by a table of states with the corresponding dynamics and computational experiments of the selected scenario in advanced Russian and foreign instrumental environments for modeling the class of event systems. Computational experiments are in good agreement with constructive analysis.
期刊介绍：
The scope of Optoelectronics, Instrumentation and Data Processing encompasses, but is not restricted to, the following areas: analysis and synthesis of signals and images; artificial intelligence methods; automated measurement systems; physicotechnical foundations of micro- and optoelectronics; optical information technologies; systems and components; modelling in physicotechnical research; laser physics applications; computer networks and data transmission systems. The journal publishes original papers, reviews, and short communications in order to provide the widest possible coverage of latest research and development in its chosen field.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
