Kakatomi

Jaringan Semantik, kalimatnya sebagai berikut :
Irena dan Arini saudari kembar. Irena mempunyai cita-cita menjadi dokter spesialis bedah seperti alm.ibunya. Sedangkan cita-cita dari Arini menjadi diplomat seperti kakeknya yang handal, dengan menguasai banyak bahasa seperti Inggris dan Perancis serta Mandarin. Irena menyukai travelling ke berbagai tempat impiannya seperti Yunani. Arini menyukai wisata kuliner, menu favorite nya adalah seafood terutama gong-gong, sejenis siput dari laut.

sumber : http://ariangelo.wordpress.com
Selengkapnya...

Sistem distribusi merupakan sebuah sistem yang terintegrasi dimana semua komponennya berada pada jaringan komputer baik secara lokal maupun secara global. Komponen tersebut saling berkomunikasi dan melakukan koordinasi hanya dengan pengiriman pesan (message passing). Setiap komponen bisa menjabat sebagai sumber dan yang lainya sebagai penerima atau keduanya dapat merangkap semua jabatan tersebut
Sistem terdistribusi merupakan kebalikan dari Sistem Operasi Prosesor Jamak. Sistem terdisribusi mempunyai memori lokal pada setiap komponennya sehingga memungkinkan pembagian beban kerja, sedangkan Sistem operasi prosesor jamak menempatkan semua beban pekerjaan pada satu komponen saja.

Sistem distribusi merupakan sebuah sistem yang terintegrasi dimana semua komponennya berada pada jaringan komputer baik secara lokal maupun secara global. Komponen tersebut saling berkomunikasi dan melakukan koordinasi hanya dengan pengiriman pesan (message passing). Setiap komponen bisa menjabat sebagai sumber dan yang lainya sebagai penerima atau keduanya dapat merangkap semua jabatan tersebut
Sistem terdistribusi merupakan kebalikan dari Sistem Operasi Prosesor Jamak. Sistem terdisribusi mempunyai memori lokal pada setiap komponennya sehingga memungkinkan pembagian beban kerja, sedangkan Sistem operasi prosesor jamak menempatkan semua beban pekerjaan pada satu komponen saja.
Sistem terdistribusi memungkinkan penggunaan dan pengaksesan jarak jauh melalui jaringan TCP/IP, penggunaan resource pun dapat di minimalisir melalui sharing yang dilakukan pada jaringan seperi penggunaan printer pada jaringan lokal atau intranet.
Namun walaupun sistem terdistribusi ini memberikan banyak kemudahan dan keuntungan terdapat pula permasalahn yang timbul dari penggunaannya. Masalah-masalah tersebut antara lain berkaitan dengan :
Software – bagaimana merancang dan mengatur software dalam Distribusi Sistem
Pembuatan software harus dilakukan untuk dapat berjalan diatas protokol tertentu seperti penggunaan pemgrograman socket pada bahsa pemrograman java
Ketergantungan pada infrastruktur jaringan
Ketika sebuah sistem telah bergantung pada sistem terdistribusi maka penggunaan jaringan mempunyai harga mutlak, bila terjadi kerusakan atau gangguan pada jaringan dapat dipastikan sistem pun akan mengalami gangguan
Kemudahan akses ke data yang di share, memunculkan masalah keamanan
Masalah keamanan pada jaringan dapat berupa penyalahgunaanbhak akses maupun perusakan yan diakibatkna oleh berbagai macam hal, seperti penyebaran virus dan lain-lain
Dalam setiap penggunaan suatu sistem, banyak sekali ditemui permasalahan – permasalahan yang muncul, begitu juga dengan sistem terdistribusi. Selain permasalahan – permasalahan yang akan dihadapi terdapat tantangan – tantangan dalam sistem terdistribusi.
refernsi :
Adang Suhendra, Kuliah Sistem Terdistribusi 1 & 2, http://staffsite.gunadarma.ac.id/adang/index.php?stateid=files&xcat_id=0.6
Budi Susanto, Pengantar Sistem Terdistribusi, http://lecturer.ukdw.ac.id/budsus/sister/Modul1.pdf
Willy Sudiarto Raharjo, Pengantar Sistem Terdistribusi,
Selengkapnya...

Contoh Soal :
Representasikan fakta berikut menggunakan logika predikat dan logika proposisi !
1. Karjo adalah seorang laki-laki
2. Karjo adalah orang jawa
3. Karjo lahir tahun 1840
4. Setiap laki-laki pasti akan mati
5. Semua orang jawa mati pada saat krakatau meletus tahun 1883
6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
7. Sekarang tahun 2010
8. Mati berarti tidak hidup
9. Jika seseorang mati maka beberapa waktu kemudian dia pasti dinyatakan telah mati

Contoh Soal :
Representasikan fakta berikut menggunakan logika predikat dan logika proposisi !
1. Karjo adalah seorang laki-laki
2. Karjo adalah orang jawa
3. Karjo lahir tahun 1840
4. Setiap laki-laki pasti akan mati
5. Semua orang jawa mati pada saat krakatau meletus tahun 1883
6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
7. Sekarang tahun 2010
8. Mati berarti tidak hidup
9. Jika seseorang mati maka beberapa waktu kemudian dia pasti dinyatakan telah mati
Jawaban :
1. Laki-Laki (Karjo)
2. Jawa (Karjo)
3. Lahir (Karjo,1840)
4. ∀u : laki-laki(A) → pastimati(u)
5. meletus(Krakatau, 1883) ∧ ∀ : [jawa(u) → mati(u, 1883)]
dapat dipecah menjadi 2 :
• meletus(Krakatau, 1883)
• ∀u : [jawa(u) → mati(u, 1883)]
6. ∀u : ∀tahun1 : ∀tahun2 : pastimati(u) ∧ lahir(u, tahun1) ∧ lahir(u, tahun2) ∧ lebihdari(tahun2 – tahun1, 150) → mati(u, tahun2)
7. sekarang ≡ 2010
8. ∀u: ∀v: [mati(u,v) → ¬hidup(u,v) ] ∧ [¬hidup(u,v) → mati(u,v)]
9. ∀u : ∀tahun1 : ∀tahun2 : mati(u, tahun1) ∧ lebihdari(tahun2 – tahun1) → mati(u, tahun2)

• Buktikan bahwa Karjo masih hidup atau mati saat ini



Dari pernyataan-pernyataan diatas akan dibuktikan bahwa Karjo tidak hidup atau telah mati pada saat ini, dengan penalaran backward : ¬hidup (karjo, sekarang)

¬hidup (Karjo, sekarang)

↑ (8, subtitusi)
mati(Karjo, sekarang)

↑ (9, subtitusi)
mati(Karjo, tahun1) ∧ lebihdari(sekarang, tahun1)

↑ (5b, subtitusi)
jawa(Karjo) ∧ lebihdari(sekarang, 1883)

↑ (2)
lebihdari(sekarang, 1883)

↑ (7, subtitusi)
lebihdari(2010, 1883)

↑ (menghitung lebihdari)
Nil
(Nilai NIL pada akhir proses pembuktian menunjukkan bahwa pembuktian sukses)

Jadi, kesimpulannya : Karjo pada saat ini telah mati.

Selengkapnya...