InfinityPub Date : 2021-05-21DOI: 10.47178/infinity.v1i1.996
{"title":"Monitoring Kelembaban Tanah Pada Persemaian Bibit Tanaman Berbasis Arduino","authors":"","doi":"10.47178/infinity.v1i1.996","DOIUrl":"https://doi.org/10.47178/infinity.v1i1.996","url":null,"abstract":"Fakultas Pertanian UKI Toraja memiliki laboratorium persemaian tanaman. Lahan persemaian tersebut dipantau secara manual termasuk tingkat kelembaban tanahnya. Hal demikian akan mempengaruhi tingkat keberhasilan dalam pembibitan tanaman. Kadang kala bibit tanaman mengalami pertumbuhan yang normal, namun juga kadang kalamengalami pertumbuhan yang gagal. Untuk mengatasi hal tersebut, maka dirancanglah sebuah alat monitoring berupa sensor. Sensor akan ditempatkan pada lahan persemaian dan akan mendeteksi tingkat kelembaban tanah tersebut. Jenis sensor yang digunakan yaitu sensor kelembaban FC- \u000028 dan akan dipadukan dalam rangkaian mikrokontroler Arduino. Mikrokontroler Arduino akan bekerja dalam mengolah data analog menjadi data digital dengan sumber daya listrik yang rendah. Adapun hasil pembacaan sensor ini akan ditampilkan dalam LCD dan indikator berupa buzzer. Proses perolehan dan pengelolaan data dilaksanakan di Kampus 2 Kakondongan selama enam bulan. Hasil perancangan menunjukkan bahwa alat dapat bekerja dengan baik dimana sensor FC-28 dapat mendeteksi kelembaban tanah yaitu pada saat kelembaban tanah mencapai 30%, maka pompa air akan bekerja (ON) hingga kelembaban tanah lebih besar dari 30%. Ketika kelembaban tanah lebih dari 30%, maka pompa air akan berhenti (OFF). Kondisi ini akan \u0000bekerja secara berulang-ulang sesuai input sensor FC-28.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42556887","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2021-05-21DOI: 10.47178/infinity.v1i1.1333
Srivan Palelleng, Asrin Tadungan
{"title":"Sistem Informasi Persuratan Desa “SITANDE” Berbasis Web pada Lembang Rea Tulaklangi’","authors":"Srivan Palelleng, Asrin Tadungan","doi":"10.47178/infinity.v1i1.1333","DOIUrl":"https://doi.org/10.47178/infinity.v1i1.1333","url":null,"abstract":"Perkembangan teknologi semakin pesat pada masa sekarang ini tak terkecuali pada bidang pemerintahan yang harus diimbangi dengan teknologi untuk memudahkan dalam pekerjaan, dimana proses pelayanan surat menyurat di kantor pemerintahan harus bisa berkolaborasi dengan teknologi informasi. Dalam proses mengurus persuratan tidak hanya dilakukan di kantor tetapi bisa dilakukan dimana saja. Pada kasus yang terjadi di Kantor Lembang Rea Tulaklangi’ yaitu pelayanan persuratan yang ada di Kantor Lembang Rea Tulaklangi’ kurang efisien. Pada proses pencatatan data surat masuk dan data surat keluar masih Dilakukan secara manual yang sewaktu-waktu catatan tersebut bisa rusak atau hilang. Untuk itu penulis membuat sistem informasi persuratan berbasis web pada Lembang Rea Tulaklangi’ dengan metode Waterfall. Pembuatan sistem menggunakan bahasa pemrograman PHP, database MySql dan Framework CodeIgniter. Hasil penelitian ini menunjukkan bahwa sistem yang telah dibangun telah berhasil dan bisa menyelesaikan masalah persuratan pada Lembang Rea Tulaklangi’. Pelayanan persuratan di kantor lembang dapat lebih efisien dengan menggunakan sistem yang telah dibangun. Hal ini dibuktikan dengan pengujian blackbox secara fungsional sesuai yang diharapkan dan pengujian User Acceptance Test (UAT) yang dilakukan pada staff mendapatkan nilai persentase 89,3% dan pada warga mendapatkan nilai 87%, sehingga sistem dikategorikan sangat kuat sesuai yang dikemukakan oleh Riduwan (2008), jika hasil persentase yang didapatkan mencapai 81% - 100% maka hasil pengujian dapat dikatakan sangat kuat sehingga sistem yang telah dibuat dapat diimplementasikan.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49140855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2021-05-21DOI: 10.47178/infinity.v1i1.904
Melki Garonga, Jufrianus Rusman, G. A. Pongdatu
{"title":"Implementasi Augmented Reality Pada Aplikasi Objek Wisata Kota Palopo Berbasis Area Marker","authors":"Melki Garonga, Jufrianus Rusman, G. A. Pongdatu","doi":"10.47178/infinity.v1i1.904","DOIUrl":"https://doi.org/10.47178/infinity.v1i1.904","url":null,"abstract":"Palopo adalah salah satu kota di provinsi Sulawesi Selatan. Kondisi geografis kota palopo membawa keuntungan tersendiri di sektor pariwisata, Dengan adanya Smartpone informasi dapat diakses kapanpun dan dimanapun lewat perangkat gadget. Namun informasi saja tidak cukup, suatu objek wisata akan lebih menarik jika disajikan dalam betuk tiga dimensi yang dikenal dengan teknologi Augmented Reality. Penelitian ini bertujuan memudahkan wisatawan yang berkunjung ke Palopo untuk menemukan lokasi wisata terdekat serta memberikan informasi mengenai wisata terkait dengan menerapkan augmented reality menggunakan metode markerless bedasarkan pada pencarian lokasi wisata terdekat dengan jangkauan 2 km dari lokasi user dalam lingkup kota palopo. Metode pengembangan sistem yang digunakan untuk membangun aplikasi ialah Metode software development life cycle (SDLC) salah satunya yaitu model prototype system dan perancangan sistem dengan Unified Modelling Language (UML).","PeriodicalId":31175,"journal":{"name":"Infinity","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49205082","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2021-05-21DOI: 10.47178/INFINITY.V1I1.991
G. A. Pongdatu, Rifqi Fahrudin
{"title":"Implementasi Enterprise Resource Planning Pada Perusahaan Transportasi PT. Xyz","authors":"G. A. Pongdatu, Rifqi Fahrudin","doi":"10.47178/INFINITY.V1I1.991","DOIUrl":"https://doi.org/10.47178/INFINITY.V1I1.991","url":null,"abstract":"PT.Xyz adalah perusahaan jasa yang bergerak dalam bidang angkutan antar kota dan propinsi yang berdomisili di kota Cirebon, Bandung, Bekasi dan Sukabumi. Sebagai perusahaan penyedia jasa transportasi, PT.Xyz membutuhkan sistem informasi terintegrasi dalam usaha pengelolaan demi mendukung tercapainya tujuan perusahaan. Penggunaan ERP menjadikan semua sistem di dalam suatu perusahaan menjadi satu sistem yang terintegrasi, sehingga beberapa departemen menjadi lebih mudah dalam berbagi data, dan lebih mudah pula dalam melakukan komunikasi. Dalam perkembangannya perusahaan ini menggunakan aplikasi berbasis android untuk menghubungkan perusahaan dengan customer.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48650406","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2021-05-21DOI: 10.47178/infinity.v1i1.1228
E. Pasinggi
{"title":"Sistem Irigasi Otomatis – Paper Survey","authors":"E. Pasinggi","doi":"10.47178/infinity.v1i1.1228","DOIUrl":"https://doi.org/10.47178/infinity.v1i1.1228","url":null,"abstract":"Konsep pengembangan pertanian yang banyak dikembangkan pada saat ini adalah konsep pertanian cerdas. Penerapan Teknologi Informasi dan Komunikasi pada bidang pertanian merupakan hal yang saat ini banyak diteliti. Salah satu sistem yang banyak diteliti adalah Sistem Irigasi Otomatis. Sistem ini dikembangkan dengan tujuan peningkatan hasil produksi pertanian dan efisiensi penggunaan sumber daya. Sejumlah sistem telah dikembangkan dalam penelitian. Paper ini memaparkan sistem-sistem yang telah dikembangkan sampai saat ini. Diuraikan juga arsitektur umum sistem ini dan perbandingan artar sistem.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49214726","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2020-07-18DOI: 10.1145/3402842.3407158
Jun Sun, Z. Yang
{"title":"ObjSim: efficient testing of cyber-physical systems","authors":"Jun Sun, Z. Yang","doi":"10.1145/3402842.3407158","DOIUrl":"https://doi.org/10.1145/3402842.3407158","url":null,"abstract":"Cyber-physical systems (CPSs) play a critical role in automating public infrastructure and thus attract wide range of attacks. Assessing the effectiveness of defense mechanisms is challenging as realistic sets of attacks to test them against are not always available. In this short paper, we briefly describe smart fuzzing, an automated, machine learning guided technique for systematically producing test suites of CPS network attacks. Our approach uses predictive ma- chine learning models and meta-heuristic search algorithms to guide the fuzzing of actuators so as to drive the CPS into different unsafe physical states. The approach has been proven effective on two real-world CPS testbeds.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":"96 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75447113","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2020-07-18DOI: 10.1145/3402842.3407159
Zhihao Lu, Rui Wang, Yong Guan
{"title":"Formal verification of discrete event model","authors":"Zhihao Lu, Rui Wang, Yong Guan","doi":"10.1145/3402842.3407159","DOIUrl":"https://doi.org/10.1145/3402842.3407159","url":null,"abstract":"Ptolemy is a modeling and simulation toolkit widely used in cyber physical systems. Formal verification is a very important method to guarantee the correctness of systems. However, the proposed verification approach in Ptolemy is inconvenient and only supports a few actors. In this paper, we present a model translation based approach to verify the Ptolemy Discrete-Event model and implement a plug-in tool in Ptolemy. A set of mapping rules are designed to translate the Ptolemy Discrete-Event model into a network of timed automata. A template library that translates from actors in Ptolemy Discrete-Event model is also built in advance. A case study of traffic lights control system has been successfully translated and verified. The verification results are reliable and valid. The experimental results confirm our approach is useful to verify the Ptolemy Discrete-Event model.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77771730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things","authors":"","doi":"10.1145/3402842","DOIUrl":"https://doi.org/10.1145/3402842","url":null,"abstract":"","PeriodicalId":31175,"journal":{"name":"Infinity","volume":"44 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80946594","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2019-07-16DOI: 10.1145/3341108.3342244
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, H. Takada
{"title":"Symbolic execution-based approach to extracting a micro state transition table","authors":"Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, H. Takada","doi":"10.1145/3341108.3342244","DOIUrl":"https://doi.org/10.1145/3341108.3342244","url":null,"abstract":"During embedded system development, developers frequently change and reuse the existing C source code for the development of a new but behaviorally similar product. Such frequent changes generally decrease the understandability of C source code although the developers have to understand how it behaves and how to reuse it. So far, much research has been done on symbolic execution techniques that statically analyze the behavioral aspect of given source code. In this paper, we propose a symbolic execution-based approach to extracting a Micro State Transition Table (MSTT) that helps developers understanding the behavioral aspect of embedded C source code based on a fine-grained state transition model. As a case study, we applied the proposed approach to a collection of source files and then confirmed the correctness of the extracted MSTTs.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":"19 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86907995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
InfinityPub Date : 2017-01-29DOI: 10.22460/infinity.v6i1.223
A. Nurjaman, I. Sari
{"title":"THE EFFECT OF PROBLEM POSING APPROACH TOWARDS STUDENTS’ MATHEMATICAL DISPOSITION, CRITICAL & CREATIVE THINKING ABILITY BASED ON SCHOOL LEVEL","authors":"A. Nurjaman, I. Sari","doi":"10.22460/infinity.v6i1.223","DOIUrl":"https://doi.org/10.22460/infinity.v6i1.223","url":null,"abstract":"The background of this study is the school of the new students of mathematics education courses came from grade high, medium and low. Here the writer wants to see how much influence of the school level on new students' critical thinking skills and creative mathematical. The purpose of this study was to examine differences in new students' mathematical disposition, critical & creative thinking ability through the mathematical problem posing approach based on school level (high, medium, low). The method used in this research is the experimental method, with only posttest design. The population of this study is all the students of mathematics education department in Cimahi; while the sample is selected randomly from one college. Then from this chosen college is taken two samples from random class. The instrument of essay test is used to measure students' critical and mathematical creative thinking ability; while non-test instrument is questionnaire of attitude scale. The results show that: 1) based on the school level (high, medium, and low); there is difference in students' mathematical critical thinking ability through problem posing approach. 2) based on the school level (high, medium, and low); there is difference in the students' mathematical critical thinking ability through problem posing approach. 3) based on the school level (high, medium, and low); there is difference in students' mathematical disposition.","PeriodicalId":31175,"journal":{"name":"Infinity","volume":"6 1","pages":"69-76"},"PeriodicalIF":0.0,"publicationDate":"2017-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44912399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}