DSpace How-To Guide: Tips and tricks for managing common DSpace chores

PDF file

Urinary naphthalene and phenanthrene as biomarkers of occupational exposure to polycyclic aromatic hydrocarbons.

OBJECTIVES: The study investigated the utility of unmetabolised naphthalene (Nap) and phenanthrene (Phe) in urine as surrogates for exposures to mixtures of polycyclic aromatic hydrocarbons (PAHs). METHODS: The report included workers exposed to diesel exhausts (low PAH exposure level, n = 39) as well as those exposed to emissions from asphalt (medium PAH exposure level, n = 26) and coke ovens (high PAH exposure level, n = 28). Levels of Nap and Phe were measured in urine from each subject using head space-solid phase microextraction and gas chromatography-mass spectrometry. Published levels of airborne Nap, Phe and other PAHs in the coke-producing and aluminium industries were also investigated. RESULTS: In post-shift urine, the highest estimated geometric mean concentrations of Nap and Phe were observed in coke-oven workers (Nap: 2490 ng/l; Phe: 975 ng/l), followed by asphalt workers (Nap: 71.5 ng/l; Phe: 54.3 ng/l), and by diesel-exposed workers (Nap: 17.7 ng/l; Phe: 3.60 ng/l). After subtracting logged background levels of Nap and Phe from the logged post-shift levels of these PAHs in urine, the resulting values (referred to as ln(adjNap) and ln(adjPhe), respectively) were significantly correlated in each group of workers (0.71 < or = Pearson r < or = 0.89), suggesting a common exposure source in each case. Surprisingly, multiple linear regression analysis of ln(adjNap) on ln(adjPhe) showed no significant effect of the source of exposure (coke ovens, asphalt and diesel exhaust) and further suggested that the ratio of urinary Nap/Phe (in natural scale) decreased with increasing exposure levels. These results were corroborated with published data for airborne Nap and Phe in the coke-producing and aluminium industries. The published air measurements also indicated that Nap and Phe levels were proportional to the levels of all combined PAHs in those industries. CONCLUSION: Levels of Nap and Phe in urine reflect airborne exposures to these compounds and are promising surrogates for occupational exposures to PAH mixtures.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.