Ce este formalizarea? Metoda formalizare. Conceptul, esența, etape, rezultate, exemple, tipuri de formalizare

Astăzi, de foarte multe ori vă puteți întâlni o mulțime de termen ciudat „formalizare“, și în diferite domenii ale științei și tehnologiei. Pentru cei care doresc să se extindă orizonturile cunoașterii lor, este recomandabil să se înțeleagă că această formalizare. Articolul va fi considerată esența termenului și aplicarea practică a procesului.

Care este formalizarea unui punct de vedere științific într-un sens general?

Un pic de atingere pe latura științifică. Să pornim de la faptul că cuvântul este derivat din formalizarea cuvântului „formale“, adică este condiționată, și, uneori, chiar și un concept abstract, care permite să explice natura unui obiect sau fenomen inexistent și pentru a prezice proprietățile sale într-un anumit mediu cu date condițiile inițiale.

Lingvistică orice limbă modernă nu coincide cu expresia formei logice sau de natura de gândire. Astfel, logica însăși forțată să folosească unele concepte abstracte pentru a descrie un anumit fenomen. Și există un concept relativ de ceea ce se întâmplă formalități.

După cum ghicit deja, esența de formalizare se reduce la, pentru a descrie sau a predetermina anumite proprietăți ale obiectului sau de proces (nici măcar nu există în acest moment) și pentru a anticipa utilizarea sa în caz de apariție în lumea reală. Dar aceasta este ideea generală. Însăși noțiunea de formalizare este mult mai largă. Pentru a începe cu accent pe tehnologia de calculator, ia în considerare modul în lumea electronicii, este folosit acest termen.

formalizare calculator

Dacă subiectul afectează metoda calculatoarelor formalizare de acest tip este mai degrabă dat condiții de tratament inițiale, care permit un grad suficient de ridicat de precizie pentru a determina comportarea ulterioară a obiectului sau a procesului.

Conform acestui principiu funcționează, practic, toate serviciile meteorologice. Având model de calculator ciclon poate prezice ciclul său de putere și peste pământ sau deasupra apei.

Amintiți-vă filmul „The Day After Tomorrow“, în care omul de știință a prezis încălzirea globală, reieșind din această tehnică. Modelul său de calculator a fost dezvoltat, care a permis un anumit grad de probabilitate de a prezice evenimente viitoare.

Aceste exemple sunt disponibile pentru a explica faptul că această formalizare.

obiecte și procese de modelare principii

Principalele metode de formalizare - o prognoză și modelare. Se aplică astfel de tehnologii exclusiv pentru datele finale cu privire la obiectele sau procesele care nu sunt cunoscute, dar se poate presupune cu numărul de mare precizie.

Dacă te uiți la formalizarea specii, aproape toate dintre ele limitate la concluzii logice și calcule. Cititorul nu va fi dificil să se facă o paralelă între modelarea pe calculator, teoria dovezi, și așa mai departe. E. Pe baza axiome și postulate.

Uite, pentru aceeași teoria relativității a lui Einstein ar putea fi , de asemenea , interpretată ca o formalizare a metodei, deoarece , în practică, verificați dovada nu este posibilă. În special, acest lucru se aplică constantele de propagare a luminii, timpul de decelerare pentru a atinge pragul, creșterea greutății gravitațională a obiectului și curbura spațiului. Mâinile, cum se spune, nu se simte, iar ochii nu pot vedea.

După ce, la un moment dat a fost doar om de știință raționament curajos pe baza unor experimente simple. Astăzi, toate acestea sunt confirmate de știința oficială, pe baza aceleiași simularea pe calculator.

etapele de formalizare

Dacă luăm în considerare sistemul informatic, primul pas în formalizării o descriere proces. Dar nu utilizează instrumentele uzuale de limbaj (litere, cuvinte, fraze, propoziții). Crearea unui anumit model matematic este posibilă doar prin utilizarea unui anumit algoritm bazat pe limbajul de programare selectată, dar numai după declarația problemei generale.

Cu alte cuvinte, în modelarea comportamentului unui esență obiect sau un eveniment de proces trebuie să descrie simboluri pur matematice, folosind un algoritm matematic.

Rezultatul este de a obține o formalizare reale de analiză a evenimentelor previzibile care au urmat după tehnologia investigate vor fi utilizate în practica sau anumite procese naturale intră în existența reală a etapei.

Următoarele este conceptualizarea problemei. Există două variante: în primul caz este vorba de o abordare specifică în forma utilizează atributele și caracteristicile; a doua opțiune implică utilizarea unei analize cognitive, să nu mai vorbim de formularea problemei, colectarea inițială a datelor utilizate, condițiile, și așa mai departe. d.

Ca urmare a definițiilor și condițiile inițiale studiat relația existentă între obiecte și procese, precum și relațiile așa-numitele semantic, implicând utilizarea tehnicilor de reprezentare locale.

Aceasta este urmată de procesarea datelor inițiale pe baza algoritmului selectat, iar apoi returnează rezultatul indicând procentul de eroare. De obicei, aceasta nu depășește 5%, iar în cele mai multe cazuri, rezultatul probabilității ajunge la 99%. Orice persoană sau o mașină va lăsa în continuare „marja de siguranță“ pentru situații neprevăzute, pentru că totul nu poate fi luată în considerare.

De ce este necesar acest lucru toate?

Dacă înțelegeți aceste principii permit analiza comportamentului obiectelor și proceselor. Cu alte cuvinte, este posibil să se prevadă, care va dezvolta un anumit proces.

Este acum clar că o astfel de formalizare. Să ne uităm la un exemplu simplu.

formalizare Aplicarea în practică, cele mai simple exemple

Să spunem, unii experți au dezvoltat un nou design de aeronave. Având în vedere costul ridicat al proiectului de a construi un model de dimensiunea originală, fără prognoza prealabilă a comportamentului său în aer este în întregime nepotrivit pentru sarcina. Mai mult decât atât, testele în aceeași aeronavă tunel de vânt de mărimea unui Boeing este sarcina absolut imposibil.

Acesta permite formalizare caracteristicilor prestabilite ale aeronavelor viitoare (rezistența aerului, vânt lateral, înălțime, și cei mai mulți parametri tunelului aerodinamic și alte caracteristici), modelul de zbor ale aeronavei, fără un model construit.

Un alt exemplu este testarea de noi mașini, companii auto a avut loc. Metoda de bază de formalizare, în acest caz constă în faptul că, la început au avut loc un test virtual, și după ce a primit rezultatele pozitive ale probelor de testare sunt conduse în producție pentru a testa în condiții reale.

Principalele rezultate

Rezultatul modelării matematice în multe (dacă nu este o sută la sută, apoi cu probabilitate de 95%) poate fi un argument puternic în favoarea producției de tehnologii moderne, va ajuta la prezice vremea prezice chiar și comportament social ca reacție la evenimentele din lume.

Da, da! Formarea opiniei publice din lume, de asemenea, se supune propriilor sale legi. Suficient să-l influențeze în direcția nuzhnoi. Astăzi, a creat o mulțime de programe pentru a prezice reacția publicului la acest lucru sau acel eveniment. Și acest lucru nu este toate cazurile de formalizare. Dacă vom săpa mai adânc, ne confruntăm cu aceeași problemă în fiecare zi.

Unul dintre cele mai pătrunzătoare exemple pot fi menționate formalizare și detecție Higgs în ciocnirile particulelor elementare în collider hadroni mari. Dar mai devreme se credea că existența acestei particule - teorie pură, și nu este absolut demonstrabilă lumea reală experiență.

concluzie

După cum vom vedea, noțiunea de formalizare, în ciuda complexității esenței științifice a procesului, este ușor de înțeles exemple. În cele mai multe cazuri se reduce la folosirea unor lanțuri logice, predetermină rezultatul.