A rollback conflict solver for integrating agent-based simulations

نویسندگان

  • Dhirendra Singh
  • Lin Padgham
چکیده

We present a framework we have developed, OpenSim, for integrating disparate simulation components, particularly agent-based models (ABMs) that are increasingly being used for modelling complex social systems, into a single simulation. In this paper we focus on the integration of existing ABMs that have been independently developed and validated. The key challenge is to make as few modifications as possible, while still faithfully producing what would be obtained if the models and their interactions had been rebuilt as a single system from scratch. Our proposed mechanism for doing this, improves substantially on previous options.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Constraint Answer Set Solving

We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithmic framework for conflict-driven ASP solving that exploits CP solving capacities. A significant technical issue concerns the combination of conflict information from different solver types. We have implemented our app...

متن کامل

System Mechanisms for Partial Rollback of Mobile Agent Execution

Mobile agent technology has been proposed for various fault-sensitive application areas, including electronic commerce, systems management and active messaging. Recently proposed protocols providing the exactly-once execution of mobile agents allow the usage of mobile agents in these application areas. Based on these protocols, a mechanism for the application-initiated partial rollback of the a...

متن کامل

Adaptive optimistic simulation of multi-agent systems

Simulation is an important tool for designers of multi-agent systems allowing them to learn more about the behaviour of a system or to investigate the implications of alternative agent architectures. A key issue for agent simulation is that of scalability, as agents are themselves often complex systems (e.g., with sensing, planning, inference etc. capabilities), requiring considerable computati...

متن کامل

Feasibility Study of Integrating Multi Effect Desalination and Gas Turbine Systems for Lavan Island Oil Refinery

In this research, feasibility study of integrating thermal desalination unit with Gas Turbine (GT) has been investigated using retrofit and grass root design techniques  for Lavan Island Oil Refinery which is located in Persian Gulf. According to computed parameters on developed code for the power generation unit No.1 using EES (Engineering Equation Solver) software, thermal efficiency of t...

متن کامل

Integrating Conflict Driven Clause Learning to Local Search

This article introduces SATHYS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) scheme. Each time the local search part reaches a local minimum, the CDCL is launched. For SAT problems it behaves like a tabu list, whereas for UNSAT ones, the CDCL part tries to focus on minimum unsatisfiable sub-form...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014