Zobrazeno 1 - 10
of 445
pro vyhledávání: '"конечный"'
Autor:
Hayotov, A.R., Doniyorov, N.N.
Publikováno v:
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, Vol 46, Iss 1, Pp 118-133 (2024)
The present work is devoted to construction of the optimal interpolation formula exact for trigonometric functions sin(ωx) and cos(ωx). Here the analytical representations of the coefficients of the optimal interpolation formula in a certain Hilber
Externí odkaz:
https://doaj.org/article/bf601d3fccec4752991690dfecc7d0a9
Publikováno v:
Информатика и автоматизация, Vol 22, Iss 4, Pp 826-852 (2023)
Исследование посвящено повышению точности цифровых датчиков с запаздыванием по времени. Актуальность темы обусловлена широким распро
Externí odkaz:
https://doaj.org/article/6484bb4aa18542b88ff47199453b99a2
Autor:
Vitalii Statkevych
Publikováno v:
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, Iss 2 (2021)
Рассмотрены сеть Петри в задаче о производителе и потребителе (одной из классических задач синхронизации) с ограниченным буфером разме
Externí odkaz:
https://doaj.org/article/6e2742fd57af4101bd654e5ec18a8a5b
Publikováno v:
Радіоелектронні і комп'ютерні системи, Vol 0, Iss 4, Pp 79-87 (2019)
The construction concept and general principles of the operation of a new kind of finite state machine are presented, for which the input and output elements are panels of square matrices, and the transitions between their states are determined by nu
Externí odkaz:
https://doaj.org/article/d6ffcf60f9894f778729a3b295d92c75
Publikováno v:
Труды Института системного программирования РАН, Vol 31, Iss 4, Pp 175-188 (2019)
Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed fault coverage for discrete event systems and as the behavior of many nowadays information and control systems depends on time, classical FSMs are extended
Externí odkaz:
https://doaj.org/article/d36a2519d0bf410c841a8b5c0ff9935d
Autor:
Vitalii M. Statkevych
Publikováno v:
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, Iss 3 (2020)
Рассмотрены сеть Петри в задаче о производителе и потребителе (одной из классических задач синхронизации) с ограниченным буфером разме
Externí odkaz:
https://doaj.org/article/6cd6631490d84ac08702e5110cd66548
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 161-182 (2018)
Model-based test generation is widely spread in functional verification of hardware designs. The extended finite state machine (EFSM) is known to be a powerful formalism for modelling digital hardware. As opposed to conventional finite state machines
Externí odkaz:
https://doaj.org/article/f458ed7a4f804d708ac53b93c9240478
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 247-256 (2018)
Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits. To measure test quality, two main metrics are in use: fault detection abilities (fault coverage) and test application time (test length). Many algorithms ha
Externí odkaz:
https://doaj.org/article/ae31f53688d8405d8aa9f9eb5848aa0d
Autor:
N. Nikitina, A. Mitsyuk
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 219-236 (2018)
Process models and graphs are commonly used for modeling and visualization of processes. They may represent sets of objects or events linked with each other in some way. Wide use of models in such languages engenders necessity of tools for creating a
Externí odkaz:
https://doaj.org/article/05c315adf6724153bdaed2cb53556446
Autor:
A. S. Tvardovskii, A. V. Laputenko
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 25-40 (2018)
Finite State Machines (FSMs) are widely used for analysis and synthesis of digital components of control systems. In order to take into account time aspects, timed FSMs are considered. In this paper, we address the problem of deriving a parallel comp
Externí odkaz:
https://doaj.org/article/6ee4b06eb1d048aa92c96f66ed853973