| Дмитрий А. Зайцев | Dmitry A. Zaitsev |
Воробiєнко П.П., Зайцев Д.А., Гуляєв К.Д. Спосiб передачi даних в мережi iз замiщенням мережного та транспортного рiвнiв унiверсальною технологiєю канального рiвня.- Патент на корисну модель № 35773, Зареєстровано в Державному реєстрi патентiв України на винаходи 10.10.2008.
Guliaiev K.D., Zaitsev D.A., Litvin D.A., Radchenko E.V. Simulating E6 Protocol Networks using CPN Tools.- Proc. of International Conference on IT Promotion in Asia, August 22-26, 2008, Tashkent (Uzbekistan), P. 203-208.
Zaitsev D.A., Sakun A.L. An Evaluation of MPLS Efficacy using Colored Petri Net Models // Proc. of of International Middle Eastern Multiconference on Simulation and Modelling (MESM'2008), Amman (Jordan), August 26-28, 2008.
Zaitsev D.A., Shmeleva T.R. Hypercube communication structures analysis via parametric Petri nets // Proceedings of 24th UK Performance Engineering Workshop (UKPEW 2008), 3-4 July 2008, Department of Computing, Imperial College London, p. 358-371.
Bereznyuk M.V., Gupta K.K., Zaitsev D.A. Effectiveness of Bluetooth Address Space Usage // Proceedings of 20th International Conference, Software & Systems Engineering and their Applications (ICSSEA 2007), Paris 4-6 December 2007.
Ворибиенко П.П., Зайцев Д.А., Нечипорук О.Л. Всемирная сеть Ethernet? // Зв'язок, № 5, 2007. - с. 14-19.
Зайцев Д.А., Шмелёва Т.Р. Оценка характеристик сетей Ethernet с помощью параметрических моделей Петри // Зв'язок, № 4, 2007. - с. 62-67.
Зайцев Д.А., Литвин Д.А. Оценка производительности сетей с коммутацией меток в моделирующей системе NS // Збiрник Наукових праць ОНАЗ iм. О.С. Попова, № 1, 2007. - с. 25-31.
Зайцев Д.А., Шинкарчук Т.Н. Моделирование телекоммуникационных сетей в системе NS // Збiрник Наукових праць ОНАЗ iм. О.С. Попова, № 2, 2006. - с. 35-43.
Zaitsev D.A., Shmeleva T.R. Switched Ethernet Response Time Evaluation via Colored Petri Net Model // Proc. of International Middle Eastern Multiconference on Simulation and Modelling, August 28-30, 2006. - Alexandria (Egypt). - 2006. - P. 68-77.
Зайцев Д.А., Сакун А.Л. Исследование эффективности технологии MPLS с помощью раскрашенных сетей Петри // Зв'язок. - 2006, №5. - C. 49-55.
Зайцев Д.А. Верификация протокола TCP в процессе последовательной композиции модели Петри // Зв'язок. - 2006, Т. 64, №4. - С. 49-58.
Зайцев Д.А. О реализации композиционных алгоритмов решения систем линейных уравнений // Управляющие системы и машины. - 2006, №3. - С. 32-41.
Зайцев Д.А. Последовательная композиция кланов линейных систем // Системнi дослiдження та iнформацiйнi технологiї. - 2006, №2. - С. 121-137.
Zaitsev D.A., Zaitsev I.D. Verification of Ethernet protocols via parametric composition of Petri net // INCOM'2006: 12th IFAC/IFIP/IFORS/IEEE/IMS Symposium Information Control Problems in Manufacturing, May 17-19 2006, Saint-Etienne, France, p. 261-267.
Зайцев Д.А., Березнюк М.В. Исследование эффективности использования адресного пространства протокола Bluetooth // Радиоэлектроника. Информатика. Управление. - 2006, №1. - C. 57-63.
Зайцев Д.А., Чорногала Е.Я. Синтез модели Петри и верификация протокола электронной коммерции IOTP // Радиотехника: Всеукр. межведомств. науч.-техн. сб. 2006, Вып. 144. - С. 28-35.
Зайцев Д.А. Передаточная функция сети Петри // Искусственный интеллект. - 2006, №1. - С. 23-30.
Зайцев Д.А. Последовательная композиция моделей Петри телекоммуникационных протоколов // Зв'язок. - 2006, Т. 61, №1. - С. 45-50.
Зайцев Д.А. Композиционный анализ сетей Петри // Кибернетика и системный анализ. - 2006, № 1. - С. 143-154.
Зайцев Д.А. Синтез моделей Петри телекоммуникационных протоколов // Труды Одесской национальной академии связи им. А.С.Попова. - 2005, №2. - С. 36-42.
Зайцев Д.А., Шмелёва Т.Р. Основы построения параметрических моделей Петри коммутируемых сетей // Моделирование и компьютерная графика: Материалы 1-й международной научно-технической конференции, 4-7 октября 2005, Донецк, ДонНТУ, 2005, с.207-215.
Зайцев Д.А., Шмелёва Т.Р. Измерение характеристик одноуровневой коммутируемой сети с помощью параметрической модели Петри // Радиотехника: Всеукр. межведомств. науч.-техн. сб. 2005, Вып. 142, c. 40-47.
Зайцев Д.А., Шмелёва Т.Р. Параметрическая модель Петри одноуровневой коммутируемой сети // Труды Одесской национальной академии связи им. А.С.Попова, № 1, 2005, с. 33-40.
Зайцев Д.А. Программное обеспечение для декомпозиции двудольных орграфов // Научные труды Донецкого государственного технического университета, серия "Информатика, кибернетика и вычислительная техника", Вып. 93, 2005, с. 60-70.
Zaitsev D.A. Functional Petri Nets , Universite Paris-Dauphine, Cahier du Lamsade 224 Avril 2005, 62p.
Зайцев Д.А. Решение линейных систем с помощью декомпозиции // Системнi дослiдження та iнформацiйнi технологiї, 2005, №2, с. 131-143.
Zaitsev D.A. Verification of Protocol BGP via Decomposition of Petri Net Model into Functional Subnets // Proceedings of the Design, Analysis, and Simulation of Distributed Systems Symposium, April 2-8, 2005, San Diego, USA, c. 72-78.
Зайцев Д.А. Измерительные фрагменты в моделях Петри телекоммуникационных сетей // Зв'язок №2(54), 2005, с. 65-71.
Зайцев Д.А. Верификация телекоммуникационных протоколов с помощью декомпозиции сетей Петри // Зв'язок №1(53), 2005, с. 41-47.
Зайцев Д.А. Решение фундаментального уравнения сетей Петри в процессе композиции функциональных подсетей // Искусственный интеллект, № 1, 2005, с. 59-68.
Зайцев Д.А. Последовательная композиция функциональных подсетей // Труды Одесской национальной академии связи им. А.С.Попова, № 3, 2004, с. 33-40.
Зайцев Д.А. Декомпозиция сетей Петри // Кибернетика и системный анализ, №5, 2004, с. 131-140.
Zaitsev D.A. An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN // Proceedings of Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 8-11, 2004, Aarhus, Denmark, p. 157-167.
Zaitsev D.A. Verification of protocol TCP via decomposition of Petri net model into functional subnets // Proceedings of the Poster session of 12th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, October 5-7, 2004, Volendam, Netherlands, p. 73-75.
Zaitsev D.A. Solving the fundamental equation of Petri net using the decomposition into functional subnets // 11th Workshop on Algorithms and Tools for Petri Nets, September 30 - October 1, 2004, University of Paderborn, Germany, p. 75-81.
Зайцев Д.А. Ускорение решения линейных систем с помощью декомпозиции на кланы // Искусственный интеллект. Интеллектуальные и многопроцессорные системы-2004. Материалы международной научно-технической конференции. Т.1. Таганрог: Изд-во ТРТУ, 2004, с.259-264.
Zaitsev D.A. Verification of Protocol ECMA with Decomposition of Petri Net Model // Proceedings of The International Conference on Cybernetics and Information Technologies, Systems and Applications, Orlando, Florida, USA, July 21-25, 2004.
Zaitsev D.A. Decomposition-based calculation of Petri net invariants // Proceedings of Workshop on Token based computing of the 25-th International conference on application and theory of Petri nets, Bologna, Italy, June 21-25, 2004, c. 79-83.
Zaitsev D.A. Switched LAN Simulation by Colored Petri Nets // Mathematics and Computers in Simulation, vol. 65, no. 3, 2004, p. 245-249.
Зайцев Д.А. Инварианты временных сетей Петри // Кибернетика и системный анализ, Том 40, № 2, 2004, с. 92-106.
Зайцев Д.А., Шмелёва Т.Р. Моделирование коммутируемой локальной сети раскрашенными сетями Петри // Зв'язок, № 2(46), 2004, с. 56-60.
Зайцев Д.А. Инвариантность модели Петри протокола TCP // Труды Одесской национальной академии связи им. А.С.Попова, № 2, 2004, с. 19-27.
Зайцев Д.А. К вопросу о вычислительной сложности метода Тудика // Искусственный интеллект, № 1, 2004, с. 29-37.
Зайцев Д.А. Теоретическое обоснование метода Тудика // Научные труды Донецкого государственного технического университета, серия "Информатика, кибернетика и вычислительная техника", Вып. 74, 2004, с. 286-293.
Зайцев Д.А. Декомпозиция протокола ECMA // Радиотехника: Всеукр. межведомств. науч.-техн. сб. 2004, Вып. 138, c. 75-82.
Зайцев Д.А. Верификация протоколов Ethernet // Труды Одесской национальной академии связи им. А.С.Попова, № 1, 2004, с. 42-48.
Зайцев Д.А. Инварианты функциональных подсетей // Труды Одесской национальной академии связи им. А.С.Попова, № 4, 2003, с. 57-63.
Zaitsev D.A. Switched LAN simulation by colored Petri nets // Proceedings of European Simulation and Modelling Conference, Naples, Italy, October 27-29, 2003, p. 485-489.
Zaitsev D.A. Formal grounding of Toudic method // Proceedings of the 10th Workshop "Algorithms and Tools for Petri Nets".- Eichstaett, Germany, September 26-27, 2003, p. 184-190.
Zaitsev D.A. Subnets with input and output places // Petri Net Newsletter, Vol. 64, April 2003, p. 3-6. Cover Picture Story.
Зайцев Д.А., Сарбей В.Г., Слепцов А.И. Синтез функций непрерывной логики заданных таблично // Кибернетика и системный анализ, № 2, 1998, с. 47-56.
Зайцев Д.А., Слепцов А.И. Уравнение состояний и эквивалентные преобразования временных сетей Петри // Кибернетика и системный анализ, № 5, 1997, с. 59-76.
Зайцев Д.А., Шалдырван Г.Г. Технология разработки компьютерных обучающих систем // Материалы региональной научно-методической конференции, Донецк, ДонГТУ, 1994, с.243-245.
Слепцов А.И., Зайцев Д.А. Учебно-производственная программная система оперативного сетевого планирования и управления "Опера" // Тезисы Докладов четырнадцатой научно-методической конференции - Донецк, ДПИ, 1992, с.8.
Слепцов А.И., Зайцев Д.А. Система оперативного сетевого планирования и управления "Опера" // Интеграция АСУТП и тренажерных устройств: Тезисы докладов Всесоюзной научно-технической конференции - Москва, 1991, с.53-54.
Зайцев Д.А. Решение задач оперативного управления дискретным производством на сетевых моделях Петри (автореферат диссертации) // Киев, Академия наук Украины, Институт кибернетики имени В.М.Глушкова, 1991, 12с.
Слепцов А.И., Зайцев Д.А., Тельной В.А. Автоматизированное рабочее место диспетчера машиностроительного предприятия // Системы Программного обеспечения решения задач оптимального планирования: Тезисы докладов Одиннадцатого Всесоюзного симпозиума - Москва, 1990, с.170-171.
Слепцов А.И., Зайцев Д.А., Миланин А.А. Графическая система моделирования в интегрированной системе управления дискретным производством // Математическое и имитационное моделирование в системах планирования и управления: Тезисы докладов Всесоюзной конференции - Чернигов, 1990, с.154-155.
Слепцов А.И., Зайцев Д.А., Миланин А.А. Графическая система моделирования дискретных процессов // Математическое обеспечение систем с машинной графикой: Тезисы докладов седьмого научно-технического семинара - Тюмень, 1990, с.32.
Слепцов А.И., Зайцев Д.А. Машинная графика в системе оперативного управления приборостроительным предприятием // Математическое обеспечениесистем с машинной графикой: Тезисы докладов седьмого научно-техническогосеминара - Тюмень, 1990, с.33.
Зайцев Д.А., Слепцов А.И. Визуализация производственных процессов в инструментальной системе диспетчера машиностроительного предприятия // Автометрия, 1990, № 4 - с.90-93.
Слепцов А.И., Зайцев Д.А. Машинная графика в системе оперативного планирования и дипетчирования приборостроительного предприятия // Машинная графика-89: Тезисы докладов пятой Всесоюзной конференции, Новосибирск, 1989, с.157.
Слепцов А.И., Зайцев Д.А. Р-технологии моделирования параллельных структур и процессов // Программно-методические и программно-технические комплексы САПР и АСТПП: Тез. докл. Начно-технической конференции. - Ижевск, 1988, с.62-63.
Зайцев Д.А., Дорошук А.В. Конспект лекций по курсу Сетевые операционные системы: Для подготовки бакалавров и магистров по направлению "Телекоммуникации" // Одесса: ОНАС им. А.С. Попова, 2007. - 68 с.
Вороной С.М., Зайцев Д.А., Шмелёва Т.Р. Трассировка процессов функционирования сетевых операционных систем: Методические указания к практическим занятиям по курсу Операционные системы // Донецк: ИПИИ, 2007. - 42 с.
Зайцев Д.А. Конспект лекций по курсу "Сетевые технологии": Для подготовки бакалавров и магистров по направлению "Телекоммуникации" // Одесса: ОНАС им. А.С. Попова, 2007. - 55 с.
Зайцев Д.А., Шмелёва Т.Р. Шнайдер С.П. Методические указания к практическим занятиям и лабораторным работам по курсу "Сетевые технологии": Для подготовки бакалавров и магистров по направлению "Телекоммуникации" // Одесса: ОНАС им. А.С. Попова, 2007. - 54 с.
Зайцев Д.А. Сети Петри и моделирование систем: Методические указания к практическим занятиям и лабораторным работам для подготоаки магистров по направлению "Телекоммуникации" // Одеcса: ОНАC им. А.С. Попова, 2007. - 42 с. Укр. яз.
Zaitsev D.A., Shmeleva T.R. Simulating Telecomunication Systems with CPN Tools: Students' book // Odessa: ONAT, 2006. - 60 p. Русский, Английский, Французский, Арабский.
Математические основы теории телекоммуникационных систем / Под общей редакцией В.В. Поповского. - Харьков ТОВ "Компания СМИТ", 2006. - 564 с. (авторы: В.В. Поповский, С.О. Сабурова, В.Ф. Олейник, Ю.И. Лосев, Д.В. Агеев, Т.Г. Калекина, А.В. Лемешко, Д.А. Зайцев, О.Ю. Евсеева, Ю.Ю. Коляденко, И.В. Стрелковская, Л.О. Титаренко) Укр. яз.
Зайцев Д.А. Математические модели дискретных систем: Учебное пособие // Одесса: ОНАС им. А.С.Попова, 2004, 40с. Укр. яз.
Слепцов А.И., Григорьев А.В., Зайцев Д.А. Методические указания к курсовому проектированию операционных систем // Донецк, ДонГТУ, 1994, 29с.
Слепцов А.И., Григорьев А.В., Зайцев Д.А. Методические указания по курсу "Теория операционных систем" // Донецк, ДонГТУ, 1994, 31с.
Зайцев Д.А. Конспект лекций по курсу "Основы дискретной математики". Часть I: Теория графов // Донецк: ДонГТУ, 1994, 35с.
Зайцев Д.А. Конспект лекций по курсу "Основы дискретной математики". Часть II: Алгебраические структуры // Донецк: ДонГТУ, 1994, 35с.
Слепцов А.И., Зайцев Д.А. Методические материалы к программному обеспечению системы оперативного сетевого планирования и управления "Опера" // Донецк, ДПИ, 1991, 68 с.
Слепцов А.И., Зайцев Д.А., Миланин А.А. Методические материалы к программной системе моделирования дискретных параллельных процессов, встраивания в автоматизированные системы и обучения специалистов // Донецк, ДПИ, 1991, 59 с.
| Дмитрий А. Зайцев | Dmitry A. Zaitsev |