Biometryczna Identyfikacja Tożsamości

Transkrypt

1 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 1/39 Adam Czajka Wykład na Wydziale Elektroniki i Technik Informacyjnych Politechniki Warszawskiej Semestr zimowy 2015/16

2 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 2/39 Przetwarzanie mowy Rysunek: Adam Czajka, maj 2009

3 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 3/39 Przetwarzanie mowy Rysunek: Adam Czajka, maj 2009

4 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 4/39 Krótka historia , Gunnar Fant, Szwecja pierwszy model procesu wytwarzania mowy (na bazie zdjęć rentgenowskich w trakcie mówienia) , Joseph Perkell, MIT, USA uszczegółowienie modeli ruchome zdjęcia rentgenowskie , IBM Research Laboratory, San Jose, USA TASS-II/III ( / ) dwudźwięki TASS-IV ( ) synteza mowy

5 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 5/39 Krótka historia , Texas Instruments, MITRE, US Air Force, USA prototyp pierwszego systemu rozpoznawania mówiącego testy na bazie pomiarów od 209 osób , Matsimi Suzuki, Fuji Xerox, Japonia pierwszy opis (i patent) automatycznego systemu rozpoznawania mówiącego

6 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 6/39 Warianty metody 1. Ustalonej treści (ang. fixed-text) rejestracja i uwierzytelnianie na podstawie tego samego, ustalonego tekstu (hasła) tekst może być jednocześnie hasłem łatwość oszustwa po nagraniu/skopiowaniu tekstu 2. Zależne od treści (ang. text-dependent, lub fixed-phrase) uwierzytelnianie na podstawie tekstu podanego przez system (np. odczytanie cyfr w zadanej kolejności) łatwość oszustwa po nagraniu/skopiowaniu części tekstu wystarczających do złożenia całej wypowiedzi

7 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 7/39 Warianty metody 3. Niezależne od treści (ang. text-independent, lub unconstrained-phrase) wybór tekstu pozostawiany użytkownikowi oszustwo wymaga konstrukcji syntezatora mowy dla danego użytkownika 4. Konwersacyjne (ang. conversational) ukrywanie tajnej treści w wypowiedziach analiza semantyczna treści łączenie rozpoznawania mówiącego z rozpoznawaniem mowy oszustwo wymaga konstrukcji syntezatora mowy dla danego użytkownika oraz znajomości tajnych treści

8 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 8/39 Wstępne przetwarzanie sygnałów mowy Wstępne przetwarzanie sygnałów mowy

9 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 9/39 Wstępne przetwarzanie sygnałów mowy 1. Filtracja 1. Filtr preemfazy filtry o skończonej odpowiedzi impulsowej (ang. Finite Impulse Response, FIR) s n = N 1 k=0 a k s n k, n = 0,..., N 1 2. Najczęściej FIR pierwszego rzędu: a 0 = 1, a 1 1, 0.9, a n = 0 dla n > 1

10 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 10/39 Wstępne przetwarzanie sygnałów mowy 2. Detekcja głosu i podział na segmenty 1. Detekcja granic cisza-mowa-cisza, detekcja części dźwięcznych i bezdźwięcznych 2. Podział sygnału na L bloków o długości K (z możliwością nakładania się bloków) s k;l = s k+ml, k = 0,..., K 1, l = 0,..., L 1 gdzie M = K gdy bloki nie nakładają się, lub M K w pozostałych przypadkach.

11 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 11/39 Wstępne przetwarzanie sygnałów mowy 3. Minimalizacja nieciągłości na granicy bloków Okienkowanie sygnału: s k;l = s k;l w k, l = 0,..., L 1 gdzie w k = α (1 α) cos ( ) 2πk K jest rodziną funkcji okna oraz α (0, 1) α = 0.5: okno Hanna α = 0.54: okno Hamminga

12 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 12/39 Wstępne przetwarzanie sygnałów mowy 4. Reprezentacja sygnału 1. W dziedzinie czasu: wykres sygnału lub energii sygnału 2. W dziedzinie częstotliwości (widmo częstotliwościowe) 3. Jednocześnie w dziedzinie czasu i częstotliwości: spektrogram (ang. voiceprint, voicegram, spectral waterfall,...)

13 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 13/39 Wstępne przetwarzanie sygnałów mowy

14 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 14/39 Cechy mówiącego Formanty: częstotliwości charakteryzujące tor akustyczny Uproszczony schemat aparatu mowy człowieka

15 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 15/39 Ciekawy eksperyment Alvin Lucier, I am sitting in a room, 1970 I am sitting in a room different from the one you are in now. I am recording the sound of my speaking voice and I am going to play it back into the room again and again until the resonant frequencies of the room reinforce themselves so that any semblance of my speech, with perhaps the exception of rhythm, is destroyed. What you will hear, then, are the natural resonant frequencies of the room articulated by speech. I regard this activity not so much as a demonstration of a physical fact, but more as a way to smooth out any irregularities my speech might have.

16 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 16/39 Estymacja cech w dziedzinie czasu 1. Predykcja liniowa (LP) modelowanie: wyrażenie próbki dźwięku jako liniowej kombinacji próbek poprzednich (modele autoregresyjne) ŝ n = M a m s n m + e n m=1 gdzie M rząd modelu, e szum o stałej wariancji; w rozpoznawaniu mowy e reprezentuje sygnał pobudzenia (dźwięk strun głosowych) cechy sygnału: współczynniki a m (charakterystyka formantów) wyznaczanie cech: minimalizacja błędu średniokwadratowego odległości pomiędzy s i ŝ (wykorzystanie odległości Itakura-Saito)

17 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 17/39 Estymacja cech w dziedzinie czasu 2. Analiza składowych niezależnych (ang. Independent Component Analysis, ICA) założenie: mowa jest liniową superpozycją niezależnych statystycznie źródeł sygnału zadanie: znaleźć źródła oraz sposób superpozycji źródeł

18 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 18/39 Analiza składowych niezależnych Przykład superpozycji obrazów Rysunek: Adam Czajka, kwiecień 2012

22 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 22/39 Analiza składowych niezależnych Przykład superpozycji i separacji dźwięku (tzw. cocktail party problem) Źródło przykładu: Politechnika w Helsinkach,

23 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 23/39 Analiza składowych niezależnych 1. Model ICA gdzie y(t) = As(t) + e(t) s(t) = [s 1 (t),..., s m (t)] T wektor m niezależnych statystycznie i nieznanych źródeł, y(t) = [y 1 (t),..., y n (t)] T wektor n obserwacji y (liniowa mikstura źródeł s), natomiast e(t) jest gaussowskim szumem (w modelu uproszczonym rezygnuje się z szumu)

24 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 24/39 Analiza składowych niezależnych 2. Zadanie znaleźć s (oraz A) mając dane jedynie y i m 3. Założenia ICA niegaussowskie źródła, lub co najwyżej jedno gaussowskie w modelu uproszczonym zwykle n m (liczba niezależnych obserwacji nie mniejsza niż liczba niezależnych źródeł) zadana wariancja źródeł, np. jednostkowa (niejednoznaczność: poszukiwane zarówno s jak i A)

25 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 25/39 Analiza składowych niezależnych Założenia i interpretacja w rozpoznawaniu mówiącego 1. Dana (zakładana) jest liczba źródeł 2. Różne próbki głosu osoby dostarczają różnych obserwacji 3. Dopuszczamy rozkład normalny co najwyżej jednego źródła (dla modelu uproszczonego) 4. Cechy mówiącego (toru głosowego): współczynniki liniowej superpozycji źródeł (macierz A)

26 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 26/39 Estymacja cech w dziedzinie częstotliwości 1. Współczynniki mocy na bazie widma Fouriera 2. Współczynniki Fouriera wyrażone w tzw. mel-skali 3. Selekcja częstotliwości (czyli współczynników Fouriera) za pomocą filtrów trójkątnych

27 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 27/39 Mel-skala: prosty ekesperyment Rysunek: Adam Czajka, grudzień 2012

28 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 28/39 Mel-skala 1. Nieliniowa zmiana częstotliwości, np.: f mel = 2595 log(1 + f/700) 2. Subiektywna ocena odległości pomiędzy dźwiękami poparta doświadczeniami ( mel od słowa melodia ) 3. Uważa się, iż mel-skala lepiej niż skala liniowa odzwierciedla charakterystykę słuchu ludzkiego

29 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 29/39 Przykładowa zależność między skalą liniową i mel-skalą Rysunek: Adam Czajka, grudzień 2012

30 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 30/39 Estymacja cech w dziedzinie cepstralnej Rozplot homomorficzny 1. Załóżmy, że obserwowany sygnał mowy y jest splotem pobudzenia x i odpowiedzi impulsowej h toru głosowego y(n) = k= lub w dziedzinie częstotliwości x(k)h(n k) Y (ω) = X(ω)H(ω)

31 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 31/39 Estymacja cech w dziedzinie cepstralnej Rozplot homomorficzny 2. Obliczając logarytm obu stron poprzedniego równania oraz wyznaczając odwrotną transformatę Fouriera otrzymujemy tzw. reprezentację cepstralną sygnału (lub krótko: cepstrum, anagram słowa spectrum ): DFT 1( log 10 ( Y (ω) ) ) = DFT 1( log 10 ( X(ω)H(ω) ) ) = DFT 1( log 10 ( X(ω) ) + log10 ( H(ω) ) ) DFT 1( log 10 ( X(ω) ) ) + DFT 1( log 10 ( H(ω) ) )

32 gdzie MFC oznacza operację przekształcającą częstotliwości do mel-skali c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 32/39 Estymacja cech w dziedzinie cepstralnej Rozplot homomorficzny 3. Rodzaje cepstrum cepstrum rzeczywiste (widma mocy): cepstrum zespolone: mel-cepstrum zespolone: RC(y) = DFT 1( log 10 DFT(y) ) CC(y) = DFT 1( log 10 ( DFT(y) ) ) MF CC(y) = DFT 1 ( log 10 ( MF ( DFT(y) )))

33 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 33/39 Estymacja cech w dziedzinie cepstralnej Wyznaczanie porównywanie cech 4. Wyznaczanie cech mówiącego okienkowanie (najczęściej filtrami trójkątnymi): cepstrum zespolone odpowiedzi toru głosowego skupione jest w początkowych elementach reprezentacji typowe cechy: współczynniki cepstralne (ang. Cepstral Coefficients, CC) lub współczynniki mel-cepstralne (ang. Mel Frequency Cepstral Coefficients, MFCC) odpowiedzi toru głosowego 5. Porównanie cech: najczęściej ważona odległość euklidesowa

34 Estymacja cech w dziedzinie cepstralnej Wyznaczanie porównywanie cech 4. Wyznaczanie cech mówiącego okienkowanie (najczęściej filtrami trójkątnymi): cepstrum zespolone odpowiedzi toru głosowego skupione jest w początkowych elementach reprezentacji typowe cechy: współczynniki cepstralne (ang. Cepstral Coefficients, CC) lub współczynniki mel-cepstralne (ang. Mel Frequency Cepstral Coefficients, MFCC) odpowiedzi toru głosowego 5. Porównanie cech: najczęściej ważona odległość euklidesowa 6. Dodatkowe przetwarzanie reprezentacji cepstralnych (jeśli zasadne) wyznaczanie widma (typowo DFT) oraz wykonanie operacji odwrotnej do logarytmowania osobno dla pobudzenia i dla odpowiedzi toru głosowego otrzymujemy widmo pobudzenia oraz widmo toru głosowego c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 33/39

35 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 34/39 Estymacja cech w dziedzinie cepstralnej Przykład Rysunek: Adam Czajka, październik Czas (s)

36 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 35/39 Estymacja cech w dziedzinie cepstralnej Przykład Rysunek: Adam Czajka, październik Widmo amplitudowe

37 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 36/39 Estymacja cech w dziedzinie cepstralnej Przykład Rysunek: Adam Czajka, październik Logarytm widma amplitudowego

38 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 37/39 Estymacja cech w dziedzinie cepstralnej Przykład Rysunek: Adam Czajka, październik Reprezentacja cepstralna Próbki 10 5

39 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 38/39 Estymacja w dziedzinie cepstralnej Schemat działania Rysunek: Adam Czajka, grudzień 2012

40 c Adam Czajka, IAiIS PW, wersja: 6 grudnia 2015, 39/39 Przykładowe pytanie egzaminacyjne Formanty: 1. charakteryzują tor akustyczny 2. to współczynniki modelu autoregresyjnego 3. to współczynniki mel-cepstrum odpowiedzi toru głosowego 4. to komponenty wyznaczone przez analizę składowych niezależnych