Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse

Reed - Mulleri POLÜNOOM (0)

5 VÄGA HEA
Punktid

Esitatud küsimused

  • Miks tohib nii asendada ?
  • Kuidas saaks polünoomavaldise õigsust pealiskaudselt kontrollida ?
  • Kus tehet w tohib ikkagi asendada tehteks ?
  • Miks ei tohi MDNK avaldises tehet w asendada tehteks ?

Reed - Mulleri   POLÜNOOM
x  x
3    4
Loogikaavaldise   erikuju , mis sisaldab  ainult loogikatehteid :
x  x
1    2
00
01
11
10
summa mooduliga 2 :     
00
1
1
konjunktsioon  :
&        
konstant 1 :
1
01
1
. . . .  ja kus   sulud  on lahtikorrutatud   (ehk sulge enam pole)
11
1
1
1
1
Reed-Mulleri  polünoom  on seega  (sulgudeta) loogikaavaldis  süsteemis
10
1
1
 &      1 }
  polünoomis  ei sisaldu  tehteid   disjunktsioon   ja   inversioon
MDNK  jaoks  parimad kontuurid
Igal loogikafunktsioonil on  täpselt üks  Reed-Mulleri  polünoom.
MDNK :           f 
     TTÜ     =        3   4        w      x 1 x 2       w       2 x x 4
/¯¯  ülesanne:   ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ \
x  x
3    4
x  x
1    2
00
01
11
10
Leida    MDNK    MKNK      Reed-Mulleri  polünoom   järgneval
kaardil esitatud  4- muutuja funktsioonile :
00
1
1
x  x
3    4
01
1
x  x
1    2
00
01
11
10
00
1
1
11
1
1
1
1
Arvutitehnika 
01
1
10
1
1
11
1
1
1
1
MKNK  jaoks  (näiteks) kontuurid
MKNK :  
10
1
1
 f  =  
    
 
w
w
) ( w
) ( w
) ( w
 
 2      x 3      x
¯ 4       2       x
¯ 3   w  x 4       1       x
¯ 2   w   x
¯ 4       1       x
¯ 2   w   x
¯ 3 
MDNK :
Reed-Mulleri  polünoom
Reed-Mulleri  polünoomi  võib leida kolmel viisil, millest kõige eelistatum on
  Karnaugh ' kaardi  abil  leidmine.
   Instituut
Koostatakse  spetsiaalne DNK, kus  kõik  tehted   w   tohib avaldises
lihtviisiliselt   asendada   tehtega        (ilma avaldise loogilist väärtust sellega
muutmata)
Sellise omadusega DNK saamiseks tuleb  kaardil  kõik  1-d   katta   suurimate
1      1      0            1      1      0 
kontuuridega nii, et iga 1-de piirkonna ruut kaardil  oleks kaetud  paaritu arv
kordselt —  s.t.  oleks kaetud  1 või 3 kontuuri poolt  (mitte  2  ega  4  
1      1      1      =      1      1      1
kontuuri poolt)
x  x
3    4
NB!   mitte KONTUURE ei pea olema valitud paaritu arv tk.  vaid  iga
x  x
1    2
00
01
11
10
ruut  1  peab olema kaetud  kontuuridega  1-kordselt  või  3-kordselt.  
00 0000 0001 0011 0010
Valitud kontuuride   koguarv  võib seejuures olla  nii paarisarv kui ka paaritu.
Kontuuride valiku reegel tasub sõnastada lihtsustatud kujule :
01 0100 0101 0111 0110
kõik  1-d  tuleb katta (võimalikult suurte)  mittelõikuvate  kontuuridega
(misjuhul  saavad kõik  1-d olema kontuuridega kaetud  1-kordselt)
11 1100  1101   1111  1110
Katame antud kaardil  kõik  1-d  mittelõikuvate  kontuuridega :
10 1000 1001  1011  1010
     TTÜ 
x  x
x  x
3    4
3    4
( see kaart ei ole lahenduse osa )
x  x
x  x
1    2
00
01
11
10
1    2
00
01
11
10
polünoomi  lähteavaldisena leitud  DNK-s  ei väärtustu  mitu  konjunktsiooni  
00
1
1
00
1
1
samaaegselt  1-ks   mitte kunagi :
01
1
01
1
 f      =      x
¯x
¯     w     xxx4       w       xxxx
¯4       w      x
¯xx4       = 
 
11
1
1
1
1
11
1
1
1
1
10
1
1
10
1
1
kaetud mittelõikuvate kontuuridega
kah mittelõikuvad
kontuurid
Arvutitehnika 
. . . .  =   x
¯
( kahest valikuvõimalusest eelistatum )
( teine sobiv valikuvõimalus )
x
¯        xxx4            xxxx
¯4           x
¯xx4     =    . . . .
Kahest sobivast kontuuridevalikust  võtame  puha kumba  —  kuid
edasi asendame  inversioonid  asendusseosega         x      1   =   x
¯
vasakpoolne  annab  järgnevalt   lihtsama teisenduskäigu.
Kirjutame välja  vasakpoolsest  kontuuridevalikust tuleneva  DNK :
=  (x3  



 
 1)(x4  
 1)     xxx4      xxx(x4  
 1)    (x2  
 1) xx4   =
 f   =    x
¯x
¯     w     xxx4       w       xxxx
¯4       w     x
¯xx4    =   . . . .
=   xx    x3     x4    
 
   1       xxx4        xxxx4        xxx3      
selles  avaldises  võib  kõik  disjunktsioonid  asendada  tehtega       
     xxx4       xx4    =  
(ilma et  avaldise  tõeväärtustabel  sellest  muutuks
=    x3     x4       xxx4        xxxx4        xxx3       xxx4    
 
   1
   Instituut
?
. . . .   lahendatud :    polünoom  leitud
  miks tohib nii asendada ?
meenutame:   vastavalt   tehte       omadustele :
?
1      0      0      =      1      0      0
  kuidas saaks polünoomavaldise õigsust (pealiskaudselt) kontrollida  ?
 f (0000)
. . . . väärtustuvad MDNK elementaarkonjunktsioonid  1100  korral   selliselt :
   =  ?    ja     (1111)   =  ?    näitavad  kätte   
konstant 1  vajaduse/puudumise polünoomavaldises
  f (1100)     =       1        w      1        w      0
ja   
  f (1100)     =       1        w      1        w      0            1              1              0
polünoomi  liikmete arvu   ( paarisarv  või  paaritu arv  liiget polünoomis):
x3     x4       xxx4        xxxx4        xxx3       xxx4    
 
   1
?  kas  MDNK  jaoks  leidub mingi lihtne muudatus, mille
tulemusel  MDNK  modifitseerub kujule 
x  x
3    4
kus tehet   w   tohib ikkagi asendada  tehteks  
x  x
    ?
1    2
00
01
11
10
Leidub.
00
1
1
f
Kontuuride valimise reegel  polünoomi lähteDNK leidmiseks nõuab, et kõik
(0000)
1-d  peavad olema kaetud kontuuridega  paaritu arv kordi .
01
1
     TTÜ 
(1111)
Kui kontuurid kattuvad üksteisega nii, et mingid ruudud on kaetud  2-kordselt
11
1
1
1
1
(4-kordselt), siis saab alati valida samade ruutude katmiseks juurde  veel ühe
täiendava kontuuri
, koos millega on needsamad 1-de ruudud kaetud juba  
10
1
1
3-kordselt  (5-kordselt) :
x  x
3    4
. . . .  pealiskaudne kontroll viitab ,  et see polünoom  võib olla  õige
x  x
1    2
00
01
11
10
00
1
1
?  miks ei tohi  MDNK avaldises tehet   w   asendada tehteks      ?
01
1
x  x
3    4
x  x
Arvutitehnika 
1    2
00
01
11
10
11
1
1
1
1
00 0000 0001 0011 0010
10
1
1
01 0100 0101 0111 0110
ühtede piirkond kaetud 1-kordselt või 3-kordselt
11
1100 1101
1111
1110
siit kontuurivalikust saame  DNK :
10 1000 1001 1011 1010
    =      x
¯ 3  x
¯ 4        w      x 1 x 2       w      x
¯ 2 x x 4       w     x 1 x 2 x
¯ x
¯ 4
MDNK jaoks olid kontuurid
(1100)     =       1        w      1        w      0         w      1       =
selle võimaluse rikub ära  argumentvektor  1100   mille ruut on kaetud  kahe
   Instituut
kontuuriga   (ehk on kaetud  "kahekordselt" :   paarisarv-kordselt).
  =      1              1              0               1
MDNK-avaldises :
seega


    =       x
¯ 3  x
¯ 4        w      x 1 x 2       w      x
¯ 2 x x 4
    =      x
¯ 3  x
¯ 4             x 1 x 2             x
¯ 2 x x 4            x 1 x 2 x
¯ x
¯ 4
. . . .  ehk selline  DNK  sobib  Reed-Mulleri  polünoomi  leidmise
. . .  =   x3     x4     xxx4      xxxx4      xxx3      xxx4    
 
   1
lähteavaldiseks.
|______________________________________________________________________________|
võrdleme mõlema eelvaadeldud  DNK  keerukust :
mittelõikuvatest  kontuuridest saadud DNK  
(mille  eelnevalt  teisendasimegi edasi  polünoomiks) :
 f   =    x
¯x
¯     w     xxx4       w       xxxx
¯4       w     x
¯xx4
( avaldise keerukus  12 algtermi )
1-kordse   ja  3-kordse  katmiskordsusega  kontuuridevalikust saadud DNK :
     =      x
¯ 3  x
¯ 4        w      x 1 x 2       w      x
¯ 2 x x 4       w     x
¯ 1 x
¯ 2 x x 4
     TTÜ 
( avaldise keerukus  11 algtermi     kuid inversioone on siin rohkem ! )
|______________________________________________________________________________|
/¯¯  iseseisvaks  lahendamiseks :   ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ \
Leida  samale funktsioonile    Reed-Mulleri  polünoom   lähtudes
eelvaadatud  kontuuridevalikust :
x  x
3    4
x  x
1    2
00
01
11
10
Arvutitehnika 
00
1
1
01
1
11
1
1
1
1
10
1
1
. . . . ehk  lähtudes  DNK-avaldisest :
    =      x
¯ 3  x
¯ 4        w      x 1 x 2       w      x
¯ 2 x x 4       w     x 1 x 2 x
¯ x
¯ 4
   Instituut
. . . . edukal teisendamisel  (teistsugust teed pidi)  peab tulema  sama  
eelnevalt saadud polünoomavaldis :
Vasakule Paremale
Reed - Mulleri POLÜNOOM #1 Reed - Mulleri POLÜNOOM #2 Reed - Mulleri POLÜNOOM #3 Reed - Mulleri POLÜNOOM #4
Punktid Tasuta Faili alla laadimine on tasuta
Leheküljed ~ 4 lehte Lehekülgede arv dokumendis
Aeg2015-02-08 Kuupäev, millal dokument üles laeti
Allalaadimisi 40 laadimist Kokku alla laetud
Kommentaarid 0 arvamust Teiste kasutajate poolt lisatud kommentaarid
Autor Protect Õppematerjali autor

Sarnased õppematerjalid

KARNAUGH-KAARDID
24
pdf

KARNAUGH' KAARDID

KARNAUGH' KAARDID Karnaugh' kaart on funktsiooni tõeväärtustabeli sihipärane topoloogiline ümberpaigutus tasandil või ruumis. T Ü Tõeväärtustabeli igale reale vastab kaardil üks ruut. T Karnaugh' kaartide topoloogia 2muutuja Karnaugh' kaart on tabel mõõtmetega 2  2 (või 1  4) ruutu ; 3muutuja Karnaugh' kaart on tabel mõõtmetega 2  4 = 8 ruutu ; 4muutuja Karnaugh' kaart on tabel mõõtmetega 4  4 = 16 ruutu ; e h n ik a t või i 6 - muutuja Karnaugh' kaart v ut Karnaugh' kaartide põhiomadused r 2 - muutuja 3 - muutuja 4 - muutuja Karnaugh' kaart Karnaugh

Matemaatika
KARNAUGH-KAARDID
18
pdf

KARNAUGH' KAARDID

/¯¯ ülesanne: ¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯ 1. Katame kaardil asuvad 1de ruudud suurimate kontuuridega, kasutades seejuures võimalikult vähe kontuure. ( 0-lle ei tohi valida 1-de kontuuridesse ) 2. Määramatuse ruute tohib seejuures kontuuridega katta, kuid ei pea katma. Ü Määramatusi katame kontuuridega ainult siis, kui see aitab kasvatada T Leida Karnaugh' kaardiga MDNK MKNK 4-muutuja funktsioonile: veelgi suuremaks mõnda niikuinii vajalikku kontuuri. T f ( x1 . . . x4 ) =  ( 1, 4, 5, 9, 11, 12, 1

Matemaatika
Diskreetne matemaatika 1-Kodutöö
16
docx

Diskreetne matemaatika 1. Kodutöö

= (xx1 xx2x3 V x1xx2 xx3) V (xx1 xx2x3 V x1xx2xx3 V x2)= = [(x1 V x2 V xx3)(xx1 V x2 V x3)(xx2)](xx1 xx2x3 V x1xx2 xx3) V (xx1 xx2x3 V x1xx2 xx3)[(x1 V x2 V xx3)(xx1 V x2 V x3)]= = (x1xx2x3 V xx1 xx2 xx3)(xx1 xx2x3 V x1xx2 xx3) V (xx1 xx2x3 V x1xx2 xx3)(x1x2 V x1x3 V xx1x2 V x2x3 V xx1 xx3 V x2xx3) = = x1xx2x3 V x1x2 V x1x2x3 V xx1x2 V x2x3 V xx1x2xx3 V x2xx3 = x1x3 V x2 11. Leida MDNK-ga loogiliselt võrdne Reed-Mulleri polünoom vabalt valitud meetodiga. Leian Reed-Mulleri polünoomi Karnaugh kaardi abil. MDNK Karnaugh’ kaart: 7 1de piirkond on juba kaetud minimaalse arvu võimalikult suurte kontuuridega, niimoodi et iga „1“ on kaetud paaritu arvu kontuuridega. Seega kehtib võrdus: 0 V 0 V 1 = 0 ⊕ 0 ⊕ 1. Järelikult:

Diskreetne matemaatika
Diskreetne matemaatika
19
docx

Diskreetne matemaatika

(x2 x3 v x1 x 3 ) ⊕ (x2 x 3 v x1 x 3 v x1 x2 x4 v x 1 x 2 x3 x4 ) = = !(x2 x3 v x1 x 3 )(x2 x 3 v x1 x 3 v x1 x2 x4 v x 1 x 2 x3 x4 ) v v(x2 x3 v x1 x 3 ) *!(x2 x 3 v x1 x 3 v x1 x2 x4 v x 1 x 2 x3 x4 ) = ( x 1 x2 x 3 + x 1 x 2 x3 x4) v v ( x 1 x2 x3 + x2 x3 x 4 ) = x 1 x2 + x 1 x3 x4 + x2 x3 x 4 18 ÜLESANNE 11 REED-MULLERI POLÜNOOM Leida ja esitada ülesandes 3 saadud MDNK-ga loogiliselt võrdne Reed- Mulleri polünoom. 𝒇(xMDNK(x1x2x3x4) = x2 x 3 v x1 x 3 v x1 x2 x4 v x 1 x 2 x3 x4 Leiame MDNK-le Reed-Mulleri polünoomi, teades, et a∨b=ab ab ja c =c ⊕ 1 : 𝒇(xMDNK(x1x2x3x4) = x2 x 3 v x1 x 3 v x1 x2 x4 v x 1 x 2 x3 x4 = = x2 (x3 ⊕ 1) ⊕ x1 (x3 ⊕ 1) ⊕ x1 x2 x4 ⊕ (x1 ⊕ 1) (x2 ⊕ 1) x3 x4 = X2 x3 ⊕ x2 ⊕ x1 x3 ⊕ x1 ⊕ x1 x2 x4 ⊕ (x1 ⊕ 1)(x2 x3 x4 ⊕ x3 x4)= = X2 x3 ⊕ x2 ⊕ x1 x3 ⊕ x1 ⊕ x1 x2 x4 ⊕ x1 x2 x3 x4 ⊕ x1 x3 x4 ⊕ x2 x3 x4 ⊕ x3 x4

Diskreetne matemaatika
Diskreetse matemaatika kodutöö-2011
11
docx

Diskreetse matemaatika kodutöö (2011)

8. Teha punktis 2 saadud MDNK-le Shannoni konjunktiivne arendus vabaltvalitud 2he muutuja järgi. f (x1, x2, x3, x4) = Shannoni konjuktiivne arendus x3 x4 järgi: f (x1, x2, x3, x4) = ( f (x1, x2, 0, 0)) & & ( f (x1, x2, 0, 1)) ( f (x1, x2, 1, 0)) & & ( f (x1, x2, 1, 1)) = = ( ( )) ( ()) & & ( ()) ( ()) 9. Leida ja esitada punktis 2 saadud MDNK-ga loogiliselt võrdne Reed- Mulleri polünoom. f (x1, x2, x3, x4) = Reed-Mulleri polünoomi saab Karnaugh' kaardilt mittekattuvate kontuuridega kaetud 1-de piirkondade välja kirjutamisel ja saadud DNKs kõik disjunktsioonid -ga asendades (ning silmas pidades seda, et = x ). x3x4 00 01 11 10 x1x2 00 1 0 0 1 01 0 1 1 0 11 1 0 1 0

Diskreetne matemaatika
Diskreetne matemaatika I
18
pdf

Diskreetne matemaatika I

  x1 x2 x3  x1 x2 x3  x1 x3  x1 x2 x3  x1 x2  x3 x2  x1 x 2 x3  x2 x3  x2 x1 x3  x2 x3  x1 x2 x3     x1 x2 x3  x1 x2  x1 x2 x3  x1 x2  x2 x1 x3  x1 x2 x3  x1 x2 x3  x1 x2 x3  x2 x3    x1 x2 x3  x2 x1 x3  x1 x2 x3  x 2 x1 x3  x2 x3  x1 x2 x3   x2 x3  x1 x2 x3 11. Reed-Mulleri polünoom Avaldis: f(x1,x2,x3,x4)= ∑ (0, 2, 3, 5, 13, 14, 15)1 (4, 11)_ Karnaugh’ kaart: x3x4 00 01 11 10 x1x2 1 0 00 1 1 1 01 - 0 0

Diskreetne matemaatika
Diskreetse matemaatika kodutöö 2009
7
doc

Diskreetse matemaatika kodutöö 2009

f = [x3 V x4 V (1 ×x1x2 V 0 × x1 x2 V 0 ×x1 x 2 V 0 ×1 × x1 )]& &[x3 V x 4 V (1 ×x1x2 V 0 ×x1 x 2 V 1 × x1 x2 V 1 ×1 × x1 )]&[ x3 V x4 V (0×x1x2 V 1 ×x1 x 2 V 0 × x1 x2 V 0 ×0 × x1 )] & [ x3 V x 4 V (0×x1x2 V 1 ×x1 x 2 V 1 × x1 x2 V 0 ×1 × x1 )] = (x3V x4V x1x2) &(x3V x 4 V x1x2 V x1 x2 V x1 )&( x3 V x4 V x1 x 2 )&( x3 V x 4 V x1 x 2 V x1 x2) ÜLESANNE 9 Leida ja esitatada punktis 2 saadud MDNK-ga loogiliselt võrdne Reed-Mulleri polünoom. Reed-Mulleri polünoomi leidmiseks kasutan Karnaugh' kaarti. Karnaugh' kaardi täitmiseks kasutan samasid andmeid, kui MDNK leidmiseks. (määran määramatused võrdselt). x3x4 00 01 11 10 x1x2 00 0 0 0 1 01 1 0 0 1 11 0 0 1 1 10 1 1 0 0 Leian konstandid. 1) Intervall 100- konstandid x1=1 x2=0 x3=0 x1 x 2 x3 2) Intervall 111- konstandid x1=1 x2=1 x3=1 x1x2x3

Diskreetne matemaatika
Diskreetne Matemaatika kodutöö
9
docx

Diskreetne Matemaatika kodutöö

Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ Teet Järv 123795 IATB 2012 1. Ülesanne Matrikli number on: 123795 16nd süsteemi teisendatuna on see: 1E393 Teisendades see 8-kohaliseks: 102328D1 <- siit saab ühtede piirkonna 1-de piirkond: 0,1,2,3,8,13 Viimaks jagan 11-ga: F30266 <- siit saab määramatuspiirkonna (mis pole juba ühtede piirkonnas) Määramatuspiirkond: 6,15 Seega oleks matriklinumbrile 123795 vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses:

Diskreetne matemaatika




Meedia

Kommentaarid (0)

Kommentaarid sellele materjalile puuduvad. Ole esimene ja kommenteeri



Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun