Formalizálása és megjelenítés - studopediya
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ó információkat modellek, például a heliocentrikus modell a világon, hogy a javasolt Kopernikusz, az alábbiak szerint történik: „A föld forog a saját tengelye körül, és a Nap körül kering az összes bolygó a Nap körül kering.”.
A rendszer segítségével a formális nyelvek formális modelleket. 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. Például, a folyamat a kis rezgések az inga, vagy a folyamat által leírt egy közönséges differenciálegyenlet az elektromos rezgőkört. Mint független tényező ezekben a rendszerekben végez időt, amely meghatározza az ismeretlen értékek a kívánt funkció meghatározó viselkedését az objektumot.
A nyelv matematikai logika (propozicionális algebra) lehetővé teszi, hogy hozzon létre egy 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.).
A tanulmány a formális modelleket gyakran tették láthatóvá. Vizualizációs használt algoritmusok folyamatábrák a térbeli objektumok közötti kapcsolatokat - rajzok, elektromos áramkörök modellek - elektromos áramkört modellek logikai eszköz - logikai áramköröket, és így tovább.
Amikor teszi a 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.
Példaként vegyünk egy modellt, amely bizonyítja, szabad rezgésének a matematikai inga. A filmben az animáció mutatja a test mozgását és ható erők, az idő függvényében ábrázoljuk, vagy szögkoordináta sebesség diagramja potenciális és kinetikus energiáját. A kutató tudja változtatni a szál hossza L. kezdeti hajlásszöge az inga # 966; 0. Friction b.