Итак, функциональное переопределение и дискретная математика. Я не совсем уверен в критическом дизайне системы. Скажем, у нас есть функция, в которой, если f() должно потерпеть неудачу; g() будет отменено; как обозначено ниже ...Функциональное переопределение: что происходит и когда
"г() ⊕ F()"
х = 0,1;
Р (х) х^2, когда х ∈ ℕ1,
- г (х) 2x -x, когда х ∈ ℕ0
Я понимаю, что в ситуации, когда входной (х) не находится в пределах области или области F(), то функция G() должен действовать, как это переопределение и х станет функцией G(), g (x). Но в приведенном выше примере вы заметите, что x находится за пределами домена как f() и g().
Значит ли это, что выход никогда не указан, потому что x является недопустимым вводом?
Это, кажется, вряд ли будет реалистичное исключение иметь дело в критической системе, как можно было бы ожидать «г() ⊕ f()», чтобы иметь возможность компенсировать любой вход; но в недавнем исследовании этот вопрос был задан мне, и я понял, что это довольно сложный вопрос. Если бы кто-нибудь мог пролить свет на это, это было бы высоко оценено; Ни в одной из моих книг не упоминается ничего о том, как обращаться с этим видом ввода, и все примеры, которые мне преподавались, всегда были случаи, когда x находится в диапазоне/домене не менее g().