Artificial intelligence approaches to astronomical observation scheduling

Automated scheduling will play an increasing role in future ground- and space-based observatory operations. Due to the complexity of the problem, artificial intelligence technology currently offers the greatest potential for the development of scheduling tools with sufficient power and flexibility to handle realistic scheduling situations. Summarized here are the main features of the observatory scheduling problem, how artificial intelligence (AI) techniques can be applied, and recent progress in AI scheduling for Hubble Space Telescope

Applying constraint solving to the management of distributed applications

Submitted to DOA08We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative language, specifies requirements for a distributed application. Our infrastructure accepts a DSD as input, and from it automatically configures and deploys the distributed application. Subsequent violations of the original requirements are detected and, where possible, automatically rectified by reconfiguration and redeployment of the necessary application components. A constraint solving tool is used to plan deployments that meet the application requirements.Postprin

Why (and How) Networks Should Run Themselves

The proliferation of networked devices, systems, and applications that we depend on every day makes managing networks more important than ever. The increasing security, availability, and performance demands of these applications suggest that these increasingly difficult network management problems be solved in real time, across a complex web of interacting protocols and systems. Alas, just as the importance of network management has increased, the network has grown so complex that it is seemingly unmanageable. In this new era, network management requires a fundamentally new approach. Instead of optimizations based on closed-form analysis of individual protocols, network operators need data-driven, machine-learning-based models of end-to-end and application performance based on high-level policy goals and a holistic view of the underlying components. Instead of anomaly detection algorithms that operate on offline analysis of network traces, operators need classification and detection algorithms that can make real-time, closed-loop decisions. Networks should learn to drive themselves. This paper explores this concept, discussing how we might attain this ambitious goal by more closely coupling measurement with real-time control and by relying on learning for inference and prediction about a networked application or system, as opposed to closed-form analysis of individual protocols

CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version

Diagnose network failures via data-plane analysis

Diagnosing problems in networks is a time-consuming and error-prone process. Previous tools to assist operators primarily focus on analyzing control plane configuration. Configuration analysis is limited in that it cannot find bugs in router software, and is harder to generalize across protocols since it must model complex configuration languages and dynamic protocol behavior. This paper studies an alternate approach: diagnosing problems through static analysis of the data plane. This approach can catch bugs that are invisible at the level of configuration files, and simplifies unified analysis of a network across many protocols and implementations. We present Anteater, a tool for checking invariants in the data plane. Anteater translates high-level network invariants into boolean satisfiability problems, checks them against network state using a SAT solver, and reports counterexamples if violations have been found. Applied to a large campus network, Anteater revealed 23 bugs, including forwarding loops and stale ACL rules, with only five false positives. Nine of these faults are being fixed by campus network operators

A Model for an Intelligent Support Decision System in Aquaculture

The paper purpose an intelligent software system agents–based to support decision in aquculture and the approach of fish diagnosis with informatics methods, techniques and solutions. A major purpose is to develop new methods and techniques for quick fish diagnosis, treatment and prophyilaxis at infectious and parasite-based known disorders, that may occur at fishes raised in high density in intensive raising systems. But, the goal of this paper is to presents a model of an intelligent agents-based diagnosis method will be developed for a support decision system.support decision system, diagnosis, multi-agent system, fish diseases

Keberkesanan modul infusi kemahiran berfikir aras tinggi pembelajaran luar bilik darjah (iKBAT-PLBD) bagi bidang pembelajaran sukatan dan geometri

Kemahiran berfikir aras tinggi (KBAT) merupakan satu kemahiran berfikir yang sangat diperlukan dalam mendepani cabaran kehidupan masa kini terutama dalam bidang matematik. Oleh itu, kajian ini dijalankan untuk mengkaji sama ada KBAT matematik pelajar dapat ditingkatkan dengan menggunakan modul infusi Kemahiran Berfikir Aras Tinggi - Pembelajaran Luar Bilik Darjah (iKBAT–PLBD) atau tidak? Justeru itu, satu kerangka perancangan telah dibuat terhadap empat kemahiran tertinggi dalam Taksonomi Bloom semakan semula yang juga merupakan konstruk utama dalam KBAT. Konstruk KBAT tersebut ialah konstruk menganlisis, mengaplikasi menilai dan mencipta. Sampel kajian ini melibatkan 120 pelajar tingkatan 1 di empat buah sekolah yang berbeza di negeri Johor. Dalam menjalankan kajian kuasi eksperimental ini, data dikumpul melalui kajian keputusan ujian pra dan ujian pos sebelum dan selepas menggunakan modul bagi kumpulan rawatan. Manakala pendekatan PdP tradisional pula digunakan bagi kumpulan kawalan. Hasil daripada analisis data menunjukkan bahawa aktiviti pembelajaran dan pemudahcaraan (PdPc) yang bertunjangkan modul iKBAT–PLBD telah dapat meningkatkan penguasaan matematik pelajar dalam kempat-empat tahap KBAT serta bagi keseluruhan tahap. Dapatan kajian ini menunjukkan terdapat perbezaan yang signifikasi antara kumpulan kawalan dan kumpulan rawatan terhadap peningkatan KBAT pelajar dalam matematik dengan menggunakan pendekatan iKBAT–PLBD bagi tahap mengaplikasi, menganalisis, menilai, mencipta juga secara keseluruhan. Kesimpulannya, kajian ini dapat memberi manfaat kepada semua pihak termasuk pihak Kementerian Pendidikan Malaysia (KPM), pihak pentadbiran sekolah, ibubapa, guru matematik malah bagi pelajar itu dari segi pengubalan dasar yang berkaitan, pengaplikasian dan sebagai satu bukti keberkesanan dalam proses pemerkasaan KBAT matematik di Malaysia