Seminar Nasional Informatika (SEMNASIF)
Not a member yet
769 research outputs found
Sort by
AUTONOMOUS MOBILE ROBOT MENGGUNAKAN METODE FORMAL LOGIKA TEMPORAL LINIER
Get PDFLogika temporal linier (LTL) dikontruksi dari formulasi logika tingkah laku sistem yang diharapkan dari waktu ke waktu secara linier. Dengan demikian jika pada bagian atau waktu tertentu terjadi kesalahan pada sistem, kesalahan itu dapat segera diantisipasi. Dalam hal ini penggunaan perencanaan logika temporal linier tidak hanya digunakan pada autonomous mobile robot untuk mencapai sebuah tujuan atau menghindari rintangan, tetapi juga untuk perangkaian, perluasan atau penugasan sementara (temporal ordering) pada sebuah rangkaian tugas yang berbeda dalam satu waktu. Dalam LTL untuk menghasilkan lintasan robot dilakukan tiga tahap tahap aktivitas, yaitu pendefinisan abstraksi diskrit pergerakan robot, perencanaan logika temporal menggunakan model checking, dan implementasi kontinu rencana diskret (continuous implementations of discrete plan).Pada penelitian ini, untuk membuktikan apakah model perencanaan logika temporal linier yang dibuat sebelumnya memenuhi spesifikasi tingkah laku sebuah mobile robot yang dimaksud, maka dibuatlah sebuah autonomous mobile robot sebagai alat uji implementasi formula logika temporal linier tersebut. Untuk membangun sebuah autonomous mobile robot tersebut diperlukan beberapa perangkat elektronika di antaranya mikrokontroler, sensor, kompas, dan motor penggerak. Selain itu dilakukan pula simulasi dengan perangkat lunak MOBOTSIM versi 1.0.03.Implementasi formulasi dengan simulasi menggunakan MOBOTSIM menunjukkan hasil yang lebih ideal daripada pembangunan formulasi pada robot sebenarnya Hal ini disebabkan pergerakan protipe mobile robot banyak dipengaruhi faktor luar yang dalam penelitian ini diabaikan
KARAKTERISASI REAKTOR PLASMA CVD UNTUK DEPOSISI DIAMOND-LIKE CARBON COATING
Get PDFKertas kerja ini melaporkan karakterisasi reaktor plasma CVD yang telah dirancang bangun dengan catu daya DC untuk deposisi film tipis DLC dengan gas metana (CH4) dan argon (Ar) sebagai sumber gas.Hasil eksperimen menunjukkan bahwa tegangan operasi plasma dipengaruhi oleh tekanan reaktor, laju lairan gas, jenis gas, komposisi campuran gas CH4 dan argon, jarak elektroda dan suhu katoda
PENYAJIAN INFORMASI TEMPORAL MENGGUNAKAN METODE FUZZY SYSTEM PADA MESIN DATABASE SPASIAL
Get PDFSelain pengelolaan basis data kuantitatif yang sangat kompleks, terdapat tiga aspek penting yang perlu diselesaikan melalui penelitian ini terkait dengan permasalahan penyajian informasi kependidikan di Kota Bekasi, Pertama belum tersedianya sistem yang bermanfaat sebagai pengelola informasi kondisi dan potensi kependidikan yang lengkap, valid dan termutakhirkan. Kedua belum tersedianya sistem yang bermanfaat sebagai metode dalam membantu menyederhanakan proses pengambilan keputusan. Ketiga belum tersedianya sistem yang bermanfaat sebagai penyaji yang mengintegrasikan antara informasi temporal (per-tahun ajaran) dan spasial (sebaran objek sekolah di masing-masing wilayah). Oleh karena itu, pendekatan fuzzy system yang diimplementasikan ke dalam sistem berbasis komputer diharapkan akan mampu membantu menyelesaikan dan mengatasi permasalahan tersebut dalam cara yang berbeda tetapi mudah dipahami.Hasil penelitian menunjukkan bahwa model sistem yang dikembangkan menggunakan pendekatan fuzzy mampu menganalisa dan menyajikan informasi aktual profil pendidikan di kota Bekasi. Prototipe sistem yang dikembangkan dapat memudahkan untuk melakukan pemanipulasian data serta penelusuran informasi, didukung oleh basis data fuzzy dan informasi spasial, sistem yang dikembangkan dapat dimanfaatkan sebagai alat bantu untuk menyederhanakan proses pengambilan keputusan berbasis data fuzzy menggunakan metode fuzzy system pada mesin database spasial berbasis bahasa pemrograman delphi, melalui sistem ini para pengambil kebijakan difasilitasi sehingga dengan mudah dapat menentukan, merubah, dan menambah aturan-aturan sebagai bentuk rekomendasi yang harus dilakukan dalam rangka perencanaan dan pengembangan pengelolaan pendidikan dalam bentuk informasi temporal (per-tahun ajaran) dan spasial (peta lokasi masing-masing sekolah). Melalui sistem ini, informasi akan selalu mengalami perubahan (diperbaharui) secara otomatis setiap periode tahun tertentu sesuai dengan entri data, situasi dan kondisi masing-masing sekolah
E-GOVERNMENT PERFORMANCE BASED MODEL
Get PDFPada negara-negara berkembang, seperti Indonesia, dampak globalisasi salah satunya di fokuskan pada perkembangan TIK (Teknologi Informasi dan Komunikasi), hal ini dapat dilihat dari maraknya perkembangan TIK diberbagai bidang, tidak ketinggalan dalam penyelenggaraan pemerintahan (e-government). Walaupun pemerintah sudah membuat kebijakan tentang e-government, namun dalam dalam pelaksanaan pembangunannya masih menghadapi masalah, terutama menyangkut kinerja layanan e-government, yang merupakan indikator keberhasilan implementasi dari e-government tersebut. Beberapa model evaluasi kinerja dapat digunakan, namun dalam penelitian ini menggunakan metode Early Performance Testing dimana indikator kinerja dari layanan e-government dapat di tentukan seawal mungkin dalam tahap-tahap pembangunannnya
APLIKASI SMS PENGINGAT IBU HAMIL
Get PDFShort Message Service (SMS) merupakan salah satu layanan teknologi selular yang ada pada teknologi GSM (Global System for Communication). SMS telah menggantikan metode pengiriman teks konvensional, seperti surat dan telegram. Keunggulan SMS diantaranya adalah biaya yang murah, waktu kirim cepat serta adanya jaminan bahwa pesan akan sampai jika nomor yang dituju aktif. Semakin meluasnya jaringan operator baik GSM maupun CDMA membuat sinyal dapat diterima dengan cukup baik sampai ke daerah terpencil. Aplikasi SMS Pengingat Ibu Hamil diharapkan dapat memberikan informasi penting yang cepat, tepat, akurat dan murah kepada ibu hamil. Layanan ini disampaikan setiap minggunya mengenai hal-hal apa saja yang harus dilakukan oleh ibu hamil mulai dari awal kehamilan sampai pada proses kelahiran bayinya dengan tujuan untuk kesehatan dan keselamatan ibu hamil serta janinnya.Sistem ini dibuat dengan menggunakan metode penelitian waterfall. Metodologi pengumpulan data dilakukan dengan cara bertanya langung pada dokter dan melalui website. Teknologi pembangunan sistem beserta interfacenya menggunakan Microsoft Visual Basic 6.0 dan pengolahan basis datanya menggunakan MySQL.Pengiriman pesan melalui sms gateway dengan cara mengambil data pada database yang akan dikirimkan ke ponsel penerima menggunakan AT command dengan PDU(Protokol Data Unit) untuk selanjutnya diterima oleh server atau SMS Center yang kemudian diteruskan ke ponsel tujuan. Dari SMSC dapat diketahui apakah suatu pesan berhasil atau gagal dikirimkan. SMSC mengirimkan pesan ke nomor ponsel tujuan yang aktif sekaligus akan mengirimkan pesan balasan ke nomor ponsel pengirim bahwa pesan telah terkirim
PENGEMBANGAN SISTEM INFORMASI UNTUK MENDUKUNG KEBIJAKAN SEKTOR INDUSTRI MENUJU PEMBANGUNAN YANG BERKELANJUTAN
Get PDFNaskah ini membahas strategi alternatif untuk mengurangi kecurangan atau pengelakan pajak dalam konteks pembangunan yang berkelanjutan pada sektor industri melalui penerapan kebijakan pajak dan subsidi. Analisis kualitatif telah dilakukan terhadap sistem informasi untuk administrasi perpajakan, yang disarankan berdasarkan pada kemitraan antara pemerintah dengan supplier. Sistem informasi yang diusulkan dikembangkan berdasarkan mekanisme cross-check informasi guna mengurangi kecurangan pajak. Selain ketersediaan informasi yang akurat, sistem informasi yang diusulkan juga mengarah kepada fleksibilitas dalam pengelolaan kebijakan sehingga kebijakan dapat selalu diarahkan kepada sasaran yang telah ditetapkan. Sistem yang diusulkan juga dapat lebih efisien karena dapat mengurangi biaya kepatuhan pembayaran pajak baik bagi pemerintah maupun pembayar pajak
TOOLS SIMULASI INVENTORI PADA SUPERMARKET
Get PDFInventori pada supermarket cenderung sulit untuk diprediksi karena dipengaruhi oleh banyak faktor. Oleh karena itu, penyelesaian permasalahan pada inventori harus melibatkan banyak variabel pembentuk karakteristik dari setiap faktor. Masalah yang seperti ini paling sesuai diselesaikan dengan metode simulasi, yang merupakan teknik pemodelan sistem guna menggambarkan hubungan sebab akibat untuk menghasilkan sebuah perilaku sistem yang hampir sama dengan perilaku sistem sebenarnya.Paper ini membahas pembuatan tools untuk menyelesaikan masalah inventori pada supermarket. Dengan adanya tools ini diharapkan para manager (atau pembuat keputusan) di supermarket bisa mengambil keputusan dengan lebih mudah
IMAGE CLUSTER BERDASARKAN WARNA UNTUK IDENTIFIKASI KEMATANGAN BUAH TOMAT DENGAN METODE VALLEY TRACING
Get PDFCiri yang digunakan dalam identifikasi kematangan buah adalah ciri warna (fitur R, G, dan B). Selanjutnya dilakukan clustering dengan metode Single Linkage Hierarchical Method (SLHM) terhadap ciri warna yang diperoleh. Dalam clustering, umumnya harus dilakukan inisialisasi jumlah cluster yang diinginkan terlebih dahulu, padahal pada beberapa kasus clustering, user bahkan tidak tahu berapa banyak cluster yang bisa dibangun. Untuk itu, dalam penelitian ini diaplikasikan metode Valley Tracing. Metode ini merupakan constraint yang akan melakukan identifikasi terhadap pergerakan variance dari tiap tahap pembentukan cluster, dan menganalisa polanya untuk membentuk suatu cluster secara otomatis (automatic clustering). Jumlah cluster yang diperoleh menunjukkan jumlah buah yang diidentifikasi, kemudian nama buah dan jenis kematangan masing-masing buah diperoleh dengan membandingkan nilai centroid tiap cluster dengan nilai centroid data training yang sebelumnya telah disimpan dalam database dan mempunyai label nama buah
OPTIMASI STRATEGI ALGORITMA GREEDY UNTUK MENYELESAIKAN PERMASALAHAN KNAPSACK 0-1
Get PDFKnapsack is a place used to store an object with same or less size with its capacity. The objects can be put at entirely or partially. This analysis using knapsack 0 or 1, that is an object taken entirely or not at all. As for the profit value is benefit value that possessed by every object. In this analysis, we always expect optimal profit value from an object. But, more object doesn’t always mean more profit
SISTEM PENCARIAN CITRA DIGITAL MENGGUNAKAN CONTENT-BASED
Get PDFMetode berbasis teks (text-based) yang baiasanya digunakan untuk mencari data berupa citra memerlukan waktu yang lama. Hal tersebut disebabakan karena harus dilakukan berbagai proses seperti proses pengindeksan, pengaturan nama file dan pembuatan katalog secara manual. Permasalahan tersebut dapat diselesaikan dengan memanfaatkan teknik pencarian citra (image retrieval) berdasarkan isi citra (contentbased) yang dikenal dengan content-based image retrieval (CBIR). Dengan cara mencari citra berdasarkan isi (content) visual citra seperti warna, bentuk, dan tekstur yang juga tercakup dalam standar MPEG-7 Color Descriptor. Sedangkan Lucene merupakan Application Programming Interface (API) untuk metode pencarian informasi (information retrieva l/ IR library) yang dikembangkan oleh Apache untuk menyediakan library pengindeksan dan pencarian berbasis teks (text-based). Citra akan dikonversi ke dalam vektor dan disimpan diindeks dalam bentuk teks. Indeks dimanfaatkan untuk proses pencarian dengan membandingkan vektor citra yang dicari dengan vektor-vektor citra yang terdapat di repository image. Aplikasi pencarian citra tersebut nantinya dapat dimanfaatkan dalam pengidentifikasian arsip digital image, pencocokan warna, pencarian duplikasi image, bidang disain grafis, dan lain-lain