SSI-2018
20th Scientific Services & Internet

Table of Contents

• Preface
  
  
  
• Эксперименты с интерактивным специализатором подмножества языка Java, реализующим метод частичных вычислений
  (Experiments with the Interactive Specializer that Implements the Partial Evaluation Method for a Subset of the Java Language) 3-16
  Igor Adamovich
• Интеллектуальная информационная система поддержки принятия судебных решений в сфере экономического правосудия
  (Intellectual Information Decision Support System in the Field of Economic Justice) 17-27
  Aleksey Alekseev, Aleksey Katasev, Airat Khassianov, Elena Tutubalina, Denis Zuev
• Визуализация больших графов и матрицы смежности
  (Visualization of Large Graphs and Adjacency Matrices) 28-41
  Zinaida Apanovich
• Подходы к организации математических знаний при формирования предметных тезаурусов различных разделов математики
  (Approaches to the Organization of Mathematical Knowledge in the Construction of Subject Thesauri of Various Branches of Mathematics) 42-54
  Olga Ataeva, Vladimir Serebryakov, Natalia Tuchkova
• Разработка преобразования Code Factoring для ПЛИС
  (Developing Code Factoring Transformation for FPGA) 55-62
  Anton Bagly
• Распараллеливание программных комплексов. Проблемы и перспективы
  (Parallelization of Software Packages. Problems and Prospects) 63-72
  Vladimir Bakhtin, Olga Zhukova, Nikita Kataev, Alexander Kolganov, Viktor Krukov, Mickhail Kuznetsov, Natalia Podderyugina, Mikhail Pritula, Olga Savitskaya, Alexander Smirnov
• Методы балансировки вычислительной нагрузки при параллельной реализации алгоритмов на общей памяти
  (Computational Load Balancing Methods for Algorithms Parallel Implementations on Shared Memory) 73-88
  Tatiana Baranova, Alexander Bugerya, Ekaterina Gladkova, Kirill Efimkin, Mikhail Solovev
• Настройка распределенной сети на кратчайшие пути
  (Configuring a Distributed Network on the Shortest Paths) 89-99
  Igor Burdonov, Alexander Kossatchev
• Синтез тестов для синхронной композиции детерминированных и полностью определенных автоматов
  (Deriving Tests for the Synchronous Composition of Deterministic Complete Finite State Machines) 100-110
  Igor Burdonov, Nina Evtushenko, Alexander Kossatchev
• Информационно-вычислительная система WWW-MINCRYST – общедоступный Web-инструментарий по кристаллическим структурам минералов и их аналогов
  (Information-Calculation System WWW-MINCRYST — a Public Web-Toolkit on the Crystalline Structures of Minerals and Their Analogues) 111-121
  Dmitriy Varlamov, Tatiana Dokina, Natalia Drozhzhina, Olga Samokhvalova
• Математическое моделирование электромагнитного поля в неограниченной области
  (Mathematical Modeling of Electromagnetic Field in Unlimited Area) 122-124
  Mikhail Galanin, Dmitriy Sorokin
• Опыт построения информационной среды для решения задач реализации ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы"
  (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-135
  Svetlana Garina, Dmitriy Vlasov, Andrey Petrov, Konstantin Shurtakov
• Подход к работе сайтов с данными в оперативной памяти и на жёстком диске
  (Approach to Work of Sites with Data in RAM and on the Hard Disk) 136-144
  Mikhail German, Alexey Ermakov, Sergey Ermakov
• Научная публикация — 2018
  (Russian Scientific Publication — 2018) 145-151
  Mikhail Gorbunov-Posadov
• О представлении результатов анализа языков и систем программирования
  (On the Presentation of the Results of the Analysis of Programming Languages and Systems) 152-166
  Lidiya Gorodnyaya
• Оптимизация процессов управления движением поездов и содержания инфраструктуры железнодорожного транспорта на основе прогнозных технологий
  (Optimization of Processes of Management of Train Service and the Maintenance of Infrastructure of Railway Transport on the Basis of Expected Technologies) 167-174
  Dmitriy Ezhov, Oleg Kovalenko
• Сервисы формирования метаданных цифровых документов в форматах международных наукометрических баз данных
  (Services for Formation of Digital Documents Metadata in the Formats of International Science-Based Databases) 175-185
  Alexander Elizarov, Natalya Zaitseva, Denis Zuev, Eugeny Lipachev, Shamil Khaydarov
• Открытые связанные данные и онтологии в математическом образовании
  (Open Linked Data and Ontologies in Mathematics Education) 186-196
  Alexander Elizarov, Alexander Kirillovich, Eugeny Lipachev, Olga Nevzorova, Liliana Shakirova
• Вычисление образа функции как инструмент метавычислений. Опыт использования
  (Function Image Computation as a Metacomputation Tool. Experience) 197-212
  Alexey Emelyanov, Andrey Borovilov
• О статусе трудов конференции
  (The Status of the Proceedings) 213-222
  Alexey Ermakov, Tatiana Polilova, Natalia Tuchkova
• Подсистема архивации данных системы мониторинга Botikmon3
  (Data Storage in Botikmon3 Monitoring System) 223-229
  Nadezhda Zhivchikova, Yuriy Shevchuk
• Оптимизация вычислений по электропотреблению
  (Application Energy Efficiency Optimization) 230-237
  Igor Zacharov, Oleg Panarin
• О потерянных цитированиях в Web of Science и их влиянии на импакт-факторы журналов
  (Influence of Lost Citing Articles on Impact Factors in Web of Science) 238-242
  Alexander Izaak, Ekaterina Znamenskaya, Dmitriy Chebukov
• Структурно-функциональные аналогии интернет-сайтов и биологических систем
  (Structural and Functional Analogies of Internet Sites and Biological Systems) 243-254
  Felix Kasparinsky
• Интернет-публикация научно-образовательных медиаресурсов в форме интерактивных каталогов знаний
  (Internet Publication of Scientific and Educational Media Resources in the Form of Interactive Knowledge Catalogs) 255-264
  Felix Kasparinsky
• Оптимизация структур динамических ассоциативных карт TheBrain для интернет-публикаций по стандарту BYOD
  (Optimization of Structures of TheBrain Dynamic Associative Maps for Internet Publications in Accordance with the BYOD Standard) 265-274
  Felix Kasparinsky
• Администрирование информационной среды посредством ассоциативной карты TheBrain 9
  (Administration of the Information Environment Using the TheBrain 9 Associative Map) 275-283
  Felix Kasparinsky
• Информационно-навигационный сервис сетевых аудиовизуальных ресурсов
  (Information and Navigation Service of Network Audiovisual Resources) 284-294
  Felix Kasparinsky, Elena Polyanskaya
• Согласованное представление Fortran-программ в компиляторе PARFOR на разных уровнях абстракции
  (Consistent Representation of Fortran Programs in PARFOR Compiler at Different Levels of Abstraction) 295-305
  Nikita Kataev
• Поиск переводов статей с использованием статистических данных
  (Linking Translated Articles Using Authorship Statistics) 306-312
  Alexander Kozitsyn, Sergey Afonin, Andrey Zenzinov
• Автоматизированный подход для создания многопользовательских тренажеров в виртуальной реальности
  (An Automated Approach for Creating Multiplayer Simulators in Virtual) 313-320
  Vlada Kugurakova
• Подход к моделированию систем и сайтов из готовых ресурсов
  (Approach to the Modeling of Systems and Sites From Ready Resources) 321-345
  Ekaterina Lavrischeva, Andrey Ryzhov
• Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке
  (Instrumental Support of the Evolutionary Expansion of Programs Using a Incremental Development) 346-359
  Alexander Legalov, Igor Legalov, Ivan Matkovsky
• Особенности параллельной реализации алгоритма расчета нестационарных течений газа через пористые среды с использованием графических ускорителей
  (The Features of Parallel Program of Computation of Unsteady Gas Flows Through a Porous Media Using Graphical Accelerator) 360-372
  Denis Leontev, Georgiy Tarasov, Dmitriy Kharitonov
• Модель обработки данных вычислительных экспериментов
  (The Data Processing Model of Computational Experiments) 373-386
  Denis Leontev, Georgiy Tarasov, Dmitriy Kharitonov
• Опыт организации единой беспроводной сети научного учреждения
  (Experience in Organizing a Unified Wireless Network of a Scientific Institution) 387-394
  Guriy Mikhaylov, Mikhail Zyzchenko, Andrey Chernetsov
• О тезаурусе предметной области смешанные уравнения математической физики
  (About the Thesaurus for the Subject Domain: Equations of Mixed Type) 395-405
  Eugeniy Moiseev, Alexander Muromsky, Natalia Tuchkova
• Верификация туннельных методов протокола аутентификации EAP
  (The Verification of Tunnel Methods of the Extensible Authentication Protocol (EAP)) 406-416
  Alexey Nikeshin, Viktor Shnitman
• О сходстве веб-сайтов
  (On the Similarity of the Websites) 417-427
  Andrey Pechnikov, Alexander Golovin
• Построение сервисного автономного мобильного робота на основе управления, использующего логический анализ реализуемости операций
  (Design of a Service Autonomous Mobile Robot, Based on the Control with Logical Analysis of Operations Feasibility) 428-437
  Valentin Pryanichnikov, Alexander Aryskin, Alexander Ksenzenko, Maxim Petrakov, Viktor Ignatiev, Roman Khelemendik
• Технологии визуализации 3D Web-коллекций
  (3D Visualization Technologies for Web Collections) 438-447
  Alexander Sotnikov, Irina Sobolevskaya, Sergey Kirillov, Igor Cherednichenko
• Предметно-ориентированные и междисциплинарные цифровые коллекции в электронном пространстве знаний
  (Subject-Oriented and Interdisciplinary Digital Collections in the Electronic Environment Knowledge) 448-453
  Alexander Sotnikov, Irina Sobolevskaya, Sergey Kirillov, Igor Cherednichenko
• Система автоматизированного выявления ошибок водителя в автогонках
  (A System for Automated Driver's Errors Detection in Motor Racing) 454-458
  Dmitriy Suranovich, Yulia Korukhova
• Модельные оценки меридионального переноса массы в Атлантике с применением методов усвоения данных наблюдений
  (Model Estimates of the Meridional Mass Transfer in the Atlantic Using the Data Assimilation Methods) 459-467
  Natalia Tuchkova, Konstantin Belyaev, Guriy Mikhailov, Alexey Salnikov
• Разработка мобильного приложения для коррекции динамических искажений на изображениях
  (The Technology of Correction of Dynamic Distortions on Mobile) 468-479
  Vladimir Fursov, Ekaterina Fatkhutdinova
• Рекомендательная система классификации физико-математических документов
  (Recommender System of Physical and Mathematical Documents Classification) 480-486
  Shamil Khaydarov, Gulnaz Yamalutdinova
• Об HTML версии полного текста научной статьи
  (About HTML Version of the Full-Text Article) 487-498
  Dmitriy Chebukov
• Веб-интерфейс системы мониторинга Botikmon
  (Web-Interface of the Botikmon Monitoring System) 499-510
  Andrey Shevchuk, Yuriy Shevchuk
• Верификация программы быстрой сортировки с двумя опорными элементами
  (Verification of Dual Pivot Quicksort Program) 511-524
  Vladimir Shelekhov, Mikhail Сhushkin