Zaitsev D. Methods of analyses and synthesis of telecommunication systems models on the base of functional Petri nets

Українська версія

Thesis for the degree of Doctor of Science (DSc)

State registration number

0506U000566

Thesis Registration Form

0506U000566.pdf

Applicant for

Specialization

  • 05.12.02 - Телекомунікаційні системи та мережі

06-10-2006

Specialized Academic Board

Д 41.816.02

O.S. Popov Odessa National Academy of Telecommunications

Essay

The thesis is dedicated to the solution of the scientific problem of telecommunication systems correctness proof and efficacy evaluation. The basics of new theory of functional Petri nets and clans of linear algebraic systems of equations are expounded. The methods of Petri net models synthesis on their standard specifications using an intermediate language of Hoare’s communicating sequential processes and methods of protocols verification with the help of Petri nets compositional analysis are developed. Significant for design of telecommunication networks questions of Petri net models construction on given structural scheme of network as well as estimation of networks functional characteristics in the process of simulation are considered.

Read more

Files

dod566-1.jpg

dod566-2.jpg

dod566-3.jpg

zar.pdf

zdd.pdf

Similar theses

0524U000084

Nameer Hashim Qasim Qasim

Methodology for ensuring the quality of IoT service in the 5G network

0523U100269

Volodymyr Lysechko

Methods and models for improving the noise immunity of wireless intelligent telecommunication systems based on complex signal-code constructions

0423U100140

Liudmyla P. Klobukova

Method of quasi-orthogonal frequency division of channels in cognitive radio networks

0423U100089

Yakymchuk Nataliia Mykolaivna

Methods of combating congestion of telecommunication networks of new generations by forming flows of heterogeneous network traffic

0521U101958

Mykhalevskyi Dmytro V.

Methodology for improving the efficiency of estimation of radio channel parameters and characteristics in corporate telecommunications networks