SIMULTECH 2011 Abstracts


Area 1 - Methodologies and Technologies

Full Papers
Paper Nr: 18
Title:

PARALLELIZATION OF A MATHEMATICAL MODEL TO EVALUATE A CCA APPLICATION FOR VANETS

Authors:

Rocío Murcia-Hernández, Carolina García-Costa, Juan Bautista Tomás-Gabarrón, Esteban Egea-López and Joan García-Haro

Abstract: Vehicular Ad-hoc Networks (VANET) are currently becoming not only an extremely important factor for vehicles engineering development but also a key issue for improving road safety. Cooperative/Chain Collision Avoidance (CCA) application comes up as a solution for decreasing accidents on the road, therefore it is highly convenient to study how the system of vehicles in a platoon will behave at different stages of technology deployment until full penetration in the market. We have developed an analytical model to compute the average number of accidents in a platoon of vehicles. However, due to the model structure, when the CCA technology penetration rate is taken into account, the increase in the number of operations of the analytical model is such that the sequential computation of a numerical solution is no longer feasible. In this paper, with the goal in mind of reducing computation time, we show how we have implemented and parallelized our analytical model so as a solution can be achieved, what is conducted using the OpenMP parallelization techniques under a supercomputing shared memory environment.

Paper Nr: 27
Title:

THE STABILITY BOX IN INTERVAL DATA FOR MINIMIZING THE SUM OF WEIGHTED COMPLETION TIMES

Authors:

Yuri N. Sotskov, Natalja G. Egorova, Tsung-Chyan Lai and Frank Werner

Abstract: We consider a single-machine scheduling problem, in which the processing time of a job can take any value from a given segment. The criterion is to minimize the sum of weighted completion times of the n jobs, a weight being associated with a job. For a job permutation, we study the stability box, which is a subset of the stability region. We derive an O(nlogn) algorithm for constructing a job permutation with the largest dimension and volume of a stability box. The efficiency of a permutation with the largest dimension and volume of a stability box is demonstrated via a simulation on a set of randomly generated instances.

Paper Nr: 28
Title:

SIMULATION OF NONLINEAR DIFFUSION ON A SPHERE

Authors:

Yuri N. Skiba and Denis M. Filatov

Abstract: A new numerical technique for the simulation of nonlinear diffusion processes on a sphere is developed. The core of our approach is to split the original equation's operator, thus reducing the two-dimensional problem to two one-dimentional problems. Further, we apply two different coordinate grids to cover the entire sphere for solving the split 1D problems. This allows avoiding the question of imposing adequate boundary conditions near the poles, which is always a serious problem when modelling on a sphere. Yet, therefore we can employ finite difference schemes of any even approximation order in space. The developed approach is cheap to implement from the computational point of view. Numerical experiments prove the suggested technique, simulating several diffusion phenomena with high accuracy.

Paper Nr: 32
Title:

PARAMETER ESTIMATION OF AN INDUSTRIAL EVAPORATOR WITH HYBRID DYNAMICS BY A SMOOTHING APPROACH

Authors:

Ines Mynttinen, Erich Runge and Pu Li

Abstract: Evaporation systems are essential in process industries. Due to phase transitions and changes of operating modes these systems has to be classified as hybrid systems and the simulation and optimization based on detailed models is often a challenging if not an intractable task. In this study we apply a smoothing approach in order to modify the hybrid model such that the discrete transitions are integrated into a system of differential algebraic equations leading to exclusively smooth trajectories. The simulation results of the smooth model are compared to those of the original hybrid model. With a view to parameter estimation the sensitivity with respect to the smoothing parameter as well as the parameters to be estimated are calculated. The parameter estimation is carried out for the smooth model and the dependence of the optimization results on the smoothing parameter is investigated.

Paper Nr: 35
Title:

CELLULAR AUTOMATA SIMULATION OF LAVA FLOWS - Applications to Civil Defense and Land Use Planning with a Cellular Automata based Methodology

Authors:

Rocco Rongo, Valeria Lupiano, Maria Vittoria Avolio, Donato D'Ambrosio, William Spataro and Giuseppe A. Trunfio

Abstract: A large number of people live either on or in the surrounding areas of hundreds of worldwide active volcanoes. For this reason, the individuation of those areas that are more likely to be affected by new eruptive events is of fundamental importance for diminishing possible consequences in terms of loss of human lives and/or material properties. We here illustrate a methodology for defining flexible high-detailed lava invasion hazard maps which is based on a efficient Cellular Automata computational model for simulating lava flows on present topographic data and on High Performance Parallel Computing for increasing computational efficiency. We also show the application of the methodology to the entire area surrounding Mt Etna (Italy), Europe’s most active volcano, showing its suitability for land use planning and civil defence applications. Furthermore, specific applications to inhabited areas of the volcano are also shown, which demonstrate the methodology’s applicability in this field.

Area 2 - Applications and Tools

Full Papers
Paper Nr: 38
Title:

STUDY OF WIND FARM BEHAVIOUR DURING POWER SYSTEM NETWORK DISTURBANCE

Authors:

T. R. Ayodele, A. A. Jimoh, J. L. Munda and J. T. Agee

Abstract: This paper studies the impact of disturbances emanating from the power system network on the behaviour of a wind farm (WF) consisting of doubly fed induction generator (DFIG). Response of the WF to disturbances like fault occurence, sudden change in load, sudden loss of transmission line and loss of generation are considered in the study. The models of various systems making up the wind conversion system are presented. Pitch control system is used for the stabilization of the wind turbine against the disturbances. Parts of the key results show that the generator inertia, converter controller and types of disturbance have significant effect on the response of a WF.

Paper Nr: 50
Title:

SIMULATORS FOR CONTROL ENGINEERS ADVANCED LEARNING

Authors:

L. F. Acebes, A. Merino, L. Gómez, R. Alves, R. Mazaeda and J. Acedo

Abstract: The paper purpose is to show a Windows© NT/XP/7 application oriented to learn control skills to process engineers and it is used successfully in an industrial master of instrumentation and process control.This tool contains two sets of process control problems that are very diverse ones, both in the type of process as well as control techniques (twenty three modules are available). It is possible to study cascade, ratio, selective, override and feedforward control techniques and the tuning, configuration and operation of PID controllers. It also allows analyzing complex systems control installed in boilers, furnaces, distillation columns or reactors and some special control techniques to ensure the process safety. When a module is selected a dynamic simulation and its graphical user interface are started. So, as example, one of the simplest modules is shown. Finally, an overview of the methodology and software used to develop this tool is also outlined. In particular, an object oriented modeling tool is used to develop the simulation models, a SCADA is used as graphical user interface and the simulation-SCADA communications are supported by the OPC standard.

Area 3 - Methodologies and Technologies

Full Papers
Paper Nr: 61
Title:

INTEGRATING SYSML WITH SIMULINK USING OPEN-SOURCE MODEL TRANSFORMATIONS

Authors:

Andrea Sindico, Marco Di Natale and Gianpiero Panci

Abstract: The realization of an integrated and automated modelling flow and tool framework joining OMG (i.e. UML, SysML, etc.) and Mathworks (i.e. Matlab, Simulink, etc.) models and technologies is a very attractive perspective because of the possibility of complementing their capabilities and strenghts. In this paper we describe our project for an integrated flow and our initial results, consisting of a transformation workflow to automatically generate Simulink models from SysML models and viceversa. Our proposed process is compliant with the OMG Model Driven Architecture. The transformations have been realized using the TopCased open-source modeling tool and the Acceleo model-to-text generator.

Area 4 - Applications and Tools

Full Papers
Paper Nr: 70
Title:

A SIMULATION STUDY FOR OPTIMIZING THE PERFORMANCE OF SEMI-LAYER DELTA NETWORKS

Authors:

Eleftherios Stergiou and John Garofalakis

Abstract: In this paper, a semi-layer multistage delta network is presented and exemplified considering various values of buffer size by using simulation. The proposed network configurations are evaluated and compared with each other. A performance evaluation was conducted via our simulator assuming uniform conditions and arrivals of Bernoulli type. Performance statistics were collected for the two most important performance indicators of the network that is throughput and packet latency. From this study emerges the appropriate configuration of single and semi-layer delta networks in terms of buffer size. The evaluation methodology can be applied to several network configurations, providing the basis for a fair comparison, and the necessary data for network engineering to optimize the performance of semi-layer delta networks.

Area 5 - Methodologies and Technologies

Full Papers
Paper Nr: 75
Title:

MECHATRONIC SYSTEM MODELING - A Consistent Preliminary Design Process

Authors:

Jean-Yves Choley, Régis Plateaux, Olivia Penas, Christophe Combastel and Hubert Kadima

Abstract: In order to describe a consistent and collaborative preliminary design process for mechatronic systems, this study deals with an automotive power lift gate scenario. First, a functional analysis is carried out with SysML from user requirements. This allows one to define suitable architectures and associated test cases. Each of them has to be analysed and optimized separately in order to select the best architecture and the best set of key parameters. The next step of the preliminary design is a modelling of its structure and its behaviour. In order to merge multi-physical and geometrical parameters, our generic method relies on a topological analysis of the system and generates a set of equations with physical and topological constraints previously defined. Finally, an interval analysis is implemented, allowing one to explore exhaustively the search space resulting from a declarative statement of constraints, in order to optimize the parameters under the constraint of the relevant test cases.

Area 6 - Applications and Tools

Full Papers
Paper Nr: 78
Title:

SIMULATION ASSISTED, MODEL-BASED DEVELOPMENT OF SAFETY RELATED INTERLOCKS

Authors:

Timo Vepsäläinen and Seppo Kuikka

Abstract: Dynamic simulators could support in several ways the development of industrial automation and control systems including their interlocking functions, which constitute an important and tedious part of control system development. In this paper, we present a tool-supported, partially automated approach for creating simulation models of controlled systems and their interlocking functions based on UML AP models of control systems. The approach is integrated to a model-based development approach of control applications with the purpose of facilitating manual development work and enabling early testing and comparison of control solutions. The tools and the techniques are demonstrated with an exemplary modelling project and the paper also discusses the relationship between interlocking and safety functions.

Paper Nr: 82
Title:

AGENT-BASED SIMULATION OF MOLECULAR PROCESSES - An Application to Actin-polymerisation

Authors:

Stefan Pauleweit, J. Barbara Nebe and Olaf Wolkenhauer

Abstract: Agent-based modelling is widely used in ecology, economics and the social sciences. For the life science it is an increasingly used technology. Here we use agent-based modelling to simulate the formation of actin filaments, which is a major part in the cytoskeleton of the cell and plays a role in a number of cell functions. We present in this paper three models with different levels of detail and show the potential of agent-based models in systems biology by comparing the simulations to already published results.

Paper Nr: 84
Title:

AUTOMATED ORDER-PICKING WORKSTATION HANDLING OUT-OF-SEQUENCE PRODUCT ARRIVALS

Authors:

R. Andriansyah, L. F. P. Etman, I. J. B. F. Adan and J. E. Rooda

Abstract: A novel design of an automated order-picking workstation processing multiple orders is proposed for a warehouse with an end-of-aisle order-picking system. A typical problem at this workstation is the out-of-sequence arrival of products, assuming the workstation receives products for multiple orders simultaneously. As multiple products are present, the picking sequence at the workstation affects the system throughput. The order throughput performance of three picking policies is compared under different extents of out-of-sequence arrivals. Experimental results show the capability of the workstation to handle an arbitrary extent of out-of sequence arrival of products. Noteworthy insights for design considerations of such systems are drawn.

Area 7 - Methodologies and Technologies

Full Papers
Paper Nr: 87
Title:

EVALUATING PERFORMANCE OPTIMIZATIONS OF LARGE-SCALE GENOMIC SEQUENCE SEARCH APPLICATIONS USING SST/MACRO

Authors:

Tae-Hyuk Ahn, Damian Dechev, Heshan Lin, Helgi Adalsteinsson and Curtis Janssen

Abstract: The next decade will see a rapid evolution of HPC node architectures as power and cooling constraints are limiting increases in microprocessor clock speeds and constraining data movement. Future and current HPC applications will have to change and adapt as node architectures evolve. The application of advanced cycle accurate node architecture simulators will play a crucial role for the design and optimization of future data intensive applications. In this paper, we present our simulation-based framework for analyzing the scalability and performance of a number of critical optimizations of a massively parallel genomic search application, mpiBLAST, using an advanced macroscale simulator (SST/macro). In this paper we report the use of our framework for the evaluation of three potential improvements of mpiBLAST: enabling high-performance parallel output, an approach for caching database fragments in memory, and a methodology for pre-distributing database segments. In our experimental setup, we performed query sequence matching on the genome of the yellow fever mosquito, Aedes aegypti.

Area 8 - Applications and Tools

Full Papers
Paper Nr: 110
Title:

MODELING THE EFFECT OF HYDROGEN ON CREEP BEHAVIOR OF ZIRCALOY CLADDING

Authors:

VenkatRao Mallipudi, Stéphane Valance and Johannes Bertsch

Abstract: During dry storage of used nuclear fuel, creep is the most likely degradation mechanism for the zirconium alloy fuel cladding. The cladding integrity during dry storage depends on the internal fuel rod pressure, the temperature, the amount of oxidation, irradiation hardening and the content of hydrogen which has been taken up during in-reactor operation. In this paper, the effect of hydrogen on the creep behavior of zirconium alloy cladding material was investigated at the temperature of 400°C. Depending on temperature, hydrogen can be found in the material under the form of solid solution and/or precipitated hydride. To capture this phenomenon, a numerical mesoscale model of the hydrogenated material has been built using the Finite Element (FE) method. The numerical setup explicitly describes the hydrides as an inclusion in a hydrogenated matrix. The matrix creep behavior follows combined Norton-Bailey creep rules whereas the hydrides are considered to be elastic material. The creep law was defined in FE Code ABAQUS using the user subroutine CREEP. The comparison of predicted creep behavior obtained from FE showed good agreement with the results reported in literature. Particularly, our model is able to seize the competition between the creep strain rate enhancement induced by hydrogen in solid solution and its reduction due to precipitated hydrogen.

Area 9 - Methodologies and Technologies

Full Papers
Paper Nr: 128
Title:

A MODEL-DRIVEN ARCHITECTURE APPROACH FOR AGENT-BASED MODELING AND SIMULATION

Authors:

Alfredo Garro, Francesco Parisi and Wilma Russo

Abstract: It is widely agreed that a widespread adoption of the Agent-Based Modeling and Simulation (ABMS) approach by experts of typical ABMS domains demands for well-defined processes, modeling techniques and tools able to fully support them in modeling and simulating complex systems. To this end, the paper proposes a Model-Driven process which conforms to the OMG Model-Driven Architecture (MDA) and enables the definition of Platform-Independent simulation Models from which Platform-Dependent simulation Models and the related code can be automatically obtained with significantly reduced programming and implementation efforts.

Short Papers
Paper Nr: 9
Title:

CROSSLINKING BY PEROXIDE AND SULPHUR VULCANIZATION: CHEMICAL MECHANISMS AND REACTION KINETIC DETERMINATION - A Comprehensive Numerical Model

Authors:

Gabriele Milani and Federico Milani

Abstract: The work presents a comprehensive numerical model to optimize mechanical properties of thick rubber vulcanized items, comprising medium and high voltage electric cables and 3D devices. Several vulcanization systems are considered, including peroxides and accelerated sulphur. In the case of peroxides, both a genetic algorithm (GA) with zooming and elitist strategy and an alternating tangent (AT) approach are adopted to determine the optimal final mechanical properties (tensile strength) of 2D and 3D rubber items. The use of a mixture of peroxides is also taken into account, demonstrating that it helps in reducing the curing time and/or in increasing the optimal tensile strength in both core and skin of thick devices. For sulphur vulcanization, a mathematical kinetic model is presented to accurately predict the crosslinking density of vulcanized rubber. It bases on the actual reactions occurring in practice and allows to estimate the overall degree of vulcanization of real manufactured items.

Paper Nr: 14
Title:

NUMERICAL PARAMETRIC STUDY OF COMPLEX LIQUID FLOW IN THREE-DIMENSIONAL IMPELLER AND IMPELLER-VOLUTE OF A CENTRIFUGAL PUMP

Authors:

Massinissa Djerroud, Guyh Dituba Ngoma and Walid Ghie

Abstract: In this study, the effects that the blade width, the blade number, and the impeller diameter have on the steady state liquid flow in three-dimensional impeller, and combined impeller and volute were investigated. The continuity and Navier-Stokes equations with the k-ε turbulence model and the standard wall functions were used by mean of ANSYS-CFX code taking into account of the suction pressure variation as a function of the valve volume flow rate. The achieved results reveal that the selected key design parameters have an impact on the head, the brake horsepower and the overall efficiency of the centrifugal pump. To valid the developed approach, the results of numerical simulation were compared with the experimental results considering a special case of combined impeller and diffuser.

Paper Nr: 36
Title:

LINKING AND REUSING MODEL COMPONENTS FOR ENVIRONMENTAL SIMULATION

Authors:

Jean-Luc de Kok and Guy Engelen

Abstract: Simulation modelling is widely accepted as a tool to gain understanding of the behavior of environmental systems under pressure and support their integrated management. A common practice is that the modelling process is aimed at identifying the relevant problems and potential management strategies in close coordination with stakeholders before translating the available domain expertise into integrated simulation models. The challenges include the need for cross-disciplinary thinking and model linking, incorporation of social science knowledge, and the communication aspects of projects. Most projects bring along their own case studies, with simulation models being designed from scratch. Although component-based design is the common practice in software engineering few examples are found in environmental modelling. Project deliverables are often not reused by parties different from those that developed them. An open-source library of well-designed, reusable model building components could pave the way for a more efficient use of modelling resources and considerably improve the efficiency and flexibility of the modelling process, thereby creating more room for the communication with end users, scientific discussions, and model interface design. The experiences of a multi-disciplinary simulation study of coastal systems are used to discuss the methodological aspects and pitfalls of the design of reusable model components.

Paper Nr: 37
Title:

STOCHASTIC MODELLING IN HEALTHCARE SYSTEMS

Authors:

Srinivas R. Chakravarthy

Abstract: We are at a point in time where healthcare (in USA) is getting more attention from law makers, government agencies, doctors, hospitals, pharmaceutical companies, and population at large. The costs for healthcare have been steadily growing. The healthcare system offers challenging and interesting opportunities for operations researchers from both theoretical and practical points of view. This paper is an attempt to use simulation as a tool to study a healthcare system at a macroscopic level.

Area 10 - Applications and Tools

Short Papers
Paper Nr: 42
Title:

RETROFIT OF CRUDE PREHEAT TRAIN WITH MULTIPLE TYPES OF CRUDE

Authors:

Kitipat Siemanond and Supachai Kosol

Abstract: This study explores the retrofitting of the crude preheat train of a crude distillation unit (CDU) processing two types of crude--light and heavy--for a period of 200 and 150 days per year, respectively, with the aim of finding the optimal design that would yield the highest net present value (NPV). A mathematical programming model using GAMS software of heat exchanger network (HEN) called stage model (Zamora and Grossmann, 1996) is applied to carry out the retrofit. The base case CDU is simulated by PRO II software. Using pinch analysis, the composite curves show the retrofit potential of base cases with light and heavy crude. The 10-stage model generates six retrofit designs--Designs 1, 2, 3, 4, 5, and 6--of which Designs 1, 2, and 3 are suitable for light crude and Designs 4, 5, and 6 are suitable for heavy crude. Using a graphical technique of searching for optimization with maximized NPVs of all designs, it is shown that Design 2 is the optimal retrofit design processing both types of crude, yielding the highest NPV of $11,529,511 for a 5-year lifetime and resulting in furnace duty saving of 32%.

Paper Nr: 46
Title:

COMPARATIVE STUDY OF PROPORTIONAL INTEGRAL AND PASSIVITY BASED CONTROL FOR BUCK CONVERTER

Authors:

S. Ganesh Kumar and S. Hosimin Thilagar

Abstract: Passivity Based Controller (PBC) is said to be following energy shaping approach for the faster stabilisation of output response for the given system. In this paper the PBC is implemented in a buck converter fed D.C. drive system. The drive is tested for desired speed requirements with constant and step change in load torque conditions. MATLAB-Simulink is used for simulating the drive system with PBC. The simulated results confirm that the dynamic response of the PBC is much faster in achieving the desired voltage and speed when compared with conventional PI controller.

Area 11 - Methodologies and Technologies

Short Papers
Paper Nr: 49
Title:

KINETICS MODELING OF WOOD TORREFACTION - Weight Loss Kinetics

Authors:

A. Pétrissans, M. Chaouch, P. Gérardin, M. Pétrissans and R. Younsi

Abstract: Torrefaction is a thermal treatment step in a relatively low temperature range of 210–240˚C, which aims to improve the dimensional stability and durability of wood. The weight loss kinetics for torrefaction of wood samples was studied using equipment specially conceived to measure mass losses during thermal treatment. Laboratory experiments were performed under nitrogen for heating rates of 1˚C.min-1. A mathematical model for the kinetics of the thermodegradation process was used and validated. Measurements of temperature distribution and anhydrous weight loss were performed on dry sample of poplar wood during pyrolysis in an inert atmosphere at 230°C. The mathematical formulation describing the simultaneous heat and mass transfers requires coupled nonlinear partial differential equations. These unsteady-state mathematical model equations were solved numerically by the commercial package FEMLAB. A detailed discussion of the computational model and the solution algorithm is given. Once the validity of different assumptions of the model had been analyzed, the experimental results were compared with those calculated by the model. Acceptable agreement was achieved.

Area 12 - Applications and Tools

Short Papers
Paper Nr: 56
Title:

CLIMATE-ECONOMY MODELING CONSIDERING SOLAR RADIATION MANAGEMENT AND ITS TERMINATION RISK

Authors:

Takanobu Kosugi

Abstract: The combination of carbon dioxide (CO2) emissions mitigation and geoengineering options of solar radiation management (SRM) such as placing sunshades in space and stratospheric aerosol injection is discussed quantitatively using an extended version of the DICE-2007, an integrated assessment model for climate policy analysis. Though SRM measures can contribute considerably to the cost-effectiveness of climate change mitigation, they might cause harmful side effects, such as rapid air temperature increases, if the SRM implementation were to be discontinued for any reason. The author suggests a guideline for the use of SRM: namely, that unexpected SRM termination at any time would not exceed the constraints on the rate of global warming recommended by the German Advisory Council on Global Change. The paper describes a method to incorporate this guideline in the DICE-2007 model, and shows the result of the extended model, which recommends an 80% reduction of global industrial CO2 emissions below the 2005 level by the end of the 21st century while implementing a complementary SRM option to mitigate climate change.

Area 13 - Methodologies and Technologies

Short Papers
Paper Nr: 59
Title:

COMPONENT APPROACH TO DISTRIBUTED MULTISCALE SIMULATIONS

Authors:

Katarzyna Rycerz and Marian Bubak

Abstract: This paper presents a component approach suitable for distributed multiscale simulations. We describe the integration of the High Level Architecture (HLA) distributed simulation standard with modern computing frameworks: component technologies and Grid infrastructures, which enable users working on distributed simulations to easily exchange, the simulation models available to them. We discuss the design challenges involved in developing an HLA component which can be steered by a user during simulation runtime. More specifically, we present a solution which supports concurrent control of two different layers: the Grid (exploited by the user to steer the component). and the HLA. This functionality is presented on a sample multi-scale stellar system simulation.

Paper Nr: 65
Title:

VISUALIZATION OF FOLKTALES ON A MAP BY COUPLING DYNAMIC DEVS SIMULATION WITHIN GOOGLE EARTH

Authors:

Jean-François Santucci and Laurent Capocchi

Abstract: This paper deals with dynamic visualization of folktales on a map. The visualization is performed using a coupling of dynamic simulation with the google earth API. The simulation is based on the DEVS (Discrete EVent system Specification) formalism. We have defined a set of basic models to perform visualization of folktales using a software framework called DEVSimPy. DEVSimPy is a framework dedicated to DEVS modeling and simulation of complex systems. We also present in this paper a validation of the developed basic models based on folktales coming from the Corsican mythology.

Area 14 - Applications and Tools

Short Papers
Paper Nr: 67
Title:

ENHANCING UNDERSTANDING OF MODELS THROUGH ANALYSIS

Authors:

Kara A. Olson and C. Michael Overstreet

Abstract: Simulation is used increasingly throughout research and development for many purposes. While in many cases the model output is of primary interest, often it is the insight gained through the simulation process into the behavior of the simulated system that is the primary benefit. This insight can come from the actions of building and validating the model as well as observing its behavior through animations and execution traces or statistical analysis of simulation output. However, much that could be of interest may not be easily discernible through these traditional approaches, particularly as models become increasingly complex. The authors suggest several possibilities of how to obtain such insights. These analyses have other obvious uses including aid in debugging, verification and documentation. The authors, however, are primarily interested in how these analysis techniques can be used to help modelers gain additional insights into the models they are using or constructing. The discussed techniques are used with significant benefit within computer science and software engineering; the authors believe these techniques can also serve simulation well. The authors’ experience with these techniques thus far has involved discrete event simulations; their potential benefit with other model representations and implementation approaches has not yet been explored.

Area 15 - Methodologies and Technologies

Short Papers
Paper Nr: 68
Title:

A WEB-BASED REPOSITORY OF REPRODUCIBLE SIMULATION EXPERIMENTS FOR SYSTEMS BIOLOGY

Authors:

Michael A. Guravage and Roeland M. H. Merks

Abstract: Systems Biology requires increasingly complex simulation models. Effectively interpreting and building upon previous simulation results is both difficult and time consuming. Thus, simulation results often cannot be reproduced exactly; making it difficult for other modellers to validate results and take the next step in a simulation study. The Simulation Experiment Description Mark-up Language SED-ML, a subset of the Minimum Information About a Simulation Experiment(MIASE) guidelines, promises to solve this problem by prescribing the form and content of the information required to reproduce simulation experiments. SED-ML enable automatic rerunning of simulation experiments. Here, we present a web-based simulation-experiment repository that lets modellers develop SED-ML compliant simulation-experiment descriptions The system encourages modellers to annotate their experiments with text and images, experimental data and domain meta-information. These informal annotations aid organisation and classification of the simulations and provide rich search criteria. They complement SED-ML's formal precision to produce simulation-experiment descriptions that can be understood by both men and machines. The system combines both human-readable and formal machine-readable content, thus ensuring exact reproducibility of the simulation results of a modelling study.

Paper Nr: 69
Title:

FLEXIBLE FRAMEWORK FOR MODELING WATER CONVEYANCE NETWORKS

Authors:

João Miguel Lemos Chasqueira Nabais, José Duarte, Miguel Ayala Botto and Manuel Rijo

Abstract: A flexible framework for modeling different water conveyance networks is presented. The network is modeled using a linear canal pool model based on the Saint-Venant equations to describe transportation phenomenon occurring in open channels. This model is used as a link to connect different nodes defined by gates or reservoirs. The linear pool model has interesting features namely the pool axis monitoring, the inflow along the pool axis and the ability to consider different boundary conditions. Based on these characteristics canal pool observers for leak detection and localization can be developed. It is shown that based on a finite difference scheme a good performance is obtained for low space resolution. The modeling framework is validated with experimental data from a real canal property of the Évora University. This is a challenging configuration due to its strong canal pool coupling.

Area 16 - Applications and Tools

Short Papers
Paper Nr: 73
Title:

DECISION SUPPORT FOR DYNAMIC CITY TRAFFIC MANAGEMENT USING VEHICULAR COMMUNICATION

Authors:

Jana Görmer, Jan Fabian Ehmke, Maksims Fiosins, Daniel Schmidt, Henrik Schumacher and Hugues Tchouankem

Abstract: In this paper, we present an integrated simulation approach featuring centralized and decentralized traffic management in urban areas. Our aim is to improve traffic flows by dynamic traffic management which is supported by vehicular communication interlinking centralized and decentralized decision making. We focus on traffic state estimation and the optimization of traffic lights as a central component to influence local traffic states, while individual traffic participants’ behavior is modeled by multiagent systems. Traffic participants achieve their individual goals by formation of groups and improving their knowledge about the road network by means of learning. Modeling of vehicular communication takes into account specific characteristics of urban areas, ensuring the realistic collection and dissemination of (de)centralized information. We provide a comprehensive microscopic traffic simulation framework featuring innovative functionality regarding dynamic traffic management, decentralized decision making as well as realistic communication modeling. To illustrate and validate our approach, we present a use case in a city scenario. Simulations are implemented based on the microscopic traffic simulator AIMSUN, which is significantly extended using the AIMSUN API.

Area 17 - Methodologies and Technologies

Short Papers
Paper Nr: 76
Title:

TOOL FOR THE EVALUATION OF INNOVATIVE THERAPIES - Multi-agent based System

Authors:

Anastasiya Shtiliyanova, Fabien Feschet and Pascal Pommier

Abstract: The paper contains the main lines of the modeling of a prototype for both medical and economical evaluation of radiotherapy centers using innovative therapies. We consider uncertainties according to patients and hospital complexes participating in the study. The corresponding part of the tool is called recruitment model. It evaluates a theoretical number of patients interested in treatments of one center, using spatialization into a context of competition. Moreover we developed a scheduling model, described brie?y here and two shortly presented economical models in charge of the evaluation of the average price per treatment and the comparison between different radiotherapy strategies. We present preliminary results of the recruitment model.

Paper Nr: 77
Title:

A MODEL TRANSFORMATION APPROACH FOR THE DEVELOPMENT OF HLA-BASED DISTRIBUTED SIMULATION SYSTEMS

Authors:

Andrea D'Ambrogio, Giuseppe Iazeolla, Alessandra Pieroni and Daniele Gianni

Abstract: The development of HLA-based distributed simulation systems requires a significant expertise and a considerable effort for the inherent complexity of the HLA standard. This paper introduces an automated approach for the development of HLA-based simulation systems of higher quality at largely reduced time, effort and cost. The proposed approach is founded on the use of model transformation techniques and relies on standards introduced by the Model Driven Architecture (MDA). The proposed approach takes as input a UML model of the system to be simulated and yields as output both an intermediate UML model and the final code of the HLA-based distributed simulation system.

Paper Nr: 81
Title:

MODELING REAL-TIME APPLICATIONS FOR WIRELESS SENSOR NETWORKS USING STANDARDIZED TECHNIQUES

Authors:

Andreas Blunk, Mihal Brumbulli, Ingmar Eveslage and Joachim Fischer

Abstract: The development of applications forWireless Sensor Networks is a challenging task. Any approach for developing such applications needs to provide means for describing their functionality, obtain an executable, and be able to evaluate their potential real-time behavior. This paper shows how standardized techniques can be used to address these challenges by giving a real application example. We evaluate our approach based on experiment results and provide some considerations on the used standardized languages.

Area 18 - Applications and Tools

Short Papers
Paper Nr: 92
Title:

METHODOLOGY AND RECOMMENDATIONS FOR CRISIS PROCESSES - An Effective Way How to Manage Business Process Deployment in the Crisis Management

Authors:

Tomáš Ludík, Jaroslav Ráček and Lucie Pekárková

Abstract: The paper focuses on identification and software support processes in the field of crisis management. The paper aims to describe a process methodology for crisis management. The methodology consists of five main phases, being Identifying, Modelling, Configuration, Execution/Monitoring and Optimization of processes. Each phase is described in terms of individual activities, input and output artefacts, and user roles. The next part of the paper recommends the use of particular technologies, tools and resources that have been successfully proved in the analysis of crisis situations in the Czech Republic. Established process methodology and practical recommendations create the foundation for the full methodology deployment in practice. Throughout this paper the emphasis is on practical demonstration of results on a case study that applies a process methodology and hereof related recommendations in the crisis situation.

Paper Nr: 93
Title:

HUMAN BODY AS A MECHATRONIC SYSTEM - Complex Modelling, Simulation and Control

Authors:

Dorinel Andreescu, Hartmut Riehle, Florin Ionescu and Stefan Arghir

Abstract: The modelling of the human locomotor system and its simulation are subjects of intensive studies, due mostly to the development of the computer processing power and the appropriate software. Most fields of application are located in the reconstruction of human movements: the motor, its transmission and the necessary control systems. The goal to have a general approach fully describing the Human Body as a System, with high accuracy and open set of functions for its entire complexity is still to be reached. Envisioning the body as an open system we refer to: the 3D-geometry of all bones and their 3D-defined positions (six degrees of freedom, the corresponding coordinates, restrictions and anomalies), the joints, ligaments and muscles with their frictions, both viscous and dry, and the contact pressures, the sensorial system with its information conduits and control mechanism and, last but not least, the human brain, as a hard-soft-controller for this most intricate and complex system that is the human body. This paper presents some main ideas for this approach and achieved results concerning steps on the way towards obtaining this goal. The first beneficiaries to welcome these results are, on the one hand, the sportsmen and, on the other, the architects and engineers working on humanoid robots.

Area 19 - Methodologies and Technologies

Short Papers
Paper Nr: 96
Title:

A MODEL MANAGEMENT APPROACH FOR CO-SIMULATION MODEL EVOLUTION

Authors:

Xiaochen Zhang and Jan F. Broenink

Abstract: In most of the embedded control system designs, multiple engineering disciplines and various domain-specific models are involved, such as mechanical, control, software and hardware models. Close collaboration and well integration between all domain-specific models become more and more important for developing dependable and cost-efficient systems. Moreover, each disciplinary model can be developed and evolved following its own semantics and development tools in different rates. The inconsistency between models and the evolution of the collection of models will increase the complexity of design as well as the difficulty of maintaining several models under simultaneous development and changes. This paper proposes a model management approach for multi-disciplinary systems and co-simulation. Such model management approach can ensure the model integration and consistency by checking the model interfaces attached to each domain model and the protocol defined in a co-simulation contract. It also can keep track of model evolution along with changing details and making design variants. The concepts of a scenario based co-simulation framework and a logging mechanism with graphical representation of the model evolution process are also explained.

Area 20 - Applications and Tools

Short Papers
Paper Nr: 97
Title:

THE EFFECT OF FLUID VISCOSITY IN T-SHAPED MICROMIXERS

Authors:

Mina Roudgar, Elizabetta Brunazzi, Chiara Galletti and Roberto Mauri

Abstract: Effective mixing in small volumes is a crucial step in many chemical and biochemical processes, where microreactors are to ensure a fast homogenization of the reactants. Physically, liquid flows in microfluidic channels are characterized by low values of the Reynolds number and, in general, large values of the massive Peclet number. Accordingly, since general strategies of flow control in microfluidic devices should not depend on inertial effects, reduction of the mixing length requires that there must be transverse flow components. In this paper, three-dimensional numerical simulations were performed to study the flow dynamics and mixing characteristics of liquids flows inside T-shaped micromixers, when the two inlet fluids are either both water or water and ethanol. In particular we showed that, contrary to what one could think beforehand, the mixing efficiency of water-ethanol systems is lower than the corresponding water-water case.

Paper Nr: 98
Title:

A FUZZY-PI CONTROLLER FOR WIND TURBINE DRIVEN DFIG OPTIMIZED USING GENETIC ALGORITHMS

Authors:

Lawrence K. Letting, Josiah L. Munda and Yskandar Hamam

Abstract: This paper presents the design of optimal TSK-fuzzy PI controller for the rotor side converter (RSC) of a doubly fed induction generator (DFIG) in a grid connected wind generation system. The optimization strategy is based on binary genetic algorithms. The controller is used to regulate the active and reactive power and hence extract maximum energy from the system under varying wind speeds. Pitch angle control is used to regulate the rotor angular speed while the active and reactive power are controlled by the rotor voltage supplied by the RSC. The stator flux oriented reference frame is adopted. A fuzzy-PI controller with a minimum rule base of nine rules is realized. The controller is implemented in C code as a dynamic linked library and simulated using LabVIEW. Simulation results are presented.

Area 21 - Methodologies and Technologies

Short Papers
Paper Nr: 99
Title:

DGridSim: A REAL-TIME DATA GRID SIMULATOR WITH HIERARCHICAL JOB AND DATA SCHEDULING

Authors:

Safai Tandoğan, Atakan Doğan and Celal Murat Kandemir

Abstract: In this study, DGridSim, a process oriented and discrete-event driven all-in-one Data Grid simulator, is introduced, and some initial simulation results are reported to validate its operation. DGridSim has some distinguishing features which make it unique among the Data Grid simulators available in the literature. First of all, in order to provide the guaranteed service to real-time jobs running on the system, DGridSim incorporates the advance reservation of all system resources, including computing, network, and storage. Second, DGridSim supports a hierarchical real-time scheduling architecture for both jobs and jobs’ data. Third, it allows the simulation of all related components of a Data Grid system which may have an impact on the system’s real-time performance.

Area 22 - Applications and Tools

Short Papers
Paper Nr: 100
Title:

AGST - AUTONOMIC GRID SIMULATION TOOL - A Simulator of Autonomic Functions based on the MAPE-K Model

Authors:

Berto de Tácio Pereira Gomes and Francisco José da Silva e Silva

Abstract: This paper describes AGST, a simulator tool for autonomic grids based on discrete events. The simulator provides, among others, tools for modeling grid resources and their network interconnections, grid applications and their submissions, the occurrence of resource faults, resources local workload, and the use of workload and fault traces following the SWF and FTA standards. AGST major contribution is the definition of a simulation model of the autonomic management cycle MAPE-K, which allows the simulation and evaluation of autonomic grid middleware behavior, providing support for the monitoring, analysis, planning, and dynamic execution of reconfiguration actions to be applied to the simulated grid components.

Paper Nr: 103
Title:

SLUDGE MINIMIZATION BY THERMAL LYSIS DURING BIOLOGICAL WASTEWATER TREATMENT - Experimental Study, Model Set Up and Calibration

Authors:

Julien Laurent, Romain Guignard, Magali Casellas and Christophe Dagot

Abstract: Sludge minimization by thermal treatment within activated sludge process was investigated at pilot scale. A 90°C treatment was set up in the return activated sludge loop. When keeping apparent sludge age at 15 days, 90°C treatment decreased sludge production by 30.4%. However, effluent quality was altered. A sludge minimization ASM1 based model was set up and calibrated against experimental data, fractionation experiments allowed us to determine state variables for treated sludge. Biomass lysis explained sludge minimization whereas the decrease of heterotrophs growth rate yielded the higher effluent COD concentration. The calibrated model will then be used to optimize the process.

Paper Nr: 106
Title:

SIMULATION OF PHOTOVOLTAICS FOR DEFENCE AND COMMERCIAL APPLICATIONS BY EXTENDING EXISTING 3D AUTHORING SOFTWARE - A Validation Study

Authors:

Ioannis Paraskevopoulos and Emmanuel Tsekleves

Abstract: The use of photovoltaic (PV) technology for the harvesting of renewable energy is a reality and is widely employed today. However this is mainly focused towards house and industry energy harvesting. Recent development in thin and flexible materials mean that photovoltaic technology can be integrated into wearable computing and expanded to other commercial as well as defence applications. This paper presents work under the Solar Soldier project that is developing a new photovoltaic simulation platform, based on flexible/wearable PVs and by extending commercial 3D design, animation and light analysis software, namely 3DS Max Design. The platform currently under development will allow the semi-automatic simulation of different scenarios and will also enable the unique feature of lighting analysis and data export of animated objects, which currently do not exist in other systems. This paper also presents a validation study of the light analysis simulation platform against actual light measurements in an outdoor scenario. This is one of the first systematic and thorough validation studies of 3DS Max Design focusing exclusively in outdoor conditions as all previous studies have focused mainly in indoor settings scenarios. The study results are extremely encouraging showing that the actual measurements and those simulated in 3DS Max Design are very similar.

Area 23 - Methodologies and Technologies

Short Papers
Paper Nr: 107
Title:

AN APPROACH TO MODELING LANDUSE CHANGE AND FOREST MANAGEMENT ON A GLOBAL SCALE

Authors:

Mykola Gusti and Georg Kindermann

Abstract: A geographically explicit approach to modelling landuse change and forestry on a global scale and a respective model are presented. The model simulates decisions of virtual land owners on landuse change (afforest or deforest) and forest management. The decisions are made in cells of a regular geographic grid (e.g. 0.5x0.5 deg). Landuse change decisions are based on comparison of net present values of forestry and agriculture. Forest management decisions are taken considering wood demand, forest productivity and net present value of forestry comparing to a baseline. Pricing of carbon stored in forest biomass, litter and soil alters forest net present value thus influencing landuse change and forest management decisions. Proposed approach allows estimation of marginal abatement costs for Reduced Emissions from Deforestation and Forest Degradation (REDD) comparable across countries or regions.

Area 24 - Applications and Tools

Short Papers
Paper Nr: 109
Title:

FUZZY APPROACHES FOR MODELING DYNAMICAL ECOLOGICAL SYSTEMS

Authors:

Àngela Nebot, Francisco Mugica, Benjamín Martínez-López and Carlos Gay

Abstract: This research shows the usefulness of fuzzy logic approaches for modelling and simulation of complex dynamical systems. Several hybrid soft computing methodologies based on fuzzy logic, such are neuro-fuzzy systems, genetic-fuzzy systems and the Fuzzy Inductive Reasoning are applied to a real dynamical system in the ecological domain, i.e. the global temperature change. The ocean-atmosphere system is represented in this work by using an energy balance model that reproduces a range of temperatures increase that agrees with that reported by the IPCC. The results obtained by all the fuzzy approaches studied are good, although the Fuzzy Inductive Reasoning methodology performs clearly much better that the other approaches for the application studied from the prediction accuracy point of view.

Paper Nr: 119
Title:

A STRATEGY FOR ACCEPTING ORDERS IN ETO MANUFACTURING WITH COMPETITIVE BIDDING - Analysis of Bidding Strategy and Expected Profits via Multi-Period Operations

Authors:

Nobuaki Ishii and Masaaki Muraki

Abstract: In Engineer-To-Order manufacturing with competitive bidding, improving cost estimation accuracy is necessary for the contractor to gain highly expected profits from accepted orders. Thus, it is critical to maintain the number of human resources required for cost estimation. However, the human resources are also required for execution of the accepted orders. Namely, in the Engineer-To-Order manufacturing, a balance of common resources for cost estimation in yielding the future profits and for execution of the accepted orders is essential for making a stable profit. In this paper, we build a mathematical model describing relations among cost estimation accuracy, order acceptance, sales, and profits through multi-period operations in consideration of characteristics of competitive bidding. Using our model, we analyse the relations between the volume of human resources allocated for the cost estimation and the expected profits from the accepted orders as well as the effect of a strategy for accepting orders on the expected profits through multi-period operations.

Area 25 - Methodologies and Technologies

Short Papers
Paper Nr: 121
Title:

MULTI-SCALE APPROACH TO POPULATION BALANCE MODELLING OF DISPERSE SYSTEMS

Authors:

Béla Lakatos

Abstract: A three-scale model is presented and analysed using the multi-scale methodology of complex systems. The micro-scale model is formulated as a set of stochastic differential equations for the individual disperse objects and it is shown that the population balance equation, containing also terms describing collision interchange of extensive quantities between the disperse elements is a meso-scale model of disperse systems. The macro-scale model is formulated by means of the moments of internal quantities. As an example a two-population model, governing the coupled behaviour of crystals and fluid elements is presented for describing micromixing in solution crystallization.

Paper Nr: 124
Title:

TOWARDS AN AGENT-ORIENTED FRAMEWORK FOR SERIOUS GAMES - Architecting with Behavioural Software Agents

Authors:

Aaron D. Tull, Tucker S. Smith and Kendra M. L. Cooper

Abstract: Agent-oriented software architectures for serious games and game development frameworks are beginning to receive attention. They are viewed as potentially valuable solutions to support the rapid and inexpensive development of games with high usability and playability. This problem domain also has challenging technical quality of service requirements (modifiability, performance, flexibility, scalability, concurrency, portability, integration of diverse technologies), which need to be carefully considered in the architecture. Here, we present a collection of high level requirements (goals) for this problem domain and argue that a new, agent-oriented component based solution is needed that explicitly models agent-based behaviour. We propose an agent-oriented extension of the adaptive object-model pattern in this research; a running example on requirements engineering software engineering education is used to help explain the architecture. The architecture is discussed with respect to the technical quality of service requirements.

Area 26 - Applications and Tools

Short Papers
Paper Nr: 126
Title:

USING SIMULATION TRAINING GAMES TO CREATE MORE ACTIVE AND STUDENT CENTERED LEARNING ENVIRONMENTS FOR SOFTWARE AND SYSTEMS ENGINEERING EDUCATION

Authors:

Tucker Smith, Aaron Tull, Kendra Cooper and Shaun Longstreet

Abstract: This paper contends that many of the bottlenecks and difficulties facing faculty and students in traditional lecture and textbook approaches to classrooms can be effectively addressed through the creation and application of simulation based games. In addition to augmenting an active, student-centered learning environment, simulation games can also cultivate soft skills such as communication, teamwork and self-reflection. From a software engineering perspective, an AOP-based architecture approach to developing a simulation game allows for greater flexibility and an increased ability to tailor the simulation for particular institutional and pedagogical needs.

Area 27 - Methodologies and Technologies

Short Papers
Paper Nr: 127
Title:

REAL-TIME ADAPTIVE LEARNING SYSTEM USING OBJECT COLOR PROBABILITY FOR VIRTUAL REALITY APPLICATIONS

Authors:

Chutisant Kerdvibulvech

Abstract: Segmentation is not a trivial task, especially in challenging situations such as outdoor area. In this paper, we develop an adaptive learning system to segment an object robustly. By using the on-line adaptation of color probabilities, the proposed method presents several specific features: it is able to cope with illumination changes even in the outdoor area, and also it can be done in real-time. Bayes’ rule and Bayesian classifier is employed to calculate the probability of an object color. Representative experimental results are also presented and discussed. The system presented can be further used to develop the real-time game of augmented reality in virtual spaces.

Paper Nr: 129
Title:

AN OPEN-SOURCE C SHARP LIBRARY BASED ON OPENGL FOR STEREOSCOPIC GRAPHIC APPLICATIONS DEVELOPMENT

Authors:

Santiago Martín, Liudmila Pupo, Yoander Cabrera and Ramón Rubio

Abstract: The Graphics Library Stereo Vision engine (GLSVe) is a freely available open-source C# library based on OpenGL. It has been designed to facilitate the creation, mainly by researchers or students, of graphic and virtual reality prototypes incorporating stereoscopic representation. Its design will allow a stereoscopic graphic application in an easy way and without previous theory knowledge. This is demonstrated to be a good training for student’s motivation in order to learn the theoretical bases by means of experimentation. The observer, the 3D pointer, the screen, the 3D sound and the graphics primitives are managed through different classes. This allows easy implementation of virtual reality scenarios if a tracking system is available (including multiscreen environments). Graphic primitives could have different appearance as they are seen by each observer eye, allowing the development of software for optometry research. Different stereoscopic modes have been implemented: side by side, cross eye, anaglyph, interlaced, alternated pages and dual stream. The article describes the GLSVe architecture and main capabilities, as well as different application scenarios (virtual reality environments; ophthalmology research; and visualization and compilation of geological photo pairs). The GLSVe is distributed under the terms of the GNU Library General Public License agreement.

Paper Nr: 130
Title:

MULTI-SCALE PRODUCTION SYSTEM MODELLING - Motivation – Concepts – Method

Authors:

M. Neumann and C. Constantinescu

Abstract: This paper presents the first research steps and required foundations for the development of a method for a structured and multi-scale modelling of production systems. Thereby the importance to support the modelling process is stated and the motivation for the development of such a method is pointed out. State-of-the-art concepts in system theory as well as suitable modelling methods and their applicability on the production system modelling are analysed. The approach and the process of modelling a multi-scale production system are firstly introduced. The paper concludes with the selection of suitable enabling technologies and a roadmap of future activities.

Area 28 - Applications and Tools

Posters
Paper Nr: 5
Title:

DISCRETE EVENT SIMULATION FOR A COMPLEX HIGH POWER MEDICAL SYSTEM

Authors:

Oliver Heuermann, Wolfgang Fengler and Reinhard Langmann

Abstract: This position paper describes research activities in the scope of targeted lifetime extension of components which are used in medical devices and systems as well as in high energy physics. The considered medical areas are mainly in the therapy field as well as kV-imaging diagnostics. The focus of the analysis of medical machines and systems with high-power tubes is on the x-ray-radiation or rf-power performance. On this occasion, the operational behaviour of such tubes is of special interest. In this paper a methodology will be presented to examine the specific influence of service life-determining parameters. For the implementation of the methodology a discrete event simulation is constructed using the realtime design tool MLDesigner from MLDesign Technologies, Inc. Studies can be carried out with regard to the tube service life in different components. The simulation shows that the targeted specific influence on the service life-determining parameters can prolong useful service life of a high power tube.

Paper Nr: 21
Title:

THE INFLUENCE ANALYSIS OF OPENING PROJECTS ON PROJECT PERFORMANCE

Authors:

Miao-Ling Wang, Jia-Ru Li and Sheng-Hung Chang

Abstract: Critical chain project management (CCPM), proposed by Goldratt (1997), has been proved to be very prominent in overcoming the weaknesses of human nature in order to achieve a more effective project management. Goldratt suggested that, in order to reduce the impact of bad multi-tasking on project delivery in the multi-project environment, the density of open projects (BN Closeness) should be reduced at least to 75% and below the generally recognized load (Goldratt, 2006). On the other hand, to get better use of resources in practice, the resource loading assignment tends to higher and evener. The above two viewpoints are all considerably related to the use and allocation of project resources. However, both perspectives have no support of actual data. In this study, we employ the @Risk for project simulation software for evaluation and verification of the appropriate density of open projects. The research findings suggest, in general, the density of open projects should be in the range of 75%~100% of the load in multi-project environments of different risks.

Area 29 - Methodologies and Technologies

Posters
Paper Nr: 23
Title:

FUNCTIONAL, THERMAL AND EMC ANALYSIS FOR A SAFETY CRITICAL ANALOGUE DESIGN APPLIED TO A TRANSPORTATION SYSTEM

Authors:

Jon del Portillo, Jaizki Mendizabal, Iñigo Adin, Juan Melendez, Joaquin de No and Unai Alvarado

Abstract: Safety-critical equipment depends on the study of functional, thermal, EMC (Electromagnetic Compatibility) and RAMS (Reliability, Availability, Maintainability and Safety) fields. The variation of one area characteristic could result in a failure to fulfil safety requirements. Traditionally, thermal, EMC or RAMS issues were only considered once the design was done. This paper proposes a novel analogue equipment design methodology by studying these areas dependently from the beginning of the design process. Each area requirements and design parameters and the relation among them are defined qualitatively and quantitatively. Based on these dependences among all the areas, the cross-influence of each parameter variation in other areas requirements is demonstrated. The obtained results are intended to aid the fulfilment of requirements of the design of any safety critical analogue circuit, and to help designers to know beforehand the consequences of any change in the design, saving time and money. The application of this methodology in a SIL 2 RF transmitter is shown and the improvement and worsening of requirements depending on the parameters variation is exposed.

Area 30 - Applications and Tools

Posters
Paper Nr: 53
Title:

AN EXPERT SYSTEM FOR DECISION SUPPORT OF THE TOTAL ALLOCATION OF AGRICULTURE NON-POINT SOURCE POLLUTION - A Case of Tiaoxi Watershed

Authors:

Bo Yu, Qingyu Zhang, Liangqian Fang, Qi Liu and Weili Tian

Abstract: This paper develops an expert system for waste load allocation of agricultural non-point source (ES-WLAANS) to assist environment administrators in making decision in optimal solution of allocation. ES-WLAANS includes a decision model at its core which is built based on analytic hierarchy process (AHP) and a closely related database. Tiaoxi watershed is the case study area. The results showed that ES-WLAANS can enhance the efficiency of allocation of agriculture NPS pollution for environmental administrators.

Area 31 - Methodologies and Technologies

Posters
Paper Nr: 62
Title:

STEP-BASED MODELING & SIMULATION FOR VIRTUAL PRODUCT DEVELOPMENT

Authors:

Li Li, Tianyuan Xiao, Wenhui Fan, Hongbo Sun and Cheng Ma

Abstract: A novel STEP-based modeling and simulation method is proposed to improve the data consistency and the model reusability in Virtual Product Development (VPD). Based on the proposed method, a STEP-based product model is automatically generated from STEP files and CAD/CAE models. In the method, besides product shape data other effective data can be extracted from STEP files and CAD/CAE models for HLA-based simulation. An applicable prototype system is designed to support this method. A case study is performed to demonstrate the feasibility of the method.

Area 32 - Applications and Tools

Posters
Paper Nr: 74
Title:

A COMPARATIVE STUDY OF SOLVING QUADRATIC ASSIGNMENT PROBLEMS USING SOME STANDARD MINLP SOLVERS

Authors:

Toni Lastusilta and Tapio Westerlund

Abstract: The Quadratic Assignment Problem (QAP) has important application areas, for example, facility layout (Dickey and Hopkins, 1972) and electronic component placement (Rabak and Sichman, 2003). The NP-hard problem already becomes difficult and time consuming to solve satisfactorily for small applications. It is therefore of interest to investigate how well standard MINLP methods can provide good solutions within a reasonable time, even though global optimality can not be guaranteed. In this study we focus on solving a subset of 50 problems in the QAP library (Burkard et al., 1997). We use a standard Mixed-Integer Non-Linear Programming (MINLP) formulation modelled in the General Algebraic Modeling System (GAMS) (Rosenthal, 2010). The solution quality and solution time is evaluated for the solvers AlphaECP, Bonmin, DICOPT and SBB. We compare the solvers when a 1 hour time limit per problem is used, where the solvers are started from 3 random start points, i.e. initial variable levels. Furthermore, we investigate how well the most promising solver DICOPT performs when started from 50 random start points for 22 problems for which the global optimal solution is known.

Paper Nr: 88
Title:

A SIMULATOR OF A MOBILE AD-HOC NETWORK IN A HOSTILE ENVIRONMENT

Authors:

Davide Cannone, Maurizio Naldi, Giuseppe F. Italiano and Andrea Brancaleoni

Abstract: Mobile Ad-Hoc Networks (MANETs) allow to connect mobile devices in the absence of any fixed communications infrastructure. The routing function may be disrupted under cyber-attacks. We have developed a network simulator, based on the publicly available platform Ns2, to evaluate the performance of a number of routing protocols inMANETs under cyber attacks. For two simulation scenarios, considering respectively Denial of Service and Fabrication attacks, and Impersonation and Interception attacks, the Fisheye State Routing protocol and the Zone Routing Protocol exhibit the best performance.

Paper Nr: 101
Title:

SPECI-2 - An Open-source Framework for Predictive Simulation of Cloud-scale Data-centres

Authors:

Ilango Leonardo Sriram and Dave Cliff

Abstract: We introduce Version 2 of SPECI, a system for predictive simulation modeling of large-scale data-centres, i.e. warehouse-sized facilities containing hundreds of thousands of servers, as used to provide cloud services.

Paper Nr: 111
Title:

SIMULATION OF BIOMASS PARTIAL OXIDATION

Authors:

V. Tukač, J. Hanika, V. Veselý, J. Lederer and D. Kovač

Abstract: Gasification of biomass by partial oxidation produces both syn-gas with high hydrogen content and explore energy of renewable sources. The objective of this work was to develop computer models of pilot reactor unit operated partial oxidation of rape meal/mineral oil suspension. The models were developed in process simulator ASPEN Plus based both on Gibbs free energy minimization and reaction kinetic approach. Alternative biomass characterizations were used: analogy with coal composition and representative compounds of biopolymer structure. Flow characteristic of gasification reactor was tested by CFD method in COMSOL Multiphysic. Simulated results were compared with pilot plant experiments with successful agreement.

Paper Nr: 114
Title:

SIMULATIVE PROGRAMMING OF A HYBRID WASHING OIL SEPARATION SCHEME FOR PURE CHEMICALS

Authors:

Lining Zhang, Duo Zhao, Peng Wu, Jinsheng Sun, Lili Liu, Yulan Ji and Shuo Jiang

Abstract: Washing oil, one of the important distillation cut of coal tar, consists of a series of high value-added components which can form azetropic and eutectic system, making it impossible to separate certain components completely by normal distillation. In this work, a scheme coupling distillation with crystallization to deal with this cut for pure chemicals is simulatively investigated before an industrial design. By the aid of this research, a 25Kt/a pilot scale unit was successfully designed which is now running with α-methyl-naphthalene, β-methyl-naphthalene, fluorene, dibenzofuran and acenaphthylene in high purity as main products and naphthalene fraction, medium washing oil (dimethylnaphthalene) and heavy washing oil as by-products.

Area 33 - Methodologies and Technologies

Posters
Paper Nr: 117
Title:

A THEORETICAL FRAMEWORK FOR EXPLAINING AGENT BEHAVIOR

Authors:

Maaike Harbers, Karel van den Bosch and John-Jules Meyer

Abstract: To understand emergent processes in multi-agent-based simulations it is important to study the global processes in a simulation as well as the processes on the agent level. The behavior of individual agents is easier to understand when they are able to explain their own behavior. In this paper, a theoretical framework for explaining agent behavior is proposed. By distinguishing different types and contexts of explanations, the framework aims to support the development of explainable agents. The framework is based on an examination of explanation literature, and experiences with developing explainable agents for virtual training. The use of the framework is illustrated by an example about the development of a negotiation agent.

Paper Nr: 120
Title:

A PLAN EXECUTION MODEL FOR MOBILE PERSONAL ASSISTANTS

Authors:

Incheol Kim and Huikyung Oh

Abstract: This paper proposes a plan execution model suitable for dynamic mobile computing environments and presents a smart script system developed based on the model. The smart script system includes a script language which describes the task knowledge of mobile personal assistants and an execution engine which is designed to execute scripts dynamically according to task goals and environmental changes. In addition, this paper evaluates the usefulness and performance of the smart script system by implementing Smart Reservation as an application.

Area 34 - Applications and Tools

Posters
Paper Nr: 123
Title:

HUMAN-ROBOT COOPERATION SYSTEM USING SHARED CYBER SPACE THAT CONNECTS TO REAL WORLD - Development of SocioIntelliGenesis Simulator SIGVerse toward HRI

Authors:

Tetsunari Inamura

Abstract: I focus on a synthetic research on elucidation of genesis of social intelligence – physical interaction between body and environment, social interaction between agents and role of evolution and so on –, with aiming to understand intelligence of humans and robots. For such an approach, we have set interdisciplinal discussions with wide viewpoint for various research field such as cognitive science, developmental psycology, brain science, evolutionary biology and robotics. In this approach, two interactions should be considered; physical interaction between agents and environments and social interaction between agents. However there is no integrated system with dynamics, perception, and social communication simulations. In this paper, I propose such a simulation environment called SIGVerse and potential to develop Human Robot Interaction systems that bridges real environment/users and cyber space based on the SIGVerse. As examples of the HRI systems based on SIGVerse, I introduce three applications.