Title: Logiko-veroi︠a︡tnostnye metody issledovanii︠a︡ nadezhnosti strukturno-slozhnykh sistem