Slides of my presentation at the 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp@MODELS 2018)
The full paper is available here: http://ceur-ws.org/Vol-2245/modcomp_paper_2.pdf
On the Model-driven Synthesis of Evolvable Service Choreographies [AKSAS@ECSA...Claudio Pompilio
Slides of my presentation at the 1st International Workshop on Architectural Knowledge for Self-adaptive Systems (AKSAS@ECSA 2018)
The full paper is available here: https://dl.acm.org/citation.cfm?doid=3241403.3241425
OPTIMIZATION OF IP NETWORKS IN VARIOUS HYBRID IGP/MPLS ROUTING SCHEMESEM Legacy
The document discusses optimization of traffic engineering in hybrid IGP/MPLS networks using a genetic algorithm approach. It formulates the problem and introduces notation for the network topology, link capacities, traffic demands, and label switched paths (LSPs). It then describes three hybrid routing schemes - basic IGP shortcut, IGP shortcut, and overlay - that combine IGP routing with MPLS. The document proposes using a genetic algorithm to solve the optimization problem. It describes encoding potential solutions as chromosomes, where each value represents an LSP assignment for a traffic flow. The algorithm aims to minimize network congestion by evolving populations of chromosomes over iterations to find optimal LSP configurations. Results are presented for the German scientific network topology.
Presentation from NORTHMOST - a new biannual series of meetings on the topic of mathematical modelling in transport.
Hosted at its.leeds.ac.uk, NORTHMOST 01 focussed on academic research, to encourage networking and collaboration between academics interested in the methodological development of mathematical modelling applied to transport.
The focus of the meetings will alternate; NORTHMOST 02 - planned for Spring 2017 - will be led by practitioners who are modelling experts. Practitioners will give presentations, with academic researchers in the audience. In addition to giving a forum for expert practitioners to meet and share best practice, a key aim of the series is to close the gap between research and practice, establishing a feedback loop to communicate the needs of practitioners to those working in university research.
Presentation from NORTHMOST - a new biannual series of meetings on the topic of mathematical modelling in transport.
Hosted at its.leeds.ac.uk, NORTHMOST 01 focussed on academic research, to encourage networking and collaboration between academics interested in the methodological development of mathematical modelling applied to transport.
The focus of the meetings will alternate; NORTHMOST 02 - planned for Spring 2017 - will be led by practitioners who are modelling experts. Practitioners will give presentations, with academic researchers in the audience. In addition to giving a forum for expert practitioners to meet and share best practice, a key aim of the series is to close the gap between research and practice, establishing a feedback loop to communicate the needs of practitioners to those working in university research.
A Multiobjective Evolutionary Algorithm for Infrastructure Location in Vehicu...Jamal Toutouh, PhD
Presentation of our research study "A Multiobjective Evolutionary Algorithm for Infrastructure Location in Vehicular Networks" performed at 7th European Symposium on Computational Intelligence and Mathematics
See the paper --> http://dx.doi.org/10.13140/RG.2.1.1965.0006
2019-2020 research findings in Public Transit from the Centre for Transport Studies, University of TWENTE. The presented findings at the Transportation Research board include overcrowding, operational control, electric buses, and train assignment.
A Muti-objective approach to Transportation Network DesignPrateek Singh Bapna
This document presents a multi-objective approach to transportation network design with three objectives: 1) Minimization of primary path length, 2) Minimization of total distance traversed to reach the primary path, and 3) Minimization of total network construction costs. An integer programming formulation is used to model the transportation network design problem. A solution approach is proposed that incorporates a k-shortest path algorithm to generate efficient non-dominated solutions, followed by qualitative criteria and a weighted distance metric to select the final solution. The approach yields multiple feasible solutions rather than a single optimal solution, providing more options for network planners to consider.
CHOReVOLUTION Studio: a framework for Realizing Choreography-based Distribute...OW2
This document introduces the CHOReVOLUTION studio framework for realizing choreography-based distributed applications. It discusses the development approach using BPMN choreography diagrams to model collaborations between services. The CHOReVOLUTION platform generates and deploys choreography-based applications on a cloud infrastructure. Two use cases are described for smart mobility/tourism and urban traffic coordination.
On the Model-driven Synthesis of Evolvable Service Choreographies [AKSAS@ECSA...Claudio Pompilio
Slides of my presentation at the 1st International Workshop on Architectural Knowledge for Self-adaptive Systems (AKSAS@ECSA 2018)
The full paper is available here: https://dl.acm.org/citation.cfm?doid=3241403.3241425
OPTIMIZATION OF IP NETWORKS IN VARIOUS HYBRID IGP/MPLS ROUTING SCHEMESEM Legacy
The document discusses optimization of traffic engineering in hybrid IGP/MPLS networks using a genetic algorithm approach. It formulates the problem and introduces notation for the network topology, link capacities, traffic demands, and label switched paths (LSPs). It then describes three hybrid routing schemes - basic IGP shortcut, IGP shortcut, and overlay - that combine IGP routing with MPLS. The document proposes using a genetic algorithm to solve the optimization problem. It describes encoding potential solutions as chromosomes, where each value represents an LSP assignment for a traffic flow. The algorithm aims to minimize network congestion by evolving populations of chromosomes over iterations to find optimal LSP configurations. Results are presented for the German scientific network topology.
Presentation from NORTHMOST - a new biannual series of meetings on the topic of mathematical modelling in transport.
Hosted at its.leeds.ac.uk, NORTHMOST 01 focussed on academic research, to encourage networking and collaboration between academics interested in the methodological development of mathematical modelling applied to transport.
The focus of the meetings will alternate; NORTHMOST 02 - planned for Spring 2017 - will be led by practitioners who are modelling experts. Practitioners will give presentations, with academic researchers in the audience. In addition to giving a forum for expert practitioners to meet and share best practice, a key aim of the series is to close the gap between research and practice, establishing a feedback loop to communicate the needs of practitioners to those working in university research.
Presentation from NORTHMOST - a new biannual series of meetings on the topic of mathematical modelling in transport.
Hosted at its.leeds.ac.uk, NORTHMOST 01 focussed on academic research, to encourage networking and collaboration between academics interested in the methodological development of mathematical modelling applied to transport.
The focus of the meetings will alternate; NORTHMOST 02 - planned for Spring 2017 - will be led by practitioners who are modelling experts. Practitioners will give presentations, with academic researchers in the audience. In addition to giving a forum for expert practitioners to meet and share best practice, a key aim of the series is to close the gap between research and practice, establishing a feedback loop to communicate the needs of practitioners to those working in university research.
A Multiobjective Evolutionary Algorithm for Infrastructure Location in Vehicu...Jamal Toutouh, PhD
Presentation of our research study "A Multiobjective Evolutionary Algorithm for Infrastructure Location in Vehicular Networks" performed at 7th European Symposium on Computational Intelligence and Mathematics
See the paper --> http://dx.doi.org/10.13140/RG.2.1.1965.0006
2019-2020 research findings in Public Transit from the Centre for Transport Studies, University of TWENTE. The presented findings at the Transportation Research board include overcrowding, operational control, electric buses, and train assignment.
A Muti-objective approach to Transportation Network DesignPrateek Singh Bapna
This document presents a multi-objective approach to transportation network design with three objectives: 1) Minimization of primary path length, 2) Minimization of total distance traversed to reach the primary path, and 3) Minimization of total network construction costs. An integer programming formulation is used to model the transportation network design problem. A solution approach is proposed that incorporates a k-shortest path algorithm to generate efficient non-dominated solutions, followed by qualitative criteria and a weighted distance metric to select the final solution. The approach yields multiple feasible solutions rather than a single optimal solution, providing more options for network planners to consider.
CHOReVOLUTION Studio: a framework for Realizing Choreography-based Distribute...OW2
This document introduces the CHOReVOLUTION studio framework for realizing choreography-based distributed applications. It discusses the development approach using BPMN choreography diagrams to model collaborations between services. The CHOReVOLUTION platform generates and deploys choreography-based applications on a cloud infrastructure. Two use cases are described for smart mobility/tourism and urban traffic coordination.
Model-driven adaptation of service choreographies [SAC 2018]Claudio Pompilio
Slides of my presentation at the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)
The full paper is available here: https://dl.acm.org/citation.cfm?doid=3167132.3167287
Help the Genetic Algorithm to Minimize the Urban Traffic on IntersectionsIJORCS
This document summarizes a research paper that uses genetic algorithms to optimize traffic light timing at intersections to minimize traffic. It first describes modeling traffic light intersections using Petri nets. It then explains how genetic algorithms can be used for optimization by coding the problem variables in chromosomes, defining a fitness function to evaluate populations over generations, and using operators like mutation and crossover. The fitness function aims to minimize average traffic light cycle times based on 14 parameters related to light timing and vehicle wait times at two intersections. The genetic algorithm optimization of traffic light timing parameters is found to improve traffic flow at intersections.
Simulation analysis Halmstad University 2013_projectAlexandru Gutu
This document summarizes a study that uses computer simulation to compare a proposed roundabout intersection to the current intersection with traffic lights on Kristian IVs väg. Data on traffic patterns were collected from the current intersection, including the number of cars per lane during peak/off-peak hours, inter-arrival times of cars, and wait times at the traffic lights. The simulation will analyze average and maximum wait times at the roundabout versus traffic lights to determine if the roundabout provides more effective traffic flow. Objectives are to minimize average and maximum crossing times. Key decision variables are roundabout diameter, car speed, and slot size, while traffic patterns and maximum constraints are uncontrolled.
Urban Traffic Estimation & Optimization: An OverviewRakedet
This document discusses several methods for urban traffic estimation and optimization. It describes two categories of traffic estimation - queue length and travel time estimation. Methods mentioned include using mobile phones, GPS data from mobile phones, and vehicle-to-vehicle communication. The document also discusses optimizing traffic through vehicle routing and traffic signal control, and references models for traffic optimization, signal control, and dynamic vehicle routing based on real-time traffic information.
Equal Cost Multipath Routing in FOKUS OpenSDNCoreHai Dinh Tuan
This document discusses implementing equal cost multipath routing (ECMP) in the OpenSDNCore software-defined networking (SDN) controller. It begins with introductions to ECMP and SDN, then outlines problems with routing, communication between controllers and switches, and packet forwarding. It proposes using the arc cutting method to calculate multiple equal cost paths and the OpenFlow FlowMod and GroupMod messages to implement paths on switches. Random and hash-based approaches to packet forwarding across paths are presented and compared. A demo topology is shown, with expected outcomes being successful ECMP implementation, documentation, communication, and experiences gained.
Scientific research at Institute of Information TechnologyJānis Grabis
This document lists several European and Latvian research projects related to logistics, transportation, and information technology conducted by the Institute of Information Technology at Riga Technical University. The projects address issues like supply chain planning, public transportation simulation, vehicle scheduling optimization, IT risk evaluation, and integrated monitoring of cross-border systems. The institute's research focuses on applying computational intelligence, simulation, and modeling to optimize complex systems.
Dispatching taxi cabs with ridesharing – an efficient implementation of popul...Bogusz Jelinski
The article describes how to effectively dispatch hundreds of thousands
ride requests per hour, with thousands of cabs. Not only which cab should pick up
which passenger, but which passengers should share a ride and what is the best pickup
and drop-off order. An automatic dispatching process has been implemented to
verify feasibility of such cab sharing solution, simulation was used to check quality
of routes. Performance of different programming tools and frameworks has been
tested. Thousands of passengers per minute could be dispatched with basic
algorithms and simple hardware and they can be dispatched in a cab sharing scheme
very effectively, at least 11 passengers per cab per hour. The spotlight is on practical
aspects, not well-known theory. The goal is to verify feasibility of a large-scale
dispatcher and to give its benchmark. Implementation of algorithms including a
dispatcher and simulation environment is available as open source on GitHub.
Smart Cities are urban environments in which, the stream of data coming from very different observational networks is managed and integrated in order to efficiently improve public services and the life quality of the citizens.
Focusing on smart mobility, we present as proof of concept the case study of Crema (in collaboration with SIMET – Gruppo ENERCOM), where a coupled traffic and air quality measurement system was developed to real-time monitoring the traffic composition (vehicles categories) and its related emission of pollutants.
The developed tool represents a data-driven decision-making support that can be used for urban planning, traffic optimization and pollution control.
Gis based method to analyse vulnerability of transportation infrastructureHAO YE
The document summarizes research at the Centre for Transport Studies to develop a GIS-based method for analyzing the vulnerability of transportation infrastructure to climate change. The researchers are working on hazard, infrastructure, and vulnerability modules. For the hazard module, they are using hydraulic models to generate flooding maps. For infrastructure, they are developing network representations and rules. The vulnerability module uses an input-output model to study component interdependencies. Future work includes integrating software, exploring mathematical models of failure propagation, and studying network behaviors.
Improve MANET network performance using ESPS approachSurbhi Sharma
The document presents a paper on an Efficient Stable Path Selection Approach (ESPS) for improved network performance in mobile ad hoc networks. The paper proposes a new routing protocol called MCCP that uses an ant colony optimization algorithm to select the most stable path for communication between nodes. The methodology involves assumptions about the network, assigning parameters like mobility, signal strength, and node degree, and using an ACO algorithm to optimize path selection. The approach is implemented using the NS2 simulator and results show that MCCP improves performance metrics like packet delivery ratio, end-to-end delay, and throughput compared to the AOMDV routing protocol. The paper concludes that ESPS achieves more efficient and effective data transmission through stable path selection
The document describes a traffic simulator tool developed for multibeam GEO satellite communication systems. The simulator uses reliable datasets on spatial-temporal traffic distributions to model traffic across satellite beam patterns. It includes algorithms to identify beam borders, associate users with beams, and determine channel coefficients incorporating interference. The simulator can help design satellite systems and enable technologies like beam hopping. It provides visual and statistical outputs on heterogeneous traffic demands across beams over time.
A simulation and analysis of ofdm system for 4 g communicationsHarshal Ladhe
The document discusses orthogonal frequency division multiplexing (OFDM) and multiple input multiple output (MIMO) techniques for 4G wireless communications. It provides an introduction to OFDM and MIMO, describing their benefits and challenges. The document also outlines simulations performed to analyze various modulation schemes, channel models, synchronization errors, and MIMO techniques. It evaluates OFDM and MIMO as promising technologies to increase wireless network throughput and capacity.
Modular Multi-Objective Genetic Algorithm for Large Scale Bi-level ProblemsStefano Costanzo
The document discusses using a genetic algorithm to optimize air traffic congestion through peak and off-peak pricing. It models the problem as a bi-level optimization with a central planner setting prices and airlines minimizing costs. The genetic algorithm was able to find pricing solutions that reduced total flight delays while maintaining revenue neutrality for air navigation service providers. Future work includes further analyzing cost distributions across airlines and applying decentralized peak load pricing with individual air navigation service providers setting prices.
Value Chain Canvas Model an Enterprise Architecture FrameworkRené MANDEL
This document introduces the Value Chain Canvas Model (VCCM), a top-down approach created by René Mandel to visualize an enterprise's value chains and transformations. The VCCM represents an enterprise's ecosystem through "universes" bounded by events. Within each universe, value chains comprise three levels - proximity, integration, and resources - connected by operators. The document provides examples of applying the VCCM to an airport, retail offering creation, IT service support, and a call for proposals. It describes how the flexible multi-dimensional model can be adapted to changing enterprise boundaries and transformations.
Presentation : Business Process Management with mobile routesCharif Mahmoudi
The 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'2014)
November 10-13, 2014 at InterContinental, West Bay, Doha, Qatar
Turning Transport Data to Comply with EU standards while Enabling a Multimoda...Mario Scrocca
The document discusses a solution for converting transport data into EU standards using semantic web technologies. It presents Chimera, an open-source framework that uses predefined blocks to build semantic data conversion pipelines. The solution was evaluated in pilots with transport stakeholders in Italy and Spain. The pilots demonstrated the technical feasibility of the approach, its desirability for stakeholders, and the business viability and potential for added value through building a multimodal transport knowledge graph.
SDN in GÉANT provides three key points:
1) GÉANT has implemented two generations of SDN testbeds to enable researchers to test novel network ideas.
2) The Network Service Interface (NSI) protocol solves the multi-domain SDN service challenge by enabling flexible, multi-domain service chaining across network domains.
3) Work is ongoing to integrate NSI into the SDN environment by adding OpenFlow constructs to the NSI topology descriptions to bridge intra-domain OpenFlow operations with inter-domain NSI provisioning.
Integrating Performance Modeling in Industrial Automation through AutomationM...Luca Berardinelli
Data exchange is a critical issue within the multi-disciplinary engineering process of cyber physical production systems (CPPS).
AutomationML (AML) is an emerging standard in the this field to represent and exchange artifacts between heterogeneous engineering tools used in different domains, such as mechanical, electrical, and software engineering. However, in addition, the interoperability of different exchange standards may be needed in order to integrate even further tools in current tool chains. For instance, the Performance Model Interchange Format (PMIF) is a common representation devised in the performance engineering domain for model-based system performance analysis and simulation based on Queueing Network Models (QNM). Of course, such aspects are also of particular interest when designing a CPPS.
This work investigates, with the help of a case study, the combination of AML and PMIF as an enabling step towards an early performance validation of CPPS. By this, we close the current gap between CPPS engineering and performance engineering standards.
Fuzzy Logic Model for Traffic CongestionIOSR Journals
Abstract: Traffic congestion has become a serious problem in the urban districts. This is mainly due to the
rapid increase in the number and the use of vehicles. Travel time, travel safety, environmental quality, and life
quality are all adversely affected by traffic congestion. Many traffic control systems have been developed and
installed to alleviate the problem with limited success. Traffic demands are still high and increasing. The main
focus of this report is to introduce a versatile fuzzy logic traffic flow model capable of making optimal traffic
predictions. This model can be used to evaluate various traffic-light timing plans. More importantly, it provides
a framework for implementing adaptive traffic signal controllers based on fuzzy logic technology. When
implemented it solved the problem of waiting time, travel cost, accident, traffic congestion.
Key words: Traffic Congestion, fuzzy logic, Traffic Density, fuzzy controller, conventional controller.
Model-driven adaptation of service choreographies [SAC 2018]Claudio Pompilio
Slides of my presentation at the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)
The full paper is available here: https://dl.acm.org/citation.cfm?doid=3167132.3167287
Help the Genetic Algorithm to Minimize the Urban Traffic on IntersectionsIJORCS
This document summarizes a research paper that uses genetic algorithms to optimize traffic light timing at intersections to minimize traffic. It first describes modeling traffic light intersections using Petri nets. It then explains how genetic algorithms can be used for optimization by coding the problem variables in chromosomes, defining a fitness function to evaluate populations over generations, and using operators like mutation and crossover. The fitness function aims to minimize average traffic light cycle times based on 14 parameters related to light timing and vehicle wait times at two intersections. The genetic algorithm optimization of traffic light timing parameters is found to improve traffic flow at intersections.
Simulation analysis Halmstad University 2013_projectAlexandru Gutu
This document summarizes a study that uses computer simulation to compare a proposed roundabout intersection to the current intersection with traffic lights on Kristian IVs väg. Data on traffic patterns were collected from the current intersection, including the number of cars per lane during peak/off-peak hours, inter-arrival times of cars, and wait times at the traffic lights. The simulation will analyze average and maximum wait times at the roundabout versus traffic lights to determine if the roundabout provides more effective traffic flow. Objectives are to minimize average and maximum crossing times. Key decision variables are roundabout diameter, car speed, and slot size, while traffic patterns and maximum constraints are uncontrolled.
Urban Traffic Estimation & Optimization: An OverviewRakedet
This document discusses several methods for urban traffic estimation and optimization. It describes two categories of traffic estimation - queue length and travel time estimation. Methods mentioned include using mobile phones, GPS data from mobile phones, and vehicle-to-vehicle communication. The document also discusses optimizing traffic through vehicle routing and traffic signal control, and references models for traffic optimization, signal control, and dynamic vehicle routing based on real-time traffic information.
Equal Cost Multipath Routing in FOKUS OpenSDNCoreHai Dinh Tuan
This document discusses implementing equal cost multipath routing (ECMP) in the OpenSDNCore software-defined networking (SDN) controller. It begins with introductions to ECMP and SDN, then outlines problems with routing, communication between controllers and switches, and packet forwarding. It proposes using the arc cutting method to calculate multiple equal cost paths and the OpenFlow FlowMod and GroupMod messages to implement paths on switches. Random and hash-based approaches to packet forwarding across paths are presented and compared. A demo topology is shown, with expected outcomes being successful ECMP implementation, documentation, communication, and experiences gained.
Scientific research at Institute of Information TechnologyJānis Grabis
This document lists several European and Latvian research projects related to logistics, transportation, and information technology conducted by the Institute of Information Technology at Riga Technical University. The projects address issues like supply chain planning, public transportation simulation, vehicle scheduling optimization, IT risk evaluation, and integrated monitoring of cross-border systems. The institute's research focuses on applying computational intelligence, simulation, and modeling to optimize complex systems.
Dispatching taxi cabs with ridesharing – an efficient implementation of popul...Bogusz Jelinski
The article describes how to effectively dispatch hundreds of thousands
ride requests per hour, with thousands of cabs. Not only which cab should pick up
which passenger, but which passengers should share a ride and what is the best pickup
and drop-off order. An automatic dispatching process has been implemented to
verify feasibility of such cab sharing solution, simulation was used to check quality
of routes. Performance of different programming tools and frameworks has been
tested. Thousands of passengers per minute could be dispatched with basic
algorithms and simple hardware and they can be dispatched in a cab sharing scheme
very effectively, at least 11 passengers per cab per hour. The spotlight is on practical
aspects, not well-known theory. The goal is to verify feasibility of a large-scale
dispatcher and to give its benchmark. Implementation of algorithms including a
dispatcher and simulation environment is available as open source on GitHub.
Smart Cities are urban environments in which, the stream of data coming from very different observational networks is managed and integrated in order to efficiently improve public services and the life quality of the citizens.
Focusing on smart mobility, we present as proof of concept the case study of Crema (in collaboration with SIMET – Gruppo ENERCOM), where a coupled traffic and air quality measurement system was developed to real-time monitoring the traffic composition (vehicles categories) and its related emission of pollutants.
The developed tool represents a data-driven decision-making support that can be used for urban planning, traffic optimization and pollution control.
Gis based method to analyse vulnerability of transportation infrastructureHAO YE
The document summarizes research at the Centre for Transport Studies to develop a GIS-based method for analyzing the vulnerability of transportation infrastructure to climate change. The researchers are working on hazard, infrastructure, and vulnerability modules. For the hazard module, they are using hydraulic models to generate flooding maps. For infrastructure, they are developing network representations and rules. The vulnerability module uses an input-output model to study component interdependencies. Future work includes integrating software, exploring mathematical models of failure propagation, and studying network behaviors.
Improve MANET network performance using ESPS approachSurbhi Sharma
The document presents a paper on an Efficient Stable Path Selection Approach (ESPS) for improved network performance in mobile ad hoc networks. The paper proposes a new routing protocol called MCCP that uses an ant colony optimization algorithm to select the most stable path for communication between nodes. The methodology involves assumptions about the network, assigning parameters like mobility, signal strength, and node degree, and using an ACO algorithm to optimize path selection. The approach is implemented using the NS2 simulator and results show that MCCP improves performance metrics like packet delivery ratio, end-to-end delay, and throughput compared to the AOMDV routing protocol. The paper concludes that ESPS achieves more efficient and effective data transmission through stable path selection
The document describes a traffic simulator tool developed for multibeam GEO satellite communication systems. The simulator uses reliable datasets on spatial-temporal traffic distributions to model traffic across satellite beam patterns. It includes algorithms to identify beam borders, associate users with beams, and determine channel coefficients incorporating interference. The simulator can help design satellite systems and enable technologies like beam hopping. It provides visual and statistical outputs on heterogeneous traffic demands across beams over time.
A simulation and analysis of ofdm system for 4 g communicationsHarshal Ladhe
The document discusses orthogonal frequency division multiplexing (OFDM) and multiple input multiple output (MIMO) techniques for 4G wireless communications. It provides an introduction to OFDM and MIMO, describing their benefits and challenges. The document also outlines simulations performed to analyze various modulation schemes, channel models, synchronization errors, and MIMO techniques. It evaluates OFDM and MIMO as promising technologies to increase wireless network throughput and capacity.
Modular Multi-Objective Genetic Algorithm for Large Scale Bi-level ProblemsStefano Costanzo
The document discusses using a genetic algorithm to optimize air traffic congestion through peak and off-peak pricing. It models the problem as a bi-level optimization with a central planner setting prices and airlines minimizing costs. The genetic algorithm was able to find pricing solutions that reduced total flight delays while maintaining revenue neutrality for air navigation service providers. Future work includes further analyzing cost distributions across airlines and applying decentralized peak load pricing with individual air navigation service providers setting prices.
Value Chain Canvas Model an Enterprise Architecture FrameworkRené MANDEL
This document introduces the Value Chain Canvas Model (VCCM), a top-down approach created by René Mandel to visualize an enterprise's value chains and transformations. The VCCM represents an enterprise's ecosystem through "universes" bounded by events. Within each universe, value chains comprise three levels - proximity, integration, and resources - connected by operators. The document provides examples of applying the VCCM to an airport, retail offering creation, IT service support, and a call for proposals. It describes how the flexible multi-dimensional model can be adapted to changing enterprise boundaries and transformations.
Presentation : Business Process Management with mobile routesCharif Mahmoudi
The 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'2014)
November 10-13, 2014 at InterContinental, West Bay, Doha, Qatar
Turning Transport Data to Comply with EU standards while Enabling a Multimoda...Mario Scrocca
The document discusses a solution for converting transport data into EU standards using semantic web technologies. It presents Chimera, an open-source framework that uses predefined blocks to build semantic data conversion pipelines. The solution was evaluated in pilots with transport stakeholders in Italy and Spain. The pilots demonstrated the technical feasibility of the approach, its desirability for stakeholders, and the business viability and potential for added value through building a multimodal transport knowledge graph.
SDN in GÉANT provides three key points:
1) GÉANT has implemented two generations of SDN testbeds to enable researchers to test novel network ideas.
2) The Network Service Interface (NSI) protocol solves the multi-domain SDN service challenge by enabling flexible, multi-domain service chaining across network domains.
3) Work is ongoing to integrate NSI into the SDN environment by adding OpenFlow constructs to the NSI topology descriptions to bridge intra-domain OpenFlow operations with inter-domain NSI provisioning.
Integrating Performance Modeling in Industrial Automation through AutomationM...Luca Berardinelli
Data exchange is a critical issue within the multi-disciplinary engineering process of cyber physical production systems (CPPS).
AutomationML (AML) is an emerging standard in the this field to represent and exchange artifacts between heterogeneous engineering tools used in different domains, such as mechanical, electrical, and software engineering. However, in addition, the interoperability of different exchange standards may be needed in order to integrate even further tools in current tool chains. For instance, the Performance Model Interchange Format (PMIF) is a common representation devised in the performance engineering domain for model-based system performance analysis and simulation based on Queueing Network Models (QNM). Of course, such aspects are also of particular interest when designing a CPPS.
This work investigates, with the help of a case study, the combination of AML and PMIF as an enabling step towards an early performance validation of CPPS. By this, we close the current gap between CPPS engineering and performance engineering standards.
Fuzzy Logic Model for Traffic CongestionIOSR Journals
Abstract: Traffic congestion has become a serious problem in the urban districts. This is mainly due to the
rapid increase in the number and the use of vehicles. Travel time, travel safety, environmental quality, and life
quality are all adversely affected by traffic congestion. Many traffic control systems have been developed and
installed to alleviate the problem with limited success. Traffic demands are still high and increasing. The main
focus of this report is to introduce a versatile fuzzy logic traffic flow model capable of making optimal traffic
predictions. This model can be used to evaluate various traffic-light timing plans. More importantly, it provides
a framework for implementing adaptive traffic signal controllers based on fuzzy logic technology. When
implemented it solved the problem of waiting time, travel cost, accident, traffic congestion.
Key words: Traffic Congestion, fuzzy logic, Traffic Density, fuzzy controller, conventional controller.
Similar to On the Model-driven Synthesis of Adaptable Choreographies [ModComp@MODELS 2018] (20)
The binding of cosmological structures by massless topological defectsSérgio Sacani
Assuming spherical symmetry and weak field, it is shown that if one solves the Poisson equation or the Einstein field
equations sourced by a topological defect, i.e. a singularity of a very specific form, the result is a localized gravitational
field capable of driving flat rotation (i.e. Keplerian circular orbits at a constant speed for all radii) of test masses on a thin
spherical shell without any underlying mass. Moreover, a large-scale structure which exploits this solution by assembling
concentrically a number of such topological defects can establish a flat stellar or galactic rotation curve, and can also deflect
light in the same manner as an equipotential (isothermal) sphere. Thus, the need for dark matter or modified gravity theory is
mitigated, at least in part.
Sexuality - Issues, Attitude and Behaviour - Applied Social Psychology - Psyc...PsychoTech Services
A proprietary approach developed by bringing together the best of learning theories from Psychology, design principles from the world of visualization, and pedagogical methods from over a decade of training experience, that enables you to: Learn better, faster!
PPT on Direct Seeded Rice presented at the three-day 'Training and Validation Workshop on Modules of Climate Smart Agriculture (CSA) Technologies in South Asia' workshop on April 22, 2024.
(June 12, 2024) Webinar: Development of PET theranostics targeting the molecu...Scintica Instrumentation
Targeting Hsp90 and its pathogen Orthologs with Tethered Inhibitors as a Diagnostic and Therapeutic Strategy for cancer and infectious diseases with Dr. Timothy Haystead.
The technology uses reclaimed CO₂ as the dyeing medium in a closed loop process. When pressurized, CO₂ becomes supercritical (SC-CO₂). In this state CO₂ has a very high solvent power, allowing the dye to dissolve easily.
The debris of the ‘last major merger’ is dynamically youngSérgio Sacani
The Milky Way’s (MW) inner stellar halo contains an [Fe/H]-rich component with highly eccentric orbits, often referred to as the
‘last major merger.’ Hypotheses for the origin of this component include Gaia-Sausage/Enceladus (GSE), where the progenitor
collided with the MW proto-disc 8–11 Gyr ago, and the Virgo Radial Merger (VRM), where the progenitor collided with the
MW disc within the last 3 Gyr. These two scenarios make different predictions about observable structure in local phase space,
because the morphology of debris depends on how long it has had to phase mix. The recently identified phase-space folds in Gaia
DR3 have positive caustic velocities, making them fundamentally different than the phase-mixed chevrons found in simulations
at late times. Roughly 20 per cent of the stars in the prograde local stellar halo are associated with the observed caustics. Based
on a simple phase-mixing model, the observed number of caustics are consistent with a merger that occurred 1–2 Gyr ago.
We also compare the observed phase-space distribution to FIRE-2 Latte simulations of GSE-like mergers, using a quantitative
measurement of phase mixing (2D causticality). The observed local phase-space distribution best matches the simulated data
1–2 Gyr after collision, and certainly not later than 3 Gyr. This is further evidence that the progenitor of the ‘last major merger’
did not collide with the MW proto-disc at early times, as is thought for the GSE, but instead collided with the MW disc within
the last few Gyr, consistent with the body of work surrounding the VRM.
Immersive Learning That Works: Research Grounding and Paths ForwardLeonel Morgado
We will metaverse into the essence of immersive learning, into its three dimensions and conceptual models. This approach encompasses elements from teaching methodologies to social involvement, through organizational concerns and technologies. Challenging the perception of learning as knowledge transfer, we introduce a 'Uses, Practices & Strategies' model operationalized by the 'Immersive Learning Brain' and ‘Immersion Cube’ frameworks. This approach offers a comprehensive guide through the intricacies of immersive educational experiences and spotlighting research frontiers, along the immersion dimensions of system, narrative, and agency. Our discourse extends to stakeholders beyond the academic sphere, addressing the interests of technologists, instructional designers, and policymakers. We span various contexts, from formal education to organizational transformation to the new horizon of an AI-pervasive society. This keynote aims to unite the iLRN community in a collaborative journey towards a future where immersive learning research and practice coalesce, paving the way for innovative educational research and practice landscapes.
Describing and Interpreting an Immersive Learning Case with the Immersion Cub...Leonel Morgado
Current descriptions of immersive learning cases are often difficult or impossible to compare. This is due to a myriad of different options on what details to include, which aspects are relevant, and on the descriptive approaches employed. Also, these aspects often combine very specific details with more general guidelines or indicate intents and rationales without clarifying their implementation. In this paper we provide a method to describe immersive learning cases that is structured to enable comparisons, yet flexible enough to allow researchers and practitioners to decide which aspects to include. This method leverages a taxonomy that classifies educational aspects at three levels (uses, practices, and strategies) and then utilizes two frameworks, the Immersive Learning Brain and the Immersion Cube, to enable a structured description and interpretation of immersive learning cases. The method is then demonstrated on a published immersive learning case on training for wind turbine maintenance using virtual reality. Applying the method results in a structured artifact, the Immersive Learning Case Sheet, that tags the case with its proximal uses, practices, and strategies, and refines the free text case description to ensure that matching details are included. This contribution is thus a case description method in support of future comparative research of immersive learning cases. We then discuss how the resulting description and interpretation can be leveraged to change immersion learning cases, by enriching them (considering low-effort changes or additions) or innovating (exploring more challenging avenues of transformation). The method holds significant promise to support better-grounded research in immersive learning.
Describing and Interpreting an Immersive Learning Case with the Immersion Cub...
On the Model-driven Synthesis of Adaptable Choreographies [ModComp@MODELS 2018]
1. On the Model-driven Synthesis of
Adaptable Choreographies
Marco Autili,Amleto Di Salle, Francesco Gallo, Claudio
Pompilio, Massimo Tivoli
University of L’Aquila, Italy
Claudio Pompilio
Ph.D. Student in Computer Science
University of L’Aquila
Email: claudio.pompilio@graduate.univaq.it
2. »Title: Automated Synthesis of Dynamic and Secured
Choreographies for the Future Internet
»Follow up FP7 EU project CHOReOS
»Period: January 2015 - January 2018
»Web site: http://www.chorevolution.eu
2
6. BPMN2 choreography diagram
6
Task in BPMN2
- atomic activity
- two participant roles (one is initiating)
- XML Schema used internally, e.g.,
for discovery purposes
Parallel flow
- Diverging Parallel Gateway
- Converging Parallel Gateway
Alternative branches
- Diverging Exclusive Gateway
- Converging Exclusive Gateway
7. Choreography realizability enforcement
Automatic realizability enforcement:
‘‘given a choreography specification and a set of existing
services to be reused, externally coordinate and adpat
their interaction so to fulfill the collaboration
prescribed by the choreography specification, in a fully
distributed way’’
7
8. CHOReVOLUTION synthesis process
» Set of code generation phases
» INPUT: choreography specification + set of
services as possible candidates to play the
choreogrpahy roles
» OUTPUT: a set of software entities interposed
among the services according to a predefined
architectural style
− Coordination Delegates (CDs):
coordination entities that guarantee the
collaboration specified by the choreogrpahy
specification
− Adapters (As): solve possible protocol
mismatches between services and choreography
roles
8
10. Approach - 1
10
Adapter Model [1]
ChoreographyDiagram
Service
Description
Gap
represented
by
[1] – Marco Autili,Amleto Di Salle, Francesco Gallo, Claudio Pompilio and Massimo Tivoli. Model-driven adaptation of service choreographies. SAC 2018.
13. Adapter component transformation
»Input: Adapter model
»Output: Adapter component model
»Main Steps:
− parse the adapter model to detect the required adaptation
scenario
− define the adapter channels as a chain of adapter components
implementing EIPs
13
14. Adaptation scenarios - 1
»Adapters are connected with the Coordination
Delegates (CDs)
»Adapter mediates two kinds of interactions: CD-to-
Service and Service-to-CD
»Adaptation scenarios symmetric according to the
mediated interaction
»Channel labelled with an EIP-based noun
−indicate the main EIP applied
14
29. Conclusions and future works
»Model-driven approach that combines EIPs as adaptation
primitives to achieve choreography adaptation
»Approach at work in the Smart Mobility and Tourism domain
»Extend the supported implementation technologies
»Automatically indentify the protocol mismatches to derive the
Adapter model
− exploit a modified version of the Strawberry tool [1]
− exploit ontological information [2]
29
[1] - Antonia Bertolino,Paola Inverardi,Patrizio Pelliccione,and MassimoTivoli.Automatic Synthesis of Behavior Protocols for Composable Web-services.
ESEC/FSE 2009.
[2] - Paola Inverardi and Massimo Tivoli.Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns. ICSE 2013.
30. Thank You!
Any questions?
Claudio Pompilio
Ph.D. Student in Computer Science
University of L’Aquila
Email: claudio.pompilio@graduate.univaq.it