=Paper=
{{Paper
|id=Vol-2260/preface
|storemode=property
|title=Эксперименты с интерактивным специализатором подмножества языка Java, реализующим метод частичных вычислений
(Experiments with the Interactive Specializer that Implements the Partial Evaluation Method for a Subset of the Java Language)
|pdfUrl=https://ceur-ws.org/Vol-2260/preface.pdf
|volume=Vol-2260
|authors=Igor Adamovich,Aleksey Alekseev,Aleksey Katasev,Airat Khassianov,Elena Tutubalina,Denis Zuev,Zinaida Apanovich,Olga Ataeva,Vladimir Serebryakov,Natalia Tuchkova,Anton Bagly,Vladimir Bakhtin,Olga Zhukova,Nikita Kataev,Alexander Kolganov,Viktor Krukov,Mickhail Kuznetsov,Natalia Podderyugina,Mikhail Pritula,Olga Savitskaya,Alexander Smirnov,Tatiana Baranova,Alexander Bugerya,Ekaterina Gladkova,Kirill Efimkin,Mikhail Solovev,Igor Burdonov,Alexander Kossatchev,Igor Burdonov,Nina Evtushenko,Alexander Kossatchev,Dmitriy Varlamov,Tatiana Dokina,Natalia Drozhzhina,Olga Samokhvalova,Mikhail Galanin,Dmitriy Sorokin,Svetlana Garina,Dmitriy Vlasov,Andrey Petrov,Konstantin Shurtakov,Mikhail German,Alexey Ermakov,Sergey Ermakov,Mikhail Gorbunov-Posadov,Lidiya Gorodnyaya,Dmitriy Ezhov,Oleg Kovalenko,Alexander Elizarov,Natalya Zaitseva,Denis Zuev,Eugeny Lipachev,Shamil Khaydarov,Alexander Elizarov,Alexander Kirillovich,Eugeny Lipachev,Olga Nevzorova,Liliana Shakirova,Alexey Emelyanov,Andrey Borovilov,Alexey Ermakov,Tatiana Polilova,Natalia Tuchkova,Nadezhda Zhivchikova,Yuriy Shevchuk,Igor Zacharov,Oleg Panarin,Alexander Izaak,Ekaterina Znamenskaya,Dmitriy Chebukov,Felix Kasparinsky,Felix Kasparinsky,Felix Kasparinsky,Felix Kasparinsky,Felix Kasparinsky,Elena Polyanskaya,Nikita Kataev,Alexander Kozitsyn,Sergey Afonin,Andrey Zenzinov,Vlada Kugurakova,Ekaterina Lavrischeva,Andrey Ryzhov,Alexander Legalov,Igor Legalov,Ivan Matkovsky,Denis Leontev,Georgiy Tarasov,Dmitriy Kharitonov,Denis Leontev,Georgiy Tarasov,Dmitriy Kharitonov,Guriy Mikhaylov,Mikhail Zyzchenko,Andrey Chernetsov,Eugeniy Moiseev,Alexander Muromsky,Natalia Tuchkova,Alexey Nikeshin,Viktor Shnitman,Andrey Pechnikov,Alexander Golovin,Valentin Pryanichnikov,Alexander Aryskin,Alexander Ksenzenko,Maxim Petrakov,Viktor Ignatiev,Roman Khelemendik,Alexander Sotnikov,Irina Sobolevskaya,Sergey Kirillov,Igor Cherednichenko,Alexander Sotnikov,Irina Sobolevskaya,Sergey Kirillov,Igor Cherednichenko,Dmitriy Suranovich,Yulia Korukhova,Natalia Tuchkova,Konstantin Belyaev,Guriy Mikhailov,Alexey Salnikov,Vladimir Fursov,Ekaterina Fatkhutdinova,Shamil Khaydarov,Gulnaz Yamalutdinova,Dmitriy Chebukov,Andrey Shevchuk,Yuriy Shevchuk,Vladimir Shelekhov,Mikhail Сhushkin
}}
==Эксперименты с интерактивным специализатором подмножества языка Java, реализующим метод частичных вычислений
(Experiments with the Interactive Specializer that Implements the Partial Evaluation Method for a Subset of the Java Language)==
https://ceur-ws.org/Vol-2260/preface.pdf
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
I.A. Adamovich
Intellectual information decision support system in the field of economic justice . . . . . . . . . . . . . . 17
А.А. Alekseev,А.S. Katasev, А.F. Khassianov, Е.V. Tutubalina, D.S. Zuev
Visualization of large graphs and adjacency matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Z.V. Apanovich
Approaches to the organization of mathematical knowledge in the construction of subject thesauri of
various branches of mathematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
O.M. Ataeva, V.A. Serebryakov, N.P.Tuchkova
Developing code factoring transformation for FPGA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
A.P. Bagly
Parallelization of software packages. Problems and prospects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
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
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
I.B. Burdonov, A.S. Kossatchev
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
D.A. Varlamov, T.N. Dokina, N.A. Drozhzhina, O.L. Samokhvalova
Mathematical Modeling of Electromagnetic Field in Unlimited Area . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
M.P. Galanin, D.L. Sorokin
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" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
C.M. Garina, D.V. Vlasov, A.N. Petrov, K.V. Shurtakov
Approach to work of sites with data in RAM and on the hard disk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
M.S. German, A.V. Ermakov, S.A. Ermakov
Russian scientific publication —2018 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
M.M. Gorbunov-Posadov
On the presentation of the results of the analysis of programming languages and systems. . . . . . . . . . . . 152
L.V.Gorodnyaya
Optimization of processes of management of train service and the maintenance of infrastructure of
railway transport on the basis of expected technologies. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
D.V. Ezhov, O.V. Kovalenko
Services for Formation of Digital Documents Metadata in the Formats of International Science-based
Databases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
A.M. Elizarov, N.V. Zaitseva, D.S. Zuev, E.K. Lipachev, S.M. Khaidarov
Open Linked Data and Ontologies in Mathematics Education . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
A.M. Elizarov, A.V. Kirillovich, E.K. Lipachev, O.A. Nevzorova, L.R. Shakirova
Function image computation as a metacomputation tool. Experience . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
A.A. Emelyanov, A.O. Borovilov
The status of the proceedings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213
A.V. Ermakov, T.A. Polilova, N.P. Tuchkova
Data storage in Botikmon3 monitoring system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
N.S. Zhivchikova, Yu. V. Shevchuk
Application Energy Efficiency Optimization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
I. Zacharov, O. Panarin
Influence of lost citing articles on Impact Factors in Web of Science . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238
A.D. Izaak, E.A. Znamenskaya, D.E. Chebukov
Structural and functional analogies of Internet sites and biological systems . . . . . . . . . . . . . . . . . . . . . . . 243
F.O. Kasparinsky
Internet publication of scientific and educational media resources in the form of interactive knowledge
catalogs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255
F.O. Kasparinsky
Optimization of structures of TheBrain dynamic associative maps for Internet publications in
accordance with the BYOD standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
F.O. Kasparinsky
Administration of the information environment using the TheBrain 9 associative map . . . . . . . . . . . . . . 275
F.O. Kasparinsky
Information and navigation service of network audiovisual resources . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
F.O. Kasparinsky, E.I. Polyanskaya
Consistent representation of Fortran programs in PARFOR compiler at different levels of abstraction . . 295
N.A. Kataev
Linking translated articles using authorship statistics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 306
A.S Kozitsyn, S.A. Afonin, A.A. Zenzinov
An automated approach for creating multiplayer simulators in virtual reality . . . . . . . . . . . . . . . . . . . . . . 313
V.V. Kugurakova
Approach to the modeling of systems and sites from ready resources . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321
E.M. Lavrischeva, A.G. Ryzhov
Instrumental support of the evolutionary expansion of programs using a incremental development . . . . 346
A.I. Legalov, I.A. Legalov, I.V. Matkovsky
The features of parallel program of computation of unsteady gas flows through a porous media using
graphical accelerator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
D.V. Leontev, G.V. Tarasov, D.I. Kharitonov
The data processing model of computational experiments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373
D.V. Leontev, G.V. Tarasov, D.I. Kharitonov
Experience in organizing a unified wireless network of a scientific institution. . . . . . . . . . . . . . . . . . . . . 387
G.M. Mikhaylov, M.A. Zyzchenko, A.M. Chernetsov
About the thesaurus for the subject domain: equations of mixed type . . . . . . . . . . . . . . . . . . . . . . . . . . . 395
E.I. Moiseev, A.A. Muromsky, N.P. Tuchkova
The verification of tunnel methods of the Extensible Authentication Protocol (EAP) . . . . . . . . . . . . . . . 406
A.V. Nikeshin, V.Z. Shnitman
On the similarity of the websites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 417
A.A. Pechnikov, A.S. Golovin
Design of a service autonomous mobile robot, based on the control with logical analysis of operations
feasibility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 428
V.E.Pryanichnikov, A.A.Aryskin, A.Ya.Ksenzenko, M.S.Petrakov, V.A.Ignatiev, R.V.Khelemendik
3D visualization technologies for web collections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438
A.N. Sotnikov, I.N. Sobolevskaya, S.A. Kirillov, I.N. Cherednichenko
Subject-oriented and interdisciplinary digital collections in the electronic environment knowledge . . . . 448
A.N Sotnikov, I.N.Sobolevskaya, S.A.Kirillov, I.N.Cherednichenko
A system for automated driver’s errors detection in motor racing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454
D.I. Suranovich, Y.S. Korukhova
Model estimates of the meridional mass transfer in the Atlantic using the data assimilation methods . . . 459
N.P. Tuchkova, K.P. Belyaev, G.M. Mikhailov, A.N. Salnikov
The technology of correction of dynamic distortions on mobile devices . . . . . . . . . . . . . . . . . . . . . . . . . . 468
V.A. Fursov, E.F. Fatkhutdinova
Recommender System of Physical and Mathematical Documents Classification . . . . . . . . . . . . . . . . . . . 480
S.M. Khaydarov, G.S. Yamalutdinova
About HTML version of the full-text article . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 487
D.E. Chebukov
Web-interface of the Botikmon monitoring system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 499
A. Y. Shevchuk, Y. V. Shevchuk
Verification of Dual Pivot Quicksort Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 511
V.I. Shelekhov, M.S. Сhushkin
Program Committee Chairs
Vladimir Voevodin, Lomonosov Moscow State University
corresponding member RAS
Mikhail Yakobovskiy, Keldysh Institute of Applied Mathematics, Moscow
corresponding member RAS
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 Dr.Sc., Keldysh Institute of Applied Mathematics, Moscow
Co-chair
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