Judul: Instrumentasi Kode Program Secara Otomatis Untuk Path Testing.
Abstrak: Pengujian perangkat lunak yang kompleks secara keseluruhan akan memakan waktu yang lama dan membutuhkan sumber daya manusia yang banyak. Mengotomasi bagian dari pengujian akan membuat proses ini menjadi lebih cepat dan mengurangi kerawanan akan kesalahan. Pada penelitian ini, telah dibangun sebuah aplikasi untuk membangkitkan kemungkinan jalur-jalur dari sebuah program yang dapat dijadikan dasar untuk membangkitkan data uji agar data uji yang digunakan untuk pengujian dapat mewakili semua kemungkinan. Selain itu, aplikasi ini juga dapat melakukan penyisipan tag-tag sebagai instrumentasi ke dalam kode program secara otomatis untuk memonitor jalur mana yang dilalui ketika diberikan masukan data uji. Program yang akan diuji dalam penelitian ini adalah program yang dibangun dengan menggunakan bahasa Matlab. Dalam pengembangannya, aplikasi ini akan dibangun dengan menggunakan bahasa pemrograman C#. Hasil penelitian menunjukkan bahwa eksekusi menggunakan aplikasi menghabiskan waktu rata-rata 0.228 detik. Sedangkan jika dilakukan secara manual menghabiskan waktu rata-rata 383.28 detik atau 6 menit 23 detik.
Keyword: Control Flow Graph, Cyclomatic Complexity, Instrumentasi, Matlab, Path Testing

Judul: Disain program komputer untuk minimisasi persamaan logika sebagai alat bantu perancangan instrumentasi kontrol
Abstrak: Pada setiap perencanaan yang dibuat, peramalan yang tepat tentang suatu keadaan yang akan datang merupakan salah satu syarat penting. Seiring dengan kemajuan dalam bidang komputer, maka para pengambil keputusan berusaha menyederhanakan dan menterjemahkan persoalan-persoalan yang dihadapinya dengan bantuan komputer. Misalnya dalam bidang pertanian dalam penentuan sistem kontrol, diperlukan pemilihan kontrol yang tepat dan sesederhana mungkin agar sistem kontrol tersebut dapat berjalan tanpa melibatkan semua kontrol yang ada. Untuk itu diperlukan suatu perangkat lunak komputer yang dapat digunakan sebagai alat bantu (design tools) untuk melakukan pemilihan sistem kontrol tersebut. Perancangan ini dapat dilakukan dengan memanfaatkan fungsi biner (fungsi Boolean) dengan menggunakan gerbang logika Boolean (Boolean Logic Gates) yang salah satunya dapat diterapkan untuk rancangan pengatur suhu dalam ruang pemanas dan rancangan pengendali robot sederhana dengan multi aksi. Tujuan dari penelitian ini adalah merancang dan mengembangkan komputer program sebagai alat bantu minimisasi persamaan logika Boolean dengan metoda Quine-McCluskey. ...
Keyword: 

Judul: Phylogeography and Species Limits in the Papuan White Snake (Micropechis ikaheka) (Reptilia: Serpentes: Elapidae)
Abstrak: Papua white snake, Micropechis ikaheka, has been distingushed into two subspecies M.i. ikaheka and M.i. fasciatus. However, due to lack of data on their morphology, distribution and ecology, both subspecies often ignored in scintific discussions and refers only byas , Micropechis ikaheka. This study was designed to document the differences between M.i. ikaheka and M.i fasciatus by using scales characteristics and reproductive organ or hemipenes. The study also examine, zoogeography, habitat, diet and cannibalism of both subspecies to better understanding the the ecology of one of the most venomous snakes in the world. This study consists of three topics with method and also different in the size samples, respectively. The first study is the histology and microtopography of the skin were studied using paraffin method and Scanning Electron Microscope (SEM). The second is the hemipenis were examined by following Myers and Cadle (2003), and Zaher and Prudente (2003). The third is the abdominal surgery was carried out to document diet type and the investigate phenomenon of cannibalism in the snake. Specimens for this study came from the collection from Museum Zoologicum Bogoriense (MZB) and Universitas Negeri Papua’s Laboratory (LZU). The research result also indicated that the markers of skin and hemipenis described the same structure and microornamentation in all M. ikaheka groups being compared. Based specimens examined morphological descriptions do not s support the further differentiation in Micropechis. In short, two markers that used in this study could not sufficiently indicate the differences in the level of species and subspecies of M. ikaheka. The study, however, were able to delineate zoogeography and skin color patterns, which fall into four groups: M. i. ikaheka; M. i. fasciatus. M. i. ssp. “intermediate”; and M. i. ssp “black”. This study also revealed that color variations did not overlap in their geographic distribution. It is therefore, it suggested that environmental factors may contribute to the skin color variations. It also assumed that habitat discontinuous and biogeography factors may also cause the loss of the connection between the original populations (vicarians) or follow colonization events (dispersal). The examined of 22 stomach contents of M. ikaheka shows this species is carnivorous, and prey on vertebrates such as amphibians, fish, reptiles, and Mammals. These snakes are opportunistic predators since they prey on all that can be captured, but mainly reptiles (61.5%), followed by mammals and fish (both 15.4%), and amphibians (7.7%). Although categorized as terrestrial animal, the diet study showed that M. ikaheka snakes often go into the water to hunt for fish (the sample from Yapen island), including eel (the sample from Aru island). Based on prey items indentified, there is evidence that M. ikaheka is cannibal. At this time, there still no record on reason for cannibalism, but it is assumed that cannibalism was due to competition between populations and means to control population.
Keyword: geographic variation, white snake, papua