Hasil Pencarian  ::  Simpan CSV :: Kembali

"Laporan tugas akhir ini membahas bagaimana cara membuat suatu system distribusi air bersih dengan kontrol elektro mekanis. Hal ini sangat penting karena air bersih merupakan suatu kebutuhan dasar yang menunjang seluruh aktifitas manuasia yang saat ini sudah sangat sulit untuk ditemukan dikota ? kota besar. Oleh karena itu diperlukan suatu sistem yang bisa mengatur distribusi air bersih sehingga pemanfaatannya bisa dilakukan secara efisien. Dengan sistem disribusi air bersih ini diharapkan bisa menjaga kestabilan alam ( siklus air ) dan bias menekan biaya untuk penggunaan air bersih.

---

This final job report is studying about how to planning a clean water distribution system with electro mechanic control. This is very important because clean water is a primary requirement that support all human activity that very difficult to find in big cities at this time. Therefore it is need system that can arrange clean water distribution so that we can use it efficiently. We hope with this clean water distribution system we can take care with nature stability ( water cycle ) and can save our money for clean water consumtion."

"ABSTRACT

Pressure vessel is a kind of plant equipment, which has a wide function to support the industrial process.The increasing of economic growth, causing the increasing demand of industrial equipment including pressure vessel Thus many of the pressure vessel manufacturer have been developed recently.

Therefore to have the competitive advantage in the global market, a just in time production cost calculation of pressure vessel are the most important matter. One of the factor which have a significant effect in the calculation of cost is the requirement of operation time or man-hour, because calculation of operation time is more accurate to reduce either losses or error in the prediction of delivery time.

The study, analyze the purpose to get of the operation time planning on the pressure vessel's main element. This has been done by a linear regression the with least square method, and the results of liberalization become a basic parameter to calculate the manufacturing cost

The operation time, which has been determined from the model, is very close to the reality. The production cost based on the model approach, is also in a good approximation comparing to the real production cost.

---

ABSTRAKBejana tekan (pressure vessel) adalah salah satu jenis peralatan pabrik yang mempunyai fungsi yang sangat luas dalam menunjang proses industri.Dalam perkembangan ekonomi pada era industrialisasi dewasa ini, permintaan akan kebutuhan pressure vessel semaldn meningkat. Hal tersebut menyebabkan banyak berdirinya industri manufaktur pressure vessel.Agar pressure vessel yang dihasilkan mempunyai daya saing di pasar global, maka ketelitian dalam menghitung kebutuhan biaya produksi merupakan hal yang paling pokok agar bisa unggul dalam daya saing tersebut. Dalam menghitung biaya produksi, salah satu faktor yang berperan adalah waktu operasi atau jumlah jam kerja orang (manhour) yang dibutuhkan, karena dengan lebih telitinya perhitungan waktu operasi akan mengurangi kerugian maupun keterlambatan dari delivery time.Pada penelitian ini dibahas, analisa untuk mendapatkan target waktu operasi dari elemen-elemen utama pressure vessel melalui regresi linear dari metoda kuadrat terkecil, kemudian inl dipakai sebagai dasar untuk menghitung estimasi biaya (cost estimation) dari biaya produksi (manufacturing cost).Dari hasil analisa didapatkan bahwa waktu operasi yang dihitung dengan analisa model akan mendekati waktu operasi yang sebenamya (realisasi) dari fabrikasi dan jugs biaya produksi berdasarkan waktu operasi Bari model tersebut, dapat mendekati biaya produksi yang sebenarnya."

"Penelitian pendahuluan ini mempunyai tujuan untuk menghasilkan formalisasi sebagian dari teori graph. Graph merupakan ilmu yang cakupannya luas dan mempunyai banyak aplikasi. Akan tetapi, di dalam pustaka sistem HOL belum terdapat teori graph yang formal. Penyusunan formalisasi diawali dengan studi literatur mengenai sistem HOL, kemudian dilanjutkan dengan eksperimen-eksperimen. Terdapat enam buah eksperimen yang dilakukan secara bertahap. Eksperimen pertama berupa eksperimen menggunakan pustaka HOL. Eksperimen kedua berupa eksperimen memformalisasikan teori gcd yang kemudian memberikan pengetahuan mengenai bentuk formalisasi teori. Eksperimen ketiga menghasilkan struktur data untuk teori graph dan sebuah definisi dari teori graph. Eksperimen keempat menjelaskan beberapa contoh pembuktian menggunakan Taktik yang membantu terbentuknya formalisasi teori graph. Eksperimen kelima dan keenam memaparkan hal-hal yang perlu diperhatikan dari definisi-definisi dan teorema informal dari teori graph. Hasil dari penelitian ini adalah formalisasi dari sebagian teori graph yang dinyatakan dalam 21 definisi penting, 6 definisi umum, 28 definisi bantuan, 3 definisi tanggung, dan 1 teorema. Selain itu, dihasilkan juga pedoman pembuktian menggunakan Taktik dalam sistem HOL.This preliminary research has a goal to produce a formalization of part of graph theory. Graph has been known widely and has many applications. However, a formalization of graph theory has not been implemented in HOL system?s library. This work begins with studying literature about HOL system, then continued with several experiments. There are six experiments. The first experiment is using HOL?s library. The second experiment is formalization on GCD theory, which then elaborates the basic form of formalization. The third experiment produces data structures for graph theory and one definition of graph theory. The fourth experiment describes several proofing examples using Tactic that help make a formalization on graph theory. The fifth and sixth experiments explain things to note from the informal definitions and theorems of graph theory. The result from this research is a formalization of part of graph theory that stated in 21 important definitions, 6 general definitions, 28 helper definitions, 3 pseudo definitions, and 1 theorems. In addition, proofing guidance using Tactic in HOL system also be produced."