Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Emotional and Adrenocortical Responses of Infants to the Strange Situation: The Differential Function of Emotional Expression

The aim of the study was to investigate biobehavioural organisation in infants with different qualities of attachment. Quality of attachment (security and disorganisation), emotional expression, and adrenocortical stress reactivity were investigated in a sample of 106 infants observed during Ainsworth’s Strange Situation at the age of 12 months. In addition, behavioural inhibition was assessed from maternal reports. As expected, securely attached infants did not show an adrenocortical response. Regarding the traditionally defined insecurely attached groups, adrenocortical activation during the strange situation was found for the ambivalent group, but not for the avoidant one. Previous ndings of increased adrenocortical activity in disorganised infants could not be replicated. In line with previous ndings, adrenocortical activation was most prominent in insecure infants with high behavioural inhibition indicating the function of a secure attachment relationship as a social buffer against less adaptive temperamental dispositions. Additional analyses indicated that adrenocortical reactivity and behavioural distress were not based on common activation processes. Biobehavioural associations within the different attachment groups suggest that biobehavioural processes in securely attached infants may be different from those in insecurely attached and disorganised groups. Whereas a coping model may be applied to describe the biobehavioural organisation of secure infants, an arousal model explanation may be more appropriate for the other groups

Is stimulation of leaf photosynthesis by elevated carbon dioxide concentration maintained in the long term? A test with Lolium perenne grown for 10 years at two nitrogen fertilization levels under Free Air CO2 Enrichment (FACE)

Photosynthesis is commonly stimulated in grasslands with experimental increases in atmospheric CO2 concentration ([CO2]), a physiological response that could significantly alter the future carbon cycle if it persists in the long term.. Yet an acclimation of photosynthetic capacity suggested by theoretical models and short-term experiments could completely remove this effect of CO2. Perennial ryegrass (Lolium perenne L. cv. Bastion) was grown under an elevated [CO2] of 600 mumol mol(-1) for 10 years using Free Air CO2 Enrichment (FACE), with two contrasting nitrogen levels and abrupt changes in the source: sink ratio following periodic harvests. More than 3000 measurements characterized the response of leaf photosynthesis and stomatal conductance to elevated [CO2] across each growing season for the duration of the experiment. Over the 10 years as a whole, growth at elevated [CO2] resulted in a 43% higher rate of light-saturated leaf photosynthesis and a 36% increase in daily integral of leaf CO2 uptake. Photosynthetic stimulation was maintained despite a 30% decrease in stomatal conductance and significant decreases in both the apparent, maximum carboxylation velocity (V-c,V-max) and the maximum rate of electron transport (J(max)). Immediately prior to the periodic (every 4-8 weeks) cuts of the L. perenne stands, V-c,V-max and J(max), were significantly lower in elevated than in ambient [CO2] in the low-nitrogen treatment. This difference was smaller after the cut, suggesting a dependence upon the balance between the sources and sinks for carbon. In contrast with theoretical expectations and the results of shorter duration experiments, the present results provide no significant change in photosynthetic stimulation across a 10-year period, nor greater acclimation in V-c,V-max and J(max) in the later years in either nitrogen treatment

Thermistor Pressure Gauge Design

Thermistor pressure gauges are characterized by large pressure range, good accuracy and stability, fast measurement, insensitivity to over-pressure, negligible out-gassing, ease in cleaning, and physical and electrical simplicity and ruggedness. A number of excellent papers have been published describing these gauges. However, a detailed account of design procedure and characteristics for a specific gauge would eliminate much of the trial and error encountered in designing a gauge having prescribed range, sensitivity, and stability

Self-energy Effects in the Superfluidity of Neutron Matter

The superfluidity of neutron matter in the channel $^1 S_0$ is studied by taking into account the effect of the ground-state correlations in the self-energy. To this purpose the gap equation has been solved within the generalized Gorkov approach. A sizeable suppression of the energy gap is driven by the quasi-particle strength around the Fermi surface.Comment: 8 pages and 3 figure

Lack of trust in maternal support is associated with negative interpretations of ambiguous maternal behavior

Attachment theory assumes that children who lack trust in maternal availability for support are more inclined to interpret maternal behavior in congruence with their expectation that mother will remain unavailable for support. To provide the first test of this assumption, early adolescents (9-13 years old) were asked to assess whether ambiguous interactions with mother should be interpreted in a positive or a negative way. In our sample (n = 322), results showed that early adolescents' lack of trust in their mother's availability for support was related to more negative interpretations of maternal behavior. The associations remained significant after controlling for depressive mood. The importance of these findings for our understanding of attachment theory, attachment stability, and clinical practice are discussed

High flow conditions mediate damaging impacts of sub-lethal thermal stress on corals' endosymbiotic algae

The effects of thermal anomalies on tropical coral endosymbiosis can be mediated by a range of environmental factors, which in turn ultimately influence coral health and survival. One such factor is the water flow conditions over coral reefs and corals. Although the physiological benefits of living under high water flow are well known, there remains a lack of conclusive experimental evidence characterizing how flow mitigates thermal stress responses in corals. Here we use in situ measurements of flow in a variety of reef habitats to constrain the importance of flow speeds on the endosymbiosis of an important reef building species under different thermal regimes. Under high flow speeds (0.15 m s−1) and thermal stress, coral endosymbionts retained photosynthetic function and recovery capacity for longer compared to low flow conditions (0.03 m s−1). We hypothesize that this may be due to increased rates of mass transfer of key metabolites under higher flow, putatively allowing corals to maintain photosynthetic efficiency for longer. We also identified a positive interactive effect between high flow and a pre-stress, sub-lethal pulse in temperature. While higher flow may delay the onset of photosynthetic stress, it does not appear to confer long-term protection; sustained exposure to thermal stress (eDHW accumulation equivalent to 4.9°C weeks) eventually overwhelmed the coral meta-organism as evidenced by eventual declines in photo-physiological function and endosymbiont densities. Investigating flow patterns at the scale of metres within the context of these physiological impacts can reveal interesting avenues for coral reef management. This study increases our understanding of the effects of water flow on coral reef health in an era of climate change and highlights the potential to learn from existing beneficial bio-physical interactions for the effective preservation of coral reefs into the future