- Pengertian Verifikasi : Verifikasi merupakan proses pemeriksaan kesesuaian model logika operasional dengan logika diagram alur atau dapat disederhanakan dengan “apakah terdapat kesalahan dalam program?” (Hoover dan Perry, 1989). Sedangkan menurut (Law dan Kelton 1991) verifikasi merupakan suatu proses untuk memeriksa kesesuaian jalannya program computer simulasi dengan yang diinginkan dengan cara melakukan pemeriksaan program computer, selain itu verifikasi dapat diartikan sebagai proses penerjemahan model simulasi konseptual kedalam bahasa pemrograman secara benar. - Pengertian Validasi : Validasi adalah proses penentuan apakah model, sebagai konseptualisasi atau abstraksi, merupakan representasi berarti dan akurat dari sistem nyata? (Hoover dan Perry, 1989). Sedangkan menurut (Law dan Kelton, 1991) validasi adalah penentuan apakah mode konseptual simulasi (sebagai tandingan program komputer) adalah representasi akurat dari sistem nyata yang sedang dimodelkan. 2. Pembahasan : Roti A = x Roti B = y Tepung : Roti A = 200 gram Roti B = 100 gram Persediaan = 4 kg = 4.000 gram 200x + 100y ≤ 4.000 => bagi 100 2x + y ≤ 40 Mentega : Roti A = 25 gram Roti B = 50 gram Persediaan = 1,2 kg = 1.200 gram 25x + 50y ≤ 1.200 ==> bagi 25 x + 2y ≤ 48 Jadi model matematika dari permasalahan di atas adalah : 2x + y ≤ 40 x + 2y ≤ 48 x≥0 y≥0 3. Kejadian yang biasa terdapat dalam simulasi kejadian diskrit : - Kedatangan sebuah entitas ke sebuah stasiun kerja (workstation) - Kegagalan Resource - Selesainya sebuah aktivitas - Akhir Sebuah Shift 4. Sistem ATM - Pelanggan tiba untuk menggunakan ATM dengan waktu antar-kedatangan 3 menit yang terdistribusi eksponensial - Antrian memiliki kapasitas untuk menampung pelanggan dalam jumlah tak terbatas - ATM memiliki kapsitas satu pelanggan rata-rata 2.4 menit terdistribusi eksponensial utnuk menyelesaikan transaksi (waktu jasa/service time di ATM) - Simulasi mulai pada saat nol - Simulasikan sistem ATM pada 22 menit pertama operasinya dan estimaskan waktu tunggu (expected waiting time) pelanggan dalam antrian