Zobrazeno 1 - 10
of 18
pro vyhledávání: '"M. L. Gromov"'
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 3, Pp 233-246 (2018)
In this paper, we continue our work that is devoted to the parallel composition of Timed Finite State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays. We held experiments in order to estimate how often parallel
Externí odkaz:
https://doaj.org/article/3fb6f843f6f141059aaa399708bc567f
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 41-54 (2018)
In this paper, we tell about a web-service we would like to develop. There are two goals we aim at, when developing this service. The first one is to give researchers a platform, where they could conduct preliminary experiments with different methods
Externí odkaz:
https://doaj.org/article/a270cc2d6db646ceb405f90636e8c95d
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 139-154 (2018)
Finite State Machines (FSMs) are widely used for analysis and synthesis of components of control systems. In order to take into account time aspects, timed FSMs are considered. As the complexity of many problems of analysis and synthesis of digital a
Externí odkaz:
https://doaj.org/article/609ca53496614422baf76d893081ee87
Autor:
M. L. Gromov, N. V. Shabaldina
Publikováno v:
Моделирование и анализ информационных систем, Vol 23, Iss 6, Pp 715-728 (2016)
In this paper, we consider the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). In order to build such a composition we can derive the corresponding binary parallel compositions step-by-step. It is known tha
Externí odkaz:
https://doaj.org/article/cddf8527cba845fba20d3f4b75aaf1ff
Autor:
D. Yu. Burago, Yu. D. Burago, A. L. Verner, A. M. Vershik, M. L. Gromov, I. A. Ibragimov, S. V. Ivanov, S. V. Kislyakov, S. S. Kutateladze, A. A. Lodkin, Yu. V. Matiyasevich, N. E. Mnev, A. I. Nazarov, G. Yu. Panina, Yu. G. Reshetnyak, V. A. Ryzhik, N. N. Uraltseva, Ya. M. Eliashberg
Publikováno v:
Russian Mathematical Surveys. 76:927-931
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac1df4c50367e70a67c2a136023b4e09
https://doi.org/10.1070/rm10022
https://doi.org/10.1070/rm10022
Autor:
Yuri I. Manin, Askold Khovanskii, Sergey Lando, Maxim Kontsevich, Igor Krichever, Albert N. Shiryaev, Grigorii Aleksandrovich Margulis, D. B. Fuchs, Valery V. Kozlov, S. Yu. Nemirovski, Albert Schwarz, Alexander Ivanovich Aptekarev, Dmitrii Valer'evich Treschev, Viktor M Buchstaber, Boris Sergeevich Kashin, S. P. Novikov, M. L. Gromov, Yu S Il'yashenko, Victor A. Vassiliev, Sergey Pavlovich Suetin, Evgenii Mikhailovich Chirka, Yu. G. Reshetnyak, N. G. Kruzhilin, V. M. Keselman, Yakov G. Sinai
Publikováno v:
Russian Mathematical Surveys. 73:935-939
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf9b7eceaec9f2d1bda49501239fd21b
https://doi.org/10.1070/rm9828
https://doi.org/10.1070/rm9828
Publikováno v:
Journal of Physics: Conference Series. 2140:012031
The paper considers a cellular automaton approach to modeling physical processes, in particular, the diffusion of pulsed periodic gas discharges in plasma. An attempt to determine the dependence of the probability of the block rotation on the diffusi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d4dad65edf3d463f8e5eee9c214381dd
https://doi.org/10.1088/1742-6596/2140/1/012031
https://doi.org/10.1088/1742-6596/2140/1/012031
Publikováno v:
Труды Института системного программирования РАН. 2017. Т. 29, вып. 3. С. 233-246
Труды Института системного программирования РАН, Vol 29, Iss 3, Pp 233-246 (2018)
Труды Института системного программирования РАН, Vol 29, Iss 3, Pp 233-246 (2018)
In this paper, we continue our work that is devoted to the parallel composition of Timed Finite State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays. We held experiments in order to estimate how often parallel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e23f4ddac9c5cc4cea81387f4129fe2
https://doi.org/10.15514/ispras-2017-29(3)-13
https://doi.org/10.15514/ispras-2017-29(3)-13
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 139-154 (2018)
Finite State Machines (FSMs) are widely used for analysis and synthesis of components of control systems. In order to take into account time aspects, timed FSMs are considered. As the complexity of many problems of analysis and synthesis of digital a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5aabf0b10598ba78785a44563f85c6c7
https://doi.org/10.15514/ispras-2017-29(4)-9
https://doi.org/10.15514/ispras-2017-29(4)-9
Autor:
M L Gromov, V L Khmelev
Publikováno v:
Journal of Physics: Conference Series. 2021. Vol. 1843. P. 012025 (1-5)
Radio wave tomography (radiotommography) allows restoring the shape of objects hidden behind radio-transparent barriers. Radiotommography detectors use this technology for location and visualization for metal, metalized, and dielectric communications
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd73e1f89c0c82885cf0ea6903397dc1
https://doi.org/10.1088/1742-6596/1843/1/012025
https://doi.org/10.1088/1742-6596/1843/1/012025