Analisis Kestabilan dan Bifurkasi Solusi Sistem Autoparametrik dengan Osilator Tipe Rayleigh

Masalah resonansi autoparametrik pada sistem tereksitasi sendiri banyak terjadi pada struktur-struktur mekanika. Paper ini akan menganalisis model rekayasa dari struktur mekanika yang sesungguhnya. Sistem autoparametrik tipe Rayleigh dipelajari untuk melihat perilaku solusinya, kasus-kasus bifurkasi solusi yang mungkin

KEPEMIMPINAN KREATIF TOKOH MASYARAKAT DALAM PEMBERDAYAAN MASYARAKAT DESA

Penelitian ini bertujuan untuk: (1) Mengetahui peran kepemimpinan kreatif dalam pemberdayaan masyarakat, (2) Mengetahui partisipasi masyarakat dalam pemberdayaan masyarakat, (3) faktor penghambat dan faktor pendukung jalannya proses pemberdayaan masyarakat Penelitian ini menggunakan pendekatan kualitatif. Setting penelitian adalah tokoh masyarakat desa pada tingkat dusun dengan mengambil salah satu dusun sebagai kasus yaitu Dusun Kemiri, kelurahan Purwobinangun kecamatan Pakem, kabupaten Sleman. Data dikumpulkan melalui teknik wawancara, observasi, dan dokumentasi. Analisis data dilakukan dengan menggunakan teknik analisis deskiptif kualitatif. Hasil penelitian ini adalah: (1) peran kepemimpinan kreatif dalam pemberdayaan masyarakat adalah sebagai penggerak, pengendali dan penasehat masyarakat, serta sebagai jembatan antara pemerintah dengan masyarakat, melalui penyebaran informasi dan pemberian otonomi kepada warga, pemberian otonomi tokoh masyarakat diwujudkan dengan komunikasi yang terbuka antara tokoh masyarakat dengan warga untuk menyampaikan saran, ide, maupun kritik yang sifatnya membangun.(2) Partisipasi masyarakat di dusun kemiri yaitu menjunjung tingkat nilai kerukunan dan berusaha memanfaatkan potensi yang ada dengan semaksimal mungkin, adanya keterlibatan masyarakat dalam memberikan ide-ide guna pemberdayaan menjadikan masyarakat dusun Kemiri tidak hanya sebagai pelaksana saja, tetapi juga sebagai perencana program dan evalusi program.(3) Faktor penghambat dan pendukung jalannya proses pemberdayaan masyarakat di Dusun Kemiri, yaitu Tingginya kerukunan antar warga menyebabkan masyarakat selalu ingin melaksanakan semua program yang telah direncanakan secara bersamaan dalam waktu dan tempat yang sama. Adapun faktor pendukungnya yaitu kekompakan masyarakat yang menjunjung tinggi nilai kerukunan antar warga menjadikan masyarakat mampu mengembangkan potensi yang ada. Kata Kunci: kepemimpinan kreatif, pemberdayaan masyarakat des

Lengths May Break Privacy – Or How to Check for Equivalences with Length

Security protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes. While some decision procedures have been proposed for automatically deciding process equivalence, all existing approaches abstract away the information an attacker may get when observing the length of messages. In this paper, we study process equivalence with length tests. We first show that, in the static case, almost all existing decidability results (for static equivalence) can be extended to cope with length tests. In the active case, we prove decidability of trace equivalence with length tests, for a bounded number of sessions and for standard primitives. Our result relies on a previous decidability result from Cheval et al (without length tests). Our procedure has been implemented and we have discovered a new flaw against privacy in the biometric passport protocol

ANALISIS KESTABILAN MODEL PENYEBARAN TUBERKULOSIS DENGAN MDR-TB DAN PENGARUH VAKSINASI

Tuberkulosis (TB) adalah penyakit menular yang disebabkan oleh bakteri yang pada umumnya  menyerang paru-paru namun juga dapat menyerang organ lain seperti tulang, ginjal, kelenjar, dan lain-lain. Pencegahan TB dapat dilakukan dengan memberikan vaksinasi BCG pada individu saat masih bayi. Individu yang terinfeksi TB harus melakukan pengobatan secara rutin dan tuntas dalam jangka waktu yang ditentukan oleh tenaga medis untuk membunuh bakteri dan terjadinya resistensi antibiotik. Apabila pengobatan tidak tuntas, ditunda, atau gagal, TB dapat berkembang menjadi MDR (Multi Drug Resistant)-TB, yang mana ini adalah kondisi TB resisten terhadap pengobatan lini pertama yang sangat efektif untuk TB. Pada penelitian ini akan dikonstruksikan model matematika penyebaran TB dengan MDR-TB dan pengaruh vaksinasi dengan membagi individu menjadi enam populasi yakni individu rentan (S), individu yang tervaksinasi (V), individu yang terpapar (E), individu terinfeksi (I), individu resisten terhadap pengobatan (Res) dan individu yang sembuh (R). Model ini ditentukan titik kesetimbangan bebas penyakit dan titik kesetimbangan endemik lalu dilanjutkan menganalisis kestabilannya dengan nilai eigen dan Routh-Hurwitz serta didekati dengan menggunakan R0 (bilangan reproduksi dasar). Jika nilai R0 < 1, maka titik kesetimbangan bebas penyakit bersifat stabil asimtotik lokal. Sebaliknya, jika nilai R0 > 1, maka titik kesetimbangan endemiknya yang bersifat stabil asimtotik lokal. Selain itu dilakukan simulasi dengan software Matlab Online R2023a dengan nilai awal dan parameter dari jurnal rujukan dan didapatkan kesimpulan bahwa parameter yang paling berpengaruh adalah parameter angka kelahiran dan laju pengobatan. Kata Kunci: Tuberkulosis, MDR-TB, BCG, Bilangan Reproduksi Dasar

Comparing Profitability and Cash Flows of Agroforestry and Agriculture on Australian Farms

This paper is a summary of a project that compared the relative profitability of existing, emerging and prospective agroforestry systems with profitability of conventional agricultural land uses in the cropping zones of Western Australia and New South Wales. The project explored the economic boundary conditions under which several promising agroforestry systems may be viable in the lower rainfall zones. Partial budgeting and discounted cash flow techniques were used to conduct the comparative analysis of alternative land use scenarios. The profitability, cash flows and debt associated with each of the scenario are reported. The analysis underpinning this research provides estimates of the economic value of the temporal and spatial interaction effects of trees on agricultural crops and pastures.Farm Management,

AN ANALYSIS OF ILLOCUTIONARY ACT ON JASON GRACE IN THE NOVEL “THE LOST HERO” BY RICK RIORDAN

Illocutionary acts cover the intention behind an utterance and analyze the speaker’s intent and the effect on the listener, this research aims to analyze the types of Illocutionary acts and which most dominant types of illocutionary acts used by Jason Grace in the novel “The Lost Hero”. The research used John R. Searle’s classification for the illocutionary act which consisted of representatives, directives, commisives, expressives, and declarations. This research used qualitative research with descriptive as a method. The object of this research is a novel by Rick Riordan entitled “The Lost Hero”. The instrument used for this research is content analysis mainly focused on analyzing Jason Grace's utterances in the novel. Furthermore, data analysis was conducted by the researcher by reading the novel, writing Jason Grace's utterances, and separating the utterances based on John R. Searle’s classification. The result of the research found that there are 5 types of illocutionary acts Jason Grace used in “The Lost Hero” novel. These utterances consisted of 10% declarations, 14% representatives, 26% expressives, 44% directives, and 6% commisives. The frequently used types of illocutionary acts Jason Grace used are directives utterances with commisives being the least used. Furthermore, this study found that Jason Grace's character in the novel used 5 types of illocutionary from John R. Searle’s classification

PELAKSANAAN KESELAMATAN DAN KESEHATAN KERJA DI BENGKEL TEKNIK MEKANIK OTOMOTIF SMK TAMANSISWA JETIS YOYAKARTA

Penelitian ini bertujuan untuk mengetahui pelaksanaan keselamatan dan kesehatan kerja (K3) yang dilihat dari perilaku praktik kerja, aspek perlengkapan keamanan pada manusia dan mesin, beberapa alat dan mesin yang rawan menyebabkan kecelakaan, serta upaya-upaya yang ditempuh berkaitan dengan keselamatan dan kesehatan kerja di bengkel praktik. Penelitian ini adalah penelitian deskriptif kualitatif. Penelitian berlangsung di bengkel Teknik Mekanik Otomotif SMK TAMANSISWA Yogyakarta. Data utama penelitian ini diperoleh dari praktikan, instruktur praktik, dan teknisi bengkel sebagai key informant, sedangkan data penunjang dikumpulkan dari berbagai dokumen yang ada di bengkel praktik. Data yang dikumpulkan melalui pengamatan, wawancara dan observasi. Data mentah yang diperoleh kemudian direduksi, dirangkum dan dikelompok-kelompokkan sesuai kategori yang ada yang akan memberikan gambaran terhadap hasil penelitian dalam bentuk narasi. Pemeriksaan keabsaan data dilakukan dengan memperpanjang waktu penelitian dan triangulasi. Hasil penelitian mengungkapkan bahwa: (1) pelaksanaan K3 di bengkel Teknik Mekanik Otomotif SMK TAMANSISWA Yogyakarta masih kurang. Hal ini terlihat dari beberapa perilaku praktikan yang membahayakan K3, diantaranya, praktikan tidak memakai alat pelindung diri dengan baik, beberapa sikap yang kurang baik yakni praktikan duduk di atas meja kerja bangku bahkan ada praktikan yang melihat rekannya sedang mengelas tidak menggunakan kaca mata las, praktikan menggunakan peralatan dan mesin tidak sesuai dengan fungsinya, praktikan menempatkan peralatan ataupun benda kerja tidak pada tempat yang semestinya; (2) keadaan alat pelindung diri belum memadai, dan beberapa perlengkapan jumlahnya perlu ditambah serta perlu penggantian beberapa perlengkapan yang sudah tidak layak digunakan. Peralatan tersebut misalkan, sarung tangan, apron dada, safety helmet, masker pelingdung hidung dan mulut, dan kaca mata bening; (3) beberapa mesin yang rawan menyebabkan kecelakaan, antara lain: mesin gerinda, mesin las, dan mesin bor. Untuk itu dalam penggunaan mesin-mesin tersebut perlu ditekankan lagi aspek keamanannya; (4) upaya yang dilakukan untuk pencegahan kecelakaan di bengkel dilakukan dengan berbagai kegiatan. Diantaranya: instruktur selalu memberi arahan tentang K3 sebelum praktik dimulai, dilakukan pengawasan saat praktik, pemasangan poster keselamatan kerja, dan melakukan maintenance mesin secara berkala

Provably correct Java implementations of Spi Calculus security protocols specifications

Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to formalize the refinement of a Spi Calculus specification into a Java implementation. The Java implementation generated by the translation function uses a custom Java library. Formal conditions on such library are stated, so that, if the library implementation code satisfies such conditions, then the generated Java implementation correctly simulates the Spi Calculus specification. A verified implementation of part of the custom library is further presente

ANALISIS KESTABILAN MODEL SVIQR PADA PENYEBARAN PENYAKIT DIFTERI DENGAN PENGARUH VAKSINASI DAN KARANTINA

Diphtheria is an acute disease caused by bacteria (Corynebacterium Diphtheriae). This disease is transmitted through the air and droplets (very small drops of fluid) from infected individuals. Vaccination can be carried out as a preventive measure so as not to be infected with bacteria (Corynebacterium Diphtheriae) and quarantine is carried out as a healing process because this disease is one type of disease included in the hospital-based STP (Integrated Disease Surveillance) data source. This study aims to compile and analyze a model of the spread of diphtheria using the SVIQR model. This model contains five subpopulations, namely susceptible (S), infected (I), cured (R), quarantined (Q) and vaccinated (V). Then determine the numerical simulation by estimating the parameters. From the results of numerical simulations of the mathematical model of diphtheria transmission under the influence of vaccination and quarantine, it shows that by selecting the vaccination fade rate parameter, =0.3795491181<1, which means that the disease-free equilibrium point is stable. The asymptotically stable endemic equilibrium point obtained is =1.207495030>1. The smaller the value of the vaccination fading rate parameter ε, the more asymptotically stable the disease-free point means that the spread of disease or endemic disease can be prevented if the vaccine given does not fade easily. Keywords: Stability Analysis, Mathematical Models, Diphtheria, Quarantine, Vaccination

Model Matematika Penularan Penyakit COVID-19 dengan Penerapan Vaksinasi Dua Dosis: Studi Kasus di Sidoarjo, Indonesia

Penyakit COVID-19 masih menjadi pandemi di Indonesia pada tahun 2021, khususnya di Sidoarjo. Coronavirus (CoV) adalah keluarga besar virus zoonosis, yaitu ditularkan dari hewan ke manusia, dan menyebabkan gejala mulai dari flu biasa hingga penyakit yang lebih serius. Salah satu upaya dalam mengendalikan penularan penyakit COVID-19 yaitu adanya vaksinasi. Vaksinasi dilakukan dua kali sehingga diperoleh lima kompartemen yaitu individu rentan , individu yang telah vaksinasi pertama , individu yang telah vaksinasi kedua , individu terinfeksi , individu sembuh . Tujuan dari penelitian ini adalah memodelkan penularan penyakit COVID-19 dengan penerapan vaksinasi dua dosis dengan menggunakan model . Pada penelitian ini telah dapat ditentukan titik kesetimbangan bebas penyakit dan titik kesetimbangan endemik sistem yang selanjutnya ditentukan kestabilannya dengan analisis nilai eigennya. Selanjutnya, dengan menggunakan algoritma genetika dilakukan estimasi parameter dan nilai awal sistem untuk keperluan simulasi sistem. Dari model matematika tersebut, diperoleh bilangan reproduksi dasar . Jika , maka diperoleh kestabilan titik kesetimbangan bebas penyakit. Jika , maka diperoleh kestabilan titik kesetimbangan endemik. Estimasi parameter dan nilai awal dilakukan dalam dua periode yaitu pada bulan Juli 2021 dan bulan Oktober 2021. Dari simulasi yang dilakukan, diperoleh bahwa pada periode bulan Juli 2021 . Hal ini sesuai dengan keadaan sesungguhnya bahwa pada periode bulan Juli 2021 terjadi peningkatan penularan COVID-19. Pada bulan Oktober 2021 , hal ini sesuai dengan keadaan sesungguhnya bahwa pada periode Oktober penularan COVID-19 sudah melandai