Judul: Development of Halal Assurance System for Halal Shoyu Product Line in Kamada Soy Sauce Inc
Abstrak: The number of Muslim population in Indonesia is predicted to reach 214 million people by 2019, which is a very lucrative market from the business point of view. Muslim people have protected rights to obtain and consume halal food products. Food and beverages must come from halal raw materials and processed in a certain way that can assure its halal status. Shoyu is a Japanese export product that is widely consumed by Indonesian people. Shoyu is a traditional Japanese soy sauce made from a mixture of wheat and soybean through a fermentation process in two stages. Non-halal soy sauce itself may contain brewery or khamr alcohol and pork-derived substances that are added as flavoring ingredients. The halal assurance system HAS 23000 is developed by LPPOM MUI that aims to assure the halal status of a product so that it is free of contamination possibilities from haram or najis materials. Development of halal assurance system is done by conducting preliminary audit beforehand using gap analysis method. The development is specifically done for halal shoyu product line based on findings of the gap analysis and is considered done when all eleven of the HAS 23000 principles are fulfilled. Post audit will be done using the same gap analysis method to compare the conditions before and after development. Risk analysis using failure mode and effect (FMEA) method will be conducted afterwards based on the audit findings and brainstorming with the company regarding the parameters. A fishbone diagram will be constructed based on the risk probability number calculated during the FMEA risk analysis.
Keyword: gap analysis, halal, haram, HAS 23000, shoyu

Judul: Pengembangan Konsep Model Sistem Jaminan Halal Di Rumah Potong Ayam (Studi Kasus Pada Industri Daging Ayam)
Abstrak: Persaingan produk yang semakin terbuka merupakan tantangan bagi industri pangan untuk memenuhi harapan konsumen akan produk yang halal, aman dan bermutu. Salah satu upaya yang dilakukan adalah dengan menerapkan sistem jaminan halal secara efektif. Mekanisme kerja suatu sistem manajemen mutu ISO 9000 dapat dijadikan acuan untuk membuat suatu sistem standar jaminan halal. Penelitian ini bertujuan untuk mempelajari penerapan sistem jaminan halal yang dilaksanakan di Rumah Potong Ayam (RPA) dan mengembangkan konsep model sistem jaminan halal dalam bentuk manual halal, Standard Operating Procedure halal, Guideline halal, dan Work Instruction halal di RPA dan merancang model deskriftif sistem jaminan halal dan Haram Critical Control Point (HrACCP) di Rumah Potong Ayam serta mengembangkan konsep model sistem jaminan halal untuk akreditasi dan sertifikasi halal. Penelitian ini dilakukan di PT. Sierad Produce Tbk dan PT. Charoen Pokphand Indonesia sekitar 5 bulan. Penelitian dilakukan dengan menyebarkan kuesioner kepada pihak industri, pengamatan, on site verification dan penilaian sistem jaminan halal. Kemudian dilakukan pengembangan konsep model sistem jaminan halal untuk RPA yang memenuhi ketentuan yang ada dalam ISO 9000 versi 2000 dan Panduan Sistem Jaminan Halal LP POM MUI 2003. Pembuatan model sistem jaminan halal ini didasarkan pada konsep Total Quality Management yang terdiri dari 4 unsur utama, yaitu komitmen, kebutuhan konsumen, peningkatan tanpa penambahan biaya, dan menghasilkan barang dengan zero limit. Zero defect dan zero risk (Tree Zero Concept). Selanjutnya dilakukan studi literatur dan bench marking dengan sistem ISO 9000 dan dilakukan wawancara dengan kuesioner kepada pihak akreditator dan auditor, kemudian dianalisis secara deskriptif. Hasil analisis ini dibuat sebagai rekomendasi untuk pengembangan pembuatan konsep sistem jaminan halal untuk akreditasi dan sertifikasi halal. Hasil penelitian menunjukkan bahwa pengembangan konsep model sistem jaminan halal di RPA dapat mengadopsi ISO 9000 versi 2000 dan Pedoman Sistem Jaminan Halal menurut Apriyantono et al. (2003), Panduan Penyusunan Sistem Jaminan Halal menurut LP POM MUI (2004) dan Panduan Penyusunan Sistem Analisa Bahaya dan Pengendalian Titik Kritis (HACCP) menurut BSN (2002). Elemen halal yang dikembangkan meliputi kebijakan halal, sasaran halal, deskripsi produk, organisasi halal, persyaratan dasar kehalalan, pembelian, diagram alir proses produksi, HrACCP, lembar kerja dan pengendalian status preventif dan tindakan koreksi, audit halal, personal dan pelatihan, prosedur pengaduan, prosedur penarikan kembali, SOP halal, Guideline halal dan WI halal. Penerapan sistem jaminan halal dilakukan dalam bentuk pemenuhan dokumen manual halal, dokumen SOP halal, Guideline halal, dan WI halal serta pelaksanaannya menunjukkan bahwa konsep model yang telah dikembangkan xiv sesuai untuk digunakan sebagai standar baku dalam menyusun sistem jaminan halal di RPA. Pada PT. Sierad Produce Tbk disarankan perubahan dokumen elemen sistem jaminan halal yaitu elemen koordinator halal, bagan alur produksi, identifikasi bahan haram atau najis, penentuan titik-titik kritis keharaman, lembar kerja status preventif, pelatihan dan perubahan dokumen halal serta prosedur pengaduan dan penarikan kembali. Sedangkan PT. Charoen Pokphand Indonesia disarankan perubahan dokumen terhadap elemen sistem jaminan produk halal dalam hal sasaran halal, identifikasi dan penentuan titik-titik kritis keharaman, lembar kerja status preventif, pelatihan dan perubahan dokumen, serta prosedur pengaduan dan penarikan kembali. Penerapan HrACCP pada proses produksi daging ayam halal di PT. Sierad Produce Tbk dan PT. Charoen Pokphand Indonesia ditemukan 2 haram CCP bahan baku
Keyword: 

Judul: Closed Knight’s Tour pada Papan Catur Berbentuk Persegi Panjang dengan Ukuran Maksimal 8 × 8
Abstrak: Closed Knight’s Tour merupakan langkah kuda yang mengunjungi setiap kotak pada papan catur tepat satu kali dengan langkah kuda berawal dan berakhir pada kotak yang sama. Graf yang terbentuk dari closed knight’s tour dinotasikan sebagai graf G(m,n), dengan m adalah banyaknya baris dan n adalah banyaknya kolom. Graf tersebut memuat Hamiltonian cycle. Sebuah graf terhubung G adalah graf bipartite jika dan hanya jika graf tersebut tidak memiliki cycle dengan panjang ganjil. Papan catur yang memenuhi syarat cukup untuk memiliki closed knight’s tour adalah papan catur berukuran 5 × 6, 5 × 8, 6 × 6, 6 × 7, 6 × 8, 7 × 8, dan 8 × 8.
Keyword: bipartite, closed knight’s tour, hamiltonian cycle, knight’s tour, teori graf