A finite-valued solver for disjunctive fuzzy answer set programs

Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm which extends the flexibility and expressiveness of classical Answer Set Programming (ASP), with the aim of modeling continuous application domains. In contrast to the availability of efficient ASP solvers, there have been few attempts at implementing FASP solvers. In this paper, we propose an implementation of FASP based on a reduction to classical ASP. We also develop a prototype implementation of this method. To the best of our knowledge, this is the first solver for disjunctive FASP programs. Moreover, we experimentally show that our solver performs well in comparison to an existing solver (under reasonable assumptions) for the more restrictive class of normal FASP programs

SUBSTITUSI AGREGAT BETON MENGGUNAKAN TANAH URUG LIMESTONE DARI KECAMATAN RENGEL KABUPATEN TUBAN

Tujuan dari penelitian ini antara lain adalah untuk  memanfaatkan tanah urug limestone sebagai pengganti agregat beton, untuk menghitung kuat tekan beton yang dihasilkan dari pembuatan beton dengan agregat tanah urug limestone dan mengetahui lebih optimal mana pemakaian beton dengan agregat tanah urug limestone dengan beton konfensional      Data yang digunakan dalam penelitian ini adalah data sekunder yang berasal dari literature-literatur baik buku maupun jurnal dan penelitian-penilitian terdahulu. Selain data sekunder juga menggunakan data primer yaitu dengan melakukan pengujian bahan dan pembuatan benda uji di laboratorium teknik sipil dan kemudian menganalisis hasil pengujian. Alat analisis yang digunakan adalah peralatan-perltan untuk pengujian bahan di laboratorium mekanika tanah dan laboratorium beton, untuk menghitung dengan menggunakan rumus-rumus baku  untuk setiap jenis pengujian bahan yaitu dengan menguji kadar air, kadar lumpur, kadar organik, uji berat jenis dan uji saringan. Pengujian benda uji dilakukan dengan 3 waktu yaitu pada beton dengan usia 7 hari, 14 hari dan 28 hari.      Dari hasil Analisa penggunaan tanah urug limestone sebagai pengganti agregat beton cukup optimal dengan hasil uji kuat tekan  umur 28 hari sebesar 14,181 kg/m3 dan kuat tekan  yang berumur 24 hari sebesar 12,009 kg/m3. Di lihat dari hasil uji tersebut beton Limestone masih belum layak untuk di gunakan untuk struktur namun beton ini setara Beton K175. Beton Mutu K175 merupakan salah satu jenis beton standar pembangunan di Indonesia, dimana beton jenis ini cocok untuk digunakan sebagai pondasi bangunan. Mutu k175 sendiri dinilai mampu menahan beban sebanyak 14,5 Mpa, tentunya kapasitas tersebut beton ini mampu menahan bangunan bertingkat sekalipun. Sedangkan perbandingan hasil uji kuat tekan beton normal dengan beton Limestone lebih optimal beton normal dengan hasil uji diperoleh 33,5 kg/m3 untuk beton norma dan 14,181 kg/m3 untuk beton Limestone

Perbandingan Metode Ekstraksi Ciri Histogram dan PCA untuk Mendeteksi Stoma pada Citra Penampang Daun Freycinetia

Ekstraksi fitur adalah proses pengambilan ciri sebuah objek yang dapat menggambarkan karakteristik dari objek tersebut. Pada penelitian ini, dua buah metode ekstraksi fitur digunakan, yaitu Principal Component Analysis (PCA) dan histogram untuk melakukan deteksi stoma pada gambar penampang daun Freycinetia. Penelitian ini menggunakan frame berjalan yang melakukan pengolahan bagian citra dan melakukan deteksi kemunculan stoma pada bagian citra tersebut. Untuk memodelkan kemunculan stoma, dibuat tiga kelas frame, yaitu frame dengan kemunculan stoma penuh, frame dengan kemunculan sebagian stoma, dan frame tanpa kemunculan stoma. Untuk proses klasifikasi, digunakan pemodelan menggunakan Jaringan Saraf Tiruan (JST) Backprogragation. Hasil percobaan menunjukkan bahwa ekstraksi fitur menggunakan PCA menghasilkan akurasi yang lebih baik dibandingkan dengan metode histogram. Nilai F1-measure yang terbaik yang didapatkan menggunakan ekstraksi fitur PCA ialah 0.9091.Kata kunci: deteksi stoma, ekstraksi fitur, Freycinetia, histogram, PC

LAPORAN PRAKTIK PENGALAMAN LAPANGAN (PPL) DI SMK MUHAMMADIYAH 1 BANTUL

Kegiatan Praktik Pengalaman Lapangan (PPL) merupakan matakuliah yang wajib ditempuh oleh mahasiswa Program Studi Kependidikan sebagai salah satu syarat untuk meraih gelar sarjana di Universitas Negeri Yogyakarta. PPL yang berhubungan langsung dengan peserta didik merupakan visualisasi dari mata kuliah mikro teaching yang bertujuan memberikan pengalaman kepada mahasiswa dalam bidang pembelajaran dan manajerial di sekolah atau lembaga, dalam rangka melatih dan mengembangkan kompetensi keguruan. Pengalaman yang diperoleh selama PPL diharapkan dapat menjadi bekal awal calon guru atau tenaga kependidikan yang profesional. Praktik Pengalaman Lapangan (PPL) diselenggarakan di SMK Muhammadiyah I Bantul yang beralamat di Jl. Parangtritis Km. 12, Manding, Trirenggo, Bantul. Kegiatan Praktik Pengalaman Lapangan (PPL) ini berlangsung selama 10 minggu dimulai dari 02 Juli- 17 September 2014. Persiapan yang perlu dilakukan dalam pelaksanaan kegiatan pembelajaran yaitu pembuatan RPP, Materi, dan media penunjang pembelajaran. Dalam PPL ini praktikan mengampu mata pelajaran Konversi Energi dan Kelistrikan Mesin (KMKE). Kelas yang diampu oleh praktikan yaitu kelas X TP 1, X TP 2, X TP 3 dan X TP 4. Secara umum pelaksanaan program- program yang telah disusun dapat terlaksana dengan baik sesuai dengan target yang diharapkan, walaupun ada sedikit hambatan tetapi bisa diatasi dengan baik. Dengan terselesaikannya kegiatan Praktik Pengalaman Lapangan (PPL) ini diharapkan dapat tercipta tenaga pendidik yang memiliki kompetensi pedagogik, kepribadian, sosial, dan profesional

The Formation of Optimal Portfolio of Mutual Shares Funds using Multi-Objective Genetic Algorithm

 Investments in financial assets have become a trend in the globalization era, especially the investment in mutual fund shares. Investors who want to invest in stock mutual funds can set up an investment portfolio in order to generate a minimal risk and maximum return. In this study the authors used the Multi-Objective Genetic Algorithm Non-dominated Sorting II (MOGA NSGA-II) technique with the Markowitz portfolio principle to find the best portfolio from several mutual funds. The data used are 10 company stock mutual funds with a period of 12 months, 24 months and 36 months. The genetic algorithm parameters used are crossover probability of 0.65, mutation probability of 0.05, Generation 400 and a population numbering 20 individuals. The study produced a combination of the best portfolios for the period of 24 months with a computing time of 63,289 seconds

Designing Competency-Based Career Paths: Organizational Strategies for Retaining High-Performing Employees

It is very important for organizations today to acquire and retain high performing employees. This is because the knowledge and competence they have is the capital for the organization to maintain a competitive advantage. PT. MPM, a distributor company for Honda motorcycles, is currently facing a situation where employees who resign complain that the company's career development policies are unclear. This research is an organizational development assessment and intervention. The method used in this study is the research and development method in which organizations produce products to improve organizational performance. In this research, the resulting product is a competency-based career path. This competency-based career path is expected to answer the employee's need for a transparent career development policy. On the other hand, this career path can also be the basis for organizations in implementing the competency development required by a position.Sangat penting bagi organisasi di masa ini untuk memperoleh dan mempertahankan karyawan dengan kinerja yang tinggi. Hal ini dikarenakan pengetahuan dan kompetensi yang mereka miliki merupakan modal bagi organisasi untuk mempertahankan keunggulan kompetitif. PT. MPM sebuah perusahaan distributor motor merk Honda saat ini menghadapi situasi di mana karyawan yang resign mengeluhkan kebijakan pengembangan karir di perusahaan yang dirasa tidak jelas. Penelitian ini merupakan asesmen dan intervensi pengembangan organisasi. Metode yang digunakan dalam penelitian ini adalah metode research and development di mana organisasi menghasilkan produk untuk peningkatan kinerja organisasi. Dalam penelirtian ini, produk yang dihasilkan berupa jalur karir berbasis kompetensi. Jalur karir berbasis kompetensi ini diharapkan dapat menjawab kebutuhan karyawan akan kebijakan pengembangan karir yang transparan. Di sisi lain, jalur karir ini juga dapat menjadi dasar bagi organisasi dalam implementasi pengembangan kompetensi yang dibutuhkan oleh sebuah jabatan

Modeling multi-valued biological interaction networks using Fuzzy Answer Set Programming

Fuzzy Answer Set Programming (FASP) is an extension of the popular Answer Set Programming (ASP) paradigm that allows for modeling and solving combinatorial search problems in continuous domains. The recent development of practical solvers for FASP has enabled its applicability to real-world problems. In this paper, we investigate the application of FASP in modeling the dynamics of Gene Regulatory Networks (GRNs). A commonly used simplifying assumption to model the dynamics of GRNs is to assume only Boolean levels of activation of each node. Our work extends this Boolean network formalism by allowing multi-valued activation levels. We show how FASP can be used to model the dynamics of such networks. We experimentally assess the efficiency of our method using real biological networks found in the literature, as well as on randomly-generated synthetic networks. The experiments demonstrate the applicability and usefulness of our proposed method to find network attractors

ANALISA PENGARUH KINERJA MANDOR TERHADAP KUALITAS PROYEK KONSTRUKSI DI KOTA TUBAN

This study analyzed the effect of the performance of supervisors on the quality of construction projects in the city of Tuban. Population of this research is the foreman who led the work force in the execution of a construction project in the city of Tuban. The number of samples in this study were 34 people foreman in construction projects with a value of more than Rp. 250 million and below a value of Rp. 5 Billion. Data collection techniques in this study by taking primary data to find data directly in construction projects and take a secondary data by searching the literature related to this research. Analysis of the data used in this study using multiple linear regression with a comparison of two methods, namely Enter and Stepwise method. Results were analyzed by both methods are equally demonstrate that capability foreman work has a significant influence on the quality of construction projects in the city of Tuban with sig. 0.000 <0.05. Predictive power of the regression model with the Enter method (R-square) which is formed in this test has a value of 94.1%, meaning that the foreman working ability has contributed to the quality of construction projects amounted to 94.1%, while the remaining 5.9% was influenced by variables other than a model. While stepwise (R-square) which is formed in this test has a value of 93.6%, meaning that the foreman working ability has contributed to the quality of construction projects amounted to 93.6%, while the remaining 6.4% is influenced by other variables outside the model. The conclusion from this study is that among the factors foreman performance which include: the ability to work foreman, work discipline foreman, the foreman relationship with the project organization and work motivation foreman, the most dominant influence on the quality of construction projects is the capability of working foreman.Keywords: ability, performance, qualit

Efektifitas Regulasi & Pengelolaan Infaq, Sedekah dan Dana Sosial Keagamaan: Studi Kasus di Gerakan Koin NU-Care Kota Kediri

Warga jamiyah Nahdlatul Ulama (NU) termasuk di Kota Kediri tergolong cukup besar bahkan terbesar. Kondidi seperti ini tentunya menjadi peluang besar terhimpunnya dana bagi gerakan pengumpulan infaq, sedekh dan dana sosial keagamaan lainnya. Akan tetapi besarnya jumlah warga NU belum tentu dibarengi dengan besarnya pendapatan hasil penngumpulannya. Hal ini dapat dilihat dari misalnya laporan akhir tahun 2019 masih berkisar puluhan juta belum ratusan juta rupiah. Realitas seperti itu menunjukkan adanya masalah yang perlu untuk dikaji dan diteliti problem utamanya dan dicari solusinya. Maka dengan pendekatan tertentu penelitian perlu dilakukan yang kesimpulannya bisa dijadikan bahan pertimbangan dan kajian selanjutnya. Salah satu problemnya adalah persoalan efektifitas, baik efektifitas lembaga pengelola maupun efektifitas regulasinya. Sebuah aturan bisa dikatakan efektif dan rasional manakala bisa dan mampu menumbuhkan kesadaran banyak warga, demikian juga pengelolaan sesuatu kegiatan bisa disebut efektif manakala banyak orang dan banyak pihak dapat merasakan manfaatnya. Selain problem utama ada problem-problem hulu yang mendahuluinya semisal kondisi perekonomian warga, keterampilan dan profesionalitas pengelola, kesadaran dan kepercayaan mereka yang mampu, sosialisasi peraturan perundang-undangannya. Problem hulu ini jelas akan mempengaruhi efektifitas regulasi dan pengelolaannya, untuk itu solusi yang ditawarkan antara lain pengadaan training pengelola atau madrasah amil untuk menjadi lebih profesional dan terpercaya, keteladanan para tokoh-tokohnya disamping peningkatan jaringan komunikasi dengan berbagai pihak termasuk pihak pemerintah