Implementation of computing standards

The F-16 avionics implements what is likely the broadest application of standards of any USAF weapon system. Standards available in 1976 were applied which consisted of the MIL-STD-1553 Multiplex Data Bus, JOVIAL J3B which was the defacto software and precursor to JOVIAL J73 dialect and the MIL-STD-490 software documentation standard. These standards were instrumental in making the F-16 a very successful program. The F-16 avionic system is now being greatly expanded to accommodate advanced sensors and weapons currently in USAF funded development. Once again the F-16 is at the forefront in implementing the latest USAF standards. A key feature of the enhanced avionics is the application of JOVIAL J73 (MIL-STD-1589B) for all subsystems, the MIL-STD-1553B Multiplex Data Bus, the MIL-STD-1750A Computer Instruction Set Architecture, and the MIL-STD-1760 Stores Interface. Both the implementation of standards in the current F-16 avionics and also in the enhanced F-16 avionics now in development are described.     

Petri nets,event structures and domains,part I

The general aim of this paper is to find a theory of concurrency combining the approaches of Petri and Scott (and others).In part I we introduce our formalisms. To connect the abstract ideas of events and domains of information, we show how casual nets induce certain kinds of domains where the information points are certain sets of events. This allows translations between the languages of net theory and domain theory. Following the idea that events of causal nets are occurrences, we generalise causal nets to occurrence nets, by adding forwards conflict. Just as infinite flow charts unfold finite ones, so transition nets can be unfolded into occurrence nets. Next we extend the above connections between nets and domains to these new nets. Event structures which are intermediate between nets and domains play an important part in all our work. Finally, as an example of how concepts translate from one formalism to the other, we show how Petri's notion of confusion ties up with Kahn and Plotkin's concrete domains.In part II we shall continue the job of connecting up notions within net theory and the theory of domains. In particular, we shall examine the idea of states of computations.     

Nanometer-scale chemical heterogeneities of black carbon materials and their impacts on PCB sorption properties: soft X-ray spectromicroscopy study

Synchrotron-based soft X-ray spectromicroscopy was used to probe nanometer-scale chemical heterogeneities of black carbon (BC) materials, including anthracite coal, coke, and activated carbon (AC), and to study their impact on the partitioning of one type of polychlorinated biphenyls (PCB-166: 2,3,4,4',5,6 hexachloro biphenyl) onto AC particles. Various carbon species (e.g., aromatic, ketonic/ phenolic, and carboxylic functional groups) were found in all of the BC materials examined, and impurities (e.g., carbonate and potassium ions in anthracite coal) were identified in nanometer-scale regions of these samples. We show that these chemical heterogeneities in AC particles influence their sorption of hydrophobic organic compounds (HOCs). PCB-166 was found to accumulate preferentially on AC particles with the highest content of aromatic functionalities. These new findings from X-ray spectromicroscopy have the following implications for the role of BC materials in the environment: (1) the functional groups of BC materials vary on a 25-nanometer scale, and so does the abundance of the HOCs; (2) molecular-level characterization of HOC sorption preferences on AC will lead to an improved understanding of AC sorption properties for the remediation of HOCs in soils and sediments.     

Distinctive arsenic(V) trapping modes by magnetite nanoparticles induced by different sorption processes

Arsenic sorption onto iron oxide spinels such as magnetite may contribute to arsenic immobilization at redox fronts in soils, sediments, and aquifers, as well as in putative remediation and water treatment technologies. We have investigated As(V) speciation resulting from different sorption processes on magnetite nanoparticles, including both adsorption and precipitation, using X-ray absorption fine structure (XAFS) spectroscopy and transmission electron microscopy (TEM). XAFS results suggest that AsO(4) tetrahedra form predominantly inner-sphere bidentate corner-sharing ((2)C) complexes and outer-sphere complexes on magnetite in the adsorption experiments. In the precipitation experiments, an increasing fraction of AsO(4) tetrahedra appears to be incorporated in clusters having a magnetite-like local structure with increasing As loading, the remaining fraction of As being adsorbed at the surface of magnetite particles. In the sample with the highest As loading (15.7 μmol/m(2)) XAFS data indicate that As(V) is fully incorporated in such clusters. Such processes help to explain the significantly higher arsenic uptake in precipitation samples compared to those generated in adsorption experiments. In addition, for the precipitation samples, TEM observations indicate the formation of amorphous coatings and small (~3 nm) nanoparticles associated with larger (~20-40 nm) magnetite nanoparticles, which are absent in the adsorption samples. These results suggest that As(V) could form complexes at the surfaces of the small nanoparticles and could be progressively incorporated in their structure with increasing As loading. These results provide some of the fundamental knowledge about As(V)-magnetite interactions that is essential for developing effective water treatment technologies for arsenic.     

Sorption versus biomineralization of Pb(II) within Burkholderia cepacia biofilms

X-ray spectroscopy measurements have been combined with macroscopic uptake data and transmission electron microscopy (TEM) results to show that Pb(II) uptake by Burkholderia cepacia is due to simultaneous sorption and biomineralization processes. X-ray microprobe mapping of B. cepacia biofilms formed on alpha-Al2O3 surfaces shows that Pb(II) is distributed heterogeneously throughout the biofilms because of the formation of Pb "hot spots". EXAFS data and TEM observations show that the enhanced Pb accumulation is due to the formation of nanoscale crystals of pyromorphite (Pb5(PO4)3(OH)) adjacent to the outer-membrane of a fraction of the total population of B. cepacia cells. In contrast, B. cepacia cell suspensions or biofilms that were heat-killed or pretreated with X-rays do not form pyromorphite, which suggests that metabolic activity is required. Precipitation of pyromorphite occurs over several orders of magnitude in [H-] and [Pb] and accounts for approximately 90% of the total Pb uptake below pH 4.5 but only 45-60% at near-neutral pH because of the formation of additional Pb(II) adsorption complexes. Structural fits of Pb L(III) EXAFS data collected for heat-treated cells at near-neutral pH suggest that Pb(II) forms inner-sphere adsorption complexes with carboxyl functional groups in the biofilms.     

Comparing GC–MS,HPLC and H NMR analysis of beef longissimus dorsi tissue extracts to determine the effect of suspension technique and ageing

Beef longissimus dorsi muscle samples matured over a 21 day period were analysed using three different analytical techniques; ¹H NMR, GC–MS and HPLC. The data from the three experimental techniques were correlated with each other to determine if the results were statistically similar to each other. From our analysis we determined that the metabolites measured using ¹H NMR were statistically similar to the compounds quantified using the chromatography techniques (p < 0.001). In addition, using PCA, we were able to show that different metabolites, measured using the various analytical techniques produced very similar scores and loadings plots for all the analysis and extraction techniques undertaken across the 21 day time domain. Using a combination of these three different techniques provides a unique and holistic insight into the biochemistry behind the conversion of muscle to meat which would not be possible using any single technique alone.     

Determination of phenolic acids in plant cell walls by microwave digestion

Microwave digestion (750 W for 90 s) with 4 M NaOH was used to release esterified and etherified hydroxycinnamic acids from cell walls of maize (Zea mays L), wheat (Triticum aestivum L), barley (Hordeum vulgare L) and oilseed rape (Brassica napus L) stems. Subtraction of values for saponifiable phenolic acids obtained after treatment with I M NaOH at room temperature from digest results provided a measure of β-ether linked units. These were exclusively (E + Z)-ferulic acid in the cereal straws. Only trace amounts of ether- and ester-linked hydroxycinnamic acids were released from the dicotyledon, ripe straw. Microwave digestion was shown to be an order of magnitude more effective than dioxane-HCl at liberating β-ether bound phenolic acids and as effective, but substantially quicker, than previously described high-temperature alkaline digestions.     

Conditional and Marginal Mutual Information in Gaussian and Hyperbolic Decay Time Series

We consider the amount of available information about an arbitrary future state of a Gaussian stochastic process. We derive an infinite series for the marginal mutual information in terms of the autocorrelation function. We derive an infinite series for the newly available information for prediction, the conditional mutual information, in terms of the moving average parameters, and directly characterize predictability in terms of sensitivity to random shocks. We apply our results to long memory, or more generally, hyperbolic decay models, and give information‐theoretic characterizations of the transition from persistence to anti‐persistence, stationary long memory to nonstationarity, and a stationary regime where the mutual information is not summable.     

Feasibility of Using Titanium Machine Turnings in Powder Metallurgy Processes

JOM - The use of titanium machine turnings has been identified as a possible ultralow-cost method to produce titanium powder. However, very little data are available on the viability of this...