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: 

Judul: Formalisasi Navigasi Mobile Robot (Studi Kasus Robot KRCI FATETA IPB 2006)
Abstrak: Penelitian tesis ini dilatarbelakangi oleh kebutuhan rancangan kendali navigasi robot pada robot KRCI (Kontes Robot Cerdas Indonesia) 2006 milik Team AERS (Agricultural Engineering Robotic Squad) dari Fakultas Teknik Pertanian (FATETA) Institut Pertanian Bogor (IPB) yang diselenggarakan di Balairung Universitas Indonesia di Depok pada bulan Juni 2006. Kendala team robot yang saat itu adalah tidak memiliki konsep yang baik dalam memformulasikan sistem navigasi robotnya. Robot yang dibuat saat itu hanya merespon untuk menghindari halangan (obstacle avoidance) tanpa memperhatikan tata ruang lingkungannya (environment map). Akibatnya sangat mungkin robot tidak dapat kembali ke tempat semula, atau terdapat ruangan yang belum dikunjungi, atau terdapat ruangan yang dikunjungi lebih dari 1 (satu) kali. Kelemahan ini disebabkan tidak adanya formulasi navigasi dalam disain robot tersebut. Inspirasi penelitian ini adalah mencoba menemukan formulasi sistem navigasi robot yang akurat, dengan terlebih dahulu mendeskripsikan sistem secara informal, merumuskan spesifikasi sistem secara formal dengan menggunakan bahasa spesifikasi Linear Temporal Logic (LTL), melakukan verifikasi sistem dengan menggunakan perangkat lunak pembanguan prototipe MOBOTSIM Versi 1.0.03, dan akhirnya menghasilkan sebuah prototipe sistem navigasi mobile robot yang dapat direkomendasikan untuk dipergunakan pada KRCI 2007 atau sesudahnya. Akhirnya hasil penelitian ini diharapkan dapat membuktikan bahwa melalui eksperimen pada prototipe, bahasa spesifikasi formal LTL dapat digunakan untuk merumuskan sistem navigasi mobile robot pada studi kasus KRCI 2006 dengan baik.
Keyword: 

Judul: Profil Imunoglobulin G Pada Kambing Peranakan Etawah Bunting Yang Diberi Mineral Zink (Zn).
Abstrak: Penelitian ini bertujuan untuk mengetahui efek suplementasi mineral Zn terhadap profil imunoglobulin G (IgG) pada kambing Peranakan Etawah (PE) bunting periode sekitar partus. Penelitian ini menggunakan lima belas ekor kambing umur tiga sampai enam tahun, dengan bobot badan 30 sampai 50 kg. Induk kambing dibagi ke dalam tiga kelompok perlakuan, masing-masing terdiri atas 5 ekor. Kelompok Zn40 (kontrol) diberi pakan mengandung Zn 40 ppm, kelompok Zn60 mengandung Zn 60 ppm, dan kelompok Zn80 mengandung Zn 80 ppm. Pengambilan sampel darah dilakukan pada vena jugularis setiap dua minggu, mulai umur kebuntingan dua belas minggu sampai dengan delapan minggu setelah partus untuk dilakukan analisis terhadap konsentrasi IgG. Analisis konsentrasi IgG dilakukan menggunakan teknik Enzyme Linked Immunosorbent Assay (ELISA) metode kompetitif. Hasil penelitian menunjukkan bahwa tidak ada perbedaan yang nyata (P>0,05) antar kelompok perlakuan maupun waktu kebuntingan. Namun demikian, terdapat kecenderungan menurunnya konsentrasi IgG pada kelompok Zn40 dan Zn80 pada periode kebuntingan hingga partus, sedangkan pada kelompok Zn60 memperlihatkan konsentrasi IgG yang relatif stabil sepanjang pengamatan. Suplementasi Zn 60 ppm memperlihatkan konsentrasi IgG yang lebih tinggi dibandingkan dengan suplementasi Zn 80 ppm. Suplementasi Zn dalam pakan pada periode kebuntingan dan awal laktasi perlu dilakukan untuk meningkatkan sistem kekebalan tubuh.
Keyword: IgG, peranakan etawah, periparturien, zink