Infinity最新文献

筛选
英文 中文
Monitoring Kelembaban Tanah Pada Persemaian Bibit Tanaman Berbasis Arduino 在阿都诺基础植物苗床上监测土壤水分
Infinity Pub Date : 2021-05-21 DOI: 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":null,"pages":null},"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}
引用次数: 0
Sistem Informasi Persuratan Desa “SITANDE” Berbasis Web pada Lembang Rea Tulaklangi’ “SITANDE”村基于网络的真实图拉克兰吉山谷应急信息系统
Infinity Pub Date : 2021-05-21 DOI: 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":null,"pages":null},"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}
引用次数: 0
Implementasi Augmented Reality Pada Aplikasi Objek Wisata Kota Palopo Berbasis Area Marker 基于区域标记的Palopo城市旅游对象应用增强现实的实现
Infinity Pub Date : 2021-05-21 DOI: 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":null,"pages":null},"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}
引用次数: 0
Implementasi Enterprise Resource Planning Pada Perusahaan Transportasi PT. Xyz PT.Xyz运输公司企业资源规划的实施
Infinity Pub Date : 2021-05-21 DOI: 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":null,"pages":null},"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}
引用次数: 0
Sistem Irigasi Otomatis – Paper Survey 自动导航系统-纸质调查
Infinity Pub Date : 2021-05-21 DOI: 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":null,"pages":null},"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}
引用次数: 0
ObjSim: efficient testing of cyber-physical systems ObjSim:网络物理系统的有效测试
Infinity Pub Date : 2020-07-18 DOI: 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":null,"pages":null},"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}
引用次数: 0
Formal verification of discrete event model 离散事件模型的形式化验证
Infinity Pub Date : 2020-07-18 DOI: 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":null,"pages":null},"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}
引用次数: 3
Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things 第四届ACM SIGSOFT网络物理系统和物联网测试、分析和验证国际研讨会论文集
Infinity Pub Date : 2020-01-01 DOI: 10.1145/3402842
{"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":null,"pages":null},"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}
引用次数: 0
Symbolic execution-based approach to extracting a micro state transition table 基于符号执行的微状态转移表提取方法
Infinity Pub Date : 2019-07-16 DOI: 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":null,"pages":null},"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}
引用次数: 2
THE EFFECT OF PROBLEM POSING APPROACH TOWARDS STUDENTS’ MATHEMATICAL DISPOSITION, CRITICAL & CREATIVE THINKING ABILITY BASED ON SCHOOL LEVEL 问题提出法对学生数学倾向、批判性思维和创造性思维能力的影响
Infinity Pub Date : 2017-01-29 DOI: 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":null,"pages":null},"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}
引用次数: 6
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信