Software & Systems

Journal articles №4-2019

• 1. Evolution and features of hyperconverged infrastructures
  Author: Yu.M. Lisetskiy
  541
• 2. Systems model verification based on equational characteristics of СTL formulas
  Authors: Korablin Yu.P., Shipov A.A.
  547
• 3. The method for translating first-order logic formulas into positively constructed formulas
  Authors: Davydov A.V., A.A. Larionov , E.A. Cherkashin
  556
• 4. Smart data collection from distributed data sources
  Author: M.S. Efimova
  565
• 5. Investigation of the optimal number of processor cores for parallel cluster multiple labeling on supercomputers
  Authors: S.Yu. Lapshina, A.N. Sotnikov, V.E. Loginova , C.Yu. Yudintsev
  573
• 6. . Methods and tools for modeling supercomputer job management system
  Authors: Baranov, A.V., D.S. Lyakhovets
  581
• 7. Approaches to the development and debugging QEMU simulators using the high-level architecture describing language PPDL
  Authors: A.Yu. Drozdov , Yu.N. Fonin , M.N. Perov , A.S. Gerasimov
  595
• 8. Domain-specific languages for testing web applications
  Authors: V.G. Fedorenkov , P.V. Balakshin
  601
• 9. Web-robot detection method based on user’s navigation graph
  Authors: A.A. Menshchikov , Yu.A. Gatchin
  607
• 10. Development of a spiking neural network with the possibility of high-speed training to neutralize DDoS attacks
  Authors: E.V. Palchevsky, O.I. Khristodulo
  613
• 11. A method of identifying technical condition radio engineering means using artificial neural network technologies
  Authors: Dopira R.V., A.A. Shvedun , D.V. Yagolnikov, I.E. Yanochkin
  628
• 12. The development of fast software implementation of specialized neural network architecture with sparse connections
  Author: Yu.S. Fedorenko
  639
• 13. Features of using neural network models to classify short text messages
  Authors: Dli M.I., O.V. Bulygina
  650
• 14. Peculiarities of porting the Robot Operating System framework onto Elbrus platform
  Authors: A.A. Tachkov, A.Yu. Vukolov, A.V. Kozov
  655
• 15. Earth's surface visualization in simulation systems
  Authors: Giatsintov A.M., Mamrosenko K.A., P.S. Bazhenov
  665
• 16. Method and software for intellectual support of making logistics decisions
  Authors: Borisov V.V., A.V. Ryazanov
  673
• 17. Model and algorithm of selecting software architecture for IoT systems
  Author: Yu.V. Yadgarova
  682
• 18. Component in the Kotlin programming language for integrating executable programs into internet resources
  Authors: A.V. Prendota , P.V. Balakshin
  690
• 19. Implementing an expert system to evaluate technical solutions innovativeness
  Authors: Ivanov V.K., Obraztsov I.V., Palyukh B.V.
  696
• 20. Method of forming a priority list of automated control equipment in special purpose systems and its software implementation
  Authors: V.L. Lyaskovsky , I.B. Bresler , M.A. Alasheev
  708
• 21. Fuzzy expert evaluations of adverse external impacts on the marine search and rescue operations effectiveness
  Authors: V.V. Kochnev , A.S. Rekhov , Sorokin V.E., E.V. Taranukha
  714
• 22. . Industrial technologies states management based on risk criterion
  Authors: S.R. Bakasov , G.N. Sanaeva , Bogatikov V.N.
  725
• 23. Algorithm for identifying parameters of a liquid heating device
  Authors: Lgotchikov V.V., T.S. Larkina
  735
• 24. Modeling and analysis of programs for multidimensional interval-logic controllers
  Authors: A.F. Antipin , E.V. Antipina
  744
• 25. The algorithm for forming many options of a supercomputer structure to solve military applied problems
  Authors: Gusenitsa, Ya.N., D.O. Petrich
  750
• 26. The method of fuzzy controllers automatic synthesis
  Authors: Ignatyev, V.V., V.V. Solovev , A.A. Vorotova
  759