Zobrazeno 1 - 10
of 1 268
pro vyhledávání: '"function block"'
Autor:
Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin
Publikováno v:
IEEE Open Journal of the Industrial Electronics Society, Vol 5, Pp 616-631 (2024)
The design of safety-critical cyber–physical systems requires a rigorous check of their operation logic, as well as an analysis of their overall instrumentation and control (I&C) architectures. In this article, we focus on the latter and use formal
Externí odkaz:
https://doaj.org/article/e68d9eaddc47479392ed391638d38f68
Autor:
Yoji Yamato
Publikováno v:
Automatika, Vol 65, Iss 1, Pp 387-400 (2024)
Systems using graphical processing units (GPUs) and field-programmable gate arrays (FPGAs) have increased due to their advantages over central processing units (CPUs). However, such systems require the understanding of hardware-specific technical spe
Externí odkaz:
https://doaj.org/article/45d4601856634be2a9677052a19b854d
Autor:
Sergey V. Sai, Alexey V. Zinkevich
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 23, Iss 1, Pp 79-87 (2023)
The article considers the computational methods and features of the construction of a complex functional block for the implementation of the discrete wavelet transform (DWT) Dobeshie 9/7 in digital image signal processing systems based on FPGA. We
Externí odkaz:
https://doaj.org/article/347f456857ad4dde881be27700b463b0
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Access, Vol 9, Pp 61383-61397 (2021)
Thorough verification is a part of the design process of instrumentation and control systems if they must comply with crucial safety requirements. Model checking can be applied to the formal model of such a system to reason about its correctness base
Externí odkaz:
https://doaj.org/article/304899e3ac174de9873d6d6f2ebfcc44
Autor:
Minzhen Chen, Peng Liu
Publikováno v:
IEEE Access, Vol 9, Pp 99794-99804 (2021)
In the context of various application scenarios and/or for the sake of strengthening field-programmable gate array (FPGA) security, the system functions of an FPGA design need to be analyzed, which can be achieved by systematically partitioning the F
Externí odkaz:
https://doaj.org/article/02a2d98f7a0b406084ea9eff415f3305
Autor:
Jianyong Zhao, Zhe Tao
Publikováno v:
IEEE Access, Vol 9, Pp 166137-166146 (2021)
Programmable logic controllers (PLCs) are widely used in industrial electronic systems. With the augmenting complexity of system, the reliability poses a crucial challenge in safety critical applications. This paper proposes a formal modeling and ver
Externí odkaz:
https://doaj.org/article/959a810e1c0644b18bf7c2a5bf05681d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.