Hasil Pencarian  ::  Simpan CSV :: Kembali

"ABSTRAKTanah longsor merupakan bencana yang sering terjadi di Indonesia. Oleh karena itu dibentuk sebuah sistem pendeteksian dini tanah longsor menggunakan Wireless Sensor Network. Penelitian ini menghasilkan prototype piranti lunak sebagai bagian dari sistem tersebut. Prototype dibuat untuk membantu visualisasi dan memonitor kondisi tanah serta air dalam tanah. Prototype piranti lunak dibuat dalam bahasa C++ dan telah diuji dalam platform Linux dan Windows. Hasil pengembangan menunjukkan bahwa prototype piranti lunak telah dapat membantu pengguna dalam menganalisa akan kemungkinan terjadinya tanah longsor. Tugas akhir ini membahas prototype pada tahap perancangan, pengembangan, dan pengujian.

---

ABSTRACTLandslides are a common disaster in Indonesia. We establish a system of early detection of landslides using Wireless Sensor Network. This study produced a software prototype as a part of the system. The prototype is created to help visualize and monitor the condition of land and groundwater. The prototype is created in C + + language and has been tested in Linux and Windows platforms. The results showed that the development of prototype software has been able to assist users in analyzing the possible occurrence of landslides. This thesis discusses the prototype at the stage of designing, developing, and testing."

"Metode B adalah metode formal yang digunakan dalam pengembangan piranti lunak mulai dari membuat spesifikasi, merancang, dan membuat kode program. Pengembangan piranti lunak dengan metode B dilakukan dengan cara mengubah spesifikasi formal yang masih abstrak menjadi lebih kongkrit. Proses ini dilakukan dengan menambahkan detil sedikit demi sedikit kedalam spesifikasi sehingga pada akhirnya menjadi spesifikasi yang dapat diterjemahkan langsung menjadi program komputer. Proses yang mengubah spesifikasi menjadi lebih kongkrit ini disebut dengan refinement. Pelaksanaan Tugas Akhir ini bertujuan untuk menelaah pengembangan spesifikasi, refinement, dan verifikasi dengan menggunakan metode B. Spesifikasi formal yang dikembangkan adalah spesifikasi suatu sistem informasi bongkar-muat barang. Spesifikasi tersebut dikembangkan sesuai dengan deskripsi Container Station yang diajukan oleh Elena Troubytsna. Alat bantu pengembangan yang digunakan adalah Atelier B.Pengembangan Container Station diawali dengan menerjemahkan deskripsi ke dalam mesin abstrak ContainerStation. Mesin tersebut mengalami refinement hingga mesin implementasi dengan urutan: (1) ContainerStation, (2) ContainerStationR, (3) ContainerStationRIm. Beberapa variabel abstrak dalam ContainerStationR akan membuat detil implementasi dan bentuk proof obligation dalam Container Station RIm menjadi lebih rumit, jika variabel tersebut langsung diimplementasi kan dengan struktur data yang disediakan Atelier B. Hal ini diatasi dengan membangun mesin lain, CART FUNCTION dan CART SET, untuk merepresentasikan struktur data yang sesuai dengan variabel - variabel tersebut. Verifikasi terhadap mesin-mesin yang dikembang kan dilakukan dengan membuktikan proof obligations dari mesin-mesin tersebut. Pembuktian proof obligations dilakukan secara otomatis dan interaktif dengan menggunakan Atelier B. Dalam pembuktian interaktif, dikembangkan beberapa user theory untuk menyederhanakan proses pembuktian. Mesin CART FUNCTION dan CART SET berhasil dibuktikan dan dibangkitkan kode programnya dalam bahasa C. Pengembangan ContainerStationRIm terhambat pada pembuktian beberapa proof obligations yang cukup kompleks."

"Skripsi ini menganalisa tentang perhitungan cooling load dengan menggunakan metode CLTD. Gedung yang digunakan dalam perhitungan merupakan suatu kasus di suatu lokasi tertentu dan dipindahkan ke lokasi Jakarta serta telah memiliki data-data lengkap. Selain itu skripsi ini juga menjelaskan tentang proses simulasi software DIALux. Software ini dapat memvisualisasikan pencahayaan pada suatu ruangan. Hasil analisa perhitungan menunjukan bahwa metode CLTD cukup baik untuk digunakan karena langkah-langkah dari metode tersebut sangat detail. Selain itu dari analisa didapatkan faktor-faktor yang sangat mempengaruhi naiknya cooling load diantaranya panas dari matahari, infiltrasi, dan pencahayaan serta didapatkan juga visualisasi pencahayaan pada suatu ruangan, sebagai hasil dari simulasi software DIALux.

---

This research analyzes on cooling load calculation using CLTD method. The building used in the calculation of a case in a particular location and moved to a location of Jakarta and has had complete data. In addition this paper also describes the simulation process DIALux software. This software can visualize the lighting in a room.

Analysis results showed that the method of calculation cltd good enough to be used as the steps of the method are very detailed. In addition, from the analysis found the factors that influence the increase cooling load include heat from the sun, infiltration, and lighting as well as lighting visualization is also available in a room, as a result of the simulation software DIALux."

"Perkembangan teknologi informasi yang semakin pesat membuat komputer semakin banyak digunakan sebagai alat bantu dalam menjalankan kegiatan industri dan bisnis. Piranti lunak yang digunakan oleh komputer memegang peranan yang sangat penting. Jika penggunaan piranti lunak tersebut menghasilkan galat (error), maka dunia industri atau bisnis tersebut dapat mengalami kerugian. Untuk menjamin bahwa piranti lunak tersebut bebas dari galat, maka pengembangan piranti lunak tersebut dapat dilakukan dengan menggunakan metode B. Metode B adalah suatu metodologi formal yang digunakan dalam pengembangan piranti lunak, mulai dari spesifikasi sampai dengan implementasi piranti lunak. Dari suatu spesifikasi awal yang bersifat abstrak dan modular, akan dilakukan beberapa tahap refinement sampai mencapai suatu model yang lebih konkrit, yang merupakan kode programnya. Spesifikasi awal tersebut dikembangkan secara matematik sesuai dengan spesifikasi awalnya, sehingga kebenaran piranti lunak tersebut dapat dijamin. Fokus pada tugas akhir ini adalah menelaah refinement dengan metode B dan menerapkannya terhadap suatu studi kasus aplikasi perbankan yang diajukan oleh Martin B¨uchi. Penerapan metode B ini menggunakan alat bantu Atelier B. Hasil penerapan refinement dengan metode B pada studi kasus aplikasi perbankan itu menguatkan bahwa penerapan metodologi formal pada suatu aplikasi dapat menjamin kebenaran aplikasi tersebut. Walaupun penerapan refinement dengan metode B membutuhkan lebih banyak biaya, aplikasi yang dihasilkan dapat dijamin bebas dari galat yang dapat mengakibatkan kerugian besar."