Nama : Andri Irawan Mata kuliah : Simulasi Komputer

Kelas : Teknik Industri B 2018

NPM : 41155010180007

Simulasi Komputer 1a

Teori Pemodelan dan Simulasi

Peristiwa Diskrit dan Sistem Iteratif Dasar Komputasi
Bab ini memperkenalkan beberapa konsep utama yang mendasari kerangka kerja dan
metodologi untuk pemodelan dan simulasi (M&S) yang awalnya disajikan dalam "Teori
Pemodelan dan Simulasi" yang diterbitkan pada tahun 1976 - selanjutnya disebut sebagai
TMS76 untuk membedakannya dari TMS2018 edisi ketiga yang direvisi saat ini.

1.1 FORMALISME SPESIFIKASI SISTEM

Teori sistem membedakan antara struktur sistem (konstitusi bagian dalam dari suatu
sistem) dan perilaku (manifestasi luarnya). Dilihat sebagai kotak hitam (Gbr. 1.1 ) perilaku
eksternal dari suatu sistem adalah hubungan yang dibebankan antara riwayat waktu masukan
dan riwayat waktu keluaran. Perilaku input / output sistem terdiri dari pasangan catatan data
(segmen waktu input dipasangkan dengan segmen waktu output) yang dikumpulkan dari sistem
atau model nyata. Struktur internal sistem mencakup mekanisme transisistatus dan statusnya
(mendikte bagaimana input mengubah status saat ini menjadi status penerus) serta pemetaan
status-ke-output.
1.1.1 HUBUNGAN DENGAN ORIENTASI OBYEK
Model yang dikembangkan dalam paradigma teori sistem memiliki kemiripan dengan
konsep pemrograman berorientasi objek. Kedua objek dan model sistem berbagi konsep
keadaan internal. Namun, sistem matematika adalah struktur formal yang beroperasi pada basis
waktu sementara objek pemrograman biasanya tidak memiliki semantik temporal terkait.
Objek dalam paradigma berorientasi objek tipikal tidak hierarkis atau modular dalam arti yang
baru saja dijelaskan.
Sementara penggandengan menetapkan jalur keluaran-ke-masukan, pemodel sistem
benar-benar bebas untuk menentukan bagaimana aliran data di sepanjang saluran tersebut.
Aliran informasi adalah salah satu dari banyak interaksi yang mungkin direpresentasikan.
Interaksi lainnya termasuk kekuatan fisik dan medan, aliran material, aliran moneter, dan
transaksi sosial.

1.1.2 EVOLUSI FORMALISME SISTEM

Seperti dalam banyak situasi, menggambarkan evolusi sebuah ide dapat membantu
dalam memahami kompleksitas saat mereka berkembang. Ara. 1.3 menggambarkan
formalisme pemodelan sistem dasar seperti yang disajikan dalam edisi pertama, TMS76. Edisi
ini adalah buku pertama yang merumuskan pendekatan pemodelan sebagai formalisme
spesifikasi sistem – cara singkat untuk menggambarkan sistem tertentu dalam subkelas dari
semua sistem. Sistem persamaan diferensial tradisional, yang memiliki keadaan kontinu dan
waktu kontinu, dirumuskan sebagai kelas DESS (Spesifikasi Sistem Persamaan Diferensial).
Juga, sistem yang beroperasi pada basis waktu diskrit seperti automata dirumuskan sebagai
kelas DTSS (Spesifikasi Sistem Waktu Diskrit).
1.1.3 FORMALISME YANG BERKELANJUTAN DAN JELAS
Melewatkan bertahun-tahun akumulasi perkembangan, kemajuan besar berikutnya dalam
formalisme sistem adalah kombinasi dari kejadian diskrit dan formalisme persamaan
diferensial menjadi satu, DEV & DESS. Seperti yang ditunjukkan pada Gambar. 1.5 ,
formalisme ini mencakup DESS dan DEVS (karenanya juga DTSS) dan dengan demikian
mendukung pengembangan sistem gabungan yang komponennya diekspresikan dalam
formalisme dasar mana pun. Seperti itu multi-formalisme kemampuan pemodelan penting
karena dunia tidak

GAMBAR 1.4
Dinamika kelas system dasar
1.1.4 SISTEM YANG DIKUANTISASI
TMS2000 dibangun di atas kemajuan sejak tahun 1976 terutama dalam arah yang
ditunjukkan oleh pengenalan DEV & DESS. Karena simulasi paralel dan terdistribusi telah
menjadi bentuk dominan dari eksekusi model, dan konsep peristiwa diskrit paling cocok
dengan teknologi ini, focus beralih ke konsep yang disebut DEVS. bis. Konsep ini,
diperkenalkan pada tahun 1996, menyangkut penggunaan model DEVS, sebagai
"pembungkus" untuk memungkinkan berbagai model, untuk beroperasi dalam simulasi
jaringan. Ini sangat erat kaitannya dengan Arsitektur Tingkat Tinggi (HLA) yang didefinisikan
oleh Departemen Pertahanan Amerika Serikat.

GAMBAR 1.6
Memperkenalkan Sistem Kuantisasi

1.1.5 EKSTENSI PERANGKAT

Berbagai ekstensi DEVS telah dikembangkan seperti yang diilustrasikan pada Gambar.
1.7 . Untuk kepentingan konservasi ruang, beberapa di antaranya tidak dibahas di sini selama
masih tersedia di TMS2000. Karena fokus kami di sini adalah pada Spesifikasi Sistem Iteratif
sebagai formalisme pemodelan, kami menyajikan jenis model baru di Bab 12 .
Perkembangan ini memberikan kepercayaan pada klaim bahwa DEVS adalah dasar
komputasi yang menjanjikan untuk analisis dan desain sistem, terutama ketika simulasi adalah
lingkungan utama untuk pengembangan dan pengujian (Gbr. 1.8 ). Klaim bertumpu pada
keuniversalan representasi DEVS, yaitu kemampuan bus DEVS untuk mendukung formalisme
sistem dasar. TMS2000 melangkah lebih jauh untuk memperkuat klaim bahwa DEVS adalah
bentuk representasi unik yang mendasari sistem apa pun dengan perilaku kejadian diskrit.
 GAMBAR 1.8
DEVS sebagai Dasar Komputasi untuk Simulasi, Desain dan Kontrol.

1.2 TINGKAT PENGETAHUAN SISTEM

Seperti yang telah disebutkan, hierarki spesifikasi sistem adalah dasar untuk kerangka
kerja M&S yang menetapkan entitas fundamental dan hubungan dalam perusahaan M&S.
Hierarki pertama kali disajikan secara informal dan kemudian di Bab 5 dalam ketelitian
matematis penuhnya.
1.3 PENGANTAR SPESIFIKASI SISTEM HIERARKI
Pada waktu yang hampir bersamaan (di awal tahun 1970-an) saat Klir memperkenalkan
level epistemologis (pengetahuan), TMS76 merumuskan hierarki serupa yang lebih
berorientasi pada konteks M&S. Kerangka kerja ini menggunakan konsep umum sistem
dinamis dan mengidentifikasi cara-cara yang berguna untuk menentukan sistem seperti itu.

GAMBAR 1.9
Sistem Masukan / Keluaran.
1.4 TINGKAT SPESIFIKASI YANG DIBERIKAN SECARA INFORMAL
1.4.1 KERANGKA PENGAMATAN

Bingkai Pengamatan menentukan cara menstimulasi sistem dengan masukan; variabel

apa yang harus diukur dan bagaimana mengamatinya dalam jangka waktu tertentu. Sebagai
contoh, Gambar. 1.11 menunjukkan subjek hutan petir, hujan dan angin, dimodelkan sebagai
port input dan merokok dihasilkan dari api, direpresentasikan sebagai port keluaran. Ini adalah
spesifikasi level 0 atau Observation Frame. Perhatikan pilihan variabel yang kami sertakan
sebagai port dan orientasi
1.4.2 PERILAKU I / O DAN FUNGSI I / O
Koleksi dari semua pasangan I / O yang dikumpulkan melalui observasi disebut
Perilaku I / O dari sebuah sistem. Kembali ke Tabel 1.3 , ini mewakili spesifikasi sistem pada
Level 1. Sekarang anggaplah kita mampu melakukannya secara unik
GAMBAR 1.12
Beberapa Pasangan Input-Output untuk Kerangka Sistem Hutan Gbr.1.1.1

1.4.3 SPESIFIKASI SISTEM TRANSISI NEGARA

Pada tingkat berikutnya (3) dari spesifikasi sistem, kita tidak hanya dapat menentukan
informasi status awal tetapi juga bagaimana perubahan negara saat sistem merespons lintasan
masukannya. Ara. 1.13 B dan C menggambarkan konsep penting ini. Ara. 1.13 B menyajikan
situasi di mana hutan dalam keadaan (vegetasi kering, tidak terbakar) ketika sambaran petir
terjadi pada saat itu t0. Keadaan hutan pada saat itu t1 ketika petir kedua terjadi adalah (vegetasi
kering, terbakar) mencerminkan fakta bahwa api telah menyulut.

1.4.4 SPESIFIKASI SISTEM KOMPONEN TERPASANG

Pada tingkat spesifikasi sistem tertinggi, kita dapat mendeskripsikan lebih lanjut
tentang internal sistem. Sampai sekarang, itu adalah kotak hitam, pada awalnya hanya dapat
diamati melalui port I / O. Selanjutnya, kami dapat mengintip ke dalam sejauh mengamati
keadaannya. Sekarang, pada level 4, kita dapat menentukan bagaimana sistem terdiri dari
komponen yang berinteraksi.

1.5 SPESIFIKASI SISTEM MORFISME: KONSEP DASAR

Hierarki spesifikasi sistem menyediakan stratifikasi untuk membangun model. Tapi,
sementara membangun model adalah aktivitas dasar dalam M&S, banyak pekerjaan nyata
melibatkan membangun hubungan antara deskripsi sistem. Hierarki spesifikasi sistem juga
menyediakan cara yang teratur untuk menampilkan dan bekerja dengan hubungan semacam
itu.

GAMBAR 1.14
Spesifikasi Sistem Struktur Komponen untuk Sistem Hutan

1.6 EVOLUSI PERANGKAT

Sekitar tahun 1960, penggunaan pertama dari bentuk simulasi digital muncul yang
secara kasar dapat kita identifikasi sebagai simulasi berorientasi peristiwa. Pada saat
kemunculannya, simulasi berorientasi peristiwa pada umumnya dianggap sebagai bentuk
pemrograman yang terkait dengan pengenalan komputer digital baru-baru ini dan diterapkan
pada masalah penelitian operasional

GAMBAR 1.17
Homomorfisme: pemetaan yang melestarikan transisi dan keluaran negara selangkah
demi selangkah.
 Beberapa strategi pemodelan khas segera muncul untuk simulasi berorientasi peristiwa
pemrograman. Mereka menjadi dikemas dalam konsep pandangan dunia: penjadwalan acara,
pemindaian aktivitas, dan interaksi proses. Pandangan dunia ini secara resmi dicirikan dalam
Zeigler ( 1984 ) menunjukkan bahwa mereka semua dapat direpresentasikan sebagai subkelas
DEVS (Bab 7 ), sehingga juga menyarankan universalitasnya untuk formalisme model
peristiwa diskrit yang diperluas ke representasi lain seperti Timed Automata dan Petri Nets
(Gbr. 1.18 ).