::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 22 dokumen yang sesuai dengan query
cover
Dwi Teguh Priyantini, author
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover = Formalization of arithmetic algorithm and the related constructions in VHDL by using HOL theorem prover
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 ,...
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2017
T-Pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
Tan Prawibowo Joenarto, author
Pengendalian pressure process rig menggunakan backpropagasi dengan aritmatika fuzzy = Controlling pressure process rig using neural network backpropagation with fuzzy arithmetic
[ABSTRAK
Pengendalian tekanan udara sulit karena sistem tersebut umumnya memiliki konstanta waktu dan time delay yang besar yang mempersulit pengendalian. Tesis ini membahas penelitan menggunakan backpropagasi dengan aritmatika fuzzy untuk mengendalikan sistem Process Pressure Rig (PPR). Pendekatan ini menggunakan gabungan dari kemampuan belajar dari backpropagasi dan kemampuan menghadapi nilai yang awang-awang...
Depok: Fakultas Teknik Universitas Indonesia, 2014
T41633
UI - Tesis Membership  Universitas Indonesia Library
<<   1 2 3 >>