A koncepció egy véges automata
A folyamat épület modellek
Hierarchikus módon állítottak elő a modellek
Ritkán előfordul, hogy a modell épül, figyelembe véve a jogot minden olyan tényezőt, amelyek nélkülözhetetlenek a rendszer működését. Ezért a természetes megközelítés, amely végrehajtja az elv „az egyszerűtől az összetett”, amikor a következő lépés után történik egy meglehetősen részletes tanulmányt nem nagyon komplex modell. Tehát van egy lánc (hierarchia) teljesebb modellek, amelyek mindegyike általánosítja a korábbiak, beleértve az esettől.
A folyamat lépései az épület modellek képviselik az alábbiak szerint:
1. építése a modell kezdődik verbális leírása a tárgy vagy jelenség, azaz a sformirovyvaetsya objektív modell. Megfogalmazták célkitűzéseiket a tanulmány modell
2. Válasszon ki egy vagy törvény, amely szabályozza az objektumot. A modell van írva egy matematikai formában.
3. Végezze el a modell építését. Mert a kiválasztási szempontok, ahol dobni lényegtelen és jelentéktelen tényezők.
4. A javasolt modell segítségével vizsgáltuk a különböző megközelítéseket és arra a következtetésre jutott annak megfelelőségét, vagyis Az objektum és céljai a tanulmány.
Automaták elmélete egyik ága az elméleti kibernetika, amely tanulmányozza matematikai modellek - gépek. Alapján ez az elmélet a rendszer képviseli, mint egy gép, egy diszkrét információ-feldolgozás és a változás a belső állapotok csak akkor megengedett alkalommal. Az „automatikus” változik jellegétől függően a vizsgált rendszerekben specifikusan, a kapott absztrakciós szint és a megfelelő fokú általánosság.
A gép lehet kezelni, mint egy eszközt (fekete doboz), amelyhez etetik bemeneti jel lehúz és ami bizonyos belső állapot.
Állami - ez valami, ami befolyásolja a vezetés, és a menedzsmenttel együtt határozza meg az eredmény (output).
A különbség egyenlet az állam a rendszer a következő formában:
Egyenletben (1.4.1) vonjuk a bal és a jobb egy és ugyanazon érték x (t), majd a
Osszuk a bal oldali egyenlet (1.4.2) a Dt, Dt nullához, és végül megkapjuk a differenciálegyenlet a rögzítési állapottér:
Állami gép úgynevezett gép, amelyek meghatározzák a belső állapotok, be- és kimenetek véges halmazok.
Így összehasonlítva az univerzális modell van egy határ: a végesség a készletek. Ez a korlátozás nem lényeges, hogy lehetővé teszi a széles körű alkalmazása véges állapotú automaták, elsősorban a szintézis vezérlő eszközök. Utolsó szett (ellenőrzések, feltételeit kimeneti jeleket) is nevezik ábécét.
Az állam gép az általános esetben a dinamikus rendszer, amelyet az jellemez, tranziensek, de a jelek nem folytonos és diszkrét. Elosztjuk az aktuális időt változásaival kapcsolatos belső állapotát és bemenet. Ezért diszkrét intervallumban lehet egyenlőtlen. Belső államok különböző fokú részletességgel. Ezért beszélhetünk gyorsabb és lassabb taktnosti.
Mint minden dinamikus rendszere véges automata munka által leírt két funkciója van:
ahol x - állapotváltozó;
u - ellenőrzés változó;
y - változó kimenet;
t - az idő (t = 0,1,2,3 ...).
Mindezek a változók általában vektorok.
Ezzel a két funkció, ismerve a kezdeti állapotban és a sorozat ellenőrzések, és meghatározza a kimenetek állapota az összes későbbi időpontokban.
Idő áll néhány órát forrás, de a sávok nem kell egy állandó időtartamú. Tekintettel a diszkrét jellege változó változik hirtelen, és nincs szükség a split közötti idő szomszédos szabályozási változások vagy állapot finomabban. Ez tehát feltételezhető, hogy a időpillanataihoz által meghatározott változás kontroll, illetve feltételeket.
Így egy véges állapotú gép működése az alábbiak szerint történik: mindegyik t -edik gépi ciklus a bemeneten, olyan állapotban a x (t), táplálunk valamilyen jelzést u (t). amely reagál az automatikus átmenetet a (t + 1) edik ciklus, hogy az új állam x (t + 1) és a kibocsátó jel kimenet.
Az államok száma megkülönböztetni véges automaták memória és memória nélkül. Gép memóriával rendelkezik egynél több állam, és a gépek memóriakártya nélkül csak egy állapot.
véges állapotú automaták vannak osztva szinkron és aszinkron jellegét diszkrét idejű jelentést. A szinkron gép az időzítés, amelynél a gép beolvassa a bemeneti jel határozza erőszakkal sihroniziruyuschimi jeleket. Miután a következő jel olvasható véve, van egy átmenet egy új állam és a kibocsátó a kimenő jel, amely után a készülék tudja fogadni a következő érték a bemenő jelet. Így az automatikus válasz minden egyes jel bemeneti véget ér egy ciklus, melynek időtartama határozza meg az intervallum között a szomszédos szinkronizálás. Az aszinkron gép beolvassa bemenő jel folyamatosan, ezért válaszul a bemeneti jelet elegendően hosszú konstans értéket, akkor ismételten változtatni az állam, amely a megfelelő számú kimeneti jeleket, amíg belép egy stabil állapot, amelyet nem lehet változtatni szerint a bemeneti jel.