Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 143647 dokumen yang sesuai dengan query
cover
Achmad Ridok
"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."
Depok: Universitas Indonesia, 1999
T-Pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
T.M.A. Noval Asril
"Telah dibuat suatu sistem data akusisi pada sistem telemetri dan monitoring posisi kereta api dan jalur relnya menggunakan sensor GPS (Global Positioning System) dan sensor akselerometer. Dengan kedua sensor tersebut dapat dimonitoring dan disimpan data-data berupa posisi, kecepatan dan arah serta data percepatan pada sumbu X, Y, dan Z. Data tersebut dapat dikirimkan dari RTU (Remote Terminal Unit) ke server menggunakan sarana SMS (Sort Message Service) yang kemudian dimonitor dengan grafik dislplay sebagai antarmuka dengan operator dan juga disimpan dalam logger.

Data acquisition has been made for train position data and its track by telemetry and monitoring system. The system bases on GPS (Global Positioning System) sensor and accelerometer sensor. Some data including position data, velocity and direction and also acceleration data in X, Y and Z axes can be monitored and logged. The data can be sent from RTU (Remote Terminal Unit) to server by SMS (Sort Message Service) and then can be monitored and logged too in server side."
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2007
T21249
UI - Tesis Membership  Universitas Indonesia Library
cover
cover
Sibarani, Evita Marlinang
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
S26978
UI - Skripsi Membership  Universitas Indonesia Library
cover
"Di dalam proses pembelajaran, seorang pengajar tentunya membutuhkan tolak ukur yang mengindikasikan tingkat penyerapan murid-muridnya atas proses belajar mengajar yang terjadi dengan melakukan ujian, baik dengan format pilihan ganda, isian singkat, maupun esai. Dari kesemua format yang ada, ujian esai lah yang dianggap paling mampu merepresentasikan tingkat pemahaman siswanya. Namun ujian esai tersebut memiliki keterbatasan di dalam penilaian ujiannya. Sementara itu. sistem penilaian yang menggunakan komputer sampai saat ini masih terbatas untuk ujian pilihan ganda. Oleh karena itu, pada skripsi ini akan dikembangkan sistem aplikasi penilaian esai otomatis dengan menggunakan metode penilaian Latent Semantic Analysis (LSA) yang berbasis web. Metode LSA dipilih karena dalam menilai ujian hanya menitikberatkan pada kata-kata yang terkandung di dalam tulisan tanpa memperhatikan karakteristik linguistiknya. Di dalam pengembangan sistem ini, program aplikasi sistem dibagi menjadi beberapa modul. Sedangkan untuk pengembangan keamanan sistem, diterapkan aplikasi session dan cookie agar akses ke dalam sistem lebih terkontrol serta teknik enkripsi SHA-1 pada password user agar password seseorang tidak dapat diketahui oleh siapapun. Pengujian kecepatan akses dilakukan pada sistem dengan tujuan untuk melihat tingkat performa dari sistem yang telah dibuat. Pengujian dilakukan dengan memvariasikan panjang jawaban, jumlah kata kunci, dan jumlah soal. Dari hasil pengujian didapatkan bahwa pengaruh jumlah kata kunci dan panjang kalimat jawaban terhadap kecepatan akses sistem adalah antara 4e pangkat -3 - 0,8 ms, sedangkan pertambahan sebuah soal pada satu ujian akan mengakibatkan pertambahan waktu akses sebesar 1 detik. Sedangkan implementasi peningkatan keamanan sistem telah berjalan dengan baik."
Fakultas Teknik Universitas Indonesia, 2006
S40742
UI - Skripsi Membership  Universitas Indonesia Library
cover
Agus Sasmito
"Pada tahun 2011 terjadi kerusakan struktur cross beam KMP3 AC Gajah Wong yang berfungsi untuk dudukan rem. Kereta Gajah Wong melayani rute Jakarta - Yogyakarta dan melewati 12 stasiun persinggahan. Tujuan riset ini adalah mengetahui penyebab kerusakan cross beam dengan analisa statik dan fatigue menggunakan ANSYS, berdasarkan hasil analisa kerusakan maka dibuat desain perbaikan dudukan rem dengan analisa finite elemen, dilanjutkan dengan seleksi material dan proses produksi dengan metode Ashby, hasil redisain kemudian divalidasi dengan uji eksperimental, dimana dimensi spesimen di skalakan menjadi setengah dari dimensi awal. Hasil analisa statik dan fatigue menggunakan ANSYS pada cross beam menunjukan bahwa beban akibat pengereman menyebabkan tegangan yang melebihi tegangan luluh dan tegangan ultimate material cross beam. Redisain pada cross beam menghasilkan struktur penguat baru yang lebih kokoh, seleksi material menghasilkan baja karbon dengan performa terbaik, ringan dan murah, sedangkan seleksi proses menghasilkan proses terbaik untuk memproduksi struktur penguat dudukan rem adalah konvensional machining. Hasil validasi eksperimental menunjukan bahwa tegangan yang terjadi saat uji mendekati tegangan hasil analisa finite elemen, dan tegangan yang terjadi pada spesimen maupun hasil analisa finite elemen masih dibawah tegangan maksimum ijin material, dengan demikian dudukan rem hasil redisain valid dan aman untuk digunakan.

In 2011 the cross beam structural of KMP3 AC Gajah Wong was failure, where this cross beam serves to brake mounting. Gajah Wong trains serve the Jakarta - Yogyakarta and over 12 transit stations. The purpose of this research was to determine the cause of the damage cross beam with static and fatigue analysis using ANSYS, based on the results of the damage analysis made ​​design improvements brake holder with finite element analysis, and then continued by the selection of material and selection of production process using ashby method, redesign results will be validated by experimental test , where the dimensions of the specimen scalling to half of its original dimension. Results of static and fatigue analysis using ANSYS on cross beam showed that the braking load causes the stress exceeds the yield stress and ultimate stress of cross beam material. Redesign of cross beam produce the new stronger structure, material selection produces carbon steel with the best performance, lightweight and cheap, and the best process is conventional machining. Experimental validation results showed that the stress occurs near the finite element stress analysis, and stress that occurs is below the maximum stress permits of material, so that the brake holder redesign results is valid and safe to use."
Depok: Fakultas Teknik Universitas Indonesia, 2013
T34831
UI - Tesis Membership  Universitas Indonesia Library
cover
Radityo Dwi Wicaksono
"ABSTRAK
Keakuratan data dan informasi menjadi salah satu faktor penting dalam pengiriman barang. Ketidakkonsistensi data dan informasi dapat menghambat pengiriman barang kepada konsumen yang dapat menimbulkan kerusakan barang ataupun denda dengan jumlah besar. Kerugian perusahaan pun tidak dapat dihindari.
RoadNet merupakan sistem informasi yang digunakan untuk mempercepat pengiriman barang dan mengurangi biaya kerugian yang muncul pada saat pengiriman barang dengan data pengiriman yang dihasilkan oleh Microsoft Dynamics Axapta. Fitur utamanya adalah kemampuannya untuk melihat tingkat kepadatan jalanan pada waktu yang ditentukan. Data hasil pengiriman akan dimasukkan kembali ke Microsoft Dynamics Axapta.
Rational Unified Process (RUP) merupakan sebuah metodologi yang sering digunakan dalam proses pengembangan perangkat lunak. Tiga sifat dasar RUP adalah Use Case and Risk Driven, Architecture Centric dan Iterative and Incremental. RUP bertujuan untuk memastikan bahwa perangkat lunak yang dihasilkan sesuai dengan kebutuhan dan apa yang dibutuhkan oleh end user dalam jadwal dan biaya yang telah diprediksi.
PT. Sewu Segar Nusantara (SSN) merupakan perusahaan yang bergerak pada bidang distribusi buah. Sebagai salah satu anak perusahaan dari PT. Gunung Sewu Kencana (GSK), SSN merupakan distributor buah-buahan yang dihasilkan oleh anak perusahaan GSK lainnya seperti PT. Great Giant Pineapple sebagai penghasil nanas dan PT. Nusantara Tropical Fruit sebagai penghasil pisang, papaya, kiwi, dan lain sebagainya. Inti bisnis dari SSN merupakan pengiriman buah, sehingga proses pengiriman buah-buahan dari gudang ke konsumen menjadi hal yang krusial. Selain permasalahan ketepatan waktu, kesegaran buah juga harus menjadi prioritas.
Karya akhir ini akan membahas mengenai spesifias Kebutuhan RoadNet dan integrasinya dengan Microsoft Dynamics Axapta pada perusahaan Sewu Segar Nusantara dengan menggunakan RUP sebagai metodologi pengembangan perangkat lunak.

ABSTRACT
The Accuracy of data and information are important things in the delivery of goods. Not to the consistency of data and information may hamper the delivery of goods to the consumer which can cause damage to the goods or the number of large fines. Companies's loss was unavoidable.
RoadNet is a information system that is used to speed up delivery and reduce damage cost because the delivery was late. RoadNet will use data from Microsoft Dynamics Axapta 2009 and send it back too. The main feature from RoadNet is to see the road's density at the specified time.
Rational Unified Process (RUP) is a methodology that is commonly used in the software development process. Three basic properties of RUP is Use Case and Risk Driven, Architecture Centric, and Iterative and Incremental. RUP aims to ensure the software that will be design by developer, according to the needs and required with user's requirement, in schedule and costs that have been predicted before.
PT. Sewu Segar Nusantara (SSN) is a company who engaged in the distribution of the fruit. As a subsidiary of PT. Gunung Sewu Kencana (GSK), SSN is a distributor of fruits that produced by the other subsidiaries from GSK, such as PT. Great Giant Pineapple as a producer of pineapple and PT. Nusantara Tropical Fruit as a producer of banana, papaya, kiwi, and many more. The business core from SSN is delivery of fruit to consumer or branch, so the delivery of fruit to consumer or branch becomes crucial. In addition to issues of timeliness, freshness fruit should also be a priority.
This thesis will discuss the development process RoadNet and integration with Microsoft Dynamics Axapta 2009 at PT. Sewu Segar Nusantara using the RUP methodology of software development.
"
2014
T-Pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
Stallings, William
Jakarta : Indeks, 2006
005.43 STA s
Buku Teks  Universitas Indonesia Library
cover
Manuhutu, H.R. Francky
"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."
1995
T-Pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
Kartika Chairunnisa
"Beberapa teknologi dikembangkan untuk mendukung utilisasi server yang lebih optimal, salah satu di antaranya adalah virtualisasi. Akan tetapi seiring dengan perkembangannya tersebut tentu menyisakan pertanyaan tentang seberapa besar tingkat keamanan dari virtualisasi. Ada beberapa teknik virtualisasi yang telah dikembangkan, diantaranya adalah Paravirtualization Hardware Virtual Machine (PVHVM) yang dikembangkan oleh Xen. Xen PVHVM menggabungkan masing- masing keunggulan dari Paravirtualization (PV) dan Hardware Virtual Machine (HVM). Skripsi ini membahas mengenai analisis keamanan teknik virtualisasi, khususnya mesin virtual pada Xen PVHVM jika dibandingkan dengan PV maupun HVM. Teknik virtualisasi PV akan diimplementasikan dengan menggunakan Xen dan teknik virtualisasi HVM diimplementasikan dengan Oracle VirtualBox. Kemudian sebagai tambahan, ketiga teknik virtualisasi tersebut juga dibandingkan dengan kondisi tanpa virtualisasi. Sistem pengujian dilakukan pada dua buah PC yang berfungsi sebagai host dan penyerang. Penyerangan dilakukan dengan DoS attack TCP SYN flood. Selanjutnya pengukuran kinerja dilakukan berdasarkan empat parameter benchmark yaitu CPU, memory, file I/O, dan bandwidth pada kondisi tanpa dan dengan penyerangan. Secara keseluruhan hasil penelitian menunjukkan bahwa ketahanan environment virtual pada saat terjadi serangan DoS tidak lebih baik daripada kondisi tanpa virtualisasi. Selain itu hasil benchmark kinerja Xen PVHVM menunjukkan tingkat degradasi yang lebih tinggi jika dibandingkan dengan PV, yaitu dengan rata-rata sebesar 24.43%. Namun keamanan Xen PVHVM terhadap DoS attack ini lebih unggul daripada HVM.

Various technologies have been developed to provide more optimize server utilization. One kind of them is virtualization. Meanwhile those developments appearently make some questions about how much the security level of virtualization. There are kind of virtualization techniques, such as Paravirtualization Hardware Virtual Machine (PVHVM) which developed by Xen. Xen developed PVHVM with combination of each advantage of Paravirtualization (PV) and Hardware Virtual Machine (HVM). This thesis explains the virtualization techniques security analysis, specifically the virtual machine on Xen PVHVM comparing with PV and HVM. Xen will be chosen to implement PV and Oracle VirtualBox will be chosen to implement HVM. Also for addition, those three techniques will be compared with unvirtualized system. This experiment implements two PCs as host and attacker. The attacker uses DoS attack TCP SYN flood. Then the performance test conducted based on four benchmark parameters, these are CPU, memory, file I/O, and bandwidth with and without attack condition. This experiment shows that the virtual environment doesn‟t provide better performance than unvirtualized system when it‟s attacked by DoS. Moreover, a Xen PVHVM benchmark result shows more degradation compared with PV by 24.43%. But fortunately it shows better result than HVM."
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2014
S55828
UI - Skripsi Membership  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>