Search

Your search keyword '"Dergachev, P."' showing total 274 results
Start Over Author "Dergachev, P." Language english
274 results on '"Dergachev, P."'

2. Model predictive path integral for decentralized multi-agent collision avoidance

Author

Stepan Dergachev and Konstantin Yakovlev

Subjects
Collision avoidance, Kinematic constraints, Decentralized multi-agent systems, Model predictive path integral, Decentralized multi-agent navigation, Multi-robot systems, Electronic computers. Computer science, QA75.5-76.95
Abstract

Collision avoidance is a crucial component of any decentralized multi-agent navigation system. Currently, most of the existing multi-agent collision-avoidance methods either do not take into account the kinematic constraints of the agents (i.e., they assume that an agent might change the direction of movement instantaneously) or are tailored to specific kinematic motion models (e.g., car-like robots). In this work, we suggest a novel generalized approach to decentralized multi-agent collision-avoidance that can be applied to agents with arbitrary affine kinematic motion models, including but not limited to differential-drive robots, car-like robots, quadrotors, etc. The suggested approach is based on the seminal sampling-based model predictive control algorithm, i.e., MPPI, that originally solves a single-agent problem. We enhance it by introducing safe distributions for the multi-agent setting that are derived from the Optimal Reciprocal Collision Avoidance (ORCA) linear constraints, an established approach from the multi-agent navigation domain. We rigorously show that such distributions can be found by solving a specific convex optimization problem. We also provide a theoretical justification that the resultant algorithm guarantees safety, i.e., that at each time step the control suggested by our algorithm does not lead to a collision. We empirically evaluate the proposed method in simulation experiments that involve comparison with the state of the art in different setups. We find that in many cases, the suggested approach outperforms competitors and allows solving problem instances that the other methods cannot successfully solve.

Published
2024
Full Text
View/download PDF

10. Mechanisms for managerial decision making during the digitalization of production processes for an industrial enterprise

Author

Makarova, Elena Lvovna, Фирсова , Анна Александровна, and Dergachev, Andrey Andreevich

Subjects
managerial decisions, digitalization, pros and cons analysis, paired-comparison method, industrial enterprise, Commerce, HF1-6182
Abstract

Introduction. The relevance of studying the industrial enterprise digitalization processes and developing a methodology for implementing production process control systems is due to the fact that digital technologies introduced into the manufacturing sector are important drivers for improving production management processes, improving labor productivity indicators, reducing the labor intensity of manufacturing products, reducing the cost of products and increasing quality. Theoretical analysis. The information systems and products most commonly used in modern practice of industrial enterprises in aviation industries are analyzed. Empirical analysis. The analysis of options for making managerial decisions to create an ERP complex that automates the processes of production’s technological preparation was carried out using the methods of analyzing advantages and disadvantages, paired comparisons and Kepner – Trego. A mechanism for making informed management decisions on the analysis of alternatives is presented, as well as the evaluation and selection of options for digitalization of the technological preparation processes based on the use of the principles of developing a management decision. Results. The choice of the Global ERP system for managing production preparation processes at industrial enterprises in the aircraft industry is justified, since it most closely matches the selected evaluation criteria.

Published
2023
Full Text
View/download PDF

13. Investigation of antiparkinsonian activity of new imidazole-4,5-dicarboxylic acid derivatives on the experimental model of catalepsy

Author

Vladimir D. Dergachev, Ekaterina E. Yakovleva, Maria A. Brusina, Evgeny R. Bychkov, Levon B. Piotrovskiy, and Petr D. Shabanov

Subjects
nmda receptor antagonists, haloperidol, dopamine, parkinsonism, Therapeutics. Pharmacology, RM1-950
Abstract

Introduction: To study the antiparkinsonian activity of new ligands of the glutamate NMDA receptor complex – 1,2–substituted imidazole-4,5-dicarboxylic acids – on an experimental model of catalepsy caused by haloperidolintraabdominal injections in rats. Materials and methods: The experiments were performed on Wistar rats weighing 300-350 g, obtained from the Rappolovo nursery of the Russian Academy of Medical Sciences (Leningrad Region). The animals were kept in standard plastic cages in vivarium conditions with free access to water and food at a temperature of 22±2 °C and in the experiment were divided into several groups (6 animals each). All the experiments were carried out in the autumn-winter period. The animals were kept in accordance with the rules of laboratory practice (GLP), regulatory documents ”Sanitary Rules for the Device, Equipment and Maintenance of Vivarium” and the Order of the Ministry of Health and Social Development of the Russian Federation dated 23.08.2010 No. 708n “On Approval of the Rules of Laboratory Practice”. Imidazole-dicarboxylic acid derivatives (IEM-2295, IEM-2296) were injected intraperitoneally at doses from 5 mg/kg to 40 mg/kg simultaneously with haloperidol at a dose of 1 mg/kg, after which the duration and severity of catalepsy were evaluated after 30, 60, 120 minutes from 0 to 6 points according to the Morpurgo method. Results: The severity of catalepsy with the injection of IEM-2295 decreased on average to 3 points, while in the control group it remained at the level of 6 points throughout the observation. However, the severity of catalepsy with the introduction of IEM-2296 decreased to an average of 4 points, but the effect itself lasted longer than with the introduction of IEM-2295. Thus, it was noted that by the 120th minute of observation, the severity of catalepsy in rats receiving the IEM-2295 compound averaged 5 points, whereas in animals receiving IEM-2296 – 3 points. Discussion: Basing on the results of our work and similar experiments, we can conclude that the studied compounds, which are not channel blockers, have an active effect on dopaminergic neurotransmission, because of which the symptoms of catalepsy that occur when haloperidol is injected to rats were stopped to one degree or another. Conclusion: The studied substances exhibit antiparkinsonian activity on an experimental haloperidol model of catalepsy in rats and are promising for development as potential therapies for neurodegenerative diseases. Further study of these compounds and other ligands from the NMDA-blocker group in a wider sample on the catalepsy model, as well as on other models of Parkinsonism, is required.

Published
2023
Full Text
View/download PDF

17. The SHiP experiment at the proposed CERN SPS Beam Dump Facility

Author

C. Ahdida, A. Akmete, R. Albanese, J. Alt, A. Alexandrov, A. Anokhina, S. Aoki, G. Arduini, E. Atkin, N. Azorskiy, J. J. Back, A. Bagulya, F. Baaltasar Dos Santos, A. Baranov, F. Bardou, G. J. Barker, M. Battistin, J. Bauche, A. Bay, V. Bayliss, A. Y. Berdnikov, Y. A. Berdnikov, C. Betancourt, I. Bezshyiko, O. Bezshyyko, D. Bick, S. Bieschke, A. Blanco, J. Boehm, M. Bogomilov, I. Boiarska, K. Bondarenko, W. M. Bonivento, J. Borburgh, A. Boyarsky, R. Brenner, D. Breton, A. Brignoli, V. Büscher, A. Buonaura, S. Buontempo, S. Cadeddu, M. Calviani, M. Campanelli, M. Casolino, N. Charitonidis, P. Chau, J. Chauveau, A. Chepurnov, M. Chernyavskiy, K.-Y. Choi, A. Chumakov, M. Climescu, A. Conaboy, L. Congedo, K. Cornelis, M. Cristinziani, A. Crupano, G. M. Dallavalle, A. Datwyler, N. D’Ambrosio, G. D’Appollonio, R. de Asmundis, J. De Carvalho Saraiva, G. De Lellis, M. de Magistris, A. De Roeck, M. De Serio, D. De Simone, L. Dedenko, P. Dergachev, A. Di Crescenzo, L. Di Giulio, C. Dib, H. Dijkstra, V. Dmitrenko, L. A. Dougherty, A. Dolmatov, S. Donskov, V. Drohan, A. Dubreuil, O. Durhan, M. Ehlert, E. Elikkaya, T. Enik, A. Etenko, O. Fedin, F. Fedotovs, M. Ferrillo, M. Ferro-Luzzi, K. Filippov, R. A. Fini, H. Fischer, P. Fonte, C. Franco, M. Fraser, R. Fresa, R. Froeschl, T. Fukuda, G. Galati, J. Gall, L. Gatignon, G. Gavrilov, V. Gentile, B. Goddard, L. Golinka-Bezshyyko, A. Golovatiuk, V. Golovtsov, D. Golubkov, A. Golutvin, P. Gorbounov, D. Gorbunov, S. Gorbunov, V. Gorkavenko, M. Gorshenkov, V. Grachev, A. L. Grandchamp, E. Graverini, J.-L. Grenard, D. Grenier, V. Grichine, N. Gruzinskii, A. M. Guler, Yu. Guz, G. J. Haefeli, C. Hagner, H. Hakobyan, I. W. Harris, E. van Herwijnen, C. Hessler, A. Hollnagel, B. Hosseini, M. Hushchyn, G. Iaselli, A. Iuliano, R. Jacobsson, D. Joković, M. Jonker, I. Kadenko, V. Kain, B. Kaiser, C. Kamiscioglu, D. Karpenkov, K. Kershaw, M. Khabibullin, E. Khalikov, G. Khaustov, G. Khoriauli, A. Khotyantsev, Y. G. Kim, V. Kim, N. Kitagawa, J.-W. Ko, K. Kodama, A. Kolesnikov, D. I. Kolev, V. Kolosov, M. Komatsu, A. Kono, N. Konovalova, S. Kormannshaus, I. Korol, I. Korol’ko, A. Korzenev, E. Koukovini Platia, S. Kovalenko, I. Krasilnikova, Y. Kudenko, E. Kurbatov, P. Kurbatov, V. Kurochka, E. Kuznetsova, H. M. Lacker, M. Lamont, O. Lantwin, A. Lauria, K. S. Lee, K. Y. Lee, N. Leonardo, J.-M. Lévy, V. P. Loschiavo, L. Lopes, E. Lopez Sola, F. Lyons, V. Lyubovitskij, J. Maalmi, A.-M. Magnan, V. Maleev, A. Malinin, Y. Manabe, A. K. Managadze, M. Manfredi, S. Marsh, A. M. Marshall, A. Mefodev, P. Mermod, A. Miano, S. Mikado, Yu. Mikhaylov, A. Mikulenko, D. A. Milstead, O. Mineev, M. C. Montesi, K. Morishima, S. Movchan, Y. Muttoni, N. Naganawa, M. Nakamura, T. Nakano, S. Nasybulin, P. Ninin, A. Nishio, B. Obinyakov, S. Ogawa, N. Okateva, J. Osborne, M. Ovchynnikov, N. Owtscharenko, P. H. Owen, P. Pacholek, B. D. Park, A. Pastore, M. Patel, D. Pereyma, A. Perillo-Marcone, G. L. Petkov, K. Petridis, A. Petrov, D. Podgrudkov, V. Poliakov, N. Polukhina, J. Prieto Prieto, M. Prokudin, A. Prota, A. Quercia, A. Rademakers, A. Rakai, F. Ratnikov, T. Rawlings, F. Redi, A. Reghunath, S. Ricciardi, M. Rinaldesi, Volodymyr Rodin, Viktor Rodin, P. Robbe, A. B. Rodrigues Cavalcante, T. Roganova, H. Rokujo, G. Rosa, O. Ruchayskiy, T. Ruf, V. Samoylenko, V. Samsonov, F. Sanchez Galan, P. Santos Diaz, A. Sanz Ull, O. Sato, E. S. Savchenko, J. S. Schliwinski, W. Schmidt-Parzefall, M. Schumann, N. Serra, S. Sgobba, O. Shadura, A. Shakin, M. Shaposhnikov, P. Shatalov, T. Shchedrina, L. Shchutska, V. Shevchenko, H. Shibuya, L. Shihora, S. Shirobokov, A. Shustov, S. B. Silverstein, S. Simone, R. Simoniello, M. Skorokhvatov, S. Smirnov, G. Soares, J. Y. Sohn, A. Sokolenko, E. Solodko, N. Starkov, L. Stoel, M. E. Stramaglia, D. Sukhonos, Y. Suzuki, S. Takahashi, J. L. Tastet, P. Teterin, S. Than Naing, I. Timiryasov, V. Tioukov, D. Tommasini, M. Torii, D. Treille, R. Tsenov, S. Ulin, E. Ursov, A. Ustyuzhanin, Z. Uteshev, L. Uvarov, G. Vankova-Kirilova, F. Vannucci, P. Venkova, V. Venturi, I. Vidulin, S. Vilchinski, Heinz Vincke, Helmut Vincke, C. Visone, K. Vlasik, A. Volkov, R. Voronkov, S. van Waasen, R. Wanke, P. Wertelaers, O. Williams, J.-K. Woo, M. Wurm, S. Xella, D. Yilmaz, A. U. Yilmazer, C. S. Yoon, Yu. Zaytsev, A. Zelenov, J. Zimmerman, and SHiP Collaboration

Subjects
Astrophysics, QB460-466, Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Abstract The Search for Hidden Particles (SHiP) Collaboration has proposed a general-purpose experimental facility operating in beam-dump mode at the CERN SPS accelerator to search for light, feebly interacting particles. In the baseline configuration, the SHiP experiment incorporates two complementary detectors. The upstream detector is designed for recoil signatures of light dark matter (LDM) scattering and for neutrino physics, in particular with tau neutrinos. It consists of a spectrometer magnet housing a layered detector system with high-density LDM/neutrino target plates, emulsion-film technology and electronic high-precision tracking. The total detector target mass amounts to about eight tonnes. The downstream detector system aims at measuring visible decays of feebly interacting particles to both fully reconstructed final states and to partially reconstructed final states with neutrinos, in a nearly background-free environment. The detector consists of a 50 $$\mathrm { \,m}$$ m long decay volume under vacuum followed by a spectrometer and particle identification system with a rectangular acceptance of 5 m in width and 10 m in height. Using the high-intensity beam of 400 $$\,\mathrm {GeV}$$ GeV protons, the experiment aims at profiting from the $$4\times 10^{19}$$ 4 × 10 19 protons per year that are currently unexploited at the SPS, over a period of 5–10 years. This allows probing dark photons, dark scalars and pseudo-scalars, and heavy neutral leptons with GeV-scale masses in the direct searches at sensitivities that largely exceed those of existing and projected experiments. The sensitivity to light dark matter through scattering reaches well below the dark matter relic density limits in the range from a few $${\mathrm {\,MeV\!/}c^2}$$ MeV / c 2 up to 100 MeV-scale masses, and it will be possible to study tau neutrino interactions with unprecedented statistics. This paper describes the SHiP experiment baseline setup and the detector systems, together with performance results from prototypes in test beams, as it was prepared for the 2020 Update of the European Strategy for Particle Physics. The expected detector performance from simulation is summarised at the end.

Published
2022
Full Text
View/download PDF

18. Chronology of the short-term climate change during the Holocene in Northwestern Russia and its correlation with the solar activity variations

Author

Kh.A. Arslanov, V.A. Dergachev, F.E. Maksimov, and J.V. Kudryavtsev

Subjects
bog sediments, radiocarbon dating, age correction by modeling, paleoclimatic reconstruction, cosmogenic isotopes, correlation of climate change and solar activity, Science
Abstract

In 1996–1999, with our participation, a number of sections of the bog sediments in Northwestern Russia were studied to develop a chronology of the stages in the vegetation and climate evolution during the Holocene. However, the resulting chronology failed to take into account the error in determining the radiocarbon age arising due to the changes in the concentration of atmospheric radiocarbon. To allow for this error and make the chronology more precise and reliable, here we used C. Bronk Ramsey's model based on comparing the radiocarbon chronology of the surveyed section with the calibration curve chronology. Thanks to this model, we were able to calculate the calibrated (modeled) age span of the entire series of radiocarbon dates that had been previously obtained by us for samples taken from the thickest (6.4–6.7 m) sediment layers of the raised bogs Nikolsko-Lyutinskoe, Shirinsky Mokh, and Sambal'skoe in Northwestern Russia. The deviations of the average annual temperature from its present value (∆T, ?C), which had been represented in our earlier works as a graph, were converted into digital values and employed to define the modeled age that is most approximate to the calendar one and the corresponding values of ∆T for all the dated samples. The ∆T values were reconstructed for a period of 200–11000 cal yr. The modeled age of the cooling and warming stages was compared with the age of the stages of low and high solar activity established by counting the number of sunspots and by determining the concentration of cosmogenic isotopes (14C in tree rings of known age and 10Be in polar glaciers). It was revealed that, within the error in the measured values of age and ∆T, the short-term changes in the average annual temperature occurred simultaneously at three sites of the bog sediments under consideration. The identified changes in the average annual temperature turned out to be synchronous with similar temperature changes in the Northern Hemisphere over the last 1000 years, as well as with the chronologies developed from the GISP 2 polar ice cores and the mountain glacier advances. In general, the comparison of the modeled age of the cooling stages with the corresponding grand minima of solar activity demonstrates the synchronicity of the periods of cooling and low solar activity during the Holocene. It was concluded that short-term climate change depends mainly on variations in solar activity, which is important for predicting and modeling climate shifts.

Published
2022
Full Text
View/download PDF

25. The origins and spread of domestic horses from the Western Eurasian steppes

Author

Librado, Pablo, Khan, Naveed, Fages, Antoine, Kusliy, Mariya A., Suchan, Tomasz, Tonasso-Calvière, Laure, Schiavinato, Stéphanie, Alioglu, Duha, Fromentier, Aurore, Perdereau, Aude, Aury, Jean-Marc, Gaunitz, Charleen, Chauvey, Lorelei, Seguin-Orlando, Andaine, Der Sarkissian, Clio, Southon, John, Shapiro, Beth, Tishkin, Alexey A., Kovalev, Alexey A., Alquraishi, Saleh, Alfarhan, Ahmed H., Al-Rasheid, Khaled A. S., Seregély, Timo, Klassen, Lutz, Iversen, Rune, Bignon-Lau, Olivier, Bodu, Pierre, Olive, Monique, Castel, Jean-Christophe, Boudadi-Maligne, Myriam, Alvarez, Nadir, Germonpré, Mietje, Moskal-del Hoyo, Magdalena, Wilczyński, Jarosław, Pospuła, Sylwia, Lasota-Kuś, Anna, Tunia, Krzysztof, Nowak, Marek, Rannamäe, Eve, Saarma, Urmas, Boeskorov, Gennady, Lōugas, Lembi, Kyselý, René, Peške, Lubomír, Bălășescu, Adrian, Dumitrașcu, Valentin, Dobrescu, Roxana, Gerber, Daniel, Kiss, Viktória, Szécsényi-Nagy, Anna, Mende, Balázs G., Gallina, Zsolt, Somogyi, Krisztina, Kulcsár, Gabriella, Gál, Erika, Bendrey, Robin, Allentoft, Morten E., Sirbu, Ghenadie, Dergachev, Valentin, Shephard, Henry, Tomadini, Noémie, Grouard, Sandrine, Kasparov, Aleksei, Basilyan, Alexander E., Anisimov, Mikhail A., Nikolskiy, Pavel A., Pavlova, Elena Y., Pitulko, Vladimir, Brem, Gottfried, Wallner, Barbara, Schwall, Christoph, Keller, Marcel, Kitagawa, Keiko, Bessudnov, Alexander N., Bessudnov, Alexander, Taylor, William, Magail, Jérome, Gantulga, Jamiyan-Ombo, Bayarsaikhan, Jamsranjav, Erdenebaatar, Diimaajav, Tabaldiev, Kubatbeek, Mijiddorj, Enkhbayar, Boldgiv, Bazartseren, Tsagaan, Turbat, Pruvost, Mélanie, Olsen, Sandra, Makarewicz, Cheryl A., Valenzuela Lamas, Silvia, Albizuri Canadell, Silvia, Nieto Espinet, Ariadna, Iborra, Ma Pilar, Lira Garrido, Jaime, Rodríguez González, Esther, Celestino, Sebastián, Olària, Carmen, Arsuaga, Juan Luis, Kotova, Nadiia, Pryor, Alexander, Crabtree, Pam, Zhumatayev, Rinat, Toleubaev, Abdesh, Morgunova, Nina L., Kuznetsova, Tatiana, Lordkipanize, David, Marzullo, Matilde, Prato, Ornella, Bagnasco Gianni, Giovanna, Tecchiati, Umberto, Clavel, Benoit, Lepetz, Sébastien, Davoudi, Hossein, Mashkour, Marjan, Berezina, Natalia Ya., Stockhammer, Philipp W., Krause, Johannes, Haak, Wolfgang, Morales-Muñiz, Arturo, Benecke, Norbert, Hofreiter, Michael, Ludwig, Arne, Graphodatsky, Alexander S., Peters, Joris, Kiryushin, Kirill Yu., Iderkhangai, Tumur-Ochir, Bokovenko, Nikolay A., Vasiliev, Sergey K., Seregin, Nikolai N., Chugunov, Konstantin V., Plasteeva, Natalya A., Baryshnikov, Gennady F., Petrova, Ekaterina, Sablin, Mikhail, Ananyevskaya, Elina, Logvin, Andrey, Shevnina, Irina, Logvin, Victor, Kalieva, Saule, Loman, Valeriy, Kukushkin, Igor, Merz, Ilya, Merz, Victor, Sakenov, Sergazy, Varfolomeyev, Victor, Usmanova, Emma, Zaibert, Viktor, Arbuckle, Benjamin, Belinskiy, Andrey B., Kalmykov, Alexej, Reinhold, Sabine, Hansen, Svend, Yudin, Aleksandr I., Vybornov, Alekandr A., Epimakhov, Andrey, Berezina, Natalia S., Roslyakova, Natalia, Kosintsev, Pavel A., Kuznetsov, Pavel F., Anthony, David, Kroonen, Guus J., Kristiansen, Kristian, Wincker, Patrick, Outram, Alan, and Orlando, Ludovic

Published
2021
Full Text
View/download PDF

28. Frequency-Resolved Atlas of the Sky in Continuous Gravitational Waves

Author

Vladimir Dergachev and Maria Alessandra Papa

Subjects
Physics, QC1-999
Abstract

We present the first atlas of the continuous gravitational wave sky, produced using LIGO O3a public data. For each 0.045 Hz frequency band and every point on the sky the atlas provides gravitational wave amplitude upper limits, signal-to-noise ratios (SNRs), and frequencies where the search measures the maximum SNR. The approximately top 1.5% of the atlas results are reanalyzed with a series of more sensitive searches with the purpose of finding high SNR long coherence signals from isolated neutron stars. However, these searches do not reveal the presence of such signals. The results presented in the atlas are produced with the Falcon pipeline and cover nearly monochromatic gravitational-wave signals in the 500–1000 Hz band, with up to ±5×10^{-11} Hz/s frequency derivative. The Falcon pipeline computes loosely coherent power estimates to search data using a succession of coherence lengths. For this search we use six months of data, started with a 12 hour coherence length and progress to six days. Compared to the most sensitive results previously published (also produced with the Falcon pipeline), our upper limits are 50% more constraining. Neutron stars with ellipticity of 10^{-8} can be detected up to 150 pc away, while allowing for a large fraction of the stars’ energy to be lost through nongravitational channels. These results are within an order of magnitude of the minimum neutron star ellipticity of 10^{-9} suggested by Woan et al. [Astrophys. J. Lett. 863, L40 (2018)AJLEEY2041-821310.3847/2041-8213/aad86a

Published
2023
Full Text
View/download PDF

29. Algorithms for control of longitudinal motion of a two-wheel experimental sample

Author

Anatoly Kulik, Konstantin Dergachev, Sergey Pasichnik, Yuri Nemshilov, and Evgeny Filippovich

Subjects
two-wheeled experimental sample, automatic control object, state control, exit control, control by diagnosis, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
Abstract

The subject of study is the process of forming algorithms for controlling the angular and translational movements of a two-wheeled experimental sample (TWES). The aim is to develop approaches to the formation of control algorithms for the translational and angular movements of a non-stationary automatic control object. Tasks: to concretize the process of synthesis of a control algorithm by state according to the criterion of the minimum integral of the weighted error modulus for a linear mathematical description of an automatic control object in the state space. Form a block diagram of an automatic control system by the state. Improve the approach to the synthesis of output control algorithms for mathematical description in the frequency domain of short-period and long-period motions of TWES. Illustrate the peculiarity of the approach using a specific example of a TWES under control and disturbing influences. Develop a simulation scheme in the Simulink environment and investigate responses to external step influences. Develop an approach to the formation of control algorithms by the diagnosis of TWES as an object of automatic control. Describe the procedure and means of deep diagnostics of emergencies of TWES. Develop algorithms for restoring the operability of the automatic rational control system. Used methods are a method of state space, the method of relative functions, the method of transfer functions, the method of optimization by integral criterion, the method of synthesis by logarithmic asymptotic frequency characteristics, methods of diagnosing and restoring operability. The following Results: three approaches were formed to the formation of control algorithms of the angular and translational movements of the TWES using linear mathematical descriptions in the time and frequency domains. Conclusions. The scientific novelty lies in the formation of approaches to the combined control of angular and translational movements, considering the structural and parametric features of the mathematical descriptions of TWES.

Published
2021
Full Text
View/download PDF

30. Sensitivity of the SHiP experiment to dark photons decaying to a pair of charged particles

Author

SHiP Collaboration, C. Ahdida, A. Akmete, R. Albanese, A. Alexandrov, A. Anokhina, S. Aoki, G. Arduini, E. Atkin, N. Azorskiy, J. J. Back, A. Bagulya, F. Baaltasar Dos Santos, A. Baranov, F. Bardou, G. J. Barker, M. Battistin, J. Bauche, A. Bay, V. Bayliss, G. Bencivenni, A. Y. Berdnikov, Y. A. Berdnikov, M. Bertani, C. Betancourt, I. Bezshyiko, O. Bezshyyko, D. Bick, S. Bieschke, A. Blanco, J. Boehm, M. Bogomilov, I. Boiarska, K. Bondarenko, W. M. Bonivento, J. Borburgh, A. Boyarsky, R. Brenner, D. Breton, V. Büscher, A. Buonaura, S. Buontempo, S. Cadeddu, A. Calcaterra, M. Calviani, M. Campanelli, M. Casolino, N. Charitonidis, P. Chau, J. Chauveau, A. Chepurnov, M. Chernyavskiy, K.-Y. Choi, A. Chumakov, P. Ciambrone, V. Cicero, L. Congedo, K. Cornelis, M. Cristinziani, A. Crupano, G. M. Dallavalle, A. Datwyler, N. D’Ambrosio, G. D’Appollonio, R. de Asmundis, J. De Carvalho Saraiva, G. De Lellis, M. de Magistris, A. De Roeck, M. De Serio, D. De Simone, L. Dedenko, P. Dergachev, A. Di Crescenzo, L. Di Giulio, N. Di Marco, C. Dib, H. Dijkstra, V. Dmitrenko, L. A. Dougherty, A. Dolmatov, D. Domenici, S. Donskov, V. Drohan, A. Dubreuil, O. Durhan, M. Ehlert, E. Elikkaya, T. Enik, A. Etenko, F. Fabbri, O. Fedin, F. Fedotovs, G. Felici, M. Ferrillo, M. Ferro-Luzzi, K. Filippov, R. A. Fini, P. Fonte, C. Franco, M. Fraser, R. Fresa, R. Froeschl, T. Fukuda, G. Galati, J. Gall, L. Gatignon, G. Gavrilov, V. Gentile, B. Goddard, L. Golinka-Bezshyyko, A. Golovatiuk, V. Golovtsov, D. Golubkov, A. Golutvin, P. Gorbounov, D. Gorbunov, S. Gorbunov, V. Gorkavenko, M. Gorshenkov, V. Grachev, A. L. Grandchamp, E. Graverini, J.-L. Grenard, D. Grenier, V. Grichine, N. Gruzinskii, A. M. Guler, Yu. Guz, G. J. Haefeli, C. Hagner, H. Hakobyan, I. W. Harris, E. van Herwijnen, C. Hessler, A. Hollnagel, B. Hosseini, M. Hushchyn, G. Iaselli, A. Iuliano, R. Jacobsson, D. Joković, M. Jonker, I. Kadenko, V. Kain, B. Kaiser, C. Kamiscioglu, D. Karpenkov, K. Kershaw, M. Khabibullin, E. Khalikov, G. Khaustov, G. Khoriauli, A. Khotyantsev, Y. G. Kim, V. Kim, N. Kitagawa, J.-W. Ko, K. Kodama, A. Kolesnikov, D. I. Kolev, V. Kolosov, M. Komatsu, A. Kono, N. Konovalova, S. Kormannshaus, I. Korol, I. Korol’ko, A. Korzenev, V. Kostyukhin, E. Koukovini Platia, S. Kovalenko, I. Krasilnikova, Y. Kudenko, E. Kurbatov, P. Kurbatov, V. Kurochka, E. Kuznetsova, H. M. Lacker, M. Lamont, G. Lanfranchi, O. Lantwin, A. Lauria, K. S. Lee, K. Y. Lee, N. Leonardo, J.-M. Lévy, V. P. Loschiavo, L. Lopes, E. Lopez Sola, V. Lyubovitskij, J. Maalmi, A.-M. Magnan, V. Maleev, A. Malinin, Y. Manabe, A. K. Managadze, M. Manfredi, S. Marsh, A. M. Marshall, A. Mefodev, P. Mermod, A. Miano, S. Mikado, Yu. Mikhaylov, D. A. Milstead, O. Mineev, A. Montanari, M. C. Montesi, K. Morishima, S. Movchan, Y. Muttoni, N. Naganawa, M. Nakamura, T. Nakano, S. Nasybulin, P. Ninin, A. Nishio, B. Obinyakov, S. Ogawa, N. Okateva, B. Opitz, J. Osborne, M. Ovchynnikov, N. Owtscharenko, P. H. Owen, P. Pacholek, A. Paoloni, B. D. Park, A. Pastore, M. Patel, D. Pereyma, A. Perillo-Marcone, G. L. Petkov, K. Petridis, A. Petrov, D. Podgrudkov, V. Poliakov, N. Polukhina, J. Prieto Prieto, M. Prokudin, A. Prota, A. Quercia, A. Rademakers, A. Rakai, F. Ratnikov, T. Rawlings, F. Redi, S. Ricciardi, M. Rinaldesi, Volodymyr Rodin, Viktor Rodin, P. Robbe, A. B. Rodrigues Cavalcante, T. Roganova, H. Rokujo, G. Rosa, T. Rovelli, O. Ruchayskiy, T. Ruf, V. Samoylenko, V. Samsonov, F. Sanchez Galan, P. Santos Diaz, A. Sanz Ull, A. Saputi, O. Sato, E. S. Savchenko, J. S. Schliwinski, W. Schmidt-Parzefall, N. Serra, S. Sgobba, O. Shadura, A. Shakin, M. Shaposhnikov, P. Shatalov, T. Shchedrina, L. Shchutska, V. Shevchenko, H. Shibuya, S. Shirobokov, A. Shustov, S. B. Silverstein, S. Simone, R. Simoniello, M. Skorokhvatov, S. Smirnov, G. Soares, J. Y. Sohn, A. Sokolenko, E. Solodko, N. Starkov, L. Stoel, M. E. Stramaglia, D. Sukhonos, Y. Suzuki, S. Takahashi, J. L. Tastet, P. Teterin, S. Than Naing, I. Timiryasov, V. Tioukov, D. Tommasini, M. Torii, N. Tosi, D. Treille, R. Tsenov, S. Ulin, E. Ursov, A. Ustyuzhanin, Z. Uteshev, L. Uvarov, G. Vankova-Kirilova, F. Vannucci, V. Venturi, I. Vidulin, S. Vilchinski, Heinz Vincke, Helmut Vincke, C. Visone, K. Vlasik, A. Volkov, R. Voronkov, S. van Waasen, R. Wanke, P. Wertelaers, O. Williams, J.-K. Woo, M. Wurm, S. Xella, D. Yilmaz, A. U. Yilmazer, C. S. Yoon, Yu. Zaytsev, A. Zelenov, and J. Zimmerman

Subjects
Astrophysics, QB460-466, Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Abstract Dark photons are hypothetical massive vector particles that could mix with ordinary photons. The simplest theoretical model is fully characterised by only two parameters: the mass of the dark photon m $$_{\gamma ^{\mathrm {D}}}$$ γ D and its mixing parameter with the photon, $$\varepsilon $$ ε . The sensitivity of the SHiP detector is reviewed for dark photons in the mass range between 0.002 and 10 GeV. Different production mechanisms are simulated, with the dark photons decaying to pairs of visible fermions, including both leptons and quarks. Exclusion contours are presented and compared with those of past experiments. The SHiP detector is expected to have a unique sensitivity for m $$_{\gamma ^{\mathrm {D}}}$$ γ D ranging between 0.8 and 3.3 $$^{+0.2}_{-0.5}$$ - 0.5 + 0.2 GeV, and $$\varepsilon ^2$$ ε 2 ranging between $$10^{-11}$$ 10 - 11 and $$10^{-17}$$ 10 - 17 .

Published
2021
Full Text
View/download PDF

31. The SHiP experiment at the proposed CERN SPS Beam Dump Facility

Author

Ahdida, C., Akmete, A., Albanese, R., Alt, J., Alexandrov, A., Anokhina, A., Aoki, S., Arduini, G., Atkin, E., Azorskiy, N., Back, J. J., Bagulya, A., Baaltasar Dos Santos, F., Baranov, A., Bardou, F., Barker, G. J., Battistin, M., Bauche, J., Bay, A., Bayliss, V., Berdnikov, A. Y., Berdnikov, Y. A., Betancourt, C., Bezshyiko, I., Bezshyyko, O., Bick, D., Bieschke, S., Blanco, A., Boehm, J., Bogomilov, M., Boiarska, I., Bondarenko, K., Bonivento, W. M., Borburgh, J., Boyarsky, A., Brenner, R., Breton, D., Brignoli, A., Büscher, V., Buonaura, A., Buontempo, S., Cadeddu, S., Calviani, M., Campanelli, M., Casolino, M., Charitonidis, N., Chau, P., Chauveau, J., Chepurnov, A., Chernyavskiy, M., Choi, K.-Y., Chumakov, A., Climescu, M., Conaboy, A., Congedo, L., Cornelis, K., Cristinziani, M., Crupano, A., Dallavalle, G. M., Datwyler, A., D’Ambrosio, N., D’Appollonio, G., de Asmundis, R., De Carvalho Saraiva, J., De Lellis, G., de Magistris, M., De Roeck, A., De Serio, M., De Simone, D., Dedenko, L., Dergachev, P., Di Crescenzo, A., Di Giulio, L., Dib, C., Dijkstra, H., Dmitrenko, V., Dougherty, L. A., Dolmatov, A., Donskov, S., Drohan, V., Dubreuil, A., Durhan, O., Ehlert, M., Elikkaya, E., Enik, T., Etenko, A., Fedin, O., Fedotovs, F., Ferrillo, M., Ferro-Luzzi, M., Filippov, K., Fini, R. A., Fischer, H., Fonte, P., Franco, C., Fraser, M., Fresa, R., Froeschl, R., Fukuda, T., Galati, G., Gall, J., Gatignon, L., Gavrilov, G., Gentile, V., Goddard, B., Golinka-Bezshyyko, L., Golovatiuk, A., Golovtsov, V., Golubkov, D., Golutvin, A., Gorbounov, P., Gorbunov, D., Gorbunov, S., Gorkavenko, V., Gorshenkov, M., Grachev, V., Grandchamp, A. L., Graverini, E., Grenard, J.-L., Grenier, D., Grichine, V., Gruzinskii, N., Guler, A. M., Guz, Yu., Haefeli, G. J., Hagner, C., Hakobyan, H., Harris, I. W., van Herwijnen, E., Hessler, C., Hollnagel, A., Hosseini, B., Hushchyn, M., Iaselli, G., Iuliano, A., Jacobsson, R., Joković, D., Jonker, M., Kadenko, I., Kain, V., Kaiser, B., Kamiscioglu, C., Karpenkov, D., Kershaw, K., Khabibullin, M., Khalikov, E., Khaustov, G., Khoriauli, G., Khotyantsev, A., Kim, Y. G., Kim, V., Kitagawa, N., Ko, J.-W., Kodama, K., Kolesnikov, A., Kolev, D. I., Kolosov, V., Komatsu, M., Kono, A., Konovalova, N., Kormannshaus, S., Korol, I., Korol’ko, I., Korzenev, A., Koukovini Platia, E., Kovalenko, S., Krasilnikova, I., Kudenko, Y., Kurbatov, E., Kurbatov, P., Kurochka, V., Kuznetsova, E., Lacker, H. M., Lamont, M., Lantwin, O., Lauria, A., Lee, K. S., Lee, K. Y., Leonardo, N., Lévy, J.-M., Loschiavo, V. P., Lopes, L., Lopez Sola, E., Lyons, F., Lyubovitskij, V., Maalmi, J., Magnan, A.-M., Maleev, V., Malinin, A., Manabe, Y., Managadze, A. K., Manfredi, M., Marsh, S., Marshall, A. M., Mefodev, A., Mermod, P., Miano, A., Mikado, S., Mikhaylov, Yu., Mikulenko, A., Milstead, D. A., Mineev, O., Montesi, M. C., Morishima, K., Movchan, S., Muttoni, Y., Naganawa, N., Nakamura, M., Nakano, T., Nasybulin, S., Ninin, P., Nishio, A., Obinyakov, B., Ogawa, S., Okateva, N., Osborne, J., Ovchynnikov, M., Owtscharenko, N., Owen, P. H., Pacholek, P., Park, B. D., Pastore, A., Patel, M., Pereyma, D., Perillo-Marcone, A., Petkov, G. L., Petridis, K., Petrov, A., Podgrudkov, D., Poliakov, V., Polukhina, N., Prieto Prieto, J., Prokudin, M., Prota, A., Quercia, A., Rademakers, A., Rakai, A., Ratnikov, F., Rawlings, T., Redi, F., Reghunath, A., Ricciardi, S., Rinaldesi, M., Rodin, Volodymyr, Rodin, Viktor, Robbe, P., Rodrigues Cavalcante, A. B., Roganova, T., Rokujo, H., Rosa, G., Ruchayskiy, O., Ruf, T., Samoylenko, V., Samsonov, V., Sanchez Galan, F., Santos Diaz, P., Sanz Ull, A., Sato, O., Savchenko, E. S., Schliwinski, J. S., Schmidt-Parzefall, W., Schumann, M., Serra, N., Sgobba, S., Shadura, O., Shakin, A., Shaposhnikov, M., Shatalov, P., Shchedrina, T., Shchutska, L., Shevchenko, V., Shibuya, H., Shihora, L., Shirobokov, S., Shustov, A., Silverstein, S. B., Simone, S., Simoniello, R., Skorokhvatov, M., Smirnov, S., Soares, G., Sohn, J. Y., Sokolenko, A., Solodko, E., Starkov, N., Stoel, L., Stramaglia, M. E., Sukhonos, D., Suzuki, Y., Takahashi, S., Tastet, J. L., Teterin, P., Than Naing, S., Timiryasov, I., Tioukov, V., Tommasini, D., Torii, M., Treille, D., Tsenov, R., Ulin, S., Ursov, E., Ustyuzhanin, A., Uteshev, Z., Uvarov, L., Vankova-Kirilova, G., Vannucci, F., Venkova, P., Venturi, V., Vidulin, I., Vilchinski, S., Vincke, Heinz, Vincke, Helmut, Visone, C., Vlasik, K., Volkov, A., Voronkov, R., van Waasen, S., Wanke, R., Wertelaers, P., Williams, O., Woo, J.-K., Wurm, M., Xella, S., Yilmaz, D., Yilmazer, A. U., Yoon, C. S., Zaytsev, Yu., Zelenov, A., and Zimmerman, J.

Published
2022
Full Text
View/download PDF

32. Sensitivity of the SHiP experiment to light dark matter

Author

The SHiP collaboration, C. Ahdida, A. Akmete, R. Albanese, A. Alexandrov, A. Anokhina, S. Aoki, G. Arduini, E. Atkin, N. Azorskiy, J. J. Back, A. Bagulya, F. Baaltasar Dos Santos, A. Baranov, F. Bardou, G. J. Barker, M. Battistin, J. Bauche, A. Bay, V. Bayliss, G. Bencivenni, A. Y. Berdnikov, Y. A. Berdnikov, M. Bertani, C. Betancourt, I. Bezshyiko, O. Bezshyyko, D. Bick, S. Bieschke, A. Blanco, J. Boehm, M. Bogomilov, I. Boiarska, K. Bondarenko, W. M. Bonivento, J. Borburgh, A. Boyarsky, R. Brenner, D. Breton, V. Büscher, A. Buonaura, L. Buonocore, S. Buontempo, S. Cadeddu, A. Calcaterra, M. Calviani, M. Campanelli, M. Casolino, N. Charitonidis, P. Chau, J. Chauveau, A. Chepurnov, M. Chernyavskiy, K.-Y. Choi, A. Chumakov, P. Ciambrone, V. Cicero, L. Congedo, K. Cornelis, M. Cristinziani, A. Crupano, G. M. Dallavalle, A. Datwyler, N. D’Ambrosio, G. D’Appollonio, R. de Asmundis, J. De Carvalho Saraiva, G. De Lellis, M. de Magistris, A. De Roeck, M. De Serio, D. De Simone, L. Dedenko, P. Dergachev, A. Di Crescenzo, L. Di Giulio, N. Di Marco, C. Dib, H. Dijkstra, V. Dmitrenko, L. A. Dougherty, A. Dolmatov, D. Domenici, S. Donskov, V. Drohan, A. Dubreuil, O. Durhan, M. Ehlert, E. Elikkaya, T. Enik, A. Etenko, F. Fabbri, O. Fedin, F. Fedotovs, G. Felici, M. Ferrillo, M. Ferro-Luzzi, K. Filippov, R. A. Fini, P. Fonte, C. Franco, M. Fraser, R. Fresa, R. Froeschl, C. Frugiuele, T. Fukuda, G. Galati, J. Gall, L. Gatignon, G. Gavrilov, V. Gentile, B. Goddard, L. Golinka-Bezshyyko, A. Golovatiuk, V. Golovtsov, D. Golubkov, A. Golutvin, P. Gorbounov, D. Gorbunov, S. Gorbunov, V. Gorkavenko, M. Gorshenkov, V. Grachev, A. L. Grandchamp, E. Graverini, J.-L. Grenard, D. Grenier, V. Grichine, N. Gruzinskii, A. M. Guler, Yu. Guz, G. J. Haefeli, C. Hagner, H. Hakobyan, I. W. Harris, E. van Herwijnen, C. Hessler, A. Hollnagel, B. Hosseini, M. Hushchyn, G. Iaselli, A. Iuliano, R. Jacobsson, D. Joković, M. Jonker, I. Kadenko, V. Kain, B. Kaiser, C. Kamiscioglu, D. Karpenkov, K. Kershaw, M. Khabibullin, E. Khalikov, G. Khaustov, G. Khoriauli, A. Khotyantsev, Y. G. Kim, V. Kim, N. Kitagawa, J.-W. Ko, K. Kodama, A. Kolesnikov, D. I. Kolev, V. Kolosov, M. Komatsu, A. Kono, N. Konovalova, S. Kormannshaus, I. Korol, I. Korol’ko, A. Korzenev, V. Kostyukhin, E. Koukovini Platia, S. Kovalenko, I. Krasilnikova, Y. Kudenko, E. Kurbatov, P. Kurbatov, V. Kurochka, E. Kuznetsova, H. M. Lacker, M. Lamont, G. Lanfranchi, O. Lantwin, A. Lauria, K. S. Lee, K. Y. Lee, J.-M. Lévy, V. P. Loschiavo, L. Lopes, E. Lopez Sola, V. Lyubovitskij, J. Maalmi, A. Magnan, V. Maleev, A. Malinin, F. Maltoni, Y. Manabe, A. K. Managadze, M. Manfredi, S. Marsh, A. M. Marshall, O. Mattelaer, A. Mefodev, P. Mermod, A. Miano, S. Mikado, Yu. Mikhaylov, D. A. Milstead, O. Mineev, A. Montanari, M. C. Montesi, K. Morishima, S. Movchan, Y. Muttoni, N. Naganawa, M. Nakamura, T. Nakano, S. Nasybulin, P. Ninin, A. Nishio, A. Novikov, B. Obinyakov, S. Ogawa, N. Okateva, B. Opitz, J. Osborne, M. Ovchynnikov, N. Owtscharenko, P. H. Owen, P. Pacholek, A. Paoloni, B. D. Park, A. Pastore, M. Patel, D. Pereyma, A. Perillo-Marcone, G. L. Petkov, K. Petridis, A. Petrov, D. Podgrudkov, V. Poliakov, N. Polukhina, J. Prieto Prieto, M. Prokudin, A. Prota, A. Quercia, A. Rademakers, A. Rakai, F. Ratnikov, T. Rawlings, F. Redi, S. Ricciardi, M. Rinaldesi, Volodymyr Rodin, Viktor Rodin, P. Robbe, A. B. Rodrigues Cavalcante, T. Roganova, H. Rokujo, G. Rosa, T. Rovelli, O. Ruchayskiy, T. Ruf, V. Samoylenko, V. Samsonov, F. Sanchez Galan, P. Santos Diaz, A. Sanz Ull, A. Saputi, O. Sato, E. S. Savchenko, J. S. Schliwinski, W. Schmidt-Parzefall, N. Serra, S. Sgobba, O. Shadura, A. Shakin, M. Shaposhnikov, P. Shatalov, T. Shchedrina, L. Shchutska, V. Shevchenko, H. Shibuya, S. Shirobokov, A. Shustov, S. B. Silverstein, S. Simone, R. Simoniello, M. Skorokhvatov, S. Smirnov, J. Y. Sohn, A. Sokolenko, E. Solodko, N. Starkov, L. Stoel, M. E. Stramaglia, D. Sukhonos, Y. Suzuki, S. Takahashi, J. L. Tastet, P. Teterin, S. Than Naing, I. Timiryasov, V. Tioukov, D. Tommasini, M. Torii, N. Tosi, F. Tramontano, D. Treille, R. Tsenov, S. Ulin, E. Ursov, A. Ustyuzhanin, Z. Uteshev, L. Uvarov, G. Vankova-Kirilova, F. Vannucci, V. Venturi, S. Vilchinski, Heinz Vincke, Helmut Vincke, C. Visone, K. Vlasik, A. Volkov, R. Voronkov, S. van Waasen, R. Wanke, P. Wertelaers, O. Williams, J.-K. Woo, M. Wurm, S. Xella, D. Yilmaz, A. U. Yilmazer, C. S. Yoon, Yu. Zaytsev, A. Zelenov, and J. Zimmerman

Subjects
Beyond Standard Model, Dark matter, Fixed target experiments, Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Abstract Dark matter is a well-established theoretical addition to the Standard Model supported by many observations in modern astrophysics and cosmology. In this context, the existence of weakly interacting massive particles represents an appealing solution to the observed thermal relic in the Universe. Indeed, a large experimental campaign is ongoing for the detection of such particles in the sub-GeV mass range. Adopting the benchmark scenario for light dark matter particles produced in the decay of a dark photon, with α D = 0.1 and m A′ = 3m χ , we study the potential of the SHiP experiment to detect such elusive particles through its Scattering and Neutrino detector (SND). In its 5-years run, corresponding to 2 · 1020 protons on target from the CERN SPS, we find that SHiP will improve the current limits in the mass range for the dark matter from about 1 MeV to 300 MeV. In particular, we show that SHiP will probe the thermal target for Majorana candidates in most of this mass window and even reach the Pseudo-Dirac thermal relic.

Published
2021
Full Text
View/download PDF

39. SOFTWARE PORTABILITY BASED ON RETARGETABLE RUNTIME ENVIRONMENT

Author

Ivan P. Loginov, Andrey M. Dergachev, and Evgeny A. Pavlovskiy

Subjects
portability, cross-platform software, execution environment, architecture description language, Optics. Light, QC350-467, Electronic computers. Computer science, QA75.5-76.95
Abstract

Subject of Research. The paper presents research of approaches to portable software development at the level of binary and source code. We study such factors affecting portability as compatibility of target platforms at the level of software and binary application interfaces, standardization of programming languages, software architecture, the functionality of software target platforms and software tools. Modern approaches for software portability based on virtual runtimes for Java and the .NET platform are considered. Method. A method is proposed for software portability based on twostage compilation and an architecture description language application for translator configuration. The method gives the possibility to solve the software portability problem at the level of program execution environment. We also present a new approach to self-tuning runtime implementation with such configuration parameters as architecture-dependent metadata — descriptions of target platforms. To generate a binary image of the runtime environment for a target platform, its source code is not required. Image generation is performed based on metadata that is part of an existing image used as a builder utility. Main Results. Implementation requirements for the program execution environment and its architecture at the level of functional components are determined. The novel approach for the runtime implementation is proposed which ensures portability without recompilation from the source code of both user applications and the runtime environment. A script for the runtime environment application has been developed to generate its binary image aimed at a target platform. Practical Relevance. Binary portability of the program execution environment allows reducing labor costs for cross-platform applications.

Published
2020
Full Text
View/download PDF

40. TESTING OF MULTITHREADED APPLICATIONS WITH LOCKS ON NON-ATOMIC VARIABLES

Author

Oleg V. Doronin, Karina I. Dergun, Andrey M. Dergachev, Aglaia G. Ilina, and Sergei P. Gorlatch

Subjects
multithreading, data race, deadlock, error finding tools, Optics. Light, QC350-467, Electronic computers. Computer science, QA75.5-76.95
Abstract

Subject of Research.The paper presents the study of fuzz testing algorithm for “data race” type fault finding in multithreaded software. The algorithm is implemented in the Google TSan tool. The disadvantage of the studied algorithm is the inability to test software products which use non-atomic variables. At this, the use of such tool is excluded for testing of modern applications that implement joint access of program streams to data. We propose a new algorithm for fuzz testing of multithreaded applications and a method for its implementation in the fuzz testing module of the Google TSan tools. Method. Various combinations of the execution of program streams are the input data in the process of fuzz testing of multithreaded applications. The proposed method of fuzz testing for multithreaded software applications assumes that errors in multithreaded applications manifest themselves only at the threads switching points, also called synchronization points. The thread scheduler is implemented as simply as possible. Each thread is assigned with a status marker tracking its activity during the program running. A thread can be in an unknown state (until the first synchronization point), in a state of execution, in a state of waiting in a queue for execution, as well as in a state where the thread has spent its execution quantum but has not reached the synchronization point. Such thread state is automatically changed to the state of waiting at the synchronization point. Thread control is carried out using a separate program thread that monitors the status of all threads and exposes the corresponding marker to the threads that have spent the execution quantum. The error search mechanism is implemented in the software product at the compilation stage by specifying the appropriate options. Main Results.A new fuzz testing module has been integrated in the Google TSan tool, which finds “data race” errors in any multithreaded applications, both with synchronization of access to shared data and with shared access to data. Practical Relevance.Verification of multithreaded software with shared access to data, in particular case of applying non-atomic variables, is especially relevant for the heavily loaded scalable software systems.

Published
2020
Full Text
View/download PDF

41. Measurement of the muon flux from 400 GeV/c protons interacting in a thick molybdenum/tungsten target

Author

C. Ahdida, A. Akmete, R. Albanese, A. Alexandrov, A. Anokhina, S. Aoki, G. Arduini, E. Atkin, N. Azorskiy, J. J. Back, A. Bagulya, F. Baaltasar Dos Santos, A. Baranov, F. Bardou, G. J. Barker, M. Battistin, J. Bauche, A. Bay, V. Bayliss, G. Bencivenni, A. Y. Berdnikov, Y. A. Berdnikov, M. Bertani, C. Betancourt, I. Bezshyiko, O. Bezshyyko, D. Bick, S. Bieschke, A. Blanco, J. Boehm, M. Bogomilov, I. Boiarska, K. Bondarenko, W. M. Bonivento, J. Borburgh, A. Boyarsky, R. Brenner, D. Breton, V. Büscher, A. Buonaura, S. Buontempo, S. Cadeddu, A. Calcaterra, M. Calviani, M. Campanelli, M. Casolino, N. Charitonidis, P. Chau, J. Chauveau, A. Chepurnov, M. Chernyavskiy, K.-Y. Choi, A. Chumakov, P. Ciambrone, V. Cicero, L. Congedo, K. Cornelis, M. Cristinziani, A. Crupano, G. M. Dallavalle, A. Datwyler, N. D’Ambrosio, G. D’Appollonio, R. de Asmundis, J. De Carvalho Saraiva, G. De Lellis, M. de Magistris, A. De Roeck, M. De Serio, D. De Simone, L. Dedenko, P. Dergachev, A. Di Crescenzo, L. Di Giulio, N. Di Marco, C. Dib, H. Dijkstra, V. Dmitrenko, S. Dmitrievskiy, L. A. Dougherty, A. Dolmatov, D. Domenici, S. Donskov, V. Drohan, A. Dubreuil, O. Durhan, M. Ehlert, E. Elikkaya, T. Enik, A. Etenko, F. Fabbri, O. Fedin, F. Fedotovs, G. Felici, M. Ferrillo, M. Ferro-Luzzi, K. Filippov, R. A. Fini, P. Fonte, C. Franco, M. Fraser, R. Fresa, R. Froeschl, T. Fukuda, G. Galati, J. Gall, L. Gatignon, G. Gavrilov, V. Gentile, B. Goddard, L. Golinka-Bezshyyko, A. Golovatiuk, D. Golubkov, A. Golutvin, P. Gorbounov, D. Gorbunov, S. Gorbunov, V. Gorkavenko, M. Gorshenkov, V. Grachev, A. L. Grandchamp, E. Graverini, J.-L. Grenard, D. Grenier, V. Grichine, N. Gruzinskii, A. M. Guler, Yu. Guz, G. J. Haefeli, C. Hagner, H. Hakobyan, I. W. Harris, E. van Herwijnen, C. Hessler, A. Hollnagel, B. Hosseini, M. Hushchyn, G. Iaselli, A. Iuliano, R. Jacobsson, D. Joković, M. Jonker, I. Kadenko, V. Kain, B. Kaiser, C. Kamiscioglu, D. Karpenkov, K. Kershaw, M. Khabibullin, E. Khalikov, G. Khaustov, G. Khoriauli, A. Khotyantsev, Y. G. Kim, V. Kim, N. Kitagawa, J.-W. Ko, K. Kodama, A. Kolesnikov, D. I. Kolev, V. Kolosov, M. Komatsu, A. Kono, N. Konovalova, S. Kormannshaus, I. Korol, I. Korol’ko, A. Korzenev, V. Kostyukhin, E. Koukovini Platia, S. Kovalenko, I. Krasilnikova, Y. Kudenko, E. Kurbatov, P. Kurbatov, V. Kurochka, E. Kuznetsova, H. M. Lacker, M. Lamont, G. Lanfranchi, O. Lantwin, A. Lauria, K. S. Lee, K. Y. Lee, J.-M. Lévy, V. P. Loschiavo, L. Lopes, E. Lopez Sola, V. Lyubovitskij, J. Maalmi, A. Magnan, V. Maleev, A. Malinin, Y. Manabe, A. K. Managadze, M. Manfredi, S. Marsh, A. M. Marshall, A. Mefodev, P. Mermod, A. Miano, S. Mikado, Yu. Mikhaylov, D. A. Milstead, O. Mineev, A. Montanari, M. C. Montesi, K. Morishima, S. Movchan, Y. Muttoni, N. Naganawa, M. Nakamura, T. Nakano, S. Nasybulin, P. Ninin, A. Nishio, A. Novikov, B. Obinyakov, S. Ogawa, N. Okateva, B. Opitz, J. Osborne, M. Ovchynnikov, N. Owtscharenko, P. H. Owen, P. Pacholek, A. Paoloni, B. D. Park, A. Pastore, M. Patel, D. Pereyma, A. Perillo-Marcone, G. L. Petkov, K. Petridis, A. Petrov, D. Podgrudkov, V. Poliakov, N. Polukhina, J. Prieto Prieto, M. Prokudin, A. Prota, A. Quercia, A. Rademakers, A. Rakai, F. Ratnikov, T. Rawlings, F. Redi, S. Ricciardi, M. Rinaldesi, Volodymyr Rodin, Viktor Rodin, P. Robbe, A. B. Rodrigues Cavalcante, T. Roganova, H. Rokujo, G. Rosa, T. Rovelli, O. Ruchayskiy, T. Ruf, V. Samoylenko, V. Samsonov, F. Sanchez Galan, P. Santos Diaz, A. Sanz Ull, A. Saputi, O. Sato, E. S. Savchenko, J. S. Schliwinski, W. Schmidt-Parzefall, N. Serra, S. Sgobba, O. Shadura, A. Shakin, M. Shaposhnikov, P. Shatalov, T. Shchedrina, L. Shchutska, V. Shevchenko, H. Shibuya, L. Shihora, S. Shirobokov, A. Shustov, S. B. Silverstein, S. Simone, R. Simoniello, M. Skorokhvatov, S. Smirnov, J. Y. Sohn, A. Sokolenko, E. Solodko, N. Starkov, L. Stoel, M. E. Stramaglia, D. Sukhonos, Y. Suzuki, S. Takahashi, J. L. Tastet, P. Teterin, S. Than Naing, I. Timiryasov, V. Tioukov, D. Tommasini, M. Torii, N. Tosi, D. Treille, R. Tsenov, S. Ulin, E. Ursov, A. Ustyuzhanin, Z. Uteshev, G. Vankova-Kirilova, F. Vannucci, V. Venturi, S. Vilchinski, Heinz Vincke, Helmut Vincke, C. Visone, K. Vlasik, A. Volkov, R. Voronkov, S. van Waasen, R. Wanke, P. Wertelaers, O. Williams, J.-K. Woo, M. Wurm, S. Xella, D. Yilmaz, A. U. Yilmazer, C. S. Yoon, Yu. Zaytsev, and J. Zimmerman

Subjects
Astrophysics, QB460-466, Nuclear and particle physics. Atomic energy. Radioactivity, QC770-798
Abstract

Abstract The SHiP experiment is proposed to search for very weakly interacting particles beyond the Standard Model which are produced in a 400 GeV/c proton beam dump at the CERN SPS. About $$10^{11}$$ 1011 muons per spill will be produced in the dump. To design the experiment such that the muon-induced background is minimized, a precise knowledge of the muon spectrum is required. To validate the muon flux generated by our Pythia and GEANT4 based Monte Carlo simulation (FairShip), we have measured the muon flux emanating from a SHiP-like target at the SPS. This target, consisting of 13 interaction lengths of slabs of molybdenum and tungsten, followed by a 2.4 m iron hadron absorber was placed in the H4 400 GeV/c proton beam line. To identify muons and to measure the momentum spectrum, a spectrometer instrumented with drift tubes and a muon tagger were used. During a 3-week period a dataset for analysis corresponding to $$(3.27\pm 0.07)~\times ~10^{11}$$ (3.27±0.07)×1011 protons on target was recorded. This amounts to approximatively 1% of a SHiP spill.

Published
2020
Full Text
View/download PDF

42. VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION

Author

Andrey M. Dergachev, Daniil S. Sadyrin, Aglaya G. Ilina, Ivan P. Loginov, and Iurii D. Korenkov

Subjects
verification, software errors, symbolic execution, dynamic memory, Optics. Light, QC350-467, Electronic computers. Computer science, QA75.5-76.95
Abstract

Subject of Research. The paper presents the study of vulnerability exploitation techniques in the implementation of dynamic memory allocation algorithms (glibc library allocator): Poisoned Null-byte, Overlapped Chunks, Fastbin Attack, Unsafe Unlink, House of Einherjar, House of Force, House of Spirit, House of Lore, Unsorted Bin Attack. Examples of vulnerability exploitation code and classification of the presented techniques are given in accordance with the Common Weakness Enumeration list. The modern methods and means of vulnerabilities detection are studied; their advantages and disadvantages are shown using the Heap Hopper framework as an example. Modern methods of appropriate software verification are considered. Method. The proposed software verification method combines the approaches of static analysis and symbolic execution using an accurate model of algorithms for dynamic memory allocation. In the compilation process of program being tested, the Kripke structure is created. Dynamic memory vulnerabilities are described by temporal logic formulas. The resulting structure and formulas are passed at the input of the model checking algorithm. Concrete-symbolic execution of the assembled binary file is performed. Vulnerability conditions expressed in the form of propositional logic formulas are checked for symbolic execution paths. Main Results. The practical use of the proposed approach to detection of dynamic memory vulnerabilities in software applications is shown. Symbolic execution is implemented in the form of a low-level debugger, which reduces the operating time of algorithms due to the execution of the application being tested on a real processor. Practical Relevance. The paper presents an integrated approach for solving the problem of automatic vulnerabilities detecting at different stages of the software development life cycle. This approach is applicable for verification of the similar implementations of dynamic memory allocators, such as ptmalloc, dlmalloc, tcmalloc, jemalloc and musl.

Published
2020
Full Text
View/download PDF

43. Scientific and Methodological Approaches for the Creation of Complex Diagnostic and Prognostics Systems of the Technical Condition of Units, Functional Systems and Power Structures of Helicopters

Author

Belskiy Alexander, Dergachev Anton, and Esipovich Olga

Subjects
Environmental sciences, GE1-350
Abstract

This article discusses the approaches and requirements for creating a comprehensive system of diagnostics and prognostics of the technical condition (CSDP TC) of the helicopter units and prerequisites for its further integration into the after-sales service system. The systems of monitoring and diagnostics of the technical condition of aircraft (HUMS) being used on helicopters, allow the determining of the operation parameters of the power plant and transmission units within the framework of the flight, as well as during operational maintenance. First of all, the HUMS systems were created for the purpose of servicing the helicopter units according to their technical condition (servicing «on condition»), but it is not possible to determine the residual resources of the units using these systems. The proposed system for predicting the technical condition of aggregates and functional systems permits the use of recorded helicopter flight parameters and parameters recorded by the HUMS system, and allows you to analyse the causes of defects and predict the residual life of aggregates, taking into account the dynamics of the development of defects before reaching the pre-failure state. Aggregation of the received information about the state of the units into the analytical - information system will optimize the material and technical support of operating organizations and provide developers of aviation equipment with information about the results of operation and use it as input data to improve the characteristics of the helicopter and its aggregates and the gradual transition to the creation of integrated systems of the CSDP TC.

Published
2023
Full Text
View/download PDF

44. Influence of geometric constraints on aircraft design

Author

Dergachev A.N. and Temicheva N.Yu.

Subjects
helicopter, aircraft development, design, geometric constraints, transportability, unit layout, Environmental sciences, GE1-350
Abstract

The paper considers the requirements to helicopter operating conditions, forming geometrical constraints at the design stages and their influence on the geometrical appearance of the helicopter as a whole, structural design and layout of individual components and assemblies of helicopters. The methodology of forming the system of geometrical constraints is based on the generalised requirements to ensure the operational and technical characteristics of the helicopter: ensuring the basing and production of take-off and landing operations on marine vessels, ensuring transportability, ease of access to the cockpit, ease of access to the units during maintenance, reducing the labour intensity of individual helicopter maintenance operations.

Published
2023
Full Text
View/download PDF

45. Geometric constraints system formation for helicopter construction

Author

Dergachev A.N. and Klychnikova M.V.

Subjects
helicopter, aircraft development, design, geometric constraints, transportability, unit layout, Environmental sciences, GE1-350
Abstract

The paper presents a methodology of forming a system of geometric constraints in helicopter design. The methodology is based on the synthesis of the requirements in terms of ensuring operation on marine vessels, transportability, and capacity of the cargo (transport) cabin of the helicopter. The universality of this approach allows to adapt the formed system of geometrical constraints to helicopters of different purposes, both to newly developed and modernised helicopters. This methodology allows to define general geometrical characteristics of the helicopter, nomenclature of units requiring simplification of mounting and dismounting procedure of separate units and reduction of their inspection and maintenance periodicity, as well as configuration of helicopter ground and deck service facilities and recommended places of their installation.

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results