Erasure Decoding pada Kode (1,3)-RLL dan (2,7)-RLL dengan Satisfiability Modulo Theory

Majalawa, Vie`an Huzair

× <p>Kode Run-Length Limited (RLL) adalah kode yang banyak diaplikasikan pada media penyimpanan cakram keras. Cakram yang tergores reader tip menyebabkan bit pada data tidak dapat terbaca. Hal ini dapat diatasi dengan menyelesaikannya sebagai masalah SAT dengan bantuan SMT Solver. Penelitian ini bertujuan untuk memformulasikan masalah SMT untuk kode RLL secara umum. Selanjutnya formulasi yang diperoleh dipergunakan dalam eksperimen simulasi erasure decoding, yang kemudian dibandingkan performanya. Penelitian ini menggunakan metode eksperimen simulasi erasure decoding dan didampingi dengan studi literatur lainnya. Eksperimen terhadap performa kode (1, 3)-RLL dan (2, 7)-RLL dalam erasure decoding menunjukkan hasil yang relatif sama, dengan perbedaan utama bahwa komputasi kode (2, 7)-RLL dikomputasi lebih cepat dibandingkan (1, 3)-RLL.</p>

×

Penulis Utama	:	Vie`an Huzair Majalawa
Penulis Tambahan	:	-
NIM / NIP	:	M0117065
Tahun	:	2023
Judul	:	Erasure Decoding pada Kode (1,3)-RLL dan (2,7)-RLL dengan Satisfiability Modulo Theory
Edisi	:
Imprint	:	Surakarta - Fak. MIPA - 2023
Program Studi	:	S-1 Matematika
Kolasi	:
Sumber	:
Kata Kunci	:	RLL, SAT, SMT, Erasure Decoding, SMT Solver
Jenis Dokumen	:	Skripsi
ISSN	:
ISBN	:
Link DOI / Jurnal	:	-
Status	:	Public
Pembimbing	:	1. Dr. Putranto Hadi Utomo, S.Si., M.Si. 2. Nughthoh Arfawi Kurdhi, S.Si, M.Sc, Ph.D
Penguji	:	1. Titin Sri Martini, S.Si., M.Kom. 2. Dr. Drs. Sutrima, M.Si.
Catatan Umum	:
Fakultas	:	Fak. MIPA

×

Halaman Awal	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
Halaman Cover	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
BAB I	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
BAB II	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
BAB III	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
BAB IV	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
BAB V	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
BAB Tambahan	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
Daftar Pustaka	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.
Lampiran	:	Harus menjadi member dan login terlebih dahulu untuk bisa download.