Hasil Pencarian  ::  Simpan CSV :: Kembali

"ABSTRAKFast Fourier Transform (FFT) adalah suatu metoda ataualgoritma untuk mempercepat operasi penyelesaian transformasifourier diskrit. Algoritma FFT ada dua macam, yakniDecimation in Time (DIT) dan Decimation in FrequencyAlgoritma FFT-DIT lebih populer daripada algoritma FFT-DIFkarena hanya memerlukan satu operasi perkalian untuktitiknya. Pada tugas akhir ini akan dirancang suatu chip VLSIuntuk algoritria Fast Fourier Transform Decimation in Time(FFT-DIT) satu titik kupu-kupu (dua titik transforniasi)dengan menggunakan teknologi CMOS. Data masukan maupun datakeluaran berupa bilangan imajiner dengan format 8-bit mantisadan 4-bit eksponen. Transistor yang dipakai sebanyak 9438buah dan waktu yang dibutuhkan untuk menyelesaikantransformasi adalah 600 nano detik. perancangan dilakukandengan menggunakan software CAD CIRCAD II pada komputer HP-9000."

"Logistic map adalah fungsi rekursif yang mememenuhi sifat chaos pada saat tertentu, sehingga dapat digunakan untuk sistem kriptografi. Sedangkan arithmetic coding adalah salah satu metode kompresi lossless compression yang berdasarkan statistik. Penggunaan logistic map akan dikombinasikan dengan arithmetic coding untuk sistem kriptografi citra digital. Skema yang akan digunakan adalah dengan permutasi, kompresi dan difusi sehingga menghasilkan tingkat keamanan yang lebih baik. Pada tugas akhir ini, akan dibahas tentang logistic map, fungsi chaos, arithmetic coding, implementasi algoritma enkripsi citra digital terkompresi arithmetic coding dengan menggunakan logistic map, dan analisa ketahanan sistem kriptografi tersebut dari berbagai jenis serangan.

---

Logistic map is a recursive function that qualify chaos criteria while meet certain condition, so can be used to construct a cryptograph system. Meanwhile arithmetic coding is one of lossless compression method that based on statistic approach. The use of logistic map will be combined with arithmetic coding to construct a cryptograph system. Scheme that will be used in this system are permutation, compression and diffusion, so that produce better security and privacy.

In this thesis, topics that will be discussed are logistic map, chaos function, arithmetic coding, algoritm implementation of encypting the compressed image by arithmetic coding with logistic map, and the endurance analysis of this cryptograph system from several attack methods."

"Pada pengembangan sistem, dibutuhkan sebuah mekanisme untuk menjamin bahwa sistem tersebut berjalan dengan benar tanpa error atau rsquo;bug rsquo;. Sejauh ini, hal yang biasa dilakukan adalah dengan testing, tetapi hal ini sulit dilakukan untuk mencakup semua kemungkinan. Untuk sistem yang membutuhkan tingkat correctness yang tinggi, seperti misalnya pada hardware , perlu mekanisme yang dapat menjamin kebenaran program untuk semua kemungkinan input. Ada solusi lain yang dapat menjamin kebenaran program untuk semua kemungkinan input, yaitu dengan verifikasi formal. Verifikasi formal dilakukan dengan pemodelan matematika. Salah satu sistem yang membutuhkan tingkat correctness yang tinggi adalah sistem bilangan floating-point. Hal ini terkait dengan pengalaman yang dialami Intel pada tahun 1994. Salah satu bahasa standar dalam membangun sebuah sistem digital atau hardware adalah VHDL. Ada beberapa tools yang bisa dilakukan untuk verifikasi formal, salah satunya adalah HOL theorem prover. Penelitian ini melakukan formalisasi operasi aritmatika VHDL dan konstruksi terkait yang dilakukan dengan menggunakan HOL Theorem Prover. Hasilnya adalah sebuah framework yang berisi formalisasi beberapa algoritma aritmatika dasar VHDL dan konstruksi terkaitnya. Framework ini kemudian dapat digunakan untuk memverifikasi modul VHDL yang memanfaatkan aritmatika VHDL dan konstruksi terkaitnya.

---

In system development, a mechanism is needed to ensure that the system runs correctly without error or rsquo bug rsquo . So far, testing is a common solution, but it rsquo s hard to cover all error possibilities. For systems that require a high level of correctness, such as hardware systems, there is a need for a mechanism that can ensure the correctness of the program for all possible inputs. There is another solution to do the task, i.e. by formal verification. Formal verification is done by mathematical modeling. One system that requires a high level of correctness is the floating point number system. This is related to the experience of Intel in 1994.

One of the standard languages in developing a digital system or a hardware is VHDL. There are several tools that can be used for formal verification, one of which is HOL Theorem Prover. This research conducts a formalization of VHDL arithmetic operation and the related constructions done by using HOL Theorem Prover. The result is a framework which contains the formalization of some basic VHDL arithmetic algorithms and the related constructions. This framework can then be used to verify VHDL modules that utilize the VHDL arithmetic and the related constructs."