Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
Pengiriman data dari PC ke printer dengan media laser diperlukan konversi format data dari serial ke paralel atau dari paralel ke serial, oleh karena itu diperlukan suatu penyesuai (adapter) yang dapat mengerjakan hal tersebut, dimana adapter tersebut yaitu mikrokontroller. Fungsi mikrokontroller selain berfungsi sebagai adapter berfungsi pula sebagai pengatur dan pengendali proses pencetakan.

Mikrokontroller yang dipergunakan disini yaitu mikrokontroller AT89C5I yang mempunyai flash memori yang terdapat didalam chip tersebut. Modulasi yang dipergunakan yaitu modulasi On-Off Keying (00K).

Proses pencetakan berbasis DOS dilakukan langsung seperti yang terjadi pada media kabel, sedangkan aplikasi berbasis windows dicetak dalam bentuk file (print to file), selanjutnya dicetak dalam DOS prompt.

Abstrak :
Keberadaan perangkat lunak sebagai pengontrol suatu sistem, yang termasuk ke dalam kategori sistem tercangkok (embedded system) semakin meningkat, sejalan dengan pemanfaatan komputer dalam berbagai sektor kehidupan. Dalam sistem semacam itu, perangkat lunak ditempatkan pada sebuah atau beberapa komputer yang dihubungkan ke sensor-sensor dan aktuator-aktuator untuk mengontrol perilaku dari lingkungan sistem. Sistem tercangkok umumnya berinteraksi dengan lingkungannya secara terus-menerus sehingga disebut juga sistem reaktif (reactive system). Rica sistem tersebut diharapkan bereaksi dengan lingkungannya dalam batas waktu yang spesifik, sistem tersebut disebut sistem waktu nyata (real-time system). Contrail sistem terakhir adalah sistem pengatur lampu lalu lintas, sistem pengontrol pembakaran gas, dan pengontrol pintu perlintasan persimpangan rel kereta api dengan jalan raya. Sistem seperti ini harus memenuhi kriteria terpercaya (reliable); dalam arti, untuk menjamin keamanan sistem, waktu respon dari sistem terhadap lingkungannya hams sesuai dengan yang disyaratkan. Kegagalan sebuah sistem dalam merespon lingkungannya dapat menyebabkan terjadinya situasi kritis yang dapat berakibat fatal bagi manusia atau lingkungannya. Sistem seperti di atas harus dirancang dengan presisi yang cukup tinggi. Penggunaan bahasa alami dalam proses pengembangannya, terutama pada tahap analisis untuk menentukan persyaratan yang dibutuhkan oleh sistem, dapat menimbulkan pemyataan-pemyataan yang ambigu sehingga persyaratan-persyaratan maupun spesifikasi sistem kurang terekspresikan secara akurat. Salah satu teknik untuk mengembangkan perangkat lunak yang diharapkan memenuhi kriteria terpercaya adalah metoda formal. Terminologi 'metoda formal' menggambarkan suatu deskripsi umum dari penggunaan konsep matematika seperti logika dan teori himpunan untuk menggambarkan spesifikasi dan rancangan perangkat lunak beserta teknik-teknik validasi dan verifikasinya. ide dasar dari metode formal adalah menyediakan bahasa spesifikasi yang tidak ambigu untuk tahap perancangan selama pengembangan sistem sedemikian sehingga rancangan dapat dijustifikasi melalui langkah-langkah pembuktian formal [Franz96]. Bahasa spesifikasi tersebut biasanya terdiri dari tiga komponen utama, yaitu: Sintaks Semantik Himpunan relasi yang mendefinisikan aturan-aturan yang menunjukkan objek-objek yang pantas memenuhi spesifikasi tersebut. Dengan menggunakan matematika sebagai kerangka dalam perancangan sistem, ide-ide yang ada dapat diformulasikan dengan lebih tepat, sehingga sistem yang lebih terpercaya dapat dihasilkan. Salah satu formalisasi sistem seperti di atas adalah Duration Calculus (atau disingkat DC) [Zho93, 71-IR91, ZHR92]. DC dikembangkan pertama kali oleh C. Thou, C.AR. Hoare, dan AP. Ravn sekitar tahun 1991. Dalam DC, waktu dimodelkan sebagai bilangan nyata atau real (R), dan keadaan sebuah sistem dimodelkan oleh sejumlah variabel state. Setiap variabel state memiliki nilai Boolean yang direpresentasikan sebagai (0,1). Pada dasamya, variabel state yang bernilai deskrit dapat dimodelkan oleh sekelompok -variabel Boolean. Keadaan sebuah variabel state dari waktu ke waktu dimodelkan oleh sebuah step function dengan domain R dan range {0,1 }. Dengan melakukan integrasi terhadap sebuah step function dalam interval waktu tertentu, kits bisa mendapatkan total durasi di mana variabel state yang dimodelkan oleh fungsi tersebut berada dalam keadaan true (1). Teknik integrasi banyak digunakan dalam DC untuk menggambarkan persyaratan dan rancangan sistem-sistem yang kritis terhadap waktu (time-critical systems), tanpa menyebutkan waktu absolut secara eksplisit. Dalam penelitian ini dilakukan eksperimen untuk melihat bagaimana metode ini diterapkan untuk masalah aktual, yaitu dengan mencoba melakukan perancangan sistem pada suatu studi kasus.

Abstrak :
ABSTRAK
Dalam rangka peningkatan kinerja komputer, makin menurunnya harga IC --termasuk harga prosesor -- membuat penerapan operasi paralel dengan menggunakan banyak prosesor menjadi pilihan yang makin menarik. Untuk dapat memanfaatkan komputer paralel secara efektif dibutuhkan pengetahuan tentang kinerja komputer yang bersangkutan. Karena itu, penelitian untuk mempelajari kinerja sistem komputer paralel menjadi penting. Tesis ini berusaha untuk mengukur kinerja sistem komputer paralel TransPAU UI untuk program-program numerik dan nonnumerik. Program-program numerik yang diteliti adalah perkalian matriks, untuk ukuran baris dan kolom 200 x 200, 100 x 100 dan 75 x 75, sedangkan program-program non-numerik yang diteliti adalah pengurutan data (sorting), dengan ukuran 40.000, 20.000 dan 10.000 data. Penelitian dilakukan untuk data bertipe integer dan float, dengan menggunakan 1, 2, 4, 6 dan 8 prosesor (transputer). Untuk 4, 6 dan 8 prosesor digunakan berbagai cara komunikasi, dengan tujuan untuk mendapatkan cara komunikasi yang memberikan speedup yang maksimal.

Abstrak :
ABSTRAK
Transaksi yang melibatkan pemakaian data tersebar lebih sulit ditangani daripada transaksi yang melibatkan data terpusat.

Protokol 3-phase-commit merupakan aturan yang digunakan didalam menangani transaksi yang melibatkan data tersebar. Pada protokol ini terdapat suatu komputer yang bertugas sebagai koordinalor guna mengkoordinasi komputer-komputer lain yang menjalankan proses partisipan. Komputer-komputer ini dapat mengalami kerusakan (crash). Kerusakan pada sisi koordinator dapat menghentikan jalannya transaksi. Transaksi dapat diteruskan setelah terpilih koordinator baru, oleh karena itu digunakan metode pemilihan (election), yaitu metode yang digunakan untuk mencari komputer yang akan menjadi koordinator baru bilamana koordinator lama mengalami kerusakan.

Dalam tesis ini penulis membandingkan rnetode pemilihan bully dengan. metode pemilihan, sisten\ pool khususnya dalam hal waktu eksekusi yang digunakan kedua metode. Kedua metode mencari komputer yang akan menjalankan koordinator yang baru diantara komputer yang menjalankan partisipan yang terlibat pada transaksi yang mengalami gangguan. Pencarian koordinator baru pada metode bully' hanya melibackan komputer yang menjalankan partisipan, sedangkan metode sistem pool melibatkan juga komputer lain yang bertugas sebagai sistem pool dan yang bertugas menjalankan proses pemilihan koordinator baru. Dari hasil eksekusi kedua metode pada'workstation SUNSPARC 1+ berbasis UNIX, dengan banyak partisipan dari 2 sampai 7 diperoleh hasil bahwa metode sistem pool membutuhkan waktu lebih lama dengan kompleksitas O(n2) daripada metode bully dengan kompleksitas O(n).

Rancangan metode sistem pool menguntungkan metode ini daripada metode bully. Keuntungan ini terjadi bilamana identitas transaksi telah digunakan sebelumnya. Pada metode sistem pool, koordinator akan langsung membatalkan transaksi setelah mengetahui terjadi duplikasi identitas. Sedangkan pada metode bully transaksi dipecah menjadi subtransaksi-subtransaksi dan dilakukan pengiriman data Subtransaksi ke partisipan, kemudian_pengeCekan identitas transaksi dilakukan pada partisipan. Pembatalan transaksi pada metode bully akan melalui tahap-tahap prepare-abort-globalabort-complete yang cukup banyak menggunakan sumber daya disk, CPU dan waktu.

Abstrak :
Kemacetan lalu-lintas merupakan masalah utama DKI Jakarta. Busway (BRT), monorail (LRT), dan subway (MRT) adalah moda transportasi masal yang sangat efektif untuk diterapkan dalam mengatasi masalah ini. Monorel memiliki keunggulan dalam hal ketepatan jadual keberangkatan dan daya angkut bila dibandingkan dengan busway, dan memerlukan investasi pembangunan yang lebih murah bila dibandingkan dengan MRT. Untuk menjawab tantangan ini, diperlukan perancangan dan pengembangan monorel yang mencakup struktur, traksi (sistem motor), dan bogie. Dalam penelitian ini akan difokuskan pada bogie, yaitu mempelajari kekuatan struktur bogie terhadap pembebanan maksimum dengan menggunakan analisa elemen hingga. Telah dilakukan analisa kekuatan statik dan fatik pada struktur bogie. Telah dilakukan peningkatan kekuatan struktur bogie agar mampu mencapai kriteria desain umur tak-hingga. Telah dilakukan verifikasi terhadap hasil yang didapat dengan menggunakan tes kualitas model, tes kualitas contact, tes redundancy, tes kualitas elemen, tes konvergensi, dan tes biaxiality. Didapatkan bahwa data hasil solusi adalah valid. Telah dicapai kekuatan struktur bogie optimum yang memiliki umur fatik lebih besar dari 107 siklus (tak-hingga) berdasarkan teori Gerber. Diperlukan penggantian model konstruksi, dan atau pemilihan material baru, untuk keperluan peningkatan lebih lanjut. ......Traffic jam is a major problem in Jakarta. Bus way (BRT), monorail (LRT) and subway (MRT) are mass transportation modes that are very effective to be applied to solve this problem. Monorail has advantages in terms of departure schedule accuracy and transport capacity if compared with bus way, and it requires less development investment if compared with MRT. To answer this challenging task, it needs the design and development of the monorail which includes structure, traction systems (motor systems), and bogie. This research will be focused on the bogie, and the purpose is to study the bogie's structural strength against its maximum loading by using finite element analysis. Bogie's structural static and fatigue strength analysis have been done. Bogie's structural strength improvements have been carried out so that infinite life design criteria can be reached according to Gerber's theory. The obtained results have been verified by using model quality test, contact quality test, redundancy test, elements quality test, biaxiality test, and convergence test; and valid solution result data have been gained. Optimum solution results at bogie's structure after structural strength improvements have been performed. For further improvement, construction model modification, and or new materials selection, are needed.