Agent-system and agent-simulator networks encompass complex interactions that are often difficult to model. We use an On-Line Maintenance Agent test bed for analyzing the behavior of Bayesian anytime inference algorithms for influence diagrams. This test bed is used to analyze the performance of a backward simulation algorithm used by the agent for decision making. We show that the kurtosis of ...

Model checking [2] has been applied to many areas of software and hardware verification; this includes hybrid systems, which contain both hardware and software components. To model hybrid systems both types of component are included in a single model. In this research we consider hybrid systems in which multiple agents interact in an environment. An agent is a simple robot capable of moving, de...

electric power industry have always try to provide reliable electricity to customers and at the same time decrease system costs. high voltage circuit-breakers are an essential part of the power network. this study has developed a maintenance and replacement scheduling model for high voltage circuit- breakers that minimize maintenance costs while maintaining the acceptable reliability. this mode...

<p>The aim of this reasearch was to develop interactive multimedia for learning computer hardware maintenance in Vocational High Schools. To achieve the objectives study, Research and Development (R&D) method ADDIE development model used. The research begins through stages (1) Analyze, (2) Design, (3) Develop, (4) Implement, (5) Evaluate. This conducted School Negeri 6 Pontianak a...

In this paper, we propose a model of aerial pollution of an urban area, the city of Ouagadougou. We develop a mathematical model of the spatial area from the pollution point of view. This model is based both on the concept of pretopological structure and the concept of random sets. The reader who is not familiar with pretopological concepts can find out all he needs on the 2 Studia Informatica ...