Formal Specification and Testing of a Management Architecture

The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture

Gene expression and matrix turnover in overused and damaged tendons

Chronic, painful conditions affecting tendons, frequently known as tendinopathy, are very common types of sporting injury. The tendon extracellular matrix is substantially altered in tendinopathy, and these changes are thought to precede and underlie the clinical condition. The tendon cell response to repeated minor injuries or “overuse” is thought to be a major factor in the development of tendinopathy. Changes in matrix turnover may also be effected by the cellular response to physical load, altering the balance of matrix turnover and changing the structure and composition of the tendon. Matrix turnover is relatively high in tendons exposed to high mechanical demands, such as the supraspinatus and Achilles, and this is thought to represent either a repair or tissue maintenance function. Metalloproteinases are a large family of enzymes capable of degrading all of the tendon matrix components, and these are thought to play a major role in the degradation of matrix during development, adaptation and repair. It is proposed that some metalloproteinase enzymes are required for the health of the tendon, and others may be damaging, leading to degeneration of the tissue. Further research is required to investigate how these enzyme activities are regulated in tendon and altered in tendinopathy. A profile of all the metalloproteinases expressed and active in healthy and degenerate tendon is required and may lead to the development of new drug therapies for these common and debilitating sports injuries

Thermographic imaging in sports and exercise medicine: A Delphi study and consensus statement on the measurement of human skin temperature

This is an accepted manuscript of an article published by Elsevier in Journal of Thermal Biology on 18/07/2017, available online: https://doi.org/10.1016/j.jtherbio.2017.07.006 The accepted version of the publication may differ from the final published version.© 2017 Elsevier Ltd The importance of using infrared thermography (IRT) to assess skin temperature (tsk) is increasing in clinical settings. Recently, its use has been increasing in sports and exercise medicine; however, no consensus guideline exists to address the methods for collecting data in such situations. The aim of this study was to develop a checklist for the collection of tsk using IRT in sports and exercise medicine. We carried out a Delphi study to set a checklist based on consensus agreement from leading experts in the field. Panelists (n  =  24) representing the areas of sport science (n = 8; 33%), physiology (n = 7; 29%), physiotherapy (n = 3; 13%) and medicine (n = 6; 25%), from 13 different countries completed the Delphi process. An initial list of 16 points was proposed which was rated and commented on by panelists in three rounds of anonymous surveys following a standard Delphi procedure. The panel reached consensus on 15 items which encompassed the participants’ demographic information, camera/room or environment setup and recording/analysis of tsk using IRT. The results of the Delphi produced the checklist entitled “Thermographic Imaging in Sports and Exercise Medicine (TISEM)” which is a proposal to standardize the collection and analysis of tsk data using IRT. It is intended that the TISEM can also be applied to evaluate bias in thermographic studies and to guide practitioners in the use of this technique.Published versio

Ecological research in the Large-scale Biosphere-Atmosphere Experiment in Amazonia: Early results

Copyright by the Ecological Society of America ©2004 Michael Keller, Ane Alencar, Gregory P. Asner, Bobby Braswell, Mercedes Bustamante, Eric Davidson, Ted Feldpausch, Erick Fernandes, Michael Goulden, Pavel Kabat, Bart Kruijt, Flavio Luizão, Scott Miller, Daniel Markewitz, Antonio D. Nobre, Carlos A. Nobre, Nicolau Priante Filho, Humberto da Rocha, Pedro Silva Dias, Celso von Randow, and George L. Vourlitis 2004. ECOLOGICAL RESEARCH IN THE LARGE-SCALE BIOSPHERE– ATMOSPHERE EXPERIMENT IN AMAZONIA: EARLY RESULTS. Ecological Applications 14:3–16. http://dx.doi.org/10.1890/03-6003The Large-scale Biosphere–Atmosphere Experiment in Amazonia (LBA) is a multinational, interdisciplinary research program led by Brazil. Ecological studies in LBA focus on how tropical forest conversion, regrowth, and selective logging influence carbon storage, nutrient dynamics, trace gas fluxes, and the prospect for sustainable land use in the Amazon region. Early results from ecological studies within LBA emphasize the variability within the vast Amazon region and the profound effects that land-use and land-cover changes are having on that landscape. The predominant land cover of the Amazon region is evergreen forest; nonetheless, LBA studies have observed strong seasonal patterns in gross primary production, ecosystem respiration, and net ecosystem exchange, as well as phenology and tree growth. The seasonal patterns vary spatially and interannually and evidence suggests that these patterns are driven not only by variations in weather but also by innate biological rhythms of the forest species. Rapid rates of deforestation have marked the forests of the Amazon region over the past three decades. Evidence from ground-based surveys and remote sensing show that substantial areas of forest are being degraded by logging activities and through the collapse of forest edges. Because forest edges and logged forests are susceptible to fire, positive feedback cycles of forest degradation may be initiated by land-use-change events. LBA studies indicate that cleared lands in the Amazon, once released from cultivation or pasture usage, regenerate biomass rapidly. However, the pace of biomass accumulation is dependent upon past land use and the depletion of nutrients by unsustainable land-management practices. The challenge for ongoing research within LBA is to integrate the recognition of diverse patterns and processes into general models for prediction of regional ecosystem function

Imaging shear stress distribution and evaluating the stress concentration factor of the human eye.

Healthy eyes are vital for a better quality of human life. Historically, for man-made materials, scientists and engineers use stress concentration factors to characterise the effects of structural non-homogeneities on their mechanical strength. However, such information is scarce for the human eye. Here we present the shear stress distribution profiles of a healthy human cornea surface in vivo using photo-stress analysis tomography, which is a non-intrusive and non-X-ray based method. The corneal birefringent retardation measured here is comparable to that of previous studies. Using this, we derive eye stress concentration factors and the directional alignment of major principal stress on the surface of the cornea. Similar to thermometers being used for monitoring the general health in humans, this report provides a foundation to characterise the shear stress carrying capacity of the cornea, and a potential bench mark for validating theoretical modelling of stresses in the human eye in future

Sustained Action of Developmental Ethanol Exposure on the Cortisol Response to Stress in Zebrafish Larvae and Adults

This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are creditedThis study was supported by the National Centre for the replacement, refinement and reduction of animals in research

Terahertz photometer to observe solar flares in continuum

Solar observations at sub-THz frequencies detected a new flare spectral component peaking in the THz range, simultaneously with the well known microwaves component, bringing challenging constraints for interpretation. Higher THz frequencies observations are needed to understand the nature of the mechanisms occurring in flares. A THz photometer system was developed to observe outside the terrestrial atmosphere on stratospheric balloons or satellites, or at exceptionally transparent ground stations. The telescope was designed to observe the whole solar disk detecting small relative changes in input temperature caused by flares at localized positions. A Golay cell detector is preceded by low-pass filters to suppress visible and near IR radiation, a band-pass filter, and a chopper. A prototype was assembled to demonstrate the new concept and the system performance. It can detect temperature variations smaller than 1 K for data sampled at a rate of 10/second, smoothed for intervals larger than 4 seconds. For a 76 mm aperture, this corresponds to small solar burst intensities at THz frequencies. A system with 3 and 7 THz photometers is being built for solar flare observations on board of stratospheric balloon missions.Comment: 11 pages, 8 figures, accepted by Journal of Infrared, Millimeter, and Terahertz Waves, 9 December 201