עקרונות יתירות ושרידות של מערכות טכניות