Threshold counters with increments and decrements

A threshold counter is a shared data structure that assumes integer values. It provides two operations: changes the current counter value from v to v+1, while returns the value v/w, where v is the current counter value and w is a fixed constant. Thus, the operation returns the “approximate” value of the counter to within the constant w. Threshold counters have many potential uses, including software barrier synchronization. Threshold networks are a class of distributed data structures that can be used to construct highly-concurrent, low-contention implementations of shared threshold counters. In this paper, we give the first proof that any threshold network construction of a threshold counter can be extended to support a operation that changes the counter value from v to v−1.     

Nutrient and heavy metal storage and mobility within sediments in Kouris Reservoir,Cyprus

The objective of this study was to evaluate the risks associated with nutrient and heavy metal pollution in the water and sediments of Kouris Reservoir in Cyprus, and to recommend applicable measures to alleviate them. The reservoir drainage area contains various historic abandoned copper mines existing in an ophiolite geological substrate. Kouris Reservoir water is classified as oligotrophic to mesotrophic, with phosphorus being the limiting factor for algae growth. The thermal stratification of the reservoir enhances anoxic conditions in the reservoir hypolimnion, initiating phosphorus release back into the water column from the lake bottom sediments. The increased phosphorus release, in combination with increased water temperatures during the summer months (i.e. reaching 27 °C in August), may be the key factors enhancing the growth of microbial communities and cyanobacteria blooms. The sediment of Kouris Reservoir is classified as ‘low risk’ on the basis of the Ecological Risk Index scheme, in contrast to the Geoaccumulation Index, which indicates a moderate degree of contamination for chromium (Cr), nickel (Ni) and copper (Cu), and a high degree for lead (Pb). Heavy metals are strongly bound to the sediment matrix at pH values between 7 and 9, but can be released back into the water column at potential acid pH values. In addition, the sediments exhibit a high copper and chromium absorption affinity under current water quality conditions in the reservoir, as shown by batch absorption experiments. The experimental results suggest dredging of the reservoir sediment, and its subsequent dumping of the sediments near influent streams, would have adverse effects on the environment in the event of acid rain or other environmental changes that might acidify the sediment.     

Computation of metastable phases in tungsten-carbon system

Metastable phase equilibria in the W-C system are presented in the vicinity of the metastable reactions involving W₂C, WC_1−x , and WC. Metastable phase boundaries were obtained by reproducing the stable boundaries using optimized Gibbs energy formulations and extrapolating them into regions of metastability. Four metastable reactions were obtained: a metastable congruent melting reaction of WC at 3106 K, a metastable eutectic reaction between WC_1−x and graphite at 2995 K, a metastable eutectic reaction between W₂C and WC at 2976 K, and a metastable eutectic reaction between W₂C and graphite at 2925 K. The reaction enthalpies and entropies associated with these transitions are also computed using the available Gibbs energy data. Furthermore, possible kinetic paths that could lead to metastability are discussed.     

L1PMA: A Fortran 77 package for best L1 piecewise monotonic data smoothing

Fortran 77 software is presented for the calculation of a best L₁ approximation to n measurements that include random errors by requiring k−1 sign changes in the first divided differences of the approximation or equivalently k monotonic sections, alternately increasing and decreasing. A dynamic programming algorithm separates the measurements into optimal disjoint sections of adjacent data and applies to each section a single L₁ monotonic calculation. The most distinctive feature of the algorithm is that it terminates at a global minimum in at most n³+O(kn²) computer operations, although this calculation can exhibit O(n^k) local minima, because the optimal positions of the turning points are also unknowns of the optimization process. The arithmetic operations involved in this calculation are comparisons mainly spent in finding the medians of subranges of data during the monotonic calculations. The package employs techniques for median and for best L₁ monotonic approximation, while full details of these techniques are specified. The package has been applied and tested on a variety of data that have substantial differences and showed quadratic behaviour in n. Some numerical results demonstrate the performance of the method. Further, there is a commentary on the division of the code into subroutines. Driver programs and numerical examples with output are provided to help new users of the method. Besides that piecewise monotonicity is a property of a wide range of functions, an important application of the method is in estimating turning points of a function from some noisy measurements of its values.     

Robustness studies for H∞ feedback control in a structural acoustic model with periodic excitation

Results from an extensive study on the robustness of an H^∞ compensator for a 2-D structural acoustic model are presented. The effects of frequency uncertainties in an exogenous signal are studied for both the case where the signal is contained in the controller formulation and the case where it is excluded. Delays are inserted in the input and/or output signals and their effect on the controller performance is recorded. A comparison between the standard LQG/Kalman filter and the H^∞/Min-Max compensator reveals no significant differences in the overall controller performance. Modifications in the controller structure are studied to see whether loss of information (the tracking variable) that must be calculated a priori would result in performance degradation. This study provides valuable insight into the computational and implementational issues that arise when dealing with the control of large and complex systems that are governed by partial differential equations.     

Study of the effect of hydrogen charging on the tensile properties and microstructure of four variant heat treatments of nickel alloy 718

This study examined the hydrogen embrittlement sensitivity of nickel alloy 718 given four different heat treatments to obtain various microstructural states. The four heat treatments examined are the oil and gas 718 heat treatment, the aerospace 718 heat treatment, and two variant two-step heat treatments, with a difference in aging heat treatment named 718 low band and high band. Each heat treatment leads to differences in the precipitate morphologies of γ′, γ′′ and δ phases.Material characterisation and fractography of the examined heat treatments were performed using a high resolution FEG SEM. Three specimens of each condition were pre-charged with hydrogen and tensile properties were compared with those of non-charged specimens. It was observed that hydrogen embrittlement was associated with intergranular and transgranular microcrack formation, leading to an intergranular brittle fracture. δ phase may assist the intergranular crack propagation, and this was shown to be particularly true when this phase is coarse enough to produce crack initiation, but this is not the only factor determining embrittlement. Other microstructural features play a role, as does the strength of the material. The aerospace heat treatment, which gives the highest strength and ductility in the uncharged state, shows the greatest reduction in properties with hydrogen charging.     

Intrasplenic transplantation of allogeneic hepatocytes prolongs survival in anhepatic rats

To examine whether hepatocytes transplanted in the spleen can function as an ectopic liver, we performed hepatocyte transplantation in rats that were rendered anhepatic. Total hepatectomy was performed by using a novel single-stage technique. Following hepatectomy, Group 1 rats (n = 16) were monitored until death to determine survival time without prior intervention. Group 2 anhepatic rats (n = 20) were sacrificed at various times to measure blood hepatocyte growth factor (HGF) and transforming growth factor beta1 (TGF-beta1) levels. Group 3 (n = 16) rats received intrasplenic injection of isolated hepatocytes (2.5 x 10(7) cells/rat) followed by total hepatectomy after 3 days. Group 4 (n = 12) sham-transplanted rats received intrasplenic saline infusion, and after 3 days they were rendered anhepatic. Group 2, 3, and 4 rats were maintained on daily Cyclosporine A (10 mg/kg; intramuscularly). Group 1 anhepatic rats survived for 22.4 +/- 5.2 hours (standard deviation). The anhepatic state was associated with a progressive and statistically significant rise in blood HGF and TGF-beta1 levels. Rats that received hepatocyte transplantation before total hepatectomy had a significantly longer survival time than sham-transplanted anhepatic controls (34.1 +/- 8.5 vs. 15.5 +/- 4.8 hrs, P < .01). Additionally, at 12 hours post-hepatectomy, transplanted rats had significantly lower blood ammonia, prothrombin time, international normalized ratio, and TGF-beta1 levels when compared with sham-transplanted controls. In conclusion, intrasplenic transplantation of allogeneic hepatocytes prolonged survival, improved blood chemistry, and lowered blood TGF-beta1 levels in rats rendered anhepatic.     

Virtual environments for robotics education: an extensible object-oriented platform

The article discusses impediments that face researchers and academic institutions that try to implement training programs. The ability of virtual modeling and simulation (VM&S) systems to mitigate some problems is explained. A solution system, Virtual Robots (VROBO), is developed to demonstrate the effectiveness of the approach.