Dmitry A. Zaitsev  Aieo?ee A. Caeoaa 

Publications (abstracts): scientific , textbooks

Vorobiyenko P.P., Zaitsev D.A., Guliaiev K.D. Way of data transmission in network with substitution of network and transport layers by universal technology of channel layer.- Patent on utility model no. 35773, Registered in State list of patents of Ukraine on inventions 10.10.2008. In Ukrainian.

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.

Vorobiyenko P.P., Zaitsev D.A., Nechiporuk O.L. World-wide network Ethernet? // Zviazok (Communications), no. 5, 2007. - p. 14-19. In Russ.

Zaitsev D.A., Shmeleva T.R. Evaluation of Ethernet networks characteristics using parametric Petri nets // Zviazok (Communications), no. 4, 2007. - p. 62-67. In Russ.

Zaitsev D.A., Litvin D.A. Performance evaluation of label switching networks with simulation system ns // Transactions of Odessa National Academy of Telecommunication, no. 1, 2007. - p. 25-31. In Russ.

Zaitsev D.A., Shinkarchuk T.N. Modeling telecommunication networks with system ns // Transactions of Odessa National Academy of Telecommunication, no. 2, 2006. - p. 35-43. In Russ.

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.

Zaitsev D.A., Sakun A.L. Studying the efficacy of MPLS technology via Colored Petri nets // Zviazok (Communications), 2006, Vol. 65, no. 5. - P. 49-55. In Russ.

Zaitsev D.A. Verification of protocol TCP in the process of sequential composition of Petri net models // Zviazok (Communications), 2006, Vol. 64, no. 4. - P. 49-58. In Russ.

Zaitsev D.A. On realization of compositional algorithms of linear systems solution // Control systems and machines. - 2006, no. 3. - P. 32-41. In Russ.

Zaitsev D.A. Sequential composition of linear systems' clans // Systems Research and Information Technologies, 2006, no. 2. - P. 121-137. In Russ.

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.

Zaitsev D.A., Bereznyuk M.V. Studying the efficacy of protocol Bluetooth address space utilization // Radioelectronics. Informatics. Control. 2006, no. 1. - P. 57-63. In Russ.

Zaitsev D.A., Chornogala E.Y. Synthesis of Petri net model and verification of electronic commerce protocol IOTP // Raditekhnika: All-Ukr. Sci. Interdep. Mag., 2006, Aui. 144. - N. 28-35. In Russ.

Zaitsev D.A. Transmission function of Petri net // Artificial Intelligence, 2006, no. 1, p. 23-30. In Russ.

Zaitsev D.A. Sequential composition of telecommunication protocols Petri net models // Zviazok (Communications), 2006, no. 1 (61), p. 45-50. In Russ.

Zaitsev D.A. Compositional analysis of Petri nets // Cybernetics and Systems Analysis, 2006, no. 1, p. 143-154.

Zaitsev D.A. Synthesis of telecommunication protocols Petri net models // Transactions of Odessa National Academy of Telecommunication, 2005, no. 2, p. 36-42. In Russ.

Zaitsev D.A., Shmeleva T.R. Principes of parametric Petri net models construction for switched networks // Simulation and Computer Graphics: Proceedings of 1-st International Scientific-Technic Conference, October 4-7 2005, Donetsk, DonNTU, 2005, p.207-215. In Russ.

Zaitsev D.A., Shmeleva T.R. A measurement of characteristics for a single-level switched network using parametric Petri net model // Raditekhnika: All-Ukr. Sci. Interdep. Mag. 2005, no. 142, p. 40-47. In Russ.

Zaitsev D.A., Shmeleva T.R. Parametric Petri net model of single-level switched network // Transactions of Odessa National Academy of Telecommunication, no. 1, 2005, p. 33-40. In Russ.

Zaitsev D.A. Software for decomposition of bipartite directed graphs // Transactions of Donetsk National Technical University, series "Informatics, Cybernetics and Computer Science", Vol. 93, 2005, p. 60-70. In Russ.

Zaitsev D.A. Functional Petri Nets , Universite Paris-Dauphine, Cahier du Lamsade 224 Avril 2005, 62p.

Zaitsev D.A. Solving linear systems using decomposition // Systems Research and Information Technologies, 2005, no. 2, 2005, p. 131-143. In Russ.

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, p. 72-78.

Zaitsev D.A. The measuring fragments in Petri net models of telecommunication networks // Zviazok (Communications), no. 2(54), 2005, p. 65-71. In Russ.

Zaitsev D.A. Verification of telecommunication protocols using decomposition of Petri nets // Zviazok (Communications), no. 1(53), 2005, p. 41-47. In Russ.

Zaitsev D.A. Solving the fundamental equation of Petri net in the process of composition of functional subnets // Artificial Intelligence, no. 1, 2005, p. 59-68. In Russ.

Zaitsev D.A. Stepwise composition of functional subnets // Transactions of Odessa National Academy of Telecommunication, no. 3, 2004, p. 33-40. In Russ.

Zaitsev D.A. Decomposition of Petri Nets // Cybernetics and Systems Analysis, no. 5, 2004, p. 131-140. In Russ.

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.

Zaitsev D.A. Speed-up of solution of linear systems with the aid of decomposition into clans // Artificial Intelligence. Intelligent and multiprocessor systems-2004, Proceedings of international conference, Vol. 1, Taganrog, TRTU, 2004, p. 259-264. In Russ.

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, p. 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.

Zaitsev D.A. Invariants of timed Petri nets // Cybernetics and Systems Analysis, vol. 40, no. 2, 2004, p. 226-237.

Zaitsev D.A., Shmeleva T.R. Modelling of switched networks with colored Petri nets // Zviazok (Communications), no. 2(46), 2004, p. 56-60. In Russ.

Zaitsev D.A. Invariance of TCP protocol Petri net model // Transactions of Odessa National Academy of Telecommunication, no. 2, 2004, p. 19-27. In Russ.

Zaitsev D.A. On question of calculation complexity of Toudic's method // Artificial Intelligence, no. 1, 2004, p. 29-37. In Russ.

Zaitsev D.A. Theoretical grounding of Toudic's method // Transactions of Donetsk National Technical University, series "Informatics, Cybernetics and Computer Science", Vol. 74, 2004, p. 286-293. In Russ.

Zaitsev D.A. Decomposition of protocol ECMA // Raditekhnika: All-Ukr. Sci. Interdep. Mag. 2004, no. 138, p. 75-82. In Russ.

Zaitsev D.A. Verification of Ethernet protocols // Transactions of Odessa National Academy of Telecommunication, no. 1, 2004, p. 42-48. In Russ.

Zaitsev D.A. Invariants of functional subnets // Transactions of Odessa National Academy of Telecommunication, no. 4, 2003, p. 57-63. In Russ.

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.

Zaitsev D.A., Sarbej V.G., Sleptsov A.I. Synthesis of continuous logic function given by table // Cybernetics And Systems Analysis, no.2, 1998, p. 46-53.

Zaitsev D.A., Sleptsov A.I. State equations and equivalent transformations of timed Petri nets // Cybernetics And Systems Analysis, Vol. 33, no.5, 1997, p. 659-672.

Zaitsev D.A., Shaldyrvan G.G. Technology of computer training systems development // Proceedings of regional scientific - methodical conference, Donetsk, DonGTU, 1994, p.243-245. In Russ.

Sleptsov A.I., Zaitsev D.A. Industrial-training software system of operative network planning and management "Opera" // Proceedings of the fourteenth scientific - methodical conferences, Donetsk, DPI, 1992, p.87. In Russ.

Sleptsov A.I., Zaitsev D.A. Software system for operative network planning and managements "Opera" // Integration of CAM and training devices: Proceedings of All-Union scientific and technical conference - Moscow, 1991, p.53-54. In Russ.

Zaitsev D.A. Decision of operative management tasks for a discrete manufacture on Petri net models (the author's abstract of the dissertation) // Kiev, the Academy of sciences of Ukraine, Institute of Cybernetics name of V.M.Glushkov, 1991, 12p. In Russ.

Sleptsov A.I., Zaitsev D.A., Telnoj V.A. Automated working place of dispather in machine-building enterprise // Software for decision of Optimum planning tasks: Proceedings of Eleventh All-Union Symposium - Moscow, 1990, p.170-171. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Graphic system of modelling in integrated control system of discrete manufacture // Mathematical and simulation modelling in systems of planning and management: Proceedings of All-Union conference - Chernigov, 1990, p.154-155. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Graphic system of discrete processes modelling // Mathematical maintenance of systems with computer graphics: Proceedings of the seventh scientific and technical seminar - Tyumen, 1990, p.32. In Russ.

Sleptsov A.I., Zaitsev D.A. Computer graphics in system of operative managements in instrument-making enterprise // Mathematical maintenance of systems with computer graphics: Proceedings of the seventh scientific and technical a seminar - Tyumen, 1990, p.33. In Russ.

Zaitsev D.A., Sleptsov A.I. Visualization of production processes in tool system of dispatcher in machine-building enterprise // Avtometriya, 1990, - p.90-93.

Sleptsov A.I., Zaitsev D.A. Computer graphics in system of operational planning and scheduling in instrument-making enterprise // Computer graphics - 89: Proceedings of the fifth All-Union conference, Novosibirsk, 1989, p.157. In Russ.

Sleptsov A.I., Zaitsev D.A. R-technology of modelling for parallel structures and processes // Program-methodical and program-technical complexes CAD and CAM: Proceedings of Sci-technical conference. - Izhevsk, 1988, pp.62-63. In Russ.

Textbooks

Zaitsev D.A., Doroshuk A.V. Summary of lectures on course Networking Operating Systems // Odessa: ONAT, 2007. - 68 p. In Russ.

Voronoy S.M., Zaitsev D.A., Shmeleva T.R. Tracing of networking operating systems processes: textbook for laboratory training // Donetsk: IAIP, 2007. - 67 p. In Russ.

Zaitsev D.A. Summary of lectures on course Networking Technology // Odessa: ONAT, 2007. - 55 p. In Russ.

Zaitsev D.A., Shmeleva T.R., Shnayder S.P. Textbook on course Networking Technology: for laboratory training // Odessa: ONAT, - 54 p. In Russ.

Zaitsev D.A. Petri Nets and Modelling of Systems: textbook for laboratory training // Odessa: ONAT, 2007. - 42 p. In Ukr.

Zaitsev D.A., Shmeleva T.R. Simulating Telecommunication Systems with CPN Tools: Students' book // Odessa: ONAT, 2006. - 60 p. - English, French, Russian, Arabic.

Mathematical Basics of Telecommunications Theory / Editor: V.V. Popovsky, Kharkov: TOV "Company SMIT", 2006. - 564 p. (authors: V.V. Popovsky, S.O. Saburova, V.F. Oleynik, Y.I. Losev, D.V. Ageev, T.G. Kalekina, A.V. Lemeshko, D.A. Zaitsev, O.Y. Evseeva, Y.Y. Kolyadenko, I.V. Strelkovskaya, L.O. Titarenko) In Ukr.

Zaitsev D.A. Mathematical models of discrete systems: Textbook // Odessa: ONTA, 2004, 40p. In Ukr.

Zaitsev D.A. Summary of lectures on course Basis of Discrete Mathematics. Part I: Graph Theory // Donetsk: DonGTU, 1994, 35p. In Russ.

Zaitsev D.A. Summary of lectures on course Basis of Discrete Mathematics. Part II: Algebraic structures // Donetsk: DonGTU, 1994, 35p. In Russ.

Sleptsov A.I., Grigoryev A.V., Zaitsev D.A. Methodical instructions to Course's Project on course Operating Systems // Donetsk, DonGTU, 1994, 29p. In Russ.

Sleptsov A.I., Grigoryev A.V., Zaitsev D.A. Methodical instructions on course Theory of Operating Systems // Donetsk, DonGTU, 1994, 31p. In Russ.

Sleptsov A.I., Zaitsev D.A. Methodical materials to software system of operative network planning and management "Opera" // Donetsk, DPI, 1991, 68p. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Methodical materials to software system for modelling of discrete parallel processes, embeddings in the automated systems and training of experts // Donetsk, DPI, 1991, 59p. In Russ.

Notes:


Dmitry A. Zaitsev  Aieo?ee A. Caeoaa 


Home
Archive index
1