Permasalahan utama yang muncul dalam model cheking terhadap sistem reaktif atau sistem konkuren adalah state-space explosion, yaitu banyaknya state dalam ruang state dari sistem-sistem kompleks yang besar bisa luar biasa besar, bahkan bisa tak-berhingga, sehingga tidak mungkin melakukan eksplorasi ruang state secara menyeluruh. Sehingga banyak penelitian yang bertujuan mengurangi (atau mereduksi) ukuran ruang state.
Dalam penelitian ini diusulkan sebuah pendekatan heuristik dengan algoritma genetika untuk menyeleksi (secara random) path-path transisi state yang perlu dicek. Path-path yang dimaksud, direpresentasikan sebagai string of states dan selanjutnya disebut kromosom. Dengan bantuan model checker, path-path tersebut dicek untuk mengetahui apakah ada state error yang bisa dicapai (reachable error states). read more

Salah satu metode penalaran dalam sistem pakar adalah penalaran berbasis kasus (Case-Based Reasoning). Pada penalaran berbasis kasus (Case-Based Reasoning), suatu basis kasus berisi kasus-kasus dengan solusi yang telah dicapai.  Untuk menemukan solusi dari sebuah kasus baru yang diberikan, sistem akan mencari kasus-kasus dalam basis kasus yang memiliki tingkat kesamaan yang paling tinggi. Salah satu metode untuk menghitung tingkat kesamaan kasus adalah jarak euclid.

Sebuah evaluasi terhadap perhitungan kesamaan kasus merupakan hal yang penting dalam penalaran berbasis kasus (CBR). Pada penelitian ini akan dikembangkan sebuah model perhitungan tingkat kesamaan kasus dengan jarak euclid dimana atribut dari kasusnya berupa simbol, nilai numerik dan nilai interval. Studi kasus akan diambil dari kasus-kasus penentuan jurusan di SMU. read more

Pemodelan stokastik banyak digunakan dalam berbagai bidang. Salah satu model yang banyak digunakan adalah distribusi phase-type (PH). Distribusi PH sering digunakan pada teori antrian, teori reliabilitas, pemodelan kematian, dan lain-lain. Namun, seringkali model yang dibentuk dari permasalahan nyata menjadi terlalu rumit untuk dianalisis. Oleh karena itu, perlu dilakukan penyederhanaan terhadap model yang telah dibangun.

Penyederhanaan representasi dari distribusi PH dapat dilakukan dengan membuat jumlah transisi menjadi sesedikit mungkin. Salah satu representasi yang menggunakan konsep ini adalah representasi Mixture of Monocyclic Erlang (MME). Representasi ini dibangun dari penggabungan subgenerator yang dibentuk dari pole Laplace-Stieltjes Transform (LST) dari distribusi PH awal. Pole yang berupa bilangan real akan membentuk generator distribusi eksponensial, sementara pole kompleks akan membentuk generator yang disebut generator monocyclic erlang. Generator ini berupa rangkaian state dengan total transisi keluar yang sama, dengan setiap state hanya memiliki transisi menuju state yang ada di depannya, dan satu transisi balik dari state terakhir menuju ke state pertama. read more

Technology research and business events needs support and services from information technology infrastructure with reliable and qualified levels. The cloud technology open the opportunities for enterprises and organizations to take the potential capacity and challenge for discovering the new research area and business channels. The cloud technology needs to address the challenge on high performance computation and large volume data managements. This delivering the challenge to launch the cloud architecture that well-design and well-implemented for bridging the gaps between research activities and business matters.
CloudBox is the design of cloud technology platfrom in the single box. CloudBox developed with reusable technology from the un-used PC and configure as single architecture of machines. The research use three development phases. The phase on cluster collection model is design to implement cluster environment in many node. The phase on cluster on the box will implement the architecture single architecture to run the cluster environment. The phase called cloud in the box is establishing the prototype of single system on the box. We belive this approach will addressed the need of high performance technology environment in many purposes. read more

Penggunaan pola fractal semakin luas terutama untuk bidang seni, animasi dan disain grafis. Penggunaan batik sudah semakin luas, tidak hanya pada kain tapi juga pada kayu, kulit, gerabah dan lain lain, Sehingga diperlukan motif yang banyak dan beragam. Kelebihan dari gambar atau pola fraktal adalah mempunyai ragam yang sangat kaya, yang mudah diperoleh hanya dengan mengadakan perubahan sedikit pada parameternya serta sifat pola fractal yang self-similarity yaitu bentuk umum tidak berubah pada setiap tingkat pembesaran/zooming. read more

Neural network merupakan salah satu metode yang digunakan di dalam pengenalan pola. Pola-pola yang dapat dikenali terbatas pada jumlah variasi pola dan arsitektur neural network itu sendiri. Pada umumnya, jumlah variasi yang sangat besar akan mengurangi ketelitian neural network dalam pengenalan. Oleh karena itu, riset ini akan menguji sebuah metode penggabungan lebih dari satu

neural network (multi-neural-network) untuk mengenali pola yang cukup bervariasi. Sebagai data percobaan, riset ini akan menggunakan data berupa gambar karakter yang akan dikonversi menjadi kode ASCII yang bersesuaian. Untuk mencapainya, gambar karakter akan dipecah menjadi beberapa bagian sesuai ukuran pixel-nya kemudian tiap bagian akan dilatih di dalam neural network yang berlainan dengan menggunakan metode Backpropagation. Output pelatihan dari tiap-tiap bagian akan dilatih ke dalam neural network lain yang berada satu tingkat di atasnya. Hasil yang diharapkan adalah dengan menggunakan metode ini semakin banyak variasi pola huruf yang dikenali jika dibandingkan dengan menggunakan satu neural network saja. read more

Jaringan syaraf tiruan (JST) telah berhasil diterapkan dalam berbagai bidang seperti ekonomi, keuangan, pengenalan pola, prediksi, optimisasi, kendali, pemrosesan sinyal digital ,kedokteran.

Namun para ahli tidak puas hanya dengan tingkat akurasi yang tinggi yang ditunjukkan JST. Karena cara penalaran yang digunakan JST untuk mencari jawaban tidak dapat dilakukan dengan cepat, ini memberikan bukti perlunya untuk mengekstrasi pengetahuan yang terdapat pada JST terlatih dan menunjukkannya secara simbolik untuk menjustifikasi output nya. read more

Penelitian ini memberikan sebuah model baru bagi sistem entry pada perdagangan valuta asing yaitu dengan menggunakan sistem Medium Level Price. Sistem MLP ini telah banyak digunakan pada sistem perdagangan saham. Pada penelitian ini dikembangkan MLP dengan dikombinasikan dengan sebuah  martiangle system dan diujicobakan ke dalam sebuah sistem perdagangan valuta asing.

Ujicoba meliputi ujicoba back testing dan forward testing. Backteting dengan menggunakan data lampau selama beberapa tahun sehingga bisa diketahui unjuk kerja pada data lampau. Backtesting digunakan juga untuk memilih pasangan valuta asing yang memberikan hasil cukup baik sehingga layak untuk dilakukan forward testing.  Forward testing ini memberikan kebaruan testing pada kondisi pasar sesungguhnya bukan di atas kertas saja sehingga keunggulan sistem bisa lebih dipercaya. read more