Judul: The Variation of Leaf Anatomical Characteristic of Dimorphanthera and Vaccinium (Ericaceae) in Arfak Mountains and Mount Jaya, New Guinea
Abstrak: ABSTRAK AMALIA. Variasi Ciri Anatomi Daun Dimorphanthera dan Vaccinium (Ericaceae) di Pegunungan Arfak dan Puncak Jaya, Niugini. Dibimbing oleh TATIK CHIKMAWATI, NINA RATNA DJUITA dan WENDY ACHMMAD MUSTAQIM. Niugini merupakan pulau terbesar kedua di dunia yang secara administrasi terdiri atas dua wilayah, yaitu Niugini bagian barat yang dikenal dengan Papua, Indonesia dan bagian timur yang merupakan kawasan negara Papua Niugini. Kedua kawasan ini memiliki endemisitas flora yang tinggi, salah satunya Ericaceae. Ericaceae terdiri atas sekitar 124 genera dan 4250 spesies. Dua di antaranya, adalah Dimorphanthera dan Vaccinium, yang sulit dibedakan secara morfologi vegetatif. Penelitian ini bertujuan mengamati variasi dan menemukan ciri anatomi daun untuk membedakan Dimorphanthera dan Vaccinium. Pengamatan anatomi dilakukan dengan membuat sayatan paradermal untuk membandingkan bentuk, tipe dinding, dan ukuran (panjang dan lebar) sel epidermis, ukuran stomata, indeks, kerapatan, dan tipe stomata dari kedua genera tersebut. Tiga spesies Dimorphanthera (D. amblyornidis, D. cornuta, dan D. nigropunctata) dan lima spesies Vaccinium (V. commutatum, V. minuticalcaratum, V. molle, V. tubiflorum, dan V. villosiflorum) telah diamati bagian tengah daunnya. Empat tipe stomata pada Dimorphanthera, yaitu anomositik, aktinositik, hemiparasitik, dan paratetrasitik serta tiga tipe stomata pada Vaccinium yaitu anomositik, hemiparasitik, dan paratetrasitik ditemukan tersebar di antara sel-sel epidermis abaksial. Indeks stomata dan kerapatan stomata merupakan ciri yang relatif beragam antar spesies dan dapat digunakan untuk membedakan antara spesies pada Dimorphanthera dan Vaccinium. Ciri anatomi daun pada penelitian ini tidak dapat digunakan untuk membedakan genus Dimorphanthera dari Vaccinium., ABSTRACT AMALIA. The Variation of Leaf Anatomical Characteristic of Dimorphanthera and Vaccinium (Ericaceae) in Arfak Mountains and Mount Jaya, New Guinea. Supervised by TATIK CHIKMAWATI, NINA RATNA DJUITA and WENDY ACHMMAD MUSTAQIM. New Guinea is the second-largest island in the world. The island is divided into two administrative regions that include the western half known as Papua, Indonesia and the eastern half of the island is an independent country of Papua New Guinea. These are have a high number of endemic plants and one of them is Ericaceae. Ericaceae consists of about 124 genera and 4250 species. Two of them, Dimorphanthera and Vaccinium, are difficult to be distinguished using vegetative characteristics. This study aimed to distinguish the variation of paradermal anatomical characteristics of Dimorphanthera and Vaccinium leaves by observing the shape, wall type and size of epidermis cells, stomatal type and size, index and density of stomata. Leaves from three species of Dimorphanthera (D. amblyornidis, D. cornuta, and D. nigropunctata) and five species of Vaccinium (V. commutatum, V. minuticalcaratum, V. molle, V. tubiflorum, and V. villosiflorum) were observed in the middle of the lamina. Four types of stomata namely anomocityc, actinocytic, hemiparacytic, and paratetracytic, were found on Dimorphanthera. Three types of stomata in Vaccinium namely anomocytic, hemiparacytic, and paratetracytic were found in the abaxial epidermis. Stomatal index and density vary between species in both Dimorphanthera and Vaccinium. However, leaf anatomical characteristics can not be used to distinguish the genus Dimorphanthera from Vaccinium.
Keyword: Papua, paradermal anatomy, stomatal density, stomatal indeks

Judul: Monograf Marga Diplycosia (Ericaceae) di Niugini.
Abstrak: Diplycosia (Ericaceae) merupakan marga yang secara taksonomi masih kurang dipelajari. Distribusi marga ini hampir terbatas di kawasan Malesia dan banyak jenis merupakan endemik satu pulau atau satu pegunungan. Niugini yang terletak di kawasan Malesia bagian timur merupakan kawasan yang dikategorikan sebagai pusat keberagaman Diplycosia dengan 21 jenis dilaporkan pada penelitian-penelitian sebelumnya. Sebagian besar jenis Diplycosia di Niugini diketahui dari jumlah spesimen yang terbatas, mulai hanya diketahui dari spesimen tipe atau sedikit sekali spesimen, atau belum diketahui sepenuhnya morfologi bunganya. Oleh karena itu, studi taksonomi perlu dilakukan kembali pada marga Diplycosia di Niugini. Selain itu, meskipun sebagian besar jenis jenis endemik dengan kisaran geografis yang sempit, status konservasi untuk 17 jenis belum pernah dilakukan. Hal ini menjadikan suatu hambatan dalam penyusunan strategi konservasi sehingga evaluasi status konservasi perlu dilakukan. Konsep jenis morfologi digunakan dalam studi taksonomi kali ini. Data keberagaman jenis diperoleh dari studi pada berbagai institusi herbarium baik secara langsung atau digital, meliputi Australian National Herbarium (CANB), Harvard University (A), Muséum National d'Histoire Naturelle, Paris (P), Naturalis History Museum Firenze (FI), Naturalis Leiden (L), Papua New Guinea Forest Research Institute (LAE), PT Freeport Indonesia (akronim tentatif FRE), Puslit Biologi Lembaga Ilmu Pengetahuan Indonesia (BO), Royal Botanic Gardens Kew (K), dan Universitas Papua (MAN). Eksplorasi lapangan juga dilakukan di Niugini bagian Indonesia, yaitu di kawasan Pegunungan Arfak dan Puncak Jaya. Studi anatomi ciri kualitatif pada epidermis daun juga dilakukan. Evaluasi status konservasi dilakukan dengan panduan dari IUCN dan dibantu dengan aplikasi GeoCAT. Sejumlah 26 jenis dicatat untuk kawasan Niugini. Jumlah ini termasuk jenis yang telah diusulkan sebagai jenis baru yaitu D. papuana Mustaqim, Utteridge & Heatubun dan empat jenis yang diusulkan dalam penelitian ini. Keempat jenis tersebut adalah Diplycosia elegans Mustaqim, Utteridge & Heatubun, D. hexamera Mustaqim, Utteridge & Heatubun, Diplycosia puradyatmikai Mustaqim, Utteridge & Heatubun, dan Diplycosia reticulifolia Mustaqim, Utteridge & Heatubun.Satu varietas baru juga diusulkan yaitu Diplycosia lorentzii var. acuminata Mustaqim, Utteridge & Heatubun. Diplycosia morobeensis var. ovatifolia Sleumer dijadikan sebagai sinonim dari Diplycosia morobeensis Sleumer. Hasil studi menunjukkan wilayah Niugini bagian Indonesia di bagian barat dihuni lebih banyak jenis dibandingkan wilayah Papua Niugini di bagian timur. Sejauh ini, kawasan tengah mulai dari Pegunungan Jayawijaya ke arah timur hingga sebelum perbatasan Indonesia dan Papua Niugini merupakan kawasan dengan keberagaman jenis tertinggi meskipun eksplorasi botani masih sedikit. Pada tingkatan jenis, distribusi di Niugini bervariasi dari luas hingga sangat sempit, seperti satu pegunungan atau dari satu lokasi. Diplycosia di Niugini tumbuh sebagai semak epifit atau terestrial dengan hutan berlumut sebagai habitat yang paling penting hingga ke zona alpin. Kisaran elevasi mulai dari 800 m di Semenanjung Wandammen pada D. kosteri dan 4000 m di Gunung Giluwe untuk D. morobeensis dan D. rupicola. Sebanyak tujuh jenis dilaporkan menghuni kawasan alpin termasuk jenis baru yaitu D. elegans. Berdasarkan studi yang dilakukan, terdapat dua informasi baru untuk ciri marga Diplycosia. Pertama, benang sari teramati dimorfik pada beberapa jenis. Perbedaan bentuk terdapat pada ukuran dan bentuk dari tangkai dan kepala sari. Setelah ditelusuri, ciri ini tidak dapat digunakan untuk membedakan dengan marga terdekat Gaultheria. Kedua, bunga dengan bagian berkelipatan 6 juga berhasil diamati dari jenis Diplycosia di
Keyword: epifit, Ericaceae, jenis baru, Malesia timur, status konservasi, taksonomi

Judul: autonomous mobile robot menggunakan metode formal logika temporal linear
Abstrak: Logika temporal linear (LTL) dikontruksi dari formulasi logika tingkah laku sistem yang diharapkan dari waktu ke waktu secara linear. Dengan demikian jika pada bagian atau waktu tertentu terjadi kesalahan pada sistem, kesalahan itu dapat segera diantisipasi. Dalam hal ini penggunaan perencanaan logika temporal linear tidak hanya digunakan pada autonomous mobile robot untuk mencapai sebuah tujuan atau menghindari rintangan, tetapi juga untuk perangkaian, perluasan atau penugasan sementara (temporal ordering) pada sebuah rangkaian tugas yang berbeda dalam satu waktu. Dalam LTL untuk menghasilkan lintasan robot dilakukan tiga tahap tahap aktivitas, yaitu pendefinisan abstraksi diskrit pergerakan robot, perencanaan logika temporal menggunakan model checking, dan implementasi kontinu rencana diskret (continuous implementations of discrete plan).
Keyword: