On Observing Dynamic Prioritised Actions in SOC

We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and weak labelled bisimilarities for COWS, a process calculus for SOC, and provide alternative characterisations in terms of open barbed bisimilarities. These semantics show that COWS’s priority mechanisms partially recover the capability to observe receive actions (that could not be observed in a purely asynchronous setting) and that high priority primitives for termination impose specific conditions on the bisimilarities

Introdução à biomecânica do esporte considerações sobre métodos de investigação

Através de análise da literatura específica, discute-se o domínio da área de atuação da Biomecânica do Esporte, a interdisciplinaridade de Ciências Esportivas para a investigação do movimento e padronização conceituai, quanto à composição, classificação e metas na investigação. Quanto aos métodos de medidas, discutem-se os principais processos e suas características, visando a complexa investigação para a análise do movimento esportiv

A STUDY OF THE MECHANICAL ENERGY DIFFERENCES BETWEEN TREADMILL AND OVERGROUND WALKING

The aim of this paper was to analyze the components of the mechanical energy of the body considering the differences between treadmill and overground walking. One subject was filmed while walking at 1.5 m/s on treadmill and overground. The results show that the patterns of the curves are very similar, but the change in the total energy, both in the upper as in the lower extremity were greater on overground (23.20J and 17.47J respectively for overground and treadmill and for the upper extremity 4.91J and 2.56J). The potential energy change of the trunk was also greater on overground (overground 45.97J; treadmill 24.88J). These findings, showing a lower measured mechanical cost on treadmill address the problem whether the treadmill can be used as a valid simulator for overground walking

DYNAMICAL FACTORS RELATED TO VERTICAL JUMP PERFOMANCE

INTRODUCTION - In most of sport exercises, the displacement of body Center of Mass (CM) is an important factor to de-terminate performance. And greater the velocity at takeoff phase, greater the height achieved by the body CM. High jumps are influenced by the net combination of different joints moments and its synchronization during this task. Thus, also the countermovement may influence high jump performance (HOCHMUTH & MARHOLD, 1978). To measure the effectiveness of training into increasing the height in vertical jump relays information to both coach and athlete in manner to adapt the training. The purpose of this study is to analyze temporal and frequencies factors of ground reaction force GRF and the effect of limitation of arms swing and trunk extension in vertical jump. METHODS AND EQUIPMENT - All the exercises were performed on a strain gauges force platform. The ground reaction force (GRF) had been sampled at 800 Hz frequency and after the determination of its frequency components by the use of FFT, the raw signals were low-pass filtered at 160 Hz. A video camera was exerted to control the set of jumps. The volunteer subject for this study was a male high jumper, 26 years old, 70.4f0.5 kg weight, 184.0k0.5 cm tall. Four different types of vertical jumps were performed (set of 5 trials) and analyzed in this study: 1) standard vertical jump; 2) jump with- out the elevation of upper limbs; 3) jump without the extension of trunk; and 4) jump without both the elevation of upper limbs and extension of trunk. All that jumps were preceded by countermovement. RESULTS AND DISCUSSION - Although four different techniques had been per- formed for high jumps, the temporal factors (DOWLINH & VAMOS, 1993) did not differ statistically (duration of major positive impulse and duration of major negative impulse). Eccentric and concentric phases was not different statistically. Power spectral analysis has showed that trunk mobility might be more influent than upper limb swing in the dynamic4 characteristics of the analyzed movement. Informations provided by spectral analysis probably relays important data to identify the influence of different body segments in vertical jump. It was not confirmed that the maintenance of a steady state just before the maximum vertical GRF or reducing the depression between the two positive peaks is related to the acceleration caused by arms swing. On the other hand, our results indicate that the first positive peak is probably exerted by trunk extension. In spite of the limitation of trunk and upper limb mobility, it is clear that is not possible to exclude their influence in total body moment of inertia. CONCLUSION - According to our results, despite different jumping exercises, restrictions to joints mobility changes the maxi- mum vertical GRF. Besides, tests that intend to measure the performance in high jumps according the use or not of parts of the human body may be reconsidered. REFERENCES Hochmuth G.; Marhold G. (1983) In Asmussen E. Jagenssen K. Biomechanics VI B. Dowling J.J.; Vamos L. (1 9933 J. Applied. Biornech. 9, 95-110

Subsynovial connective tissue development in the rabbit carpal tunnel

The carpal tunnel contains the digital flexor tendons and the median nerve, which are embedded in a unique network of fibrovascular interconnected subsynovial connective tissue (SSCT). Fibrous hypertrophy of the SSCT and subsequent adaptations in mechanical response are found in patients with carpal tunnel syndrome (CTS), but not much is known about the development of the SSCT. This observational study describes the morphological development of SSCT using histology and ultramicroscopy in an animal model at four time points between late-term fetuses through adulthood. A transition

Resource Control for Synchronous Cooperative Threads

We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a \emph{synchronous} model of interaction based on cooperative threads whose execution proceeds in synchronous rounds called instants. Our contribution is a system of compositional static analyses to guarantee that each instant terminates and to bound the size of the values computed by the system as a function of the size of its parameters at the beginning of the instant. Our method generalises an approach designed for first-order functional languages that relies on a combination of standard termination techniques for term rewriting systems and an analysis of the size of the computed values based on the notion of quasi-interpretation. We show that these two methods can be combined to obtain an explicit polynomial bound on the resources needed for the execution of the system during an instant. As a second contribution, we introduce a virtual machine and a related bytecode thus producing a precise description of the resources needed for the execution of a system. In this context, we present a suitable control flow analysis that allows to formulte the static analyses for resource control at byte code level

Testing empirical and synthetic flood damage models: The case of Italy

Flood risk management generally relies on economic assessments performed by using flood loss models of different complexity, ranging from simple univariable models to more complex multivariable models. The latter account for a large number of hazard, exposure and vulnerability factors, being potentially more robust when extensive input information is available. We collected a comprehensive data set related to three recent major flood events in northern Italy (Adda 2002, Bacchiglione 2010 and Secchia 2014), including flood hazard features (depth, velocity and duration), building characteristics (size, type, quality, economic value) and reported losses. The objective of this study is to compare the performances of expert-based and empirical (both uni- and multivariable) damage models for estimating the potential economic costs of flood events to residential buildings. The performances of four literature flood damage models of different natures and complexities are compared with those of univariable, bivariable and multivariable models trained and tested by using empirical records from Italy. The uni- and bivariable models are developed by using linear, logarithmic and square root regression, whereas multivariable models are based on two machine-learning techniques: random forest and artificial neural networks. Results provide important insights about the choice of the damage modelling approach for operational disaster risk management. Our findings suggest that multivariable models have better potential for producing reliable damage estimates when extensive ancillary data for flood event characterisation are available, while univariable models can be adequate if data are scarce. The analysis also highlights that expert-based synthetic models are likely better suited for transferability to other areas compared to empirically based flood damage models

Cost-benefit analysis of coastal flood defence measures in the North Adriatic Sea

The combined effect of global sea level rise and land subsidence phenomena poses a major threat to coastal settlements. Coastal flooding events are expected to grow in frequency and magnitude, increasing the potential economic losses and costs of adaptation. In Italy, a large share of the population and economic activities are located along the low-lying coastal plain of the North Adriatic coast, one of the most sensitive areas to relative sea level changes. Over the last half a century, this stretch of coast has experienced a significant rise in relative sea level, the main component of which was land subsidence; in the forthcoming decades, climate-induced sea level rise is expected to become the first driver of coastal inundation hazard. We propose an assessment of flood hazard and risk linked with extreme sea level scenarios, under both historical conditions and sea level rise projections in 2050 and 2100. We run a hydrodynamic inundation model on two pilot sites located along the North Adriatic coast of Emilia-Romagna: Rimini and Cesenatico. Here, we compare alternative extreme sea level scenarios accounting for the effect of planned and hypothetical seaside renovation projects against the historical baseline. We apply a flood damage model to estimate the potential economic damage linked to flood scenarios, and we calculate the change in expected annual damage according to changes in the relative sea level. Finally, damage reduction benefits are evaluated by means of cost-benefit analysis. Results suggest an overall profitability of the investigated projects over time, with increasing benefits due to increased probability of intense flooding in the near future