Ditemukan 9 dokumen yang sesuai dengan query
Yusuf Messakh
Depok: Universitas Indonesia, 2003
S27462
UI - Skripsi Membership Universitas Indonesia Library
Suhud Adiyanto
Depok: Universitas Indonesia, 2003
S27468
UI - Skripsi Membership Universitas Indonesia Library
Ummu Maemunah
"
Pengujian sistem harus dilakukan agar terhindar dari hal-hal yang tidak diinginkan. Salah satu metode pengujian rancangan sistem adalah model checking. Pada tugas akhir ini model yang digunakan untuk menyajikan rancangan sistem pada model checking adalah struktur Kripke dan spesifikasi sistem ditulis dalam bentuk formula computational tree logic yang merupakan salah satu bagian dari temporal logic. Algoritma computational tree logic model checking digunakan untuk memeriksa terpenuhi tidaknya spesifikasi yang ditulis dengan formula computational tree logic pada ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2006
S27633
UI - Skripsi Membership Universitas Indonesia Library
Annisa Puspitasari
Depok: Universitas Indonesia, 2010
S27832
UI - Skripsi Open Universitas Indonesia Library
Karlina
"
Data spasial atau data geografi memiliki peranan penting dalam kehidupan manusia. Pada awalnya, data spasial disimpan dengan menggunakan peta, namun seiring berkembangnya teknologi dan kebutuhan data yang cepat, data spasial diambil, disimpan, dan diolah dengan teknologi komputer yang dinamakan Sistem Informasi Geografi (SIG). Dengan semakin meningkatnya volume data geografi , maka dibutuhkan suatu sistem yang dapat menyimpan sekaligus mengelola dengan efisien untuk kebutuhan suatu badan swasta atau pemerintah.
Database Management System (DBMS) adalah pilihan yang ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2010
S27864
UI - Skripsi Open Universitas Indonesia Library
Sulistomo Adie Suwarno
"
Model PARADIGM untuk Anjungan Tunai Mandiri (ATM) adalah model dari suatu rancangan sistem untuk ATM yang direpresentasikan menjadi himpunan State Transition Diagram (STD). Sebelum diimplementasikan pada komputer, sebuah model dari suatu rancangan sistem sebaiknya terlebih dahulu diterjemahkan menjadi pseudocode agar lebih mudah dibuat koding programnya. Tugas akhir ini membahas bagaimana model PARADIGM untuk ATM diterjemahkan menjadi pseudocode dalam bahasa Propositional Linear Temporal Logic (PLTL) dengan bantuan algoritma penerjemah. ...
"
Depok: Universitas Indonesia, 2005
S27598
UI - Skripsi Membership Universitas Indonesia Library
Heru Suhartanto
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1985
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
Hendy Waskito
"
Aljabar temporal merupakan perluasan dari model data relasional dan aljabar relasional sehingga mampu mendukung informasi time-varying. Ada beberapa aljabar temporal yang telah didefinisikan. Pada skripsi ini akan dibahas salah satu aljabar temporal yaitu aljabar temporal Tuzhilin. Temporal structure merupakan model data relasional temporal pada aljabar temporal Tuzhilin. Operasi-operasi pada aljabar temporal Tuzhilin terdiri dari operasioperasi aljabar relasional dan beberapa operator temporal logic. Formulasi query dalam aljabar temporal Tuzhilin merupakan perpaduan operasi-operasi aljabar relasional dan beberapa ...
"
Depok: Universitas Indonesia, 2007
S27782
UI - Skripsi Membership Universitas Indonesia Library
Trisya Wulandari
"
Sistem adalah kumpulan elemen yang bekerja sama untuk satu tujuan, contohnya sistem pada AC. Masalah timbul saat sistem mengalami kegagalan dalam bekerja. Salah satu cara mengatasinya adalah dengan menindaklanjuti penyebab dari kegagalan tersebut. Mencari penyebab kegagalan suatu sistem bisa menggunakan fault tree (FT). Dalam skripsi ini akan dibahas mengenai membangun FT dari sistem dan analisa kegagalan sistem dengan FT yang diaplikasikan pada sistem penggerak motor sederhana pada AC. Untuk membangun FT perlu diperhatikan cara kerja ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2011
S1035
UI - Skripsi Open Universitas Indonesia Library
