Hasil Pencarian  ::  Simpan CSV :: Kembali

"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."

"ABSTRAKDalam rangka peningkatan kinerja komputer, makin menurunnya harga IC --termasuk harga prosesor -- membuat penerapan operasi paralel dengan menggunakan banyak prosesor menjadi pilihan yang makin menarik. Untuk dapat memanfaatkan komputer paralel secara efektif dibutuhkan pengetahuan tentang kinerja komputer yang bersangkutan. Karena itu, penelitian untuk mempelajari kinerja sistem komputer paralel menjadi penting. Tesis ini berusaha untuk mengukur kinerja sistem komputer paralel TransPAU UI untuk program-program numerik dan nonnumerik. Program-program numerik yang diteliti adalah perkalian matriks, untuk ukuran baris dan kolom 200 x 200, 100 x 100 dan 75 x 75, sedangkan program-program non-numerik yang diteliti adalah pengurutan data (sorting), dengan ukuran 40.000, 20.000 dan 10.000 data. Penelitian dilakukan untuk data bertipe integer dan float, dengan menggunakan 1, 2, 4, 6 dan 8 prosesor (transputer). Untuk 4, 6 dan 8 prosesor digunakan berbagai cara komunikasi, dengan tujuan untuk mendapatkan cara komunikasi yang memberikan speedup yang maksimal."

"One of intense phenomena in land use aspect is land conversion. This phenomena occurs due to the needs and the demand pressures on land,namely derives from agricultural and non-agricultural sectors as an impact of the increasing number of population and the community development activities

---

"