SEMINAR NASIONAL BASIC SCIENCE II

dokumen-dokumen yang mirip
SEMINAR NASIONAL BASIC SCIENCE II

SEMINAR NASIONAL BASIC SCIENCE II

SEMINAR NASIONAL BASIC SCIENCE II

SEMINAR NASIONAL BASIC SCIENCE II

SEMINAR NASIONAL BASIC SCIENCE II

SEMINAR NASIONAL BASIC SCIENCE II

BAB II TINJAUAN PUSTAKA

KONSTRUKSI MATRIKS SINGULAR DARI SUATU MATRIKS YANG MEMENUHI SIFAT KHUSUS TUGAS AKHIR

DIAGONALISASI MATRIKS KOMPLEKS

BAB II DETERMINAN DAN INVERS MATRIKS

SEMINAR NASIONAL BASIC SCIENCE II

Invers Tergeneralisasi Matriks atas Z p

Lampiran 1 Pembuktian Teorema 2.3

BAB II LANDASAN TEORI. yang biasanya dinyatakan dalam bentuk sebagai berikut: =

KAJIAN METODE KONDENSASI CHIO PADA DETERMINAN MATRIKS

Matriks - Definisi. Sebuah matriks yang memiliki m baris dan n kolom disebut matriks m n. Sebagai contoh: Adalah sebuah matriks 2 3.

Aljabar Linier Elementer. Kuliah 1 dan 2

SPECTRUM PADA GRAF STAR ( ) DAN GRAF BIPARTISI KOMPLIT ( ) DENGAN

Banyaknya baris dan kolom suatu matriks menentukan ukuran dari matriks tersebut, disebut ordo matriks

PELATIHAN INSTRUKTUR/PENGEMBANG SMU 28 JULI s.d. 12 AGUSTUS 2003 MATRIKS. Oleh: Drs. M. Danuri, M. Pd.

SOLUSI PENDEKATAN TERBAIK SISTEM PERSAMAAN LINEAR TAK KONSISTEN MENGGUNAKAN DEKOMPOSISI NILAI SINGULAR

BAB III MATRIKS HERMITIAN. dan konsep-konsep lainnya yang berkaitan dengan matriks Hermitian. Matriks

SEMINAR NASIONAL BASIC SCIENCE II

MATRIKS. a A mxn = 21 a 22 a 2n a m1 a m2 a mn a ij disebut elemen dari A yang terletak pada baris i dan kolom j.

BAB I PENDAHULUAN Latar Belakang Masalah

BAB II KAJIAN PUSTAKA. operasi matriks, determinan dan invers matriks), aljabar max-plus, matriks atas

MATRIKS Matematika Industri I

MATRIKS. Matematika. FTP UB Mas ud Effendi. Matematika

BAB 2 LANDASAN TEORI

KAITAN SPEKTRUM KETETANGGAAN DARI GRAF SEKAWAN

MUH1G3/ MATRIKS DAN RUANG VEKTOR

Sebuah garis dalam bidang xy bisa disajikan secara aljabar dengan sebuah persamaan berbentuk :

SEMINAR NASIONAL BASIC SCIENCE II

I PENDAHULUAN II LANDASAN TEORI

Aljabar Linear Elementer MA SKS. 07/03/ :21 MA-1223 Aljabar Linear 1

MATRIKS DAN OPERASINYA. Nurdinintya Athari (NDT)

Pasangan Baku Dalam Polinomial Monik

MATRIKS UNITER, SIMILARITAS UNITER DAN MATRIKS NORMAL. Anis Fitri Lestari. Mahasiswa Universitas Muhammadiyah Ponorogo ABSTRAK

SISTEM PERSAMAAN LINEAR

PENYELESAIAN SISTEM PERSAMAAN LINEAR KOMPLEKS MENGGUNAKAN METODE DEKOMPOSISI NILAI SINGULAR (SVD) TUGAS AKHIR. Oleh : DEWI YULIANTI

MENENTUKAN NILPOTENT ORDE 4 PADA MATRIKS SINGULAR MENGGUNAKAN TEOREMA CAYLEY HAMILTON TUGAS AKHIR

BAB 2 LANDASAN TEORI

Matriks. Baris ke 2 Baris ke 3

SEMINAR NASIONAL BASIC SCIENCE II

Aljabar Linear Elementer

Aljabar Linier Lanjut. Kuliah 1

PENYELESAIAN SISTEM PERSAMAAN LINEAR FUZZY KOMPLEKS MENGGUNAKAN METODE DEKOMPOSISI QR TUGAS AKHIR

Perluasan Teorema Cayley-Hamilton pada Matriks

MENGHITUNG DETERMINAN MATRIKS MENGGUNAKAN METODE SALIHU

MATRIKS Matematika Industri I

MODUL E LEARNING SEKSI -1 MATA KULIAH : ALJABAR LINIER KODE MATA KULIAH : ESA 151 : 5099 : DRA ENDANG SUMARTINAH,MA

(MS.3) SUBRUANG CONINVARIAN DARI MATRIKS KUADRAT KOMPLEKS

Sistem Persamaan Linier dan Matriks

PENYELESAIAN INVERS MATRIKS MENGGUNAKAN METODE GENERALIZED INVERSE TUGAS AKHIR

SATUAN ACARA PERKULIAHAN UNIVERSITAS GUNADARMA

BAB X SISTEM PERSAMAAN LINIER

a11 a12 x1 b1 Lanjutan Mencari Matriks Balikan dengan OBE

ALJABAR LINIER MAYDA WARUNI K, ST, MT ALJABAR LINIER (I)

SILABUS MATAKULIAH. Indikator Pokok Bahasan/Materi Aktifitas Pembelajaran

INVERS SUATU MATRIKS TOEPLITZ MENGGUNAKAN METODE ADJOIN

1.1 MATRIKS DAN JENISNYA Matriks merupakan kumpulan bilangan yang berbentuk segi empat yang tersusun dalam baris dan kolom.

Cetakan I, Agustus 2014 Diterbitkan oleh: Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Pattimura

DIAGONALISASI MATRIKS PERSEGI (SQUARE MATRIX) MENGGUNAKAN DEKOMPOSISI SCHUR TUGAS AKHIR

Aljabar Linier & Matriks. Tatap Muka 2

SEMINAR NASIONAL BASIC SCIENCE II

(Departemen Matematika FMIPA-IPB) Matriks Bogor, / 66

PENYELESAIAN SISTEM PERSAMAAN LINEAR FUZZY MENGGUNAKAN METODE DEKOMPOSISI NILAI SINGULAR (SVD) TUGAS AKHIR. Oleh : SABRINA INDAH MARNI

Aljabar Linier Elementer. Kuliah 7

Menentukan Nilai Eigen Tak Dominan Suatu Matriks Definit Negatif Menggunakan Metode Kuasa Invers dengan Shift

Generalized Inverse Pada Matriks Atas

BAB 3 : INVERS MATRIKS

MATRIKS INVERS TERGENERALISIR

Aljabar Linear Elementer MUG1E3 3 SKS

MATRIKS A = ; B = ; C = ; D = ( 5 )

ALGORITMA ELIMINASI GAUSS INTERVAL DALAM MENDAPATKAN NILAI DETERMINAN MATRIKS INTERVAL DAN MENCARI SOLUSI SISTEM PERSAMAAN INTERVAL LINEAR

BAB 2. DETERMINAN MATRIKS

PENGKONSTRUKSIAN BILANGAN TIDAK KONGRUEN

MODUL ALJABAR LINEAR 1 Disusun oleh, ASTRI FITRIA NUR ANI

BAB II LANDASAN TEORI

KETEROBSERVASIAN SISTEM DESKRIPTOR DISKRIT LINIER

MATERI 8 MATRIKS. Contoh vektor kolom : Pengoperasian matriks dan vektor. Penjumlahan dan pengurangan matriks

MENENTUKAN INVERS MOORE PENROSE DARI MATRIKS KOMPLEKS

METODE BARU UNTUK MENGHITUNG DETERMINAN DARI MATRIKS TUGAS AKHIR YESPI ENDRI

APLIKASI MATRIKS KOMPANION PADA PENYELESAIAN SISTEM PERSAMAAN DIFERENSIAL LINIER NON HOMOGEN TUGAS AKHIR

Pengolahan Dasar Matriks Bagus Sartono

II. M A T R I K S ... A... Contoh II.1 : Macam-macam ukuran matriks 2 A. 1 3 Matrik A berukuran 3 x 1. Matriks B berukuran 1 x 3

KAJIAN MATRIKS JORDAN DAN APLIKASINYA PADA SISTEM LINEAR WAKTU DISKRIT

APLIKASI MATRIKS INVERS TERGENERALISASI PADA DIFFIE-HELLMAN (DH) TUGAS AKHIR MIA FADILLA

Operasi Baris Elementer (OBE) dan Eliminasi Gauss-Jordan (EGJ)

BAB I PENDAHULUAN. 3) Untuk mengetahui apa yang dimaksud dengan invers matriks. 4) Untuk mengetahui apa yang dimaksud dengan determinan matriks

RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)

SOLUSI REFLEKSIF DAN ANTI-REFLEKSIF DARI PERSAMAAN MATRIKS AX = B

02-Pemecahan Persamaan Linier (1)

WARP PADA SEBUAH SEGITIGA

Matematika Teknik I: Matriks, Inverse, dan Determinan. Oleh: Dadang Amir Hamzah STT DR. KHEZ MUTTAQIEN 2015

MATRIKS. Notasi yang digunakan NOTASI MATRIKS

MENENTUKAN NILAI EIGEN DAN VEKTOR EIGEN MATRIKS INTERVAL TUGAS AKHIR

SIFAT SIFAT MATRIKS SUDOKU TESIS SHOBAH SALAMAH

MATRIKS BUJUR SANGKAR AJAIB ORDE GENAP KELIPATAN EMPAT MENGGUNAKAN METODE DURER

Membentuk Algoritma untuk Pemecahan Sistem Persamaan Lanjar secara Numerik

Transkripsi:

ISBN : 978--97-- PROSEDING SEMINAR NASIONAL BASIC SCIENCE II Konstribusi Sains Untuk Pengembangan Pendidikan, Biodiversitas dan Metigasi Bencana Pada Daerah Kepulauan SCIENTIFIC COMMITTEE: Prof. H.J. Sohilait, MS Prof. Dr. Th. Pentury, M.Si Dr. J.A. Rupilu, SU Drs. A. Bandjar, M.Sc Dr.Ir. Robert Hutagalung, M.Si FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM UNIVERSITAS PATTIMURA AMBON, i

Juli ISBN: 978--97-- ANALISIS SIFAT-SIFAT MATRIKS SENTROSIMETRIK Rosmalina Tebiary Jurusan Matematika, FMIPA Universitas Pattimura Ambon ABSTRAK Dalam perkembangan ilmu Ajabar dan teori matriks dikemukakan suatu matriks khusus yakni matriks sentrosimetrik dengan setiap elemen pada matriks tersebut simetrik terhadap pusatnya. Karena itu membuat matriks ini memiliki bentuk dan elemen elemen yang berada didalam matriks berbeda dengan beberapa matriks yang diketahui. Dengan keistimewaan ini menjamin adanya perbedaan sifat sifat matriks sentrosimetrik dengan matriks lainnya. Kata kunci : Sifat-Sifat matriks sentrosimetrik, Matriks, Matriks sentrosimetrik PENDAHULUAN Aljabar matriks mempunyai peranan penting pada sebagian besar bidang ilmu, seperti misalnya teorema-teorema khusus dalam aljabar linier dan teori matriks maupun jenis khusus lainnya sering pula digunakan dalam bidang ilmu Numerik, Statistika dan lain-lain. Khususnya teorema-teorema matriks sentrosimetrik sering kali muncul dalam konstruksi ortonormal wavelet dasar dianalisis wavelet. Matriks adalah suatu kumpulan besaran (variabel dalam konstanta) yang dapat dirujuk melalui indeksnya, yang menyatakan posisinya dalam representasi umum yang digunakan, yaitu sebuah variabel persegi panjang. Dalam perkembangan aljabar matriks dikemukakan suatu matriks khusus yakni matriks sentrosimetrik dengan setiap elemen pada matriks tersebut simetrik terhadap pusatnya. Karena itu membuat matriks ini memiliki bentuk dan elemen-elemen didalam matriks yang berbeda dengan beberapa matriks yang diketahui seperti matriks simetri, matriks simetri miring, matriks hermitian, dan lain lain. Dengan keistimewaan ini menjamin adanya perbedaan sifat-sifat matriks sentrosimetrik dengan matriks lainnya. Hal inilah yang membuat peneliti tertarik untuk melakukan penelitian mengenai Matriks Sentrosimetrik. PROSEDING Hal. 8

Juli ISBN: 978--97-- METODE Metode yang digunakan dalam penulisan ini adalah studi pustaka yaitu mempelajari beberapa literatur yang berupa karangan-karangan ilmiah, text book maupun sumber-sumber dari internet. PEMBAHASAN Dalam ilmu matematika khususnya dalam aljabar linier dan teori matriks, dikemukakan suatu matriks khusus yakni matriks sentrosimetrik. Matriks Sentrosimetrik adalah suatu matriks yang simetrik terhadap pusatnya. Berikut ini definisi matriks Sentrosimetrik: Definisi (Matriks Sentrosimetrik) Diberikan sebuah matriks = dengan, maka matriks disebut matriks sentrosimetrik jika elemen memenuhi hubungan : =, Bentuk untuk semua matriks sentrosimetrik misalkan yang berukuran adalah sebagai berikut : = Selanjutnya matriks sentrosimetrik dapat dengan mudah dikenali yakni dengan memeriksanya: Anggota-anggota di pusat matriks boleh sebarang, tetapi anggota-anggota yang bercermin padanya (pusat matriks) harus sama. Hal ini dapat dilihat pada contoh berikut: Contoh Misalkan = Matriks sentrosimetriknya adalah : PROSEDING Hal. 9

Juli ISBN: 978--97-- = Dari matriks tersebut dapat disimpulkan sebagai berikut : = simetrik dengan dan = simetrik dengan Contoh Misalkan = h Matriks sentrosimetriknya adalah : = Dengan sebagai pusat simetriknya, dan = simetrik dengan, = simetrik dengan, = simetrik dengan dan = simetrik dengan.. Sifat-sifat Matriks Sentrosimetrik Teorema.. Diberikan matriks adalah matriks sentrosimetrik. Jika nonsingular, maka adalah sentrosimetrik. Bukti : Diketahui matriks sentrosimetrik yang nonsingular. = Misalkan dapat direduksi menjadi bentuk eselon baris dengan operasi-operasi yang berhingga banyaknya dan karena tak singular, maka lebih sederhana untuk mereduksi dalam bentuk segitiga. Sehingga = ± = ± PROSEDING Hal.

Juli ISBN: 978--97-- Selanjutnya dimisalkan dapat direduksi sehingga diperoleh suatu matriks adjoin dari sentrosimetrik Jadi jika = ± = ± dan ada adjoin Maka = adj juga matriks sentrosimetrik. Teorema.. Jika adalah matriks sentrosimetrik, maka adalah matriks sentrosimetrik yang berukuran. Bukti : Diketahui matriks sentrosimetrik, yang elemennya memenuhi: =, Akan ditunjukkan adalah matriks sentrosimetrik dengan ukuran. Jika matriks sentrosimetrik maka diperoleh transpos dari ( ) adalah dengan mempertukarkan baris dan kolom dari yaitu kolom pertama dari ( ) adalah baris pertama dari. Jadi anggota dalam baris + dan kolom + dari ( ) adalah anggota dari + dan kolom + berdasarkan Definisi suatu Transpos Matriks (Definisi..7) diperoleh, =, = [h, ] Jadi adalah matriks sentrosimetrik dengan ukuran dari dan seterusnya sehingga Teorema.. Jika kedua matriks dan adalah matriks sentrosimetrik, maka ± adalah matriks sentrosimetrik. Bukti : Diketahui matriks sentrosimetrik yang memenuhi: =, PROSEDING Hal.

Juli ISBN: 978--97-- Dan juga matriks sentrosimetrik yang memenuhi =, Akan ditunjukkan ± matriks sentrosimetrik Karena matriks =, dan =, memiliki ukuran yang sama maka berdasarkan definisi penjumlahan dan selisih matriks (Definisi..) Diperoleh : [+ ], = [], + [], =, +, =, Misalkan, +, =, Karena [+ ], =, dengan elemennya memenuhi definisi matriks sentrosimetrik maka + adalah matriks sentrosimetrik. Hal yang sama dapat digunakan untuk mencari selisih matriks sentrosimetrik. Karena matriks =, dan =, memiliki ukuran yang sama maka berdasarkan definisi penjumlahan dan selisih suatu matriks (Defenisi..) diperoleh: [ ], = [], [], =,, =, Misalkan, +, =, Karena [ ], =, dengan elemennya memenuhi definisi matriks sentrosimetrik maka matriks sentrosimetrik. Sehingga ± adalah matriks sentrosimetrik. Teorema.. Jika matriks sentrosimetrik atas lapangan maka adalah juga matriks sentrosimetrik dengan Bukti : Diketahui matriks sentrosimetrik. PROSEDING Hal.

Juli ISBN: 978--97-- Ambil sebarang matriks sentrosimetrik yang memenuhi Sehingga: =, = Dan c elemen atas lapangan dengan berupa skalar. Akan ditunjukkan matriks sentrosimetrik yakni: Berdasarkan definisi perkalian matriks dengan skalar (Definisi..) diperoleh =, = = Misalkan:,,,, = = Maka: = =, = = = = =,, =,,, PROSEDING Hal.

Juli ISBN: 978--97-- Karena =, memenuhi definisi suatu matriks yang sentrosimetrik maka dapat disimpulkan bahwa juga matriks sentrosimetrik. Teorema.. Jika kedua matriks dan adalah matriks sentrosimetrik, maka adalah matriks sentrosimetrik. Bukti : Diketahui dan adalah matriks sentrosimetrik. Ambil matriks sentrosimetrik yang elemennya memenuhi Sehingga = =, Dan matriks sentrosimetrik yang elemennya memenuhi Sehingga: = =, Akan ditunjukkan Berdasarkan Definisi (..) =,, = PROSEDING Hal.

Juli ISBN: 978--97-- = + + + + + + + + + + + + + + + + + + + + + + + + Misalkan: = + + = + + = + + = + + = + + = + + Maka = Karena =, Jadi = matriks sentrosimetrik. Teorema.. Jika adalah matriks pertukaran (exchange matrix). Maka matriks adalah matriks sentrosimetrik jika dan hanya jika =. Bukti : ( ) Diketahui : adalah matriks sentrosimetrik yang elemennyamemenuhi: Sehingga =, PROSEDING Hal.

Juli ISBN: 978--97-- = Berdasarkan Definisi..9 diperoleh bentuk matriks pertukaran Akan ditunjukkan = = i. Berdasarkan definisi perkalian dua matriks (Definisi..) maka diperoleh = = + + + + + + + + + + + + + + + + = Selanjutnya ii. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Berdasarkan definisi perkalian dua matriks (Definisi..) maka diperoleh = + + + + + + + + + + + + + + + + PROSEDING Hal.

Juli ISBN: 978--97-- + + + + + + + + = + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + = = Berdasarkan (i) and (ii) terbukti = ( ) Diketahui = Dengan = Akan ditunjukan adalah matriks sentrosimetrik Andaikan sebarang matriks Misalkan =,,,, maka, a. Berdasarkan definisi perkalian dua matriks (Definisi..) maka diperoleh =, + + + + + + + + + + + +, + + + +,,, + + + + + + + + + + +, + + + + + + + + + + + + + +, + + + + + + + + + + + + + + +, + + + + + + + + PROSEDING Hal. 7

Juli ISBN: 978--97-- = =,,,, b. Berdasarkan definisi perkalian dua matriks (Definisi..) maka diperoleh = + + + + + + +, + + + + + + + + + =,,, + + + + + + +, + + + + + + + + +,,,,, + + + + + + +, + + + + + + + + + + + + + + + +, + + + + + + + + + Berdasarkan (a) dan (b) diperoleh bahwa ternyata dan hal ini kontradiksi dengan yang diketahui bahwa =. Sehingga terbukti bahwa harus merupakan matriks sentrosimetrik. Teorema..7 Perkalian titik matriks adalah sentrosimetrik jika = = dengan matriks pertukaran. Bukti : Diketahui matriks sentrosimetrik a. Akan ditunjukkan bahwa = Misalkan = matriks sentrosimetrik, maka = berdasarkan Teorema.. diperoleh = = atau =. Jadi terbukti = b. Akan ditunjukkan = PROSEDING Hal. 8

Juli ISBN: 978--97-- Berdasarkan Teorema.. diketahui bahwa dan B matriks sentrosimetrik sehingga sentrosimetrik. Karena matriks sentrosimetrik maka = sentrosimetrik (Teorema..). Sehingga: = () = () (Teorema..) = Jadi terbukti = c. Akan ditunjukkan = Berdasarkan Teorema.. diketahui bahwa dan B matriks sentrosimetrik sehingga sentrosimetrik. Misalkan = Karena diketahui bahwa sentrosimetrik maka = = (Teorema..) Sehingga = () = () = Jadi terbukti = Berikut ini salah satu contoh yang diberikan untuk membuktikan Teorema..7 Contoh Soal Diberikan = Dengan matriks pertukaran dan = = Buktikan = =. Penyelesaian PROSEDING Hal. 9

Juli ISBN: 978--97-- Diketahui = Dan = Pertama akan ditunjukkan bahwa hasil kali juga matriks sentrosimetrik = + + + = + + + + + + 8 + + + = 9 8 8 78 78 8 8 9 + + 8 + + + + + + + + + + + + + + + + + + + + 8 + + Dari hasil perkalian matriks diatas dapat dilihat bahwa sentrosimetrik. Selanjutnya akan ditunjukkan bahwa = = i. Dengan (matriks pertukaran) : = 9 + + + = + + + + 9 + + + + + 8 = 78 8 9 9 8 78 8 8 8 78 = 78 8 9 8 + + + + + 78 + + 8 + + 8 + + + + + + 8 + + 8 + + 78 + + + + + + + + 8 + + + + + + + + + + + + + + 9 + + + + + + + PROSEDING Hal.

Juli ISBN: 978--97-- ii. Dengan (matriks pertukaran) : = = + + + + + + + + + + + + + + + + + + = + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + = Karena = Maka = + + + + + + + 8 + + + + + = + + + 8 + + + + + + + + + + + + + + + + + + 8 + + + + + + + + 8 + + + + + + + 8 = 78 8 9 9 8 78 8 iii. PROSEDING Hal.

Juli ISBN: 978--97-- Dengan (matriks pertukaran) : = 8 Dan = 9 8 78 78 8 9 8 Maka = 9 8 8 78 78 8 8 9 + + + + + + + 8 + + + + + + + + + + 78 + = + 8 + + 9 + + + + + + 9 + + 8 + + 78 + + + + + + + + + + 8 + + + + + + + 8 = 78 8 9 9 8 78 8 Berdasarkan (i),(ii) dan (iii) terbukti JAB = AJB = ABJ. KESIMPULAN Beberapa kesimpulan yang dapat diambil dari pembahasan pada bab - bab sebelumnya adalah sebagai berikut :. Matriks sentrosimetrik adalah matriks yang elemen-elemennya simetri terhadap pusatnya dan elemen-elemennya memenuhi hubungan : =,. Jika matriks sentrosimetrik yang nonsingular maka adalah sentrosimetrik. Jika matriks sentrosimetrik, maka adalah matriks sentrosimetrik yang berukuran. Jika dan matriks sentrosimetrik atas lapangan maka ±,, dengan adalah matriks sentrosimetrik.. Jika dan matriks sentrosimetrik maka = adalah matriks sentrosimetrik dan jika sentrosimetrik maka = =, dengan matriks pertukaran. PROSEDING Hal.

Juli ISBN: 978--97-- DAFTAR PUSTAKA Leon,J.H.,(), Aljabar Liniear Dan Aplikasinya, edisi kelima Erlangga, Jakarta Anton, H., (), Dasar-dasar Aljabar Linier, edisi 7 jilid, Jakarta Persulessy,E.R.,(7) Aljabar Linier Elementer, edisi pertama, Ambon http://en.wikipedia.org/wiki/centrosymmetric_matrix, November 9, pk. : pm http://math.nju.edu.cn/cinm/pdf/.pdf, November 9, pk. : pm PROSEDING Hal.