Search results for " Simulation"

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

2008

International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…

Drone based inspection services in industrial contexts: Risk assessment and market opportunities

2018

Unmanned Aerial Vehicles (UAVs) is an emerging technology with the potential of introducing disruptive innovation in a large number of industrial and civil applications. In particular, many studies have highlighted the achievable advantages for “three Ds” (i.e., dull, dirty, or dangerous) missions, which actually represent their natural market niche. A huge potential market in such sense is constituted by high-risk industrial installations including Oil&Gas, chemical, power generation, shipbuilding, etc. where significant improvements can be achieved in terms of safety and ergonomics. This paper proposes a comparison between traditional inspection approaches and innovative drone-based s…

Using the Rasch model to assess a University Service on the Basis of Students Opinions

2008

In this paper we use the Rasch model (RM) as a tool to measure the perceived quality of student services at the Reception Office of an Italian university faculty. This paper has both a substantive and a methodological aim. The former is concerned with measuring the service quality of the Reception Office, while the latter concerns the definition and validation of an instrument for measuring perceived quality. The sample comprised 273 students enrolled at the Faculty of Economics at the University of Palermo (Aiello F. Il modello di Rasch per la costruzione di uno strumento di misura della qualit`a di un Servizio. Ph.D. Thesis, University of Palermo, Palermo, 2005). The RM is applied to prod…

A heuristic for problem formalization in agent based simulation studies

2015

Agent Based Modeling and Simulation (ABMS) is considered an effective approach for conducting simulation studies in many fields. In order to develop high quality simulation models, methodological approaches are demanded. In such direction we are moving by proposing a heuristic for the formalization of agent based simulation problems. The proposed heuristic is based on some guidelines developed for identifying the main elements of the problem domain description by analysing verbs and their common taxonomy in grammar.

Modeling and Simulation of Mobile Radio Channels

2012

Robust H<inf>∞</inf> filtering for stochastic networked control systems

2014

Using the Modelling and Simulation Techniques to Improve the Management of SMEs Belonging to Regional Clusters

2015

Abstract The efficiency of exploiting the software takes on new dimensions under the conditions of integrated exploitation at the level of process and structural organization of SMEs found within the regional strategic alliances. The modeling and simulation of the leadership and regulation processes of the supply, sales and production flows imply a complex display of forces between the different partners of the logistic chain which can be supported by the existence of some data bases developed based on information partnership whose purpose is to counterattack the communication barriers and to ensure a flow and flexibility of the entire logistic flow. The modeling and simulation of the non-i…

Modeling and simulation of an offshore crane

2018

This paper presents a mathematical modeling of a crane system using robot modeling theory as well as the numerical simulation of the dynamics of a crane and a marine craft. The simulations are performed in SimulationX and Matlab Simulink. The simulation platform includes a SimulationX-model of the crane, a realistic model of a marine craft using the Marine Systems Simulator(MSS) and the hydrodynamic sea-keeping calculations (VERES program code). The simulation results show a very good picture of the dynamic behavior of the real crane in offshore environment and verify the validation and effectiveness of the presented modeling approach.

Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems

2015

In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…

A Bond Graph Approach to Modeling and Simulation of Nonlinear Wind Turbine System

2013

This chapter addresses the problem of bond graph methodology as a graphical approach for modeling of wind turbine generating systems. The purpose of this chapter is to show some of the benefits of the bond graph approach in contributing a model for wind turbine systems. We will present a nonlinear model of a wind turbine generating system, containing pitch, drive train, tower motion and generator. All which will be modeled by means of bond graph. We will especially focus on the drive train, and show the difference between modeling with a classical mechanical method and by using bond graph. The model consists of realistic parameters, but we are not trying to validate a specific wind turbine …