Kablosuz Kanallarda Kodlama. İrfan Köprücü



Benzer belgeler
Chapter 6 Digital Data Communications Techniques

Data Communications. Gazi Üniversitesi Bilgisayar Mühendisliği Bölümü. 10. Hata Kontrolü

13. Karakteristik kökler ve özvektörler

KABLOSUZ İLETİŞİM

ANKARA. Burcu ÇAPKIN

Veri haberleşmesinde hatalar

Şimdi de [ ] vektörünün ile gösterilen boyu veya büyüklüğü Pisagor. teoreminini iki kere kullanarak

0.1 Küme Cebri. Teorem 1 A ve B iki küme olmak üzere i) (A B) c = A c B c ii) (A B) c = A c B c

İTÜ Bilgisayar Mühendisliği Bölümü, BLG433-Bilgisayar Haberleşmesi ders notları, Dr. Sema Oktuğ

6 Devirli Kodlar. 6.1 Temel Tan mlar

Bir özvektörün sıfırdan farklı herhangi bri sabitle çarpımı yine bir özvektördür.

3.3. İki Tabanlı Sayı Sisteminde Dört İşlem

VEKTÖR UZAYLARI 1.GİRİŞ

Lineer Dönüşümler ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv.Dr. Nevin ORHUN

10. DİREKT ÇARPIMLAR

HATA SEZME VE DÜZELTME TEKNİKLERİ

İleri Diferansiyel Denklemler

Bir işaretli büyüklük sayısında en soldaki basamak bir işaret içerir. Diğer basamaklarda ise sayısal değerin büyüklüğü (mutlak değeri) gösterilir.

Lineer Bağımlılık ve Lineer Bağımsızlık

5. Salih Zeki Matematik Araştırma Projeleri Yarışması PROJENİN ADI DİZİ DİZİ ÜRETEÇ PROJEYİ HAZIRLAYAN ESRA DAĞ ELİF BETÜL ACAR

GELİŞMİŞ ŞİFRELEME STANDARDI - AES

Cebir 1. MIT Açık Ders Malzemeleri

Şartlı Olasılık. Pr[A A ] Pr A A Pr[A ] Bir olayın (A 1 ) olma olsılığı, başka bir olayın (A 2 ) gerçekleştiğinin bilinmesine bağlıysa;

HOMOGEN OLMAYAN DENKLEMLER

Kuantum Grupları. Orta Doğu Teknik Üniversitesi, Ankara. Münevver Çelik. Feza Gürsey Enstitüsü, İstanbul 10 Şubat, 2010

İç-Çarpım Uzayları ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv. Dr. Nevin ORHUN

1. GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G (e ye birim eleman denir) vardır.

Kübik Spline lar/cubic Splines

ab H bulunur. Şu halde önceki önermenin i) koşulu da sağlanır ve H G bulunur.

Tanım 2.1. X boş olmayan bir küme olmak üzere X den X üzerine bire-bir fonksiyona permütasyon denir.

8.Konu Vektör uzayları, Alt Uzaylar

SAYI VE KODLAMA SİSTEMLERİ. Teknoloji Fakültesi/Bilgisayar Mühendisliği

xy, de iki polinom verildiğinde bunların

. [ ] vektörünü S deki vektörlerin bir lineer

Temel Mikroişlemci Tabanlı Bir Sisteme Hata Enjekte Etme Yöntemi Geliştirilmesi. Buse Ustaoğlu Berna Örs Yalçın

Ç.Ü Fen ve Mühendislik Bilimleri Dergisi Yıl:2012 Cilt:28-2

Ayrık zamanlı sinyaller için de ayrık zamanlı Fourier dönüşümleri kullanılmatadır.

7. BÖLÜM İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI .= Genel: Vektörler bölümünde vektörel iç çarpım;

ÖZDEĞERLER- ÖZVEKTÖRLER

SAYISAL ELEKTRONİK. Ege Ü. Ege MYO Mekatronik Programı

ÖRNEKLER-VEKTÖR UZAYLARI 1. Çözüm: w=k 1 u+k 2 v olmalıdır.

1 Vektör Uzayları 2. Lineer Cebir. David Pierce. Matematik Bölümü, MSGSÜ mat.msgsu.edu.tr/~dpierce/

Ders 9: Bézout teoremi

Temel Kavramlar. (r) Sıfırdan farklı kompleks sayılar kümesi: C. (i) Rasyonel sayılar kümesi: Q = { a b

Cebirsel Fonksiyonlar

Bölüm Özeti. Algoritmalar. Fonksiyonların Büyümesi. Algoritmaların Karmaşıklığı. Örnek Algoritmalar Algoritmik Paradigmalar

VHDL ile KODLAMA ve HATA BULMA TEKNİKLERİ

9.Konu Lineer bağımsızlık, taban, boyut Germe. 9.1.Tanım: V vektör uzayının her bir elemanı

sayıların kümesi N 1 = { 2i-1: i N } ve tüm çift doğal sayıların kümesi N 2 = { 2i: i N } şeklinde gösterilebilecektir. Hiç elemanı olmayan kümeye

İSTANBUL TEKNİK ÜNİVERSİTESİ ELEKTRİK-ELEKTRONİK FAKÜLTESİ REED-SOLOMON KOD ÇÖZÜCÜ TASARIMI BİTİRME ÖDEVİ GİZEM KAÇMAZ

ANADOLU ÜNİVERSİTESİ AÇIKÖĞRETİM FAKÜLTESİ İLKÖĞRETİM ÖĞRETMENLİĞİ LİSANS TAMAMLAMA PROGRAMI. Lineer. Cebir. Ünite

Özdeğer ve Özvektörler

BİL 423 Bilgisayar Mimarisi 1. Ara Sınavı

İMGE İŞLEME Ders-9. İmge Sıkıştırma. Dersin web sayfası: (Yrd. Doç. Dr. M.

Bu kısımda işlem adı verilen özel bir fonksiyon çeşidini ve işlemlerin önemli özelliklerini inceleyeceğiz.

YZM 3217 YAPAY ZEKA DERS#10: KÜMELEME

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

13.Konu Reel sayılar

6. Ders. Mahir Bilen Can. Mayıs 16, 2016

Ayrık Fourier Dönüşümü

İkinci Mertebeden Lineer Diferansiyel Denklemler

8. HOMOMORFİZMALAR VE İZOMORFİZMALAR

Kümeler arası. Küme içi. uzaklıklar. maksimize edilir. minimize edilir

Tanım Bir X kümesi üzerinde bir karakter dizgisi (string) X kümesindeki. boş karakter dizgisi (null string) denir ve l ile gösterilir.

Yrd.Doç.Dr. Celal Murat KANDEMİR. Kodlama (Coding) : Bir nesneler kümesinin bir dizgi (bit dizisi) kümesi ile temsil edilmesidir.

NÜMER IK ANAL IZ. Nuri ÖZALP FONKS IYONLARA YAKLAŞIM. Bilimsel Hesaplama Matemati¼gi

2 şeklindeki bütün sayılar. 2 irrasyonel sayısı. 2 irrasyonel sayısından elde etmekteyiz. Benzer şekilde 3 irrasyonel sayısı

3.Hafta Master Teorem ve Böl-Fethet Metodu

fonksiyonu için in aralığındaki bütün değerleri için sürekli olsun. in bu aralıktaki olsun. Fonksiyonda meydana gelen artma miktarı

Eigenvalue-Eigenvector Problemleri

x 0 = A(t)x + B(t) (2.1.2)

TEMEL BİLGİSAYAR BİLİMLERİ. Programcılık, problem çözme ve algoritma oluşturma

Algoritma Analizi ve Büyük O Notasyonu. Şadi Evren ŞEKER YouTube: Bilgisayar Kavramları

SAYILAR DOĞAL VE TAM SAYILAR

KPSS MATEMATÝK. SOYUT CEBÝR ( Genel Tekrar Testi-1) N tam sayılar kümesinde i N için, A = 1 i,i 1

Fatih University- Faculty of Engineering- Electric and Electronic Dept.

Motivasyon Matrislerde Satır İşlemleri Eşelon Matris ve Uygulaması Satırca İndirgenmiş Eşelon Matris ve Uygulaması Matris Tersi ve Uygulaması Gauss

Simetrik (Gizli) Kriptografik Sistemler Blok Şifreler Standartlaştırma. DES-Data Encryption Standard (Bilgi Şifreleme Standardı)

Algoritmalar. Arama Problemi ve Analizi. Bahar 2016 Doç. Dr. Suat Özdemir 1

Kareköklü Sayılar. sayısını en yakın onda birliğe kadar tahmin edelim.

Lineer Cebir. Doç. Dr. Niyazi ŞAHİN TOBB. İçerik: 1.1. Lineer Denklemlerin Tanımı 1.2. Lineer Denklem Sistemleri 1.3. Matrisler

Elemanter fonksiyonlarla yaklaşım ve hata

LYS MATEMATİK DENEME - 1

Math 103 Lineer Cebir Dersi Ara Sınavı

30 NİSAN-14 MAYIS ZEYNEP KAYAR. 1) L : R 3 R 2, L(x 1, x 2, x 3 ) = ( 3x 1 + 2x 3 4x 2, 2x 1 + x 2 3x 3 )

Cebir 1. MIT Açık Ders Malzemeleri

Ders 8: Konikler - Doğrularla kesişim

Math 103 Lineer Cebir Dersi Ara Sınavı

KARAKTER DİZGİLERİ, BAĞINTILAR, FONKSİYONLAR KESİKLİ MATEMATİKSEL YAPILAR

Veri. Yrd. Doç Dr. İlhami M. ORAK. Ders - 1. Veri - İletişim

Matris Cebiriyle Çoklu Regresyon Modeli

2. SİMETRİK GRUPLAR. Tanım 2.1. X boş olmayan bir küme olmak üzere X den X e birebir örten fonksiyona permütasyon denir.

Normal Alt Gruplar ve Bölüm Grupları...37

Buna göre, eşitliği yazılabilir. sayılara rasyonel sayılar denir ve Q ile gösterilir. , -, 2 2 = 1. sayıdır. 2, 3, 5 birer irrasyonel sayıdır.

T.C. TRAKYA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ Bilgisayar Mühendisliği Ana Bilim Dalı MULTIPLE ANTENNAS. Hazırlayan: Temel YAVUZ

MATEMATİK ÖĞRETMENLİK ALAN BİLGİSİ - DENEME SINAVI DENEME. Diğer sayfaya geçiniz.

Ders 2: RP 1 ve RP 2 - Reel izdüşümsel doğru ve

Modül Teori. Modüller. Prof. Dr. Neşet AYDIN. [01/07] Mart Prof. Dr. Neşet AYDIN (ÇOMÜ - Matematik Bölümü) Modül Teori [01/07] Mart / 50

T I M U R K A R A Ç AY, H AY D A R E Ş, O R H A N Ö Z E R K A L K U L Ü S N O B E L

olsun. Bu halde g g1 g1 g e ve g g2 g2 g e eşitlikleri olur. b G için a b b a değişme özelliği sağlanıyorsa

Transkript:

Kablosuz Kanallarda Kodlama İrfan Köprücü

Ana Başlıklar Giriş Linear Block Codes Cyclic Codes BHC Codes

Giriş Hata düzeltme kodları: Gürültülü kanallarda mesajlar iletilirken Belli bir yerde tutulan veri aktarılırken Gürültü, ısıl(thermal noise) olabilir, bir ışıma sebebiyle oluşmuş, insan hatalarından kaynaklanıyor, ekipmanın yanlış işlerliğinden, ya da voltaj dalgalanmalarından meydana gelebilir. Hataları bulup düzeltmek için Hata Kontrol Kodlaması başka bir isimle Kanal kodlaması(channel Coding) yapılır.

Kanal Kodlama Ana Fikri Mesaja, gürültülü kanal üzerinde iletimi öncesi belli bir oranda fazlalık kod eklenir. Temelde fazladan sembollerden oluşan bu fazlalık bilinen şekle eklenir.

Kanal Kodlayıcılı Dijital bir iletim sistemi

Tanımlar Kelime(Word) sembollerin dizisidir. Kod(Code) şifre(codewords) denen bir vektörler kümesidir. Bir şifrenin Hamming Ağırlığı şifrenin içinde bulunan sıfır olmayan elemanların sayısına eşittir ve w(c) ile gösterilir. İki şifre arasında ki Hamming Uzaklığı şifrelerin farklı olduğu yerlerin sayısıdır. c 1 ve c 2 iki şifre olmak üzere aralarında ki Hamming Uzaklığı d(c 1, c 2 ) ile gösterilir ve d(c1, c2)=w(c1-c2) olduğu kolayca görülebilir. Örneğin: w(10110)=4 ve d(10110, 11011) =3.

Blok Kodlar(Block Codes) Bir blok kod sabit uzunlukta şifrelerin kümesinden oluşur. Bu kodların uzunluğu olan sabit uzunluğu blok uzunluğu denir ve genellikle n ile gösterilir. A blok code of size M defined over an alfabet with q sembols is a set of M q-ary sequences, each of length n In the special case that q=2, the symbols are called bits and the code is said to be a binary code. Usually, M=q k for some integer k, and we call such a code an (n, k) code.

Tanımlara devam edelim İki şifre arasında ki en düşük Hamming Uzaklığına şifrelerin Asgari Uzaklığı denir. C{c i, i =0, 1,, M-1} şifre kümesinden oluşan bir C kümesi için kodun asgari uzaklığı d * =min d(c i, c j ) i j dir. The code rate of an (n, k) code is defined as the ratio (k/n), and reflects the fraction of the codeword that consist of the information symbols.

Örnek Blok kod C={00000, 10100, 11110, 11001} iki bitlik ikili sayıları göstermek için kullanılabilir. Kodlanmamış Bitler Şifreler 00 00000 01 10100 10 11110 11 11001 Burada M=4, k=2 ve n=5 olur. Bit akımını çözmek için 1001010011 İlk adımda bitleri ikişerli gruplarız. 10 01 01 00 11 İkinci adımda uygun şifreler yerlerine yazılır. 11110 10100 10100 00000 11001 Asgari uzaklık d * =min d(c i, c j ) =2.

Doğrusal Blok Kodlar(Linear Block Codes) Doğrusal kodun özellikleri Bir koda ait olan iki şifrenin toplamı da aynı koda ait olan bir şifredir. Tamamen sıfırlardan oluşan bir şifre her zaman bir şifredir. Bir doğrusal kodun iki şifresi arasında ki asgari hamming uzaklığı, sıfırlardan oluşmayan herhangi bir şifrenin asgari ağırlığına eşittir. Örneğin: d*=w* Bir kodun asgari ağırlığı, sıfırlardan oluşmayan herhangi bir şifrenin ağırlığı en küçük olanın ağırlığıdır. Ve w* ile gösterilir. Tamamı sıfırdan oluşan şifrelerin varlığı bir gereksinimdir fakat doğrusallık açısından verimli bir durum değildir.

Doğrusal Blok Kodların Matris Tanımı Üreteç matris olan G, k uzunlukta bir vektörü n uzunlukta bir vektöre çevirir. Girdi vektörünü i ile gösterelim. c şifre(codeword) olmak üzere : c=ig olur. Burada i bilgi kelimesidir. Üreteç matris kxn matris olacaktır.

Örnek Aşağıdaki matrisi göz önüne alalım: Böylece bu üreteç matris şu kodu üretir: C={000, 010, 101, 111}.

Eşlik Kontrol Matrisi(Parity Check Matrix) Eşlik kontrol matrisi, Bir hatanın oluşup oluşmadığını anlamak için bize basit bir yol sunar. burada c geçerli bir şifredir. ch T =0 c= ig olduğundan igh T =0 olur. Buradan tüm geçerli şifreler için: GH T =0 Eşlik kontrol matrisinin boyutu (n-k)xn dir. P T, P matrisinin transpozunu göstermek üzere, ve G=[I P] İçin Eşlik kontrol matrisi: H=[-P T I] olur.

Örnek (7, 4) gibi bir doğrusal blok kod için verilen üreteç matris Olsun. G matrisinden P matrisi P= olarak elde edilir. İkili sistemde -1=1 olduğunu göz önüne alarak.eşlik kontrol matrisini şu şekilde yazabiliriz. H=[-P T I]=

Syndrome Decoding (Belirti Çözme) H nin (nxk) boyutunda bir Eşlik kontrol matrisi olduğunu varsayalım. Herhangi bir v GF(q) n vektörü için s=vh T Vektörüne v nin sendromu denir. Buna sendrom denmesinin nedeni, bize hatanın belirtilerini vermesindendir.

Cyclic Codes(Dairesel Kodlar) Bir kod: Doğrusal bir kod ve Şifrelerin dairesel döndürülmesi yine kendisine ait bir şifre oluyorsa Daireseldir denir. Örnek: İkili tabanda C1={0000, 0101, 1010, 1111} bir dairesel koddur. Ancak C2={0000, 0110, 1001, 1111} bir dairesel kod değildir.

Devamı Teorem: C Rn de bir kod olmak üzere C ancak ve ancak aşağıdaki şartları sağlarsa bir dairesel koddur. a(x), b(x) C => a(x) + b(x) C a(x) C ve r(x) Rn => a(x)r(x) C İspat: (1)Varsayalım C Rn içinde bir dairesel kod olsun. Dairesel kodlar, doğrusal blok kodların bir alt kümesi olduğundan ilk şart sağlanır. (11) r(x)= r 0 +r 1 X+r 2 X 2 + + r n X n olsun. R(x) in x ile çarpımı sağa kaydırmadır. Tanım gereği sağa kaydırılmış şifrede geçerli bir şifredir. Yani x.a(x) C, x.(x.a(x)) C, Ve r(x)a(x)=r 0 a(x)+r 1 Xa(x)+r 2 X 2 a(x)+ +r n x n a(x) C Çünkü her toplam C nin elemanır.

devamı Sonra (1) ve (11) göz önüne alınırsa: r(x) i ölçeklenebilir bir değer alalım ve (1) den C nin doğrusal olduğunu biliyoruz, (11) de r(x) =x alırsak bu bize dairesel döndürmelerin bir şifre oluşturduğunu gösterir. Ve buradan (1) ve (11) bize C bir dairesel kod olduğunu gösterir.

Dairesel kod üretmek için bir yöntem Şu adımlar kullanılabilir: Rn içinde bir f(x) polinomu alalım. F(x) i Rn içindeki tüm mümkün polinomlar ile çarparak bir polinomlar kümesi oluşturalım. Bu küme bir dairesel kodu oluşturan şifreleri(codeword) karşılık gelir. Kodun blok uzunluğu n olur.

Dairesel Kodların Matris Tanımı C nin g(x)=g0 + g1x + +grxr gibi r. Dereceden bir üreteç polinoma sahip bir dairesel kod olduğunu varsayalım. Öyleyse C nin üreteç matrisi şöyle verilir.

Burst Errors Birçok gerçek hayat kanallarında hatalar rastgele olmaz. Patlama şeklinde olur. Örneğin: mobile iletişimlerde sinyal azalması patlama hatalara sebep olabilir. Hatalar rastgele değil sürekli ise buna patlama hatalar (Burst error) denir. Dairesel patlamanın uzunluğu olan t, sıfırdan farklı elemanlardan oluşan t ardışık bileşendir.

Patlama Hataları Örneği 10kb/s ile transfer edilen bit sırası aşağıdaki gibi olsun. c=0100011101010000101101 Varsayalım ki iletim başladıktan sonra kanal 1 ms lik bir kopukluk yaşadı.bu zaman dilimi içinde kanal iletilmiş bitleri bozabilir. Hatalı bit dizisi şöyle alınmış olabilir. b=0000011111111110000000 Bu örnekte iletilmiş bitler kanal tarafından bozulmuştur. Burada patlamanın uzunluğu 10 bittir.

Bose-Chaudhuri Hocquenghem(BCH) Codes BCH kod sınıfı bilinen en güçlü doğrusal dairesel blok kod sınıflarından biridir. BCH kodları çoklu hata düzeltme yetenekleri ve şifreleme ve çözmenin kolaylığı ile bilinir. Şimdiye kadar yaklaşımımız, bir kod oluşturup hata düzeltme yeteneğini bulmak için onun asgari uzaklığını bulmaktan ibaretti. Bu kod sınıfında diğer uçtan başlayacağız.

BCH kodları ve RS kodları BCH kod sınıfı bağımsız olarak 1959 da Hocquenghem ve Bose ve Ray Chaudhuri tarafından keşfedilmişidir. Reed-Soloman(RS) kodları, dijital iletişimde ve veri saklama alanında bir çok uygulaması ile BHC nin önemli bir alt kümesidir. Reed-Soloman kodları Irving S. Reed ve Gustave Soloman tarafından 1960 da icat edilmiştir. Bir çok avantajına rağmen Reed-Soloman kodları icadından hemen sonra kullanıma geçilmemiştir. Donanım teknolojisinin gelişmesini beklemişlerdir.

BCH kodları için Üreteç Polinom g(x) in X n -1 bir faktörü olduğunu biliyoruz. Böylece, f(1), f(2), f(3),, f(4) g(x) in minimal polinomları olmak üzere, dairesel kodun üreteç polinomu: şeklinde yazılabilir. g(x)=lcm[f 1 (x), f 2 (x),, f p (x)] Each minimal polynomial corresponds to a zero of g(x) in an extension field.(?) We can design good codes (i.e., determine the generator polynomials) with desirable zeros using this approach.(?)

BCH kodlarının Çözümü BCH kodları, dairesel kodların bir alt sınıfı olduğundan, dairesel kodlarda kullanılan çözme standartları BHC için de geçerlidir. Ancak, BCH için özel tasarlanmış algoritmalarda mevcuttur. İkili çözme algoritmalarının genelleştirilmiş formu olan Gorenstein-Zierler çözme algoritması önemli bir metoddur.

Reed Solomon Codes Reed-Soloman(RS) kodları dijital iletişimde ve depolama alanlarında geniş uygulama alanları bulur. RS nin uygulama alanları Veri depolama(teyp, Cd, Dvd, barkod, etd) Kablosuz ve mobil iletişim Uydu bağlantıları DVB (Dijital televizyon) Yüksek hızlı modemler: ADSL, xdsl, gibi