Логико-вероятностные методы анализа надежности, риска, безопасности