Programming agent-based demographic models with cross-state and message-exchange dependencies: A study with speculative PDES and automatic load-sharing

Agent-based modeling and simulation is a versatile and promising methodology to capture complex interactions among entities and their surrounding environment. A great advantage is its ability to model phenomena at a macro scale by exploiting simpler descriptions at a micro level. It has been proven effective in many fields, and it is rapidly becoming a de-facto standard in the study of population dynamics. In this article we study programmability and performance aspects of the last-generation ROOT-Sim speculative PDES environment for multi/many-core shared-memory architectures. ROOT-Sim transparently offers a programming model where interactions can be based on both explicit message passing and in-place state accesses. We introduce programming guidelines for systematic exploitation of these facilities in agent-based simulations, and we study the effects on performance of an innovative load-sharing policy targeting these types of dependencies. An experimental assessment with synthetic and real-world applications is provided, to assess the validity of our proposal

Load-Sharing Policies in Parallel Simulation of Agent-Based Demographic Models

Execution parallelism in agent-Based Simulation (ABS) allows to deal with complex/large-scale models. This raises the need for runtime environments able to fully exploit hardware parallelism, while jointly offering ABS-suited programming abstractions. In this paper, we target last-generation Parallel Discrete Event Simulation (PDES) platforms for multicore systems. We discuss a programming model to support both implicit (in-place access) and explicit (message passing) interactions across concurrent Logical Processes (LPs). We discuss different load-sharing policies combining event rate and implicit/explicit LPs’ interactions. We present a performance study conducted on a synthetic test case, representative of a class of agent-based models

Analysis and Optimization of a Demographic Simulator for Parallel Environments

In the past years, the advent of multi-core machines has led to the need for adapting current simulation solutions to modern hardware architectures. In this poster, we present a solution to exploit multicore shared-memory capacities in Yades, a parallel tool for running socio-demography dynamic simulations. We propose to abandon the single-threaded programming approach addresses in Yades by using ROOT-Sim, a library which allows to apply discrete event simulation to parallel environments profiting share-memory capabilities. As a result of this new approach, our results show the improvement in Yades’ performance and scalability

Overview on agent-based social modelling and the use of formal languages

Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.Postprint (author's final draft

Demographic agent-based simulation of gambians immigrants in Spain

Changes in our society have created a challenge for policymakers, who confront a need of tools to evaluate the possible effects of their policies. Agent-based modelling and simulation is a promising methodology which can be used in the study of population dynamics. In this paper we introduce an agent-based simulation approach to project the population of Gambian migrants in Spain during 10 years. Our approach not only enables to simulate the life course of individuals, but also allows deeping on the movements, interactions, and behaviours of the target population. The model is able to capture individual characteristics and to overcome some data-related limitations with assumptions on behavioural rules. With this methodology, we want to show the potential of the tool with the study of a real case scenario

Demographic agent-based simulation of Gambians immigrants in Spain

Changes in our society have created a challenge for policymakers, who confront a need of tools to evaluate the possible effects of their policies. Agent-based modelling and simulation is a promising methodology which can be used in the study of population dynamics. In this paper we introduce an agent-based simulation approach to project the population of Gambian migrants in Spain during 10 years. Our approach not only enables to simulate the life course of individuals, but also allows deeping on the movements, interactions, and behaviours of the target population. The model is able to capture individual characteristics and to overcome some data-related limitations with assumptions on behavioural rules. With this methodology, we want to show the potential of the tool with the study of a real case scenario.Postprint (author's final draft

Parallel simulation of large population dynamics

Agent-based modeling and simulation is a promising methodology that can be used in the study of population dynamics. We present the design and development of a simulation tool which provides basic support for modeling and simulating agent-based demographic systems. Our results prove that agent-based modeling can work effectively in the study of demographic scenarios which can help to better policy planning and analysis. Moreover, parallel environment looks suitable for the study of large-scale individual-based simulations of this kind.Postprint (published version

Overview on Agent-Based Social Modelling and the Use of Formal Languages

The use of agent-based modelling and simulation techniques in the social sciences has flourished in the recent decades. The main reason is that the object of study in these disciplines, human society present or past, is difficult to analyse through classical analytical techniques. Population dynamics and structures are inherently complex. Thus, other methodological techniques need to be found to more adequately study this field. In this context, agent-based modelling is encouraging the introduction of computer simulations to examine behavioural patterns in complex systems. Simulation provides a tool to artificially examine societies where a big number of actors with decision capacity coexist and interact. However, formal modelling in these areas has not traditionally been used compared to other fields of science, in particular in their use of formal languages during the modelling process. In this chapter, the authors aim to revise the most relevant aspects on modelling in social sciences and to discuss the use formal languages by social scientists

Analyzing policymaking for tuberculosis control in Nigeria

Today, tuberculosis (TB) is still one of the major threats to humankind, being the first cause of death by an infectious disease worldwide. TB is a communicable chronic disease that every year affects 10 million people and kills almost 2 million people in the world. The main key factors fueling the disease are the progressive urbanization of the population and poverty-related socioeconomic factors.Moreover, the lack of effective tools for TB diagnosis, prevention, and treatment has decisively contributed to the lack of an effectivemodel to predict TB spread. In Nigeria, the rapid urbanization along with unprecedented population growth is causing TB to be endemic.This paper proposes a mathematical model to evaluate TB burden in Nigeria by using data obtained from the local TB control program in the community. This research aims to point out effective strategies that could be used to effectively reduce TB burden and death due to TB in this country at different levels.The study shows that efforts should be oriented to more active case finding rather than increasing the treatment effectiveness only. It also reveals that the persistence of the disease is related to a large number of latently infected individuals and quantifies the lives that could be saved by increasing the notification rate using active case finding strategy.We conclude that undiagnosis is the bottleneck that needs to be overcome in addition to the incorporation, improvement, and/or strengthening of treatmentmanagement and other essential TB control measures in Nigeria.Peer ReviewedPostprint (published version