Cтраница 3
Наиболее сложным, трудоемким и дорогостоящим методом анализа рисков является метод Монте-Карло. Он, в основном, используется для анализа рисков крупных проектов в условиях недостаточного объема априорной информации. Этот метод заключается в построении имитационных моделей, позволяющих создать множество сценариев, согласующихся с заданными ограничениями на исходные переменные. [31]
При совместном использовании G - и Т - правил нужно соблюдать некоторую осторожность при отождествлении переменных. Такие изменения затрудняют определение условий проверки истинности импликаций и определение табло, к которому сходится прогонка. Во избежание этого мы поддерживаем некоторый порядок на переменных из табло. Первыми при таком порядке идут исходные переменные, а новые переменные, появляющиеся во время прогонки, всегда добавляются к концу. При отождествлении переменных более поздняя переменная всегда заменяется на более раннюю. Если прогоняемое табло состоит из строк-допущений некоторой Т - зависимости, то при таком порядке в самом начале будут переменные из строки-заключения этой зависимости. Тогда легко можно проверить, породилась ли строка-заключение во время прогонки, не заботясь о возможных изменениях переменных в этой строке. [32]