International Journal of Simulation and Process Modelling (33 papers in press)
Crowd evacuation simulation based on emotion contagion
by Xuemei Du, Wu He, Yan Mao
Abstract: Simulation study on evacuation scenarios has an important influence on public safety. Unfortunately, the traditional evacuation-drill approach for emergency situations focuses on the physiological interaction between individuals/crowds, but ignores psychological interaction. In this paper, we present an emotion contagion model that associates components, such as physiological demand, security requirement and personality traits with individual agents comprising a crowd, and produces emergent behaviours in the crowd as a whole. The emotion contagion model realises the interaction of physiological and psychological factors. Personality traits are associated with emotions by using the OCEAN, OCC and PAD models. To reflect the complexity of emotion contagion of crowd, we consider three processes: contagion, update, and decay. We also consider the effect of emotions on the movement. Testing results demonstrate that the proposed method is effective and realistic for simulating the movement of a heterogeneous crowd in emergency situations.
Keywords: simulation; emergency; emotion contagion; OCEAN model; OCC model; PAD model.
Supporting collaborative business processes: a BPaaS approach
by Lai Xu, Paul De Vrieze
Abstract: Collaborative business processes are increasingly driven by business flexibility and agility. Cloud-based business process management services have provided small and medium enterprises (SMEs) with a pay-per-use manner for their daily business needs, i.e. some simple business process applications, e.g. salesforce provides cloud-based CRM to boost SMEs' sales. This raises the question of how cloud-based business process management solutions can support the fast pace of change of business collaborations among business partners. For example, collaborative processes for managing industrial incidents are short term, low frequency processes. This paper proposes an architecture meta-model, which is used to design the concrete architecture and to further analyse the performance of the proposed solution. A real world case of collaborative processes for incident and maintenance notifications is used to explain the design and implementation of the cloud-based solution for supporting collaborative business processes. Service improvement of the new solution and computing power costs are analysed accordingly.
Keywords: business process as a service; incident management; business process mashup; cloud computing; service-oriented computing.
Modelling and analysis of multi-agent systems using UPPAAL SMC
by Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Abstract: This paper proposes a novel approach to modelling and analysis of complex multi-agent systems. The approach is based on actors and asynchronous message passing, and exploits the UPPAAL Statistical Model Checker (SMC) for the experiments. UPPAAL SMC is interesting because it automates simulations by predicting the number of executions capable of ensuring a required output accuracy, it uses statistical techniques (Monte Carlo-like simulations and sequential hypothesis testing) for extracting quantitative measures from the simulation runs, and it offers a temporal logic query language to express property queries tailored to the application needs. The paper describes the approach, clarifies its structural translation on top of UPPAAL SMC and demonstrates its practical usefulness through modelling and analysis of a large scale and adaptive version of the Iterated Prisoners Dilemma (IPD) problem. The case study confirms known properties, namely the emergence of cooperation under context preservation, that is when the player interaction links are preserved during the game, but it also suggests some new quantitative measures about the temporal behaviour which were not previously pointed out.
Keywords: modelling and simulation; multi-agent systems; actors; statistical model checking; UPPAAL; iterated prisoner’s dilemma.
Hybrid flow shop scheduling with finite buffer
by Zhonghua Han, Yue Sun, Xiaofu Ma, Zhe Lv
Abstract: In this paper, the scheduling problem for hybrid flow shops is investigated with the consideration of finite buffers. Different from the existing works, which focus on the makespan minimisation under the constraints of given intermediate buffer sizes, this paper investigates how to decide the reasonable size of the intermediate buffer. Firstly, the problem is modelled with the design of the accurate and reasonable buffer space without affecting the flow shop production efficiency. Then, a hybrid heuristic method is proposed to reduce the algorithm complexity. Specifically, the buffer size is estimated based on the theory of probability distribution, and the searching for the global optimal solution is processed by using a novel and effective self-adaptive differential evolution algorithm. The proposed algorithm can adjust parameters intelligently for stopping unnecessary iterations as well as avoiding the stagnant situation of the local optimum. Lastly, a wide range of practical scenarios are considered for algorithm evaluation, and the numerical results show that the proposed approach is effective on (1) reducing the buffer size and (2) guaranteeing the hybrid flow shop efficiency.
Keywords: hybrid flow shop; buffer size; probability distribution; self-adaptive differential evolution algorithm.
Towards improving yields of oil palm fresh fruit bunches in Malaysia: a system dynamics approach
by Mohd Faeid Zabid, Norhaslinda Zainal Abidin, Shri Dewi Applanaidu
Abstract: Malaysia is one of the largest producers and exporters of palm oil in the world market. However, it is still difficult to retain Malaysia's status quo with the current stagnating fresh fruit bunch (FFB) yield. The source of this problem may have come from the accumulation of ageing oil palm plantation area, which can be tackled through effective replanting plan. This study thus develops a system dynamics model of the oil palm plantation sector in Malaysia to understand its behaviour towards currently implemented policies. Several simulation runs have been performed to test various scenarios of policy interventions with the objective to reduce the accumulation of ageing area and subsequently increase the FFB yield. The findings suggest that, apart from improving the policies such as promoting replanting and expanding the implementation of good agricultural practices, the most important thing is to have high commitment from planters, especially the independent smallholders, in participating the replanting campaign.
Keywords: system dynamics; oil palm plantation; replanting; fresh fruit bunch yield; policies.
Simulation-based optimisation and analysis for CO2 pipeline transportation system with uncertainties
by Qunhong Tian, Dongya Zhao, Zhaomin Li, Quanmin Zhu
Abstract: Carbon capture, utilisation and storage (CCUS) technology is one of the main measures to achieve greenhouse gas emission reduction. As an important link in CCUS technology, pipeline transportation is the most cost-effective mode to transport large-scale CO2. In order to investigate the effect caused by parameter uncertainties such as temperature, mass flowrate, electricity, and equipment cost, a simulation based techno-economic optimisation model is proposed to describe the complicated pipeline design problem in this paper, which takes into account engineering and economic modelling. Penalty function and Newtons method are presented to optimise the pipeline. Based on the obtained optimal inlet pressure, pipe diameter, wall thickness, number of pump stations and levelised cost, uncertain parameters analysis is presented to research the pipeline optimisation design. Based on the pipeline optimisation modelling, simulation results demonstrate the effectiveness of the proposed optimisation approach, and analysis gives the levelised cost change caused by uncertainties, which can provide a theoretical basis to design pipeline.
Keywords: CCUS technology; CO2 transportation; pipeline modelling; simulation; optimisation and analysis.
Simulating effect of parameters variation on the performance of an educational system
by Najat Messaoudi, Jaafar Khalid Naciri, Bahloul Bensassi
Abstract: The present study proposes a first model simulating the effect of variations of a group of parameters on the global performance of an educational system. To achieve the simulation, each training cycle of the educational system is broken down into different levels. The training unit is defined as the lowest component of this decomposition. A generic processor is selected for modelling each training unit. A mathematical modelling enabling simulation of the increase of learner's competence, based on a production function for each learner, is proposed. In order to perform a simulation it is necessary to specify the production function f, which relates the increase of the level of competencies of each learner to a set of parameters. Some parameter variations are studied, such as the time dependency (or on the training's duration), the class size, the personal capacity of each learner, which make it possible to obtain approximate expressions useful to carry out simulations. The obtained results show the variation of performance of a training unit versus number of learners, i.e the class size effect on the performance. The obtained curves clearly show the relationship between performance, variation in the number of learners and sensitivity of the pedagogical method, and establish that the performance ratio has different behaviors depending on the sensitivity of the pedagogical method to the number of learners. Thereafter, simulations of the effect of group homogeneity on the performance versus class size curves are presented.
Keywords: educational system; modelling; simulation; performance; assessment; class size; training program; competence; generic processor.
Numerical simulation of a cinema fire based on a fire dynamics simulator
by Zhian Huang, Yaru Meng, Rui Yang, Yukun Gao, Zhang Yinghua, Shuyi Wang
Abstract: In this paper, large-scale FDS (Fire Dynamics Simulator) model software was used to simulate a cinema fire. The reliability of the simulation results was verified by comparison with relevant research results, and some fire precaution measures were put forward. Based on the physical fire model of 1:1 a full-scale simulation of a cinema fire was carried out. By studying the flue gas, temperature and variation law of the CO concentration during the fire, it is found that the mechanical air-intake damages the stratification of smoke and air in the burning room to a certain extent. The lower air in the theatre is mixed with the upper high-temperature flue gas so that the temperature of the lower air is higher than that of the upper air. Meanwhile, the mechanical air-intake enhances the reducing speed of visibility. The results of this research provide a reference for the fire protection design of cinemas.
Keywords: cinema; fire dynamics simulator; evacuation time; numerical simulation.
Efficient modelling and simulation tool for nanoscale transistor sizing
by Abdoul Rjoub, Shihab AlKattab
Abstract: This paper proposes an efficient Delay Enhancement and Leakage Optimisation based on Transistor Sizing (DELOTS) algorithm for optimisation of digital CMOS at the transistor level for low power and high performance at 22 nm technology. The proposed algorithm integrates three models, Graph Model (GM), Mathematical Model (MM), and Heuristic Model (HM), working in a structured sequence to achieve the highest level of optimisation. Applying the proposed DELOTS algorithm shows significant improvement of PDP in the Full Adder circuit, 31%, and in the ISCAS C17 benchmark, 43%. DELOTS is proven to be one of the most efficient algorithms in digital CMOS optimisation at transistor level. In addition to simplicity and speed, DELOTS ensures finding the optimal solution and offers multi-purpose optimisation, where each parameter can be optimised as a stand-alone parameter or in combination with other parameters requiring optimisation.
Keywords: CMOS; algorithm; DELOTS; dissipation; leakage; propagation delay.
Special Issue on: The Latest Technologies for Building a Smart City
A novel visible-infrared image fusion framework for smart cities
by Zhinqin Zhu, Guanqiu Qi, Yi Chai, Hongpeng Yin, Jian Sun
Abstract: Image fusion technology is widely used in different areas and can integrate complementary and relevant information of source images captured by multiple sensors into a unitary synthetic image. Image fusion technology, as an efficient way to integrate information from multiple images, plays a more and more important role in smart cities. The quality of the fused image affects the accuracy, efficiency, and robustness of the related applications. Existing sparse representation-based image fusion methods consist of overly complete and redundant dictionary learning and sparse coding. However, overly complete and redundant dictionary does not consider the discriminative ability of dictionaries that may seriously affect the image fusion. A good dictionary is the key to a successful image fusion technique. To construct a discriminative dictionary, a novel framework that integrates an image-patches clustering and online dictionary learning methods is proposed for visible-infrared image fusion. The comparison experiments with existing solutions are used to validate and demonstrate the effectiveness of the proposed solution for image fusion.
Keywords: image fusion; sparse representation; dictionary learning; sub-space clustering; smart city.
Container-as-a-service architecture for business workflow
by Ye Tao, Xiaodong Wang, Xiaowei Xu, Guozhu Liu
Abstract: The massive amount of data makes the work of building a smart city more and more data-driven. However, data collection and its analysis in such a large system are often separated and executed by different vendors. Owing to volume, security and privacy reasons, data migration can be difficult. To build a bridge between data owners and data analysers, service migration is applied, which forms the infrastructures, applications and services for different vendors. This paper presents a Container-as-a-Service (CaaS) framework for data processing in a smart city environment. We design and implement a multi-layered container service construction and deployment environment, and we employ the business workflow orchestration technologies in this environment. By using containers, local cluster resources are virtualised and isolated to simplify the creation and deployment of multiple applications autonomously across multiple vendor systems. Inside a container, computational tasks and worker processes are encapsulated into web services, in order to leverage service-based workflow technologies to develop timely and effective workflows for a smart city environment. A use case of smart transportation is studied to validate the usefulness and evaluate the performance of the presented architecture. Results show that the approach can be beneficial to the scientific tasks in regard to its flexibility and re-usability.
Keywords: container; service computing; scientific workflow; BPEL for web services; Hadoop.
Software behaviour analysis method based On behaviour template
by Yingxu Lai, Zenghui Liu, Tao Ye
Abstract: This paper proposes a software behaviour analysis method based on behaviour template (SABT) which, according to the context of source code, builds a behaviour template to detect software malicious behaviour based on a function transfer map and minimum function blocks. Many methods use state transfer diagrams to build software behaviour models. Our method is based on the corresponding relationship between the functions and system call sequence, which ensures accurate detection of malicious behaviour. Compared with traditional methods, such as N-gram, FSA, and Var-gram, SABT can get higher cover rate of code and detect abnormal behaviour more effectively and efficiently.
Keywords: software behaviour, software interrupt, behaviour template, minimum function block
Boundary estimating of urban road network for traffic impact analysis when reconstructing intersections: methodology and evaluation
by Yingying Ma, Ying Zeng
Abstract: Intersections are major points of conflict for road users and the key parts of urban road networks. It is necessary to reconstruct some intersections to improve capacity and safety. A methodology to estimate the boundary of a road network for traffic impact analysis of intersection improvements is discussed in this paper. Firstly, models are presented for two types of degree of correlation. The degree of saturation and free-flow travel time are considered in the model for the degree of correlation between two adjacent intersections, and the degree of correlation between any two intersections in the network is analysed using a Laplacian matrix algorithm. Secondly, a new method to estimating a road network boundary is proposed. Thirdly, two measures are adopted to evaluate the boundary of road networks: the minimum average cut degree of correlation and the minimum traffic influence on intersections outside the boundary. Finally, the method is demonstrated using a city road network. The results of the case study confirm the validity of the proposed approach.
Keywords: boundary estimating, traffic impact analysis, intersection reconstruction, Laplacian matrix
Knowledge extraction based on linked open data for clinical documentation
by Mazen Alobaidi, Khalid Mahmood, Susan Sabra
Abstract: Smart cities are becoming a reality in the near future to transform many sectors and activities in our lives. Smart city systems, such as healthcare systems, will have new functionality to improve the quality of life of its citizens. Electronic health records are an essential component of healthcare systems. They are valuable for medical research, but much of the information is recorded as unstructured free text. Knowledge extraction from unstructured text in electronic health records is a problem that is well-documented but still not totally resolved. Knowledge extraction is very challenging because medical language has ungrammatical and fragmented constructions. We have implemented a unique framework knowledge extraction based on linked open data for clinical documentation (KE-LODC) that generates accurate and high quality triples transforming unstructured text from clinical documentation into well-defined and ready-to-use linked open data for diagnosis and treatment. We used Name Entity Recognition and Disambiguation (NERD) because it proved to be highly more precise than other available tools in entity recognition. Our framework proved to produce highly qualified big number of triple candidates, which improves the likelihood of better classification. Also, we evaluate our framework by comparing its precision and recall with two benchmark algorithms. The results show that KE-LODC performs better.
Keywords: healthcare, smart city, linked open data; semantic web; knowledge extraction;
Technologies for developing a smart city in computational thinking
by Yinong Chen, Gennaro De Luca
Abstract: Building a smart city involves almost all the aspects of social, economic, and technological issues. This paper gives a brief survey and overview of the latest technologies for building a smart city. It covers IoT, device as a service, service-oriented computing and cloud computing as the infrastructure, big data analysis and processing for data mining, and artificial intelligence. A visual programming language for IoT and robotics application development is also introduced, which offers a tool for architects and developers to define the applications using computational thinking and workflow of existing services and components.
Keywords: IoT; cloud computing; big data; artificial intelligence; workflow.
Special Issue on: ACECS-2016 Advances and Applications of Process Modelling and Simulation
Modelling and hardware co-simulation of a quadrotor unmanned aerial vehicle
by Soufiene Bouallegue, Rabii Fessi
Abstract: This paper deals with the modelling and hardware (HW) co-simulation of a Quadrotor Vertical Take-Off and Landing (VTOL) type of Unmanned Aerial Vehicle (UAV). The developed HW co-simulation platform is based on a reconfigurable I/O (RIO) board of National Instruments (NI) Company, called sbRIO-9636, and a host PC with a Real-Time Operating System (RTOS). The Control Design and Simulation (CDSim) module of LabVIEW environment, as well as an established Network Streams data communication protocol, are used to emulate and co-simulate all flight dynamics within a Processor-In-the-Loop (PIL) framework. The flight motion principle of the quadrotor, i.e. lift, rotation and translation, is firstly described as a function of changes in the angular speed of the rotors. All aerodynamic forces and moments of such a vehicle are then described within an inertial earth frame, and a nonlinear dynamical model is established thanks to the Newton-Euler formalism. The dynamics of the propellers' brushless DC motors, accelerometer and gyroscope types of sensor are also modelled and co-simulated in order to complete the established model of the studied VTOL rotorcraft. HW simulations are carried out and compared with those obtained with software (SW) simulations in order to show the effectiveness of the proposed PIL co-simulation strategy.
Keywords: quadrotor UAV; modelling; aerodynamic effects; rotors and sensors dynamics; Newton-Euler equations; PIL co-simulation; NI single-board RIO; LabVIEW.
Artificial neural networks for acquisition and processing of sensors data in a radiotherapy application
by Kheireddine Lamamra
Abstract: This paper presents a practical aspect of work that we have planned for several steps. It describes the acquisition and processing of coded data from temperature sensors of type MS6503 used in radiotherapy rooms of the hospital PMCC (Hospital Pierre and Marie Curie Centre). The aim is to acquire and check remotely the temperatures of rooms to trigger alarms and their control thereafter in order to avoid mistakes of manipulation which are deadly for patients if they happen or arise. For this, a system modelling is made before proceeding to the implementation in practice. During the implementation, several problems have occurred such as the legibility of the received data that has been encrypted. To overcome this problem, an artificial neural networks type of Multi-Layer Perceptron (MLP) is used to acquire and decrypt the temperature data received from the sensors placed in the treatment rooms. The obtained results show that the neural network used has decrypted well the received data, hence this technique has been implemented in the realised solution.
Keywords: data acquisition and processing; temperature sensor; radiotherapy room control; artificial neural network; modelling.
Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systems
by Latefa Ghomri, Hassane Alla
Abstract: Petri nets (PNs) are a well-known modelling tool for discrete event systems. Continuous PN were introduced in order to avoid the combinatory explosion of the number of states, when considering real life systems. The constant speed continuous Petri nets (CCPN) where constant maximal firing speeds are associated with transitions allow very fast simulations. They can be used to model discrete events systems; in that case, they constitute an approximation, which is often satisfactory. They can also model positive continuous systems. Hybrid automata (HA) are a less compact and expressive model, but, they can be used to perform powerful analysis. In this paper, we first present the continuous PN and its modelling advantages. Then we present the main contribution of this paper, that is a structural translation algorithm from a CCPN into a HA. The goal of this translation algorithm is to combine advantages of both tools. The first one is an elegant modelling tool; with the second one, it is possible to compute the reachable state space. The translation algorithm is structural in the sense that it does not depend on the initial marking of the Petri net. We present the principal characteristics of the CCPN and the HA, and we prove the timed bisimilarity between the two models. Then it will be possible to deduce properties of the CCPN from the HA. An example of a manufacturing system is used throughout the paper to illustrate the different results, and a water supply system is presented as a more complex example.
Keywords: discrete event systems modelling; constant speed continuous Petri nets; hybrid automata; bisimulation.
Modelling and simulation of analytical approach to handle real-time traffic in VoIP network
by Sakshi Kaushal, Harish Kumar, Sarbjeet Singh, Sundarapandian Vaidyanathan, Jasleen Kaur, Shubhani Aggarwal
Abstract: In recent years, Internet Protocol (IP) has become a good choice over Public Switched Telephone Network (PSTN). A Voice over IP (VoIP) communication supports a number of users with an acceptable voice quality. VoIP implementation uses hard IP phones and soft IP phones, does not rely on a traditional PBX and uses Softswitch for call signalling, access control, etc. The Erlang B model is used to determine the number of trunks in a circuit-switched network and find traffic intensity and grade of service. This paper uses an extension of the Erlang B model for traffic engineering of VoIP, i.e., Extended Erlang B model. The main purpose for Extended Erlang B is that has better efficiency to handle the percentage of blocked calls by choosing a threshold value (). We propose a new measurement scheme based on an extended Erlang B model using FreeSWITCH to simulate and analyse VoIP traffic. Simulations are done in the QualNet 7.3 Network simulator using SIP protocol for VoIP traffic. We compare our version with the original definition of the Erlang B model and present further results from simulations. Experiments are conducted based on different voice codecs such as G.711, G.729A and G.723.1 for measuring packetisation intervals and for calculating bandwidth. The proposed scheme is also analysed for other QoS parameters, i.e, jitter, end-to-end delay and mean opinion score.
Keywords: VoIP; SIP; Softswitch; call admission control; traffic load measurement; Erlang B model.
Special Issue on: Integrating Modelling and Simulation Tools and Methodologies in Real-World Complex Systems for Solving Multidisciplinary Problems
Computer-aided support for the temperature control in buildings
by Borut Zupančič
Abstract: The paper briefly describes the Modelica model of a cubic room with one window. The 'physical' model was then implemented as a Modelica (Dymola) block in Matlab-Simulink environment. Simulink was used for the realisation of different control schemes, which were 'manually' and 'automatically' optimised. The experiments show that the synergetic combination of Matlab-Simulink and Dymola-Modelica environments is an efficient and powerful approach giving the possibility to realise several important goals: realisation preserving modelling in Modelica, efficient simulation with Simulink and many possibilities for control system design and optimisation using basic Matlab and appropriate Matlab toolboxes. However, the experiences with Modelica modelling taught us that Modelica models become rather complex, and therefore model reduction techniques in order to obtain usable and efficient models are desired. The last part of the paper briefly describes some research activities in this area and also our contributions.
Keywords: object oriented modelling; multi-domain modelling; thermal flows; radiation flows; temperature control; control design; PID control; optimisation; model reduction; Modelica
A divide and conquer approach for simulating an airport system
by Paolo Maria Scala, Miguel Mujica Mota, Nico Ed Bock
Abstract: Airport capacity, expressed as the maximum number of air traffic movements
that can be accommodated during a given period of time under given conditions, has
become a hard constraint to the air transportation, owing to the scarcity of resources on the ground and restrictions in the airspace. Usually the problem of capacity at airports is studied by separating airspace operations from ground operations, but it is evident that the two areas are tied to each other. This work aims at developing a simulation model that takes into account both airspace and ground operations. The approach used is a divide and conquer approach, which allows the combination of four different models. The four models refer to the airside, and airspace operations. This approach allows to evaluate the system from different angles depending on the scope of the study, the results show the analytic potential of this approach.
Keywords: simulation model; airport ground operations; airspace operations; divide and conquer approach; data driven decisions.
Extending Sim# for simulation-based optimisation of semi-automated machinery
by Johannes Karder, Andreas Scheibenpflug, Andreas Beham, Stefan Wagner, Michael Affenzeller
Abstract: Model building is a fundamental task in simulation-based optimisation. In this paper we demonstrate the application of Sim# in combination with HeuristicLab to optimise semi-automated machinery. On top of Sim#, custom simulation extensions have been implemented and are used to create a simulation model of real world machinery. These extensions enable the design of simulation components that can be reused within different simulation models. This allows to easily create multiple model implementations that reflect different designs of a machine by using a combination of already existing and adapted components. The resulting model is used as an evaluation function for single- and multi-objective optimisation using HeuristicLab. Results for different optimisation targets, e.g. job order, and quality criteria such as set-up time are compared.
Keywords: simulation-based optimisation, genetic algorithms, machinery, Sim#, HeuristicLab
Modular construction of compact Petri net models
by Juan Ignacio Latorre-Biel, Emilio Jimenez-Macias, Jorge Luis Garcia-Alcaraz, Juan Carlos Saenz-Díez Muro, Julio Blanco-Fernandez, Mercedes Perez De La Parte
Abstract: The use of modelling formalisms for the design of discrete event systems presents many advantages, such as the possibility of structural analysis of the model or performance evaluation. However, the difficulty of the process to obtain an appropriate model of the system requires the use of methodologies to ease the work of the designers. In this paper, two main subjects are discussed. On the one hand, the modular construction of Petri nets alleviates the design process by the use of blocks that can be assembled to build up a complete Petri net model. On the other hand, the development of decision support systems may require the assessment of the performance and properties of complete models obtained from different combinations of modular blocks. The formalism of the alternatives aggregation Petri net may help in the development of compact and efficient models that may reduce the use of scarce computer resources.
Keywords: modular Petri nets; alternatives aggregation Petri nets; decision support systems; performance evaluation.
The Industrial Internet of Things and technological innovation in its applications for resources optimisation
by Albino Ribeiro Neto, Maira Fernanda Gizotti Ribeiro, Gerson Gomes Cunha, Luiz Landau
Abstract: This paper presents a study on the use of the Industrial Internet of Things (IIoT), the use of IIoT in the current Brazilian industry context, its basic differences from the Internet of Things (IoT) and its expansion possibilities, pointing out some challenges related to a new approach within industry. The complex interconnection that is made possible through the IIoT is able to optimise resources and reduce exponentially the costs of production processes in most stages and is gradually changing the direction of society in labour relations. These advances in manufacturing processes are feasible as the IIoT is not simply inserting intelligence into equipment, but allowing interconnection, reconfiguring functions and anticipating loss of productivity or failures that might occur in real time. Within this context, the IIoT can be understood as a broad and complex concept that encompasses asset and performance management areas, availability of increased data and intelligent corporate control. To implement this, it is necessary to integrate the most diverse devices, standards, technologies and systems efficiently. All this automation is called 'smart manufacturing' and enables continuous improvement in processes, increased productivity by eliminating gaps and through the use of modelling and simulation, which enables operators to test and optimise processes and products still in the design phase, consequently decreasing costs and time of creation.
Keywords: Industrial Internet of Things; Internet of Things; radiofrequency identification; interconnection; network; sensors; industry; devices; big analogue data; wireless; cloud computing; digital services; smart manufacturing.
An intelligent serious game for a multi-device cultural heritage experience
by Francesco Longo, Letizia Nicoletti, Antonio Padovano, Marco Vetrano
Abstract: To date, digital technologies applied to cultural heritage have been mainly devoted to the reconstruction of the original appearance of artefacts and of the museum itself, thus implementing the mere concept of a virtual museum. Apart from some isolated cases, museums, and cultural institutions in general, are not so inclined to open out to virtual reality (VR) technologies because they offer the user a detached look at the art collection without actually delivering any cultural and educational content. This research work aims at presenting an innovative multi-device application based on the concept of Intelligent Serious Games (ISG). The combination of the educational potential of Serious Games (SG) with Intelligent Agents (IA), which will drive the evolution of the played scenario in accordance with the initial users' profiling and to the sequence of events generated during the museum tour, will create new patterns and promote new strategies for cultural content dissemination and fruition.
Keywords: cultural heritage; serious games; intelligent agents; museums; virtual reality; education.
Special Issue on: I3M2016 New Advances of Modelling and Simulation for BusinessProcesses, Production, Services and Supply Chain
The role of horizontal cooperation to improve service quality in last-mile distribution
by Adrian Serrano-Hernandez, Patrick Hirsch, Javier Faulin, Christian Fikar
Abstract: Horizontal cooperation has revealed itself as a new catalyser for goods distribution optimisation in order to achieve greater efficiency. Moreover, urban distribution is facing a new paradigm as e-commerce is growing rapidly and traffic restrictions in inner cities are becoming more frequent. While the economic benefit derived from the application of horizontal cooperation has been widely analysed by practitioners and in academia, this paper assesses the impact of horizontal cooperation on service quality in a business-to-business relationship. An agent-based simulation model is presented to measure savings in lead times due to various horizontal cooperation agreements under consideration of trust-related factors. Additionally, the effect of the store-wholesaler topology is investigated, providing meaningful insights on the potentials of horizontal cooperation. Results of computational experiments show that cooperation enables companies to reduce lead times substantially, which increases service quality and competitiveness.
Keywords: horizontal cooperation; lead time; coalition; service quality; simulation; last-mile distribution; trust; sharing.
Simulation of counter drugs operations based on geospatial technology for use in a military training simulator
by Ornprapa Robert, Chamnan Kumsap, Ampun Janpengpen
Abstract: This article reports the adoption of Potential Surface Analysis (PSA) to model drug trafficking routes in Thailand for military training scenarios of a small-arms simulator. GIS data layers were used for the analytic hierarchy process. Experts were gathered to brainstorm for potential factors and their ratings based on knowledge, expertise and judgements. Physical, drug-aspect and socio-demographic factors were the main factors, and were further separated into sub-factors. The Consistency Ratio (CR) was calculated at 0.09, the significance of the factors became less than 0.10, making the consistency acceptable. The PSA revealed potential drug-trafficking routes that were cross-checked with genuine routes. The created military training scenarios were validated by experienced military and security officials. The average satisfaction of 3.92 with the standard deviation of 0.75 confirms that the integrated methodology of modelling drug trafficking routes using PSA is another optional approach to upgrade the military small-arms training simulator.
Keywords: modelling and simulation; drug trafficking; geospatial technology; analytic hierarchy process; military simulation and training.
Special Issue on: I3M2016 Recent Developments of Simulation Theories, Methodologies, Techniques and Tools
Analysis of fraud controls using the PaySim financial simulator
by Edgar Alonso Lopez-Rojas, Stefan Axelsson, Dejan Baca
Abstract: Fraud controls for financial transactions are needed and required by law enforcement agencies to flag suspicious criminal activity. These controls, however, require deeper analysis of the effectiveness and the negative impact for the legal customers.
Owing to the intrinsically private nature of financial transactions, this analysis is often performed after several months of actively using fraud controls. In this paper, we present an analysis of different fraud prevention controls on a mobile money service based on thresholds using a simulator called PaySim. PaySim uses aggregated data from a sample dataset to generate a synthetic dataset that resembles the normal operation of transactions and injects malicious behaviour. With technology frameworks such as agent-based simulation techniques, and the application of mathematical statistics, we show in this paper that the simulated data can be as prudent as the original dataset for setting optimal controls for fraud detection.
Keywords: Multi-agent-based simulation; MABS; financial fraud; mobile money; fraud detection; synthetic data.
Novel robustness measures for engineering design optimisation
by Philipp Fleck, Michael Kommenda, Thorsten Prante, Michael Affenzeller
Abstract: This paper presents novel robustness measures to analyse and compare the robustness of solutions for constrained optimisation problems in the field of engineering design optimisation. First, we define uncertainty in production processes and present a method to quantify uncertainty. Based on the variations of a solution that are introduced by uncertainty, we want to assess the robustness of those solutions towards those variations. We show how a solution's quality and feasibility (with regards to constraint violation) change with increasing uncertainty and discuss how those changes determine the robustness of that solution. Furthermore, we present a method of aggregating that information into a single, real-valued robustness measure.
This novel robustness measure can be used to select solutions that have a high robustness along with a high quality. To test the presented measures extensively, we apply them to various solutions for benchmark problems from published literature in the field of engineering design optimisation.
Keywords: engineering design optimisation; uncertainty; robustness; optimisation; benchmark; constrained optimisation; multi-objective.
Setting up a serious game for a major incident in industrial plant management: investigation of the learning effect
by Ivan Ferretti, Simone Zanoni, Lucio Enrico Zavanella
Abstract: In recent years, the introduction of virtual simulation has allowed improvement of the management of major incidents by developing tools (or serious games) able to increase awareness of coordination and decision-making abilities in emergency situations. This study presents the results of a new serious game that simulates activities, procedures and processes planned to be implemented to manage the aid during a major incident that may occur in industrial plants. In particular, the serious game presented is based on a discrete event simulator, and it is able to reproduce emergency situations in which the players can improve their own management abilities through repetitive random sessions. A detailed analysis of the learning effect over different scenario settings has been investigated through the initial application of the tool to differently experienced set of users. The results presented show how the use of the simulator may significantly improve the awareness of coordination and decision-making abilities in emergency situations.
Keywords: simulation; serious games; major incident; training; decision-making.
System dynamics for the water footprint assessment and simulation in the bioethanol production
by Armin Trujillo-Mata, Guillermo Cortes-Robles, Cuauhtemoc Sanchez-Ramirez, Julio Blanco-Fernandez, Emilio Jimenez-Macias
Abstract: The bioethanol industry is one of the growing sectors worldwide which is seeking for sustainability along its supply chain. The increasing demand for bioethanol means this industry faces a conflict: to increase productivity without compromising the future natural resources such as water. This work proposes to integrate the water footprint assessment methodology to the supply chain analysis using system dynamics. In this paper, the application of the synergy is to assess and simulate the water footprint of the bioethanol production stage using the system dynamics methodology. System dynamics could be a useful approach to model and simulate the water footprint of bioethanol supply chain and estimate its impact on water resources for the next years.
Keywords: bioethanol supply chain; system dynamics modelling; water footprint assessment; causal loops diagram.
Special Issue on: I3M2016 Recent Developments of Simulation Theories, Methodologies, Techniques and Tools
ENTERPRISE OPERATING SYSTEM (EOS) FRAMEWORK: FEDERATED INTEROPERABILITY BASED ON HLA
by Joseph RAHME YOUSSEF, Gregory ZACHAREWICZ, David CHEN, Zhiying TU
Abstract: Operating System (OS) is a well-known concept in computer science as an interface between human and computer hardware (MacOS, Windows, IOS, Android,…). In the perspective of developing future generation of enterprise systems based on IoT and Cyber-Physical System principles, this paper proposes to develop an Enterprise Operating System (EOS) that will act as an interface between enterprise business managers and enterprise resources performing enterprise operations. The paper presents at first a set of requirements and functionalities of EOS. Then a survey on existing relevant works is given and mapped to the requirements. After that the existing models related to the Federated Enterprise Interoperability are presented. The architectures of envisioned EOS and the federated interoperability are outlined. The last part draws some conclusions and gives future perspectives.
Keywords: Operating system; Architecture; Model; Infrastructure; Interoperability.
Special Issue on: Integrating Modeling & Simulation tools and methodologies in real-world complex systems for solving multidisciplinary problems
An empirical investigation of comparative performance of approximate and exact corrections of the bias in Crostons method in forecasting lumpy demand
by Adriano Solis, Francesco Longo, Somnath Mukhopadhyay, Letizia Nicoletti
Abstract: A positive bias in Crostons method, which had been developed to forecast intermittent demand, was reported by Syntetos and Boylan. They proposed an approximate correction. Subsequently, Shale, Boylan, and Johnston proposed an exact correction. Both corrections were derived analytically. The mathematical analysis establishes the superiority of the exact correction over both Crostons method and the approximate correction. We empirically investigate whether or not there are significant improvements in statistical forecast accuracy as well as inventory control performance obtained by applying the approximate or exact correction when forecasting lumpy demand. Using extensive simulation experiments, we find overall superior forecast accuracy of the bias correction methods over both simple exponential smoothing and Crostons methods. However, the exact correction yielded the same or only marginally better accuracy measures compared with the approximate correction. Moreover, in terms of inventory control performance, we observe marginal differences in inventory on hand and backlogs.
Keywords: forecasting; time series; inventory; modelling and simulation; lumpy demand.