Search results for "imulation"
showing 10 items of 7271 documents
Best proximity point theorems for proximal cyclic contractions
2017
The purpose of this article is to compute a global minimizer of the function $$x\longrightarrow d(x, Tx)$$ , where T is a proximal cyclic contraction in the framework of a best proximally complete space, thereby ensuring the existence of an optimal approximate solution, called a best proximity point, to the equation $$Tx=x$$ when T is not necessarily a self-mapping.
Combined column-and-row-generation for the optimal communication spanning tree problem
2018
Abstract This paper considers the exact solution of the optimal communication spanning tree problem (OCSTP), which can be described as follows: Given an undirected graph with transportation costs on every edge and communication requirements for all pairs of vertices, the OCSTP seeks for a spanning tree that minimizes the sum of the communication costs between all pairs of vertices, where the communication cost of a pair of vertices is defined as their communication requirement multiplied by the transportation cost of the unique tree path that connects the two vertices. Two types of compact formulations for OCSTP were presented in the literature. The first one is a four-index model based on …
Ensuring the Reliability of an Autonomous Vehicle
2017
International audience; In automotive applications, several components, offering different services, can be composed in order to handle one specific task (autonomous driving for example). Nevertheless, component composition is not straightforward and is subject to the occurrence ofbugs resulting from components or services incompatibilities for instance. Hence, bugs detection in component-based systems at thedesign level is very important, particularly, when the developed system concerns automotive applications supporting critical services.In this paper, we propose a formal approach for modeling and verifying the reliability of an autonomous vehicle system, communicatingcontinuously with of…
Understanding the Importance of Proper Incentives for Critical Infrastructures Management – How System Dynamics Can Help
2016
International audience; Computer and information systems are now at the core of numerous critical infrastructures. However, their security management is by far not a trivial issue. Further, these systems, by their very nature, belong to the domain of complex systems, where system dynamics (SD) is an established method, which aims at modelling such systems, their analysis and understanding. Further, on this basis it enables simulation of various policies to properly manage complex systems. More precisely, through understanding of the basic elements of the whole mosaic and their interplay, proper incentives can be tested. And this is important, because proper incentives can lead to the desire…
BDI Modelling and Simulation of Human Behaviours in Bushfires
2016
Each summer in Australia, bushfires burn many hectares of forest, causing deaths, injuries, and destruction of property. Emergency management strategies rely on expected citizens’ behaviour which differs from reality. In order to raise their awareness about the real population behaviour, we want to provide them with a realistic agent-based simulation. The philosophically-grounded BDI architecture provides a very suitable approach but is little used due to the lack of adapted tools. This paper uses this case study to illustrate two new tools to fill this gap: the Tactics Development Framework (TDF) and GAMA BDI architecture.
Multimodal analgesia and regional anaesthesia
2017
Multimodal analgesia provides quality analgesia, with fewer side effects due to the use of combined analgesics or analgesic techniques. Regional anaesthesia plays a fundamental role in achieving this goal. The different techniques of regional anaesthesia that include both peripheral and central blocks in either a single dose or in continuous infusion help to modulate the nociceptive stimuli that access the central level. The emergence of the ultrasound as an effective system to perform regional anaesthesia techniques has allowed the development of new regional anaesthesia techniques that formerly could not be carried out since only neurostimulation or skin references were used. It is essent…
The inside out forehand as a tactical pattern in men’s professional tennis
2017
AbstractThe so-called inside out forehand has an active role in the baseline strategy because it offers the players new possibilities of hitting the incoming ball with their preferred shot by covering their weaker side and, at the same time, playing the ball with more open angles and directions which create more aggressive patterns of play. The purpose of this study is to analyse the use of this shot as well as its incidence on the men’s professional game both, right- and left-handed players. Eighteen matches corresponding to Grand Slam and ATP finals played between 2011 and 2014 were analysed. Eleven players (men) with ATP rankings between 1 and 14 were studied. Data show that the inside o…
Nursing Students Managing Deteriorating Patients: A Systematic Review and Meta-Analysis
2018
Abstract Background The objective was to summarize knowledge and systematically collect and quantify meta-analytical results regarding the effects of high-fidelity simulation in nursing education to improve students' ability to recognize and respond to deteriorating patients. Methods In total, 4048 citations were screened, 40 articles were selected for full-text screening, and 14 articles were included. Six articles were subsequently included in the meta-analysis. Results Knowledge and performance increased after simulation. Four studies reported an increase in self-confidence. Conclusion Findings support that studies with high-quality research designs and improved measurement practices are…
Including the Past: Performance Modeling Using a Preload Concept by Means of the Fitness-Fatigue Model
2019
Abstract In mathematical modeling by means of performance models, the Fitness-Fatigue Model (FF-Model) is a common approach in sport and exercise science to study the training performance relationship. The FF-Model uses an initial basic level of performance and two antagonistic terms (for fitness and fatigue). By model calibration, parameters are adapted to the subject’s individual physical response to training load. Although the simulation of the recorded training data in most cases shows useful results when the model is calibrated and all parameters are adjusted, this method has two major difficulties. First, a fitted value as basic performance will usually be too high. Second, without mo…
Testing of wireless sensor performance in Vessel-to-Vessel Motion Compensation
2016
Relative Vessel-to-Vessel Motion Compensation (VVMC) between two floating vessels can be considered an extension of existing Active Heave Compensation (AHC), which is current state-of-the-art in the offshore industry. In this paper, the experimental results from a small-scale experimental setup of a VVMC scenario are presented. The work focuses on the kinematics related to VVMC, sensor accuracy of Motion Reference Units (MRUs), and the communication delay related to wireless transmission of MRU data between two floating vessels. The accuracies of the MRU sensors are good and verified to be less than 5% of the heave amplitude. The wireless communication link had a typical time-delay of 8ms. …