Hasil Pencarian  ::  Simpan CSV :: Kembali

"Naskah Ilmu Hisab (selanjutnya akan disingkat 1N) ini merupakan naskah tunggal yang hanya ada di Perpustakaan Nasional Republik Indonesia (PNRI). Naskah ini bernomor MI 789 (W 226). Kondisi naskah masih bilk dan bisa dibaca dengan jelas. IH ini merupakan sebuah naskah yang berisi ilmu berhitung. Dalam naskah ini diajarkan cara menghitung dari penjumlahan, perkalian, pembagian, pengakaran, pengukuran, pecahan, dan sebagainya. Penelitian ini bertujuan untuk menyajikan suntingan teks; mendeskripsikan penyalinan naskah IN; dan perbandingan ilmu hitung antara naskah IH dan buku matematika yang terbit pada akhir abad ke-19 dan abad ke-21. Metode yang digunakan untuk suntingan teks adalah metode edisi biasa. Untuk mencari keterangan-keterangan lain penulis menggunakan metode kepustakaan. Kemudian, untuk menganalisis penulis menggunakan metode analisis deskriptif. Setelah dianalisis, akhirnya penulis mendapat kesimpulan bahwa tampaknya naskah ini disalin karena dipengaruhi masuknya kebudayaan Barat, yaitu ilmu pengetahuan. Akan tetapi, masyarakat Riau sangat kuat keislamannya sehingga mereka tidak menyukai segala sesuatu yang berasal dari Barat. Jadi, tampaknya si penyalin pun menyesuaikan dengan budaya dan tradisi masyarakat Riau. Penyesuaian ini diperlihatkan dalam isi dan judul naskah yang menggunakan bahasa Arab. Selain itu, naskah ini masih bertulisan tangan, beraksara Arab-Melayu (Jawi), dan bentuknya seperti hikayat, yang masih bersifat tradisional. Dalam tabel perbandingan dapat dilihat perbedaan antara naskah IH dengan buku matematika yang terbit pada akhir abad ke-19 dan abad ke-21, yaitu cara penyajian. Cara penyajian ini meliputi bentuk tulisan, huruf, bahasa, dan teks. Materi ilmu berhitung yang diajarkan dalam naskah IH dan buku matematika pada masa sekarang hampir sama. Akan tetapi, ada beberapa soal dalam teks IH yang cara penyelesaiannya tidak sama dengan yang diajarkan pada masa sekarang. Apabila dilihat pada materi yang diajarkan dalam naskah IH, naskah ini digunakan untuk bahan pelajaran sekolah dasar pada saat ini dapat disetarakan dengan pelajaran untuk kelas lima dan enam sekolah dasar."

"Konsumsi obat melalui mulut (oral drug administration) merupakan salah satu metode konsumsi obat yang paling banyak digunakan karena kemudahannya dalam proses pengiriman obat ke dalam tubuh dan juga karena efek sampingnya yang ditimbulkan relatif kecil. Masalah yang ada pada metode konsumsi ini adalah ekstrimnya perubahan pH yang terdapat dalam sistem pencernaan manusia. Perubahan pH yang ekstrim ini dapat membuat obat luruh terlebih dahulu dan tidak dapat bekerja secara efektif. Untuk itu dikembangkan sediaan yang dapat melepaskan obat secara terkendali (controlled drug release/CDR). Pada penelitian ini sediaan CDR dibentuk dengan metode gelasi ionotropik menggunakan biopolimer kitosan, senyawa tripolifosfat (TPP) sebagai penaut silang, dan parasetamol sebagai model obat. Pada penelitian ini pengaruh konsentrasi TPP sebagai penaut silang diamati terhadap muatan parasetamol dalam sediaan dan terhadap profil pelepasan parasetamol dalam fluida yang menyerupai fluida dalam sistem pencernaan manusia. Dari hasil penelitian ini diketahui bahwa mikrosfer kitosan-TPP yang dibuat melepaskan parasetamol paling banyak dalam larutan buffer pH 6,8, yang menstimulasi larutan pada usus besar. Sementara muatan obat maksimum dalam sediaan CDR ini diperoleh dari mikrosfer kitosan dengan TPP sebesar 4%.

---

Oral drug administration is one of the drug delivery methods that is most widely used because of its simplicity in the process of drug delivery into the body and also because of the side effects caused are relatively small. However, this method had a problem. The problem with this method of consumption is extreme pH changes are present in the human digestive system. This extreme pH changes can damage the drug so the drug may not work effectively. For that reason, This study developed drugs preparations that can release drugs in a controlled time (controlled drug release/CDR). In this study, the method of formation of CDR preparations is ionotropic gelation using biopolymers chitosan, Tripolyphosphate as cross-linking agents, and paracetamol used as a model drug. In this study the influence of the concentration of TPP as a cross-linking agents are observed against paracetamol’s loading in the preparation and the release profiles of paracetamol in a fluid-like fluid in the human digestive system. From the results of this research note that the chitosan-TPP microspheres made most of paracetamol release in pH 6.8 buffer solution, a solution that stimulates the colons. While the maximum drug payload in the preparation of this CDR obtained from chitosan microspheres with TPP by 4%."

"Pada pengembangan sistem, dibutuhkan sebuah mekanisme untuk menjamin bahwa sistem tersebut berjalan dengan benar tanpa error atau rsquo;bug rsquo;. Sejauh ini, hal yang biasa dilakukan adalah dengan testing, tetapi hal ini sulit dilakukan untuk mencakup semua kemungkinan. Untuk sistem yang membutuhkan tingkat correctness yang tinggi, seperti misalnya pada hardware , perlu mekanisme yang dapat menjamin kebenaran program untuk semua kemungkinan input. Ada solusi lain yang dapat menjamin kebenaran program untuk semua kemungkinan input, yaitu dengan verifikasi formal. Verifikasi formal dilakukan dengan pemodelan matematika. Salah satu sistem yang membutuhkan tingkat correctness yang tinggi adalah sistem bilangan floating-point. Hal ini terkait dengan pengalaman yang dialami Intel pada tahun 1994. Salah satu bahasa standar dalam membangun sebuah sistem digital atau hardware adalah VHDL. Ada beberapa tools yang bisa dilakukan untuk verifikasi formal, salah satunya adalah HOL theorem prover. Penelitian ini melakukan formalisasi operasi aritmatika VHDL dan konstruksi terkait yang dilakukan dengan menggunakan HOL Theorem Prover. Hasilnya adalah sebuah framework yang berisi formalisasi beberapa algoritma aritmatika dasar VHDL dan konstruksi terkaitnya. Framework ini kemudian dapat digunakan untuk memverifikasi modul VHDL yang memanfaatkan aritmatika VHDL dan konstruksi terkaitnya.

---

In system development, a mechanism is needed to ensure that the system runs correctly without error or rsquo bug rsquo . So far, testing is a common solution, but it rsquo s hard to cover all error possibilities. For systems that require a high level of correctness, such as hardware systems, there is a need for a mechanism that can ensure the correctness of the program for all possible inputs. There is another solution to do the task, i.e. by formal verification. Formal verification is done by mathematical modeling. One system that requires a high level of correctness is the floating point number system. This is related to the experience of Intel in 1994.

One of the standard languages in developing a digital system or a hardware is VHDL. There are several tools that can be used for formal verification, one of which is HOL Theorem Prover. This research conducts a formalization of VHDL arithmetic operation and the related constructions done by using HOL Theorem Prover. The result is a framework which contains the formalization of some basic VHDL arithmetic algorithms and the related constructions. This framework can then be used to verify VHDL modules that utilize the VHDL arithmetic and the related constructs."

"This paper provides an outline for the study of the role of the social sciences in the study of the workings of civil society in the context of Indonesian and Malaysian Islam. It begins with a discussion on the concepts of civil society and masyarakat madani, term often mistranslated and misunderstood as civil society. It is through a comparison of the two that the relevance of civil society in terms of its theory and practice to Islam is established. Next, I turn to a discussion of the types of use of the social sciences by the various components of civil society. This is followed by a discussion on the need for an account of the impact of the social sciences on public discourse, policy-makers, legislators and NGOs. To the extent that the social sciences do impact in the above arenas, how we may understand the relevance of Islam in this respect is addressed. I conclude by way of an exposition of the relationship between the concepts of civil society and masyarakat madani in the context of the need for a moral public."