Formák modellek
Az előadás modellek. formálissá tétel
Összes anyag és a modell. Minden modell lehet osztani két nagy csoportra: a modell lényegi (anyag) és a modell. Tárgy modellek reprodukálni geometriai, fizikai és más objektumok tulajdonságait a kézzelfogható formában (Globe, anatómiai vet, modell kristályrétegeiben, modellek épületek és mások.).
Információ modellek képviselik objektumok és folyamatok a formázott vagy szimbolikus formában.
Alakú mintázat (rajzok, képek és mások.) Vannak képi tárgyak rögzített tetszőleges adathordozón (papír, fényképészeti és film szalag és mtsai.). Széles körben használják alakú információs modelleket az oktatásban (emlékszik oktatási plakátok különböző témákban) és a természettudományi igénylő besorolása objektumok a külső tulajdonságok (a botanika, biológia, őslénytan, stb.)
Landmark információs modelleket épített segítségével a különböző nyelvek (jele rendszerek). A mérföldkőnek információs modell képviselteti magát a szöveges formában (például programok egy programozási nyelv), a képlet (például Newton második törvénye F = m × a), táblázatok (például a periódusos deionizált Mendeleeva), és így tovább.
Néha az építőiparban ikonikus információs modelleket használnak egyidejűleg számos különböző nyelven. Ilyen modellek szolgálhatnak térképek, grafikonok, táblázatok, és így tovább. Mindezek a modelleket használnak ugyanabban az időben, mint a nyelv a grafikai elemek és a szimbolikus nyelvet.
A történelem során az emberiség használják a különböző módszerek és eszközök építési információs modelleket. Ezek a folyamatok folyamatos javítását. Így az első információkat létrehozott modellek formájában barlangrajzok, a jelen időben információs modellek általában épült, és vizsgálták a modern számítástechnika.
Formalizálása. Természetes nyelv létrehozásához használt leíró modelleket. A tudomány történetében már számos leíró modelleket; például, a heliocentrikus modell a világ, hogy a javasolt Kopernikusz, az alábbiak szerint történik:- Föld forog a tengelye körül, és a Nap körül;
- pályája az összes bolygó a nap körül.
formális információs modell (matematikai, logikai, stb.) a beépített formális nyelvek. Az egyik legszélesebb körben használt hivatalos nyelv a matematika. Épített modellek felhasználásával matematikai fogalmak és képletek nevezzük matematikai modellek. A matematika nyelvén van egy gyűjtemény a hivatalos nyelv. Néhány közülük (algebra, geometria, trigonometria), akkor megismerjük az embereket az iskolában, a másik (halmazelmélet, valószínűségszámítás, és mások.) Megtalálható során továbbtanulásra.
A nyelv algebra lehetővé teszi hivatalossá funkcionális összefüggéseit mennyiségben. Tehát Newton hivatalossá a heliocentrikus rendszer a világban, és felfedi a mechanika törvényeit és az egyetemes tömegvonzás törvénye és az írás nekik formájában algebrai funkcionális függőségek. Az iskolában fizika persze tartják a sok különböző funkcionális függőségek kifejezett nyelvén algebra, amelyek matematikai modellek a vizsgált jelenségek és folyamatok.
A nyelv matematikai logika (propozicionális algebra) lehetővé teszi, hogy építeni a formális logikai modellek. Használata algebra nyilatkozatok formájában is el lehet (írott formában logikai kifejezések) egyszerű és összetett megnyilatkozás kifejezett természetes nyelven. Az építőiparban a logikai modellek képes megoldani logikai problémákat, hogy építsenek egy logikai modell számítógépes eszközök (összeadó, flip-flop), és így tovább.
A folyamat során az épület információs modellek a formális nyelv úgynevezett formalizációs.
A folyamat során a tudás a világ az emberiség folyamatosan használja modellezés és formalizációs. Tanulmányozása során először az új objektumot rendszerint épült a leíró információkat egy természetes nyelvi modell, akkor válik hivatalossá, hogy fejezzük ki a hivatalos nyelv (matematika logikai et al.).
Látványterv formális modellek. A tanulmány a formális modelleket gyakran tették láthatóvá. Vizualizációs használt algoritmusok folyamatábrák: térbeli objektumok közötti kapcsolatokat - rajzok, minták, az elektromos áramkörök - elektromos áramkörök logikai modellek eszközök - logikai áramkörök, és így tovább.
Tehát amikor rendering egy hivatalos fizikai modellek segítségével animáció is megjelenik dinamikáját az eljárás, amely ábrázolási változások fizikai mennyiségek, és így tovább. Vizuális modellek általában interaktív, azaz a kutató tudja változtatni a kezdeti feltételek és a folyamat áramlási paraméterek figyelembe magatartásában bekövetkezett változások a modell.
http // www főiskolai ru / fizika / applet / 11a.htm
Példaként vegyünk egy modellt, amely bizonyítja, szabad rezgésének a matematikai inga. Használata animáció mutatja a test mozgását és ható erők, az idő függvényében ábrázoljuk forgási helyzetét vagy a sebesség, a potenciális és kinetikus energiáját a diagram (ábra. 2.4). A kutató tudja változtatni a hosszát izzószál L, kezdeti hajlásszöge az inga j 0, és viszkózus súrlódási együttható b.
Ábra. 2.4. A modell matematikai inga