Логико-вероятностные методы исследования надежности структурно-сложных систем