ИСТИНА

Зорин Даниил Александрович пользователь

Соавторы: Волканов Д.Ю., Подымов В.В., Захаров В.А., Коннов И.В., Костенко В.А., Глонина А.Б., Антоненко В.А., Пашков В.Н., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В., Вдовин П.М., Алексеев А.Г. показать полностью..., Алексеенко В.А., Герасёв А.В.

31 статья, 9 докладов на конференциях, 3 НИР, 2 свидетельства о регистрации прав на ПО, 4 научного отчёта, 1 награда, 1 диссертация

Количество цитирований статей в журналах по данным Web of Science: 11, Scopus: 19

IstinaResearcherID (IRID): 397781

Деятельность

• Статьи в журналах

  • 
    • 2021 Струйная цементация для устройства фундаментов на многолетнемерзлых грунтах (Jet-grouting for the construction of foundation on permafrost soils)
    • Алексеев Андрей Григорьевич, Зорин Дмитрий Викторович, Алексеенко Валентин Андреевич
    • в журнале Промышленное и гражданское строительство, № 08, с. 27-32 DOI
  • 
    • 2015 A Combined Toolset for the Verification of Real-Time Distributed Systems
    • Konnov I., Podymov V.V., Volkanov D.Y., Zakharov V.A., Zorin D.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 6, с. 325-335 DOI
  • 
    • 2015 Simulated annealing algorithm for job shop scheduling on reliable real-time systems
    • Zorin D.A., Kostenko V.A.
    • в журнале Communications in Computer and Information Science, том 509, с. 31-46 DOI
  • • 2015 Комбинированное средство верификации распределённых вычислительных систем реального времени
    • Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
    • в журнале Программирование, № 6, с. 72-86
  • 
    • 2014 Algorithm to Simulate Annealing in Problems of Multiprocessor Scheduling
    • Zorin D.A., Kostenko V.A.
    • в журнале Automation and Remote Control, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 75, № 10, с. 1790-1801 DOI
  • 
    • 2014 Estimating the Convergence of a Simulated Annealing Algorithm for the Problem of Constructing Multiprocessor Schedules
    • Zorin D.A.
    • в журнале Moscow University Computational Mathematics and Cybernetics, издательство Allerton Press Inc. (United States), том 38, № 2, с. 83-90
  • • 2014 How to make a simple tool for verification of real-time systems
    • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 48, № 7, с. 534-542 DOI
  • • 2014 Алгоритм имитации отжига для решения задач построения многопроцессорных расписаний
    • Зорин Д.А., Костенко В.А.
    • в журнале Автоматика и телемеханика, № 10, с. 97-110
  • • 2014 Оценка сходимости алгоритма имитации отжига для задачи построения многопроцессорных расписаний
    • Зорин Д.А.
    • в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 2, с. 79-89
  • • 2013 Co-design of Real-time Embedded Systems under Reliability Constraints
    • Zorin D.A., Kostenko V.A.
    • в журнале IFAC Proceedings Volumes, издательство Elsevier Ltd (London), том 11, № 1, с. 424-428
  • 
    • 2012 Algorithm for Synthesis of Real-Time Systems under Reliability Constraints
    • Zorin D.A., Kostenko V.A.
    • в журнале Journal of Computer and Systems Sciences International, издательство Maik Nauka/Interperiodica Publishing (Russian Federation), том 51, № 3, с. 410-417
  • 
    • 2012 Алгоритм синтеза архитектуры вычислительной системы реального времени с учетом требований к надежности
    • Зорин Д.А., Костенко В.А.
    • в журнале Известия Российской академии наук. Теория и системы управления, № 2, с. 76-83
  • • 2012 Как разработать простое средство верификации систем реального времени
    • Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 19, № 6, с. 45-56
  • • 2011 Исследование применимости моделей оценки надёжности для разработки программного обеспечения с открытым исходным кодом
    • Волканов Д.Ю., Зорин Д.А.
    • в журнале Прикладная информатика, № 2, с. 26-32

• Статьи в сборниках

  • 
    • 2014 Job Shop Scheduling and Co-design of Real-Time Systems with Simulated Annealing
    • Zorin D.A., Kostenko V.A.
    • в сборнике Proceedings of the 3rd International Conference on Operations Research and Enterprise Systems, место издания Angers, France, с. 17-26 DOI
  • • 2013 An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts
    • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zakharov V.A., Zorin D.A., Glonina A.B.
    • в сборнике Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint, место издания Saint Petersburg State Polytechnical University Petersburg, Russia, с. 32-46
  • • 2013 Convergence and Accuracy Measurement of Scheduling on Multiprocessors with Simulated Annealing
    • Zorin D.A.
    • в сборнике VII Moscow International Conference on Operations Research (ORM2013). Proceedings, место издания MAKS Press Moscow, том 1, с. 94-97
  • • 2013 DYANA: HLA-based distributed real-time embedded systems simulation tool
    • Antonenko V.A., Chemeritskiy E.V., Glonina A.B., Konnov I.V., Pashkov V.N., Podymov V.V., Savenkov K.O., Smeliansky R.L., Volkanov D.Yu, Zakharov V.A., Zorin D.A.
    • в сборнике Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, место издания IEEE Press, с. 4012-4013
  • • 2013 DYANA: an integrated development environment for simulation and verification of real-time avionics systems
    • Antonenko V.A., Chemeritsky E.V., Glonina A.B., Konnov I.V., Pashkov V.N., Podymov V.V., Savenkov K.O., Smeliansky R.L., Vdovin P.M., Volkanov D.Yu, Zakharov V.A., Zorin D.A.
    • в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany
  • • 2013 Scheduling Signal Processing Tasks for Antenna Arrays with Simulated Annealing
    • Zorin D.A.
    • в сборнике Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE, место издания National Research Technical University Kazan, Russia: Kazan, с. 122-127
  • • 2013 Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA
    • Волканов Д.Ю., Антоненко В.А., Герасёв А.В., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В.
    • в сборнике Сборник докладов шестой всероссийской научно-практической конференции "Имитационное моделирование. Теория и практика" (ИММОД-2013), место издания Издательство "ФЭН" Академии наук РТ, Казань, том 1, с. 322-326
  • • 2013 Преобразование расписаний в итерационных алгоритмах структурного синтеза вычислительных систем
    • Зорин Д.А.
    • в сборнике XX Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ, с. 24-25
  • • 2012 Co-design of Real-time Embedded Systems under Reliability Constraints
    • Zorin D., Kostenko V.
    • в сборнике Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS-2012), место издания Brno, Czech Republic, с. 392-396 DOI
  • • 2012 On the Designing of Model Checkers for Real-Time Distributed Systems
    • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
    • в сборнике 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012, место издания Novgorod, Russia, с. 72-81
  • • 2012 Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems
    • Zorin D.A., Podymov V.V.
    • в сборнике Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, с. 94-101
  • • 2012 Инструментальная система структурного синтеза вычислительных систем реального времени и построения расписаний
    • Зорин Д.А.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Макс-ПРЕСС Москва, том 13, с. 117-124
    • редакторы Королев Л.Н., Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич
  • • 2012 Методика использования системы имитационного моделирования РВС РВ, базирующейся на стандарте HLA
    • Антоненко В.А., Вдовин П.М., Волканов Д.Ю., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Макс-ПРЕСС Москва, том 13, с. 105-116
    • редакторы Королев Л.Н., Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич
  • • 2012 О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ
    • Захаров В.А., Зорин Д.А., Подымов В.В., Коннов И.В., Волканов Д.Ю.
    • в сборнике Труды международной научной конференции Моделирование-2012, место издания Институт проблем моделирования в энергетике им. Г.Е. Пухова Киев, Украина, с. 199-202
  • • 2012 Сравнение различных стратегий применения операций в алгоритме имитации отжига для задачи построения расписаний для многопроцессорных систем
    • Зорин Д.А.
    • в сборнике "Параллельные вычисления и задачи управления" PACO'2012. Шестая международная конференция, Москва, 24-26 окт. 2012 г. Труды: в 3 т, место издания ИПУ РАН Москва, том 1, с. 278-291
  • • 2011 Способ представления и преобразования расписаний в итерационных алгоритмах структурного синтеза вычислительных систем реального времени
    • Зорин Д.А.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, том 12, с. 163-171
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич, Мальковский Михаил Георгиевич
  • • 2009 Исследование применимости моделей оценки надёжности для разработки программного обеспечения с открытым исходным кодом
    • Волканов Д.Ю., Зорин Д.А.
    • в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва, том 10, с. 125-134
    • редакторы Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич

• Доклады на конференциях

  • • 2014 Job shop scheduling and co-design of real-time systems with simulated annealing (Устный)
    • Авторы: Kostenko V., Zorin D.
    • 3rd International Conference on Operations Research and Enterprise Systems. — Angers, France, 2014
  • • 2012 Co-design of Real-time Embedded Systems under Reliability Constraints (Устный)
    • Авторы: Костенко В.А., Зорин Д.А.
    • PDeS-2012, Brno, Czech Republic, Чехия, 2012
  • • 2012 On the designing of model checkers for real-time distributed systems (Устный)
    • Авторы: Коннов И.В., Подымов В.В., Yu D.V., Захаров В.А., Зорин Д.А.
    • Семинар "Программные семантики, спецификации и верификация (PSSV)", Нижний Новгород, 2012
  • • 2012 Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems (Устный)
    • Авторы: Подымов В.В., Зорин Д.А.
    • Syrcose-2012, Пермь, 2012
  • • 2012 О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВС РВ (Устный)
    • Авторы: Зорин Д.А., Подымов В.В., Волканов Д.Ю., Захаров В.А., Коннов И.В.
    • Моделирование-2012, Киев, 2012
  • • 2012 Сравнение различных стратегий применения операций в алгоритме имитации отжига для задачи построения расписаний для многопроцессорных систем
    • Автор: Зорин Д.А.
    • PACO, Москва, Россия, 2012
  • • 2012 Трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ (Устный)
    • Авторы: Подымов В.В., Зорин Д.А.
    • Ломоносов-2012, Москва, Россия, 2012
  • • 2011 Метод синтеза архитектуры вычислительной системы реального времени при ограничениях на надежность
    • Автор: Зорин Д.А.
    • XVIII Международная Конференция студентов, аспирантов и молодых ученых "Ломоносов-2011", г. Москва, факультет журналистики МГУ имни М.В. Ломоносова, Россия, 11-15 апреля 2011
  • • 2010 Исследование применимости моделей оценки надёжности для разработки программного обеспечения с открытым исходным кодом
    • Автор: Зорин Д.А.
    • Международная конференция студентов, аспирантов и молодых ученых “Ломоносов 2010", Москва, МГУ имени М.В. Ломоносова, Россия, 2010

• НИРы

  • • 23 сентября 2014 - 31 декабря 2016 Исследование и разработка средств управления ИТ-инфраструктурой в проводных корпоративных и ведомственных компьютерных сетях на основе технологии программно-конфигурируемых сетей (ПКС, SDN) и виртуализации сетевых сервисов (NFV)
    • Лаборатория вычислительных комплексов
    • Руководитель: Костенко В.А. Ответственный исполнитель: Бахмуров А.Г. Участники НИР: Алтухов В.С., Антоненко В.А., Балаханов В.А., Балашов В.В., Вдовин П.М., Волканов Д.Ю., Герасёв А.В., Глонина А.Б., Зорин Д.А., Зотов И.А., Иванова Н.А., Капитонова А.П., Кибитова В.Н., Кованько В.В., Косачева Е.В., Косачева С.А., Махова В.Н., Мирошникова О.А., Морковник Д.А., Цепов Д.А., Чистолинов М.В.
  • • 1 марта 2013 - 28 августа 2013 создание прототипа отечественной пкс платформы управления сетевыми ресурсами и потоками с помощью сетевой операционной системы (сос) на основе анализа и оценки существующих сетевых операционных систем для пкс сетей и выбора одной из них для последующего
    • Лаборатория вычислительных комплексов
    • Руководитель: Смелянский Р.Л. Участники НИР: Алтухов В.С., Балаханов В.А., Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Захаров В.А., Зорин Д.А., Капитонова А.П., Косачева С.А., Мирошникова О.А., Носеевич Г.М., Пашков В.Н., Самойлов М.Н., Сапожников А.В., Сковорода А.А., Чемерицкий Е.В., Чистолинов М.В.
  • • 20 сентября 2010 - 15 ноября 2012 Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)
    • Лаборатория вычислительных комплексов
    • Руководитель: Смелянский Р.Л. Участники НИР: Антоненко В.А., Балаханов В.А., Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Гамаюнов Д.Ю., Герасёв А.В., Зайцев Д.А., Зайцев Д.А., Зайцев Д.А., Захаров В.А., Зорин Д.А., Козлов Д.Д., Козлов Д.Д., Коннов И.В., Косачева С.А., Костенко В.А., Наградов Е.А., Носеевич Г.М., Пашков В.Н., Подымов В.В., Прус В.В., Савенков К.О., Савенков К.О., Сапожников А.В., Сахаров Ф.В., Сахаров Ф.В., Сахаров Ф.В., Чемерицкий Е.В., Чистолинов М.В., Шалимов А.В., Шестов П.Е., Шестов П.Е., Ющенко Н.В.

• Свидетельства о регистрации прав на программное обеспечение

  • • 2014 Программный пакет "Синтез" (тип не указан)
    • Автор: Зорин Даниил Александрович
    • #2014613583, 31 марта
  • • 2014 Программный комплекс "Синтез спецвычислителя" (тип не указан)
    • Автор: Зорин Даниил Александрович
    • #2014611322, 30 января

• Отчеты

  • • 2012 Отчёт о научно-исследовательской работе «Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)» (Этап 5)
    • Автор: Зорин Д.А.
    • #5, 400 с.
  • • 2012 Отчёт о научно-исследовательской работе «Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)» (Этап 4)
    • Автор: Зорин Д.А.
    • #4, 160 с.
  • • 2011 Отчёт о научно-исследовательской работе «Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)» (Этап 3)
    • Автор: Зорин Д.А.
    • #3, 161 с.
  • • 2011 Отчёт о научно-исследовательской работе «Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)» (Этап 2)
    • Автор: Зорин Д.А.
    • #2, 181 с.

• Награды и премии

  • • 2015 Стипендия Президента Российской Федерации для молодых ученых и аспирантов
    • Лауреат: Зорин Д.А.
    • Министерство образования и науки, Россия

• Диссертация

  • • 2014 Синтез архитектур вычислительных систем реального времени с учетом ограничений на время выполнения и требований к надежности
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Зорин Д.А.
    • Научный руководитель: Костенко В.А., к.т.н., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
    • Организация, в которой выполнялась работа: МГУ имени М.В.Ломоносова, факультет вычислительной математики и кибернетики