Praktek-Praktek Kode Etik dalam penggunaan Teknologi Informasi

Kode Etik juga dapat diartikan sebagai pola aturan, tata cara, tanda, pedoman etis dalam melakukan suatu kegiatan atau pekerjaan. Kode etik merupakan pola aturan atau tata cara sebagai pedoman berperilaku. Adanya kode etik akan melindungi perbuatan yang tidak profesional. Maksudnya bahwa dengan kode etik profesi, pelaksana profesi mampu mengetahui suatu hal yang boleh dialakukan dan yang tidak boleh dilakukan seperti penggunaan teknologi informasi. Dan sini akan membahas beberapa prinsip dalam penggunaan teknologi informasi seperti Integrity, confidentiality, dan availability juga Privacy dan Term&condition pada penggunaan IT. Prinsip integrity, confidentiality, dan availability dalam teknologi informasi Adapun penjelasan mengenai tiap-tiap prinsip, sebagai berikut:

• Integrity

Integrity merupakan aspek yang menjamin bahwa data tidak boleh berubah tanpaijin pihak yang berwenang (authorized). Bisa juga disebut menjaga keutuhansesuatu yang sudah ditetapkan sebelumnya. Secara teknis ada beberapa carauntuk menjamin aspek integrity ini, seperi misalnya dengan menggunakanmessage authentication code, hash function, digital signature.[Message authentication code (MAC), adalah alat bagi penerima pesan untuk mengetahui pengirim pesan, digunakan untuk mengotentikasi pesan tanpa perlumerahasiakan isi pesannya.Fungsi hash adalah fungsi yang secara efisien mengubah string input denganpanjang berhingga menjadi string output dengan panjang tetap yang disebut nilaihash. Umumnya digunakan untuk keperluan autentikasi dan integritas data.Tanda tangan digital atau digital signature adalah sebuah skema matematikauntuk menunjukkan keaslian pesan digital atau dokumen.

• Confidentiality

Confidentiality merupakan aspek yang menjamin kerahasiaan data atauinformasi. Kerahasiaan ini dapat diimplementasikan dengan berbagai cara, sepertimisalnya menggunakan teknologi kriptografi dengan melakukan proses enkripsi(penyandian) pada transmisi data, pengolahan data (aplikasi dan database), danpenyimpanan data (storage). Akses terhadap informasi juga harus dilakukandengan melalui mekanisme otorisasi (authorization) yang ketat.Sebagai contoh dari confidentiality adalah daftar pelanggan dari sebuah InternetService Provider (ISP). Jadi, data dari daftar pelanggan tersebut seperti nama,alamat, nomor telephone dan data lainnya harus dilindungi agar tidak tersebarpada pihak yang tidak seharusnya mendapatkan informasi tersebut.

• Avaliability

Availability merupakan aspek yang menjamin bahwa data tersedia ketikadibutuhkan. Jadi, pada prinsipnya ketersediaan data dan informasi yangmenyangkut kebutuhan suatu kegiatan merupakan suatu keharusan untuk menjalankan kegiatan tersebut. Jika avaliabillity data atau informasi yangdibutuhkan untuk menjalankan suatu proses kegiatan tidak dapat dipenuhi, makaproses kegiatan tersebut tidak akan terjadi atau terlaksana

Contoh kode etik dalam penggunaan fasilitas internet di kantor

Kode etik penggunaan fasilitas internet di kantor hampir sama dengan kode etik pengguna internet pada umumnya, hanya saja lebih dititik beratkan pada hal-hal atau aktivitas yang berkaitan dengan masalah perkantoran di suatu organisasi atauinstansi. Berikut adalah contoh kode etik penggunaan internet dikantor:
1. Hindari penggunaaan fasilitas internet diluar keperluan kantor atau untuk kepentingan sendiri.
2. Tidak menggunakan internet untuk mempublikasi atau bertukar informasi internalkantor kepada pihak luar secara ilegal.
3. Tidak melakukan kegiatan pirating, hacking atau cracking terhadap fasilitas internet kantor.
4. Mematuhi peraturan yang ditetapkan oleh kantor dalam penggunaan fasilitasinternet.

Pelanggaran Kode Etik Profesi IT 

•  Aspek Teknologi

Semua teknologi adalah pedang bermata dua, ia dapat digunakan untuk tujuan baik dan jahat.

• Aspek Hukum

Hukum untuk mengatur aktifitas di internet terutama yang berhubungan dengan kejahatan maya antara lain masih menjadi perdebatan.

• Aspek Pendidikan

Dalam kode etik hacker ada kepercayaan bahwa berbagi informasi adalah hal yang sangat baik dan berguna, dan sudah merupakan kewajiban (kode etik) bagi seorang hacker untuk membagi hasil penelitiannya dengan cara menulis kode yang open source.

• Aspek Ekonomi

Untuk merespon perkembangan di Amerika Serikat sebagai pioneer dalam pemanfatan internet telah mengubah paradigm ekonominya yaitu paradigm ekonomi berbasis jasa.

• Aspek Sosial Budaya

Akibat yang sangat nyata adanya cyber crime terhadap kehidupan social budaya di Indonesia adalah ditolaknya setiap transaksi di internet dengan menggunakan kartu kredit yang dikeluarkan oleh perbankan Indonesia.

Contoh Praktek Kode Etik Pada Penggunaan TI Misalnya pada pembuatan suatu program aplikasi, yang mana di dalam nya terdapat suatu hubungan kerjasama antara seorang professional dengan klien.

      Seorang profesional tidak dapat membuat program semaunya, ada beberapa hal yang harus ia perhatikan seperti untuk apa program tersebut nantinya digunakan oleh kliennya atau user, ia dapat menjamin keamanan (security) sistem kerja program aplikasi tersebut dari pihak-pihak yang dapat mengacaukan sistem kerjanya (misalnya: hacker, cracker, dll).
Ada 8 hal pokok yang merupakan prinsip dasar dari kode etik profesi:
1. Prinsip Standar Teknis
Setiap anggota profesi harus melaksanakan jasa profesional yang relevan dengan bidang profesinya.
2. Prinsip Kompetensi
Setiap anggota profesi harus melaksanakan pekerjaan sesuai jasa profesionalnya dengan kehati-hatian, kompetensi dan ketekunan
3. Prinsip Tanggung Jawab Profesi
Setiap anggota harus senantiasa menggunakan pertimbangan moral dan profesional dalam semua kegiatan yang dilakukan
4. Prinsip Kepentingan Publik
Setiap anggota berkewajiban untuk senantiasa bertindak memberikan jasa profesionalnya dalam kerangka pelayanan kepada publik, menghormati kepercayaan publik, dan menunjukkan komitmen atas profesionalisme.
5. Prinsip Integritas
Pelaku profesi harus menjunjung nilai tanggung jawab profesional dengan integritas setinggi mungkin untuk memelihara dan meningkatkan kepercayaan publik yang menggunakan jasa profesionalnya
6. Prinsip Obyektivitas
Setiap anggota harus menjaga obyektivitas dan bebas dari benturan kepentingan dalam pemenuhan kewajiban profesionalnya
7. Prinsip Kerahasiaan
Setiap anggota harus menghormati kerahasiaan informasi yang diperoleh selama melakukan jasa profesional dan tidak boleh memakai atau mengungkapkan informasi tersebut tanpa persetujuan, kecuali bila ada hak atau kewajiban profesional atau hukum untuk mengungkapkannya
8. Prinsip Perilaku Profesional
Setiap anggita harus berperilaku konsisten dengan reputasi profesi yang baik dan menjauhi tindakan yang dapat mendiskreditkan profesi yang diembannya

sumber : http://nurwahidsaputra.blogspot.co.id/2015/10/praktek-praktek-kode-etik-dalam.html

Read more »

Tulisan 4 : Di tahun 2016, Pemkot Bekasi akan tambah 100 titik WiFi

"Kami sudah ajukan penambahan 100 titik lagi WiFi untuk tahun depan di sejumlah ruang publik di 12 kecamatan," ujar Tedi Hafni.

Techno.id - Pemerintah kota Bekasi berencana menambah jaringan WiFi di sejumlah titik pada tahun 2016 mendatang. Total akan ada 100 titik WiFi baru di salah satu kota yang masuk wilayah administrasi provinsi Jawa Barat tersebut.

"Kami sudah ajukan penambahan 100 titik lagi WiFi untuk tahun depan di sejumlah ruang publik di 12 kecamatan," ujar Tedi Hafni, kepala bagian telematika kota Bekasi seperti dikutip dari Antara (27/10/15).

 Rencananya, WiFi nanti akan dipasang di sejumlah ruang publik seperti taman, stasiun, terminal, puskesmas, dan tempat lainnya. Nantinya, jaringan WiFi disebut akan memiliki daya jangkau 20-30 meter per titik yang dapat diakses oleh masyarakat secara gratis.

Tedi mengungkapkan bahwa untuk penambahan pengadaan jaringan WiFi nanti, pihaknya akan melakukan kerja sama dengan PT Telkom. Menurut perhitungan, biaya pemasangan akan menghabiskan dana sebesar Rp550 ribu per bulan per titik dan berlangsung selama sepuluh bulan.

Lebih lanjut Tedi mengungkapkan bahwa rencana penambahan jaringan WiFi yang termasuk dalam program internet gratis bertajuk Better atau Bekasi Terkoneksi ini nantinya juga akan didukung oleh pemerintah provinsi Jawa Barat. Menurutnya, bantuan dari pemprov itu juga dalam rangka mempersiapkan Bekasi sebagai salah satu tuan rumah penyelenggaraan Pekan Olahraga Nasional (PON) XIX tahun 2016.

Sayangnya, Tedi belum tahu bantuan apa yang nanti akan diberikan oleh pemprov Jawa Barat kepada pihaknya. Namun yang jelas, bantuan yang diberikan nanti akan difokuskan untuk membangun fasilitas WiFi di sekitar stadion.

sumber : http://www.techno.id/tech-news/di-tahun-2016-pemkot-bekasi-akan-tambah-100-titik-wifi-151028n.html

Read more »

Tulisan 3 : Implementasi Telematika Dalam Bidang Kesehatan

Perkembangan teknologi komputer dan sistem informasi sekarang ini sudah semakin meluas ke berbagai bidang termasuk salah satunya di bidang kesehatan. Di Indonesia sendiri teknologi di bidang kedokteran masih belum tersebar secara merata ke seluruh daerah. Teknologi kedokteran yang tinggi hanya dapat ditemukan di perkotaan dan itupun hanya di beberapa Rumah sakit besar atau Rumah sakit swasta Internasional yang biayanya jauh diatas mahal.

Masyarakat Indonesia pasti menyadari bahwa teknologi komputer merupakan salah satu tool penting dalam peradaban manusia untuk mengatasi (sebagian) masalah derasnya arus informasi. Teknologi informasi dan komunikasi komputer saat ini adalah bagian penting dalam manajemen informasi. Di dunia medis, dengan perkembangan pengetahuan yang begitu cepat (kurang lebih 750.000 artikel terbaru di jurnal kedokteran dipublikasikan tiap tahun), dokter akan cepat tertinggal jika tidak memanfaatkan berbagai tool untuk mengudapte perkembangan terbaru. Selain memiliki potensi dalam memfilter data dan mengolah menjadi informasi, TI mampu menyimpannya dengan jumlah kapasitas jauh lebih banyak dari cara-cara manual. Konvergensi dengan teknologi komunikasi juga memungkinkan data kesehatan di-share secara mudah dan cepat.

Disamping itu, teknologi memiliki karakteristik perkembangan yang sangat cepat. Setiap dua tahun, akan muncul produk baru dengan kemampuan pengolahan yang dua kali lebih cepat dan kapasitas penyimpanan dua kali lebih besar serta berbagai aplikasi inovatif terbaru. Dengan berbagai potensinya ini, adalah naif apabila manajemen informasi kesehatan di rumah sakit tidak memberikan perhatian istimewa

Faktor yang mempengaruhi keberhasilan serta refleksi bagi komunitas rekam medis.
Komputer banyak berperan membantu di dunia kesehatan antara lain :

• Adminstrasi 
• obat-obatan 
• penyakit → diagnostik, terapi, perawatan (monitoring status pasien 
• Penelitian

Ada juga Peranan TIK dalam bidang kesehatan seperti  adanya sebuah sistem berbasis kartu cerdas (smart card) yang dapat digunakan oleh juru medis untuk mengetahui riwayat penyakit pasien. Selain itu, peranan TIK dalam bidang kesehatan dengan digunakannya robot untuk membantu proses operasi pembedahan dan penggunaan komputer hasil pencitraan tiga dimensi untuk menunjukkan letak tumor dalam tubuh pasien.

Di Indonesia mungkin teknologi-teknologi seperti itu masih sulit didapat karena mahalnya biaya pembelian produk teknologi medis tersebut. Akan tetapi, sudah semakin banyak mahasiswa-mahasiswa kreatif yang membuat beberapa macam aplikasi medis seperti software administrasi rumah sakit, kecerdasan buatan di bidang kedokteran, mapping rumah sakit, dan lain-lain. Mungkin aplikasi tersebut tidak seberapa canggih tetapi setidaknya dapat membantu kinerja tenaga medis di Indonesia khususnya di daerah-daerah yang jauh dari perkotaan yang masih minim dengan teknologi.

a. Penerapan Telematika Dalam Bidang Kesehatan

Pada bidang kesehatan, ada berbagai macam contoh penerapan dari telematika. Ada Tele-Education, Telemedicine, serta Telematika untuk Manajemen Pelayanan Kesehatan dll. Namun dalam hal ini saya hanya akan menjelaskan salah satu dari beberapa contoh penerapan telematika dalam bidang kesehatan, yaitu Telemedicine. 

Definisi Telemedicine

Telemedicine merupakan suatu layanan kesehatan antara dokter atau praktisi kesehatan dengan pasien jarak jauh guna mengirimkan data medik pasien menggunakan komunikasi audio visual mengunakan infrastruktur telekomunikasi yang sudah ada misalnya menggunakan internet, satelit dan lain sebagainya. 

Telemedisin (telemedicine) dari arti katanya dapat diartikan sebagai kedokteran jarak jauh. Layanan kedokteran (klinis) dimaksud dapat berupa (transfer/ transmisi) data (medis) dari proses wawancara (misal, anamnesis = wawancara dokter-pasien; dokter-mahasiswa dalam proses edukasi), pemeriksaan fisik, pemeriksaan laboratorium, pemeriksaan penunjang, peresepan bahkan tindakan perawatan dan pengobatan. Data medis yang nantinya menjadi informasi yang lebih bermakna itu dapat berwujud format teks, citra/gambar/foto, video, audio/suara, biosinyal. Jarak jauh dimaksudkan adanya perbedaan geografis (mis. regional, internasional) antara pemberi layanan dan yang dilayani.  

Layanan kedokteran jarak jauh ini dapat terlaksana berkat pemanfaatan teknologi informasi dan komunikasi (TIK). Telemedicine bukanlah teknologi yang benar-benar baru. Bukan hanya dalam khayalan. Telemedicine modern sudah ada sejak telepon digunakan. Telemedicine masa kini akan lebih mengacu pada pemanfaatan TIK yang lebih canggih. Istilah telemedicine disini lebih spesifik pada bidang kedokteran (klinis) dibanding istilah telehealth, telecare, telenursing.

Tipe-tipe Teknologi yang Digunakan pada Telemedicine

Dua jenis teknologi yang berbeda paling banyak digunakan dalam aplikasi telemedicine sekarang ini. Yang pertama dikenal dengan istilah store dan forward digunakan untuk mentransfer image digital dari satu lokasi ke lokasi yang lain. Sebuah citra digital diambil menggunakan kamera digital (disimpan) dan kemudian di kirim (forward) oleh komputer ke lokasi lainnya.

Hal ini biasanya dilakukan untuk kondisi yang tidak darurat, ketika sebuah diagnosis atau konsultasi dibuat dalam kurun waktu 24-48 jam dan dikirim kembali. Gambar mungkin dikirimkan dalam 1 gedung, antar gedung dalam 1 kota atau dari beberapa lokasi ditempat yang berbeda negara. Teleradiology, pengiriman gambar X-ray, CT scan atau MRI adalah aplikasi yang paling sering digunakan dalam dunia telemedicine saat ini. 

Ada ratusan pusat kesehatan, klinik dan dokter pribadi yang menggunakan beberapa bentuk teleradiologi. Beberapa radiologis menginstall teknologi komputer di rumah mereka, sehinggga mereka bisa menerima gambar yang dikirim ke mereka dan melakukan diagnosis, daripada harus menempuh perjalanan ke klinik atau rumah sakit tertentu.

Telepathology adalah contoh lain dari penggunaan teknologi telemedicine. Citra pathologi dikirim dari satu lokasi ke lokasi lainnya untuk konsultasi diagnosis. Dermatologi juga cocok untuk pengaplikasian telemedicine (meskipun praktisi lebih banyak mencoba menggunakan teknologi interaktif untuk pengamatan kulit). Citra digital dari kondisi suatu kulit diambil dan dikirim ke dermatologist untuk diagnosis.

Sumber : http://world-of-wilhan.blogspot.co.id/2013/01/implementasi-telematika-dalam-bidang.html

Read more »

Tugas 5 : Antarmuka (Interface) Telematika, Fitur Navigasi dan Teknologinya

Sebelum membahas tentang teknologi yang terkait dengan antar muka telematika, ada baiknya terlebih dahulu memahami apa yang dimaksud dengan antar muka (interface). Pengertian antarmuka ( interface) adalah salah satu layanan yang disediakan sistem operasi sebagai sarana interaksi antara pengguna dengan sistem operasi. Antarmuka (interface) adalah komponen sistem operasi yang bersentuhan langsung dengan pengguna.

Terdapat dua jenis antarmuka, yaitu Command Line Interface(CLI) danGraphical User Interface(GUI).

Command Line Interface(CLI)

CLI adalah tipe antarmuka dimana pengguna berinteraksi dengan sistem operasi melalui text-terminal. Pengguna menjalankan perintah dan program di sistem operasi tersebut dengan cara mengetikkan baris-baris tertentu. Meskipun konsepnya sama, tiap-tiap sistem operasi memiliki nama atau istilah yang berbeda untuk CLI-nya. UNIX memberi nama CLI-nya sebagai bash, ash, ksh, dan lain sebagainya. Microsoft Disk Operating System (MS-DOS) memberi nama command.com atau Command Prompt. Sedangkan pada Windows Vista, Microsoft menamakannya PowerShell. Pengguna Linux mengenal CLI pada Linux sebagai terminal, sedangkan pada Apple namanya adalah commandshell.

Graphical User Interface(GUI)

GUI adalah tipe antarmuka yang digunakan oleh pengguna untuk berinteraksi dengan sistem operasi melalui gambar-gambar grafik, ikon, menu, dan menggunakan perangkat penunjuk ( pointing device) seperti mouse atau track ball. Elemen-elemen utama dari GUI bisa diringkas dalam konsep WIMP ( window, icon, menu, pointing device).

Terdapat 6 macam fitur Teknologi yang terkait antar muka telematika. Fitur-fitur itu antara lain:  

• Head Up Display (HUD) 
• Tangible User Interface
• Computer Vision 
• Browsing Audio Data
• Speech Recognition
• Speech Synthesis

Disini saya akan membahas apa itu speech recognition adalah : Pengenalan ucapan atau pengenalan wicara—dalam istilah bahasa Inggrisnya, automatic speech recognition (ASR)—adalah suatu pengembangan teknik dan sistem yang memungkinkan komputer untuk menerima masukan berupa kata yang diucapkan. Teknologi ini memungkinkan suatu perangkat untuk mengenali dan memahami kata-kata yang diucapkan dengan cara digitalisasi kata dan mencocokkan sinyal digital tersebut dengan suatu pola tertentu yang tersimpan dalam suatu perangkat. Kata-kata yang diucapkan diubah bentuknya menjadi sinyal digital dengan cara mengubah gelombang suara menjadi sekumpulan angka yang kemudian disesuaikan dengan kode-kode tertentu untuk mengidentifikasikan kata-kata tersebut. Hasil dari identifikasi kata yang diucapkan dapat ditampilkan dalam bentuk tulisan atau dapat dibaca oleh perangkat teknologi sebagai sebuah komando untuk melakukan suatu pekerjaan, misalnya penekanan tombol pada telepon genggam yang dilakukan secara otomatis dengan komando suara. 

Alat pengenal ucapan, yang sering disebut dengan speech recognizer, membutuhkan sampel kata sebenarnya yang diucapkan dari pengguna. Sampel kata akan didigitalisasi, disimpan dalam komputer, dan kemudian digunakan sebagai basis data dalam mencocokkan kata yang diucapkan selanjutnya. Sebagian besar alat pengenal ucapan sifatnya masih tergantung kepada pembicara. Alat ini hanya dapat mengenal kata yang diucapkan dari satu atau dua orang saja dan hanya bisa mengenal kata-kata terpisah, yaitu kata-kata yang dalam penyampaiannya terdapat jeda antar kata. Hanya sebagian kecil dari peralatan yang menggunakan teknologi ini yang sifatnya tidak tergantung pada pembicara. Alat ini sudah dapat mengenal kata yang diucapkan oleh banyak orang dan juga dapat mengenal kata-kata kontinu, atau kata-kata yang dalam penyampaiannya tidak terdapat jeda antar kata.

Pengenalan ucapan dalam perkembangan teknologinya merupakan bagian dari pengenalan suara (proses identifikasi seseorang berdasarkan suaranya). Pengenalan suara sendiri terbagi menjadi dua, yaitu pengenalan pembicara (identifikasi suara berdasarkan orang yang berbicara) dan pengenalan ucapan (identifikasi suara berdasarkan kata yang diucapkan).

Perkembangan alat pengenal ucapan

Sejak tahun 1940, perusahaan American Telephone and Telegraph Company (AT&T) sudah mulai mengembangkan suatu perangkat teknologi yang dapat mengidentifikasi kata yang diucapkan manusia. Sekitar tahun 1960-an, para peneliti dari perusahaan tersebut sudah berhasil membuat suatu perangkat yang dapat mengidentifikasi kata-kata terpisah dan pada tahun 1970-an mereka berhasil membuat perangkat yang dapat mengidentifikasi kata-kata kontinu. Alat pengenal ucapan kemudian menjadi sangat fungsional sejak tahun 1980-an dan masih dikembangkan dan terus ditingkatkan keefektifannya hingga sekarang.

Jenis-jenis pengenalan ucapan

Berdasarkan kemampuan dalam mengenal kata yang diucapkan, terdapat 5 jenis pengenalan kata, yaitu : Kata-kata yang terisolasi Proses pengidentifikasian kata yang hanya dapat mengenal kata yang diucapkan jika kata tersebut memiliki jeda waktu pengucapan antar kata

Kata-kata yang berhubungan Proses pengidentifikasian kata yang mirip dengan kata-kata terisolasi, namun membutuhkan jeda waktu pengucapan antar kata yang lebih singkat

Kata-kata yang berkelanjutan Proses pengidentifikasian kata yang sudah lebih maju karena dapat mengenal kata-kata yang diucapkan secara berkesinambungan dengan jeda waktu yang sangat sedikit atau tanpa jeda waktu. Proses pengenalan suara ini sangat rumit karena membutuhkan metode khusus untuk membedakan kata-kata yang diucapkan tanpa jeda waktu. Pengguna perangkat ini dapat mengucapkan kata-kata secara natural

Kata-kata spontan Proses pengidentifikasian kata yang dapat mengenal kata-kata yang diucapkan secara spontan tanpa jeda waktu antar kata Verifikasi atau identifikasi suara Proses pengidentifikasian kata yang tidak hanya mampu mengenal kata, namun juga mengidentifikasi siapa yang berbicara.

Proses kerja alat pengenal ucapan
 

Alat pengenal ucapan memiliki empat tahapan dalam prosesnya, yaitu :

1.    Tahap penerimaan masukan

Masukan berupa kata-kata yang diucapkan lewat pengeras suara.

2.    Tahap ekstraksi

Tahap ini adalah tahap penyimpanaan masukan yang berupa suara sekaligus pembuatan basis data sebagai pola. Proses ekstraksi dilakukan berdasarkan metode Model Markov Tersembunyi atau Hidden Markov Model (HMM), yang merupakan model statistik dari sebuah sistem yang diasumsikan oleh Markov sebagai suatu proses dengan parameter yang tidak diketahui. Tantangan dalam model statistik ini adalah menentukan parameter-parameter tersembunyi dari parameter yang dapat diamati. Parameter-parameter yang telah kita tentukan kemudian digunakan untuk analisis yang lebih jauh pada proses pengenalan kata yang diucapkan. Berdasarkan HMM, proses pengenalan ucapan secara umum menghasilkan keluaran yang dapat dikarakterisasikan sebagai sinyal. Sinyal dapat bersifat diskrit (karakter dalam abjad) maupun kontinu (pengukuran temperatur, alunan musik). Sinyal dapat pula bersifat stabil (nilai statistiknya tidak berubah terhadap waktu) maupun nonstabil (nilai sinyal berubah-ubah terhadap waktu). Dengan melakukan pemodelan terhadap sinyal secara benar, dapat dilakukan simulasi terhadap masukan dan pelatihan sebanyak mungkin melalui proses simulasi tersebut sehingga model dapat diterapkan dalam sistem prediksi, sistem pengenalan, maupun sistem identifikasi. Secara garis besar model sinyal dapat dikategorikan menjadi dua golongan, yaitu: model deterministik dan model statistikal. Model deterministik menggunakan nilai-nilai properti dari sebuah sinyal seperti: amplitudo, frekuensi, dan fase dari gelombang sinus. Model statistikal menggunakan nilai-nilai statistik dari sebuah sinyal seperti: proses Gaussian, proses Poisson, proses Markov, dan proses Markov Tersembunyi. Suatu model HMM secara umum memiliki unsur-unsur sebagai berikut:

N, yaitu jumlah bagian dalam model. Secara umum bagian tersebut saling terhubung satu dengan yang lain, dan suatu bagian bisa mencapai semua bagian yang lain, serta sebaliknya (disebut dengan model ergodik). Namun hal tersebut tidak mutlak karena terdapat kondisi lain dimana suatu bagian hanya bisa berputar ke diri sendiri dan berpindah ke satu bagian berikutnya. Hal ini bergantung pada implementasi dari model.

M, yaitu jumlah simbol observasi secara unik pada tiap bagiannya, misalnya: karakter dalam abjad, dimana bagian diartikan sebagai huruf dalam kata.

Probabilita Perpindahan Bagian { } = ij A a

Probabilita Simbol Observasi pada bagian j, { } () = j Bb k

Inisial Distribusi Bagian i p p

3.    Tahap ekstraksi tampilan Penyaringan

sinyal suara dan pengubahan sinyal suara analog ke digital’

4.    Tahap tugas pemodelan

Pembuatan suatu model HMM dari data-data yang berupa sampel ucapan sebuah kata yang sudah berupa data digital

5.    Tahap sistem pengenalan HMM

Penemuan parameter-parameter yang dapat merepresentasikan sinyal suara untuk analisis lebih lanjut.

6.    Tahap pembandingan

Tahap ini merupakan tahap pencocokan data baru dengan data suara (pencocokan tata bahasa) pada pola. Tahap ini dimulai dengan proses konversi sinyal suara digital hasil dari proses ekstraksi ke dalam bentuk spektrum suara yang akan dianalisa dengan membandingkannya dengan pola suara pada basis data. Sebelumnya, data suara masukan dipilah-pilah dan diproses satu per satu berdasarkan urutannya. Pemilihan ini dilakukan agar proses analisis dapat dilakukan secara paralel. Proses yang pertama kali dilakukan ialah memproses gelombang kontinu spektrum suara ke dalam bentuk diskrit. Langkah berikutnya ialah proses kalkulasi yang dibagi menjadi dua bagian :

Transformasi gelombang diskrit menjadi data yang terurut Gelombang diskrit berbentuk masukan berukuran n yang menjadi objek yang akan dibagi pada proses konversi dengan cara pembagian rincian waktu

7.    Menghitung frekuensi pada tiap elemen data yang terurut

Selanjutnya tiap elemen dari data yang terurut tersebut dikonversi ke dalam bentuk bilangan biner. Data biner tersebut nantinya akan dibandingkan dengan pola data suara dan kemudian diterjemahkan sebagai keluaran yang dapat berbentuk tulisan ataupun perintah pada perangkat.

8.    Tahap validasi identitas pengguna

Alat pengenal ucapan yang sudah memiliki sistem verifikasi/identifikasi suara akan melakukan identifikasi orang yang berbicara berdasarkan kata yang diucapkan setelah menerjemahkan suara tersebut menjadi tulisan atau komando.

Aplikasi alat pengenal ucapan

Bidang komunikasi

Komando Suara adalah suatu program pada komputer yang melakukan perintah berdasarkan komando suara dari pengguna. Contohnya pada aplikasi Microsoft Voice yang berbasis bahasa Inggris. Ketika pengguna mengatakan “Mulai kalkulator” dengan intonasi dan tata bahasa yang sesuai, komputer akan segera membuka aplikasi kalkulator. Jika komando suara yang diberikan sesuai dengan daftar perintah yang tersedia, aplikasi akan memastikan komando suara dengan menampilkan tulisan “Apakah Anda meminta saya untuk ‘mulai kalkulator’?”. Untuk melakukan verifikasi, pengguna cukup mengatakan “Lakukan” dan komputer akan langsung beroperasi.

Pendiktean

Pendiktean adalah sebuah proses mendikte yang sekarang ini banyak dimanfaatkan dalam pembuatan laporan atau penelitian. Contohnya pada aplikasi Microsoft Dictation yang merupakan aplikasi yang dapat menuliskan apa yang diucapkan oleh pengguna secara otomatis.

Telepon

Pada telepon, teknologi pengenal ucapan digunakan pada proses penekanan tombol otomatis yang dapat menelpon nomor tujuan dengan komando suara.

Bidang kesehatan

Alat pengenal ucapan banyak digunakan dalam bidang kesehatan untuk membantu para penyandang cacat dalam beraktivitas. Contohnya pada aplikasi Antarmuka Suara Pengguna atau Voice User Interface (VUI) yang menggunakan teknologi pengenal ucapan dimana pengendalian saklar lampu misalnya, tidak perlu dilakukan secara manual dengan menggerakkan saklar tetapi cukup dengan mengeluarkan perintah dalam bentuk ucapan sebagai saklarnya. Metode ini membantu manusia yang secara fisik tidak dapat menggerakkan saklar karena cacat pada tangan misalnya. Penerapan VUI ini tidak hanya untuk lampu saja tapi bisa juga untuk aplikasi-aplikasi kontrol yang lain.

Bidang militer

Pelatihan Penerbangan Aplikasi alat pengenal ucapan dalam bidang militer adalah pada pengatur lalu-lintas udara atau yang dikenal dengan Air Traffic Controllers (ATC) yang dipakai oleh para pilot untuk mendapatkan keterangan mengenai keadaan lalu-lintas udara seperti radar, cuaca, dan navigasi. Alat pengenal ucapan digunakan sebagai pengganti operator yang memberikan informasi kepada pilot dengan cara berdialog.

Helikopter

Aplikasi alat pengenal ucapan pada helikopter digunakan untuk berkomunikasi lewat radio dan menyesuaikan sistem navigasi. Alat ini sangat diperlukan pada helikopter karena ketika terbang, sangat banyak gangguan yang akan menyulitkan pilot bila harus berkomunikasi dan menyesuaikan navigasi dengan terlebih dahulu memencet tombol tertentu.

Kelebihan alat pengenal ucapan

Kelebihan dari peralatan yang menggunakan teknologi ini adalah :

Cepat
Teknologi ini mempercepat transmisi informasi dan umpan balik dari transmisi tersebut. Contohnya pada komando suara. Hanya dalam selang waktu sekitar satu atau dua detik setelah kita mengkomandokan perintah melalui suara, komputer sudah memberi umpan balik atas komando kita.

Mudah digunakan

Kemudahan teknologi ini juga dapat dilihat dalam aplikasi komando suara. Komando yang biasanya kita masukkan ke dalam komputer dengan menggunakan tetikus atau papan ketik kini dapat dengan mudahnya kita lakukan tanpa perangkat keras, yakni dengan komando suara.

Kekurangan alat pengenal ucapan
 Kekurangan dari peralatan yang menggunakan teknologi ini adalah :

Rawan terhadap gangguan

Hal ini disebabkan oleh proses sinyal suara yang masih berbasis frekuensi. Ketika sebuah informasi dalam sinyal suara mempunyai komponen frekuensi yang sama banyaknya dengan komponen frekuensi gangguannya, akan sulit untuk memisahkan gangguan dari sinyal suara

Jumlah kata yang dapat dikenal terbatas

Hal ini disebabkan pengenal ucapan bekerja dengan cara mencari kemiripan dengan basis data yang dimiliki. 

sumber : http://aldionbetoro.blogspot.co.id/2014/11/teknologi-yang-terkait-antar-muka.html

Read more »

Tugas 4 : Jaringan Wireless dan Terminalnya

Wireless

Wireless atau  disebut nirkabel, adalah teknologi yang menghubungkan dua piranti untuk bertukar data tanpa media kabel. Data dipertukarkan melalui media gelombang cahaya tertentu (seperti teknologi infra merah pada remote TV) atau gelombang radio (seperti bluetooth pada komputer dan ponsel) dengan frekuensi tertentu.

Kelebihan teknologi ini adalah mengeliminasi penggunaan kabel, yang bisa cukup menganggu secara estetika, dan juga kerumitan instalasi untuk menghubungkan lebih dari 2 piranti bersamaan. Misalnya: untuk menghubungkan sebuah 1 komputer server dengan 100 komputer client, dibutuhkan minimal 100 buah kabel, dengan panjang bervariasi sesuai jarak komputer klien dari server. Jika kabel2 ini tidak melalui jalur khusus yang ditutupi (seperti cable tray atau conduit), hal ini dapat mengganggu pemandangan mata atau interior suatu bangunan. Pemandangan tidak sedap ini tidak ditemui pada hubungan antar piranti berteknologi nirkabel.

Wireless adalah teknologi tanpa kabel, dalam hal ini adalah melakukan hubungan telekomunikasi dengan menggunakan gelombang elektromagnetik sebagai pengganti kabel. Saat ini teknologi wireless berkembang dengan pesat, secara kasat mata dapat dilihat dengan semakin banyaknya pemakaian telepon sellular, selain itu berkembang pula teknologi wireless yang digunakan untuk akses internet
contohnya :

• Infrared(IR)
• Wireless wide area network (bluetooth)
• Radio Frequency (RF)
• Wireless personal area network /telepon seluler(GSM/CDMA)
• Wireless LAN (802.11)

Wireles LAN (WLAN)

Wireless LAN (WLAN) adalah teknologi LAN yang menggunakan frekuensi dan transmisi radio sebagai media penghantarnya, pada area tertentu, menggantikan fungsi kabel. Pada umumnya WLAN digunakan sebagai titik distribusi di tingkat pengguna akhir, melalui sebuah atau beberapa perangkat yang disebut dengan Access Point (AP), berfungsi mirip hub dalam terminologi jaringan kabel ethernet. Di tingkat backbone, sejumlah AP tersebut tetap dihubungkan dengan media kabel. WLAN dimaksudkan sebagai solusi alternatif media untuk menjangkau pengguna yang tidak terlayani oleh jaringan kabel, serta untuk mendukung pengguna yang sifatnya bergerak atau berpindah-pindah (mobilitas).

Frekuensi yang kini umum dipergunakan untuk aplikasi WLAN adalah 2.4 Ghz dan 5.8 Ghz yang secara internasional dimasukkan ke dalam wilayah licensce exempt (bebas lisensi) dan dipergunakan bersama oleh publik (frequency sharing). Belakangan oleh forum WSIS yang disponsori oleh PBB dan badan dunia seperti ITU, serta industri teknologi, frekuensi ini direkomendasikan sebagai tulang punggung penetrasi Internet di negara berkembang terutama untuk area yang belum terlayani oleh infrastruktur telekomunikasi konvensional.

Teknologi yang digunakan untuk WLAN mayoritas menggunakan standar IEEE 802.11 (a/b/g). Perbedaan antar standar ini adalah pada modulasi transmisinya yang menentukan kapasitas layanan yang dihasilkan. Pada standar 802.11b, kapasitas maksimalnya 11 Mbps, 802.11g dapat mencapai 20 Mbps keduanya bekerja di frekuensi 2.4 Ghz. Sementara standar 802.11a bekerja pada frekuensi 5.8 Ghz. Karena lebar pita frekuensi yang lebih luas dan modulasi yang lebih baik, maka perangkat yang berbasis standar ini mampu melewatkan data hingga kapasitas 54 dan 108 Mbps dan menampung jumlah pengguna lebih banyak.

Ada dua tipe mode yang di gunakan pada jaringan wireless yaitu :   

• Mode Ad-Hoc 

 

Mode ini sama seperti mode jaringan peer to peer, jaringan ini di bangun menggunakan komponen LAN card tanpa menggunakan access point.

• Mode Infrastruktur 

 Mode ini menggunakan wirelles Lan Card pada setiap komputer. Mode ini juga menggunakan access point sebagai media penghubung, jadi client anggota jaringan harus melalui access point terlebih dahulu sebelum dapat berhubungan dengan client lain

Teknologi Wireless

Tekonologi utama yang banyak digunakan untuk membuat jaringan nirkabel adalah keluarga protokol 802.11, dikenal juga sebagai Wi-Fi. Sementara protokol-protokol baru seperti 802.16 (dikenal juga sebagi WiMax) sepertinya bias menyelesaikan beberapa kesulitan yang tampak pada 802.11, mereka tampaknya harus melalui jalan yang panjang untuk dapat menyaingi popularitas peralatan 802.11.

Ada banyak protokol di keluarga 802.11, dan tidak semua berhubungan langsung dengan protokol radio itu sendiri. Ada tiga (3) standar nirkabel yang sekarang di implementasikan dikebanyakan peralatan yang sudah siap pakai, yaitu:

• 802.11b. Disahkan oleh IEEE pada tanggal 16 September 1999, 802.11b mungkin adalah protokol jaringan nirkabel yang paling populer yang dipakai saat ini. Jutaan alat-alat untuk mendukungnya telah dikeluarkan sejak 1993. Dia memakai modulasi yang dikenal sebagai Direct Sequence Spread Spectrum (DSSS)di bagian dari ISM band dari 2.400 sampai 2.495 GHz. Dia mempunyai kecepatan maximum 11 Mbps, dengan kecepatan sebenernya yang bisa dipakai sampai 5 Mbps.
• 802.11g. Karena belum disahkan sampai Juni 2003, 802.11g merupakan pendatang yang telat di pasar nirkabel. Biarpun terlambat, 802.11g sekarang menjadi standar protokol jaringan nirkabel de facto karena sekarang dia pada hakekatnya dipakai disemua laptop dan kebanyakan alat-alat handheld lainnya. 802.11g memakai ISM band yang sama dengan 802.11b, tetapi memakai modulasi yang bernama Orthogonal Frequency Division Multiplexing (OFDM). Dia punya kecepatan maximum data 54 Mbps (dengan throughput yang bisa dipakai sebesar 22 Mbps), dan bisa turun menjadi 11 Mbps DSSS atau lebih lambat untuk kecocokan dengan 802.11b yang sangat populer.
• 802.11a. Disahkan juga oleh IEEE pada tanggal 16 September 1999, 802.11a memakai OFDM. Dia punya kecepatan maximum data 54 Mbps, dengan throughput sampai setinggi 27 Mbps. 802.11a beroperasi di ISM band antara 5.745 dan 5.805 GHz, dan di bagian dari UNII band diantara 5.150 dan 5.320 GHz. Ini membuatnya tidak cocok dengan 802.11b atau 802.11g, dan frekuensi yang lebih tinggi berarti jangkauannya lebih pendek dari pada 802.11b/g dengan daya pancar yang sama. Memang bagian dari spektrumnya relatif tidak dipakai dibandingkan dengan 2.4 GHz, sayangnya dia hanya legal digunakan di sedikit negara di dunia. Tanyakan kepada pihak yang berwenang sebelum memakai peralatan 802.11a, terutama untuk penggunaan di luar ruangan. Peralatan 802.11a sebetulnya relatif murah, tapi tidak sepopuler 802.11b/g.

Tipe Jaringan Wireless 

1. Wireless Wide Area Networks (WWAN)

Teknologi WWAN memungkinkan pengguna untuk membangun koneksi nirkabel melalui jaringan publik maupun privat. Koneksi ini dapat dibuat mencakup suatu daerah yang sangat luas, seperti kota atau negara, melalui penggunaan beberapa antena atau juga sistem satelit yang diselenggarakan oleh penyelenggara jasa telekomunikasi.

2. Wireless Metropolitan Area Networks (WMAN)

Teknologi WMAN memungkinkan pengguna untuk membuat koneksi nirkabel antara beberapa lokasi di dalam suatu area metropolitan, contohnya antara gedung yang berbeda-beda dalam suatu kota atau pada kampus universitas. Hal ini dapat dicapai tanpa biaya serat optik atau kabel tembaga yang terkadang sangat mahal. Sebagai tambahan, WMAN dapat bertindak sebagai backup bagi jaringan yang berbasis kabel dan dia akan aktif ketika jaringan yang berbasis kabel tadi mengalami gangguan. WMAN menggunakan gelombang radio atau cahaya inframerah untuk mentransmisikan data.

3. Wireless Local Area Networks (WLAN)

Teknologi WLAN membolehkan pengguna untuk membangun jaringan nirkabel dalam suatu area yang sifatnya lokal. Contohnya dalam lingkungan gedung kantor, gedung kampus atau pada area publik, seperti bandara atau kafe.


4. Wireless Personal Area Networks (WPAN)

 

Teknologi WPAN membolehkan pengguna untuk membangun suatu jaringan nirkabel (ad hoc) bagi peranti sederhana, seperti PDA, telepon seluler atau laptop. Saat ini, dua teknologi kunci dari WPAN adalah Bluetooth dan cahaya infra merah. Bluetooth merupakan teknologi pengganti kabel yang menggunakan gelombang radio untuk mentransmisikan data sampai dengan jarak sekitar 30 kaki.

Cara Kerja Wireless

Wireless LAN bekerja dengan menggunakan gelombang radio. Sinyal radio menjalar dari pengirim ke penerima melalui free space, pantulan, difraksi, Line of Sight dan Obstructed LOS. Ini berarti sinyal radio tiba di penerima melalui banyak jalur (Multipath), dimana tiap sinyal (pada jalur yang berbeda-beda) memiliki level kekuatan, delay dan fasa yang berbeda-beda. Awalnya teknologi ini didesain untuk aplikasi perkantoran dalam ruangan, namun sekarang Wireless LAN dapat digunakan pada jaringan peer to peer dalam ruangan dan juga point to point diluar ruangan maupun point to multipoint pada aplikasi bridge.

Wireless LAN di desain sangat modular dan fleksibel. Jaringan ini juga bisa di optimalkan pada lingkungan yang berbeda. Dapat mengatasi kendala geografis dan rumitnya instalasi kabel.

Mirip dengan jaringan Ethernet kabel, sebuah wireless LAN mengirim data dalam bentuk paket. Setiap adapter memiliki nomor ID yang permanen dan unik yang berfungsi sebagai sebuah alamat, dan tiap paket selain berisi data juga menyertakan alamat penerima dan pengirim paket tersebut. Sama dengan sebuah adapter Ethernet, sebuah kartu wireless LAN akan memeriksa kondisi jaringan sebelum mengirim paket ke dalamnya. Bila jaringan dalam keadaan kosong, maka paket langsung dikirimkan. Bila kartu mendeteksi adanya data lain yang sedang menggunakan frekuensi radio, maka ia akan menunggu sesaat kemudian memeriksanya kembali.

Terminal

Sebuah layanan yang digunakan untuk mengakses data, aplikasi sampai desktop Windows yang terdapat di sebuah Komputer/Server jarak jauh melalui sebuah jaringan.

Terminal Services sangat cocok di gunakan untuk pengembangan aplikasi yang terpusat (tersentralisasi), perusahaan2 yang masih banyak memiliki komputer lama (dengan resource yang rendah) dan tidak mampu melakukan peremajaanresource, tidak terlalu membutuhkan bandwidth yang besar dan sangat cocok untuk lingkungan intranet.

Dalam hal ini bukan tidak cocok untuk menggunakan koneksi internet tapi dengan melakukan koneksi ke Terminal Serverdengan menggunakan protokol RDP tanpa dibungkus dengan enkripsi maka akan sangat riskan dan rawan ancaman dari cracking.

Tapi jangan khawatir dengan hal itu karena di Windows 2008 Server Terminal Services hadir dengan kemampuan baru yang salah satunya adalah Terminal Service Gateway-nya yang mengijinkan user untuk melakukan koneksi ke Terminal Server dengan manggunakan protokol HTTPS yang menggunakan port 443. Dengan menggunakan protokol HTTPS koneksi ke server akan dienkripsi dan hal ini akan membuat koneksi jauh lebih aman, untuk lebih detailnya akan saya bahas dalam artikel berikutnya.

Dump Terminal mengirimkan data dan informasi lainya ke Mainframe dan selanjutnya Mainframe-lah yang akan melakukan proses, selanjutnya setelah selesai di proses Mainframe akan mengirimkan informasi yang telah di proses ke Dump Terminal kemudian akan memperbarui tampilan dari Dump Terminal.

sumber : http://rezadaniss.blogspot.co.id/2013/10/jaringan-wireless-dan-terminalnya.html

Read more »

Value, Domain dan Type

   Value

Suatu nilai (value) adalah hal apapun yang mungkin dapat dievaluasi, disimpan dalam suatu struktur data, dikirimkan sebagai suatu argumentasi atau dikembalikan lagi sebagai hasil.

Suatu perhitungan adalah suatu urutan operasi yang diberlakukan untuk suatu nilai untuk menghasilkan suatu nilai. Dengan demikian nilai-nilai dan operasi adalah dasar perhitungan.

Dalam matematika, kumpulan dari argumen-argumen dan hasil-hasil dari fungsi dikenal dengan domain dan co-domain. Domain akan ditandai sebagai kumpulan dari nilai-nilai yang dikirimkan sebagai argumen-argumen atau dikembalikan sebagai hasil.

Nilai-nilai kebenaran, karakter, integer, real, file, pointers, record, set, prosedur dan abstrak fungsi, lingkungan, perintah dan definisi tidak lain bagian dari bahasa pemrograman.

Dua kategori domain, yaitu :

a. Primitive Domain

Sifatnya atomic b. Compound Domain

Kumpulan   dari   nilai-nilai   yang   dibangun   dari   domain-domain pembangun satu atau domain pembangun yang lain.

Suatu domain adalah satu kumpulan elemen-elemen dan digabungkan dengan sekumpulan operasi.

Domain

Elemen-elemen Teori Domain

Ada beberapa compound domain yang digunakan dalam computer sign, yaitu: array, tupple, record, union, set, list, tree, file, relation, definition dan mapping.

Compound domain dibangun oleh suatu domain pembangun. Suatu domain pembangun adalah :

a. Product domain b. Sum domain

c. Function domain d. Power domain

e. Recursive domain

Product Domain

Domain-domain yang dibangun oleh pembangun product domain disebut tuples dalam ML, record dalam Cobol, Pascal dan ADA, struktur dalam C dan C++. Bentuk product domain adalah dasar dari database relational dan pemrograman logic.

Pada kasus biner, product domain pembangun, x, membangun domain A x B

dari domain A dan B.

Jika a adalah elemen dari A dan b adalah suatu elemen dari B maka (a,b)

adalah suatu elemen dari A x B.

A X B = {(a,b)| a in A, b in B}

Product Domain : D0 x … x Dn

Assembly operation: (a0,…,an) in D0 x…x Dn where ai in Di and

D0 x…x Dn = {(a0,…an) | ai in Di}

Disassembly operation: (a0,…,an) | i = ai for 0 <= i <= n

Domain  produk  disebut  “Cartesian”  atau  “Cross”  produk.  Dalam  Pascal disebut record, sedangkan dalam C disebut suatu struktur.

Sum Domain

Domain-domain  yang  dibangun  oleh  pembangun  sum  domain  disebut  varian record dalam Pascal dan ADA, Unions dalam Algol-68, Constructor dalam ML.

Dalam kasus biner, sum domain pembangun,+, membangun domain A + B dari domain A dan B.

Jika a adalah elemen dari A dan b adalah elemen dari B maka (A,a) dan

(B,b) adalah unsur-unsur A + B

A + B = {(A,a) | a in A} union {(B,b) | b in B}

Dimana A dan B disebut tags dan digunakan untuk membedakan pendukung elemen A dan pendukung elemen B.

Sum domain disebut juga disjoint union atau co-product domain. Didalam

Pascal disebut record varian dan dalam C disebut suatu struktur.

Sum domain : D0 +…+ Dn

Assembly operations: (Di, di) in D0 +…+ Dn and D0 +…+ Dn = unioni = 0 n

{(Di,d) | d in Di}

Disassembly operations: Di(Di,di) = di

Function Domain

Domain-domain yang dibangun oleh pembangun function domain disebut fungsi di dalam Haskell, prosedur di dalam Modula-3 dan proses dalam SR.

Pembangun function domain membentuk domain A �   B dari domain A dan B. domain A �  B terdiri dari semua fungsi A ke B. A disebut domain dan B disebut co-domain.

(lamda x.e) adalah suatu elemen di A �  B dimana e adalah suatu ungkapan yang berisi kejadian dari suatu identifier x, dimana a adalah nilai A merubah kejadian x di dalam e, nilai e[a:x] menghasilkan B.

Function Domain : A �  B

Assembly operation: (lamda x.E) in A �  B where for all a in A, E[x:a] is a unique value in B

Disassembly operation: (g a) in B, for g in A �  b and a in A

Power Domain

Teori set yang menyediakan suatu notasi untuk uraian perhitungan. setL adalah suatu bahasa pemrograman yang didasarkan pada kumpulan (set) dan digunakan untuk menyediakan compiler ADA. Pascal menyediakan operasi set union dan intersection.

Kumpulan dari semua subset dari set adalah power set digambarkan sebagai berikut:

PS = { s | s is a subset of S}

Subtypes dan subranges adalah contoh dari pembangun power set.

Beberapa bahasa menyediakan mekanisme untuk dekomposisi suatu jenis ke dalam subtypes. Enumerasi adalah elemen dari subtype yang lainnya adalah subranges.

Power domain membangun suatu domain dari elemen-elemen set. Untuk domain A, pembangun power domain P() menciptakan domain P(A), suatu kumpulan yang anggotanya adalah subset dari A.

Power Domain : PD

Assembly operations: ø in PD, {a} in PD for a in D, and Si union Sj in PD

for Si, Sj in PD

Recursively Defined Domain

Recursively defined domain adalah domain yang didefinisikan dari bentuk

D : … D …

Definisi disebut Recursively sebab nama domain “recurs” pada sisi kanan

dari definisi. Recursively defined domain tergantung pada abstrak karena nama domain adalah suatu bagian penting dari definisi domain.

Lebih dari satu set boleh mencukupi suatu recursively defined. Bagaimanapun, mungkin saja ditunjukkan bahwa suatu recursively defined selalu mempunyai solusi terkecil. Solusi terkecil adalah suatu subset solusi yang lain.

Limit Construction

D0 = null

Di+1 = e[D:Di] for i = 0,… D = limi �  infty Di

Type System

Prosentase besar kesalahan di dalam program adalah dalam kaitan dengan operasi ke object jenis yang bertentangan. Type system telah dikembangkan untuk membantu programmer dalam pendeteksian kesalahan.

Suatu type system adalah satu set aturan untuk mendefinisikan jenis dan menghubungkan suatu type dengan ekspresi dalam bahasa. Suatu type system menolak suatu ekspresi jika tidak menghubungkan suatu type dengan ekspresi. Type checking boleh berjalan pada waktu kompilasi atau waktu berjalan atau kedua-duanya.

Jika kesalahan diharapkan untuk dideteksi pada waktu kompilasi maka suatu static type checking system diperlukan. Satu pendekatan ke static type checking memerlukan programmer untuk menetapkan type masing-masing obyek di dalam program.

Ini mengizinkan compiler untuk melaksanakan type checking sebelum pelaksanaan program dan ini adalah pendekatan yang diambil oleh bahasa seperti Pascal, ADA, C++ dan Java.

Jika pendeteksian kesalahan diharapkan untuk ditunda sampai waktu pelaksanaan, maka dinamic type checking diperlukan.

Di dalam dinamic type checking, masing-masing nilai data berlabel dengan type informasi sehingga lingkungan waktu berjalan dapat memeriksa kecocokan type dan mungkin melaksanakan konversi type jika diperlukan. Bahasa program Lisp, Scheme dan Small-Talk adalah contoh dari bahasa dynamic type.

Type Checking

Suatu bahasa disebut :

•   Untyped jika tidak ada type abstrak yang berlaku

•     Strong  type  jika  menyelenggarakan  type  abstrak  (operasi  mungkin diterapkan hanya untuk type object yang sesuai)

•     Type static jika type ekspresi masing-masing dapat ditentukan dari teks program

•     Type dynamic jika penentuan type beberapa ekspresi tergantung pada perilaku waktu berjalan program.

Keuntungan dari bahasa Untyped adalah fleksibilitas mereka. Programmer mempunyai kendali penuh atas bagaimana suatu nilai data digunakan tetapi harus  mengasumsikan tanggung  jawab  penuh  untuk  mendeteksi  aplikasi operasi ke type object yang tidak cocok/bertentangan.

Strong type membantu untuk memastikan portabilitas dan keamanan kode dan sering memerlukan programmer dengan tegas menggambarkan type masing- masing object di dalam suatu program. Ini penting juga dalam kumpulan untuk pemilihan operasi yang sesuai dan untuk optimisasi.

Static Type secara luas dikenal sebagai kebutuhan untuk produksi software yang dapat dipercaya dan aman. Type static dipilih ketika efisiensi di dalam waktu pelaksanaan adalah penting dan kompilator pendukung digunakan untuk mendukung rancang bangun software berjalan.

Dynamic type checking menyiratkan bahwa type dicek pada waktu pelaksanaan dan bahwa tiap-tiap nilai berlabel untuk mengidentifikasi typenya dalam rangka membuat type checking mungkin. Hukuman untuk dynamic type checking adalah biaya waktu dan ruang tambahan.

Type Equivalence (Kesamaan Jenis)

Dua type tak dikenal (satuan object) adalah sama jika mereka berisi elemen-elemen yang sama. Yang sama tidak bisa dikatakan type nama mereka yang dulu, maka tidak diperlukan untuk memisah type union. Kapan type dinamai, ada dua pendekatan utama untuk menentukan apakah dua type sama.

Name Equivalence (kesamaan nama)

Di dalam name equivalence dua type adalah sama jika mereka mempunyai nama yang sama. Type diberi nama berbeda diperlakukan berbeda dan tidak bisa secara kebetulan dicampur hanya karena struktur mereka secara kebetulan adalah sama. Name equivalence perlu definisi type untuk global.

Structural Equivalence (kesamaan struktural)

Di dalam structural equivalence, nama type diabaikan dan elemen-elemen type dibandingkan untuk persamaan. Adalah mungkin bahwa dua type logic yang berbeda boleh menjadi kebetulan yang sama dan dapat dicampur.

Definisi type tidak diperlukan untuk menjadi global. Structural equivalence adalah  penting  di  dalam  distribusi  pemrograman, dimana program terpisah harus mengkomunikasikan type data.

Definisi N.1:

Dua type T, T’ adalah name equivalence iff T dan T’ adalah nama yang sama.

Dua type T, T’ adalah structural equivalence iff T dan T’ memiliki satuan nilai yang sama.

Tiga aturan berikut yang digunakan untuk menentukan jika dua type adalah structural equivalence :

a. suatu nama type sama secara struktur dengan dirinya sendiri

b. dua type yang sama secara struktur jika mereka dibentuk dengan menerapkan type pembangun yang sama (secara berulang) ke type structural equivalence.

c. Setelah suatu deklarasi type, type n = T, nama type n secara structural setara dengan T.

Type Inference (jenis kesimpulan)

Type inference adalah masalah yang umum dalam menjelmakan untyped atau sintaksis type parsial ke dalam terminologi yang baik.

Deklarasi tetap Pascal adalah suatu contoh type inference, typa nama adalah kesimpulan dari type yang tetap. Dalam Pascal untuk pengulangan type index pengulangan dapat ditarik kesimpulan dari type recursively defined dan dengan begitu indeks pengulangan harus suatu variabel lokal dari pengulangan.

Bahasa pemrograman Miranda dan Haskell adalah type static dan menyediakan strong type inference system sehingga seorang programmer tidak perlu mendeklarasikan type apapun. Bahasa juga mengizinkan para programmer untuk menyediakan spesifikasi type eksplisit.

Suatu type checking harus mampu :

a. menentukan jika suatu program adalah type yang baik dan

b. jika program adalah type yang baik, tentukan type ekspresi manapun di dalam program

Type Declaration (jenis deklarasi)

Bahkan bahasa yang menyediakan suatu type inference system mengizinkan para  programmer  untuk  membuat  deklarasi  type  eksplisit.  Sekalipun compiler dapat dengan tepat menyimpulkan type, pembaca manusia mungkin harus meneliti beberapa halaman kode untuk menentukan type suatu fungsi.

Kesalahan kecil oleh programmer dapat menyebabkan compiler mengeluarkan pemberitahuan kesalahan atau untuk menyimpulkan suatu type yang berbeda dibanding yang diharapkan. Karena pertimbangan ini adalah praktek pemrograman yang baik dengan tegas menyatakan type atas semua kecuali kasus yang paling nyata.

Polymorphism

Suatu type system adalah monomorphic jika masing-masing konstanta, variabel, parameter, dan hasil fungsi mempunyai suatu type unik. Type checking suatu system monomorphic adalah type secara langsung. Tetapi system type monomorphic semata-mata tidak memuaskan untuk penulisan software yang bisa dipakai kembali.

System yang sepenuhnya monomorphic jarang. Kebanyakan bahasa pemrograman berisi beberapa operator atau prosedur yang mengizinkan argumentasi lebih dari satu type.

Definisi N.2 :

Monomorphism : tiap-tiap konstanta, variabel, parameter, fungsi dan operator mempunyai suatu type unik.

Pemuatan lebih mengacu pada penggunaan dari sintaksis pengenal tunggal untuk mengacu pada beberapa operasi berbeda yang dibedakan oleh type dan jumlah argumentasi pada operasi.

Polymorphism : suatu operator, fungsi atau prosedur yang mempunyai suatu

keluarga  type	yang  terkait  dan  berorientasi	secara	seragam  atas
argumentasinya	dengan mengabaikan type.

Suatu  operasi  polymorphic  adalah  yang  dapat  berlaku  untuk  type  yang berbeda tetapi berhubungan dengan argumentasi.

Suatu  type  system  adalah  polymorphic  jika  abstrak  beroperasi  secara seragam pada argumentasi suatu keluarga type terkait.

Polymorphism type ini kadang-kadang disebut parametric polymorphism.

Type Completeness (jenis kelengkapan)

Prinsip type ini, tidak ada operasi yang dapat berlaku semaunya, terbatas yang berhubungan dengan nilai type.

Read more »