Search results for "Systems"

Partial-order reduction for parity games and parameterised Boolean equation systems

2022

AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…

Brand Alliances: a Network Perspective with application to the fashion industry

2021

The Hybrid Airline Model. Generating Quality for Passengers

2017

This research aims to investigate the different strategies adopted by the airline companies in adapting to the ongoing changes while developing products and services for passengers in order to increase their yield, load factor and passenger satisfaction. Finding a balance between costs and services quality in the airline industry is a crucial task for every airline wanting to gain a competitive advantage on the market. Also, the rise of the hybrid business operating model has brought up many challenges for airlines as the line between legacy carriers and low-cost carriers is getting thinner in terms of costs and innovative ideas to create a superior product for the passengers.

Enabling Energy Savings in Offshore Mechatronic Systems by using Self-Contained Cylinders

2019

This paper proposes a novel actuation system for an offshore drilling application. It consists of three self-contained electro-hydraulic cylinders that can share and store regenerated energy. The energy saving potential of the proposed solution is analyzed through a multibody system simulation. The self-contained system demonstrates superior energy efficiency compared to the benchmark system representing the state-of-the-art approach used today (i.e., valve-controlled cylinders by means of pressure-compensated directional control valves and counter-balance valves, supplied by a centralized hydraulic power unit). Due to the power on demand capability, the cancellation of the throttling losse…

LA CASA EOLIANA: UN SISTEMA DI RAFFRESCAMENTO PASSIVO

2012

The Aeolian archipelago is a microcosm of traditional buildings that have retained their original character and form constructive. The special traditional technologies used and the climatic conditions of the site were also used for the application of a solution used in traditional passive systems with the aim of contributing to energy savings through the application of a particular covering of chestnut wood.

ANALYSIS OF THE TRADITIONAL PASSIVE SYSTEMS PERFORMANCE THROUGH THE APPLICATION OF CFD SOFTWARE

2012

The need to reduce energy consumption is pushing the building design research to the evaluation of passive conditioning systems, since urban buildings are one of the major energy dissipater resulting in emission of CO2. This approach is not modern, but it is historically rooted in the architectural culture of the Mediterranean area and in the Middle East. The passive systems have ancient origins: they were developed to mitigate the summer heat and the winter cold. To understand the reasons that led to the development of passive systems, it should be remembered that about One-Fifth of the emerged planet surface and One-Third of the world's population live in conditions of warm-dry or hot-hum…

Liquidity Costs and Tiering in Large-Value Payment Systems

2010

This paper develops and simulates a model of the emergence of networks in an interbank, RTGS payment system. A number of banks, faced with random streams of payment orders, choose whether to link directly to the payment system, or to use a correspondent bank. Settling payments directly on the system imposes liquidity costs which depend on the maximum liquidity overdraft incurred during the day. On the other hand, using a correspondent entails paying a flat fee, charged by the correspondent to recoup liquidity costs and to extract a profit. We specify a protocol whereby one bank in each period can revisit its choice whether to link directly to the system, or to become clients of other banks,…

Iterative Learning Applied to Hydraulic Pressure Control

2018

This paper addresses a performance limiting phenomenon that may occur in the pressure control of hydraulic actuators subjected to external velocity disturbances. It is demonstrated that under certain conditions a severe peaking of the control error may be observed that significantly degrades the performance of the system due to the presence of nonlinearities. The phenomenon is investigated numerically and experimentally using a system that requires pressure control of two hydraulic cylinders. It is demonstrated that the common solution of feed forwarding the velocity disturbance is not effective in reducing the peaking that occurs as a result of this phenomenon. To improve the system perfor…

Neuropsychological Alterations in Children Affected by Obstructive Sleep Apnea Syndrome

2020

Sleep-related breathing disorders are a group of clinical conditions ranging from habitual snoring to obstructive sleep apnea syndrome (OSAS) during the lifespan. In children, other risk factors are represented by adenotonsillar hypertrophy, rhinitis, nasal structure alteration, cleft palate, velopharyngeal flap surgery, pharyngeal masses, craniofacial malformations, genetic syndrome (i.e. Down syndrome, Crouzon syndrome, and Apert syndrome), genetic hypoplasia mandibular (i.e. Pierre Robin syndrome, Treacher Collins syndrome, Shy-Drager syndrome, and Cornelia De Lange syndrome), craniofacial traumas, chronic or seasonal rhinitis, asthma, neuromuscular syndromes, brainstem pathologies (i.e.…

Exergaming usage : hedonic and utilitarian aspects

2017

There is a growing demand for information systems (IS) that could advance desirable health behaviours among people. While digital gaming has generally been perceived to increase individuals’ sedentary time, gaming can also act as a medium to promote health, for example, by increasing individuals’ levels of physical activity. Exergaming, a form of digital gaming that combines games with physical activity, has been mentioned as potential means of influencing physical activity levels. Previous research on exergaming has been dominated by a very device-centric perspective, focusing more on its technological and physical aspects, than a more user-centric perspective that focuses on the users and…