Информационно-управляющие системы №2 2018 (1000,00 руб.)

Стр.2

Стр.3

doi:10.15217/issn1684-8853.2018.2 ISSN 1684-8853 SCIENTIFIC JOURNAL 2(93)/2018 REFEREED EDITION Founder «Information and Control Systems», Ltd. Publisher Saint-Petersburg State University of Aerospace Instrumentation Editor-in-Chief M. Sergeev Dr. Sc., Tech., Professor, St. Petersburg, Russia Deputy Editor-in-Chief E. Krouk Dr. Sc., Tech., Professor, Moscow, Russia Executive secretary O. Muravtsova Editorial Council C. Christodoulou PhD, Professor, Albuquerque, New Mexico, USA L. Fortuna PhD, Professor, Catania, Italy A. Fradkov Dr. Sc., Tech., Professor, St. Petersburg, Russia A. Ovodenko Dr. Sc., Tech., Professor, St. Petersburg, Russia Y. Podoplyokin Dr. Sc., Tech., Professor, St. Petersburg, Russia Yu. Shokin INFORMATSIONNOUPRAVLIAIUSHCHIE SISTEMY(INFORMATION AND CONTROL SYSTEMS) THEORETICAL AND APPLIED MATHEMATICS Kryukov D. A., Tesker I. A. Pseudo Number Generation based on Graphic Object Processing INFORMATION PROCESSING AND CONTROL Shcherban’ I. V., Kirilenko N. E., Shcherban’ O. G. Effective Cost Functions for Spectrum Entropy to Search for High-Frequency EventRelated Patterns in Electrograms with Noise INFORMATION AND CONTROL SYSTEMS Egorov I. V., Melekhin V. F. Organizing a Finite State Machine with Higher Resistance to Soft Failures and Soft Failure Registration Kuchmin A. Yu. Identification of Non-Stationary Dynamic Objects SYSTEM AND PROCESS MODELING Skorokhodov Ya. A., Andreev A. M. Modeling the Space Segment of Sea Vessel Identification System Efimov A. A. Simulation of Sliding Mode Control System for Active Current Converter RAS Academician, Dr. Sc., Phys.-Math., Novosibirsk, Russia V. Vasilev RAS Corr. Member, Dr. Sc., Tech., Professor, St. Petersburg, Russia R. Yusupov RAS Corr. Member, Dr. Sc., Tech., Professor, St. Petersburg, Russia Editorial Board V. Anisimov Dr. Sc., Tech., Professor, St. Petersburg, Russia B. Bezruchko Dr. Sc., Phys.-Math., Saratov, Russia N. Blaunstein Dr. Sc., Phys.-Math., Professor, Beer-Sheva, Israel A. Dudin Dr. Sc., Tech., Professor, Minsk, Belarus I. Dumer PhD., Professor, Riverside, USA V. Khimenko Dr. Sc., Tech., Professor, St. Petersburg, Russia G. Maltsev Dr. Sc., Tech, Professor, St. Petersburg, Russia G. Matvienko Dr. Sc., Phys.-Math., Professor, Tomsk, Russia V. Melekhin Dr. Sc., Tech., Professor, St. Petersburg, Russia B. Meyer PhD, Professor, Zurich, Switzerland J. Seberry PhD, Professor, Wollongong, Australia A. Shalyto Dr. Sc., Tech., Professor, St. Petersburg, Russia A. Shelupanov Dr. Sc., Tech., Professor, Tomsk, Russia A. Shepeta Dr. Sc., Tech., Professor, St. Petersburg, Russia A. Smirnov Dr. Sc., Tech., Professor, St. Petersburg, Russia Z. Yuldashev Dr. Sc., Tech., Professor, St. Petersburg, Russia A. Zeifman Dr. Sc., Phys.-Math., Vologda, Russia Editor: A. Larionova Proofreader: T. Zvertanovskaia Design: M. Chernenko, Y. Umnitsina Layout and composition: Y. Umnitsina Contact information The Editorial and Publishing Center, SUAI 67, B. Morskaia, 190000, St. Petersburg, Russia Website: http://i-us.ru/en, e-mail: ius.spb@gmail.com Tel.: +7 - 812 494 70 02 The Journal was registered in the Ministry of Press, Broadcasting and Mass Media of the Russian Federation. Registration Certificate JD № 77-12412 from April, 19, 2002. Re-registration in the Federal Service for Supervision in the Sphere of Telecom, Information Technologies and Mass Communications (ROSKOMNADZOR) due to change of the founder: «Information and Control Systems», Ltd., JD № FS77-49181 from March, 30, 2012. © Corporate authors, 2018 Submitted for publication 05.03.18. Passed for printing 23.04.18. Format 60841/8. Phototype SchoolBookC. Digital printing. Layout original is made at the Editorial and Publishing Center, SUAI. 67, B. Morskaia, 190000, St. Petersburg, Russia Printed from slides at the Editorial and Publishing Center, SUAI. 67, B. Morskaia, 190000, St. Petersburg, Russia The journal is distributed by subscription. Subscription can be made in the Editorial and publishing center, SUAI as well as in any post office based on «Rospechat» catalogue: № 15385 — semiannual subscript. HARDWARE AND SOFTWARE RESOURCES Gordeev A. V., Gorelik D. V. Comparative Testing of Container and Hypervisor Virtualizations Egorova I. S., Itsykson V. M. Review of Dynamic Methods for Extraction of Partial Software Library Specification INFORMATION CODING AND TRANSMISSION Yurkin D. V., Utkina A. A., Pervushin A. O. Formalized Analysis of Authentication Protocols INFORMATION INSTRUMENTATION AND EDUCATION Tatarnikova T. M., Dzubenko I. N. IoT System for Detecting Dangerous Substances by Smell Knyazhsky A. Yu. Synthesis and Accuracy Analysis of Altitude-Above-SeaSurface Measuring System used on Low-Flying Vehicle INFORMATION INSTRUMENTATION AND EDUCATION Grigoryev A. P., Burlutsky S. G., Chernelevsky A. O. OperatorNavigator Activity Diagnostics System based on Task Approach Lyamin A. V. Method of Formal Program Verification for Post Machine Virtual Laboratory INFORMATION ABOUT THE AUTHORS 2 8 18 28 36 49 60 67 76 84 91 96 104 115

Стр.2

doi:10.15217/issn1684-8853.2018.2 ISSN 1684-8853 НАУЧНЫЙ ЖУРНАЛ 2(93)/2018 РЕЦЕНЗИРУЕМОЕ ИЗДАНИЕ Учредитель ООО «Информационноуправляющие системы» Издатель Санкт-Петербургский государственный университет аэрокосмического приборостроения Главный редактор М. Б. Сергеев, др техн. наук, проф., С.Петербург, РФ Зам. главного редактора Е. А. Крук, др техн. наук, проф., Москва, РФ Ответственный секретарь О. В. Муравцова Редакционный совет: Председатель А. А. Оводенко, др техн. наук, проф., С.Петербург, РФ В. Н. Васильев, чл.корр. РАН, др техн. наук, проф., С.Петербург, РФ К. Кристодолу, д-р наук, проф., Альбукерке, Нью-Мексико, США Ю. Ф. Подоплёкин, др техн. наук, проф., С.Петербург, РФ Л. Фортуна, др наук, проф., Катания, Италия А. Л. Фрадков, др техн. наук, проф., С.Петербург, РФ Ю. И. Шокин, акад. РАН, др физ.мат. наук, проф., Новосибирск, РФ Р. М. Юсупов, чл.корр. РАН, др техн. наук, проф., С.Петербург, РФ Редакционная коллегия: В. Г. Анисимов, др техн. наук, проф., С.Петербург, РФ Б. П. Безручко, др физ.мат. наук, проф., Саратов, РФ Н. Блаунштейн, др физ.мат. наук, проф., БеэрШева, Израиль А. Н. Дудин, др физ.мат. наук, проф., Минск, Беларусь И. И. Думер, д-р наук, проф., Риверсайд, США А. И. Зейфман, др физ.мат. наук, проф., Вологда, РФ Г. Н. Мальцев, д-р техн. наук, проф., С.-Петербург, РФ Г. Г. Матвиенко, д-р физ.-мат. наук, проф., Томск, РФ Б. Мейер, др наук, проф., Цюрих, Швейцария В. Ф. Мелехин, др техн. наук, проф., С.Петербург, РФ Д. Себерри, д-р наук, проф., Волонгонг, Австралия А. В. Смирнов, др техн. наук, проф., С.Петербург, РФ В. И. Хименко, др техн. наук, проф., С.Петербург, РФ А. А. Шалыто, др техн. наук, проф., С.Петербург, РФ А. А. Шелупанов, д-р техн. наук, проф., Томск, РФ А. П. Шепета, др техн. наук, проф., С.Петербург, РФ З. М. Юлдашев, др техн. наук, проф., С.Петербург, РФ Редактор: А. Г. Ларионова Корректор: Т. В. Звертановская Дизайн: М. Л. Черненко, Ю. В. Умницына Компьютерная верстка: Ю. В. Умницына Адрес редакции: 190000, СанктПетербург, Б. Морская ул., д. 67, ГУАП, РИЦ Тел.: (812) 4947002, эл. адрес: ius.spb@gmail.com, сайт: http://ius.ru Журнал зарегистрирован в Министерстве РФ по делам печати, телерадиовещания и средств массовых коммуникаций. Свидетельство о регистрации ПИ № 77-12412 от 19 апреля 2002 г. Перерегистрирован в Роскомнадзоре. Свидетельство о регистрации ПИ № ФС77-49181 от 30 марта 2012 г. Журнал входит в «Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора и кандидата наук». © Коллектив авторов, 2018 Усл. печ. л. 14,1. Уч.-изд. л. 19,4. Тираж 1000 экз (1-й завод 140 экз.). Заказ № 179. Сдано в набор 05.03.18. Подписано в печать 23.04.18. Формат 60841/8. Гарнитура SchoolBookC. Печать цифровая. Оригинал-макет изготовлен в редакционно-издательском центре ГУАП. 190000, Санкт-Петербург, Б. Морская ул., 67. Отпечатано с готовых диапозитивов в редакционно-издательском центре ГУАП. 190000, Санкт-Петербург, Б. Морская ул., 67. через редакцию, а также в любом отделении связи по каталогу «Роспечать»: № 15385 — полугодовой индекс. Журнал распространяется по подписке. Подписку можно оформить ТЕОРЕТИЧЕСКАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА Крюков Д. А., Тескер И. А. Генерация псевдослучайных чисел на основе преобразований графических объектов ОБРАБОТКА ИНФОРМАЦИИ И УПРАВЛЕНИЕ Щербань И. В., Кириленко Н. Е., Щербань О. Г. Эффективные критериальные функции спектральной энтропии для поиска высокочастотных паттернов в составе зашумленных электрограмм ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ Егоров И. В., Мелехин В. Ф. Способ организации автомата с памятью с повышенной устойчивостью к мягким отказам и регистрацией мягких отказов Кучмин А. Ю. Проблемы идентификации нестационарных динамических объектов МОДЕЛИРОВАНИЕ СИСТЕМ И ПРОЦЕССОВ Скороходов Я. А., Андреев А. М. Моделирование функционирования космического сегмента системы автоматической идентификации морских судов Ефимов А. А. Моделирование системы управления в скользящем режиме активным преобразователем тока ПРОГРАММНЫЕ И АППАРАТНЫЕ СРЕДСТВА Гордеев А. В., Горелик Д. В. Сравнительное тестирование контейнерной и гипервизорной виртуализации Егорова И. С., Ицыксон В. М. Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов КОДИРОВАНИЕ И ПЕРЕДАЧА ИНФОРМАЦИИ Юркин Д. В., Уткина А. А., Первушин А. О. Формализованный анализ протоколов аутентификации ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫЕ СИСТЕМЫ Татарникова Т. М., Дзюбенко И. Н. Система детектирования опасных веществ по запаху, построенная на технологии Интернета вещей Княжский А. Ю. Синтез и анализ точности системы измерения параметров морского волнения, используемой на низколетящем аппарате ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И ОБРАЗОВАНИЕ Григорьев А. П., Бурлуцкий С. Г., Чернелевский А. О. Диагностирующая система деятельности оператора-навигатора на основе задачного подхода Лямин А. В. Метод формальной верификации программ для виртуальной лаборатории «Машина Поста» СВЕДЕНИЯ ОБ АВТОРАХ 2 8 18 28 36 49 60 67 76 84 91 96 104 115

Стр.3