Ditemukan 2 dokumen yang sesuai dengan query
Yahma Wisnani
"
Makalah ini memperkenalkan model checking pada logika temporal linear serta aturan selama proses verifikasi berlangsung. Tahapan ularna pada model checking adalah model, spesifikasi dan verifikasi. Tahapan model mengkonversikan sebuah rancangan menjadi sebuah model dalam bentuk struklur Kripke; tahapan spesifikasi merepresentasikan semua sifat yang harus dipenuhi oleh rancangan kebentuk bahasa logika temporal linear dan lahapan verifikasi membuktikan apakah spesifikasi telah terpenuhi sepanjang lintasan dalam model. Oven microwave digunakan sebagai conloh rancangan yang akan diverifikasi.
Checking Model of ...
"
[place of publication not identified]: Sains Indonesia, 2003
SAIN-8-3-2003-27
Artikel Jurnal Universitas Indonesia Library
Yahma Wisnani
"
Queri ganda adalah sebuah queri yang mengkombinasikan queri Boolean dan probabilistik pada sistem temu-kembali informasi berbasis Jaringan Inferensi, sistem tersebut terdiri dari dua komponen yaitu jaringan dokumen dan jaringan queri, kedua jaringan dihubungkan oleh busur antara istilah dokumen dan istilah queri. Jaringan dokumen membangun sebuah berkas pembalikan dokumen dan jaringan queri dievaluasi dengan menggunakan matrik kanonik. Proses penyesuaian antara istilah queri dan istilah dokumen menghasilkan sekumpulan dokumen terambil yang relevan. Hasil percobaan menunjukkan formulasi ...
"
Depok: Lembaga Penelitian Universitas Indonesia, 2004
AJ-Pdf
Artikel Jurnal Universitas Indonesia Library
