Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 3924 dokumen yang sesuai dengan query
cover
I.S.W.B. Prasetya
"Teori komposisi komponen adalah dasar dari modularitas dalam pengembangan dan verifikasi perangkat lunak. Teori ini terutama digunakan untuk memberikan justifikasi formal untuk konsistensi kerja komponen-komponen yang mudah dipakai ulan (reusable). Hambatan terbesar dalam menyusun bukti formasil untuk komponen seperti itu adalah konsistensi perilakku temporal yang berhubungan dengan kemajuan (progress) sulit dijaga dalam konteks sistem terdistribusi atau paralel. Teori yang ada sifatnya terlalu umum dan tidak memberikan petunjuk yang jelas bagaimana cata memberikan batasan (constraint) kepada lingkungan (environment) sebuah komponen untuk menjadi konsistensi perilaku komponen tersebut di dalam sistem. Teori yang dikembangkan disini bersifat lebih terbatas dan sebagai imbalannya diperoleh hasil yang lebih kuat sehingga pada prakteknya akan lebih bermanfaat. Teroi ini merupakan pengembangan lebih lanjut dari teori serupa yang didasarkan pada mutulan exclusion. Walaupun dengan mutual exclusion bisa didapatkan hasil yang lebih kuat, banyak sistem di lapangan yang sikronisasinya tidak menganut prinsip ini. Contohnya sistem basis data terdistribusi. Versi yagn diberikan disini diharapkan bermanfaat untuk domain penerapan yang lebih luas."
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-I-1 Mei 2001-1
Artikel Jurnal  Universitas Indonesia Library
cover
cover
Keraf, Gorys
Jakarta: Yayasan Kanisius, 1980
808 Ker k
Buku Teks  Universitas Indonesia Library
cover
Keraf, Gorys
Jakarta: Yayasan Kanisius, 1980
808 Ker k
Buku Teks  Universitas Indonesia Library
cover
Keraf, Gorys
Jakarta: Yayasan Kanisius, 1980
808 Ker k
Buku Teks  Universitas Indonesia Library
cover
Keraf, Gorys
[place of publication not identified]: [publisher not identified], [date of publication not identified]
808 KER k
Buku Teks  Universitas Indonesia Library
cover
cover
Tengku Edo Nugraha Anshara
"Proses peleburan merupakan salah satu proses diatara, berbagai macam proses pabrikasi otomotif. Permasalahan yang sering dialami oleh industri yang menggunakan proses peleburan terutama peleburan alumunium adalah sifat dari alumunium yang reaktif sehingga pada temperatur tinggi cepat bereaksi dengan oksigen membentuk oksida disamping itu afinitas alumunium terhadap gas hidrogen pada temperatur tinggi cukup tinggi, sehingga dapat mengakibatkan timbulnya cacat porositas pada produk. Sedangkan pada temperatur penuangan yang rendah laju pembekuan alumunium menjadi tidak seragam dan mengakibatkan sifat mampu alirnya menjadi kurang baik, sehingga dapat menimbulkan cacat shrinkage pada produk. Penelitian ini memfokuskan pada pengaruh komposisi material umpan (300% ingot: 0% scrap, 60% ingot: 40% scrap, 50% ingot: 50% scrap, dan 40% ingot: 60% scrap), penambahan Grain refiner (0,05 % - 0,6%), dan penambahan modifier(0,001% -0,02%) terhadap nilai fluiditas dengan menggunakan variasi temperatur tuang (680_C, 700_C, 720_C, 735_C, dan 750_C) dari 2 ingot lokal alumunium tuang AC2B. Kemudian dilakukan pengujian SEM dan EDAX untuk melihat kadar dan jenis inklusi yang terdapat pada kedua ingot lokal (kondisi 100% ingot) dan juga pada scrap sebagai material tambahan dalam charging. Hasil penelitian ini menunjukkan bahwa untuk ingot A memiliki nilai fluiditas yang lebih tinggi jika dibandingkan dengan ingot B pada kondisi 100% ingot. Sedangkan rasio charging pada kedua ingot memiliki nilai fluiditas optimal yang berbeda-beda pada ingot A nilai fluiditas optimal berada pada komposisi 60% ingot (40% scrap) sedangkan pada ingot B nilai optimum fluiditas didapat pada komposisi 40% ingot (60% scrap). Pada penambahan grain refainer AlTiB dari kadar 0,05 - 0,8 %, dari kedua ingot nilai fluiditas optimum dicapai saat penambahan 0,6%.. Sedangkan penambahan modifier AlSr dari kadar 0,001 0,02 %, untuk ingot B nilai fluiditas optimum dicapai saat penambahan 0,01%. Sedangkan ingot A tidak memberikan pengaruh penambahan nilai fluiditas."
Depok: Fakultas Teknik Universitas Indonesia, 2006
S41696
UI - Skripsi Membership  Universitas Indonesia Library
cover
Fakultas Teknik Universitas Indonesia, 1990
S35468
UI - Skripsi Membership  Universitas Indonesia Library
cover
Budi Handoyo
"ABSTRAK
Pada saat ini banyak produk-produk barang dan logam dihasilkan dengan memanfaatkan sebagian kecil bahan bekas (skrap) sebagai bahan bakunya. ini diiakukan untuk menekan biaya produksi sehingga mampu bersaing di pasaran tanpa mengurang kreafitas produk yang dihasilkan. Namun ada beberapa produk barang yang dalam pembuatannya memanfaatkan sebagian besar atau bahkan seluruhnya berasal dan bahan bekas sebagai bahan bakunya. Umumnya, jika hal ini dilakukan, kualitas produk dan barang-barang tersebut masih jauh dan yang diharapkan.
Pada penelitian ini dilakukan beberapa upaya untuk meningkatkan kualitas produk terutama peningkatan kemampuan mekanisnya. Obyek penelitian berupa klem tank dan penggantung klem yang merupakan perlengkapan pegang kabel pada tiang-tiang listrik tegangan rendah. Upaya-upaya yang dilakukan adalah dengan melakukan pengendalian komposisi kimia dan perlakuan selain proses peleburan benangsung.
Dari hasil penelitian ini, terjadi peningkatan kemampuan mekanis sebesar 18%
untuk kekuatan tank maksimum (UTS), 38% untuk nilaia regangannya dan 7,2% untuk kekerasannya. Sedangkan untuk kekuatan tank fungsi kenaikan rata-rata sebesar 31%
pada pmduk pengganfung kfem dan 15,4% pada produk krem tank. Peningkatan ini diperoreh hanya dengan melakukan pengendalian komposisi kimia. Selanjutnya, bila diikuti dengan proses perlakuan selama peleburan, maka peningkatan mekanis yang terjadi sebesar 36% untuk UTS dan 114% untuk regangannya, sedangkan peningkatan nilai kekerasannya nanya 5,4%. Pada kekuatan tank fungsi peningkatan rata-rata sebesar 66% pada penggantung klem dan 28% untuk klem tank.

"
1996
S41228
UI - Skripsi Membership  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>