Search academic texts

Information × Registration Number 0401U001446, Candidate dissertation Status к.т.н. Date 26-04-2001 popup.evolution o Title Logical analysis of network protocols on the basis of communicating finit e state machines model Author Potapov Igor Gennadijovych, popup.head Скобцов Ю.О. popup.opponent Слєпцов А.I. popup.opponent Болдак А.О. Description Об'єктом дослідження є протокол інформаційно-обчислювальних мереж. Ме тою роботи є підвищення ефективності мереж ЕОМ на усіх етапах їх життєвого цикл у від проектування до експлуатації шляхом розробки нових методів та алгоритмів а налізу протоколів інформаційно-обчислювальних мереж. Для вирішення поставлених з адач в роботі використовуються методи теорії автоматів, формальних мов, гра фів та алгоритмів. В роботі вирішуються відкриті задачі логічної коректності п ротоколів інформаційно-обчислювальних мереж; розроблені методи та алгоритми,що д озволяють перевіряти властивості логічної коректності протоколів з обмеженою та необмеженою взаємодією через канали зв'язку, а також суттєво скоротити часові та ємністні витрати процесу аналізу. В результаті досліджень отримана програмна ре алізація запропонованих методів. Сферою використання є системи автоматичного про ектування та реалізації протоколів інформаційно-обчислювальних мереж. Registration Date 2001-04-26 popup.nrat_date 2020-04-04 Close