Tervezése digitális gépek
A tanszék a rádió St. Petersburg Elektrotechnikai Egyetem;
Műszaki tudományok doktora, tanszékvezető of Computer Science
Orosz Állami Pedagógiai Egyetem
őket. Herzen AV Kopyltsov
Jóváhagyta az Editorial és kiadás Tanács az egyetem, mint egy oktatási eszköz
Erosh IL Mihajlov VV
1.1. A koncepció a diszkrét automaták 5
1.2. Módszerek a feladat automata 7
1.3. Számának minimalizálása államok az absztrakt automata 10
1.4. Szintézis példa absztrakt automata definiált megfelelő operátor [5] 23
1.5. Strukturális szintézis véges automata 33
1.6. Fenntartása az automata államok és megszünteti a kritikus események (versenyek) 41
2. szintézis mikroprogram automaták 47
2.1. Gróf diagramok 47
2.2. Matrix algoritmus áramkör 53
2.3. Egyesülő algoritmusok mátrix áramkörök 57
2.4. Építőipari gép összetett áramkör 63
2.4.1. Dekódolás visszacsatolási jeleket 64
2.4.2. Teljesülései gerjesztési funkciók 66
2.4.3. Bomlás egyenlet összetett áramkör gép 67
2.5. 1. példa firmware elosztjuk eszköz 68 automatának
2.6. 2. példa: részét firmware menedzsment automatának kioltás alkatrészek 77
3. bővítése kanonikus modell állapotú gép 81
3.1. Állami diagramok és statechart 81
3.2. Hibrid gépek 85
Digitális eszköz nyomon követik és ellenőrzik a különböző berendezéseket használnak széles körben. Ez lehet komponenseket, és blokkolja a cél vagy speciális célú számítógépek, eszközök és ipari berendezés és felszerelés komplexek. Az elmúlt években, a szintézis eljárás digitális automata használják logisztika. A formalizmus az véges automaták és kiterjesztések az alapja a modern nyelvek és szimulációs komplex dinamikus rendszerek.
A kézi felsorolja az általános automata klasszikus szintézis eljárás (szintézis a strukturális és absztrakt), és az általános úgynevezett műszaki technikák automatikus firmware, amely lehetővé teszi, hogy építsenek hierarchikusan eszközök korlátlan összetételét.
A feladat tervezése digitális gép lehet megfogalmazni különböző módokon. Így egyszerű eszközökkel a munka felsorolja az összes bemeneti és kimeneti megfelelő szekvenciákat. Ez a beállítás a módszert nevezik automatikus hozzárendelését a megfelelő szereplők. Bonyolultabb digitális automatikus hozzárendelését állhat működését ismertetjük az algoritmus vagy algoritmusok listáját végrehajtandó műveletek a kezdeti digitális adatok tervezett gép.