Modelos de segurança na análise não linear de estruturas de betão armado