SSI-2018
Preface
This volume contains the papers presented at
SSI-2018: 20th Conference Scientific Services & Internet(http://agora.guru.ru/abrau2018/) held
on September 17-22, 2018 in Novorossiysk-Abrau, Russia.SSI-2018 is organized jointly by the Keldysh Institute of Applied Mathematics and Lomonosov Moscow State University as the leaders in the field of programming and information processing technologies with organization support by Southern Federal University.
Collected papers have undergone preliminary reviewing. The issues focused on the relevant scientific research were discussed at the conference: national bibliographic systems and nation-wide projects in the field of semantic web, on-line libraries, encyclopedias and etc.
The information systems are particularly valuable for users in important fields of science: geology, geochemistry, crystallography, physics of a solid body and nuclear physics. Factual databases provide additional impulse to developing methods for data processing and visualizing, services to analyze acquired information, to disclose unknown relationships in the study area.
The conference was attended by a wide scope of researchers from national and international science centers and was supported by the Russian Foundation for Basic Research, the project #18-07-20047-g.
Last but not least, we are grateful to our program and organizing committees, who made the conference possible.
Conference Co-Chair Mikhail Yakobovskiy
Table of Contents
Experiments with the interactive specializer that implements the partial evaluation method for a subset of the Java language . . . I.A. Adamovich
3 Intellectual information decision support system in the field of economic justice . . .
А.А. Alekseev,А.S. Katasev, А.F. Khassianov, Е.V. Tutubalina, D.S. Zuev
17 Visualization of large graphs and adjacency matrices . . .
Z.V. Apanovich
28 Approaches to the organization of mathematical knowledge in the construction of subject thesauri of
various branches of mathematics . . . O.M. Ataeva, V.A. Serebryakov, N.P.Tuchkova
42 Developing code factoring transformation for FPGA . . .
A.P. Bagly
55 Parallelization of software packages. Problems and prospects . . .
V.A. Bakhtin, O.F. Zhukova, N.A. Kataev, A.S. Kolganov, V.A. Krukov, M.U. Kuznetsov, N.V. Podderyugina, M.N. Pritula, O.A. Savitskaya, A.A. Smirnov
63
Computational load balancing methods for algorithms parallel implementations on shared memory. . . .
T.P. Baranova, A.B. Bugerya, E.N. Gladkova, K.N. Efimkin, M.A. Solovev 73 Configuring a Distributed Network on the Shortest Paths . . .
I.B. Burdonov, A.S. Kossatchev
89 Deriving tests for the synchronous composition of deterministic complete Finite State Machines . . .
I.B. Burdonov, N.V. Evtushenko, A.S. Kossatchev 100
Information-calculation system WWW-MINCRYST — a public Web-toolkit on the crystalline
structures of minerals and their analogues . . . D.A. Varlamov, T.N. Dokina, N.A. Drozhzhina, O.L. Samokhvalova
111 Mathematical Modeling of Electromagnetic Field in Unlimited Area . . .
M.P. Galanin, D.L. Sorokin
122 Experience in constructing an information environment for solving problems of implementation the
FTP "Research and development on priority directions of scientific-technological complex of Russia for 2014-2020" . . . C.M. Garina, D.V. Vlasov, A.N. Petrov, K.V. Shurtakov
125 Approach to work of sites with data in RAM and on the hard disk . . .
M.S. German, A.V. Ermakov, S.A. Ermakov
136 Russian scientific publication —2018 . . .
M.M. Gorbunov-Posadov
145 On the presentation of the results of the analysis of programming languages and systems. . .
L.V.Gorodnyaya
152 Optimization of processes of management of train service and the maintenance of infrastructure of
railway transport on the basis of expected technologies. . . D.V. Ezhov, O.V. Kovalenko
167 Services for Formation of Digital Documents Metadata in the Formats of International Science-based
Databases . . . A.M. Elizarov, N.V. Zaitseva, D.S. Zuev, E.K. Lipachev, S.M. Khaidarov
175 Open Linked Data and Ontologies in Mathematics Education . . .
A.M. Elizarov, A.V. Kirillovich, E.K. Lipachev, O.A. Nevzorova, L.R. Shakirova
186 Function image computation as a metacomputation tool. Experience . . .
A.A. Emelyanov, A.O. Borovilov
197 The status of the proceedings . . .
A.V. Ermakov, T.A. Polilova, N.P. Tuchkova
213 Data storage in Botikmon3 monitoring system . . .
N.S. Zhivchikova, Yu. V. Shevchuk
223 Application Energy Efficiency Optimization . . .
I. Zacharov, O. Panarin
230
Influence of lost citing articles on Impact Factors in Web of Science . . . A.D. Izaak, E.A. Znamenskaya, D.E. Chebukov
238 Structural and functional analogies of Internet sites and biological systems . . .
F.O. Kasparinsky
243 Internet publication of scientific and educational media resources in the form of interactive knowledge
catalogs . . . F.O. Kasparinsky
255 Optimization of structures of TheBrain dynamic associative maps for Internet publications in
accordance with the BYOD standard . . . F.O. Kasparinsky
265 Administration of the information environment using the TheBrain 9 associative map . . .
F.O. Kasparinsky
275 Information and navigation service of network audiovisual resources . . .
F.O. Kasparinsky, E.I. Polyanskaya
284 Consistent representation of Fortran programs in PARFOR compiler at different levels of abstraction . .
N.A. Kataev
295 Linking translated articles using authorship statistics . . .
A.S Kozitsyn, S.A. Afonin, A.A. Zenzinov
306 An automated approach for creating multiplayer simulators in virtual reality . . .
V.V. Kugurakova
313 Approach to the modeling of systems and sites from ready resources . . .
E.M. Lavrischeva, A.G. Ryzhov
321 Instrumental support of the evolutionary expansion of programs using a incremental development . . . .
A.I. Legalov, I.A. Legalov, I.V. Matkovsky
346 The features of parallel program of computation of unsteady gas flows through a porous media using
graphical accelerator . . . D.V. Leontev, G.V. Tarasov, D.I. Kharitonov
360 The data processing model of computational experiments . . .
D.V. Leontev, G.V. Tarasov, D.I. Kharitonov
373 Experience in organizing a unified wireless network of a scientific institution. . .
G.M. Mikhaylov, M.A. Zyzchenko, A.M. Chernetsov
387 About the thesaurus for the subject domain: equations of mixed type . . .
E.I. Moiseev, A.A. Muromsky, N.P. Tuchkova
395 The verification of tunnel methods of the Extensible Authentication Protocol (EAP) . . .
A.V. Nikeshin, V.Z. Shnitman
406 On the similarity of the websites . . .
A.A. Pechnikov, A.S. Golovin
417 Design of a service autonomous mobile robot, based on the control with logical analysis of operations
feasibility . . . V.E.Pryanichnikov, A.A.Aryskin, A.Ya.Ksenzenko, M.S.Petrakov, V.A.Ignatiev, R.V.Khelemendik
428 3D visualization technologies for web collections . . .
A.N. Sotnikov, I.N. Sobolevskaya, S.A. Kirillov, I.N. Cherednichenko
438 Subject-oriented and interdisciplinary digital collections in the electronic environment knowledge . . . .
A.N Sotnikov, I.N.Sobolevskaya, S.A.Kirillov, I.N.Cherednichenko
448 A system for automated driver’s errors detection in motor racing . . .
D.I. Suranovich, Y.S. Korukhova
454 Model estimates of the meridional mass transfer in the Atlantic using the data assimilation methods . . .
N.P. Tuchkova, K.P. Belyaev, G.M. Mikhailov, A.N. Salnikov
459 The technology of correction of dynamic distortions on mobile devices . . .
V.A. Fursov, E.F. Fatkhutdinova
468 Recommender System of Physical and Mathematical Documents Classification . . .
S.M. Khaydarov, G.S. Yamalutdinova
480 About HTML version of the full-text article . . .
D.E. Chebukov
487 Web-interface of the Botikmon monitoring system . . .
A. Y. Shevchuk, Y. V. Shevchuk
499 Verification of Dual Pivot Quicksort Program . . .
V.I. Shelekhov, M.S. Сhushkin 511
Program Committee Chairs
Vladimir Voevodin, corresponding member RAS
Lomonosov Moscow State University Mikhail Yakobovskiy,
corresponding member RAS
Keldysh Institute of Applied Mathematics, Moscow
Program committee
Vladimir Vitkovsky Cand. Sc., SAO RAS, Nizhny Arkhyz
Mikhail Galanin Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow Viktor Gergel Dr.Sc., Lobachevsky State University, Nizhny Novgorod Mikhail Gorbunov-Possadov Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow Alexandr Elizarov Dr.Sc., Federal University, Kasan
Valeriy Zolotarev Cand. Sc., St Petersburg State University, Saint Petersburg Andrey Klimov Cand. Sc., Keldysh Institute of Applied Mathematics, Moscow Mikhail Kogalovskiy Cand. Sc., IPR RAS, Moscow
Vladimir Korenkov Dr.Sc., Joint Institute of Nuclear Research, Dubna
Viktor Krukov Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow Ludmila Massel Dr.Sc., Melentiev Energy Systems Institute, Irkutsk
Guriy Mikchailov Cand. Sc., Dorodnicyn Computing Center FRC CSC, Moscow Sergey Parinov Dr.Sc. CEMI RAS Moscow
Andrey Pechnikov Dr.Sc., IAMR, Petrozavodsk
Vladimir Serebryakov Dr.Sc., Dorodnicyn Computing Center FRC CSC, Moscow Leonid Sokolinskiy Dr.Sc., South Ural Federal University, Chelyabinsk
Alexandr Tomilin Dr.Sc., ISP RAS, Moscow
Boris Chetverushkin academician RAS, Keldysh Institute of Applied Mathematics, Moscow
Andrei Chugunov Cand. Sc., ITMO, Saint Petersburg Mikhail Shifrin Dr.Sc., NSI, Moscow
Scientific secretary of a conference
Tatiana Polilova Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow
Organizing Committee
Mikhail Gorbunov-Possadov Co-chair
Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow Vladimir Kondratenko Southern Federal University
Irina Petrova UNIFORT, Rostov region
Alexey Ermakov Cand. Sc., Keldysh Institute of Applied Mathematics, Moscow Tatiana Polilova Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow Marina Kornilina Cand. Sc., Keldysh Institute of Applied Mathematics, Moscow Sergey Grigoriev Keldysh Institute of Applied Mathematics, Moscow
Sergey Philimoshin Keldysh Institute of Applied Mathematics, Moscow Mickail German Keldysh Institute of Applied Mathematics, Moscow
Tatiana Sushkevich Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow Felix Kasparinskiy Cand. Sc., Lomonosov Moscow State University, Moscow Alexey Kondratenko GU CB, Rostov region