Refinement of higher-order logic programs

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we extend the refinement calculus for logic programs to include higher-order programming capabilities in specifications and programs, such as procedures as terms and lambda abstraction. We use a higher-order type and term system to describe programs, and provide a semantics for the higher-order language and refinement. The calculus is illustrated by refinement examples.

Intravenous anaesthetics inhibit nicotinic acetylcholine receptor-mediated currents and Ca2+ transients in rat intracardiac ganglion neurons

1 The effects of intravenous (i.v.) anaesthetics on nicotinic acetylcholine receptor (nAChR)-induced transients in intracellular free Ca2+ concentration ([Ca2+](i)) and membrane currents were investigated in neonatal rat intracardiac neurons. 2 In fura-2-loaded neurons, nAChR activation evoked a transient increase in [Ca2+](i), which was inhibited reversibly and selectively by clinically relevant concentrations of thiopental. The half-maximal concentration for thiopental inhibition of nAChR-induced [Ca2+](i) transients was 28 muM, close to the estimated clinical EC50 (clinically relevant (half-maximal) effective concentration) of thiopental. 3 In fura-2-loaded neurons, voltage clamped at -60mV to eliminate any contribution of voltage-gated Ca2+ channels, thiopental (25 muM) simultaneously inhibited nAChR-induced increases in [Ca2+](i) and peak current amplitudes. Thiopental inhibited nAChR-induced peak current amplitudes in dialysed whole-cell recordings by - 40% at - 120, -80 and -40 mV holding potential, indicating that the inhibition is voltage independent. 4 The barbiturate, pentobarbital and the dissociative anaesthetic, ketamine, used at clinical EC50 were also shown to inhibit nAChR-induced increases in [Ca2+](i) by similar to40%. 5 Thiopental (25 muM) did not inhibit caffeine-, muscarine- or ATP-evoked increases in [Ca2+](i), indicating that inhibition of Ca2+ release from internal stores via either ryanodine receptor or inositol-1,4,5-trisphosphate receptor channels is unlikely. 6 Depolarization-activated Ca2+ channel currents were unaffected in the presence of thiopental (25 muM), pentobarbital (50 muM) and ketamine (10 muM). 7 In conclusion, i.v. anaesthetics inhibit nAChR-induced currents and [Ca2+](i) transients in intracardiac neurons by binding to nAChRs and thereby may contribute to changes in heart rate and cardiac output under clinical conditions.

Pulse transit time changes observed with different limb positions

Pulse transit time (PTT) is a non-invasive measure of arterial compliance. It can be used to assess instantaneous blood pressure (BP) changes in continual cardiovascular measurement such as during overnight respiratory sleep studies. In these studies, periodic changes in limb position can occur randomly. However, little is known about their possible effects on PTT monitored on the various limbs. The objective of this study was to evaluate PTT differences on all four limbs during two positional changes (lowering and raising of a limb). Ten healthy adults (seven male) with a mean age of 27.0 years were recruited in this study. The results showed that the limb that underwent a positional change had significant (p < 0.05) local PTT differences when compared to its nominal baseline value, whereas PTT changes in the other remaining limbs were insignificant (p > 0.05). The mean PTT value measured from a vertically-raised limb increased by 42.7 ms, while it decreased by 28.1 ms with a half-lowered limb. The PTT differences observed during positional change can be contributed to by the complex interactions between hydrostatic pressure changes, autonomic and local autoregulation experienced in these limbs. Hence the findings herein suggest that PTT is able to reflect local circulatory responses despite changes in the position of other limbs. This can be useful in prolonged clinical observations where limb movements are expected.

Is mortality from heart failure increasing in Australia? An analysis of official data on mortality for 1997-2003

Objective To assess whether trends in mortality from heart failure(HF) in Australia are due to a change in awareness of the condition or real changes in its epidemiology. Methods We carried out a retrospective analysis of official data on national mortality data between 1997 and 2003. A death was attributed to HF if the death certificate mentioned HF as either the underlying cause of death (UCD) or among the contributory factors. Findings From a total of 907 242 deaths, heart failure was coded as the UCD for 29 341 (3.2%) and was mentioned anywhere on the death certificate in 135 268 (14.9%). Between 1997 and 2003, there were decreases in the absolute numbers of deaths and in the age-specific and age-standardized mortality rates for HF either as UCD or mentioned anywhere for both sexes. HF was mentioned for 24.6% and 17.8% of deaths attributed to ischaemic heart disease and circulatory disease, respectively, and these proportions remained unchanged over the period of study. In addition, HF as UCD accounted for 8.3% of deaths attributed to circulatory disease and this did not change materially from 1997 to 2003. Conclusion The decline in mortality from HF measured as either number of deaths or rate probably reflects a real change in the epidemiology of HF. Population-based studies are required to determine accurately the contributions of changes in incidence, survival and demographic factors to the evolving epidemiology of HF.

Response of B-type natriuretic pepticle to exercise in hypertensive patients with suspected diastolic heart failure: Correlation with cardiac function, hemodynamics, and workload

Background Diastolic heart failure (DHF) is characterized by dyspnea due to increased left ventricular (LV) filling pressures during stress. We sought the relationship of exercise-induced increases in B-type natriuretic peptide (BNP) to LV filling pressures and parameters of cardiovascular performance in suspected DHF. Methods Twenty-six treated hypertensive patients with suspected DHF (exertional dyspnea, LV ejection fraction >50%, and diastolic dysfunction) underwent maximal exercise echocardiography using the Bruce protocol. BNP, transmitral Doppler, and tissue Doppler for systolic (So) and early (Ea) and late (Aa) diastolic mitral annular velocities were obtained at rest and peak stress. LV filling pressures were estimated with E/Ea ratios. Results Resting BNP correlated with resting pulse pressure (r=0.45, P=0.02). Maximal exercise performance (4.6 +/- 2.5min) was limited by dyspnea. Blood pressure increased with exercise (from 143 +/- 19/88 +/- 8 to 191 +/- 22/90 +/- 10 mm Hg); 13 patients (50%) had a hypertensive response. Peak exercise BNP correlated with peak transmitral E velocity (r = 0.41, P <.05) and peak heart rate (r = -0.40, P <.05). BNP increased with exercise (from 48 57 to 74 97 pg/mL, P =.007), and the increment of BNP with exercise was associated with maximal workload and peak exercise So, Ea, and Aa (P <.01 for all). Filling pressures, approximated by lateral E/Ea ratio, increased with exercise (7.7 +/- 2.0 to 10.0 +/- 4.8, P <.01). BNP was higher in patients with possibly elevated filling pressures at peak exercise (E/Ea >10) compared to those with normal pressures (123 +/- 124 vs 45 +/- 71 pg/mL, P =.027). Conclusions Augmentation of BNP with exercise in hypertensive patients with suspected DHF is associated with better exercise capacity, LV systolic and diastolic function, and left atrial function. Peak exercise BNP levels may identify exercise-induced elevation of filling pressures in DHF.

Assessing flow in physical activity: The Flow State Scale-2 and Dispositional Flow Scale-2

The Flow State Scale-2 (FSS-2) and Dispositional Flow Scale-2 (DFS-2) are presented as two self-report instruments designed to assess flow experiences in physical activity. Item modifications were made to the original versions of these scales in order to improve the measurement of some of the flow dimensions. Confirmatory factor analyses of an item identification and a cross-validation sample demonstrated a good fit of the new scales. There was support for both a 9-first-order factor model and a higher order model with a global flow factor. The item identification sample yielded mean item loadings on the first-order factor of .78 for the FSS-2 and .77 for the DFS-2. Reliability estimates ranged from .80 to .90 for the FSS-2, and .81 to .90 for the DFS-2. In the cross-validation sample, mean item loadings on the first-order factor were .80 for the FSS-2, and .73 for the DFS-2. Reliability estimates ranged between .80 to .92 for the FSS-2 and .78 to .86 for the DFS-2. The scales are presented as ways of assessing flow experienced within a particular event (FSS-2) or the frequency of flow experiences in chosen physical activity in general (DFS-2).

Short-term and long-term cardiovascular actions of different doses of perindopril in the rabbit

Short-term (one week) and chronic (six week) cardiovascular effects of orally administered perindopril were examined in the rabbit to demonstrate if short-term results can predict chronic outcomes. In short-term treatment, five doses of perindopril were examined in random order separated by a one week recovery period in each of six rabbits. Two doses of perindopril which resulted in a moderate hypotensive effect (-14 mmHg) and no hypotensive effect, respectively, were then selected for long-term treatment. Each rabbit in the short-term study received perindopril in doses of 0.01, 0.06, 0.32, 1.8 and 10 mg kg(-1) day(-1) for a week at a time. Rabbits on long-term treatment received either 0.3 or 0.01 mg kg(-1) day(-1) perindopril for six weeks. All rabbits had their mean arterial blood pressure (MAP) and heart rate recorded throughout treatment. Plasma angiotensin I (AngI), perindoprilat, angiotensin converting enzyme (ACE) inhibition were also assayed. Perindopril treatment for one week produced a dose-dependent hypotensive effect with the threshold dose, 0.06 mg kg(-1) day(-1), producing a 6.5+/-1.8 mmHg fall in MAP. The highest dose (10.0 mg kg(-1) day(-1)) produced a large fall in blood pressure of -29.6+/-4.2 mmHg. The 0.01 and 0.06 mg kg(-1) day(-1) doses of perindopril produced an average 2.65 fold increase in plasma AngI levels compared to the initial control. The three higher doses (0.32-10.0 mg kg(-1) day(-1)) of perindopril produced an equivalent 5.7 fold increase in plasma AngI levels compared to the initial controls. However, over six weeks 0.01 mg kg(-1) day(-1) perindopril induced a similar decrease in MAP as the 30 fold higher dose (-9.3 mmHg compared to -11.7 mmHg,). This was in spite of a 3 fold difference in plasma perindoprilat concentrations between the high and low dose perindopril groups. Plasma ACE inhibition was >80% with both doses of perindopril. The results indicate that while perindopril decreases MAP in a dose-dependent manner in short-term (one week) periods, over longer treatment times (six weeks) low concentrations of perindopril, non-hypotensive with shortterm treatment, may be as anti-hypertensive as considerably higher doses. (C) 1996 The Italian Pharmacological Society.