Zobrazeno 1 - 10
of 320
pro vyhledávání: '"E A, Novikov"'
Autor:
V. I. Sakhnyuk, E. V. Novikov, A. M. Sharifullin, V. S. Belokhin, A. P. Antonov, M. U. Karpushin, M. A. Bolshakova, S. A. Afonin, R. S. Sautkin, A. A. Suslova
Publikováno v:
Georesursy, Vol 24, Iss 2, Pp 230-238 (2024)
Nowadays well logging curves are interpreted by geologists who preprocess the data and normalize the curves for this purpose. The preparation process can take a long time, especially when hundreds and thousands of wells are involved. This paper explo
Externí odkaz:
https://doaj.org/article/70941e8c916a446aba00e9cf6f85621a
Publikováno v:
Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioèlektroniki, Vol 21, Iss 6, Pp 14-20 (2024)
Fiber-optic sensors for identifying liquids and determining the concentration of solutions have been studied with the possibility of using various types of single-mode optical fibers produced by industry and widely used in optical cables and telecomm
Externí odkaz:
https://doaj.org/article/4058464a04d3418799233f004f798220
Publikováno v:
Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioèlektroniki, Vol 20, Iss 2, Pp 86-93 (2022)
Currently, ensuring information security of object fiber-optic data transmission systems is an important and urgent task. Therefore, the purpose of this article is to develop an easy-to-implement method for protecting object fiber-optic data transmis
Externí odkaz:
https://doaj.org/article/24b1ea426da142269facff0152ed77c4
Publikováno v:
Сельскохозяйственные машины и технологии, Vol 15, Iss 2, Pp 19-25 (2021)
The authors showed that the short fiber of oilseed flax was usually obtained from a tangled mass of broken stems. However, recently, the question of the processing possibility of the culture whole stems left after harvesting into long fiber was raise
Externí odkaz:
https://doaj.org/article/7e092d8a0d4f4bf1b18542ba0d4af579
Publikováno v:
Сельскохозяйственные машины и технологии, Vol 16, Iss 2 (2022)
It was shown that there is a need for the research and development of domestic lines for processing two-season raw industrial hemp of autumn and spring harvesting. The lines need to be efficient, low-cost and produce fiber of various qualities.Resear
Externí odkaz:
https://doaj.org/article/99e98b3e6bf64a17b66e377710ae4e69
Publikováno v:
Сельскохозяйственные машины и технологии, Vol 14, Iss 2, Pp 34-40 (2020)
It is important to create foreign units alternative, introducing modern domestic technologies and lines in the framework of import substitution for the primary processing of strategic raw materials in the industrial hemp form.(Research purpose) To su
Externí odkaz:
https://doaj.org/article/6d02902218bb4a38a1a29b0e61dbfab4
Autor:
A. A. Maksimova, I. V. Alenkina, M. V. Goryunov, M. V. Ushakov, E. V. Petrova, E. N. Novikov, V. A. Semionkin, M. I. Oshtrakh
Publikováno v:
Траектория исследований – человек, природа, технологии. :36-86
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e03527cdea12c379f2d9cd66c7deb39b
https://doi.org/10.56564/27825264_2023_1_36
https://doi.org/10.56564/27825264_2023_1_36
Autor:
I. S. Zakharov, E. M. Novikov
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 6, Pp 25-48 (2018)
Methods and tools for automated static verification aim at detecting all violations of checked requirements in target programs under certain assumptions even without complete models and formal specifications. The given feature form a basis of the sug
Externí odkaz:
https://doaj.org/article/8ca3c360c1714259bf799ed4b16b7f40
Autor:
I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 2, Pp 5-42 (2018)
An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a signific
Externí odkaz:
https://doaj.org/article/c6ce8def99fd4d52824de9d3f77563c9
Publikováno v:
Труды Института системного программирования РАН, Vol 25, Iss 0, Pp 85-112 (2018)
In static device driver verification of Linux operating system it is necessary to take into account the specifics of the communication between drivers and kernel core as far as it plays the main role in the drivers’ behavior. At the same time the v
Externí odkaz:
https://doaj.org/article/c94e30f6a4904af5acad45e2c8e38919