Jurnal Matematika, Statistika dan Komputasi
Not a member yet
562 research outputs found
Sort by
Global Attractors for Abstract Evolutionary Equations
Get PDFWe establish in this paper that under usual assumption on the function in abstract Cauchy problem, the existence of global attractor for the semigroup generated in this problem is merely a consequence of such a priori estimate. It is shown that asymptotic behavior of solutions can controlled by this estimate.
SIFAT-SIFAT ROLLBACK RECOVERY MENGGUNAKAN UNCOORDINATED CHECKPOINTING BERBASIS CAUSALITY STRENGTH
Get PDFAbstractFault tolerance approach is the most popular computing application on computer devices in which depends on checkpoint uncoordinated. This alternative approach is based on checkpoint uncoordinated and logging message requiring all records, imposing works, memories and overhead becomes significant to communication. Recent studies have found that many applications on computer are send-determinism which can possibly design a new fault tolerance protocol. Thus, this research uses checkpoint uncoordinated protocol based causality strength, a send-determinism feature to record one part of the messages without restarting the process systematically when the error occurs. By drawing the protocol and proving its validity are required as the effective methods of this research. With this alternative approach, the protocol can functionally work where the only small portion of the message is recorded and domino effect does not occur.Keywords : Causality Strength, Domino Effect, Rollback Recovery, Uncoordinated Checkpointing AbstrakPendekatan toleransi kesalahan yang paling populer untuk aplikasi komputasi pada perangkat komputer bergantung pada checkpoint uncoordinated. Alternatif pendekatan tersebut berdasarkan pada checkpoint uncoordinated dan logging pesan mengharuskan pencatatan semua pesan, memaksakan pekerjaan memori/penyimpanan tinggi dan overhead yang signifikan pada komunikasi. Baru-baru ini telah diamati bahwa banyak aplikasi pada komputer bersifat send-determinism yang memungkinkan untuk mendesain protokol toleransi kesalahan baru. Sehingga penelitian ini menggunakan protokol checkpoint uncoordinated berbasis causality strength yang bersifat send-determinism yang hanya mencatat satu bagian dari pesan dan tidak perlu me-restart secara sistematis semua proses ketika kegagalan terjadi. Untuk menunjukkan bahwa penelitian ini berjalan sesuai dengan metode yang digunakan yaitu dengan menggambarkan protokol dan membuktikan kebenarannya. Dengan menggunakan pendekatan tersebut, dapat ditunjukkan bahwa protokol ini benar-benar berhasil dimana hanya mencatat sebagian kecil dari pesan dan tidak terjadi efek domino.Kata kunci : Causality Strength, Efek Domino, Rollback Recovery, Uncoordinated Checkpointin
APLIKASI MODEL EPIDEMIK SEIAR-SEI PADA PENYEBARAN PENYAKIT MALARIA DENGAN INFEKSI ASIMTOMATIK DAN SUPER INFEKSI
Get PDFAbstractThis aim of this study is to determine the point of equilibrium and analyze the stability of SEIAR-SEI model on malaria disease with asymptomatic infection, super infection and the effect of the mosquito\u27s life cycle. This study also aim is to measure the sensitivity of the spread of malaria to the parameters of asymptomatic infections, the rate of treatment, and the rate of birth of mosquitoes through the magnitude of . The method in this research is deductively, through several stage, such as determination of disease-free equilibrium point and endemic equilibrium point, determination of basic reproduction number (), analyze of the basic reproduction number sensitivity of the spread of malaria to the parameters of asymptomatic infections, the rate of treatment, and the rate of birth of mosquitoes. The endemic equilibrium point was obtained using rule of Descartes. The result show that the change in the value of parameter , , and has effect on the basic reproduction number (). Treatment factors in the human population influence the elimination of malaria in a population. Whereas asymptomatic infection factors and the birth rate of adult mosquitoes influence the increase in malaria infection. Keywords: Malaria, asymptomatic infection, super infection, basic reproduction number, rule of descrates. AbstrakPenelitian ini bertujuan menentukan titik keseimbangan dan menganalisis kestabilan dari model SEIAR_SEI pada penyakit malaria dengan pengaruh infeksi asimtomatik, super infeksi, dan siklus hidup nyamuk. Penelitian ini juga bertujuan mengukur tingkat sensitivitas penyebaran penyakit malaria terhadap parameter infeksi asimtomatik, laju pengobatan, serta laju kelahiran nyamuk.melalu besaran . Metode yang digunakan dalam penelitian ini adalah metode deduktif dengan langkah-langkah : menentukan titik keseimbangan bebas penyakit dan endemik dan menentukan bilangan reproduksi dasar ). Analisis sensitivitas bilangan reproduksi dasar dilakukan terhadap parameter infeksi asimtomatik, pengobatan, dan laju kelahiran nyamuk. Tititk keseimbangan endemik diperoleh dengan aturan descrates. Hasil yang diperoleh menunjukkan parameter , , dan berpengaruh terhadap bilangan reproduksi dasar (). Faktor pengobatan berpengaruh terhadap eliminasi penyakit malaria. Sedangkan faktor infeksi asimtomatik dan laju kelahiran nyamuk dewasa berpengaruh terhadap peningkatan infeksi penyakit malaria. Kata kunci: Malaria, Infeksi Asimtomatik, Super Infeksi, Bilangan Reproduksi Dasar, Aturan Descrates .
Sifat-sifat Ruang Banach Hom(U,V)
No full textTulisan ini membahas tentang himpunan operator (pemetaan) linier dari ruang vektor ke ruang vektor yang dilambangkan dengan Hom(U,V) , ditunjukkan bahwa himpunan tersebut adalah ruang vektor dan membentuk ruang bernorma yang lengkap, atau suatu ruang Banach, selanjutnya sifat-sifat ruang Banach tersebut akan dibaha
Bilangan Stirling dan Hubungannya dengan Beberapa Konsep Matematika
Get PDFDalam tulisan ini dibahas analogi, ekuivalensi dan keterkaitan antara bilangan-bilangan Stirling dengan konsep matematika yang lain: himpunan, permutasi, fungsi, faktorial (turun dan naik), determinan-1 dan deret Maclaurin. Pada khususnya analogi antara diferensi dan turunan bisa diturunkan dengan menggunakan bilangan-bilangan Stirling. Juga ekuivalensi beberapa definisi bilangan Stirling berdasarkan konsep partisi pada permutasi dan pada himpunan serta interpretasinya, juga disajikan. Pada penerapan konsep determinan-1, diberikan dua relasi rekurensi yang berbeda tetapi ekuivalen. Relasi rekurensi yang pertama menghasilkan sebuah barisan eigen sedangkan relasi rekurensi yang kedua menghasilkan barisan eigen yang sama, tetapi diturunkan dengan menerapkan determinan-1
Kestabilan Loop Tertutup
Get PDFMisalkan P(s) suatu sistem linier yang transfer matriksnya berupa matriks rasional proper. Misalkan pula C(s) suatu sistem linier yang lain, yang merupakan kompensator dari P(s). Tulisan ini membahas kondisi-kondisi C(s) menstabilkan P(s)
Analisa Karakteristik Rumah Tangga Miskin dengan Metode Regresi Logistik Terbaik
Get PDFKondisi kemiskinan merupakan satu indikator perkembangan tingkat kesejahteraan rakyat di suatu wilayah. Tujuan penelitian ini untuk mengetahui gambaran karakteristik Rumah Tangga Miskin (RTM) di perkotaan dan pedesaan serta variabel-variabel yang mempengaruhinya. Penelitian ini menggunakan metode regresi logistik terbaik. Data yang digunakan adalah data kemiskinan di Provinsi Aceh, hasil Survei Sosial Ekonomi Nasional (Susenas) BPS 2005. Semua variabel bebas diuji kesesuaian model dengan uji signifikan (uji G2), pengujian parameter dengan uji Wald dan odds ratio. Dari hasil analisis diketahui parameter jumlah ART, jenis kelamin KRT, pendidikan tertinggi, status pekerjaan, dan lapangan pekerjaan signifikan mempengaruhi peluang RTM di perkotaan. Di pedesaan yang mempengaruhi peluang RTM adalah jumlah ART, umur produktif KRT, jenis kelamin, pendidikan tertinggi, lapangan pekerjaan, dan jumlah jam kerja KRT. Perbedaan peluang mempengaruhi RTM di perkotaan dan pedesaan adalah umur produktif
ANALISIS FAKTOR-FAKTOR YANG MEMPENGARUHI KESERINGAN MAHASISWA UNHAS MENGIKUTI PROGRAM GUMSB (GERAKAN UNHAS MENGAJI DAN SHOLAT BERJAMAAH) DENGAN MODEL REGRESI LOGISTIK
Get PDFMahasiswa merupakan bagian yang memegang peranan penting dalam suatu bangsa. Secara umum mahasiswa menyandang tiga fungsi strategis, yaitu sebagai penyampai kebenaran (agent of social control), sebagai agen perubahan (agent of change), dan sebagai generasi penerus masa depan (iron stock). Namun, pada kenyataannya tidak semua mahasiswa dapat menjalankan fungsinya dengan benar. Masih terdapat banyak mahasiswa yang terlibat kasus kriminal seperti perkelahian, tawuran, pencurian, pembunuhan terhadap dosen, penyalahgunaan narkotika, penipuan, perusakan, dan masih banyak tindakan kriminal lainnya. Berangkat dari kondisi akhlak mahasiswa yang buruk membuat pihak birokrasi unhas prihatin, sehingga pihak birokrasi unhas bekerjasama dengan Asosisasi masjid Kampus Indonesia (AMKI) berinisiatif membuat suatu program “Gerakan Unhas Mengaji dan Sholat Berjamaah (GUMSB)”. Tujuan dari penelitian ini adalah untuk mengukur dampak dari GUMSB terhadap minat baca Al-Quran Mahasiswa Unhas dengan model regresi logistik. Analisis pada model regresi logistik digunakan untuk mendeskripsikan hubungan antar variabel terikat yang memiliki dua kategori atau lebih. Variabel terikat pada penelitian ini yaitu keseringan mahasiswa mengikuti GUMSB, dimana kategori yang digunakan pada variabel terikat ini adalah 1 untuk yang sering dan 0 untuk yang jarang mengikuti GUMSB. Sedangkan variabel prediktor yang digunakan adalah semangat dan minat dalam mempelajari Al-Quran dan Organisasi.. hasil dari penelitian ini adalah variable bebas semangat dan minat membaca Al-Quran dan organisasi semuanya mempengaruhi minat baca Al-Quran mahasiswa unhas secara signifikan. Adapun bentuk logit dari model akhir adalah :gˆ (x) = -5,763 + 1,229 * semangat dan minat dalam mempelajari Al-Quran + 1,004 *organisasi
Taksiran Kurva Regresi Spline pada Data Longitudinal dengan Kuadrat Terkecil
Get PDFMakalah ini mengkaji tentang estimasi regresi spline khususnya penggunaan pada data longitudinal. Data longitudinaladalah data yang mampu membedakan keragaman respon yang disebabkan karena pengukuran yang berulang. Kurva regresi spline diestimasi dengan menggunakan kuadrat terkecil. Terlihat bahwa taksiran kurva regresi spline untuk data longitudinal merupakan kelas pendugaan linear dalam observasi respon dan sangat tergantung pada titik knotk1, k2, ..., kr
Pengembangan Modul PreprocessingTeks untuk Kasus Formalisasi dan Pengecekan Ejaan Bahasa Indonesia pada Aplikasi Web Mining Simple Solution (WMSS)
Get PDFAbstract Data of social media currently has been much used to analyze both sentiment analysis and another analysis. In fact, data that is obtained from the social media in generally has some mistakes which can influence the spelling in writing of words. The solution offered is word formalization and spelling check. Based on the problem, it will be built a preprocessing model to overcome two the mistakes. The method that will be used in formalization is to change the words to be formal form based on KBBI, while the method used for spelling check is spelling correction. Spelling correction method consists of distance edit, bigram and distance edit rule. In this study, in addition the application of both methods, also it will be analyzed comparing the result of spelling correction. From the result of analysis shows that distance edit rule has higher accuracy, namely 83.39% than using both edit distance and bigram method. In addition, edit distance rule method also has faster performance than another both methods. Overall, method to change word to formal word were based on KBBI and spelling correction has been able to overcome the problem of two cases, such that it can increase accuracy of the result of the analysis. Keywords: preprocessing, spelling correction, edit distance, bigram AbstrakData media sosial saat ini telah banyak digunakan untuk melakukan analisis baik analisis sentimen maupun analisis terkait lainnya. Nyatanya, data yang diperoleh dari media sosial tersebut pada umumnya memiliki kesalahan yang akan mempengaruhi hasil analisis. Kesalahan tersebut berupa penggunaan kata yang tidak baku dan adanya kesalahan ejaan dalam penulisan kata. Solusi yang ditawarkan berupa formalisasi kata dan pengecekan ejaan. Berdasarkan masalah tersebut, akan dibangun modul preprocessing untuk mengatasi dua kesalahan di atas. Metode yang digunakan pada formalisasi adalah mengubah kata ke bentuk formal berdasarkan KBBI sedangkan metode yang digunakan pada pengecekan ejaan adalah spelling correction. Metode spelling correction tersebut terdiri dari tiga yaitu edit distance, bigram dan edit distance + rule. Pada penelitian ini, selain penerapan kedua metode juga akan dilakukan analisis untuk melihat perbandingan hasil pada metode spelling correction. Dari hasil analisis tersebut, diketahui bahwa metode edit distance + rule memiliki akurasi yang lebih tinggi yaitu sebesar 83,39% dibandingkan dengan kedua metode lainnya yaitu edit distance dan bigram. Selain itu, metode edit distance + rule juga memiliki performa tercepat dibandingkan kedua metode lainnya. Secara keseluruhan, metode mengubah kata ke bentuk formal berdasarkan KBBI dan spelling correction telah mampu mengatasi masalah pada dua kasus di atas sehingga dapat meningkatkan akurasi hasil analisis. Kata Kunci:preprocessing, spelling correction, edit distance, bigra