Логико-вероятностное моделирование последствий аварий с использованием программного комплекса «АРБИТР»