47936 research outputs found
Sort by
DETEKSI DINI KESEHATAN GINJAL DENGAN METODE URINE ANALYZER
No full texthasil penelitian uji performance dan validasi metode sistem sensor alat urine analyzer bagi deteksi gangguan fungsi ginjal. Dalam Penelitian
ini tim merancang, menguji dan memvalidasi sistem sensor alat
deteksi urine yang diharapkan nantinya bisa dimanfaatkan
sebagai alternatif alat deteksi dini bagi kesehatan
Verification of a Rule-Based Expert System by Using SAL Model Checker
Full text linkVerification of a rule-based expert system ensures
that the knowledge base of the expert system is logically correct
and consistent. Application of verification into a rule-based expert
system is one approach to integrate software engineering
methodology and knowledge base system. The expert system,
which we has built, is a rule-based system developed by using
forward chaining method and Dempster-Shafer theory of belief
functions or evidence. We use Z language as the modelling
language for this expert system and SAL model checker as the
verification tool. To be able to use SAL model checker, Z2SAL will
translate the Z specification, which models the system. In this
paper, we present some parts of our Z specification that represent
some parts of our rule-based expert system. We also present some
parts of our SAL specification and theorems that we added to this
SAL specification. At the last, we present the usage of SAL model
checker over these theorems. Based on these model-checking
processes, we argue that the results are expected. This means that
each of theorems can be model checked and the outputs of those
model checking are the same as the outputs that we obtain from
manual investigation; either it is VALID or INVALID. Other
interpretation of the model check’s results is some parts of our
rule-based expert system have been verified
PEMENUHAN HAK PEKERJAAN : PEMENUHAN UU NOMOR 8 TAHUN 2016 TENTANG PENYANDANG DISABILITAS DI SAMARINDA FULLFILLMENT OF EMPLOYMENT RIGHTS: ACT NUMBER 8 YEAR 2016 ON PEOPLE WITH DISABILITIES IN SAMARINDA
No full textProtecting the employment rights for people with disabilities are obliged according to Act No, 8 Year 2016. This fulfillment is fundamental due to discrimination as well as social exclusion over the population at work. This research utilizes field research where interview and FGD are tools for data collectin. Research location was placed in Samarinda considering the facts that the city is a part of East Borneo The province has been enacted Local Regulation No. 1 Year 2018 on Protection and Fullfilment of the Disability Rights as the derivation of the aforementioned act. Finding shows that the protection of of disability employment rights is lacking where mostly all articles related with employment rights have not respected. However, affirmative action done by the City Major is significantly important where many disability workers hired at various government offices. Decent salary, public education on the Act as well as acceptance toward people with disabilities are among critical recommendations
AL QUR'AN MUSHAF KUNO JUZ 26 - 30
Full text linkDalam teks mushaf secara keseluruhan tidak tertulis nomor ayat hanya nama surat nya saja. Dalam juz 30 sebagian teks mushaf rusak atau hilang dan sobek.
Juz 26 dimulai dari surat Surat Al Ahqaf ayat 1-35 ; kemudian surat Muhammad ayat 1-38 ; kemudian surat Al Fath ayat 1-29 ; kemudian surat Surat Al Hujurat ayat 1-18 ; kemudian surat qaf ayat 1-45 ; kemudian surat Az Zariyat ayat 1-30. Juz 27 terdiri dari surat Az Zariyat ayat 31-60 ; kemudian surat Ath Thur ayat 1-49 ; kemudian Surat An Najm ayat 1-62 ; kemudian Surat Al Qamar ayat 1-55 ; kemudian surat Surat Ar Rahman ayat 1-78 ; kemudian Surat Al Waqiah ayat 1-96 ; dan surat Al Hadid ayat 1-29. Juz 28 terdiri dari surat Al Mujadilah ayat 1-22 ; kemudian Surat Al Hasyr ayat 1-24 ; kemudian Surat Al Mumtahanah ayat 1-13 ; kemudian Surat Ash Shaff ayat 1-14 ; kemudian Surat Al Jumuah ayat 1-11 ; kemudian Surat Al Munafiqun ayat 1-11 ; kemudian Surat At Taghabun ayat 1-18 ; kemudian Surat Ath Thalaq ayat 1-12 ; dan Surat At Tahrim ayat 1-12. Juz 29 terdiri atas Surat Al Mulk ayat 1-30 ; kemudian Surat Al Qalam ayat 1-52 ; kemudian Surat Al Haqqah ayat 1-52 ; kemudian Surat Al Maarij ayat 1-44 ; kemudian Surat Nuh ayat 1-44 ; kemudian Surat Al Jin ayat 1-28 kemudian Surat Al Muzzammil ayat 1-20 ; kemudian Surat Al Muddatstsir ayat 1-56 ; kemudian Surat Al Qiyamah ayat 1-40 ; kemudian Surat Al Insan ayat 1-31 ; dan Surat Al Mursalat ayat 1-50.
Juz 30 dimulai dari Surat An Naba’ ayat 1-40 ; kemudian Surat An Naziat ayat 1-46 ; kemudian Surat ‘Abasa ayat 1-42 ; kemudian Surat At Takwir ayat 1-29 ( dalam teks mushaf hanya sampai ayat 1-28 untuk ayat 29 nyambung ke halaman 6) ; kemudian Surat Al Infithar ayat 1-19 (dalam teks mushaf hanya sampai pada ayat 1-17 terdapat pada halaman 6) ; kemudian Surat Al Muthaffifin ayat 1-36 (ayat 1-13 di halaman 7, dan ayat 14-32 di halaman 8) ; kemudian Surat Al Insyiqaq ayat 1-25 ; kemudian Surat Al Buruj ayat 1-22 (dalam teks mushaf hanya tercantum ayat 1-8) ; kemudian Surat Ath Thariq ayat 1-17 kemudian ; Surat Al A’la ayat 1-19 ; kemudian Surat Al Ghasyiyah ayat 1-26 ; kemudian Surat Al Fajr ayat 1-30 ; kemudian Surat Al Balad ayat 1-20 ; kemudian Surat Asy Syams ayat 1-15 (teks rusak tidak utuh ada pada halaman 6 dan 15) ; kemudian Surat Al Lail ayat 1-21 ( hanya ada ayat 1-13 pada halaman 12 kemudian ayat 13-21 di halaman 13) ; kemudian Surat Ad Dhuha ayat 1-11 (lengkap di halaman 13) ; kemudian Surat Al Insyirah ayat 1-8 ( lengkap terdapat pada halaman 9) ; kemudian Surat At Tin ayat 1-8 ( pada teks mushaf tidak utuh hanya sampai pada ayat 1-2 pada halaman 9) ; kemudian Surat Al ‘Alaq ayat 1-19 (pada teks mushaf tidak utuh dan rusak terdapat di halaman 10 ) ; kemudian Surat Al Qadr ayat 1-5 ( lengkap pada halaman 13) ; kemudian Surat Al Bayyinah ayat 1-8 (teks mushaf tidak lengkap hanya ada ayat 5-8) ; kemudian Surat Al Zalzalah ayat 1-8 ; kemudian Surat Al ‘Adiyat ayat 1-11 (dalam teks mushaf hanya terdapat ayat 1-10 pada halaman 8) ; kemudian Surat Al Qari’ah ayat 1-11 ; kemudian Surat At Takatsur ayat 1-8 (hanya samapai ayat 1-7 terdapat pada halaman 9) ; kemudian Surat Al Ashr ayat 1-3 ; kemudian Surat Al Humazah ayat 1-9 ( lengkap ada di halaman 10) ; kemudian Surat Al Fil ayat 1-5 (lengkap ada di halaman 10) ; kemudian Surat Quraisy ayat 1-4 ( teks rusak tidak utuh ada di halaman 10) ; kemudian Surat Al Ma’un ayat 1-7 (lengkap ada di halaman 11) ; kemudian Surat Al Kautsar ayat 1-3 (teks mushaf rusak lihat halaman 11) ; kemudian Surat Al Kafirun ayat 1-6 ; kemudian Surat An Nashr ayat 1-3 (teks lengkap pada halaman 15) ; kemudian Surat Al Lahab ayat 1-5 ; kemudian Surat Al Ikhlash ayat 1-4 (lengkap ada pada halaman 16) kemudian Surat Al Falaq ayat 1-5 (lengkap ada pada halaman 16) dan Surat An Nas ayat 1-6 (lengkap ada pada halaman 16)
AL-QUR'AN MUSHAF KUNO JUZ 11 - JUZ 15
Full text linkDalam teks mushaf secara keseluruhan tidak tertulis nomor ayat hanya nama surat nya saja.
Juz 11 berisi: Surah Al-Taubah dari ayat 93 sampai 129; Surah Yunus dari ayat 1 sampai 109; Surat Hud dari ayat 1 sampai ayat 5. Juz 12 memuat Surah Huud ayat 6 hingga ayat 123; Surah Yusuf yang dimulai dari ayat 1–52. Juz 13 mencakup Surat Yusuf ayat 53-111; Surat Ar-Ra'd ayat 1-43 dan Surat Ibrahim ayat 1-52. Juz 14 berisi Surah Al Hijr yang dimulai pada ayat 1 sampai ayat 99; Surah An Nahl mulai dari ayat 1 sampai ayat 128. Juz 15 berisi Juz 15 Surah Al Isra’ ayat 1 sampai ayat 111; Surah Al Kahfi ayat 1 sampai ayat 74
Experiences Using Z2SAL
Full text linkThe Z notation is a language that can be used
for writing formal specifications of a system since it is based
on mathematical notation and logic. However, there is less tool
support for this language that one might wish for. In this paper,
Z2SAL, a translator for Z which translates the Z notation into
a SAL input language, is explored. The generated SAL file can
be used further by an existing model checker, specifically ones
provided in the SAL tool suite. This paper describes experiences
during conducting several experiments on the Z2SAL translato