Применение ПК АРБИТР для решения задач автоматизированного анализа надежности систем судовых атомных энергетических установок