Zobrazeno 1 - 10
of 52
pro vyhledávání: '"M S Lebedev"'
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:
M. S. Lebedev, S. A. Smolov
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 41-56 (2018)
Automated test generation is a promising direction in hardware verification research area. Functional test generation methods based on models are widespread at the moment. In this paper, a functional test generation method based on model checking is
Externí odkaz:
https://doaj.org/article/db5cd6bc2a3c4fd88d1b58c262c5cfae
Publikováno v:
Thermophysics and Aeromechanics. 29:965-973
Publikováno v:
Journal of Structural Chemistry. 64:424-436
Publikováno v:
Journal of Contemporary Physics (Armenian Academy of Sciences). 57:274-279
Autor:
V. R. Shayapov, M. Yu. Afonin, M. V. Katkov, M. S. Lebedev, A. V. Aghabekyan, I. V. Yushina, D. E. Petukhova, G. Y. Ayvazyan, E. A. Maksimovskii
Publikováno v:
Journal of Contemporary Physics (Armenian Academy of Sciences). 56:240-246
The results of experimental studies of the anti-reflection properties of black silicon (b-Si) layers coated with thin films of TiO2, HfO2, and Sc2O3 metal oxides by atomic layer deposition (ALD) are presented. An improvement in the antireflection pro
Autor:
A. V. Burenin, V. A. Akulichev, Yu. N. Morgunov, E. A. Voytenko, A. A. Tagiltsev, M. S. Lebedev
Publikováno v:
Doklady Earth Sciences. 498:498-501
The results of experimental studies on the features of propagation and reception of broadband pulsed signals in an underwater sound channel (USC) at a distance of 300 km from the source are discussed. The characteristics of the formation of the pulse
Autor:
A. V. Burenin, M. S. Lebedev, Pavel S. Petrov, V. V. Bezotvetnykh, Yu. N. Morgunov, A. A. Golov
Publikováno v:
Acoustical Physics. 67:287-292
Publikováno v:
Journal of Contemporary Physics (Armenian Academy of Sciences). 55:16-22
Using the finite difference time domain (FDTD) method, we studied the optical properties of black silicon (BSi) layers passivated with the various metal oxides (Al2O3, TiO2, HfO2, and Sc2O3) films, obtained by atomic layer deposition (ALD) method. Th
Publikováno v:
Bulletin of the Russian Military Medical Academy. 21:18-21
Goal. Develop a model of purulent liver abscess (GAP), which corresponds to all the classic signs of a delimited abscess. Material and methods. Simulation of GAP was carried out in an experiment on 60 laboratory animals. Under ultrasound control (UC)