Verifikasi Dua Varian Protokol Ad hoc On demand Distance Vector dengan UPPAAL

AbstrakMobile Ad-hoc Network (MANET) adalah sekumpulan wireless mobile yang terhubung satu sama lain tanpa infrastruktur yang tetap sehingga perubahan topologi dapat terjadi setiap saat. Protokol routing MANET memiliki dua model yaitu protokol routing reaktif yang membentuk tabel routing hanya saat dibutuhkan dan protokol routing proaktif yang melakukan pemeliharaan tabel routing secara berkala. Properti umum yang harus dipenuhi oleh protokol jaringan ad-hoc adalah route discovery, packet delivery dan loop fredom. AODV merupakan protokol reaktif MANET yang memiliki standar waktu berapa lama sebuah rute dapat digunakan (route validity), sehingga properti route discovery dan packet delivery harus dapat dipenuhi dalam waktu tersebut. Proses verifikasi protokol dilakukan dengan memodelkan spesifikasi protokol menggunakan teknik, tool, dan bahasa matematis. Pada penelitian ini bahasa pemodelan  yang digunakan adalah timed automata, yaitu bahasa pemodelan untuk memodelkan sistem yang memiliki ketergantungan terhadap waktu tertentu pada setiap prosesnya. Verifikasi protokol dilakukan secara otomatis dengan mengggunakan tool model checker UPPAAL.Protokol yang diverifikasi adalah protokol AODV Break Avoidance milik Ali Khosrozadeh dkk dan protokol AODV Reliable Delivery dari Liu-Jian dan Fang-Min. Hasil verifikasi protokol membuktikan bahwa protokol AODV Break Avoidance mampu memenuhi properti route discovery dan protokol AODV Reliable Delivery mampu memenuhi properti packet delivery dalam waktu sesuai dengan spesifikasi. Kata kunci —Verifikasi Protokol, Timed Automata,  AODV, UPPAAL Abstract MANET is a group of wireless mobile that connected one to each other without fixed infrastructure so topology could change at anytime. MANET routing protocol has two models which are reactive routing protocol that built routing table only when needed and proactive routing protocol that maintain routing table periodically. General property which had to be satisfied by ad-hoc network protocol are route discovery, packet delivery and loop freedom. AODV is a reactive protocol in MANET that has time standard to determine how long a route is valid to be used (route validity) so route discovery and packet delivery property should be satisfied in a specifically certain time. Protocol verification process done by modeling protocol specification using technique, tool and mathematic language.In this research protocol modeled using timed automata which is a modeling language that could be used to model a time dependent system in each process. Verification using timed automata can automatically done by UPPAAL tool model checker.Protocol which will be verified are AODV Break Avoidance by Ali Khosrozadeh et al. and AODV Reliable Delivery by Liu Jian and Fang-Min. Result of this protocol verification prove that AODV BA could satisfied route discovery property and AODV Reliable Delivery could satisfied packet delivery property within their specification time. Keywords—Protocol Verification, Timed Automata, AODV, UPPAA

Development of A Tourist Destination Object Search Application as A Madura Tourism Information Media Using ADDIE Model

The rapid development of tourism has caused many tourists to be interested in enjoying it. Madura Island is a small archipelago and is part of East Java. Madura consists of 4 districts, namely Bangkalan district, Sampang district, Pamekasan district, and Sumenep district. With the number of districts owned, it creates a diversity of tourism. The development of the tourism sector must also be accompanied by the development of information technology. Utilization of technology can improve accommodation in supporting tourist destination services by designing an android-based application for searching for objects supporting Madura tourism destinations. The purpose of this research is to create an object search application that supports tourist destinations and serves as a medium for information about tourist locations on the island of Madura, making it more straightforward for tourists/users to enjoy their vacation. The stages of research carried out using ADDIE Model include knowing the system requirements, analysis and design, Development, implementation, and Evaluation. The results of the study are in the form of applications by detecting supporting objects including places of interest, gas stations, lodging, religion, culinary and health. It is expected that users when visiting Madura tourism will be easy, fun, and can enjoy their holidays

Integration of Concatenated Deep Learning Models with ResNet Backbone for Automated Corn Leaf Disease Identification

Corn is one of Indonesia\u27s food commodities, which is an alternative food that supports food diversification in Indonesia. However, leaf infections in corn plants often cause significant yield losses and threaten food security. Early detection of this disease is very important, especially for small farmers, because conventional diagnostic methods that rely on agronomists are expensive and time-consuming. Recent advances in Agricultural Artificial Intelligence (AI) and image processing have facilitated automatic plant disease recognition through Convolutional Neural Networks (CNN), with ResNet as the main backbone combined through concatenation with MobileNetV3, DenseNet161, and GoogleNet. The dataset consists of 4,000 images divided into 2,560 training data, 640 validation data, and 800 test data, with image sizes adjusted to 224×224 pixels. The dataset consists of 4,000 images distributed across four categories: gray leaf spot, common rust, northern leaf blight, and healthy leaf. The testing was conducted using three different optimizers, namely Adam, RMSprop, and SGD, with a learning rate of 0.01. The experimental results showed that the SGD optimizer provided the best performance with a loss value of 0.2275, accuracy of 0.9513, precision of 0.9536, recall of 0.9513, and F1-score of 0.9512. These findings confirm that the combination of ResNet, MobileNetV3, DenseNet161, and GoogleNet architectures with the SGD optimizer can significantly improve the accuracy of corn leaf disease detection, making it a potential application for automatic detection systems in support of smart farming practices

Imbalanced Text Classification on Tourism Reviews using Ada-boost Naïve Bayes

Hidden paradise is a term that aptly describes the island of Madura, which offers diverse tourism potential. Through the Google Maps application, tourists can access sentiment-based information about various attractions in Madura, serving both as a reference before visiting and as evaluation material for the local government. The Multinomial Naïve Bayes method is used for text classification due to its simplicity and effectiveness in handling text mining tasks. The sentiment classification is divided into three categories: positive, negative, and mixed. Initial analysis revealed an imbalance in sentiment data, with most reviews being positive. To address this, sampling techniques—both oversampling and undersampling—were applied to achieve a more balanced data distribution. Additionally, the Adaptive Boosting ensemble method was used to enhance the accuracy of the Multinomial Naïve Bayes model. The dataset was split into training and testing sets using ratios of 60:40, 70:30, and 80:20 to evaluate the model’s stability and reliability. The results showed that the highest F1-score, 84.1%, was achieved using the Multinomial Naïve Bayes method with Adaptive Boosting, which outperformed the model without boosting, which had an accuracy of 76%

COMPARISON OF STEMMING AND SIMILARITY ALGORITHMS IN INDONESIAN TRANSLATED AL-QUR'AN TEXT SEARCH

The long history of information retrieval did not begin with Internet. Prior to widespread public daily use of search engines, in the 1960s information retrieval systems were discovered in commercial and intelligence applications. There are two stages in Information Retrieval in doing its main job which is to preprocessing text and to calculate similarity between term (word) and query (keyword) user searched for in a document. Stemming is final stage of pre-processing in an information retrieval system. The way stemming works is to remove affixes from a word, in form of prefixes, suffixes and insertions into form of basic word. Thus, in this paper we did compare search on information retrieval system without using stemming algorithm, using stemming Porter, Nazief & Adriani and Enhanced Confix Stripping with similarity method used is cosine similarity and dice similarity. Based on test results, text search ability on dice similarity is faster in stemming process with Porter Stemmer and ECS algorithms. While in Nazief & Adriani algorithm and without stemming, cosine similarity is faster than dice similarity

Decision Support System for Determination of Development of Small and Medium Industries Using VIKOR

Abstract As a basis for regional economic growth, the existence of small and medium industries is very influential for people’s lives. But on the other hand the parties involved are very rarely optimize their potential, because of the many small and medium industries owned by the community, especially in Bangkalan Madura. One effort to overcome difficulties in optimizing the potential of small and medium industries is the application of determining the priority for the development of SMEs. This application uses the VIKOR method with the criteria of Investment Value, Production Capacity, Production Value, Value of Raw Materials and Labor. VIKOR is a ranking method using a multi-criteria ranking index based on a certain measure of proximity to the ideal solution. So this application will choose a small and medium industry that is suitable for assistance in its development. The test results show that from making this application using the Vikor method has an accuracy rate of 73%.</jats:p

Web-Based Smart Market Applications as a Preference Transition during COVID-19 Pandemic

The Smart Market application is a web application that useful for making easier of traders and consumers to carry out buying and selling activities in the midst of the COVID-19 pandemic. In advances technology, it is very relevant to implement website-based buying and selling which is quite easy to reach. Hence these activities become more practical and efficient by online without leave the house and it can be seen by the wider community. Another advantage is that the public can see product price updates so that they can find out the price and prevent the market price of raw materials which tends to fluctuate and become a big government homework that never ends. With the increasingly competitive market competition, the Smart Market system was built to maintain the existence of traditional markets and retain customers who tend to like to shop online. The system has been built by proposing research methodologies including, analysis, design, implementation, and testing. The system has been tested to see the ability using black box techniques and it is found that all features have been running well in accordance with the expected results

Web-Based Smart Market Applications as a Preference Transition during COVID-19 Pandemic

The Smart Market application is a web application that useful for making easier of traders and consumers to carry out buying and selling activities in the midst of the COVID-19 pandemic. In advances technology, it is very relevant to implement website-based buying and selling which is quite easy to reach. Hence these activities become more practical and efficient by online without leave the house and it can be seen by the wider community. Another advantage is that the public can see product price updates so that they can find out the price and prevent the market price of raw materials which tends to fluctuate and become a big government homework that never ends. With the increasingly competitive market competition, the Smart Market system was built to maintain the existence of traditional markets and retain customers who tend to like to shop online. The system has been built by proposing research methodologies including, analysis, design, implementation, and testing. The system has been tested to see the ability using black box techniques and it is found that all features have been running well in accordance with the expected results.</jats:p

Temu Kembali Informasi

Buku ini membahas dasar-dasar dari suatu sistem temu- kembali informasi. Beberapa kampus menyebutnya sistem pemrolehan kembali informasi atau Sistem Temu Balik Informasi. Apapun namanya, bahasa inggrisnya adalah Information Retrieval. Bidang ini merupakan topik penelitian yang paling menarik dan aplikatif. Ini terbukti dari banyaknya paper terkait information retrieval yang diterbitkan oleh Journal dan Proceedings di seluruh dunia dalam tahun-tahun terakhir