cover
Contact Name
-
Contact Email
-
Phone
-
Journal Mail Official
-
Editorial Address
-
Location
Kab. sleman,
Daerah istimewa yogyakarta
INDONESIA
Seminar Nasional Informatika (SEMNASIF)
Published by UPN Veteran Yogyakarta
ISSN : -     EISSN : -     DOI : -
Articles 18 Documents
Search results for , issue " Vol 1, No 1 (2010): Computatinal" : 18 Documents clear
PIRANTI LUNAK UNTUK MENDESAIN PROGRAM DALAM BAHASA PEMROGRAMAN C BERDASARKAN HOARE LOGIC Aribowo, Arnold; Yugopuspito, Pujianto; Altanijah, Julian Fetriandhy
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (480.665 KB)

Abstract

The purpose of Hoare Logic is to provide a set of logical rules in order to reason about the correctness of computer programs with the rigor of mathematical logic. Because of that, Hoare Logic becomes the axiomatic basis for computer programming with several rules to prove the correctness of program. Hence, we can apply the proven rules of Hoare Logic as the basis to design a program correctly according to Hoare Logic. In this paper, Hoare Logic is applied in a software which is designed to help the user to design a program in C programming language correctly based on rules in Hoare Logic. When using this software, the user needs to know what program he will create and analyze an algorithm for it. After that, the user can use the software containing the rules of Hoare Logic and write the pseudo-code of C to design his program. At the end of this application, the user will obtain a source code of the program written in C programming language. This software is guaranteed to produce 100% correct output only if the users have the basic understanding of Hoare Logic as well as C program language before using this software.
PERBANDINGAN CROSS-PRODUCT DAN SUBSET QUERY PADA MULTIPLE RELASI DENGAN METODE COST-BASED Santipurti, Metta; Kirana, Mira Chandra; Anni, Anni
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (237.383 KB)

Abstract

Ada beberapa model query yang digunakan untuk mengakses data pada 2 tabel atau lebih dalam basis data relasi. Dua model query yang umum antara lain adalah cross product dan subset query, dimana kedua model ini dapat menghasilkan data yang sama. Namun perlu diperhatikan cara mana yang lebih optimal sehingga pada akhirnya didapatkan query dengan waktu akses yang paling minimum. Dengan menggunakan basis data Oracle 10g Express Edition akan dilakukan penelitian untuk mencari model query yang lebih optimal dengan metode cost-based. Parameter yang akan dibandingkan adalah harga/biaya dan waktu yang dihasilkan pada perencanaan eksekusi. Penelitian dilakukan dengan pengelompokkan uji data seperti jumlah data, jumlah relasi, akses tabel penuh atau sebagian dan pengindeksan.
PERANCANGAN SIMULASI KOREKSI KESALAHAN DATA DENGAN METODA FEC PADA KOMPUTER BERBASIS VISUAL BASIC Hutauruk, Sindak
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (381.479 KB)

Abstract

Peranan deteksi dan koreksi kesalahan bit data yang dilakukan oleh penerima sangat penting, karena tidak diperlukan pengulangan transmisi oleh pengirim sehingga kecepatan dan keandalan penyampaian informasi data dapat terjaga. Metoda Foward Error Correction (FEC) merupakan salah satu metoda untuk melakukan koreksi atas kesalahan data pada penerima, metoda ini menggunakan kode hamming yang disimulasikan pada komputer sehingga proses deteksi dan koreksi dapat diperagakan dengan sangat jelas pada layar monitor. Simulasi ini dapat digunakan sebagai modul percobaan semu pada laboratorium komunikasi data.
PENGEMBANGAN GAME PEMBELAJARAN OTOMATA FINIT Mahtarami, Affan; Ifansyah, M. Noor
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (220.384 KB)

Abstract

Sebagai sebuah proses, belajar didefinisikan sebagai sebuah pengembangan pengetahuan baru oleh seorang pembelajar. Belajar merupakan hasil dari interaksi pembelajar dengan informasi di dalam suatu lingkungan tertentu. Perkuliahan adalah suatu proses belajar di dalam lingkungan perguruan tinggi. Selain kelas sebagai tempat bertemunya mahasiswa dan dosen, lingkungan belajar di perguruan tinggi juga meliputi metode dan media pembelajaran. Penggunaan teknologi sebagai media dan perangkat pembelajaran membawa harapan terciptanya proses belajar yang efektif dan efisien. Namun demikian tidak serta merta penggunaan teknologi memberikan kontribusi yang positif bagi proses belajar. Game adalah media untuk melakukan aktifitas bermain. Game menjadi menarik karena memiliki tantangan dan aturan yang dikemas dengan suatu skenario tertentu. Dari satu sisi, aktifitas bermain game dipandang sebagai suatu aktifitas yang tidak produktif. Namun demikian, disisi lain bermain game dapat dipandang sebagai sebuah aktifitas belajar. Tujuan dari penelitian yang dilakukan adalah mengembangkan game sebagai media intruksional untuk digunakan sebagai alat bantu ajar Matakuliah Teori Bahasa Otomata materi Otomata Finit. Rancangan dari game yang dikembangkan dievaluasi sebelum diimplementasikan pada aktivitas perkuliahan. Hasil evaluasi digunakan untuk menilai efektifitas rancangan dan penggunaan game sebagai media pembelajaran.
SEAT INTERFERENCE ANTAR PENUMPANG PADA MODEL BOARDING PESAWAT TERBANG Amaliah, Bilqis; Hariadi, Victor; Barus, Antonius Malem
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (619.577 KB)

Abstract

Ada dua keadaan untuk sebuah pesawat, keadaan pertama adalah pada saat pesawat tersebut sedang berada di darat dan keadaan kedua adalaha saat peswat tersebut sedang berada di udara. Maskapai penerbangan akan mendapat keuntungan pada saat pesawat mereka sedang terbang. Banyak hal yang mempengaruhi lama pesawat berada di darat, antara lain : waktu penumpang turun, bongkar muat barang, pengisian bahan baker, boarding time, dll. Penelitian ini menyajikan beberapa model boarding untuk mengurangi seat interference dan untuk mengurangi waktu boarding. Mixed Integer Non Linier Programing digunakan untuk menghasilkan model boarding. ProModel digunakan untuk simulasi, hasil simulasi adalah waktu boarding dan seat interference. Airbus-320 digunakan untuk menerapkan model simulasi ini. Beberapa hal yang mempengaruhi strategi boarding adalah jumlah baris, jumlah grup dan jumlah penumpang yang dimasukkan untuk tiap grup. Hasil simulasi memperlihatkan bahwa model boarding dengan 6 grup dapat mengurangi jumlah seat interference sebesar 85,5% dan mengurangi waktu boarding sebesar 6,82% dibandingkan dengan menggunakan model tradisional back to front.
EKSTRAKSI FITUR MOTIF BATIK BERBASIS METODE STATISTIK TINGKAT TINGGI Muulab, Muulab
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (338.73 KB)

Abstract

Batik merupakan karya seni budaya bangsa indonesia yang dihasilkan dari proses melukis pada kain. Motif batik merupakan penyederhanaan unsur bentuk alam untuk melambangkan sesuatu. Banyak hal yang mempengaruhi ragam motif batik diantaranya letak geografis, sifat dan tata penghidupan daerah, kepercayaan dan adat istiadat serta alam sekitra termasuk flora dan fauna, simbolisme dengan falsafah kehidupan. Faktorfaktor ini diperlihatkan dengan kekuatan warna dan ragam hias pada masing-masing kain batik. Pada penelitian ini akan dibahas tentang bagaimana mengektraksi fitur motif batik pada batik pesisir dengan menggunakan metode statistik tingkat tinggi. Ektraksi fitur batik dapat digunakan untuk membangun motif batik yang baru dari motif batik yang sudah ada..
SIMULASI PENGONTROLAN LAMPU GEDUNG MENGGUNAKAN VISUAL BASIC Supatmi, Sri
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (990.243 KB)

Abstract

Kendali atao control melalui Personal Computer (PC) menggunakan Visual Basic digunakan pada banyak aplikasi terutama dalam bidang pengontrolan barang-barang elektronik , misalnya untuk pengontrolan lampu pada sebuah gedung perkantoran. Dimana lampu gedung tersebut bisa dinyalakan dan dimatikan secara otomatis ataupun secara manual. Pada paper ini dibuat simulasi untuk pengontrolan lampu beserta status lampunya. Dimana ketika lampu menyala maka status lampu ON dan ketika lampu mati maka status lampu OFF. Simulasi tersebut dibuat dengan alat bantu komputer dengan bahasa pemrograman Visual Basic untuk sistem operasi Windows dari simulasi pengontrolan lampu itu sendiri. Simulasi ini memiliki 2 mode pengontrolan yaitu mode otomatis dan mod manual.
DETEKSI BAHASA UNTUK DOKUMEN TEKS BERBAHASA INDONESIA Hamzah, Amir
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (227.418 KB)

Abstract

In the multi language environment corpus such as Internet, the information retrieval system has faced difficulties that caused by the mixture of language document response of single query request that do not match the user need. One approach to handle this problem is by designing cross-language search engine. On the other hand this solution is no need for the user that only hoped the document answer only in one language such as Bahasa Indonesia. In the second case the solution is by designing search engine in certain language. In the construction of special language search engine in multi language environment, a critical step is language detection of the document being analyzed. This research was aimed to study comparison of several methods of language detection based on N-gram, i.e. unigram, bigram and trigram. Several news text documents in Bahasa Indonesia from 100 documents until 3000 document, two academic document collections of 88 and 450 documents and two abstract collection and full paper collection in English, each of those is 40 documents, were used as test collection. The results showed that unigram, bigram and trigram were good parameter to detect the language of documents. Among those methods, bigram was the best in time complexity and accuracy
OPTIMAL POWER FLOW: MODELING AND SIMULATION, SOLUTION METHODS, AND ITS APPLICATION USING POWERWORLD SOFTWARE® Istardi, Didi
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (654.091 KB)

Abstract

Optimal power flow has been used to solve a large class of problems in the power industry, including planning, generation dispatch, and security constrained dispatch. The OPF problem can be described as the cost of minimization of real power generation in an interconnected system where real and reactive power, transformer taps, and phase-shift angles are controllable and a wide range of inequality constraints are imposed. It is a static and a nonlinear optimization problem. In this paper, we will try to see how the OPF is modeled and simulated using powerworld software®, and what solution methods can be used to implement the models. Applications of the optimal power flow methods will also be analyzed based on this software.
APLIKASI TRANSFORMASI WATERSHED UNTUK SEGMENTASI CITRA DENGAN SPATIAL FILTER SEBAGAI PEMROSES AWAL Nugraheni, Murien
Seminar Nasional Informatika (SEMNASIF) Vol 1, No 1 (2010): Computatinal
Publisher : Jurusan Teknik Informatika

Show Abstract | Original Source | Check in Google Scholar | Full PDF (198.855 KB)

Abstract

Ada banyak metode dalam melakukan segmentasi salah satunya adalah transformasi watershed. Tetapi transformasi watershed menghasilkan segmentasi yang berlebihan. Untuk itu diperlukan suatu pemroses awal spatial filter yang disini digunakan low pass filter dan high pass filter agar dihasilkan segmentasi yang tidak berlebihan. Citra dimasukkan ke dalam program dan dilakukan proses filtering serta proses watershed. Adapun parameter yang digunakan adalah citra hasil yang digunakan untuk melihat banyak sedikitnya segmen, histogram citra digunakan untuk mengetahui intensitas dan kontras suatu citra, timing run digunakan untuk mengetahui lamanya suatu proses citra, dan SNR (Signal to Noise Ratio) yang digunakan untuk mengetahui kualitas citra.

Page 1 of 2 | Total Record : 18


Filter by Year

2010 2010


Filter By Issues
All Issue Vol 1, No 1 (2018): Landscape Industri Internet Dampak Perilaku Marketing Indonesia Vol 1, No 2 (2016): Semnasif 2016 Vol 1, No 1 (2015): Informatika Dalam Pengelolaan Sumber Daya Alam Vol 1, No 1 (2014): Business Intelligence Vol 1, No 5 (2013): Network And Security Vol 1, No 4 (2013): Intelligent System dan Application Vol 1, No 3 (2013): Computation And Instrumentation Vol 1, No 2 (2013): Cloud Computing Technology Vol 1, No 1 (2013): Information System and Application Vol 1, No 5 (2012): Geoinformatic And GIS Vol 1, No 4 (2012): Information System and Application Vol 1, No 3 (2012): Intelligent System dan Application Vol 1, No 2 (2012): Network And Security Vol 1, No 1 (2012): Computation And Instrumentation Vol 1, No 5 (2011): Information System and Application Vol 1, No 4 (2011): Intelligent System dan Application Vol 1, No 3 (2011): Network And Security Vol 1, No 2 (2011): Instrumentational And Robotic Vol 1, No 1 (2011): Computatinal Vol 1, No 5 (2010): Information System And Application Vol 1, No 4 (2010): Intelligent System dan Application Vol 1, No 3 (2010): Network And Security Vol 1, No 2 (2010): Instrumentational And Robotic Vol 1, No 1 (2010): Computatinal Vol 1, No 6 (2009): E-Democracy Vol 1, No 5 (2009): Information System And Application Vol 1, No 4 (2009): Intelligent System dan Application Vol 1, No 3 (2009): Network And Security Vol 1, No 2 (2009): Instrumentational And Robotic Vol 1, No 1 (2009): Computatinal Vol 1, No 5 (2008): Information System And Application Vol 1, No 4 (2008): Network And Security Vol 1, No 3 (2008): Intelligent System dan Application Vol 1, No 2 (2008): Instrumentational And Robotic Vol 1, No 1 (2008): Computational More Issue