Hiba! Nincs ilyen stílusú szöveg a dokumentumban.-86. ábra: A példa-feladat kódolási változatai

Hasonló dokumentumok
(A TÁMOP /2/A/KMR számú projekt keretében írt egyetemi jegyzetrészlet):

Sorozatok, határérték fogalma. Függvények határértéke, folytonossága

24. tétel A valószínűségszámítás elemei. A valószínűség kiszámításának kombinatorikus modellje.

Kombinatorika. Variáció, permutáció, kombináció. Binomiális tétel, szita formula.

Matematika I. 9. előadás

A figurális számokról (IV.)

Digitális technika házi feladat III. Megoldások

Rudas Tamás: A hibahatár a becsült mennyiség függvényében a mért pártpreferenciák téves értelmezésének egyik forrása

Eötvös Loránd Tudományegyetem Informatikai Kar. Analízis 1. Írásbeli beugró kérdések. Készítette: Szántó Ádám Tavaszi félév

Kalkulus II., második házi feladat

Sorozatok A.: Sorozatok általában

Algebra gyakorlat, 3. feladatsor, megoldásvázlatok

Eseme nyalgebra e s kombinatorika feladatok, megolda sok

Megoldás Digitális technika I. (vimia102) 4. gyakorlat: Sorrendi hálózatok alapjai, állapot gráf, állapottábla

Kvantum párhuzamosság Deutsch algoritmus Deutsch-Jozsa algoritmus

3. SOROZATOK. ( n N) a n+1 < a n. Egy sorozatot (szigorúan) monotonnak mondunk, ha (szigorúan) monoton növekvő vagy csökkenő.

A Venn-Euler- diagram és a logikai szita

Függvényhatárérték-számítás

Logikai áramkörök, Boole algebra

Logikai áramkörök, Boole algebra

SZÁMELMÉLET. Vasile Berinde, Filippo Spagnolo

Az átlagra vonatkozó megbízhatósági intervallum (konfidencia intervallum)

Megjegyzések. További tételek. Valódi határeloszlások. Tulajdonságok. Gyenge (eloszlásbeli) konvergencia

Prímszámok a Fibonacci sorozatban

1 k < n(1 + log n) C 1n log n, d n. (1 1 r k + 1 ) = 1. = 0 és lim. lim n. f(n) < C 3

18. Differenciálszámítás

VÉLETLENÍTETT ALGORITMUSOK. 1.ea.

Számsorozatok. 1. Alapfeladatok december 22. sorozat határértékét, ha. 1. Feladat: Határozzuk meg az a n = 3n2 + 7n 5n létezik.

( a b)( c d) 2 ab2 cd 2 abcd 2 Egyenlőség akkor és csak akkor áll fenn

Diszkrét matematika II., 3. előadás. Komplex számok

Statisztika 1. zárthelyi dolgozat március 21.

2. fejezet. Számsorozatok, számsorok

Komplex számok. d) Re(z 4 ) = 0, Im(z 4 ) = 1 e) Re(z 5 ) = 0, Im(z 5 ) = 2 f) Re(z 6 ) = 1, Im(z 6 ) = 0

Hanka László. Fejezetek a matematikából

30 MB INFORMATIKAI PROJEKTELLENŐR. Kálmán Miklós és Rácz József. Tervezési dokumentáció Rendszerterv

A függvénysorozatok olyanok, mint a valós számsorozatok, csak éppen a tagjai nem valós számok,

Nevezetes sorozat-határértékek

Matematika B4 I. gyakorlat

Kombinatorika. A permutációk számának megállapítása: -a helyek sorszáma: I. II. III.

2. LOGIKAI FÜGGVÉNYEK MEGADÁSI MÓDSZEREI. A tananyag célja: a többváltozós logikai függvények megadási módszereinek gyakorlása.

Matematikai játékok. Svetoslav Bilchev, Emiliya Velikova

Pl.: hányféleképpen lehet egy n elemű halmazból k elemű részhalmazt kiválasztani, n tárgyat hányféleképpen lehet szétosztani k személy között stb.?

2. Hatványsorok. A végtelen soroknál tanultuk, hogy az. végtelen sort adja: 1 + x + x x n +...

Lineáris kódok. u esetén u oszlopvektor, u T ( n, k ) május 31. Hibajavító kódok 2. 1

Pályázat címe: Pályázati azonosító: Kedvezményezett: Szegedi Tudományegyetem Cím: 6720 Szeged, Dugonics tér

VII. A határozatlan esetek kiküszöbölése

f (M (ξ)) M (f (ξ)) Bizonyítás: Megjegyezzük, hogy konvex függvényekre mindig létezik a ± ben

4. Test feletti egyhatározatlanú polinomok. Klasszikus algebra előadás NE KEVERJÜK A POLINOMOT A POLINOMFÜGGVÉNNYEL!!!

1. Az absztrakt adattípus

EGYENLETEK ÉS EGYENLETRENDSZEREK MEGOLDÁSA A Z n HALMAZON. egyenletrendszer megoldása a

= λ valós megoldása van.

Állapot minimalizálás

Algebrai egyenlőtlenségek versenyeken Dr. Kiss Géza, Budapest

V. Deriválható függvények

Elemek egy lehetséges sorbarendezése az elemek egy permutációja. n elem összes lehetséges sorbarendezéseinek

VI.Kombinatorika. Permutációk, variációk, kombinációk

BIOMATEMATIKA ELŐADÁS

Feladatok megoldása. Diszkrét matematika I. Beadandó feladatok. Bujtás Ferenc (CZU7KZ) December 14, feladat: (A B A A \ C = B)

Gyakorló feladatok II.

Kétoldali hibás Monte Carlo algoritmus: mindkét válasz esetén hibázhat az algoritmus, de adott alsó korlát a hibázás valószínűségére.

Ingatlanfinanszírozás és befektetés

10.M ALGEBRA < <

Izolált rendszer falai: sem munkavégzés, sem a rendszer állapotának munkavégzés nélküli megváltoztatása nem lehetséges.

MATEMATIKA I. KATEGÓRIA (SZAKKÖZÉPISKOLA)

Diszkrét matematika KOMBINATORIKA KOMBINATORIKA

D I G I T Á L I S T E C H N I K A Gyakorló feladatok 3.

Innen. 2. Az. s n = 1 + q + q q n 1 = 1 qn. és q n 0 akkor és csak akkor, ha q < 1. a a n végtelen sor konvergenciáján nem változtat az, ha

Integrálás sokaságokon

1.1 Példa. Polinomok és egyenletek. Jaroslav Zhouf. Első rész. Lineáris egyenletek. 1 A lineáris egyenlet definíciója

Számelméleti alapfogalmak

n akkor az n elem összes ismétléses ... k l k 3 k 1! k 2!... k l!

Kutatói pályára felkészítı modul

1. Gyökvonás komplex számból

GAZDASÁGI MATEMATIKA 1. ANALÍZIS

3. Számelmélet. 1-nek pedig pontosan három. Hány pozitív osztója van az n számnak? OKTV 2012/2013; I. kategória, 1. forduló

A statisztikai vizsgálat tárgyát képező egyedek összességét statisztikai sokaságnak nevezzük.

Kidolgozott feladatok a nemparaméteres statisztika témaköréből

Villamos gépek tantárgy tételei

Tartalomjegyzék. 2. Probléma megfogalmazása Informatikai módszer Alkalmazás bemutatása Eredmények További célok...

Matematikai játékok. Svetoslav Bilchev, Emiliya Velikova

Differenciaegyenletek aszimptotikus viselkedésének

Azonos névleges értékű, hitelesített súlyokból alkotott csoportok együttes mérési bizonytalansága

Ha I < B, akkor mind az online algoritmusnak mind pedig az optimális offline algoritmusnak a költsége I, így B(I)/OPT(I)=1.

5. Kombinatorika. 8. Legfeljebb hány pozitív egész számot adhatunk meg úgy, hogy semelyik kettő összege és különbsége se legyen osztható 2015-tel?

képzetes t. z = a + bj valós t. a = Rez 5.2. Műveletek algebrai alakban megadott komplex számokkal

Eseményalgebra, kombinatorika

6. Elsőbbségi (prioritásos) sor

A primitív függvény létezése. Kitűzött feladatok. határérték, és F az f egy olyan primitívje, amelyre F(0) = 0. Bizonyítsd be,

FELADATOK a Bevezetés a matematikába I tárgyhoz

1. Írd fel hatványalakban a következõ szorzatokat!

Debreceni Egyetem, Közgazdaság- és Gazdaságtudományi Kar. Feladatok a Gazdasági matematika I. tárgy gyakorlataihoz. Halmazelmélet

Dr. Tóth László, Kombinatorika (PTE TTK, 2007) nem vagyunk tekintettel a kiválasztott elemek sorrendjére. Mennyi a lehetőségek száma?

Általános taggal megadott sorozatok összegzési képletei

DIGITÁLIS TECHNIKA feladatgyűjtemény

KOMBINATORIKA ELŐADÁS osztatlan matematikatanár hallgatók számára. Szita formula J = S \R,

Véges matematika 1. feladatsor megoldások

194 Műveletek II. MŰVELETEK A művelet fogalma

Tartalomjegyzék. Pemutáció 5 Ismétléses permutáció 8 Variáció 9 Ismétléses variáció 11 Kombináció 12 Ismétléses kombináció 13

FANTASZTIKUS KOMBINATORIKA. Adva van n különböző elem. A kiválasztás sorrendje számít VARIÁCIÓ. mateking.hu

Járattípusok. Kapcsolatok szerint: Sugaras, ingajárat: Vonaljárat: Körjárat:

Átírás:

közzétéve a szerző egedélyével) Öfüggő szekuder-változó csoport keresése: egy bevezető példa Ez a módszer az állapothalmazo értelmezett partíció-párok elméleté alapul. E helye em lehet céluk az elmélet teljes kifejtése, de egy egyszerű bevezető példá keresztül megvilágítjuk a léyeget, így segítve a kokrét módszer elsajátítását. Tekitsük a -86. ábrát az ott található kódolt állapot-átmeeti táblázatokkal. A táblák által megadott sorredi hálózatok közös sajátossága, hogy az X=0 vezérlés hatására állapotuk em változik, az X= hatására azoba a- ból b, b-ből c, c-ből d, végül d-ből ismét a lesz. Ugyaakkor a az egyik kódolási változatba a c állapothoz a, a d-hez az 0 kódot választottuk, míg a másik kódolási változatba fordítva. Hiba! Nics ilye stílusú szöveg a dokumetumba.-86. ábra: A példa-feladat kódolási változatai A két kódolási változathoz tartozó tároló-vezérlési kifejezések a következők kifejezésekkel adjuk meg. Az első kódolási változat eseté: D Q D Q A második kódolási változat eseté: X Q X Q X X

közzétéve a szerző egedélyével) D Q D Q X Q X Q Q X Q Q X Most alkossuk éháy partíciót (diszjukt részhalmazra botást) az állapothalmazo. Tekitsük most az első kódolási változatot. Az első partíció (Π ) azokat az állapotokat sorolja egy osztályba, amelyeket a baloldali flipflop egyformá kódol, azaz egy osztályba kerül az a állapot a b-vel, és a c pedig d-vel. ( a b),( c d) A második, a Π partíció egy osztályba sorolja azokat az állapotokat, amelyeket a jobboldali flip-flop egyformá kódol, (a d),(b c). ( a d),( b c) Ez a két partíció az első kódolási változat két flip-flopját abba az értelembe írja le, hogy osztályaik a flip-flopok állapotait azoosítják, azaz azok potosa ayi osztályból állak, aháy állapota a flip-flopokak va, azaz kettőből. Alkossuk meg ezeket a partíciókat a másik kódolási változatra is! ( a b),( c d) ( a c),( b d) Figyeljük fel arra, hogy midkét kódolási változatál a két partícióak egyik osztályába sics két olya állapot, amely a másikba is egy osztályba szerepele. Ezt úgy is kifejezhetjük, hogy a két partíció metszete a legfiomabb partíció, (Π 0 ) azaz az a partíció, amely egy-állapotos osztályokból áll. 0 Most foglalkozzuk midkét kódolási változatra olya partíciók felírásával amelyek a flip-flopok köryezetéek állapotait azoosítják, azaz ezek a partíciók azokat az állapotokat sorolják egy osztályba, amelyeket a flipflopok köryezete kódol azoos módo. Az első kódolási változatra fe

közzétéve a szerző egedélyével) áll, hogy midkét flip-flop köryezetéhez a legfiomabb partíció tartozik, hisze a D bemeetekre midkét tároló állapotváltozója rákapcsolódik. K a), ( b), ( c), ( d) ( K ( a), ( b), ( c), ( d) 0 A második kódolási változat esetébe érdekes dolgot veszük észre: Mivel a jobboldali flip-flop D bemeeti hálózatára a Q em kapcsolódik, a jobboldali flip-flop köryezete ugyaazokat az állapotokat külöbözteti meg, amelyeket maga a flip-flop is megkülöböztet. Mivel ebbe a kódolási változatba a jobboldali flip-flop partíciója és köryezetéek partíciója azoos, azt helyettesítési tulajdoságú partícióak evezzük. 0 K a), ( b), ( c), ( d) ( K a c), ( b d) ( A köryezet és a hozzá tartozó flip-flop, azaz kompoes partíciók között még egy fotos tulajdoságra kell felhívi a figyelmet. Ez pedig az, hogy ameyibe két állapot a köryezeti partíció ugyaazo osztályába va, akkor bemeeti kombiációkét a következő állapotok a kompoespartíció ugyaazo osztályába szerepelek. Ez a tulajdoság ttriviális módo áll fe azokba az esetekbe, amikor a köryezeti partíció a Π 0. Mivel a második változat jobboldali kompoeséek partíciója megegyezik saját köryezetéek partíciójával, a feti szabályt ugyaazo partícióval szemléltetjük a -87. ábrá. 0

közzétéve a szerző egedélyével) Hiba! Nics ilye stílusú szöveg a dokumetumba.-87. ábra: A partíció-pár szemléltetése a második kódolás változat D-Q tárolójához redelt partíció-párral, amelyek tagjai megegyezek. A köryezeti partíciók a kompoes partíciókkal partíció-párokat alkotak. A második kódolási variásál tehát a Π ömagával alkot partíciópárt. Öfüggő szekuder változó-csoport keresése: a módszer általáosítása A példába bemutatott partíció-párok tulajdoságai, és azok összefüggése az állapotkódolással általáosíthatók. Az általáosítás eredméyeképpe a következő állítások képezik a módszer elvi alapját: Ha egy szikro sorredi hálózat állapotváltozóit csoportokra botjuk, akkor a csoportokhoz kompoeseket redelhetük. Mide egyes kompoeshez két partíciót tartozik. Az egyik partíció azo állapotokat sorolja egy osztályba, amelyeket a kompoes egyformá kódol. A másik partíció azokat az állapotokat sorolja egy osztályba, amelyeket a kompoesre kapcsolódó köryezet egyformá kódol. A köryezeti partíció és a kompoes partíció úgyevezett partíció párt alkot. Mivel a kompoes a következő állapotáak kialakításakor egy adott bemeeti kombiáció eseté em tesz külöbséget két, a köryezete által azoosa kódolt állapot között, a köryezeti partíció ugyaazo osztályába tartozó állapotok következő állapotai bemeeti kombiációkét a kompoes partícióak is ugyaazo blokkjába vaak. Ezért evezzük ezt a partíció kettőst partíció-párak. A kompoes partíciók metszete a legfiomabb partíciót eredméyezi. Ha egy kompoes bemeeteire em

közzétéve a szerző egedélyével) kapcsolódak más kompoesek állapotváltozói, akkor a kompoes partíció ömagával alkot partíció-párt. Az ilye partíciót helyettesítési tulajdoságú (HT) partícióak evezik. A HT partíció összefüggését az állapot-átmeeti táblával, most már általáos esetbe, a -88. ábra szemlélteti. Az HT partíciós kompoeshez tartozó hálózat egyszerűbb, hisze a többi kompoes állapotváltozói em tartozak a bemeetei közé. Célszerű tehát olya kompoesekre botai a hálózatot, amelyek közül miél több függetle a többitől, azaz a szekuder változók öfüggő csoportjait reprezetálják. A tervezési módszer léyege, hogy az előzetes, szimbolikus állapottábla alapjá HT partíciókat keresük. Ha találuk em triviális (em a legfiomabb és em a legdurvább) HT partíciót, akkor azzal öfüggő hálózat-kompoest valósíthatuk meg. Néháy egyszerű állapot-kódolási lehetőség: Ha az állapothalmazo egy em triviális HT partíciót találuk, akkor azzal egyetle öfüggő hálózatrészt külöíthetük el a többitől. Ha két em triviális HT partíciót találuk, akkor két öfüggő hálózatrész külöíthető el a többitől. Ha két olya em triviális HT partíciót találuk, amelyek metszete a legfiomabb partíció, akkor a hálózat megvalósítható két öfüggő csoporttal. Hiba! Nics ilye stílusú szöveg a dokumetumba.-88. ábra: A HT partíció ömagával partíció-párt alkot Öfüggő szekuder változó-csoport keresése: egy HT-partíciós állapotkódolási feladat Tekitsük a -89. ábrá látható állapot-átmeeti táblázatot. Kódoljuk az állapotokat egy öfüggő csoport elkülöítésével.

közzétéve a szerző egedélyével) Hiba! Nics ilye stílusú szöveg a dokumetumba.-89. ábra: Állapottábla HT partíciós állapotkódoláshoz A HT partíciók keresését lépcsős táblá végezzük. Először kitöltjük a lépcsős tábla celláit, milye párosítási feltételek következek a cellához tartozó két állapot egy osztályba való megjeleéséből. Ezutá feltételezzük két állapotról, hogy egy osztályba vaak. (jelölés : y, karikába) Ezutá mide olya cellát y - al jelölük, amelyekhez tartozó állapotok összetartozását a kiidulási párosítás implikálja. A jelöléskor figyelembe kell veük a trazitivitást is. Ha már ics újabb implikált pár, az ürese maradt cellákba X t teszük. Ezutá az ismert eljárással felvesszük a em-diszjukt osztályokat, majd a trazitivitás alapjá egyesítjük azokat, amelyekek va közös elemük. Ha az összevoás utá a teljes állapothalmazt kapjuk, ez triviális (egyblokkos) HT partíció, és em haszálható. Ilyekor új kiidulási párt kell választai, és az eljárást erre az új párra kell megismételi. Ha valameyi lehetséges em triviális HT partíciót előállítottuk, válogatuk. Világos, hogy egy adott HT partíciót kiválasztva aak blokkszáma (B) adja az öfüggő csoport állapotaiak számát, a blokkokba előforduló maximális állapotszám (A) pedig a maradék szekuder változó-csoport által képviselt állapotszámot adja. Így a HT partícióhoz szükséges szekuder változók száma,

közzétéve a szerző egedélyével) p = log B + log A. A.-90. ábra lépcsős első tábláit először azzal a feltételezéssel töltjük ki, hogy az a és a b állapotok egy osztályba vaak. A következméyeket látjuk az -es jelű táblá, majd tovább lépve a -es és 3-as táblákra, látjuk, hogy triviális partíciót kaptuk, hisze az adódott, hogy mide állapot ugyaabba az osztályba tartozik. A -9. ábra szeriti feltételezés, miszerit az a és a c legyeek egy osztályba, em triviális HT partícióra vezet : (a c), (b d), (e)

közzétéve a szerző egedélyével) Hiba! Nics ilye stílusú szöveg a dokumetumba.-90. ábra: Az a és b ekvivaleciájáak feltételezése triviális HT partícióra vezet

közzétéve a szerző egedélyével) Hiba! Nics ilye stílusú szöveg a dokumetumba.-9. ábra: Ekvivalecia-osztályok az (a c) párosításból kiidulva A -9. ábra szeriti állapotkód öfüggő csoportjába a szekuderváltozók száma, hisze három osztályt kaptuk. Ezeke az osztályoko belüli kód fiomításához már csak egyetle változó kell, hisze a legépesebb osztály állapot-száma. Az állapotok kódjaiak megválasztásakor egyetle szabálya, hogy az egy osztályba szereplőket az öfüggő csoport állapot-változói egyformá kódolják.

közzétéve a szerző egedélyével) Hiba! Nics ilye stílusú szöveg a dokumetumba.-9. ábra: Állapotkód, öfüggő változókkal A -93. és a -94. ábrák a vezérlési táblával kiegészített kódolt állapottáblát és a realizáció K-tábláit mutatják. Látható, hogy sem a D, sem a D em függ Q3-tól. Az öfüggés tehát igazolódott. Hiba! Nics ilye stílusú szöveg a dokumetumba.-93. ábra: Kódolt állapot- és vezérlési tábla

közzétéve a szerző egedélyével) Hiba! Nics ilye stílusú szöveg a dokumetumba.-94. ábra: Az öfüggés igazolása K-táblákkal