Proprietate - determinist
Determinism proprietății sugerează că algoritmul este descris într-un astfel de limbaj formal este prezentat sub forma unui sistem clar definit de reguli care rezultatele activității sale nu depind - de ceea ce este sistemul fizic (substratul) va fi efectuată (vinde) aceste norme. Toate aceste transformări nu au afectat rezultatele algoritmului. Această proprietate sa dovedit - foarte important în procesul de cercetare. Deci, dacă este detectat nici un algoritm funcției cerebrale, acesta poate fi reprezentat sub forma unui program de calculator. Astfel, se poate face pentru a construi un model de activitate intelectuală a unui anumit tip. [1]
determinismul Proprietatea înseamnă certitudine sau univocității rezultatului de calcul pentru datele inițiale, proprietățile discrete definite algoritm de proces - posibilitatea de a diviza in actiuni elementare separate care pot fi executate de un computer. [2]
determinismul proprietății implică faptul că rezolvarea problemelor de acest algoritm este un proces strict (greu) regia: identifică în mod unic primul pas și fiecare următoare. [3]
Care este Determinismul proprietății (certitudine) algoritmul. [4]
Acest lucru sugerează că această regulă are determinarea de proprietate. [5]
Orice algoritm poate fi numit regula, dar nu orice drept de a fi numit algoritmul: în formularea de reguli sunt de multe ori nu reprezintă în mod clar toate etapele - nu are, în acest caz, determinarea proprietății. [6]
Dacă luăm de ieșire MP, cu determinarea proprietății. atunci este posibil să se combine IP de intrare, timpul de execuție este mai mică decât timpul de ieșire și poate fi întreruptă. În principiu, punerea în aplicare a producției MT poate fi, de asemenea, încheiată la momentul trimiterii de oprire, în cazul în care informațiile sunt afișate pe terminalul la, dar pentru a reduce angajarea unui timp canal de comunicare nu este de dorit. [8]
Această teorie face posibil pentru a studia toate tipurile de procese evolutive, care au determinarea proprietăților. și finit-diferențiabilității. Înainte de a da definiții matematice precise, să ne ia în considerare câteva exemple. [9]
Această teorie face posibil pentru a studia toate tipurile de procese evolutive, care au determinarea proprietăților. și finit diferențială diferențiabilă. Înainte de a da definiții matematice precise, să ne ia în considerare câteva exemple. [10]
Din definiția (și proprietățile opriri) și derivă convertor static Vibrocorrect Ishlinskii; determinismul și proprietăți de manipulare care nu le deține. [11]
Din descrierea de mai sus a programului operație arată că Prolog încearcă să efectueze un obiectiv la fiecare pas de calcul. Această caracteristică a mecanismului de ieșire din prolog, sau mai precis, procedura de derulare înapoi dă determinare de proprietate PROLOG. [12]
Ele corespund operatorilor de sisteme deterministe și stocastice. Operatorul determinist poate determina în mod unic semnalele de ieșire de la intrări cunoscute. determinismul proprietate a modelului de sistem este un non-aleatoriu al conversia semnalelor de intrare, care la rândul lor pot fi fie deterministă, fie la întâmplare. În cazul modelelor stochastice proces de conversie este aleatoare. Operatorul stocastice nu permite să se determine semnalele de ieșire de la intrări cunoscute. Noi putem determina decât în mod clar distribuția de probabilitate a semnalelor de ieșire atunci când este setat distribuția de probabilitate a semnalului de intrare și parametrii de sistem. [13]
Organizarea acestui tip de paralelism (efectuarea mai multor instrucțiuni simultan programului) trebuie să fie de așa natură încât rezultatul execuției programului, prin utilizarea paralelism și fără ea ar fi la fel. Unele instrucțiuni din program - rezultatul a instrucțiunii anterioare necesare pentru a efectua următoare. Sistemul, care organizează paralelismul într-un program secvențial într-un astfel de mod de a obține rezultate corecte, are determinarea de proprietate. [14]
În prescripție nostru a propus să găsească o cale de a permis element cunoscut de șansă. Aceasta este, cu condiția ca lumina verde următoarea mișcare nu este definită în mod unic, deoarece această zonă poate fi ieșirile mai multor coridoare verzi, iar cerința noastră nu oferă, pe care să o aleagă, să fie exact - permite o selecție arbitrară aleatorie a unuia dintre ele. Această proprietate încalcă determinare. care, în § 1 a declarat că este inerent în toate algoritmi. Acest element de dezordine ar putea, totuși, ușor să fie fix (și, astfel, la rândul său, considerat algoritm prescripție), cel puțin de acord că prezența mai multor coridoare verzi selectate coridor unei anumite reguli; de exemplu, merge la locul de joacă, Tezeu începe să se sensul acelor de ceasornic, până când primul coridor verde și apoi du-te pentru ea. Luarea în considerare a acestor reglementări, care sunt prevăzute în actele avans de selecție aleatorie, este de mare interes teoretic și practic, mai ales în teoria jocurilor moderne și aplicarea acestuia la întrebări de economie. [15]
Pagina: 1 2