СЕКЦИЯ B
Математические модели, вычислительные методы, алгоритмы распараллеливания вычислений
Руководитель: д.т.н. Лебедев Валентин Григорьевич
Секретарь: к.т.н. Бабичев Андрей Владимирович
| B1 |
26 октября, вторник 15:00 Аудитория 1 |
| B101 |
АСИНХРОННЫЕ РАСПРЕДЕЛЕННЫЕ ВЫЧИСЛЕНИЯ ПРИ ОГРАНИЧЕННОМ ЧИСЛЕ КОПИЙ ПРОГРАММНОГО РЕСУРСА THE ASYNCHRONOUS DISTRIBUTED CALCULATIONS AT THE LIMITED NUMBER OF COPIES OF THE PROGRAM RESOURCE / P.A. Pavlov (Polesky state university, Pinsk, Belarus) |
| B102 |
МОДЕЛЬНО-АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ОЦЕНИВАНИЯ ЭФФЕКТИВНОСТИ ФУНКЦИОНИРОВАНИЯ КОРПОРАТИВНОЙ ИНФОРМАЦИОННОЙ СИСТЕМОЙ MODEL-ALGORITHMIC SUPPORT OF FUNCTIONING EFFICIENCY ESTIMATION OF THE CORPORATE INFORMATION SYSTEM / E.A. Dilou Raguinia, B.V. Sokolov, I.A. Petrova, A.V. Ikonnikova (St.Petersburg Institute for Informatics and Automation of RAS, Russia, Moscow), V.Ya. Asanovich (Belarus State Economic University, Minsk, Republic of Belarus) |
| B103 |
РАСПАРАЛЛЕЛИВАНИЕ РЕКУРСИВНЫХ ПРОГРАММ THE PARALLELIZATION OF RECURSIVE PROGRAMS / A.V. Babichev (Institute of Control Sciences RAS, Moscow, Russia) |
| B104 |
ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ ПОСТРОЕНИЯ ГАМИЛЬТОНОВЫХ ЦИКЛОВ В ГРАФЕ РАСПРЕДЕЛЕННОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ РЕКУРРЕНТНОЙ НЕЙРОННОЙ СЕТЬЮ PARALLEL ALGORITHM FOR CONSTRUCTION OF HAMILTONIAN CYCLES IN A GRAPH OF DISTRIBUTED COMPUTER SYSTEM BY RECURRENT NEURAL NETWORK / M.S. Tarkov (The A.V. Rzhanov Institute of Semiconductor Physics SB RAS, Novosibirsk, Russia) |
| B105 |
МЕТОД БАЛАНСА METHOD OF THE BALANCE / V.A. Kamyshnikov (Tomskiy state architectural-building university, Tomsk-3, Russia) |
| B106 |
ОЦЕНКА ЭФФЕКТИВНОСТИ ОДНОГО ИЗ ВАРИАНТОВ МЕТОДА МНОГОВЕРСИОННОГО РЕЗЕРВИРОВАНИЯ ВЗАИМОЗАВИСИМЫХ ПАРАЛЛЕЛЬНЫХ ЗАДАЧ ДЛЯ УПРАВЛЯЮЩИХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ EFFICIENCY RATING FOR ONE OF MULTIVERSION REDUNDANTIZATION VARIANTS OF THE INTERDEPENDENT PARALLEL TASKS FOR THE PARALLEL CONTROL COMPUTING SYSTEMS / M.L. Milkov, A.V. Sidorov, V.V. Ignatushenko (Institute of Control Sciences RAS, Moscow, Russia) |
| B107 |
ИНТЕЛЛЕКТУАЛЬНОЕ ДИНАМИЧЕСКОЕ УПРАВЛЕНИЕ ПАРАЛЛЕЛЬНЫМИ РЕЗЕРВИРОВАННЫМИ ВЗАИМОСВЯЗАННЫМИ ЗАДАЧАМИ СО СЛУЧАЙНЫМИ ВРЕМЕНАМИ ИХ ВЫПОЛНЕНИЯ В УПРАВЛЯЮЩИХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ INTELLIGENT DYNAMIC CONTROL OF INTERACTING PARALLEL REDUNDANTIZATIONS OF TASKS HAVING RANDOM TIMES OF REALIZATION IN THE PARALLEL CONTROL COMPUTING SYSTEMS / N.A. Isayeva, V.V. Ignatushchenko (Institute of Control Sciences RAS, Moscow, Russia) |
| B108 |
ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ В ЗАДАЧАХ ВЫБОРА ОБОРУДОВАНИЯ ДЛЯ ДИСКРЕТНЫХ ПРОИЗВОДСТВ PARALLEL CALCULATIONS IN THE PROBLEMS OF EQUIPMENT CHOICE FOR DISCRETE MANUFACTURES / V.K. Isaev, E.N. Khobotov (Institute of Control Sciences RAS, Bauman Moscow State Technical University, Moscow, Russia) |
| B109 |
ПАРАЛЛЕЛЬНАЯ ВЕРИФИКАЦИЯ МОДЕЛЕЙ ПРОТОКОЛА ОБМЕНА МАРШРУТНОЙ ИНФОРМАЦИЕЙ PARALLEL VERIFICATION OF ROUTING INFORMATION PROTOCOL MODEL / V.A. Krishchenko, I.A. Korotkov (Moscow State Technical University, Moscow, Russia) |
| B110 |
КОМПАКТНЫЕ СТРУКТУРЫ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ И ИХ СИНТЕЗ COMPACT STRUCTURES OF COMPUTER SYSTEMS AND THEIR SYNTHESIS / V.A. Melent’ev (A.V. Rzhanov Institute of Semiconductor Physics SB RAS, Novosibirsk, Russia) |
| B111 |
РАЗРАБОТКА ПАРАЛЛЕЛЬНОГО АЛГОРИТМА ГЕНЕРАЦИИ СОСТОЯНИЙ ПРИ ПРОВЕРКЕ МОДЕЛЕЙ ДЛЯ СИСТЕМ С НЕРАЗДЕЛЯЕМОЙ ПАМЯТЬЮ PARALLEL STATESPACE GENERATION DURING MODELCHECKING FOR SYSTEMS WITH DISTRIBUTED MEMORY / I.A. Korotkov (Moscow State Technical University, Moscow, Russia) |
| B112 |
ФУНДАМЕНТАЛЬНЫЕ ПРОБЛЕМЫ УПРАВЛЕНИЯ И ГИПЕРВЫЧИСЛЕНИЯ FUNDAMENTAL PROBLEMS OF CONTROL SCIENCE AND HYPERCOMPUTATION / P.A. Pravil’shchikov (Institute of Control Sciences RAS, Moscow, Russia) |
| B2 |
27 октября, среда 15:00 Аудитория 1 |
| B201 |
ПАРАЛЛЕЛЬНЫЕ АЛГОРИТМЫ ОЦЕНКИ ИНФОРМАТИВНОСТИ ГЕОФИЗИЧЕСКОГО ПОЛЯ PARALLEL ALGORITHMS OF ESTIMATION OF GEOPHYSICAL FIELD INFORMATIVENESS / V.B. Kostousov, A.E. Tarkhanov (Institute of Mathematics and Mechanics, Ekaterinburg, Russia) |
| B202 |
АВТОМАТИЗАЦИЯ РАЗРАБОТКИ ПРОГРАММ ДЛЯ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ С РАСПРЕДЕЛЕННОЙ ПАМЯТЬЮ PROGRAMS AUTOMATIC CREATING FOR PARALLEL COMPUTING SYSTEMS WITH DISTRIBUTED MEMORY / B.Ya. Steinberg (Southern Federal University, Rostov-on-Don, Russia) |
| B203 |
ОСОБЕННОСТИ РЕАЛИЗАЦИИ РАСПАРАЛЛЕЛИВАЮЩИХ ПРЕОБРАЗОВАНИЙ ПРОГРАММ В ДВОР SPECIAL TOPICS ON DESIGN AND IMPLEMENTATION PARALLELIZING PROGRAM TRANSFORMATIONS IN HIGH-LEVEL DIALOG BASED OPTIMIZNG PARALLELIZER / B.Ya. Steinberg, E.V. Alymova, A.P. Baglij, S.A. Guda, E.N. Kravchenko, R.I. Morylev, Z.Ya. Nis, V.V. Petrenko, I.S. Skiba, V.N. Shapovalov, O.B. Steinberg (Southern Federal University, Rostov-on-Don, Russia) |
| B204 |
УТОЧНЕНИЕ ЗАВИСИМОСТЕЙ ПРОГРАММЫ В ДВОР PROGRAM DEPENDENCIES REFINEMENT IN HIGH-LEVEL DIALOG BASED OPTIMIZNG PARALLELIZER / B.Ya. Steinberg, A.A. Abramov, A.P. Baglij, R.I. Morylev, V.V. Petrenko, S.V. Poluyan, R.B. Steinberg (Southern Federal University, Rostov-on-Don, Russia) |
| B205 |
ЭКСПЕРИМЕНТАЛЬНЫЙ КОНВЕРТЕР С ЯЗЫКА C В HDL НА ОСНОВЕ ДИАЛОГОВОГО ВЫСОКОУРОВНЕВОГО ОПТИМИЗИРУЮЩЕГО РАСПАРАЛЛЕЛИВАТЕЛЯ AN EXPERIMENTAL C TO HDL CONVERTER BASED ON DIALOG HIGH-LEVEL OPTIMIZING PARALLELIZER / D.V. Dubrov, R.B. Steinberg (Southern Federal University, Rostov-on-Don, Russia) |
| B206 |
СПОСОБ ВЫБОРА ВАРИАНТА ОРГАНИЗАЦИИ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ ДЛЯ ОПЕРАЦИЙ ЦИФРОВОЙ ОБРАБОТКИ СИГНАЛОВ THE CHOICE METHOD OF ORGANIZATION OF PARALLEL COMPUTATION FOR DIGITAL SIGNAL PROCESSING BASIC OPERATIONS / O.V. Klimova (Institute of Engineering Science, Ekaterinburg, Russia) |
| B207 |
МОДЕЛЬ ВНУТРЕННЕЙ СТРУКТУРЫ ИНФОРМАЦИИ ДЛЯ ПЛАНИРОВАНИЯ ПАРАЛЛЕЛЬНОГО ДВИЖЕНИЯ ГРУППЫ ОБЪЕКТОВ В СЛОЖНЫХ ГЕОГРАФИЧЕСКИХ УСЛОВИЯХ THE INTERNAL INFORMATION STRUCTURE MODELING IN PROBLEMS OF PARALLEL ROUTS PLANNING FOR TEAM MOTION IN COMPLEX ENVIRONMENT / S.V. Kruglikov (Institute of Mathematics and Mechanics, Ekaterinburg, Russia) |
| B208 |
ПАРАЛЛЕЛЬНЫЕ ГИБРИДНЫЕ (SAT+ROBDD) АЛГОРИТМЫ В ЗАДАЧАХ ОБРАЩЕНИЯ ДИСКРЕТНЫХ ФУНКЦИЙ PARALLEL (SAT+ROBDD) ALGORITHMS IN PROBLEMS OF DISCRETE FUNCTIONS INVERSION / A.S. Ignatiev, A.A. Semenov (Institute for system dynamics and control theory SB RAS, Irkutsk, Russia) |
| B209 |
ОКРЕСТНОСТНЫЕ СИСТЕМЫ С ДИНАМИЧЕСКИМИ ОКРЕСТНОСТЯМИ THE NEIGHBOURHOOD’S SYSTEMS WITH THE DYNAMIC NEIGHBOURHOODS / A.M. Shmyrin, I.A. Sedykh, N.A. Kornienko, T.A. Shmyrina (Lipetsk State Technical University, Lipetsk, Russia) |
| B210 |
ПРИМЕНЕНИЕ УНИВЕРСАЛЬНОЙ МНОГОСЕТОЧНОЙ ТЕХНОЛОГИИ ДЛЯ РЕШЕНИЯ ЗАДАЧ ДВУХФАЗНОЙ ФИЛЬТРАЦИИ НА МНОГОПРОЦЕССОРНОМ ВЫЧИСЛИТЕЛЬНОМ КОМПЛЕКСЕ ROBUST MULTIGRID TECHNIQUE FOR TWO-PHASE FILTRATION PROBLEM SOLVING USING HPC / Ye.A. Yaroshenko (Institute of Control Sciences RAS, Moscow, Russia) |
| B211 |
ПАРАЛЛЕЛЬНЫЕ МЕТОДЫ МОДЕЛИРОВАНИЯ СИЛЬНО-НЕСТАЦИОНАРНЫХ ПОТОКОВ ГАЗА В ГТС PARALLEL SIMULATION OF STRONGLY NON-STATIONARY GAS FLOW IN GTS / S.V. Spiridonov, A.M. Salnikov, A.V. Akhmetzyanov (Institute of Control Sciences RAS, Moscow, Russia) |
| B212 |
ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ СИСТЕМ ПОДСТАНОВОК ЧИСЛОВЫМИ ПОЛИНОМАМИ PARALLEL REALIZATION OF SYSTEMS OF SUBSTITUTIONS BY NUMERICAL POLYNOMS / A.K. Vishnevsky (Krasnodar higher military school (MI), Krasnodar, Russia), O.A. Finko (Kuban state technological university. Institute of information technologies and safety, Krasnodar, Russia) |
| B3 |
28 октября, четверг 12:00 Аудитория 1 |
| B301 |
КОМПЬЮТЕРНЫЕ МЕТОДЫ ПАРАЛЛЕЛЬНОЙ РЕАЛИЗАЦИИ УПРАВЛЕНЧЕСКИХ РЕШЕНИЙ COMPUTER METHODS OF CONTROL DECISIONS PARALLEL REALISATION / E.A. Trahtengerts (Institute of Control Sciences RAS, Moscow, Russia) |
| B302 |
МЕТОДЫ ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ АВТОМАТИЧЕСКОЙ ВЕКТОРИЗАЦИИ ВЫЧИСЛЕНИЙ INCREASING AUTOMATIC VECTORIZATION EFFICIENCY / A.V. Ermolitsky, M.I. Neiman-zade (Institute of Electronic Controlling Machines, Moscow, Russia) |
| B303 |
АНАЛИЗ СВОЙСТВ КВАНТОВЫХ ВЫЧИСЛЕНИЙ НА НЕЙРОСЕМАНТИЧЕСКИХ СТРУКТУРАХ THE ANALYSIS OF PROPERTIES OF QUANTUM EVALUATIONS ON NEUROSEMANTIC STRUCTURES / V.I. Bodyakin (Institute of Control Sciences RAS, Moscow, Russia) |
| B304 |
ОЦЕНКА РАЗЛИЧНЫХ МЕТОДОВ АСИНХРОННОГО РЕЗЕРВИРОВАНИЯ ВЗАИМОЗАВИСИМЫХ ПАРАЛЛЕЛЬНЫХ ЗАДАЧ ДЛЯ УПРАВЛЯЮЩИХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ ESTIMATION OF DIFFERENT METHODES OF ASYNCHRONOUS REDUNDANCY OF INTERACTING PARALLEL SETS OF TASCS IN THE PARALLEL CONTROL COMPUTING SYSTEMS / I.Yu. Podshivalova (Institute of Control Sciences RAS, Moscow, Russia) |
| B305 |
ПАРАЛЛЕЛЬНОЕ СИМВОЛЬНОЕ ПРОГРАММИРОВАНИЕ И СТОХАСТИЧЕСКИЕ ПОЛУМАЯТНИКИ, НАХОДЯЩИЕСЯ ПОД ВОЗДЕЙСТВИЕМ УЗКОПОЛОСНОГО БЕЛОГО ШУМА, ТОЧНЫЕ РЕШЕНИЯ УРАВНЕНИЯ КОЛМОГОРОВА-ФОККЕРА-ПЛАНКА STOCHASTIC SYSTEMS UNDER PERIODIC AND WHITE NOISE EXTERNAL EXCITATIONS, AND THE PARALLEL SYMBOLIC COMPUTATIONS / K.A. Volosov, S.O. Sinitsyn, A.K. Volosova, E.K. Vdovina (Moscow State University of Railway Engineering, Moscow, Russia) |
| B306 |
РЕАЛИЗАЦИЯ ДИСКРЕТНОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ НА ОДНОРОДНОЙ ВЫЧИСЛИТЕЛЬНОЙ СРЕДЕ REALIZATION OF DISCRETE FOURIER TRANSFORM ON HOMOGENEOUS COMPUTING ENVIRONMENT/ V.N. Trishin, N.A. Lookin (Institute of Engineering sciences, Urals branch of RAS, Yekaterinburg, Russia) |
| B307 |
ПАРАЛЛЕЛЬНЫЙ АЛГОРИТМ ОБРАБОТКИ ДАННЫХ НА ПРИМЕРЕ РЕШЕНИЯ ОСНОВНЫХ ЗАДАЧ ДИНАМИКИ РОБОТОВ-МАНИПУЛЯТОРОВ PARALLEL DATA PROCESSING ALGORITHM ON THE EXAMPLPE OF SOLVING PROBLEMS OF DYNAMICS INDUSTRIAL MANIPULATION ROBOT / M.A. Lisenkov, A.A. Vnukov (Moscow State Institute of Electronics and Mathematics, Moscow, Russia) |
| B308 |
ВЫЧИСЛЕНИЕ ВЕРХНИХ ОЦЕНОК ВРЕМЕНИ ВЫПОЛНЕНИЯ СЛОЖНЫХ НАБОРОВ ЗАДАЧ В УПРАВЛЯЮЩИХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ CALCULATION OF AN EXACT TOP ESTIMATIONS OF TIME EXECUTION OF COMPLEX TASK SETS IN THE CONTROL PARALLEL COMPUTING SYSTEMS / N.N. Ivanov, V.V. Shastun (Institute of Control Sciences RAS, Moscow, Russia) |
| B309 |
ТОЧНЫЙ ПОДХОД К ОДНОВРЕМЕННОМУ РЕШЕНИЮ ЗАДАЧ ВЫБОРА И ПЛАНИРОВАНИЯ ИНСТРУКЦИЙ В ГЕНЕРАТОРЕ КОДА EXACT APPROACH TO SIMULTANEOUS SOLUTION OF INSTRUCTION SELECTION AND SCHEDULING TASKS IN A CODE GENERATOR / V.A. Galatenko, S.V. Samborskiy, N.I. Viukova (Scientific Research Institute for System Analysis, Russian Academy of Sciences, Moscow, Russia) |
| B310 |
МЕТОДИКА ОПРЕДЕЛЕНИЯ ЭФФЕКТИВНОСТИ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ MEASUREMENT OF PARALLEL COMPUTING EFFICIENCY / V.S. Vykhovanets (Institute of Control Sciences RAS, Moscow, Russia) |
| B311 |
АНАЛИЗ УКАЗАТЕЛЕЙ ДЛЯ РАСПАРАЛЛЕЛИВАНИЯ POINTS-TO ANALYSIS FOR PARALLELIZATION / S.V. Poluyan (Southern Federal University, Rostov-on-Don, Russia) |
| B312 |
ПРИНЯТИЕ ИНДИВИДУАЛЬНЫХ РЕШЕНИЙ: МАССОВЫЕ ДВИЖЕНИЯ, КООРДИНАЦИЯ ДЕЙСТВИЙ И ПОДРАЖАТЕЛЬНОЕ ПОВЕДЕНИЕ DECISION-MAKING: INDIVIDUAL CHOICE, MASS BEHAVIOR AND THE PROBLEM OF COORDINATION OF ACTIONS / G.G. Gorvits (Institute of Control Sciences RAS, Moscow, Russia) |

