This study aims to investigate the different management policies of multi-reservoir systems and their impact on the demand supply and hydropower generation in Great Karun River basin. For this purpose, the semi-distributed simulation-optimization  model of the Great Karun River basin is developed. Also, the multi-objective particle swarm optimization algorithm is applied to optimize the develop...

In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several “partial state spaces”. The partial state space is modelled as a Kripke structure with border states. Each computer involved in the distributed computation owns a partial state space and performs a model checking algorithm on this incomplete structure. To be able to p...

In this paper, we present a framework to formally describe and study the interconnection of distributed shared memory systems. Using it allows us to classify the consistency models in two groups, depending on whether they are fast or not. In the case of non-fast consistency models, we show that they cannot be interconnected in any way. In contrast, in the case of fast consistency models we prov...

A vital issue in context of modern distributed com puting environments is a simple and safe use of the computing storage and communication facilities present on the network In this paper we propose an agent based architectural concept for such an envi ronment which should assist the user in submitting requests to the distributed system in a transparent way The user should not need speci c knowl...

We consider the verification of algorithms expressed in the Heard-Of Model, a round-based computational model for fault-tolerant distributed computing. Rounds in this model are communication-closed, and we show that every execution recording individual events corresponds to a coarser-grained execution based on global rounds such that the local views of all processes are identical in the two exe...

This paper reports on the design and realization of an agent-oriented control system dedicated for material flow systems. The implementation is based on DCOM (Distributed Component Object Model). Regarding the increasing availability, performance and acceptance of distributed object-oriented systems as well as the growing number of agent-oriented software it is natural to adapt and use the capa...

In this paper we report on the safety analysis of a distributed and decentralized control of a railroad crossing: the radio-based level crossing. In particular we show how mathematical models and minimization techniques may be used to get good quantitative approximations for risk as well as to give advice to the system engineer how to choose free parameters like safety margins etc.

A distributed heap storage manager has been implemented on the Fujitsu AP1000 multicom-puter. The performance of various pre-fetching strategies is experimentally compared. Subjective programming beneets and objective performance beneets of up to 10% in pre-fetching are found for certain applications, but not for all. The performance beneets of pre-fetching depend on the speciic data structure ...

Distributed Computing Environment (DCE) is a distributed environment for the development and execution of distributed applications. This paper assesses DCE’s suitability as a support environment for open distributed processing by evaluating it against the general requirements and specific architecture defined by the ISO/CCITT Basic Reference Model for Open Distributed Processing (RM-ODP). The r...

This paper presents some results on the definition of a distributed processing model based on the ODP reference model and its prototype implementation based on DCE and C ++. Keyword Codes: D.1.3; D.1.5;