Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
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 Linear Temporal Logic for Microwave Oven: This paper introduce checking model of linear temporal logic and its role within the process. The main steps of model checking are modelling, specification and verification. The modelling step convert a design into a model in Kripke structure forms; the spesification step represent all properties of the satisfy design that it should be staled by using linear temporal logic, and the verification step determine that the specification should be hold along paths in the model. Microwave oven is used as a design exampel to be verily.

Abstrak :
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 queri ganda secara siknifikan meningkatkan kinerja sistem temu-kembali jika dibandingkan dengan queri Boolean atau probabilistik.

---

The Multiple Query of Information Retrieval System Based on Inference Network. The multiple query is a query that combines Boolean and probabilistic query on the information retrieval inference network system, the system consists of two components i.e. a dokument and a query network, they are joined by links between the representation and query concepts. The document network build an inverted belief list and the query network are evaluated by using canonical matrix. The similarity process between representation and query conceps yields a set of relevant document retrieved. The experiment has showed that the use of multiple query formulations will significantly improve the retrieval perfomance, compared to either the Boolean or probabilistic query.