Mi a formális? formalizációs módszer. A koncepció, lényege, színpad, eredmények, példák típusú formalizálást

Ma nagyon gyakran lehet találkozni a sok furcsa kifejezés „formalizációs”, és a különböző területeken a tudomány és a technológia. Azok számára, akik szeretnék bővíteni a látókörét a tudásukat, célszerű, hogy megértsük, hogy ez formalizálást. A cikk akkor tekinthető a lényege a kifejezés és gyakorlati alkalmazása a folyamat.

Mi a formális tudományos szempontból általános értelemben?

Egy kis érintés a tudományos szempontból. Kezdjük az a tény, hogy a szó származik a formális a „hivatalos”, vagyis ez a feltétele, és néha még egy elvont fogalom, amely lehetővé teszi, hogy ismertesse az egy nem létező tárgy vagy jelenség és megjósolni a tulajdonságait egy adott környezetben az adott kezdeti feltételek mellett.

Nyelvészet minden modern nyelv nem esik egybe a kifejezés logikai formája és jellege, gondolkodás. Így a logika maga kénytelen használni valamilyen elvont fogalmak leírására egy bizonyos jelenség. És van egy relatív fogalom, hogy mi történik a formaságokat.

Mint már kitalálta, a lényege formalizációs jön le, hogy leírja vagy hogy előre bizonyos tulajdonságai a tárgy vagy folyamat (nem is létezik abban a pillanatban), és megjósolni annak használata bekövetkezés esetén a valós világban. De ez az alapötlet. A eszméje formalizálásnak sokkal szélesebb. Először is összpontosít számítástechnika, úgy, hogy a világ az elektronika, ez a kifejezés.

számítógép formalizációs

Ha a tárgy hatással számítógépek formalizálása Az ilyen típusú eljárás meglehetősen adott kezdeti kezelési körülmények, amelyek lehetővé teszik egy kellően nagy pontossággal meghatározni a további viselkedése az objektum vagy folyamat.

Ezen elv szerint működik, gyakorlatilag minden időjárási szolgálat. Miután ciklon számítógépes modell nem tudja megjósolni, hogy bekapcsoláskor, és több mint a föld vagy a víz felett.

Ne feledje, a film „The Day After Tomorrow”, amelyben a tudós megjósolta a globális felmelegedés indulva ezt a technikát. Ő számítógépes modellt fejlesztettek ki, amelyek számára bizonyos fokú valószínűséggel megjósolni a jövőbeli eseményeket.

Ezek a példák állnak megmagyarázni, hogy ez formalizálást.

objektumok és folyamatok modellezése elvek

A fő módszer formalizálásnak - egy előrejelzés és modellezés. Alkalmazza az ilyen technológiák kizárólag a végleges adatok a tárgyak vagy folyamatok, amelyek nem ismertek, de feltételezhető nagy pontossággal száma.

Ha megnézzük a formális faj, szinte mindegyik korlátozódik logikai következtetések és számításokat. Az olvasó nem lesz nehéz párhuzamot vonni a számítógépes modellezés, bizonyítási elmélet, és így tovább. E. alapján axiómák és posztulátumok.

Nézd, az azonos Einstein relativitáselmélete is lehet értelmezni, mint egy hivatalossá az eljárás, mivel a gyakorlatban, ellenőrizze a bizonyítás nem lehetséges. Különösen vonatkozik ez a fény terjedési állandók, a fékezési idő éri el a küszöbértéket, ami növeli a gravitációs test súlya és a tér görbületét. Hands, mint mondják, nem érzi, és a szem nem látja.

Egyszer régen, hogy csak bátor érvelés tudós alapján egyszerű kísérletek. Ma minden ezt támasztja alá a hivatalos tudomány alapján ugyanazon számítógépes szimuláció.

szakaszában formalizációs

Ha figyelembe vesszük a számítógépes rendszer, az első lépés a hivatalossá a folyamat leírása. De ez nem használhatja a megszokott eszközöket a nyelv (betűk, szavak, kifejezések, mondatok). Hozzon létre egy külön matematikai modell csak akkor lehetséges, egy bizonyos algoritmus alapján a kiválasztott programozási nyelv, de csak miután a nyilatkozatot az általános probléma.

Más szóval, a modellezés a viselkedését egy tárgy vagy folyamat esetén lényegében meg kell leírni tisztán matematikai szimbólumokat, egy matematikai algoritmus alkalmazásával.

Az eredmény eléréséhez formalizációs tényleges elemzés kiszámítható eseményeket, majd miután vizsgált technológiát fogják használni a gyakorlatban, illetve bizonyos természetes folyamat belép a valós létezését a lépést.

A következő a fogalmi problémát. Két változata van: az első esetben ez egy egyedi megközelítést formájában a tulajdonságait és jellemzőit; második lehetőség használatával jár kognitív elemzés, nem beszélve a készítmény a probléma, a kezdeti adatgyűjtés használt, feltételek, és így tovább. d.

Miután a meghatározásokat és a kezdeti feltételek vizsgálták között fennálló kapcsolat és folyamatok, valamint az úgynevezett szemantikus kapcsolatokat, amivel együtt jár a használata a helyi képviselet technikákat.

Ezt követi a feldolgozás kezdeti adatok alapján a kiválasztott algoritmus, majd visszaadja az eredményt mutatta a hibát. Általában nem haladja meg az 5% -ot, és a legtöbb esetben az eredmény a valószínűsége eléri a 99%. Minden olyan személy, vagy a gép továbbra is hagyja a „biztonsági tartalékot” az előre nem látható körülmények miatt nem lehet mindent figyelembe venni.

Miért van az összes szükséges ez?

Ha érti ezeket az elveket lehetővé viselkedésének elemzését tárgyak és folyamatok. Más szóval, lehetséges megjósolni, hogy ki fog dolgozni egy adott folyamat.

Most már világos, hogy az ilyen formalizálást. Nézzünk egy egyszerű példát.

Alkalmazás formalizációs a gyakorlatban a legegyszerűbb példa

Mondjuk, egyes szakértők kifejlesztettek egy új repülőgép-tervezést. Tekintettel a magas költségek a projekt, hogy építsenek egy modell az eredeti méretét anélkül, hogy a korábbi előrejelzést a viselkedését a levegőben ez teljesen alkalmatlan a feladatra. Sőt, a vizsgálatok az ugyanabban a szélcsatornában repülőgép akkora, mint egy Boeing teljesen lehetetlen feladat.

Ez lehetővé teszi hivatalossá előre jellemzői a jövőbeli repülőgép (légellenállás, oldalszél, magasság, és a legtöbb szélcsatorna paraméterek és egyéb jellemzők) modellezésére repülőgépek repülnek nélkül épített modell szerint.

Egy másik példa a tesztelése az új gépek tartott autóipari cégek. Az alapvető módszer formalizálásnak, ebben az esetben abban a tényben rejlik, hogy először tartottak egy virtuális teszt, és miután megkapta a pozitív eredmények a vizsgálati minták futnak a termelés, hogy teszteljék a valós körülmények között.

A legfontosabb eredmények

Az eredmény a matematikai modellezés sok (ha nem száz százalékos, majd a valószínűsége 95%) lehet egy erős érv a termelés a modern technológia, segít megjósolni az időjárást még megjósolni a szociális viselkedés, mint a reakció az esemény a világon.

Igen, igen! Közvélemény formálása a világban is van kitéve a saját törvényei. Elég befolyásolni őt nuzhnoi irányba. Ma már létrehozott egy csomó programot megjósolni a közvélemény reakciója ilyen vagy olyan eseményt. És ez még nem minden esetben formalizálásnak. Ha mélyebbre ásni, akkor szembe ugyanezzel a problémával minden nap.

Az egyik legszembetűnőbb példa említhető formai kialakítása és felderítése Higgs ütközések elemi részecskék nagy hadronütköztető. De korábban azt hitték, hogy létezik ez a részecske - a tiszta elmélet, és ez egyáltalán nem bizonyítható valós tapasztalat.

következtetés

Mint látjuk, a fogalom formalizációs, annak ellenére, hogy bonyolult a tudományos folyamat lényege, hogy könnyen érthető példákkal. A legtöbb esetben ez jön le, hogy a valamilyen logikai lánc, meg előre az eredményt.