首页 > 最新文献

Infinity最新文献

英文 中文
Monitoring Kelembaban Tanah Pada Persemaian Bibit Tanaman Berbasis Arduino 在阿都诺基础植物苗床上监测土壤水分
Pub Date : 2021-05-21 DOI: 10.47178/infinity.v1i1.996
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- 28 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 bekerja secara berulang-ulang sesuai input sensor FC-28.
Toraja UKI农场学院有一个植物方程式实验室。人工监测该区域,包括土壤湿度水平。这将影响植物栽培的成功程度。有时作物生长正常,但有时却歉收。为了克服这一点,设计了一种基于传感器的监测工具。传感器将放置在和解地面上,检测土壤湿度。使用的传感器类型为FC-28湿度传感器,并将混合到Arduino微控制器网络中。Arduino的微控制器将致力于用低功耗将模拟数据转换为数字数据。对于这些传感器读数,它们将显示在LCD和蜂鸣器指示灯中。数据收集和管理过程在2号营地会计处进行,为期6个月。设计结果表明,在FC-28传感器可以检测土壤湿度的情况下,该装置可以很好地工作,即当土壤湿度达到30%时,水泵将工作(ON),直到土壤湿度大于30%。当土壤湿度超过30%时,水泵将停止工作。这种情况将根据FC-28输入传感器重复工作。
{"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”村基于网络的真实图拉克兰吉山谷应急信息系统
Pub Date : 2021-05-21 DOI: 10.47178/infinity.v1i1.1333
Srivan Palelleng, Asrin Tadungan
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.
目前,技术发展速度越来越快,尤其是在需要与技术平衡以促进工作的政府领域,政府办公室的紧急邮件服务流程必须能够与信息技术合作。在照顾员工的过程中,不仅可以在办公室完成,也可以在任何地方完成。在Real Tulaklangi Valley办公室发生的情况下,Real Tulaklangi Valley办公室的人员配备服务效率低下。在记录出入数据的过程中,出入数据仍然是手动完成的,目前可能会被破坏或丢失。为此,作者使用瀑布法在真实的图拉克兰吉山谷创建了一个基于网络的说服信息系统。使用PHP编程语言、MySql数据库和Framework CodeIgniter创建系统。研究结果表明,所建立的系统是成功的,可以解决Rea Tulaklangi山谷的说服问题。山谷办公室的说服服务可以使用已构建的系统来提高效率。预期的功能黑盒测试和对员工进行的用户验收测试(UAT)测试证明了这一点,员工收入为89.3%,公民收入为87%,因此该系统被严格分类,如Riduwan(2008)所述,如果实现的百分比达到81%-100%,那么测试结果可以说是非常强大的,这样创建的系统就可以实现。
{"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城市旅游对象应用增强现实的实现
Pub Date : 2021-05-21 DOI: 10.47178/infinity.v1i1.904
Melki Garonga, Jufrianus Rusman, G. A. Pongdatu
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).
帕洛波是南苏拉威西省的一个城市。这座palopod城市的地理条件为旅游业带来了自身的好处,有了Smartpone,可以通过小工具设备随时随地访问信息。但光有信息是不够的,如果旅行物体是在被称为增强现实技术的三维空间中提供的,它会更有趣。这项研究旨在帮助Palopo的游客找到最近的旅行地点,并使用无标记方法提供与应用增强现实相关的旅行信息,该方法基于搜索用户在郊区2公里内的最近旅行地点。用于构建应用程序的系统开发方法是Metode软件开发生命周期(SDLC),其中之一是使用统一建模语言(UML)进行原型系统模型和系统设计。
{"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运输公司企业资源规划的实施
Pub Date : 2021-05-21 DOI: 10.47178/INFINITY.V1I1.991
G. A. Pongdatu, Rifqi Fahrudin
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.
PT.Xyz是一家服务公司,位于井里汶市、万隆市、贝卡西市和素加布米市,在该市和该省之间的交通领域开展业务。作为一家运输服务公司,PT.Xyz在管理工作中需要一个集成的信息系统来支持公司的成就。ERP的使用使公司内的所有系统成为一个集成系统,从而使一些部门更容易共享数据,更容易沟通。在开发过程中,这家公司使用基于android的应用程序将公司与客户联系起来。
{"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 自动导航系统-纸质调查
Pub Date : 2021-05-21 DOI: 10.47178/infinity.v1i1.1228
E. Pasinggi
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.
目前已经发展了很多的农业概念就是智能农业的概念。目前正在研究在农业中传播信息和通信技术的问题。最常被研究的系统之一是自动导航系统。开发这一系统是为了提高农业产量和资源效率。在研究中已经开发了许多系统。本文展示了迄今为止已经开发的系统。它还促进了系统的总体架构和动脉系统的比较。
{"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:网络物理系统的有效测试
Pub Date : 2020-07-18 DOI: 10.1145/3402842.3407158
Jun Sun, Z. Yang
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.
网络物理系统(cps)在公共基础设施自动化中起着至关重要的作用,因此吸引了广泛的攻击。评估防御机制的有效性是具有挑战性的,因为用于测试它们的实际攻击集并不总是可用的。我们的方法使用预测机器学习模型和元启发式搜索算法来指导执行器的模糊化,从而驱动CPS进入不同的不安全物理状态。该方法已在两个实际的CPS测试平台上被证明是有效的。
{"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 离散事件模型的形式化验证
Pub Date : 2020-07-18 DOI: 10.1145/3402842.3407159
Zhihao Lu, Rui Wang, Yong Guan
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.
托勒密是一个建模和仿真工具包,广泛应用于网络物理系统。形式验证是保证系统正确性的一种重要方法。然而,托勒密中提出的验证方法不方便,并且只支持少数actor。在本文中,我们提出了一种基于模型翻译的方法来验证托勒密离散事件模型,并在托勒密中实现了一个插件工具。设计了一组映射规则,将托勒密离散事件模型转换为时间自动机网络。在此基础上,还预先构建了一个从托勒密离散事件模型中转换角色的模板库。成功翻译并验证了交通信号灯控制系统的实例研究。验证结果可靠、有效。实验结果证实了我们的方法对验证托勒密离散事件模型是有用的。
{"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网络物理系统和物联网测试、分析和验证国际研讨会论文集
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 基于符号执行的微状态转移表提取方法
Pub Date : 2019-07-16 DOI: 10.1145/3341108.3342244
Takahiro Shimizu, Norihiro Yoshida, Ryota Yamamoto, H. Takada
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.
在嵌入式系统开发期间,开发人员经常更改和重用现有的C源代码,以开发新的但行为相似的产品。这种频繁的更改通常会降低C源代码的可理解性,尽管开发人员必须了解它的行为方式以及如何重用它。到目前为止,对静态分析给定源代码的行为方面的符号执行技术进行了大量研究。在本文中,我们提出了一种基于符号执行的方法来提取微状态转换表(MSTT),该方法可以帮助开发人员理解基于细粒度状态转换模型的嵌入式C源代码的行为方面。作为一个案例研究,我们将提出的方法应用于一组源文件,然后确认提取的mstt的正确性。
{"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 问题提出法对学生数学倾向、批判性思维和创造性思维能力的影响
Pub Date : 2017-01-29 DOI: 10.22460/infinity.v6i1.223
A. Nurjaman, I. Sari
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.
本研究的背景是学校数学教育专业的新生课程来自高、中、低三个年级。在这里,作者想看看学校水平对新生的批判性思维能力和创造性数学有多大的影响。本研究的目的是通过基于学校水平(高、中、低)的数学问题提出方法,考察新生在数学倾向、批判性和创造性思维能力方面的差异。本研究所使用的方法是实验方法,只有后测设计。本研究的对象均为磁马希数学教育系的学生;而样本是从一所大学中随机选择的。然后从所选的学院中随机抽取两个样本。论文测试工具用于测量学生的批判性思维和数学创造性思维能力;非测试工具为态度量表。研究结果表明:1)基于学校水平(高、中、低);通过提出问题的方法,学生的数学批判性思维能力存在差异。2) 基于学校水平(高、中、低);通过问题提出法,学生的数学批判性思维能力存在差异。3) 基于学校水平(高、中、低);学生的数学倾向存在差异。
{"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
期刊
Infinity
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1