Hasil Pencarian  ::  Simpan CSV :: Kembali

"Teorema interpolasi membukti kan bahwa jika dari sebuah graph terhubung mengandung 2 buah spanning tree dan yang masing-masing mempunyai m dan n verteks ujung, m < n dan m,n bilangan bulat positif, maka 8 mengandung sebuah spanning tree dengan k verteks ujung, m < k < n, untuk setiap bilangan integer k."

"Dibahas aplikasi summability dari deret Fourier berdasarkan metode Cesaro. Dimana menurut teorema Fejer fungsi dari [-π, π] mempunyai sum (C,1) yang konvergen uniform ke S (x) pada [-π, π], dan diperlihatkan bahwa sum (C,1) f(x) dari deret Fourier di titik x sama dengan S(x)."

"Pada topologi, homeomorfisme adalah pemetaan antara ruang topologi yang bersifat bijektif, kontinu, dan memiliki invers kontinu. Keberadaan homeomorfisme antara dua ruang topologi mengakibatkan ruang-ruang tersebut dianggap sama secara topologi. Dalam topologi, salah satu masalah utama yang dihadapi adalah masalah penentuan keberadaan homeomorfisme antara dua ruang topologi. Invarian topologi adalah sifat dari ruang topologi yang tidak berubah terhadap homeomorfisme, sehingga invarian topologi sering digunakan pada penetuan keberadaan homeomorfisme antara ruang-ruang topologi. Salah satu invarian topologi pada topologi aljabar adalah grup fundamental, yang merupakan grup dari kelas-kelas ekuivalensi gelung (loop) pada ruang topologi. Teorema van Kampen adalah sebuah teorema mengenai homomorfisme antara grup fundamental dari ruang topologi, yang dapat digunakan untuk menentukan grup fundamental dari ruang topologi yang dapat didekomposisi menjadi ruang topologi yang lebih sederhana. Pada tugas akhir ini, dibuktikan kembali teorema van Kampen secara rinci.

---

In topology, homeomorphism is a bijective continuous mapping between topological spaces with continuous inverse. The existence of homeomorphism between two topological spaces results in those spaces being considered topologically equivalent. A main problem faced in topology is the problem of determining the existence of homeomorphism between two topological spaces. Topological invariant is a property of topological space that does not change under homeomorphism, so so topological invariants are often used in determining the existence of homeomorphisms between topological spaces. One of the topological invariants used in algebraic topology is fundamental space, which is the group of equivalence classes of loops in topological spacae. Van Kampen theorem is a theorem about homomorphism between fundamental group of topological spaces, which can be used to determine fundamental group of topological space that can be decomposed into simpler topological space. This thesis will provide a detailed proof of van Kampen theorem."

"Ruang metrik-G adalah pasangan (X,G) dengan X adalah himpunan tak kosong yang dilengkapi dengan fungsi G : X ⇥ X ⇥ X ! [0,1) yang memenuhi aksioma-aksioma metrik-G. Ruang metrik-G merupakan perluasan dari ruang metrik (X, d) yang telah dikenal. Aljabar-C⇤ A adalah aljabar Banach atas lapangan C yang dilengkapi involusi ⇤ yang memenuhi ka⇤k = kak dan ka⇤ak = kak2. Kodomain metrik d dan metrik-G diperluas dari [0,1) menjadi A+, yaitu himpunan elemen positif di aljabar-C⇤ A. Ruang metrik bernilai aljabar-C⇤ adalah (X, A, d) dengan d : X ⇥ X ! A+ merupakan fungsi yang memenuhi aksioma-aksioma metrik bernilai aljabar-C⇤. Pada skripsi ini dibahas mengenai ruang metrik-G bernilai aljabar-C⇤, yaitu (X, A,G) dengan G : X⇥X⇥X ! A+ merupakan fungsi yang memenuhi aksioma-aksioma metrik-G bernilai aljabar-C⇤. Lebih lanjut, dibahas aplikasi dari ruang metrik-G bernilai aljabar-C⇤ pada Teorema Titik Tetap.

---

The G-metric space is a pair (X,G) where X is a non-empty set and G : X ⇥ X ⇥ X ! [0,1) is a function that satisfies the axioms of G-metric. The G-metric space is an extension of the known metric space (X, d). C⇤-algebra A is a Banach algebra over field C with an involution ⇤ that satisfies ka⇤k = kak and ka⇤ak = kak2. The codomain of metric d and G-metric is generalized from [0,1) to A+, where A+ is the set of positive elements in C⇤-algebra A. The C⇤-algebra valued metric space is (X, A, d) where d : X ⇥ X ! A+ is a function that satisfies the axioms of C⇤-algebra valued metric. This undergraduate thesis discusses the C⇤-algebra valued G-metric space, namely (X, A,G) where G : X ⇥ X ⇥ X ! A+ is a function that satisfies the C⇤-algebra valued G-metric axioms. Furthermore, we discuss the application of C⇤-algebra valued G-metric space in Fixed Point Theorem."

"ABSTRAKTeorema titik tetap Banach adalah teorema mengenai pemetaan tertentu dari ruang metrik lengkap ke dalam dirinya sendiri. Teorema ini digunakan pada pembahasan teorema Picard untuk eksistensi penyelesaian persamaan difierensisi biasa linier order satu x'(t) + p(t) x(t) = q(t) dengan syarat awal x(t 0 ) = x0."

"Tugas akhir ini membahas penyelesaian persoalan matching lengkap dengan menggunakan graf bipartite sebagai modelnya. Teori yang digunakan untuk menentukan penyelesaian persoalan tersebut adalah teorema Hall. Dan algoritma yang dibahas untuk menjawab ada atau tidaknya matching lengkap pada persoalan tersebut adalah algoritma Hungarian."

"Performa akademik adalah bagian penting dari suatu sekolah. Saat ini, sebagian besar sekolah di Indonesia masih jarang melakukan klasifikasi performa akademik siswa, sehingga diperlukan metode yang tepat untuk mengklasifikasikan siswa berdasarkan perfroma akademiknya.  Pada peneltian ini digunakan metode Nave Bayes Classifier (NBC) dan metode Support Vector Machine (SVM) untuk mengklasifikasikan performa akademik siswa SMAN 38 Jakarta. Metode NBC menghasilkan tingkat akurasi tertinggi sebesar 96%, recall 100%, precision 92.68% dan %. Sedangkan metode SVM dengan kernel linier menghasilkan tingkat akurasi tertinggi sebesar 98%, recall 100%, precision 96.42% dan f1-score.

---

Academic performance is an important part of a school. At present, most schools in Indonesia rarely classify students’ academic performance, so we need the right method to classify students based on their academic performance. In this research, the Nave Bayes Classifier (NBC) and Support Vector Machine (SVM) methods are used to classify academic performance of SMAN 38 Jakarta students’. The NBC method produces the highest accuracy 96%, recall 100%, precision 92.68% and f1-score  While the SVM method produces the highest accuracy 98%, recall 100%, precision 96.42% and f1-score  on linear kernels."

"Eksplorasi hidrokarbon dan karakterisasi reservoir yang berhasil selalu terkait dengan pemahaman yang baik dari aspek geologi dan geofisika. Seismik merupakan salah satu metode eksplorasi yang handal untuk digunakan dalam karakterisasi reservoir. Ada tiga langkah untuk mendapatkan estimasi properti berdasarkan metode seismik yaitu inversi seismik yang akurat dalam 3D untuk mendapatkan parameter reservoir yang relevan, analisis fisika batuan untuk mendapatkan hubungan antara parameter reservoir dan parameter seismik serta mendistribusikan parameter tersebut dalam bentuk 3D. Salah satu masalah mendasar adalah mendapatkan distribusi parameteryang andal dan mengukur tingkat kepercayaan model parameter dalam 3D. Metode yang umum digunakan adalah metode stokastik yang reliabilitasnya bergantung pada kuantitas data yang tersedia dan tidak ada distribusi tingkat kepercayaan dalam 3D. Studi kasus dalam penelitian ini akan diterapkan pada cekungan Browse yang memiliki kumpulan data seismik sudut cerobong yang lengkap dan data well logs, hasilnya berupa model distribusi dalam 3D fasies dan fluida hidrokarbon. Alur kerja yang akan digunakan dalam penelitian ini adalah kombinasi antara analisis fisika batuan, inversi seismik simultan dan teorema estimasi Bayesian. Analisis fisika batuan meliputi pengkondisian log sumur dan analisis korelasi antara parameter reservoir (porositas, saturasi, dan Vshale) dengan parameter seismik (impedansi akustik, Vp/Vs, impedansi gese) untuk mendapatkan klasifikasi fasies dalam skala well log. Metode inversi seismik simultan digunakan untuk mendapatkan parameter seismik kubus yang akan dikorelasikan dengan hasil fisika batuan untuk mendorong distribusi fasies. Teorema estimasi bayesian mengumpulkan pengetahuan awal tentang suatu model sebelum mengamati atribut inversi. Hasil estimasi berupa probabilitas bersyarat dari masing-masing fasies yang terkait dengan parameter reservoir (porositas, saturasi, Vshale dll) dan parameter seismik (impedansi akustik, impedansi geser, rasio Vp/Vs) yang akan ditampilkan dengan fungsi probability density (PDF). Fungsi densitas probabilitas nantinya akan digunakan untuk menggerakkan distribusi fasies yang digabungkan dengan data log sumur dan data seismik; dan juga memperkirakan distribusi tingkat kepercayaan dalam 3D. Tesis ini menghasilkan distribusi fasies yang telah diklasifikasikan, distribusi hidrokarbon, dan distribusi tingkat kepercayaan probabilitas dalam 3D. Lebih lanjut peta distribusi tersebut dapat digunakan untuk mengidentifikasi penyebaran reservoir dan hidrokarbon di area penelitian.

---

Successful Hydrocarbon exploration and reservoir characterization always related with good understanding of geology and geophysics aspect. Seismic is one of powerful tool to be used in reservoir characterization. There are three steps to get property estimation based on seismic: accurate seismic inversion in 3D to obtain relevant reservoir parameter, rock physics analysis to obtain relationship between reservoir parameter and seismic parameter and distribute these parameters in 3D. One of the fundamental issues is to get reliable parameter distribution and quantify confidence level of the parameter model in 3D. The common method that being used is stochastic method which reliability depends on quantity of available data and there is no distribution of confidence level in 3D. The case study in this research will be applied in Browse basin that has complete stack angle seismic data sets and well logs data, the result will be distribution model in 3D of facies and hydrocarbon fluid. The workflow that will be introduced in this paper is combination between rock physics analysis, simultaneous seismic inversion and Bayesian estimation theorem. Rock physics analysis includes well log conditioning and correlation analysis between reservoir parameter (porosity, saturation, Vshale, etc) with seismic parameter (acoustic impedance, Vp/Vs, shear impedance, etc) to obtain facies classification in well log scale. Simultaneous seismic inversion method is used to obtain seismic parameter cube to be correlated with rock physics result to drive facies distribution. Bayesian estimation theorem assemble initial knowledge about a model before observing the inversion attributes. The estimation result will be conditional probability of each facies related with reservoir parameter (porosity, saturation, Vshale etc) and seismic parameter (acoustic impedance, shear impedance, Vp/Vs ratio etc) that will be displayed with probability density function (PDF). The probability density function later will be used to drive the facies distribution combined with well log data and seismic data; and estimate the confidence level distribution in 3D. The integrated workflow in this paper will show the distribution of the classified facies, hydrocarbon distribution and probability confidence level distribution in 3D. The result can be used to identify reservoir and hydrocarbon distribution."

"Ruang metrik-G adalah pasangan (X,G) dengan X adalah himpunan tak kosong yang dilengkapi dengan fungsi G: X x X x X -> [0,\infty) yang memenuhi aksioma-aksioma metrik-G. Ruang metrik-G merupakan perluasan dari ruang metrik (X,d) yang telah dikenal. Aljabar-C* A adalah aljabar Banach atas lapangan C yang dilengkapi involusi * yang memenuhi ||a*||=||a|| dan ||a*a||=||a||^2. Kodomain metrik d dan metrik-G diperluas dari [0,\infty) menjadi A^+, yaitu himpunan elemen positif di aljabar-C* A. Ruang metrik bernilai aljabar-C* adalah (X,A,d) dengan d: X x X -> A ^+ merupakan fungsi yang memenuhi aksioma-aksioma metrik bernilai aljabar-C*. Pada skripsi ini dibahas mengenai ruang metrik-G bernilai aljabar-C*, yaitu (X,A,G) dengan G: X x X x X -> A^+ merupakan fungsi yang memenuhi aksioma-aksioma metrik-G bernilai aljabar-C*. Lebih lanjut, dibahas aplikasi dari ruang metrik-G bernilai aljabar-C* pada Teorema Titik Tetap.

---

The G-metric space is a pair (X,G) where X is a non-empty set and G: X x X -> [0,\infty) is a function that satisfies the axioms of G-metric. The G-metric space is an extension of the known metric space (X,d). C*-algebraA is a Banach algebra over field C with an involution * that satisfies ||a*||=||a|| and ||a*a||=||a||^2. The codomain of metric and G-metric is generalized from [0,\infty) to A^+, where A^+ is the set of positive elements in C*-algebra A. The C*-algebra valued metric space is (X,A,d) where d: X x X -> A^+ is a function that satisfies the axioms of C*-algebra valued metric. This undergraduate thesis discusses the C*-algebra valued G-metric space, namely (X,A,G) where G: X x X x X -> A^+ is a function that satisfies the C*-algebra valued G-metric axioms. Furthermore, we discussed the application of C*-algebra valued G-metric space in Fixed Point Theorem.

"