Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :

In-Line Inspection (ILI) merupakan salah satu metode asesmen pipa dalam manajemen integritas pipa di industri minyak dan gas (migas) menggunakan alat ILI Pipeline Inspection Gauge (PIG). Akan tetapi, persiapan dan operasi PIG sangat mahal dan rumit, serta jaringan pipa yang bisa dilewati terbatas karena sistem gerak yang dimiliki. In-Line Pipe Inspection Robot (IPIR) adalah perkembangan terbaru alat ILI dengan mengimplementasikan teknologi robot kepada sistem gerak dan teknologi inspeksi alat untuk mengurangi kelemahan PIG. Karena IPIR merupakan teknologi yang relatif baru perkembangan yang diberikan belum dipertimbangkan mengikuti standar inspeksi pipa sehingga belum diketahui bisa menjadi alternatif PIG yang dapat digunakan dalam industri migas. Oleh karena itu, penelitian ini menelusuri standar dan persyaratan lain aspek industri yang dapat dikaitkan dengan IPIR termasuk standar ILI, persyaratan desain dan operasi pipa yang merupakan tempat operasi alat ILI, dan peran IPIR sebagai kendaraan otomatis pembawa beban yaitu teknologi inspeksi dalam pipa. Hasil penelusuran standar berupa daftar spesifikasi IPIR termasuk persyaratan kapabilitas alat dalam melakukan inspeksi kondisi pipa dan persyaratan desain dan operasi alat dalam melakukan operasi dalam pipa. ......In-Line Inspection (ILI) is one of the pipeline assessment methods in pipeline integrity management in the oil and gas industry using the ILI tool Pipeline Inspection Gauge (PIG). However, the preparation and operation of PIG is extremely costly and complex, and the type of pipeline that can be passed is limited due to its locomotion system. In-Line Pipe Inspection Robot (IPIR) is the latest development of ILI tool by implementing robot technology to the motion system and inspection tool technology to reduce the weakness of the PIG. Because IPIR is a relatively new technology, its development has not been considered to follow pipe inspection standards, so it is not yet acknowledged to be an alternative PIG that can be utilized in the oil and gas industry. This study therefore explores the standards and other requirements that can be related to IPIR including standards for ILI, design and operation requirements for the pipeline where the ILI tool operates, and the role of IPIR as a load-carrying automated vehicle with the pipeline inspection technology instrument as the load. The results of this exploration of standards are a list of IPIR specifications including the tool capability requirements in performing pipeline condition inspections and the tool design and operation requirements in conducting operations inside a pipeline.

Abstrak :
Buku yang berjudul "Building codes illustrated" ini ditulis oleh Francis D. K. Ching dan Steven R Winkel. Buku ini membahas tentang kode-kode bangunan.

Abstrak :
Through this research have earned to be identified by potency irrigate and potency of Desa Datar and its surroundings which is in this village compotent wake up of systems Power Station of Hydro Micro Energy......

Abstrak :
Dewasa ini proses pembuatan spesifikasi dan verifikasi perangkat lunak kurang begitu diperhatikan. Para pengembang sekarang ini lebih fokus kepada hasil akhir tanpa memperhatikan segala kemungkinan-kemungkinan yang tidak baik di kemudian hari. Proses pembuatan spesifikasi dan verifikasi-lah yang dapat menghindarkan pengguna perangkat lunak akibat kerugian yang akan ditanggungnya saat perangkat lunak tersebut mengalami kerusakan. Kerugian akibat kerusakan ini dibedakan menjadi dua yaitu kerugian langsung akibat rusaknya perangkat lunak tersebut dan kerugian biaya perbaikan perangkat lunak tersebut. Lingu dan LinguSQL adalah suatu jawaban atas kebutuhan dukungan terhadap proses pembuatan spesifikasi dan verifikasi. Lingu yang merupakan bahasa spesifikasi, dapat digunakan untuk spesifikasi perangkat lunak yang dikhususkan pada aplikasi transaksi basis data. Sementara itu, LinguSQL adalah suatu alat verifikasi bahasa Lingu dengan berbantukan theorem prover HOL. Selain melakukan verifikasi LinguSQL juga dapat mentransformasikan bahasa Lingu menjadi bahasa Java. Dalam tugas akhir ini akan digunakan studi kasus aplikasi perbankan dalam melakukan pembuatan spesifikasi dan pelaksanaan verifikasi terhadap perangkat lunak tersebut. Proses pembuatan spesifikasi dan verifikasi ini dijalankan dengan menggunakan Lingu dan LinguSQL. Setelah kegiatan tersebut dilakukan, selanjutnya proses pembuatan spesifikasi dan verifikasi yang dijalankan dengan menggunakan Lingu akan dibandingkan dengan Metode-B. Metode-B adalah bahasa spesifikasi yang sudah umum digunakan dalam melaksanakan proses pembuatan spesifikasi dan verifikasi terhadap perangkat lunak. Hasil dari tugas akhir ini adalah kesimpulan tentang perbandingan antara Lingu dan LinguSQL dengan Metode-B dan Atelier-B. Dalam penelitian ini disimpulkan bahwa Lingu mempunyai fasilitas dukungan terhadap aplikasi basis data. Selain itu, Metode-B didapatkan juga terjamin handal untuk melakukan refinement terhadap suatu perangkat lunak.

---

Nowadays, software specification and verification process is still lacking. Recent developers turn focus more to result without emphasizing any negative possibilities that could be occured next time. However, specification and verification process is able to minimize software failure so that a financial loss caused by either missing functionality or software alteration cost can be reduced. Lingu and Lingu SQL provide support for specification and verification process. Lingu is specification language for database transaction aplication purpose, while LinguSQL is Lingu's verification tool assisted by HOL theorem prover. In addition, LinguSQL transforms Lingu into Java programming language. Research reported here used banking case study. Specification and verification process was run by using Lingu and LinguSQL. Then, result of this process was compared with similar one that had been executed by B-Metode, a previous research by Theresia (2005). This final assignment produces a conclusion of the comparison between Lingu and B-method. Through this research, we conclude that Lingu has a supporting facility for an application that use database. Beside that, we also found that B-method is absolutely reliable for doing refinement on software.

Abstrak :
[ABSTRAK
Pada umumnya mahasiswa menunjukkan optimisme yang tinggi, dimana mereka meyakini bahwa hasil yang baik akan diperoleh setelah menjalani kehidupan perkuliahan yang penuh dinamika. Namun, tak jarang ditemukan mahasiswa yang bermasalah atau bahkan gagal selama masa studi mereka. Dan uniknya, setiap mahasiswa memiliki cara tersendiri dalam menilai penyebab-penyebab dari setiap kejadian yang dialami (explanatory style) yang nantinya dapat mengarahkan usaha terhadap kejadian-kejadian di masa mendatang. Tujuan penelitian ini adalah untuk mengetahui apakah terdapat hubungan antara explanatory style dan optimisme pada mahasiswa Indonesia. Partisipan penelitian ini merupakan 669 mahasiswa Universitas Indonesia yang tersebar dari 13 fakultas. Explanatory style diukur dengan menggunakan Attributional Style Questionnaire yang dikembangkan Peterson, Semmel, von Baeyer, Abramson, Metalsky & Seligman pada tahun 1982. Sedangkan optimisme diukur menggunakan Life Orientation Test-Revised (LOT-R) yang dikembangkan Scheier, Carver, & Bridge pada tahun 1994. Hasil penelitian ini menunjukkan bahwa terdapat hubungan yang signifikan antara explanatory style dan optimisme. Hubungan yang signifikan juga ditemukan antara tiga dimensi explanatory style dan optimisme, terkecuali dimensi externality vs internality situasi hipotetikal negatif dan optimisme. Terdapat perbedaan total optimisme antara mahasiswa dari Jabodetabek dan non-Jabodetabek. Sedangkan perbedaan jenis kelamin hanya terlihat pada total skor optimisme. Agama menjadi faktor yang membedakan explanatory style dan optimisme yang dimiliki individu, dimana pemeluk agama Hindu cenderung memiliki optimistic explanatory style dan pemeluk agama Katholik lebih optimis dibandingkan yang lainnya.;Generally, students showed high optimism, which they believe that good results will be obtained after a life full of dynamic lectures. However, it is not rare to find students who are troubled or even fail during their studies. Uniquely, each student has its own way of assessing the causes of any events experienced (explanatory style) that can later be directing efforts towards events in the future. The purpose of this study was to determine whether there is a relationship between explanatory style and optimism on Indonesian students. Participants of this study is 669 students of the University of Indonesia, which is spread from 13 faculties. Explanatory style is measured using Attributional Style Questionnaire developed by Peterson, Semmel, von Baeyer, Abramson, Metalsky & Seligman in 1982. Meanwhile, optimism was measured using the Life Orientation Test-Revised (LOT-R) developed Scheier, Carver, & Bridge in 1994. Results of this study indicate that there is a significant correlation between explanatory style and optimism. Significant correlation was also found between the three dimensions of explanatory style and optimism, with the exception of the dimensions externality vs internality of negative hypothetical situation and optimism. Difference of total score has been found for optimism among students from Jabodetabek and non-Jabodetabek. While the difference between the sexes is only visible in the total score of optimism. Religion became a factor that distinguishes explanatory style and optimism of the individual, where Hindus are likely to have optimistic explanatory style and followers of the Catholic religion is more optimistic than others.;Generally, students showed high optimism, which they believe that good results will be obtained after a life full of dynamic lectures. However, it is not rare to find students who are troubled or even fail during their studies. Uniquely, each student has its own way of assessing the causes of any events experienced (explanatory style) that can later be directing efforts towards events in the future. The purpose of this study was to determine whether there is a relationship between explanatory style and optimism on Indonesian students. Participants of this study is 669 students of the University of Indonesia, which is spread from 13 faculties. Explanatory style is measured using Attributional Style Questionnaire developed by Peterson, Semmel, von Baeyer, Abramson, Metalsky & Seligman in 1982. Meanwhile, optimism was measured using the Life Orientation Test-Revised (LOT-R) developed Scheier, Carver, & Bridge in 1994. Results of this study indicate that there is a significant correlation between explanatory style and optimism. Significant correlation was also found between the three dimensions of explanatory style and optimism, with the exception of the dimensions externality vs internality of negative hypothetical situation and optimism. Difference of total score has been found for optimism among students from Jabodetabek and non-Jabodetabek. While the difference between the sexes is only visible in the total score of optimism. Religion became a factor that distinguishes explanatory style and optimism of the individual, where Hindus are likely to have optimistic explanatory style and followers of the Catholic religion is more optimistic than others., Generally, students showed high optimism, which they believe that good results will be obtained after a life full of dynamic lectures. However, it is not rare to find students who are troubled or even fail during their studies. Uniquely, each student has its own way of assessing the causes of any events experienced (explanatory style) that can later be directing efforts towards events in the future. The purpose of this study was to determine whether there is a relationship between explanatory style and optimism on Indonesian students. Participants of this study is 669 students of the University of Indonesia, which is spread from 13 faculties. Explanatory style is measured using Attributional Style Questionnaire developed by Peterson, Semmel, von Baeyer, Abramson, Metalsky & Seligman in 1982. Meanwhile, optimism was measured using the Life Orientation Test-Revised (LOT-R) developed Scheier, Carver, & Bridge in 1994. Results of this study indicate that there is a significant correlation between explanatory style and optimism. Significant correlation was also found between the three dimensions of explanatory style and optimism, with the exception of the dimensions externality vs internality of negative hypothetical situation and optimism. Difference of total score has been found for optimism among students from Jabodetabek and non-Jabodetabek. While the difference between the sexes is only visible in the total score of optimism. Religion became a factor that distinguishes explanatory style and optimism of the individual, where Hindus are likely to have optimistic explanatory style and followers of the Catholic religion is more optimistic than others.]

Abstrak :
ABSTRAK
PT XYZ telah menjalankan banyak kontrol TI untuk menjaga agar proses bisnis yang dijalankan dapat terhindar dari risiko-risiko kesalahan dan kecurangan. Kontrol tersebut diuji keefektifitasannya oleh Internal Audit Group IAG . Terdapat area dan kontrol yang diujikan secara berulang setiap tahun yang dilakukan secara manual oleh auditor menggunakan metode sampling. Selain itu, IAG juga melakukan pemantauan secara berkala terhadap temuan-temuan audit yang dikeluarkan. Pemantauan audit dilakukan berdasarkan dokumen tertulis oleh setiap divisi dengan mengacu pada timeline yang disepakati dengan Auditee.Berdasarkan hasil analisis dari permasalahan pengujian kontrol dan pemantauan hasil audit, penelitian ini bertujuan untuk membuat rancangan spesifikasi kebutuhan Sistem Pengujian Kontrol dan Pemantauan Hasil Audit yang dapat digunakan oleh IAG PT XYZ. Spesifikasi kebutuhan sistem dirancang menggunakan proses rekayasa perangkat lunak Rational Unified Process RUP pada satu iterasi fase inception dan dua iterasi fase elaboration dengan ruang lingkup business modeling workflow dan requirements workflow. Hasil dari penelitian didapatkan 18 stakeholder request STRQ , 19 NEED, 27 fitur FEAT , 33 kebutuhan spesifikasi sistem SRS dengan 10 kebutuhan fungsional UCS dan 28 kebutuhan non-fungsional SUPP . Seluruh hasil tersebut didokumentasikan pada artefak Requirement Management Plan, Stakeholder Request, Vision, Software Requirement Specification, Use Case Specification, Supplementary Specification, dan Glossary.

---

ABSTRACT
PT XYZ has implemented many IT controls to prevent the business process from risk of fraudulent. The effectiveness of the controls are tested by conducting audit activities performed by the Internal Audit Group IAG . There are recurring audit of controls that are performed manually by the auditor using sampling method. In addition, IAG also conducts regular monitoring of audit findings. Audit monitoring is done manually by each division based on the agreed timeline with Auditee.Based on the problem analysis of control testing and monitoring audit results, this study aims to make the requirement specification design for continuous auditing and monitoring system that can be used by IAG PT XYZ. The requirement specification is designed using the Rational Unified Process RUP software process through inception and elaboration phases with the scope of business modeling workflow and requirements, analysis and design workflow.The result of this research are 18 stakeholder request STRQ , 19 NEED, 27 features FEAT , 33 software requirement specifications SRS that consist of 10 functional requirements UCS and 28 non functional requirements SUPP . All the results are documented in Requirement Management Plan, Stakeholder Request, Vision, Software Requirement Specification, Use Case Specification, Supplementary Specification, and Glossary artifacts.

Abstrak :
Air merupakan salah satu komponen penting dalam industri farmasi sebagai bahan baku, eksipien, pelarut dalam pemrosesan, proses produksi, dan pereaksi analitik. Kontrol terhadap kualitas mikrobiologi dan kimia air pada saat produksi, penyimpanan, dan proses distribusi merupakan hal yang penting. PT CKD OTTO Pharmaceuticals menggunakan Feed Water, Purified Water, Water for Injection, dan Pure Steam. Sehingga Water Monitoring System yang merupakan proses produksi, penyimpanan, dan distribusi air farmasi harus diterapkan untuk memastikan bahwa air yang dihasilkan sesuai dengan kualitas yang diinginkan. Tugas khusus ini bertujuan untuk mengevaluasi Water Monitoring System di PT CKD OTTO Pharmaceuticals secara konsisten sehingga kualitas air yang digunakan sesuai dengan spesifikasi dan parameter yang telah ditentukan. Pengambilan sampel dilakukan oleh staf QC yang terkualifikasi di titik yang telah ditentukan sesuai dengan SOP berlaku, kemudian sampel dianalisis dan hasil analisis akan di input untuk olah data. Diperoleh hasil pengujian Water Monitoring System memenuhi kriteria untuk parameter mikrobiologi dan parameter kimia namun dalam beberapa titik pengujian melebihi Alert Limit ditentukan seperti konduktivitas pada titik pengujian Raw Water 03, PWGEN 02, PWGEN 03, PWGEN 05, PW 01, PW 03, PW 05, PW 07 dan PS 01. Parameter temperatur melebihi Alert Limit pada titik pengujian WFI 01 dan WFI 03. Parameter pH melebihi Alert Limit pada titik samping WFI 03, PSGEN 01, PW 05. ......Water is one of the important components in the pharmaceutical industry as raw materials, excipients, solvents in processing, production processes, and analytical reagents. Control of the microbiological and chemical quality of water during the production, storage, and distribution process is important. PT CKD OTTO Pharmaceuticals uses Feed Water, Purified Water, Water for Injection, and Pure Steam. A Water Monitoring System, which is a process of producing, storing, and distributing pharmaceutical water, must be implemented to ensure that the water produced is of the desired quality. This assignment aims to evaluate the Water Monitoring System at PT CKD OTTO Pharmaceuticals consistently so that the quality of water used is in accordance with predetermined specifications and parameters. Sampling is carried out by qualified QC staff at predetermined points in accordance with applicable SOPs, then the samples are analyzed and the analysis results will be input for data processing. Obtained Water Monitoring System test results meet the criteria for microbiological parameters and chemical parameters but in some test points exceed the specified Alert Limit such as conductivity at the Raw Water 03 test point, PWGEN 02, PWGEN 03, PWGEN 05, PW 01, PW 03, PW 05, PW 07 and PS 01. The temperature parameter exceeds the Alert Limit at the WFI 01 and WFI 03 test points. The pH parameter exceeds the Alert Limit at the WFI 03, PSGEN 01, PW 05 test points.

Abstrak :
Proses pengembangan suatu perangkat lunak pada umumnya terdiri dari beberapa tahapan mulai dari analisis hingga implementasi, yang akan menghasilkan kebutuhan (requirement) dari perangkat lunak tersebut. Hasil analisis untuk berbagai aplikasi pada suatu domain permasalahan yang sama biasanya akan menghasilkan definisi kebutuhan yang serupa. Dalam bidang rekayasa perangkat lunak, khususnya dalam pengembangan perangkat lunak berorientasi objek, telah banyak dikembangkan requirement untuk berbagai domain permasalahan. Penelitian ini dimaksudkan untuk mendapatkan suatu kesamaan (commonality) dari spesifikasi kebutuhan (requirement) perangkat lunak (software) ? selanjutnya disingkat SRS- apa saja yang sesuai untuk Customer Relationship Management (CRM) pada Usaha Kecil dan Menengah (UKM), dengan objek data yang diambil disini adalah 10 Toko batik di Kawasan Batik Trusmi Cirebon. Kasus ini dipilih karena konsep CRM dalam beberapa tahun ini telah berkembang menjadi konsep penting yang sangat dibutuhkan baik di perusahaan besar maupun perusahaan berskala kecil dan menengah. Selain itu, aplikasi CRM pada UKM belum terlalu diperhatikan, padahal Usaha kecil dan Menengah di Indonesia memiliki peranan penting dalam pergerakan roda perekonomian Kerangka kerja yang digunakan adalah FrontCRM (A Framework based on Theory of CRM) yang merupakan hasil dari penelitian sebelumnya, yaitu suatu kerangka kerja yang disusun berdasarkan aktifitas pada setiap bidang kegiatan yang berkaitan dengan pemasaran, penjualan, dan pelayanan pelanggan. SRS commonality yang berhasil diidentifikasi untuk aplikasi CRM ini adalah terfokus pada area fungsi pelayanan pelanggan khususnya untuk Sistem Manajemen Pemesanan. Dari penelitian ini juga dapat disimpulkan bahwa SRS commonality dapat dihasilkan dengan menangkap best practices dari proses bisnis yang ada.

---

Finite analysis of implementation, which will yield requirement (requirement) from the software. Result of analysis for various applications at one particular the same problems domain usually will yield definition of similar requirement. In the field of software engineering, especially in expansion of software orients object, has many developed by requirement for various problems domains. This research meant to get an commonality from specification of requirement (requirement) software (software) - hereinafter is shortened just SRSapa appropriate for Customer Relationship Management (CRM) at Small and medium industry (UKM), with data object taken here is 10 Batik shops in Kawasan Batik Trusmi Cirebon. This Case selected by concept CRM in a few this year has rounded into a real important concept required by either in big company and also middle and small scale company. Besides, the application of CRM at UKM has not too paid attention, though Small and medium industry in Indonesia has important role in movement of economics wheel. Framework applied is FrontCRM (A Framework based on Theory of CRM) which is result from research before all, be a framework compiled based on activity in each activity area related to marketing, sale, and customer services. SRS commonality which successfully identified for the application of this CRM is focused at area function of customer services especially for Sistem Order Manajemen. From this research also inferential that SRS commonality can be yielded by catching best practices from the business process.

Abstrak :
Proses pengembangan suatu perangkat lunak pada umumnya terdiri dari beberapa tahapan mulai dari analisis hingga implementasi, yang akan menghasilkan kebutuhan (requirement) dari perangkat lunak tersebut. Hasil analisis untuk berbagai aplikasi pada suatu domain permasalahan yang sama biasanya akan menghasilkan definisi kebutuhan yang serupa. Dalam bidang rekayasa perangkat lunak, khususnya dalam pengembangan perangkat lunak berorientasi objek, telah banyak dikembangkan requirement untuk berbagai domain permasalahan. Penelitian ini dimaksudkan untuk mendapatkan suatu kesamaan (commonality) dari spesifikasi kebutuhan (requirement) perangkat lunak (software) - selanjutnya disingkat SRS- apa saja yang sesuai untuk Customer Relationship Management (CRM) pada Usaha Kecil dan Menengah (UKM), dengan objek data yang diambil disini adalah 10 Toko batik di Kawasan Batik Trusmi Cirebon. Kasus ini dipilih karena konsep CRM dalam beberapa tahun ini telah berkembang menjadi konsep penting yang sangat dibutuhkan baik di perusahaan besar maupun perusahaan berskala kecil dan menengah. Selain itu, aplikasi CRM pada UKM belum terlalu diperhatikan, padahal Usaha kecil dan Menengah di Indonesia memiliki peranan penting dalam pergerakan roda perekono mian Kerangka kerja yang digunakan adalah FrontCRM (A Framework based on Theory of CRM) yang merupakan hasil dari penelitian sebelumnya, yaitu suatu kerangka kerja yang disusun berdasarkan aktifitas pada setiap bidang kegiatan yang berkaitan dengan pemasaran, penjualan, dan pelayanan pelanggan. SRS commonality yang berhasil diidentifikasi untuk aplikasi CRM ini adalah terfokus pada area fungsi pelayanan pelanggan khususnya untuk Sistem Manajemen Pemesanan. Dari penelitian ini juga dapat disimpulkan bahwa SRS commonality dapat dihasilkan dengan menangkap best practices dari proses bisnis yang ada.

---

Expansion process a software in general is consisted of some steps to start from finite analysis of implementation, which will yield requirement (requirement) from the software. Result of analysis for various applications at one particular the same problems domain usually will yield definition of similar requirement. In the field of software engineering, especially in expansion of software orients object, has many developed by requirement for various problems domains. This research meant to get an commonality from specification of requirement (requirement) software (software) - hereinafter is shortened just SRSapa appropriate for Customer Relationship Management (CRM) at Small and medium industry (UKM), with data object taken here is 10 Batik shops in Kawasan Batik Trusmi Cirebon. This Case selected by concept CRM in a few this year has rounded into a real important concept required by either in big company and also middle and small scale company. Besides, the application of CRM at UKM has not too paid attention, though Small and medium industry in Indonesia has important role in movement of economics wheel. Framework applied is FrontCRM (A Framework based on Theory of CRM) which is result from research before all, be a framework compiled based on activity in each activity area related to marketing, sale, and customer services. SRS commonality which successfully identified for the application of this CRM is focused at area function of customer services especially for Sistem Order Manajemen. From this research also inferential that SRS commonality can be commonality can be fielded by catching best practices from the business process.