Desain Finite State Automata Untuk Merancang Vending Automata Logam Mulia

Abstrak: Menabung logam mulia merupakan investasi yang dianggap safe haven, ditengah era modern saat ini menabung logam mulia dapat dilakukan dengan cara dicicil, sedangkan yang menjadi masalahnya adalah kekhawatiran ketika fisik logam mulia tidak dapat ditarik fisiknya yang membuat potensi fraud atau investasi bodong yang sedang marak saat ini, untuk mengatasi masalah itu penjualan logam mulia dapat dikembangkan menjadi lebih menarik dengan vending machine, untuk memperdalam pemahaman mengenai salah satu model komputasi yang mendasar dan pengenalan Internet of Things (IoT), desain vending machine ini akan menggunakan metode finite state automata (FSA). Dengan desain finite state automata, penelitian ini telah menghasilkan desain vending machine logam mulia berbasis Internet of Things (IoT) dari cara login ke vending machine sampai fisik logam mulia dapat diterima. Produk penjualan logam mulia dengan menggunakan vending machine ini diharapkan dapat menjangkau masyarakat lebih luas untuk berinvestasi, khususnya logam mulia. Kata kunci: Internet of Things, logam mulia, vending machine Abstract: Saving gold is an investment that is considered a safe haven, in the midst of today's modern era saving gold can be done in installments, while the problem is the concern when the physical gold cannot be physically withdrawn which creates the potential for fraud or fraudulent investments that are currently rampant. to overcome this problem the sale of precious metals can be developed to be more attractive with vending machines, to deepen understanding of one of the fundamental computing models and the introduction of the Internet of Things (IoT), this vending machine design will use the finite state automata (FSA) method. With the design of finite state automata (FSA), this research has resulted in the design of a gold vending machine based on the Internet of Things (IoT) from how to login to the vending machine until the gold is physically acceptable. The product selling gold using vending machines is expected to reach a wider audience to invest, especially gold. Keywords: Internet of Things, precious metals, vending machine

Penerapan Finite State Automata Pada Vending Machine Parfum Laundry Pakaian

Abstrak: Parfum banyak digemari oleh berbagai kalangan, salah satunya adalah parfum laundry. Parfum laundry memiliki berbagai macam varian aroma, meliputi aroma buah, aroma bunga, aroma perpaduan buah dan bunga, dan aroma kayu-kayuan. Parfum laundry ini merupakan rangkaian akhir dalam proses laundry. Saat ini pelanggan menerima hasil laundry dengan aroma parfum yang dipilih secara random sesuai ketersediaan pihak laundry, hal ini menjadi masalah karena pelanggan tidak dapat memilih aroma parfum laundry sesuai dengan keinginan mereka. Dengan alasan tersebut maka diperlukan suatu rancangan sebuah Vending Machine (VM), rancangan VM ini menggunakan metode Finite State Automata (FSA) dengan jenis Non-Deterministic Finite Automata (NFA), metode tersebut digunakan karena dapat mengakomodir lebih dari satu kondisi dalam satu pilihan. Metode FSA jenis NFA dibuat dengan tahapan analisa proses bisnis, diagram state, desain VM dan pengujian. Hasil dari penelitian ini dengan adanya VM pemilihan parfum laundry pakaian, maka mempermudah pelanggan untuk dapat memilih parfum laundry sehingga pelanggan memperoleh hasil laundry dengan aroma parfum sesuai pilihan mereka. Kata kunci: finite state automata, parfum laundry, vending machine Abstract: Perfume is much favored by various circles, one of which is laundry perfume. Laundry perfume has a wide range of scent variants, including fruity scents, floral scents, fruity floral scents, and woody scents. This laundry perfume is the final line in the laundry process. Currently customers receive laundry results with perfume scents selected randomly according to the availability of the laundry party, this is a problem because customers cannot choose laundry perfume scents according to their wishes. For this reason, it is necessary to design a Vending Machine (VM), this VM design uses the Finite State Automata (FSA) method with the Non-Deterministic Finite Automata (NFA) type, this method is used because it can accommodate more than one condition in one choice. The FSA type of NFA method is made with the stages of business process analysis, state diagrams, VM design and testing. The results of this study with the VM in the selection of clothes laundry perfume, it makes it easier for customers to be able to choose laundry perfumes so that customers get laundry results with the perfume scent of their choice. Keywords: finite state automata, laundry perfume, vending machine

Deteksi Serangan Denial of Service pada Internet of Things Menggunakan Finite-State Automata

Internet of things memiliki kemampuan untuk menghubungkan obyek pintar dan memungkinkan mereka untuk berinteraksi dengan lingkungan dan peralatan komputasi cerdas lainnya melalui jaringan internet. Namun belakangan ini, keamanan jaringan internet of things mendapat ancaman akibat serangan cyber yang dapat menembus perangkat internet of things target dengan menggunakan berbagai serangan denial of service. Penelitian ini bertujuan untuk mendeteksi dan mencegah serangan denial of service berupa synchronize flooding dan ping flooding pada jaringan internet of things dengan pendekatan finite-state automata. Hasil pengujian menunjukkan bahwa pendekatan finite-state automata berhasil mendeteksi serangan synchronize flooding dan ping flooding pada jaringan internet of things, tetapi pencegahan serangan tidak secara signifikan mengurangi penggunaan prosesor dan memori. Serangan synchronize flooding menyebabkan delay saat mengaktifkan/menonaktifkan peralatan internet of things sedangkan serangan ping flooding menyebabkan error. Implementasi bash-iptables berhasil mengurangi serangan synchronize flooding dengan efisiensi waktu pencegahan sebesar 55,37% dan mengurangi serangan ping flooding sebesar 60% tetapi dengan waktu yang tidak signifikan.

Penerapan Finite State Automata Pada Vending Machine Penjual Obat Non Resep Dokter Dan Keperluan Medis

Kebutuhan obat non resep dokter dan keperluan medis menjadi salah satu kebutuhan yang sangat penting untuk dipenuhi dengan mudah,cepat, tepat, dan aman bagi masyarakat saat ini, beragamnya pilihan obat yang dijual mengharuskan masyarakat mampu memilih dengan cermat dan tepat dalam membeli obat sesuai dengan kebutuhan penyakit yang dialami,informasi tentang kandungan, aturan pakai dan efek samping dari obat juga sangat penting untuk diketahui masyarakat guna memaksimalkan maanfaat dari obat yang dikonsumsi. Sistem penjualan obat yang tersedia saat ini adalah dengan penjualan langsung di apotek, toko kelontong dan secara daring yang memiliki keterbatasan dalam sebaran ketersedian toko dan waktu pelayanan yang terbatas. Penelitian ini bertujuan untuk memberikan alternatif sistem penjualan obat non resep dokter dan keperluan medis dengan memanfaatkan perkembangan teknologi vending machine (VM) menggunakan finite state automata (FSA model Non-deterministic Finite Automata (NFA)). Dengan kelebihan penjualan menggunakan VM yang dapat diletakan dimana saja dan dapat beroperasi kapan saja membuat penjualan dengan sistem ini dapat tersedia kapanpun dan dimanapun untuk memenuhi kebutuhan obat dan keperluan medis bagi masyarakat yang mendesak dengan mudah,cepat, tepat, dan aman. Metode yang diterapkan dalam Penerapan FSA pada VM Penjual Obat Non Resep Dokter dan Keperluan Medis ini antara lain Finite State Automata VM Obat Non Resep Dokter dan Keperluan Medis, Perancangan Sistem VM Obat Non Resep Dokter dan Keperluan Medis,dan Desain VM Obat Non Resep Dokter dan Keperluan Medis. Berdasarkan perancangan FSA VM diatas, dihasilkan VM Penjual Obat Non Resep Dokter dan Keperluan Medis yang dapat diletakan dimana saja dan tersedia kapan saja, sehingga dapat disimpulkan penggunaan finite state automata (FSA) model Non-deterministic Finite Automata (NFA) dapat dimanfaatkan dalam pembuatan VM Penjual Obat Non Resep Dokter dan Keperluan Medis dengan menyediakan menu pilihan metode pembayaran tunai dan non tunai, kebutuhan akan obat dan keperluan medis yang mendesak bagi masyarakat dapat terpenuhi dengan mudah, cepat, tepat dan aman.

Synthesis with Mandatory Stop Actions

We study the impact of the need for the agent to obligatorily instruct the action stop in her strategies. More specifically we consider synthesis (i.e., planning) for LTLf goals under LTL environment specifications in the case the agent must mandatorily stop at a certain point. We show that this obligation makes it impossible to exploit the liveness part of the LTL environment specifications to achieve her goal, effectively reducing the environment specifications to their safety part only. This has a deep impact on the efficiency of solving the synthesis, which can sidestep handling Buchi determinization associated to LTL synthesis, in favor of finite-state automata manipulation as in LTLf synthesis. Next, we add to the agent goal, expressed in LTLf, a safety goal, expressed in LTL. Safety goals must hold forever, even when the agent stops, since the environment can still continue its evolution. Hence the agent, before stopping, must ensure that her safety goal will be maintained even after she stops. To do synthesis in this case, we devise an effective approach that mixes a synthesis technique based on finite-state automata (as in the case of LTLf goals) and model-checking of nondeterministic Buchi automata. In this way, again, we sidestep Buchi automata determinization, hence getting a synthesis technique that is intrinsically simpler than standard LTL synthesis.

Penerapan Konsep Finite State Automata Pada Aplikasi Simulasi Vending Machine Beras

Indonesia terkenal sebagai negara agraris karena memiliki sumber daya alam melimpah yang didukung dengan tanah subur sehingga masyarakatnya mayoritas bermatapencaharian sebagai petani. Salah satu hasil pertanian yang berkontribusi terhadap kemiskinan di Indonesia yaitu beras. Beras dengan mudah dapat ditemukan di pasar baik pasar tradisional maupun pasar modern, namun ditengah pandemi virus corona (COVID-19) sekarang ini membuat orang merasa takut untuk pergi ke pasar karena pasar merupakan salah satu klaster terbesar penularan covid-19. Salah satu inovasi teknologi yang telah banyak digunakan dalam dunia perniagaan yaitu vending machine (VM). VM merupakan sebuah mesin penjualan otomatis yang biasanya terdapat di tempat ramai dan strategis. Hal ini yang mendasari untuk pembuatan simulasi VM beras dan diharapkan dapat menjadi salah satu solusi pemutus penyebaran dan penularan covid-19. Simulasi VM beras ini dapat melakukan penjualan otomatis beras dengan masukkan berupa uang kertas atau dengan e-money dan keluarannya berupa struk bukti pembelian beras dan 5 jenis beras. Metode yang digunakan yaitu Finite State Automata (FSA) jenis Non-deterministic Finite State Automata (NFA) yang didefinisikan lima tupel, dengan rumus: M = (Q, Σ, δ, S, F). NFA dipilih karena dapat menjelaskan konsep kerja secara rinci sehingga mudah dipahami dan hasil dari FSA dapat dibuat konsep logika sederhana untuk implementasi.

Desain Game Edukasi Ilmu Tajwid Bagi Anak Usia Dini menggunakan Pemodelan Finite State Automata

This study discusses how Finite State Automata (FSA) can be used as a model to design a Tajweed Science game application as a business diagram. This study aims to facilitate early childhood in learning the science of recitation by grouping hijaiyah letters into grouping the science of recitation by using a touch of the hand. The type of automata theory used is a non-deterministic finite automata with epsilon transition (E) or better known as E-NFA. Each transition, input, state that exists from the NFA, is basically to show the characteristics or states that occur in a game application. The importance of this research, in addition to learning recitation from an early age, is to show that automata theory can be used to help design a system in making game applications. The results of this Tajweed Science game application design are a rough display because there will still be further development stages and can ensure that game applications can be built from E-NFA modeling.