Климов Аркадий Валентинович

Климов Аркадий Валентинович

cтарший научный сотрудник

Родился в 1953 г. Закончил механико-математический факультет МГУ им. М.В.Ломоносова в 1976 г. Работаю в ИППМ с 2008 года.

Тел.: (499) 135-3295

email:

Сфера научных интересов

  • языки программирования и модели вычислений,
  • семантика языков программирования, методы анализа и преобразования программ,
  • нестандартные вычислительные модели и архитектуры,
  • модель вычислений и архитектура с управлением потоком данных,
  • параллельные вычисления и алгоритмы,
  • языки параллельного программирования, архитектуры параллельных ЭВМ,
  • автоматическое распараллеливание, полиэдральные модели программ,
  • автоматическое преобразование последовательных циклических (аффинных) программ в модель вычислений с управлением потоком данных.
Форма для печатиФорма для печати (будет открыта в новом окне)

Труды, опубликованные за время работы в ИППМ РАН


- скрыть список публикаций
2007 
 Климов А.В., Левченко Н.Н., Окунев А.С.
Аппаратно-программные средства преодоления неравномерной загрузки отдельных устройств в параллельной потоковой вычислительной системе. Материалы Международной научно-технической конференции «Многопроцессорные вычислительные и управляющие системы» в составе мультиконференции «Проблемы информационно-компьютерных технологий и мехатроники», 2007, т. 1. – Таганрог: Издательство ТТИ ЮФУ, стр. 92-95.
 Климов А.В., Окунев А.С., Степанов А.М.
Проблемы развития модели вычислений dataflow и особенности ее архитектурной реализации. Приложение к журналу «Открытое образование», Материалы XXXIV международной конференции Информационные технологии в науке, социологии, экономике и бизнесе IT + SE`07. Майская сессия Украина, Крым, Ялта-Гурзуф, 20 - 30 мая, 2007, с. 46-48.
 Климов А.В., Окунев А.С., Степанов А.М.
Распределение вычислений по модулям в вычислительной системе массового параллелизма. Приложение к журналу «Открытое образование», Материалы XXXIV международной конференции Информационные технологии в науке, социологии, экономике и бизнесе IT + SE`07. Майская сессия Украина, Крым, Ялта-Гурзуф, 20 - 30 мая, 2007, с. 44-46.
 Климов А.В., Окунев А.С., Степанов А.М.
Иерархическая ассоциативная память в вычислительной системе массового параллелизма. Материалы Международной научно- технической конференции «Многопроцессорные вычислительные и управляющие системы» в составе мультиконференции «Проблемы информационно-компьютерных технологий и мехатроники», 2007, т. 1. – Таганрог: Издательство ТТИ ЮФУ, стр. 87- 92.
 Климов А.В., Окунев А.С., Степанов А.М.
Распределение вычислений и данных по процессорным модулям вычислительной системы массового параллелизма. Материалы Международной научно-технической конференции «Многопроцессорные вычислительные и управляющие системы» в составе мультиконференции «Проблемы информационно-компьютерных технологий и мехатроники», 2007, т. 1. – Таганрог: Издательство ТТИ ЮФУ, стр. 242-246.
2009 
 Климов А.В.
Использование деревьев выбора для описания состояний памяти в точках программы. Материалы Международной научно-технической конференции «Многопроцессорные вычислительные и управляющие системы» (МВУС-2009), Таганрог, ТТИ ЮФУ. Т. 1, с. 184-187.
 Левченко Н.Н., Окунев А.С., Климов А.В.
Реализация задачи «Повышение контрастности изображения» на параллельной потоковой вычислительной системе. Материалы Международной научно-технической конференции «Многопроцессорные вычислительные и управляющие системы» (МВУС-2009), Таганрог, ТТИ ЮФУ. Т. 1, с. 197-200.
 Климов А.В.
Использование деревьев выбора для описания состояний в распараллеливающем компиляторе. Труды Всероссийской научной конференции "Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность". - Новороссийск, 21-26 сентября 2009. - с. 238-240. - М.: Изд-во МГУ, 2009.
 Стемпковский А.Л., Климов А.В., Левченко Н.Н., Окунев А.С.
Методы адаптации параллельной потоковой вычислительной системы под задачи отдельных классов. Информационные технологии и вычислительные системы. - 2009. - ?3, - С. 12-21
 Климов А.В.
Деревья выбора и их использование для описания семантического эффекта программы. Труды Третьей Всероссийской научной конференции «Методы и средства обработки информации», Москва, МАКС Пресс, 2009. С. 335-341.
2010 
 Климов А.В., Окунев А.С., Левченко Н.Н.
Автоматическое распараллеливание линейных циклов путем трансляции в язык потока данных. Сборник тезисов докладов XII международного семинара "Супервычисления и математическое моделирование", Саров, ФГУП "РФЯЦ-ВНИИЭФ". 2010. С. 51-52.
 Климов А.В.
Трансляция последовательной программы в потоковый язык как способ распараллеливания. Материалы Международной научно-технической конференции "Суперкомпьютерные технологии: разработка, программирование, применение" (СКТ-2010). Таганрог-Москва, 2010. T. 1. С. 246-250.
2011 
 Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Автоматическое распараллеливание последовательных программ для гибридной системы с ускорителем на основе потока данных. Параллельные вычислительные технологии (ПаВТ’2011): труды международной научной конференции (Москва, 28 марта – 1 апреля 2011 г.). (URL: http://omega.sp.susu.ac.ru/books/conference/PaVT2011). С. 211-218.
 Акжолов М.Ж., Климов А.В.
Параллельный алгоритм сортировки слиянием в модели вычислений с управлением потоком данных. Труды международной научной конференции "Рахматулинские чтения" / Под ред. Т.О. Ормонбекова. Бишкек, 26-27 мая 2011.; НАН КР. Б. C.76-81.
 Климов А.В.
Transforming Affine Nested Loop Programs to Dataflow Computation Model. Proceedings of Ershov Informatics Conference (PSI Series, 8th Edition). June 27-July 1, 2011. Akademgorodok, Novosibirsk: A.P.Ershov Institute of Informatic Systems. Russia, 2011. P. 274-285.
 Климов А.В., Окунев А.С., Левченко Н.Н.
Автоматическое распараллеливание линейных циклов путем трансляции в язык потока данных. Труды XII Международного семинара «Супервычисления и математическое моделирование» / Под ред. Р.М. Шагалиева. Саров: ФГУП «РФЯЦ-ВНИИЭФ», 2011. С. 208-215.
 Климов А.В., Окунев А.С.
Потоковая модель вычислений как путь к экзафлопсу. Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: экзафлопсное будущее». Новороссийск, 19-24 сентября 2011, электронное издание. C. 261-266.
 Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Автоматическое распараллеливание для гибридной системы с потоковым ускорителем. Информационные технологии и вычислительные системы. 2011. №2. С. 3-11.
2012 
 Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Использование архитектуры потока данных для создания сверхвысокопроизводительных вычислительных систем . Вторая всероссийская научно-техническая конференция "Суперкомпьютерные технологии" (СКТ-2012), 24-29 сентября 2012 года, с. Дивноморское, Геленджикский район. (СКТ-2012). С. 64-68.
 Климов А.В., Левченко Н.Н., Окунев А.С.
Преимущества потоковой модели вычислений в условиях неоднородных сетей . Информационные технологии и вычислительные системы. 2012. No 2. С. 36-45. ISSN 2071-8632.
 Климов А.В., Левченко Н.Н., Окунев А.С.
Модель вычислений с управлением потоком данных как средство решения проблем больших распределенных систем . Вторая всероссийская научно-техническая конференция "Суперкомпьютерные технологии" (СКТ-2012), 24-29 сентября 2012 года, с. Дивноморское, Геленджикский район. С. 303-307.
 Климов А.В.
Опыт программирования одной задачи квантовой теории поля для потокового суперпроцессора ППВС Буран. XIV международная конференция «Супервычисления и математическое моделирование», 1-5 октября 2012 года, г. Саров Нижегородской области. Тезисы. РФЯЦ-ВНИИЭФ, С. 105-106.
2013 
 Левченко Н.Н., Окунев А.С., Змеев Д.Н., Климов А.В.
Management methods of computational processes in the PDCS "Buran". In: Proc. of the International IEEE East-West Design & Test Symposium (EWDTS’2013). Rostov-on-Don, Russia. September 2013. 446-448.
 Змеев Д.Н., Окунев А.С., Левченко Н.Н., Климов А.В.
Реализация параллельной модели вычислений с управлением потоком данных на кластерных суперкомпьютерах. Труды Международной суперкомпьютерной конференции "Научный сервис в сети интернет: все грани параллелизма". 23-28 сентября 2013 г., Новороссийск. М.: Изд-во МГУ, 2013. С. 375-377.
 Левченко Н.Н., Окунев А.С., Змеев Д.Н., Климов А.В.
Effective planning of calculations on the PDCS "Buran" architecture. In: Proc. of the International IEEE East-West Design & Test Symposium (EWDTS’2013). Rostov-on-Don, Russia. September 2013. Р. 423-425.
 Левченко Н.Н., Окунев А.С., Змеев Д.Н., Климов А.В.
Implementation of parallel dataflow computational model on cluster supercomputers. In: Proc. of the International IEEE East-West Design & Test Symposium (EWDTS’2013). Rostov-on-Don, Russia. September 2013. Р. 394-396.
 Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Архитектура потоковой вычислительной системы экзафлопсного уровня производительности. Тезисы доклада на IV Московском суперкомпьютерном форуме. Москва, 23 октября 2013. (1 стр.)
 Левченко Н.Н., Климов А.В., Окунев А.С., Стемпковский А.Л.
Потоковая вычислительная система (№124012).
 Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Потоковая вычислительная система (№124013).
2014 
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Применение параллельной потоковой вычислительной системы «Буран» для задач молекулярной динамики. Материалы 3-й Всероссийской научно-технической конференции “Суперкомпьютерные технологии” (СКТ-2014). 2014. Т. 2. С. 222-224.
 Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Суперкомпьютеры, иерархия памяти и потоковая модель вычислений. Программные системы: теория и приложения: электрон. научн. журн. 2014. T. 5. №1(19). С. 15-36. URL: http://psta.psiras.ru/read/psta2014_1_15-36.pdf
 Климов А.В., Левченко Н.Н., Окунев А.С., Змеев Д.Н., Стемпковский А.Л.
Исследование возможности асинхронной реализации задачи молекулярной динамики на ППВС "Буран". Качество. Инновации. Образование. 2014. № 10. С. 46-51.
 Климов А.В.
Construction of Exact Polyhedral Model for Affine Programs with Data Dependent Conditions. Fourth International Valentin Turchin Workshop on Metacomputation. Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky. Russia, Pereslavl Zalessky: Publishing House University of Pereslavl. 2014. 256 p.
 Климов А.В., Козлова Т.Г.
Опыт программирования параллельной асинхронной молекулярной динамики для потокового супервычислителя ППВС «Буран». Тезисы XV международной конференции «Супервычисления и математическое моделирование». Саров, 13-17 октября 2014. С. 79-80.
 Климов А.В.
Омега-тест: программа проверки системы линейных целочисленных равенств и неравенств на совместность (№2014612945).
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Определение номера ядра вычислительной системы с использованием функций «Std» и «Fld» (№2014612942).
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Параллельная версия тестовой задачи «граф вширь» (№2014612943).
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Параллельная версия тестовой задачи «квантовая хромодинамика» (№2014612941).
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Определение номера ядра вычислительной системы с использованием функции «Zip» (№2014612944).
2015 
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Принципы организации многозадачного режима работы параллельной потоковой вычислительной системы. Universum: Технические науки: электрон. научн. журн. 2015. № 10 (21). URL: http://7universum.com/ru/tech/archive/item/2673 (дата обращения: 09.11.2015).
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Исследование задачи молекулярной динамики на эмуляторе потоковой параллельной вычислительной системы. Universum: Технические науки: электрон. научн. журн. Змеев Д.Н. [и др.]. 2015. № 11 (22) . URL: http://7universum.com/ru/tech/archive/item/2761 (дата обращения: 26.11.2015).
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Эмуляция аппаратно-программных средств параллельной потоковой вычислительной системы «Буран». Информационные технологии. 2015. Т. 21. №10. С. 757-762.
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Потоковая модель вычислений как парадигма программирования будущего. Информатика и её применения. 2015. Т. 9. Вып. 4. С. 29-36.
2016 
 Климов А.В.
Свидетельство №2016610269. Визуализация распределения данных на основе функций хэширования. Дата приоритета 10.11.2015; дата регистрации 11.01.2016.
 Климов А.В.
Свидетельство №2016610267. Нахождение кратчайших путей из заданной вершины во все остальные вершины графа. Дата приоритета 10.11.2015; дата регистрации 11.01.2016.
 Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С.
Свидетельство №2016610119. Параллельная версия задачи «молекулярная динамика», вариант для эмулятора. Приоритет 10.11.2015; дата регистрации 11.01.2016.
 Змеев Д.Н., Левченко Н.Н., Окунев А.С., Климов А.В.
Свидетельство №2016610123. Параллельная версия задачи «молекулярная динамика», вариант для поведенческой модели. Приоритет 10.11.2015; дата регистрации 11.01.2016.
 

Труды, представленные на конференциях МЭС


2014 
 Змеев Д.Н., Левченко Н.Н., Окунев А.С., Климов А.В.
Архитектура планировщика процессора сопоставления ППВС «Буран»
 Климов А.В., Змеев Д.Н., Левченко Н.Н., Окунев А.С.
Способы регулирования вычислений в параллельной потоковой вычислительной системе
2016 
 Климов А.В., Окунев А.С.
Графический потоковый метаязык для асинхронного распределенного программирования
 Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л.
Вопросы применения и реализации потоковой модели вычислений
 Змеев Д.Н., Климов А.В., Левченко Н.Н.
Средства распределения вычислений в ППВС «Буран» и варианты реализации блока выработки хэш-функций
 

Избранные труды последних лет:

 Климов А.В. // Об одном методе получения быстродействующих параллельных алгоритмов. Семиотические аспекты формализации интеллектуальной деятельности. Всесоюзная школа-семинар "Боржоми-88". Тезисы докладов и сообщений. Москва, 1988, с. 53-56.
 A.M.Chepovsky, And.V.Klimov, Ark.V.Klimov, Yu.A.Klimov, A.S.Mishchenko, S.A.Romanenko, S.Yu.Skorobogatov // Partial Evaluation for Common Intermediate Language. Ershov Memorial Conference, 2003, p.171-177.
 Климов А.В., Окунев А.С., Степанов А.М. // Распределение вычислений по модулям в вычислительной системе массового параллелизма. "Информационные технологии в науке, образовании, телекоммуникации и бизнесе", материалы международной конференции IT+S&E`07, Ялта-Гурзуф, май 2007 г.
 Климов А.В., Окунев А.С., Степанов А.М. // Проблемы развития модели вычислений с управлением потоком данных и особенности ее архитектурной реализации. "Информационные технологии в науке, образовании, телекоммуникации и бизнесе", материалы международной конференции IT+S&E`07, Ялта-Гурзуф, май 2007 г.
 Климов А.В., Окунев А.С., Степанов А.М. // Иерархическая ассоциативная память в вычислительной системе массового параллелизма. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.87-92. Дивноморское, Россия, сентябрь 2007г.
 Климов А.В., Левченко Н.Н., Окунев А.С. // Аппаратно-программные средства преодоления неравномерной загрузки отдельных устройств в параллельной потоковой вычислительной системе. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.92-95. Дивноморское, Россия, сентябрь 2007г.
 Климов А.В., Окунев А.С., Степанов А.М. // Распределение вычислений и данных по процессорным модулям в вычислительной системе массового параллелизма. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.242-246. Дивноморское, Россия, сентябрь 2007г.:
 Акжолов М.Ж., Климов А.В., Лупенко А.И. // Особенности программирования для вычислительной системы потоковой архитектуры на примере двумерной задачи теплопроводности. "Научный вестник" МИРЭА, № 2 (3) 2007, с.12-20.

Статьи:

 А.В.Климов // Умножение плотных матриц на неоднородных высокопараллельных вычислительных системах (анализ коммуникацион-ной нагрузки) // Журнал «Информационные технологии», №3, 2008 (http://novtex.ru/IT/it2008/It308.pdf), с.24-31 статья на сервере
 А.В.Климов // Использование деревьев выбора для описания состояний в распараллеливающем компиляторе // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской научной конференции (21-26 сентября 2009 г., г. Новороссийск), с. 238-240. М.: Изд-во МГУ, 2009. внешняя ссылка на статью
 А.В.Климов, А.С.Окунев, Н.Н.Левченко // Автоматическое распараллеливание линейных циклов путем трансляции в язык потока данных // Труды XII Международного Семинара «Супервычисления и математическое моделирование», г. Саров, 11-15 октября 2010 года, РФЯЦ-ВНИИЭФ, Саров, 2011, с.208-215. статья на сервере
 А.В.Климов, А.С.Окунев, Н.Н.Левченко, А.Л.Стемпковский // Автоматическое распараллеливание для гибридной системы с потоковым ускорителем // Журнал «Информационные технологии и вычислительные системы», 2011 г., №2, c. 3-11 внешняя ссылка на статью
 М.Ж.Акжолов, А.В.Климов // Параллельный алгоритм сортировки слиянием в модели вычислений с уп-равлением потоком данных // Материалы международной конференции «Рахматулинские чтения», Бишкек, 26-27 мая 2011 г. (С. 76-81) статья на сервере
 A.V.Klimov // Transforming Affine Nested Loop Programs to Dataflow Computation Model // PSI’11: Ershov Informatic conference (the PSI conference series, 8-th edition), June 27 - July 11, 2011, Novosibirsk, 2011, pp.274-285. статья на сервере
 А.В.Климов, А.С.Окунев // Потоковая модель вычислений как путь к экзафлопсу // Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: экзафлопсное будущее» (19-24 сентября 2011 г., г. Новороссийск), с. 261-266. ISBN 978-5-211-06229-0 внешняя ссылка на статью
 Арк.В. Климов, Н.Н. Левченко, С.А. Окунев, А.Л. Стемпковский // Автоматическое распараллеливание последовательных программ для гибридной системы с ускорителем на основе потока данных // Параллельные вычислительные технологии (ПаВТ’2011): труды международной научной конференции (Москва, 28 марта – 1 апреля 2011 г.), 2011. внешняя ссылка на статью
 Д.Н. Змеев, Арк.В. Климов, А.С. Окунев, Н.Н. Левченко // Реализация параллельной модели вычислений с управлением потоком данных на кластерных суперкомпьютерах // Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: все грани параллелизма» (23-28 сентября 2013 г., г. Новороссийск) - М.: Изд-во МГУ, 2013, с. 375-377. внешняя ссылка на статью
 А.В. Климов, Н.Н.Левченко, А.С.Окунев, А.Л.Стемпковский // Суперкомпьютеры, иерархия памяти и потоковая модель вычислений // Программные системы: теория и приложения: электрон. научн. журн. 2014. T. 5, № 1(19), с. 15–36. внешняя ссылка на статью
 A.V. Klimov // Construction of exact polyhedral model for affine programs with data dependent conditions // Proc. of the Forth International Valentine Turchin Workshop on Metacomputation, META'14, (June 29 – July 3, 2014), pages 136--160. University of Pereslavl, 2014. внешняя ссылка на статью
 А.В. Климов, Т.Г. Козлова // Опыт программирования параллельной aсинхронной молекулярной динамики для потокового супервычислителя ППВС «БУРАН» // XV международная конференция «Супервычисления и математическое моделирование». Тезисы, г. Саров, 13-17 октября 2014, с. 79--80. статья на сервере
 Д. Н. Змеев, А. В. Климов, Н. Н. Левченко, А. С. Окунев // Безбарьерное программирование в парадигме потоков данных на примере задачи молекулярной динамики // Национальный суперкомпьютерный форму НСКФ-2014, 25-27 ноября 2014 г., г. Переславль-Залесский. статья на сервере
 А.В. Климов, Н.Н. Левченко, А.С. Окунев, Д.Н. Змеев // Dataflow – парадигма программирования будущего // Тезисы доклада, семинар "Посткремниевые вычисления", 24 ноября 2014 г., г. Переславль-Залесский. статья на сервере
 Arkady Klimov // Yet Another Way of Building Exact Polyhedral Model for Weakly Dynamic Affine Programs // submitted to IMPACT'15, Jan, 19, 2015, Amsterdam (however not accepted) внешняя ссылка на статью