Formalizálása és vizualizációs modellek
Formalizálása és vizualizációs modellek
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. Jelenleg információs modellek általában épült, és vizsgálták a modern számítástechnika.
Leíró modelleket. Ezek a modellek jelentik tárgyak, folyamatok és jelenségek minőségileg. t. e. használata nélkül kvantitatív jellemzőket. A leíró modelleket általában épült természetes nyelv és grafika.
A tudomány történetében már számos leíró modelleket. Például a heliocentrikus modell a világ Kopernikusz megfogalmazott természetes nyelv az alábbiak szerint:
- A Föld kering a Nap körül, és a hold körül forog a Föld;
- az összes bolygó kering a nap körül.
Ugyanakkor több grafikai megjelenésére Eljárás egy minta (ábra. 4.12).
Ábra. 4.12. Leíró modell a kopernikuszi heliocentrikus rendszer a világ
A fizika, a jelenség az elektrosztatikus kölcsönhatás két díjat leírt természetes nyelven, mint ez: „Két azonos töltések taszítják, és két eltérő - vonzotta.”
Az egyértelműség kedvéért, levonhatjuk vonalak az elektrosztatikus mező erejét és az ekvipotenciális felületet (ábra. 4.13).
Ábra. 4.13. Leíró modell a kölcsönhatás elektromos töltések
A kémiai szerkezete a víz molekulák lehet minőségileg leírt természetes nyelvi: „A víz molekula áll, egy oxigénatomot és két hidrogénatom.”
Az egyértelműség kedvéért, a szerkezet a molekula lehet levonni (ábra. 4.14).
Ábra. 4.14. Leíró modell a vízmolekula
A formai információs modellek. A rendszer segítségével a formális nyelvek megépítésük formális modelleket. A matematika a legszélesebb körben használt hivatalos nyelvet. Használatával a matematikai fogalmak és képletek épülnek matematikai modellek. Matematika magában foglalja a különböző formális nyelvek, néhány közülük (algebra, geometria), akkor megismerjük az embereket az iskolában.
A tudományok (fizika, kémia és mások.) Megépítésük formális modellek a jelenségek és folyamatok. A legtöbb esetben ez érvényes egyetemes matematikai nyelven algebrai képletek. Azonban bizonyos esetekben speciális formális nyelvek (kémia - nyelvén kémiai képletek a zene - kottából, stb ...).
Newton hivatalossá a heliocentrikus rendszer a világban, és felfedi a gravitáció törvénye, és a mechanika törvényei és az írás nekik formájában képleteket.
Az elektrosztatikus kölcsönhatás az elektromos töltések által leírt Coulomb-törvény.
A kémiai szerkezete a víz molekulák által leírt kémiai képlet.
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. A tanulmány egy új létesítmény első általában építi leíró információkat modell egy természetes nyelv, akkor válik hivatalossá, azaz a. E.-t használ, a hivatalos nyelv.
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öket. Amikor teszi formális modellek animáció is megjelenik dinamikáját a folyamat, végzett építési értékek megváltoztatásához menetrendek, és így tovább. D.
Jelenleg széles körben használt számítógépes interaktív vizuális modell szerint. Az ilyen modellek, a kutató tudja változtatni a kezdeti feltételek és paraméterek folyamatok és megfigyelni változások viselkedési minták.
Példaként vizualizációja formális modell okozhat a számítógép vizuális interaktív modell egy hidraulikus (ábra. 4,15).
Ábra. 4.15. Interaktív számítógépes vizuális modell egy hidraulikus
A számítógép kísérletben az S1 és S2 területen dugattyúk állítható, és a rakomány tömege m1 és m2 mindkét térd, és hogy megkapjunk egy olyan képlet kapcsolatban területek között a dugattyúk és a ható erők őket.
1. Melyek leíró modelleket?
2. Milyen formális modelleket?
Feladatok független gyakorlásának