Calcularea discrepanțelor
calculul rezidual
Pentru a calcula reziduală va utiliza o funcție cu două argumente. în care - o expresie (formula), - valoarea dorită. Mai jos sunt expresia funcțiilor reziduale pentru o varietate de operatori. Cu ajutorul acestor funcții pot fi calculate expresie arbitrară recursiv reziduală folosind acești operatori.
Pentru a distinge de formula valorilor calculate, va fi notată cu valoarea calculată a expresiei pentru valori date ale variabilelor incluse în. Cu toate acestea necesită desemnarea - este numărul de variabile în expresie.
Problema este formulată ca un sistem de constrângeri asupra variabilelor. Limitarea - o expresie booleană a cărei valoare trebuie să fie adevărat. (Noi folosim expresia 1 pentru adevărat și 0 pentru fals). Astfel, calculul recursiv începe cu. în cazul în care - această limitare. În cazul în care operatorul specificat expresia de calcul. acest lucru înseamnă că este o limită globală, adică, operatorul nu poate fi încorporat în alte situații sau să participe la exprimarea elementului său. Acești operatori sunt operatori de optimizare și operatori funcționali.
În cazul în care calculată și valoarea dorită sunt aceleași, fie în ceea ce nu conține variabile, rezidual este zero:
Dacă o expresie boolean este utilizat direct într-o expresie aritmetică și valoarea dorită este diferită de zero și unu, atunci calculul este după cum urmează:
Ca estimare utilizare reziduală pe cât de mult minim trebuie să schimbați valoarea restricțiilor contradictorii ar deveni adevărate. De multe ori să „cântărească“ reziduurile de mai multe variabile utilizate în formula este o singură expresie:
Pentru a limita utilizarea unei astfel de ponderare liniară dă diferența ca „valoare medie pe care doriți să modificați una dintre variabilele care limitează ar fi adevărat.“
Reziduală a fost proiectat astfel încât să fie la fel de invariante pentru a forma de înregistrare în timp ce restul de ușor de calculat, pentru expresii arbitrare.
Exemplul 1. o expresie liniară.
Să presupunem că pentru exprimarea valorii reziduale a 0,933 are. Dacă vă bucura de nevascos clasic pentru egalitate. este de a exprima diferența este 9,33, care este de 10 ori mai mare, deși avem expresia identității și rezidualul trebuie să fie aceleași. In prezentul exemplu de realizare, reziduurile de calcul, în ambele cazuri, să fie aceleași.
Exemplul 2. Suma condiții.
Uneori, condițiile pot fi nu direct la rădăcina de prescripție și să fie încorporată în interiorul expresii. Deci, ecuația
echivalentă cu restricția stabilită. Forma clasică de calcul reziduală va fi întotdeauna 0 sau 1. în prezentul exemplu de realizare, calcularea valorii reziduale pentru ambele cazuri sunt identice.
Pentru unele expresii discrepanță nu există. De exemplu, atunci când se utilizează o variabilă reală de a exprima teoretic imposibil să se calculeze cu exactitate diferența. Deci, atunci când numărul rezidual este „infinit aproape“ de 2, dar mai mare decât 2. În astfel de cazuri, vom folosi un număr mic. reflectorizante utilizate pentru a limita precizie. În acest caz, diferența va fi egală. Dacă avem de a face cu expresii întregi, are sens să le pună.