Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
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 rancangan sistem. Pada tugas akhir ini dibahas penggunaan algoritma computational tree logic model checking untuk memeriksa rancangan sistem microwave oven.

Abstrak :
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 tepat untuk melakukan tugas tersebut. DBMS relasional yang biasa digunakan dalam dunia bisnis tidak sesuai untuk diaplikasikan pada tipe data spasial, sehingga diperlukan perluasan teknologi DBMS untuk informasi spasial. Untuk mengimplementasikan dalam program komputer, PostgreSQL merupakan open source basis data yang dapat menyimpan tipe data kompleks seperti data spasial beserta bahasa query spasial untuk tahap manipulasi data. Pada tugas akhir ini dideskripsikan representasi data spasial dalam basis data dan bahasa query spasial yang digunakan dalam pengambilan informasi spasial dari basis data dan melakukan implementasi dengan sistem basis data object-relational PostgreSQL.

Abstrak :
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.

Abstrak :
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 operator temporal logic.

Abstrak :
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 sistem dan batasannya. Dalam FT ada tiga simbol yang dipakai yaitu simbol gerbang, simbol transfer dan simbol kejadian. Hasil analisa kegagalan sistem dengan FT akan menghasilkan minimal cut set yaitu penyebab-penyebab kegagalan sistem terjadi, dan probabilitas terjadinya kegagalan. ......System is a collection of elements that work together for one purpose, for example in air conditioning systems. Problems arise when the system failure in the work. One way around that is to follow up the cause of failure. Finding the cause of the failure of a system can use the fault tree (FT). In this skripsi will be discussed on building the FT of the system and failure analysis with the FT system is applied to a simple motor drive system on the AC. To build the FT need to know how the system works and its limitations. In the FT, there are gate symbol, an event symbol and transfer symbol. The results of analysis by the FT from system failure is a minimal cut sets, that are the causes of system failure occurred, and the probability of failure.