Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Jurnal INKOM
Dian Andriana
Lembaga Ilmu Pengetahuan Indonesia
Computer Science & IT

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

 1 
Pemodelan Sistem Perawatan Kesehatan Bergerak Dian Andriana
INKOM Journal Vol 1, No 1 (2007)
Publisher : Pusat Penelitian Informatika - LIPI

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14203/j.inkom.10

Abstract

Makalah ini mendeskripsikan model formal dari sistem interaktif berdasarkan sebuah studi kasus pada sistem kesehatan bergerak. Model ini mendeskripsikan sebuah session interaktif melibatkan profesional medis yang menggunakan PDA untuk mengakses rekam medis pasien, dan terhubung pada server basis data dalam jaringan komunikasi nirkabel. Perilaku sistem dapat memunculkan masalah keselamatan bila dikaitkan dengan perilaku pemakai dalam pelayanan kesehatan. Akhirnya model sistem telah diverifikasi untuk menghindari masalah tersebut. Kata kunci: metode formal, sistem interaktif, sistem perawatan kesehatan bergerak
Ketidaktentuan Kecepatan dan Waktu Tunda Belokan dalam Prediksi dan Resolusi Konflik pada Simulator Pengendali Lalu Lintas Udara Dian Andriana
INKOM Journal Vol 3, No 1-2 (2009)
Publisher : Pusat Penelitian Informatika - LIPI

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.14203/j.inkom.47

Abstract

Salah satu tugas operator pengendali lalu lintas udara (Air Traffic Controller) adalah menjaga jarak separasi minimum di antara pesawat. Tugas ini dapat dibantu dengan perangkat lunak otomasi manajemen lalu lintas udara (air traffic management automation). Perangkat lunak ini antara lain berupa sistem pendukung keputusan (decision support system) yang dapat memprediksi konflik dan memberikan advis resolusi pengubahan arah lintasan pesawat agar dapat menghindarkan konflik. Makalah ini mendeskripsikan pengaruh ketidaktentuan kecepatan dan waktu tunda belokan dalam algoritma prediksi dan resolusi konflik yang dikembangkan untuk simulator pengendali lalu lintas udara. Pengujian hasil resolusi konflik telah dilakukan untuk menguji kemampuan  memberikan advis resolusi arah lintasan pesawat. Diperoleh kesimpulan bahwa ketidaktentuan kecepatan pesawat dan waktu tunda pengubahan arah pesawat dapat diterapkan pada algoritma prediksi dan resolusi konflik, dengan penambahan pada nilai separasi minimum sehingga hasil resolusi masih dapat menghindarkan gangguan separasi.Kata kunci: pengendali lalu lintas udara, otomasi, prediksi dan resolusi konflik
Co-Authors