Zalety. Wady. o prosty
|
|
- Henryk Brzeziński
- 5 lat temu
- Przeglądów:
Transkrypt
1 Zlety o posty o szyki Wdy o nieefektywny, gdy pwdopodoieństwo wystąpieni jednego z symoli lfetu źódł jest duże (le możn kodowć ciągi symoli) o dwupzeiegowy (koszt tnsmisji modelu może yć duży, nie do zstosowni wpost do kodowni on-line)
2 Użycie lgoytmu Huffmn w dptcyjnym modelu jest możliwe Metod ute-foce kżdozowo po zkodowniu symolu uduj od now dzewo Huffmn ( Uwg n Zeo Fequency Polem )... le w pktyce zyt kosztowne Ale mmy lgoytm geneujący kod zliżony do kodu Huffmn, ndjący się do zstosowni w lgoytmie dptcyjnym. Dzewo Huffmn udowne jest pzyostowo możliw jest ktulizcj modelu zostł wynleziony niezleżnie pzez Flle i Gllge udoskonlony pzez Comck i Hospool oz (niezleżnie) pzez Knuth nstępnie udoskonlony pzez Vitte
3 N czym poleg? Budujemy pzyostowo dzewo inne, któego węzły zwieją liczniki częstości, liście są dodtkowo skojzone z symolmi lfetu źódł Dzewo m włsność odzeństw, gdy:. kżdy węzeł nie ędący liściem m potomków;. pzechodząc węzły w kolejności z góy do dołu, n dnym poziomie od pwej do lewej, otzymmy ciąg węzłów o nieosnących licznikch. Dzewo mjące włsność odzeństw jest dzewem Huffmn (tw. Flle- Gllge)
4 Pzykłd: dzewo mjące włsność odzeństw c d
5 Budowne dzewo zwie liść (-węzeł) epezentujący wszystkie symole, któe jeszcze nie wystąpiły w kodownym ciągu Kodownie ozpoczynmy od dzew skłdjącego się wyłącznie z - węzł Używmy pomocniczej stuktuy węzły, listy dwukieunkowej zwiejącej węzły dzew upoządkowne w kolejności pzeglądni dzew z góy do dołu, n dnym poziomie od pwej do lewej Podlistę listy węzły skłdjącą się z wszystkich węzłów o wtości licznik i nzywmy lokiem-i, piewszy węzeł tkiego loku lideem
6 DynmiczneKodownieHuffmnFGK(symol s) p = liść zwiejący symol s; wypowdź słowo kodowe dl s (*); if p jest -węzłem utwóz nowy węzeł q dl symolu s; q.licznik = ; p = nowy węzeł w miejscu -węzł ędący odzicem -węzł i węzł q; p.licznik = ; else p.licznik++; endif while p nie jest kozeniem if p nusz włsność odzeństw if lide loku-i zwiejącego p nie jest odzicem p zmień p z lideem; endif endif p = odzic(p); p.licznik++; endwhile
7 p p q q Pzykłd: kodujemy ciąg, wstwienie symolu
8 p p wstwienie symolu (pzywóć włsność odzeństw)
9 3 p p wstwienie symolu
10 3 3 3 p p ponowne wstwienie symolu (pzywóć włsność odzeństw)
11 3 4 p p ponowne wstwienie symolu (pzywóć włsność odzeństw)
12 4 postć dzew po pzetwozeniu ciągu
13 Dodtkowe złożenie: w loku-i węzłów njpiew znjdują się węzły wewnętzne, później liście minimlizujemy głęokość dzew dziej złożone stje się pzywcnie włsności odzeństw ciąg o długości s zkodujemy n nie więcej niż h+s itch, gdzie h to licz itów dl kodowni sttycznego Huffmn
14 Algoytm dptcyjny możn zudowć z kilku stłych modeli Ale po kolei... Zmodyfikowne kody inne Rodzin kodów Golom Rodzin kodów Golom-Rice Model dnych dl pmetycznej odziny kodów (model lgoytmu FELICS)
15 Pefiksowy kod dl skończonego lfetu, np. dl licz.. j- słow kodowe o długości log(j) lu log (j) itów, gdzie j to ozmi lfetu włściwie to odzin kodów (długość słow kodowego kodu innego dl lfetu j symoli to log(j) ) Symol Alfet
16 Geneownie słow kodowego kodujemy liczę i zmodyfikownym kodem innym dl licz.. j, pzyjmijmy N = log(j) i n = N jeżeli i < n j zkoduj i z pomocą N -itowego kodu innego else zkoduj i + n j z pomocą N -itowego kodu innego Włsności zmodyfikownego kodu innego długość słow kodowego: log(j) lu log (j) dl j = N kod stje się N -itowym kodem innym licz dłuższych słów kodowych jest zwsze pzyst
17 pmetyczn odzin kodów pzeznczon do kodowni nieujemnych licz cłkowitych nieskończon pmetem kodu jest cłkowite m, m > zwie kody optymlne dl wykłdniczego ozkłdu pwdopodoieństw symoli (dl niektóych pmetów ozkłdu) (ndje się do źódeł o ozkłdzie nieosnącym) słow kodowe łtwe w genecji i dekodowniu
18
19 Geneownie słow kodowego kodujemy liczę x kodem Golom z pmetem m np. 8 kodem Golom z pmetem 3 pefiks słow: x/m 8/3 = zkodowne unnie (kod α Elis) sufiks słow: x mod m 8 mod 3 = zkodowne zmodyfikownym kodem innym dl pzedziłu [, m ]
20
21 Jest to szczególny pzypdek kodu Golom zuwżony już pzez Golom i niezleżnie od niego odkyty pzez Rice. Kody Golom są szczególnie poste, gdy m = k kodujemy liczę x kodem Golom-Rice z pmetem k pefiks słow: x/ k zkodowne unnie (kod α Elis) x >> k sufiks słow: x mod k zkodowne zmodyfikownym kodem innym dl pzedziłu [, m ] k njmniej znczących itów x
22 Dl skończonego lfetu używmy tylko części nieskończonej odziny. Pzyjmijmy ozmi lfetu N dl odziny Golom kody o m > N- mją słow kodowe wszystkich symoli lfetu dłuższe od kodu o m = N- dl kodów Golom- Rice kody o k > N mją słow wszystkich symoli lfetu dłuższe od kodu o k = N sensowne jest używnie początkowych N- kodów sensowne jest używnie początkowych N kodów (k =.. N )
23
24 Rodziny Golom-Rice możn użyć do kodowni ciągów symoli o wykłdniczym ozkłdzie pwdopodoieństw. (ozkłd często spotykny w kompesji ozów, dźwięków... ) Jeżeli pmet ozkłdu jest nieznny, lu zmieni się w tkcie pcy źódł to pmet kodu Golom-Rice tze doieć dptcyjnie. Jk to zoić? Wyiejmy ten kod, któy jest njlepszy dl już pzetwozonych symoli Jk to zoić?
25 Algoytm modelowni zstosowny pzez Howd i Vitte w lgoytmie ezsttnej kompesji ozów FELICS. Ide Dl kżdego kodu z odziny utzymuj licznik (tlic liczników) licznik liczy itów, któą y uzyskno, kodując dotychczs pzetwozoną część ciągu tym kodem. Po zkodowniu symolu zwiększ licznik kżdego z kodów o długość słow kodowego włśnie zkodownego symolu w kodzie odpowidjącym licznikowi Do kodowni symolu użyj kodu o njmniejszym liczniku
26 Udoskonlenie: okesowo, gdy wtość njmniejszego z liczników pzekoczy pewien póg, podziel wszystkie liczniki pzez unikniemy pzepełnieni zwiększymy znczenie symoli kodownych niedwno Ww. metod to tylko część cłego lgoytmu (i tylko część modelu) Metod z FELICS ndje się do kżdej odziny Jeszcze postsz metod istnieje dl odziny Golom-Rice zstosown pzez Weinege, Seoussi, Spio w lgoytmie LOCO(JPEG-LS) niezleżnie od ozmiu lfetu mmy liczniki (licznik zkodownych symoli i licznik sumy wtości tych symoli)
27 Wto się zpoznć Ide kodowni ytmetycznego Koncepcj implementcji dl licz o ogniczonej pecyzji Wyne lgoytmy MQ-Code Rnge-Code Szyki model dl kode ytmetycznego
Definicja. Jeśli. wtedy
Definicja Jeśli wtedy Cel kompresji: zredukowanie do minimum oczekiwanego (średniego) kosztu gdzie l i jest długością słowa kodu c i kodującego symbol a i Definicja Definicje Efektywność kodowania określamy
Bardziej szczegółowoKodowanie liczb. Kodowanie stałopozycyjne liczb całkowitych. Niech liczba całkowita a ma w systemie dwójkowym postać: Kod prosty
Kodownie licz Kodownie stłopozycyjne licz cłkowitych Niech licz cłkowit m w systemie dwójkowym postć: nn 0 Wtedy może yć on przedstwion w postci ( n+)-itowej przy pomocy trzech niżej zdefiniownych kodów
Bardziej szczegółowoAlgorytmy kodowania słownikowego. Kodowanie ze słownikiem dynamicznym (LZ77, LZ78, LZSS, LZW) Zastosowania
Algoytmy oowni słowniowego Koownie ze słowniiem ynmicznym (LZ77, LZ78, LZSS, LZW) Zstosowni Koownie słowniowe - zs Chcemy zoowć znie ngielsie: A goo exmple of how ictiony se compession wos Słowni: Longmn
Bardziej szczegółowoZADANIA AUTOMATY I JĘZYKI FORMALNE AUTOMATY SKOŃCZONE
ZADANIA AUTOMATY I JĘZYKI FORMALNE AUTOMATY SKOŃCZONE DAS Deterministyczny Automt Skończony Zdnie Niech M ędzie DAS tkim że funkcj przejści: Q F ) podj digrm stnów dl M ) które ze słów nleżą do język kceptownego
Bardziej szczegółowoZnajdowanie analogii w geometrii płaskiej i przestrzennej
Gimnzjum n 17 im. Atu Gottge w Kkowie ul. Litewsk 34, 30-014 Kków, Tel. (12) 633-59-12 Justyn Więcek, Atu Leśnik Znjdownie nlogii w geometii płskiej i pzestzennej opiekun pcy: mg Doot Szczepńsk Kków, mzec
Bardziej szczegółowo4.6. Gramatyki regularne
4.6. Grmtyki regulrne G = < N,T,P,Z > jest grmtyką prwostronnie liniową, jeśli jej produkcje mją postć: ( i) U xv x T * U,V N ( ii) U x G = < N,T,P,Z > jest grmtyką prwostronnie regulrną, jeśli jej produkcje
Bardziej szczegółowoAlgebra Boola i podstawy systemów liczbowych. Ćwiczenia z Teorii Układów Logicznych, dr inż. Ernest Jamro. 1. System dwójkowy reprezentacja binarna
lger Bool i podstwy systemów liczowych. Ćwiczeni z Teorii Ukłdów Logicznych, dr inż. Ernest Jmro. System dwójkowy reprezentcj inrn Ukłdy logiczne operują tylko n dwóch stnch ozncznymi jko zero (stn npięci
Bardziej szczegółowoAlgorytmy kodowania słownikowego
Algoytmy oowni słowniowego 1. Koownie ze słowniiem sttycznym 2. Koownie ze słowniiem ynmicznym (LZ77, LZ78, LZSS, LZW) 3. Zstosowni Algoytmy entopijne i słowniowe Do tej poy lgoytmy entopijne Uywj moeli
Bardziej szczegółowo4.5 Deterministyczne i zupełne automaty Moore a i Mealy ego
4.5 Deterministyczne i zupełne utomty Moore i Mely ego Automty Moore i Mely ego ędziemy rozwżć tylko w rsji deterministycznej i zupełnej. W definicjch tych utomtów nie pojwi się pojęcie ów końcowych, z
Bardziej szczegółowoSieć odwrotna. Fale i funkcje okresowe
Sieć odwotn Fle i funkcje okesowe o Wiele obiektów w pzyodzie d; o Różne fle ozchodzą się w pzestzeni (zówno w póżni jk i w mteii); o Aby mtemtycznie opisć tkie okesowe zminy stosuje się funkcje sinus
Bardziej szczegółowoMETODY HODOWLANE - zagadnienia
METODY HODOWLANE METODY HODOWLANE - zgdnieni. Mtemtyczne podstwy metod odowlnyc. Wtość cecy ilościowej i definicje pmetów genetycznyc. Metody szcowni pmetów genetycznyc 4. Wtość odowln cecy ilościowej
Bardziej szczegółowo4.3. Przekształcenia automatów skończonych
4.3. Przeksztłceni utomtów skończonych Konstrukcj utomtu skończonego (niedeterministycznego) n podstwie wyrżeni regulrnego (lgorytm Thompson). Wejście: wyrżenie regulrne r nd lfetem T Wyjście : utomt skończony
Bardziej szczegółowoJĘZYKI FORMALNE I AUTOMATY SKOŃCZONE
ZBIÓR ZADAŃ do WYKŁADU prof. Tdeusz Krsińskiego JĘZYKI FORMALNE I AUTOMATY SKOŃCZONE rozdził 2. Automty skończone i języki regulrne Wyrżeni i języki regulrne Zdnie 2.1. Wypisz wszystkie słow nleżące do
Bardziej szczegółowoWstęp Statyczne kody Huffmana Dynamiczne kody Huffmana Praktyka. Kodowanie Huffmana. Dawid Duda. 4 marca 2004
4 marca 2004 Podstawowe oznaczenia i definicje Wymagania wobec kodu Podstawowa idea Podsumowanie Podstawowe oznaczenia i definicje Podstawowe oznaczenia i definicje: alfabet wejściowy: A = {a 1, a 2,...,
Bardziej szczegółowoMatematyczne Podstawy Informatyki
Mtemtyczne Podstwy Informtyki dr inż. Andrzej Grosser Instytut Informtyki Teoretycznej i Stosownej Politechnik Częstochowsk Rok kdemicki 2013/2014 Podstwowe pojęci teorii utomtów I Alfetem jest nzywny
Bardziej szczegółowoNierówność Krafta-McMillana, Kodowanie Huffmana
Nierówność Krafta-McMillana, Kodowanie Huffmana Kodowanie i kompresja informacji - Wykład 2 1 marca 2010 Test na jednoznaczna dekodowalność Kod a jest prefiksem kodu b jeśli b jest postaci ax. x nazywamy
Bardziej szczegółowoZadania do rozdziału 7.
Zdni do ozdziłu 7. Zd.7.. wiezchołkch kwdtu o okch umieszczono ednkowe łdunku. Jki łdunek o znku pzeciwnym tze umieścić w śodku kwdtu y sił wypdkow dziłąc n kżdy łdunek ył ówn zeu? ozwiąznie: ozptzmy siły
Bardziej szczegółowoPodstawy programowania obiektowego
1/3 Podstwy progrmowni oiektowego emil: m.tedzki@p.edu.pl stron: http://rgorn.p.ilystok.pl/~tedzki/ Mrek Tędzki Wymgni wstępne: Wskzn yły znjomość podstw progrmowni strukturlnego (w dowolnym języku). Temty
Bardziej szczegółowoPodstawy układów logicznych
Podstwy ukłdów logicznych Prw logiki /9 Alger Boole Prw logiki WyrŜeni i funkcje logiczne Brmki logiczne Alger Boole /9 Alger Boole' Powszechnie stosowne ukłdy cyfrowe (logiczne) prcują w oprciu o tzw.
Bardziej szczegółowoStruktura danych = system relacyjny U, U uniwersum systemu - zbiór relacji (operacji) na strukturze danych
Temat: Stuktuy dzewiste 1. Stuktua słownika { } I Stuktua danych = system elacyjny U, i i U uniwesum systemu { i } i I - zbió elacji (opeacji) na stuktuze danych Fomalna definicja stuktuy danych składa
Bardziej szczegółowoKONKURS MATEMATYCZNY. Model odpowiedzi i schematy punktowania
KONKURS MATEMATYCZNY dl uczniów gimnzjów orz oddziłów gimnzjlnych województw mzowieckiego w roku szkolnym 2018/2019 Model odpowiedzi i schemty punktowni Z kżde poprwne i pełne rozwiąznie, inne niż przewidzine
Bardziej szczegółowoWyznacznikiem macierzy kwadratowej A stopnia n nazywamy liczbę det A określoną następująco:
Def.8. Wyzncznikiem mcierzy kwdrtowej stopni n nzywmy liczbę det określoną nstępująco:.det.det dl n n det det n det n, gdzie i j ozncz mcierz, którą otrzymujemy z mcierzy przez skreślenie i- tego wiersz
Bardziej szczegółowoProgramy współbieżne
Specyfikownie i weryfikownie Progrmy współieżne Mrek A. Bednrczyk, www.ipipn.gd.pl Litertur wiele prc dostępnych w Sieci np.: http://www.wikipedi.org/ Specyfikownie i weryfikcj progrmy współieżne PJP Prosty
Bardziej szczegółowoAlgebra macierzowa. Akademia Morska w Gdyni Katedra Automatyki Okrętowej Teoria sterowania. Mirosław Tomera 1. ELEMENTARNA TEORIA MACIERZOWA
kdemi Morsk w Gdyni Ktedr utomtyki Okrętowej Teori sterowni lger mcierzow Mirosłw Tomer. ELEMENTRN TEORI MCIERZOW W nowoczesnej teorii sterowni rdzo często istnieje potrze zstosowni notcji mcierzowej uprszczjącej
Bardziej szczegółowoWykład 2. Granice, ciągłość, pochodna funkcji i jej interpretacja geometryczna
1 Wykłd Grnice, ciągłość, pocodn unkcji i jej interpretcj geometryczn.1 Grnic unkcji. Grnic lewostronn i grnic prwostronn unkcji Deinicj.1 Mówimy, że liczb g jest grnicą lewostronną unkcji w punkcie =,
Bardziej szczegółowo4. RACHUNEK WEKTOROWY
4. RACHUNEK WEKTOROWY 4.1. Wektor zczepiony i wektor swoodny Uporządkowną prę punktów (A B) wyznczjącą skierowny odcinek o początku w punkcie A i końcu w punkcie B nzywmy wektorem zczepionym w punkcie
Bardziej szczegółowoPrzetwarzanie i transmisja danych multimedialnych. Wykład 3 Kodowanie Shannona Fano i Huffmana. Przemysław Sękalski.
Przetwarzanie i transmisja danych multimedialnych Wykład 3 Kodowanie Shannona Fano i Huffmana Przemysław Sękalski sekalski@dmcs.pl Politechnika Łódzka Katedra Mikroelektroniki i Technik Informatycznych
Bardziej szczegółowoMaciej Grzesiak. Iloczyn skalarny. 1. Iloczyn skalarny wektorów na płaszczyźnie i w przestrzeni. a b = a b cos ϕ. j) (b x. i + b y
Mciej Grzesik Iloczyn sklrny. Iloczyn sklrny wektorów n płszczyźnie i w przestrzeni Iloczyn sklrny wektorów i b określmy jko b = b cos ϕ. Bezpośrednio z definicji iloczynu sklrnego mmy, że i i = j j =
Bardziej szczegółowoWYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA
Mteriły do wykłdu MATEMATYKA DYSKRETNA dl studiów zocznych cz. Progrm wykłdu: KOMBINATORYKA:. Notcj i podstwowe pojęci. Zlicznie funkcji. Permutcje. Podziory zioru. Podziory k-elementowe. Ziory z powtórzenimi
Bardziej szczegółowoPrzekształcenia automatów skończonych
Przeksztłceni utomtów skończonych Teori utomtów i języków formlnych Dr inŝ. Jnusz Mjewski Ktedr Informtyki Konstrukcj utomtu skończonego n podstwie wyrŝeni regulrnego (lgorytm Thompson) Wejście: wyrŝenie
Bardziej szczegółowoKODY SYMBOLI. Kod Shannona-Fano. Algorytm S-F. Przykład S-F
KODY SYMBOLI Kod Shannona-Fano KODOWANIE DANYCH, A.Przelaskowski Metoda S-F Kod Huffmana Adaptacyjne drzewo Huffmana Problemy implementacji Kod Golomba Podsumowanie Kod drzewa binarnego Na wejściu rozkład:
Bardziej szczegółowoKompresja bezstratna. Entropia. Kod Huffmana
Kompresja bezstratna. Entropia. Kod Huffmana Kodowanie i bezpieczeństwo informacji - Wykład 10 29 kwietnia 2013 Teoria informacji Jeśli P(A) jest prawdopodobieństwem wystapienia informacji A to niech i(a)
Bardziej szczegółowoMetoda prądów obwodowych
Metod prądów owodowyh Zmenmy wszystke rzezywste źródł prądowe n npęowe, Tworzymy kłd równń lnowyh opsjąyh poszzególne owody. Dowolną seć lnową skłdjąą sę z elementów skponyh możn opsć z pomoą kłd równń
Bardziej szczegółowoVI. Rachunek całkowy. 1. Całka nieoznaczona
VI. Rchunek cłkowy. Cłk nieoznczon Niech F : I R i f : I R będą funkcjmi określonymi n pewnym przedzile I R. Definicj. Funkcję F nzywmy funkcją pierwotną funkcji f n przedzile I, gdy F (x) = f(x) dl x
Bardziej szczegółowoKompresja danych kodowanie Huffmana. Dariusz Sobczuk
Kompresja danych kodowanie Huffmana Dariusz Sobczuk Plan wykładu Kodowanie metodą Shannona-Fano Kodowanie metodą Huffmana Elementarny kod Golomba Kod Golomba Kod Rice a kompresja danych 2 Efektywny kod
Bardziej szczegółowoczęść 15 struktury rekurencyjne i ich zastosowania listy Jarosław Gramacki Instytut Informatyki i Elektroniki
Język ANSI C część struktury rekurencyjne i ich zstosowni listy Jrosłw Grmcki Instytut Informtyki i Elektroniki struktury mogą zwierć w sobie definicje "rekurencyjne" czyli wskźniki do siebie smych dzięki
Bardziej szczegółowoKARTA WZORÓW MATEMATYCZNYCH. (a + b) c = a c + b c. p% liczby a = p a 100 Liczba x, której p% jest równe a 100 a p
KRT WZORÓW MTEMTYZNY WŁSNOŚI DZIŁŃ Pwo pzemiennośi dodwni + = + Pwo łąznośi dodwni + + = ( + ) + = + ( + ) Pwo zemiennośi mnoŝeni = Pwo łąznośi mnoŝeni = ( ) = ( ) Pwo ozdzielnośi mnoŝeni względem dodwni
Bardziej szczegółowoModelowanie i obliczenia techniczne. Metody numeryczne w modelowaniu: Różniczkowanie i całkowanie numeryczne
Modelownie i obliczeni techniczne Metody numeryczne w modelowniu: Różniczkownie i cłkownie numeryczne Pochodn unkcji Pochodn unkcji w punkcie jest deiniown jko grnic ilorzu różnicowego (jeżeli istnieje):
Bardziej szczegółowoWyrównanie sieci niwelacyjnej
1. Wstęp Co to jest sieć niwelcyjn Po co ją się wyrównje Co chcemy osiągnąć 2. Metod pośrednicząc Wyrównnie sieci niwelcyjnej Metod pośrednicząc i metod grpow Mmy sieć skłdjącą się z szereg pnktów. Niektóre
Bardziej szczegółowoUszczelnienie przepływowe w maszyn przepływowych oraz sposób diagnozowania uszczelnienia przepływowego zwłaszcza w maszyn przepływowych
Uszczelnienie przepływowe w mszyn przepływowych orz sposób dignozowni uszczelnieni przepływowego zwłszcz w mszyn przepływowych Przedmiotem wynlzku jest uszczelnienie przepływowe mszyn przepływowych orz
Bardziej szczegółowoAlgorytmy graficzne. Filtry wektorowe. Filtracja obrazów kolorowych
Algorytmy grficzne Filtry wektorowe. Filtrcj orzów kolorowych Filtrcj orzów kolorowych Metody filtrcji orzów kolorowych możn podzielić n dwie podstwowe klsy: Metody komponentowe (component-wise). Cechą
Bardziej szczegółowoSTATYSTYKA MATEMATYCZNA
STATYSTYKA MATEMATYCZNA Woskowe sttstcze - egesj koelcj teść Wpowdzee Regesj koelcj low dwóch zmech Regesj koelcj elow - tsfomcj zmech Regesj koelcj welokot Wpowdzee Jedostk zoowośc sttstczej mogą ć chktezowe
Bardziej szczegółowomgh. Praca ta jest zmagazynowana w postaci energii potencjalnej,
Wykłd z fizyki. Piot Posmykiewicz 49 6-4 Enegi potencjln Cłkowit pc wykonn nd punktem mteilnym jest ówn zminie jego enegii kinetycznej. Często jednk, jesteśmy zinteesowni znlezieniem pcy jką sił wykonł
Bardziej szczegółowoO pewnych zgadnieniach optymalizacyjnych O pewnych zgadnieniach optymalizacyjnych
Spis tresci 1 Spis tresci 1 W wielu zgdnienich prktycznych brdzo wżne jest znjdownie optymlnego (czyli njlepszego z jkiegoś punktu widzeni) rozwiązni dnego problemu. Dl przykłdu, gdybyśmy chcieli podróżowć
Bardziej szczegółowo4.2. Automat skończony
4.2. Automt skończony Przykłd: Rozwżmy język nd lfetem inrnym T = {0, } skłdjący się z łńcuchów zero-jedynkowych o tej włsności, że licz zer w kżdym łńcuchu jest przyst i licz jedynek w kżdym łńcuchu też
Bardziej szczegółowo1 Wprowadzenie do automatów
Dr inż. D.W. Brzeziński - Automty skończone, mszyn Turing. Lingwistyk mtemtyczn - ćwiczeni. Mteriły pomocnicze. Prowdzący: dr inż. Driusz W Brzeziński 1 Wprowdzenie do utomtów Automty skończone to urządzeni
Bardziej szczegółowoGramatyki regularne. Teoria automatów i języków formalnych. Dr inż. Janusz Majewski Katedra Informatyki
Grmtyki regulrne Teori utomtów i języków formlnych Dr inż. Jnusz Mjewski Ktedr Informtyki Grmtyki regulrne G = < V,Σ,P, > jest grmtyką prwostronnie liniową, jeśli jej produkcje mją postć: ( i ) U xw (
Bardziej szczegółowoMatematyka stosowana i metody numeryczne
Ew Pbisek Adm Wostko Piotr Pluciński Mtemtyk stosown i metody numeryczne Konspekt z wykłdu 0 Cłkownie numeryczne Wzory cłkowni numerycznego pozwlją n obliczenie przybliżonej wrtości cłki: I(f) = f(x) dx
Bardziej szczegółowo1 Definicja całki oznaczonej
Definicj cłki oznczonej Niech dn będzie funkcj y = g(x) ciągł w przedzile [, b]. Przedził [, b] podzielimy n n podprzedziłów punktmi = x < x < x
Bardziej szczegółowoAby opisać strukturę krystaliczną, konieczne jest określenie jej części składowych: sieci przestrzennej oraz bazy atomowej.
2. Struktury i pierwistki N zjęcich zjmiemy się pierwistkmi i strukturmi krystlicznymi. O ile w przypdku tych pierwszych, temt poruszny był w trkcie wykłdu, to drugie zgdnienie może wymgć krótkiego przybliżeni/przypomnieni.
Bardziej szczegółowoZadania. I. Podzielność liczb całkowitych
Zdni I. Podzielność liczb cłkowitych. Pewn liczb sześciocyfrow kończy się cyfrą 5. Jeśli tę cyfrę przestwimy n miejsce pierwsze ze strony lewej to otrzymmy nową liczbę cztery rzy większą od poprzedniej.
Bardziej szczegółowoŁ Ż Ó Ó Ż Ó Ę Ó Ó Ó Ó Ó Ę Ą Ż Ż Ż Ż Ż Ź Ó Ż Ó Ż Ż Ż Ą Ą Ż Ą ć Ż Ż Ó Ą Ó Ż Ó Ó Ą Ó Ż Ą Ż Ó Ó Ó Ę Ó Ż Ż Ż Ż Ż Ó Ą Ó Ą Ż Ź Ó Ż Ó Ó ÓŹ Ż Ć Ó Ó Ż Ź Ż Ó Ó Ą Ó Ź Ż Ż ź ź Ż ć ć Ó Ż Ó Ó Ż ź ć ź Ź ź Ż ź ć ć Ó ź
Bardziej szczegółowoż Ś ń ń ć Ś ć ó ó ń ń ń ó Ś ń ó ń Ś ź ó ź ń Ś ń ń ó ó ń ó ó ó ż ó Ź ó ó ó ó ó ó ó ż ń ó ż ó ć ó ć ó ń ń ó ć ó ź ć Ó ć ć ż ó ó ź ó Ś ć Ó ó ń ć ż ć ó ó ć ń ć ó ó ć ż Ó ó ń ć ń ń ż ó Ś ć ó ó ż ń ó ż ń ż ó
Bardziej szczegółowoŚ Ł Ś Ł Ś Ś Ę Ą Ó Ś Ó Ś Ę Ł Ś Ł Ś Ż ć ć Ż Ć Ó Ó ż Ó Ż Ó Ó ć Ś Ź Ó Ó ć Ó Ą Ó Ó Ó Ą Ó Ś Ę Ż ż Ń Ń ż ć Ę Ć Ń Ś Ź ż ż Ó ż Ó Ó Ó Ś Ż Ó Ś Ń Ś Ź Ą Ę Ł Ż Ż Ó Ż Ż Ó Ż Ó Ś Ę Ó Ą Ż ÓŻ Ó Ż Ś Ó Ó ż Ą ż Ś Ć Ł Ś Ó Ą
Bardziej szczegółowoĘ ć Ć Ś Ó Ó Ś Ł Ą Ą Ż ż Ł Ł Ż Ż ż Óż Ż ż ż Ę ż Ó ż Ę ć ż Ę Ź ż Ż ż ż ż ń ń ć ć ż ż Ż Ż Ś ż ż ń ż ń ż ż ń ż Ą ż ż Ę ć ć ć ż ń Ż Ż Ż ż Ę Ż ć ń Ż Ż ć Ę Ą Ą ć ć Ł Ą Ę Ą ć ż ć ż ć ć ż ć ć ż Ż ć Ą ż ć Ą Ą Ż
Bardziej szczegółowoŚ Ó Ą Ą Ą Ą Ż Ć Ł Ś ć ż Ł ż Ł ź Ś Ą Ł Ś Ż ź Ó Ś Ą Ó Ś ź Ł Ł ź Ł ź ć Ć Ą Ą Ą Ą ć ź Ą Ą Ż ż ć ć Ć Ą Ą Ą Ł Ó Ż Ó Ź Ń ź Ń ź Ą Ś Ż Ą Ł ż Ś Ś Ó ź ź Ń Ł ź Ż ź ź Ą ż ż Ą Ś Ą Ą Ą Ą Ą ź Ą Ą Ó ź Ś Ł Ł Ł ź
Bardziej szczegółowoĄ Ą Ś Ą Ł ż ż Ł Ł Ł Ł Ą ć ź Ą ż ż ć ć Ą ć ć Ł ź ż ż Ł Ł ź ź ż ż ć ć ż ż ż ż ć ż ż ż ż ć ż ż ż Ą ż ż ż ż ż ć ż ć ć Ł ż ż ż ż ż Ą ż ż ć ż ć ć ć Ó Ł ć ż Ł Ś Ś Ą Ł ź ć Ł ć Ś ź ż ć ź ź ź ż ż ź ż ż ć ż ć ż ć
Bardziej szczegółowoż Ó ż ć ż Ź Ż ć Ż Ż Ż ż Ó ć Ż ć ż ż ć ż Ó ż ć ż ż ć Ż Ż Ą ć ć ć Ż ć Ż Ż ć ć ż Ż ć ć ć Ż Ż ć Ł ć Ą ć ć ć ć ć ć ć ż ż ć ć ć ÓŻ ć ć Ż ć Ó ć ć ć ć ć ć ć Ł ć ć Ż Ż ż Ą ć ć ć Ż ć Ż Ą ć Ż ć Ż Ż ć Ż Ż ż Ż ż ć
Bardziej szczegółowoŚ ÓŹ ż Ś ń Ś Ś Óż Ż Ś Ś Ś Ś Ś Ś ń Ó Ó Ż ż Ż ń Ż Ś Ó ń Ś Ą Ą Ą Ś Ś Ź ń Ż ż Ż Ż Ę ż Ś Ś ż ń ń ń ż Ó Ż Ż ż ń ż ż Ż ż Ó ż ń ż ń ń Ż Ż Ś ń ń ż ż ń ń Ź Ż ń ż Ż Ę ń Ż ż Ź Ź ń ż Ź ż Ź ż ż Ż Ż Ó Ż Ż Ź ż Ż Ż Ż Ę
Bardziej szczegółowoć Ó Ó Ń ź Ą Ą Ć Ż Ń Ą Ó Ó Ó Ą Ż Ć Ż ć ć Ż Ó Ó Ć ć Ą Ą Ó Ą Ó Ź ć Ó Ó Ó Ż ć ń ń ń ć Ż Ź ć ń ó ó Ź Ó Ó Ó Ż Ó Ó ć Ó Ó Ż Ż Ż Ó Ż Ó Ą Ó Ó Ź Ż Ó Ą Ź ć Ą Ż Ż Ó Ń Ż Ó Ó Ź Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ó Ż Ó Ż Ż Ą
Bardziej szczegółowoŃ ź Ś Ó Ó ć Ś Ś ć ć Ę ć ć ć ć ć ć Ś ć ć Ś ć Ó ć ć Ść Ść Ś Ś ć Ć ć ć Ó Ą ć Ć ć Ź ć Ź ć Ź Ł Ł ć Ó Ó ć Ó Ó ć ć ć ć ć ć ć ć Ź Ś ć Ę ć ć ć ć Ł Ł ć Ź Ą Ę Ł Ó Ś Ą Ł Ł Ó Ć Ś Ś Ą Ź ć Ź Ś Ś Ś ć Ś Ś ć ć ć ć ć ć ź
Bardziej szczegółowoĘ ó ó ó Ó ź óź óź ó ć ó ó ó ó ń ó ń ć ó ć ń ó ć ó ć ó Ł ó ó ó Ą Ę ó ó ó ń ó ó ó ŚĆ ó ó ó ó ć ó ó ó ć ń ó ó ć ć ó ó ó ź ó ń ó ó ó ó ć ó ó ń ć ó ó ó ń ć ó ó ć ó ó ć ń ć ó ó ć ó ó ó ó ć ó ó ó ó ó ć ó ó ć
Bardziej szczegółowoÓ ż ż ż ż ż ż ż ż ć Ń Ą ż ż Ó Ź Ó Ą Ń ć ż ż ż ć ż ć ż ż ż ż ć ć ż ż ć Ą ż ż ć ć ż Ż Ą ż ć ź ć ć Ą ć ć ć Ą ć Ą ż Ł ż Ó ć ć Ź ż ć ż ź ż ż Ż ć Ó Ź Ó Ą ż Ó Ą ć Ą ż ć Ą Ó ż Ś Ś Ż Ś Ł Ń Ś ź Ó ć ż Ś ż ć ź Ś Ś
Bardziej szczegółowoĄ Ń Ż ź Ń Ą Ń Ą Ą ź ź Ó Ż ź ź Ó Ó Ć Ó Ó Ó Ć Ć ź ź Ż ź Ą Ź ź Ć Ć Ć Ó Ó Ó Ó Ó Ó ź Ó Ę Ó Ó Ę Ó Óź ź ź Ó Ó Ó Ó Ó Ó Ń Ź Ę ź ź Ó ź Ń Ę Ę Ę Ń ź Ę Ź Ó Ó Ó ź Ó Ę Ą Ó ź ź Ó Ó Ó Ó Ó ź Ó Ń Ó Ę ź Ż Ó Ó Ó Ę Ę Ó Ę Ć
Bardziej szczegółowoÓ Ó Ó Ś Ó Ą Ż ć Ą Ś Ś Ś Ł ć Ż Ż Ó ć Ę Ś Ó Ł Ę Ę Ż Ś Ł Ś Ó Ó Ó ź Ż Ó Ą Ę Ź ź Ą Ę Ó Ę Ż Ż ź Ó Ść Ż Ś Ś Ź Ż Ó Ś ŚĆ ć Ó Ż Ć Ó Ś Ż Ó Ę ć Ę ć Ó ć Ą Ó Ś Ł Ś ć Ż ź Ż Ó Ó Ż Ś Ó ć ć Ń Ę Ść Ó Ó Ó ÓŹ ź Ś Ś Ś ć Ś Ś
Bardziej szczegółowoWYKŁAD 5. Typy macierzy, działania na macierzach, macierz układu równań. Podstawowe wiadomości o macierzach
Mtemtyk I WYKŁD. ypy mcierzy, dziłni n mcierzch, mcierz ukłdu równń. Podstwowe widomości o mcierzch Ogóln postć ukłdu m równń liniowych lgebricznych z n niewidomymi x x n xn b x x n xn b, niewidome: x,
Bardziej szczegółowoPrace Koła Matematyków Uniwersytetu Pedagogicznego w Krakowie (2014)
Prce Koł Mt. Uniw. Ped. w Krk. 1 014), 1-5 edgogicznego w Krkowie PKoło Mtemtyków Uniwersytetu Prce Koł Mtemtyków Uniwersytetu Pedgogicznego w Krkowie 014) Bet Gwron 1 Kwdrtury Newton Cotes Streszczenie.
Bardziej szczegółowoNotatki z Analizy Matematycznej 4. Jacek M. Jędrzejewski
Nottki z Anlizy Mtemtycznej 4 Jcek M. Jędrzejewski ROZDZIAŁ 7 Cłk Riemnn 1. Cłk nieoznczon Definicj 7.1. Niech f : (, b) R będzie dowolną funkcją. Jeżeli dl pewnej funkcji F : (, b) R spełnion jest równość
Bardziej szczegółowoLista 4 Deterministyczne i niedeterministyczne automaty
Uniwersytet Zielonogórski Instytut Sterowni i Systemów Informtycznych Teoretyczne Podstwy Informtyki List 4 Deterministyczne i niedeterministyczne utomty Wprowdzenie Automt skończony jest modelem mtemtycznym
Bardziej szczegółowoď ź ź Ä Ď É Ě Ź Ą Ü Á Ą Ń Đ ő ý ý ő ý Ú Ä Á Ą ô Ó Ó ŕ đ ý Á Ą Đ í ő É ä Ä Ä Ď ď ŕ Ń ř ý ő Ú Á Ĺ Ą Ď Ó í úł ő Ł Ä Á Ą Ď Ó ŕ Ď ý ý ő ý ĄÁ Á Ą Ď Ń ŕ Ü ä ý ő ý ý Đ ý ő Ú ď Ä Ą Ą É Ó Ł ő ý ő ý ý ŕ ŕ Á Ą Ń É
Bardziej szczegółowoSymbol Newtona liczba wyborów zbioru k-elementowego ze zbioru n elementów. Symbol Newtona
B Głut Symol Newto Symol Newto licz wyoów ziou -elemetowego ze ziou elemetów ) ( A B B B t t żd dog: odciów do góy Ile ozwiązń m ówie: 4 6 gdzie i są ieujemymi liczmi cłowitymi? 9 84 4 4 5 Licz ozwiązń
Bardziej szczegółowoWSTĘP DO INFORMATYKI
Akdemi Górniczo-Hutnicz Wydził Elektrotechniki, Automtyki, Informtyki i Inżynierii Biomedycznej WSTĘP DO INFORMATYKI SYSTEMY KODOWANIA ORAZ REPREZENTACJA I ARYTMETYKA LICZB Adrin Horzyk www.gh.edu.pl SYSTEMY
Bardziej szczegółowoCAŁKOWANIE NUMERYCZNE
Wprowdzenie Kwdrtury węzły równoodległe Kwdrtury Guss Wzory sumcyjne Trnsport, studi niestcjonrne I stopni, semestr I rok kdemicki 01/013 Instytut L-5, Wydził Inżynierii Lądowej, Politechnik Krkowsk Ew
Bardziej szczegółowoZadanie 5. Kratownica statycznie wyznaczalna.
dnie 5. Krtownic sttycznie wyznczln. Wyznczyć wrtości sił w prętch krtownicy sttycznie wyznczlnej przedstwionej n Rys.1: ). metodą nlitycznego równowżeni węzłów, ). metodą gricznego równowżeni węzłów;
Bardziej szczegółowoWprowadzenie: Do czego służą wektory?
Wprowdzenie: Do czego służą wektory? Mp połączeń smolotowych Isiget pokzuje skąd smoloty wyltują i dokąd doltują; pokzne jest to z pomocą strzłek strzłki te pokzują przemieszczenie: skąd dokąd jest dny
Bardziej szczegółowoó ó ć Ż Ł Ą Ż ó ż ć Ż ó Ą ó ó Ą ć ó ó Ł Ł ó ć ó ż ć ż Śó ó ó ó ć ó ż ć Ą ż ĘĄ ó Ś Ż óź Ż ć ó Ż Ż Ż ć ń Ą ó Ą ż ó Ż ó Ł ó ó Ż ó ó ó ź Ś ó Ą ć Ś ó ó ż ó ż Ł ńę ó ń ó ń ż ć ó Ż Ż ż ć Ż ć ć ć ż ó ń óź ó ć
Bardziej szczegółowoElementy teorii informacji i kodowania
i kodowania Entropia, nierówność Krafta, kodowanie optymalne Marcin Jenczmyk m.jenczmyk@knm.katowice.pl 17 kwietnia 2015 M. Jenczmyk Spotkanie KNM i kodowania 1 / 20 Niech S = {x 1,..., x q } oznacza alfabet,
Bardziej szczegółowoZbiory wyznaczone przez funkcje zdaniowe
pojęci zbioru i elementu RCHUNEK ZIORÓW zbiór zwier element element nleży do zbioru jest elementem zbioru ( X zbiór wszystkich przedmiotów indywidulnych, których dotyczy dn nuk zbiór pełny (uniwerslny
Bardziej szczegółowoPODSTAWY BAZ DANYCH Wykład 2 2. Pojęcie Relacyjnej Bazy Danych
PODSTAWY BAZ DANYCH Wykłd 2 2. Pojęcie Relcyjnej Bzy Dnych 2005/2006 Wykłd "Podstwy bz dnych" 1 Pojęcie krotki - definicj Definicj. Niech dny będzie skończony zbiór U := { A 1, A 2,..., A n }, którego
Bardziej szczegółowoKODY SYMBOLI. Materiały KODA, A.Przelaskowski. Koncepcja przedziałów nieskończonego alfabetu
KODY SYMBOLI Materiały KODA, A.Przelaskowski Koncepcja drzewa binarnego Metoda S-F Kod Huffmana Adaptacyjne drzewo Huffmana Problemy implementacji Koncepcja przedziałów nieskończonego alfabetu Proste kody
Bardziej szczegółowoKONKURS MATEMATYCZNY dla uczniów gimnazjów w roku szkolnym 2012/13. Propozycja punktowania rozwiązań zadań
KONKURS MATEMATYCZNY dl uczniów gimnzjów w roku szkolnym 0/ II etp zwodów (rejonowy) 0 listopd 0 r. Propozycj punktowni rozwiązń zdń Uwg: Z kżde poprwne rozwiąznie inne niż przewidzine w propozycji punktowni
Bardziej szczegółowoSumy algebraiczne i funkcje wymierne
Sumy lgebriczne i funkcje wymierne Moduł - dził -temt Zkres treści Sumy lgebriczne 1 definicj jednominu, sumy lgebricznej, wyrzów podobnych pojęcie współczynnik jednominu Dodwnie i odejmownie sum lgebricznych
Bardziej szczegółowoAnaliza numeryczna. Stanisław Lewanowicz. Całkowanie numeryczne. Definicje, twierdzenia, algorytmy
http://wwwiiuniwrocpl/ sle/teching/n-wdrpdf Anliz numeryczn Stnisłw Lewnowicz Styczeń 008 r Cłownie numeryczne Definicje, twierdzeni, lgorytmy 1 Pojęci wstępne Niech IF IF [, b] ozncz zbiór wszystich funcji
Bardziej szczegółowoSTYLE. TWORZENIE SPISÓW TREŚCI
STYLE. TWORZENIE SPISÓW TREŚCI Ćwiczenie 1 Tworzenie nowego stylu n bzie istniejącego 1. Formtujemy jeden kpit tekstu i zznczmy go (stnowi on wzorzec). 2. Wybiermy Nrzędzi główne, rozwijmy okno Style (lub
Bardziej szczegółowoInstrukcja montażu i obsługi
Instrukcj montżu i osługi Uproszczony interfejs użytkownik Dikin Altherm EKRUCBS Instrukcj montżu i osługi Uproszczony interfejs użytkownik Dikin Altherm polski Spis treści Spis treści Dl użytkownik 2
Bardziej szczegółowoa) b) Rys. 6.1. Schemat ideowo-konstrukcyjny układu do przykładu 6.1 a) i jego schemat blokowy
04 6. Ztoownie metod hemtów lokowh do nliz włśiwośi ukłdów utomtki Shemt lokow ukłdu utomtki jet formą zpiu mtemtznego modelu dnego ukłdu, n podtwie której, wkorztują zd przedtwione rozdzile 3.7, możn
Bardziej szczegółowoAlgorytmy kodowania entropijnego
Algorytmy kodowania entropijnego 1. Kodowanie Shannona-Fano 2. Kodowanie Huffmana 3. Jednoznaczność kodów Huffmana. Kod o minimalnej wariancji 4. Dynamiczne kodowanie Huffmana Poprzedni wykład - podsumowanie
Bardziej szczegółowoWeryfikacja modelowa jest analizą statyczną logiki modalnej
Weryfikcj modelow jest nlizą sttyczną logiki modlnej Mrcin Sulikowski MIMUW 15 grudni 010 1 Wstęp Weryfikcj systemów etykietownych 3 Flow Logic 4 Weryfikcj modelow nliz sttyczn Co jest czym czego? Weryfikcj
Bardziej szczegółowoZadania otwarte. 2. Matematyka. Poziom rozszerzony Próbna Matura z OPERONEM i Gazetą Wyborczą n n. 2n n. lim 10.
Vdemecum Mtemtyk KRYTERIA OCENIANIA OPOWIEZI Póbn Mtu z OPERONEM mtemtyk ZAKRES ROZSZERZONY VAEMECUM MATURA 06 kod wewnątz Mtemtyk Poziom ozszezony Zcznij zygotowni do mtuy już dziś Listod 05 skle.oeon.l/mtu
Bardziej szczegółowoh a V. GEOMETRIA PŁASKA TRÓJKĄT :
pitgos..pl V. GEOMETRIA PŁASKA TRÓJKĄT : Wunek utwozeni tójkąt: sum ługośi wó kótszy oków musi yć większ o ługośi njłuższego oku. Śoek okęgu opisnego wyznzją symetlne oków. Śoek okęgu wpisnego wyznzją
Bardziej szczegółowoFUNKCJA KWADRATOWA. Moduł - dział -temat Lp. Zakres treści. z.p. z.r Funkcja kwadratowa - powtórzenie PLANIMETRIA 1
FUNKCJA KWADRATOWA Moduł - dził -temt Funkcj kwdrtow - powtórzenie Lp Lp z.p. z.r. 1 1 Równni kwdrtowe 2 Postć iloczynow funkcji kwdrtowej 3 Równni sprowdzlne do równń kwdrtowych Nierówności kwdrtowe 5
Bardziej szczegółowo