Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 31030 dokumen yang sesuai dengan query
cover
"This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks. Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products. "
Switzerland: Springer Nature, 2019
e20506932
eBooks  Universitas Indonesia Library
cover
Ling, Dong, editor
"This book mainly discusses how to analyze and design cryptographic protocols based on the idea of system engineering and that of the trusted freshness component. A novel freshness principle based on the trusted freshness component is presented; this principle is the basis for an efficient and easy method for analyzing the security of cryptographic protocols. The reasoning results of the new approach, when compared with the security conditions, can either establish the correctness of a cryptographic protocol when the protocol is in fact correct, or identify the absence of the security properties, which leads the structure to construct attacks directly. Furthermore, based on the freshness principle, a belief multiset formalism is presented. This formalism’s efficiency, rigorousness, and the possibility of its automation are also presented."
Beijing: [Higher Education Press, ], 2012
e20409957
eBooks  Universitas Indonesia Library
cover
Spillers, William R.
New York: Pergamon Press, 1972
624.171 SPI a
Buku Teks  Universitas Indonesia Library
cover
Yulian Budi Saputra
"Gedung X adalah sebuah gedung Apartemen yang berlokasi dalam sebuah komplek mixed used yang terdiri dari 2 tahap pembangunan. Apartemen X telah serah terima kunci kepada pemilik pada tahun 2023. Seiring dengan beroperasinya Gedung Apartemen X banyak keluhan yang disampaikan oleh para pemilik unit kepada Manajemen Gedung terutama terkait dengan instalasi Mekanikal Elektrikal dan Plambing. Tujuan dari laporan ini adalah mengetahui penyebab terjadinya kerusakan instalasi Mekanikal Elektrikal dan Plambing dalam gedung Apartemen X. Fault Tree Analysis digunakan untuk mengevaluasi masing-masing kerusakan. Dari analisis yang dilakukan kerusakan yang paling banyak terjadi adalah kebocoran pipa plambing dan sanitary, MCB trip, dan juga fan mekanik yang tidak dapat beroperasi. Penyebab utama kerusakan yang terjadi karena kurang baiknya pekerjaan instalasi di saat periode konstruksi proyek dan juga kurangnya pengawasan selama periode kontruksi. laporan ini diharapkan dapat dijadikan sebuah referensi bagi pelaku konstruksi bangunan dalam meningkatkan baku mutu dan hasil pekerjaan yang baik dan sesuai standard.

Building X is an apartment building located within a mixed-use complex consisting of 2 phases of development. Apartment X was handed over to the owners in 2023. With the operation of Building X, many complaints have been raised by unit owners to the Building Management, especially concerning Mechanical, Electrical, and Plumbing installations. The purpose of this report is to identify the causes of damage to the Mechanical, Electrical, and Plumbing installations in Building X. Fault Tree Analysis is used to evaluate each damage. From the analysis conducted, the most common damages are plumbing and sanitary pipe leaks, MCB trips, and mechanical fans that fail to operate. The main causes of these damages are poor installation work during the project construction period and lack of supervision during the construction period. This report is expected to serve as a reference for building construction practitioners to improve quality standards and achieve good and standardized results.
"
Depok: Fakultas Teknik Universitas Indonesia, 2024
PR-PDF
UI - Tugas Akhir  Universitas Indonesia Library
cover
"Preventing fault attacks without sacrificing performance is nontrivial and this is the subject of this book. Part I deals with side-channel analysis and its relevance to fault attacks. The chapters in Part II cover fault analysis in secret key cryptography, with chapters on block ciphers, fault analysis of DES and AES, countermeasures for symmetric-key ciphers, and countermeasures against attacks on AES. Part III deals with fault analysis in public key cryptography, with chapters dedicated to classical RSA and RSA-CRT implementations, elliptic curve cryptosystems and countermeasures using fault detection, devices resilient to fault injection attacks, lattice-based fault attacks on signatures, and fault attacks on pairing-based cryptography. Part IV examines fault attacks on stream ciphers and how faults interact with countermeasures used to prevent power analysis attacks. Finally, Part V contains chapters that explain how fault attacks are implemented, with chapters on fault injection technologies for microprocessors, and fault injection and key retrieval experiments on a widely used evaluation board."
Berlin: Springer-Verlag, 2012
e20409533
eBooks  Universitas Indonesia Library
cover
Irma Anggraeni
"Defect yang terjadi berulang pada sebuah produk menandakan bahwa penyebab utama defect tersebut belum ditemukan, hal tersebut dapat mempengaruhi kualitas produk yang dihasilkan. Penelitian ini bertujuan untuk mengetahui akar penyebab terjadinya defect pada proses perakitan PCB. Untuk mengetahui akar penyebab permasalahan tersebut, digunakanlah metode Fault Tree Analysis, didukung dengan metode Process Attribute Chart dan Defect Analysis Matrix untuk mengarahkan fokus penelitian.
Penelitian menunjukkan bahwa penyebab utama terjadinya defect berasal dari peralatan atau Jig yang digunakan serta pengaturan parameter mesin yang tidak sesuai. Metode Fault Tree Analysis dapat menunjukan prioritas perbaikan yang dilakukan untuk mengurangi jumlah defect serta meningkatkan kualitas produk.

Defects that occur repeatedly on a product indicates that the main cause of the defect has not been found, it can affect the quality of product. This study aims to determine the root cause of the defect in the assembly process of PCB. To find the root cause, Fault Tree Analysis method is used, supported by Process Atributte Chart and Defect Analysis Matrix methods to direct the focus of research.
Research shows that the main cause of the defect are from the tools that used in process and machine parameter settings are not appropriate. Fault Tree Analysis method can indicate the priority improvements made to reduce the number of defects and improve quality of product.
"
Depok: Fakultas Teknik Universitas Indonesia, 2013
T35482
UI - Tesis Membership  Universitas Indonesia Library
cover
Prasenjit Chatterjee
"Selection of an automated inspection device for an explicit industrial application is one of the most challenging problems in the current manufacturing environment. It has become more and more complicated due to increasing complexity, advanced features and facilities that are endlessly being integrated into the devices by different manufacturers. Selection of inspection devices plays a significant role in a manufacturing system for cost effectiveness and improved productivity. This paper focuses on the application of a very popular Multi-Criteria Decision-Making (MCDM) tool, i.e. ELimination and Et Choice Translating REality (ELECTRE) for solving an automated inspection device selection problem in a discrete manufacturing environment. Using a sample case study from the published literature, this paper attempts to show how different variants of the ELECTRE method, namely ELECTRE II, IS, III, IV and TRI can be suitably applied in choosing the most efficient alternative that accounts for both the decision maker’s intervention and other technical elements. Using different ELECTRE methods, a list of all the possible choices from the best to the worst suitable devices is obtained while taking into account different selection attributes. The ranking performance of these methods is also compared with that of the past researchers."
Depok: Faculty of Engineering, Universitas Indonesia, 2014
UI-IJTECH 5:2 (2014)
Artikel Jurnal  Universitas Indonesia Library
cover
Geielen, George
Boston: Kluwer Academic, 1991
621.381 GIE s
Buku Teks  Universitas Indonesia Library
cover
Naiza Astri Wulandari
"Sistem Penilaian Esai Otomatis (Simple-O) telah dibuat menggunakan algoritma K-Means dan metode Latent Semantic Analysis (LSA). Jawaban karangan siswa pertama-tama akan diklasifikasikan ke dalam kelas-kelas sesuai dengan topik masing-masing nomor, dan akan memisahkannya dari jawaban siswa yang tidak sesuai konteks kemudian akan dilakukan proses LSA yang merepresentasikan kata ke dalam matriks, yang kemudian matriks direduksi menggunakan Singular Value Decomposition dan dilanjutkan dengan mencari norma frobenius yang merupakan nilai dari setiap soal. Pada penelitian ini dilakukan uji coba dengan menggunakan 4 skenario dan hasil penelitian SIMPLE-O menggunakan algoritma K-Means dan LSA menghasilkan akurasi rata-rata sebesar 74% yaitu hasil skenario pengujian 1

An Automatic Essay Assessment System (Simple-O) has been created using the K-Means algorithm and the Latent Semantic Analysis (LSA) method. Students' essay answers will first be classified into classes according to the topic of each number, and will separate them from student answers that do not fit the context then an LSA process will be carried out which represents the word into a matrix, which is then reduced by using Singular Value. Decomposition and continue by looking for the Frobenius norm which is the value of each question. In this study, trials were carried out using 4 scenarios and the results of the SIMPLE-O research using the K-Means and LSA algorithms produced an average accuracy of 74%, namely the results of the test scenario number 1."
Depok: FAkultas Teknik Universitas Indonesia, 2019
S-pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Arief Fachruddin
"Penelitian ini mengkaji kegagalan pemeliharaan pada AC Sentral. Ada 3 sub sistem dari AC sentral yaitu Cooling Water Supply, Air Handler, dan Chiller Water Supply. Dengan metode fault tree analysis, sub sistem tersebut di kontruksi menjadi fault tree. Fault tree ini yang di gunakan untuk mencari kombinasi kegagalan yang terjadi pada AC sentral. Fault tree ini juga di analisis menggunakan software openFTA untuk melihat probabilitas kegagalan pada AC sentral. Hasil penelitian menyarankan agar kegagalan komponen yang terjadi di sediakan sparepartnya agar perbaikan dapat dilakukan dengan cepat.

This study examines the failure of maintenance on Central AC. There are 3 subsystems of central air conditioning; those are Cooling Water Supply, Air Handler, and Chiller Water Supply. By using the method of fault tree analysis, sub-system is constructed to be a fault tree. Fault tree is used to find the combinations of failures that occurred in central air conditioning. Fault tree is analyzed by using openFTA software to view the probability of failure on central air conditioning. The results suggest that the company should provide some spareparts to fix the failure component quickly."
Depok: Fakultas Teknik Universitas Indonesia, 2010
S52116
UI - Skripsi Open  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>