Sesuai dengan
perkembangan zaman yang semakin modern maka manusia berfikir untuk menciptakan
serta mengembangkan sesuatu dengan teknologi baru. Mesin otomatis adalah salah
satu teknologi yang sengaja diciptakan untuk mengubah suatu kegiatan yang semula
bersifat manual menjadi otomatis sebagai tujuan untuk mempercepat proses
kegiatan tersebut.
Disini saya akan membahas mengenai jurnal yang saya temui yang membahas komputasi modern :
http://jurnal.fmipa.unila.ac.id/index.php/komputasi/article/viewFile/415/357
Pada jurnal tersebut dibahas mengenai penciptaan sebuah mesin pembuat minuman kopi otomatis. Untuk membuat mesin ini digunakan konsep FSA (Finite State Automata) yang digunakan untuk mengenal dan menangkap pola dalam proses pembuatan minuman kopi pada mesin pembuat minuman kopi otomatis. Sedangkan aplikasi simulasi mesin pembuat minuman kopi otomatis ini dibangun dengan menggunakan tools Microsoft Visual Studio 2008.
Metode yang digunakan dalam pembuatan mesin pembuat minuman kopi otomatis ini adalah formal methods. Formal Methods yaitu suatu pemodelan matematika, yang dapat digunakan untuk menjembatani pembuatan, pengembangan, dan verifikasi perangkat keras dan piranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil.
Sesuai artinya, komputasi modern adalah perhitungan untuk menemukan pemecahan masalah dari data input dengan menggunakan suatu algoritma, maka pembuatan mesin pembuat minuman kopi ini dibuat sesuai dengan perkembangan zaman yang semakin maju dengan menggunakan suatu algoritma yang dikembangkan dengan menggunakan komputer.
Teknik spesifikasi yang digunakan pada penelitian mesin ini adalah berorientasi model, yaitu dengan membuat suatu model perilaku sistem menggunakan objek matematika seperti set dan urutan, diantaranya automata model teoritis dan state charts.
Aplikasi simulasi mesin pembuat minuman kopi otomatis ini adalah aplikasi simulasi yang dapat melakukan proses pembuatan kopi beserta variasinya secara otomatis dengan menggunakan konsep FSA seperti yang sudah dibahas sebelumnya yang menjadi salah satu alternatif untuk merancang suatu mesin pembuat minuman kopi otomatis.
Model checking adalah metode yang digunakan untuk pengujian pada mesin dengan membuat daftar dari kemungkinan kesalahan yang terjadi pada aplikasi.
Jadi, konsep FSA ini diterapkan dengan cara FSA membaca setiap simbol masukan yang diberikan menjadi satu bahasa yang dikenali oleh FSA, selanjutnya mesin akan melakukan proses pembuatan kopi sesuai bahasa yang dibaca oleh FSA.
Disini saya akan membahas mengenai jurnal yang saya temui yang membahas komputasi modern :
http://jurnal.fmipa.unila.ac.id/index.php/komputasi/article/viewFile/415/357
Pada jurnal tersebut dibahas mengenai penciptaan sebuah mesin pembuat minuman kopi otomatis. Untuk membuat mesin ini digunakan konsep FSA (Finite State Automata) yang digunakan untuk mengenal dan menangkap pola dalam proses pembuatan minuman kopi pada mesin pembuat minuman kopi otomatis. Sedangkan aplikasi simulasi mesin pembuat minuman kopi otomatis ini dibangun dengan menggunakan tools Microsoft Visual Studio 2008.
Metode yang digunakan dalam pembuatan mesin pembuat minuman kopi otomatis ini adalah formal methods. Formal Methods yaitu suatu pemodelan matematika, yang dapat digunakan untuk menjembatani pembuatan, pengembangan, dan verifikasi perangkat keras dan piranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil.
Sesuai artinya, komputasi modern adalah perhitungan untuk menemukan pemecahan masalah dari data input dengan menggunakan suatu algoritma, maka pembuatan mesin pembuat minuman kopi ini dibuat sesuai dengan perkembangan zaman yang semakin maju dengan menggunakan suatu algoritma yang dikembangkan dengan menggunakan komputer.
Teknik spesifikasi yang digunakan pada penelitian mesin ini adalah berorientasi model, yaitu dengan membuat suatu model perilaku sistem menggunakan objek matematika seperti set dan urutan, diantaranya automata model teoritis dan state charts.
Aplikasi simulasi mesin pembuat minuman kopi otomatis ini adalah aplikasi simulasi yang dapat melakukan proses pembuatan kopi beserta variasinya secara otomatis dengan menggunakan konsep FSA seperti yang sudah dibahas sebelumnya yang menjadi salah satu alternatif untuk merancang suatu mesin pembuat minuman kopi otomatis.
Model checking adalah metode yang digunakan untuk pengujian pada mesin dengan membuat daftar dari kemungkinan kesalahan yang terjadi pada aplikasi.
Jadi, konsep FSA ini diterapkan dengan cara FSA membaca setiap simbol masukan yang diberikan menjadi satu bahasa yang dikenali oleh FSA, selanjutnya mesin akan melakukan proses pembuatan kopi sesuai bahasa yang dibaca oleh FSA.
Tidak ada komentar:
Posting Komentar