Харитонов Дмитрий Иванович
кандидат технических наук
старший научный сотрудник
Отдел поддержки научных сервисов и высокопроизводительных вычислений (ОПНСиВВ)
403
2-320-702
2-60
demiurg@iacp.dvo.ru
старший научный сотрудник
руководитель Центра коллективного пользования "Дальневосточный вычислительный ресурс" (cc.dvo.ru, http://iacp.dvo.ru/structure/collective/centr3)
область интересов: параллельные вычисления, сети Петри, верификация программ, теория языков программирования, многопроцессорные вычислительные системы, компьютерные сети и протоколы
- 2018. Особенности параллельной реализации алгоритма расчета нестационарных течений газа через пористы среды с использованием графических ускорителей
- 2012. Расширение языка C++ для спецификации объектов, интерфейсов классов, а также принципов геометрической декомпозиции.
- 2016. Формализация иерархии имён в языках объектно-ориентированного программирования
- 2016. Харитонов Д.И., Тарасов Г.В., Леонтьев Д.В., Парахин Р.В., Грибова В.В. Текущее состояние и перспективы развития центра коллективного пользования «Дальневосточный Вычислительный Ресурс» // Программные системы: теория и приложения. 2016. Т. 7. №4(31). С. 197–208.
- 2013. Метод автоматической генерации скриптов в СУБД
- 2022. Леонтьев Д.В., Харитонов Д.И. Построение сокращённого дерева достижимости для моделей программ в терминах сетей Петри // Системы и средства информатики. 2022. Т. 32, №2. С. 23-35. https://doi.org/10.14357/08696527220203.
- 2018. Формирование электронных коллекций научных данных
- 2011. Об одном представлении функции в модели императивной программы, заданной сетями Петри
- 2013. Исследование производительности работы памяти в NUMA-узлах вычислительного кластера.
- 2010. Lutsenko N.A., Miroshnichenko T.P., Odyakova D.S., Kharitonov D.I. Implementation of Algorithm for Calculation of Gas Flow through Porous Media with Heat Sources. First Russia and Pacific Conference on Computer Technology and Applications (RPC 2010), Vladivostok, September 6-9, 2010., pp. 198-201
- 2018. Модель обработки данных вычислительных экспериментов
- 2018. Imperative Programs Behavior Simulation in Terms of Compositional Petri Nets
- 2015. Method of Sample Models of Program Construction in Terms of Petri Nets
- 2017. О построении упрощенной модели библиотеки MPI в терминах сетей Петри
- 2012. Система WBS как расширенный инструмент управления вычислительной средой
- 2018. The features of parallel program of computation of unsteady gas flows through a porous media using graphical accelerator
- 2014. Dmitriy Kharitonov, George Tarasov. Modeling function calls in program control flow in terms of Petri Nets // ACSIJ Advances in Computer Science: an International Journal, Vol. 3, Issue 6, No.12, November 2014. P. 82-91.
- 2018. Программная реализация метода генерации сетей Петри большого размера
- 2018. CUDA-версия параллельного алгоритма расчета нестационарных течений газа через пористые среды
- 2017. Харитонов Д.И., Тарасов Г.В., Леонтьев Д.В., Парахин Р.В., Грибова В.В. Перспективы развития ЦКП «Дальневосточный вычислительный ресурс» // Всероссийская конференция «Центры коллективного пользования и уникальные научные установки организаций, подведомственных ФАНО России», 25-27 октября 2017 года. Москва, ФАНО, 2017. 5 c.
- 2010. Харитонов Д.И., Одякова Д.С., Тарасов Г.В., Голенков Е.А. Двухуровневое формирование заданий для автономных подводных роботов // Подводные исследования и робототехника. 2010, №1(9). С. 14-22.
- 2011. Луценко Н.А., Мирошниченко Т.П., Одякова Д.С., Харитонов Д.И. Параллельная реализация алгоритма для расчета двумерных нестационарных течений газа через пористые объекты с источниками тепловыделения // Вычислительные технологии – Том 16, № 2, 2011., с.98-110
- 2018. Обработка выходных данных вычислительных экспериментов, варианты визуализации данных
- 2018. D. Kharitonov, G. Tarasov, E. Golenkov. Modeling of Object-Oriented Programs with Petri Net Structured Objects // Computing and Informatics. - 2017. - No. 5, Vol. 36. - P. 1063-1087. doi: 10.4149/cai_2017_5_1063.
- 2015. Об одном подходе к использованию базы данных для хранения исходных текстов программ
- 2014. Анализ систем управления запуском заданий на кластере.
- 2018. Моделирование предметной области для формирования электронных коллекций
- 2016. Моделирование наследования при построении модели объектно-ориентированной программы в терминах сетей Петри
- 2018. The data processing model of computational experiments