Modelele de prezentare. formalizare
Modele materiale și informații model. Toate modelele pot fi împărțite în două mari clase: modelul de fond (material) și informații model. Modelele supuse reproduce proprietățile geometrice, fizice și alte tipuri de obiecte într-o formă concretă (Globe, mulaje anatomice, modele barilor de cristal, modele de clădiri și altele.).
Modelele de informare reprezintă obiecte și procese sub formă formă sau simbolic.
model fasonate (desene, imagini și altele.) Sunt vizualizărilor de obiecte înregistrate pe orice suport de date (hârtie, benzi fotografice și de film și colab.). Utilizate pe scară largă de modele de informații în formă de educație (amintiți-vă afișe educative pe diverse teme) și științe, care necesită clasificarea obiectelor în funcție de caracteristicile lor externe (în botanică, biologie, paleontologie, etc.).
Modelele sunt informații despre reper construite folosind o varietate de limbi (semna sisteme). Studiul de referință Modelul de informații pot fi reprezentate sub formă de text (de exemplu, programe într-un limbaj de programare), cu formula (de exemplu, legea a doua a lui Newton F = m × a), tabele (de exemplu, tabelul periodic D. I. Mendeleeva) și așa mai departe.
Uneori, în construcția de modele de informații iconice sunt utilizate în același timp, un număr de limbi diferite. Exemple de astfel de modele pot servi ca hărți, grafice, diagrame, și așa mai departe. Toate aceste modele sunt folosite în același timp, ca și limba de elemente grafice și limbaj simbolic.
De-a lungul istoriei, omenirea a folosit o varietate de metode și instrumente pentru construirea de modele de informații. Aceste procese sunt îmbunătățite în mod continuu. Astfel, primele modele de informații create sub formă de picturi rupestre, în modelele de informare prezent sunt de obicei construite și investigate cu ajutorul tehnologiei moderne de calculator.
Formalizare. limbi naturale sunt folosite pentru a crea modele de informații descriptive. În istoria științei au fost numeroase modele de informații descriptive; de exemplu, modelul heliocentric al lumii, care a propus Copernic, formulat după cum urmează:- Pământul se rotește în jurul axei sale și în jurul soarelui;
- orbitele tuturor planetelor in jurul soarelui.
model de informații formale (matematic, logic, etc.). limbaje formale construite. Una dintre limbajul formal cel mai larg utilizat este matematica. Modelele construite cu utilizarea de concepte matematice și formule sunt numite modele matematice. Limbajul matematicii este o colecție de limbi oficiale. Cu unele dintre ele (algebra, geometrie, trigonometrie), ajungi să cunoști oameni în școală, cu cealaltă (teoria mulțimilor, teoria probabilităților, și altele.) Pot fi găsite în cursul învățământului în continuare.
Limbajul de algebră permite să oficializeze relațiile funcționale între cantitățile. Deci, Newton a oficializat sistemul heliocentric al lumii, dezvăluind legile mecanicii și legea atracției universale și scrierea lor sub formă de dependențe funcționale algebrice. În curs de fizica școală este considerată o mulțime de diferite dependențe funcționale exprimate în limbajul algebra, care sunt modele matematice ale fenomenelor sau proceselor studiate.
Limbajul de algebra logicii (algebra propozițională) ne permite de a construi modele logice formale. Folosind declarații algebra pot fi formalizate (scris sub formă de expresii logice) enunț simple și complexe, exprimat în limbaj natural. Construcția de modele logice poate rezolva probleme logice, pentru a construi un model logic al dispozitivelor de calculator (vipera, flip-flop), și așa mai departe.
Procesul de construire a modelelor de informare folosind un limbaj formal numit formalizare.
În procesul de cunoaștere a lumii omenirii folosește în mod constant de modelare și formalizare. Atunci când studiază la început noul obiect este de obicei construit informațiile sale descriptive într-un model de limbaj natural, atunci este formalizată, care este exprimată folosind un limbaj formal (matematică logică și colab.).
Vizualizarea modelelor formale. Studiul modelelor formale sunt adesea făcute vizualizarea lor. Pentru algoritmi de vizualizare folosit organigrame: relații spațiale dintre obiecte - desene, modele de circuite electrice - circuite electrice, modele de dispozitive logice - circuite logice, și așa mai departe.
Deci, atunci când redarea unui modele fizice formale folosind animație poate fi afișată dinamica procesului, modificări de diagrame efectuate în cantități fizice, și așa mai departe. Modelele vizuale, de obicei, sunt interactive, și anume un cercetător poate schimba condițiile inițiale și parametrii de flux de proces și observați modificări în comportamentul modelului.
http // www colegiu ru / fizica / applet-uri / 11a.htm
Ca un exemplu, ia în considerare un model care demonstrează oscilație liberă a pendulului matematic. Folosind animație care arată mișcarea corpului și acționează forțe, sunt reprezentate grafic față de poziția de rotație timp sau viteza, potențiale și cinetice energiile diagrama (fig. 2.4). Cercetătorul poate schimba lungimea filamentului L, unghi inițial de deviere a pendulului j 0 și vâscoasă coeficientul de frecare b.
Fig. 2.4. Modelul unui pendul matematic