Dichlorvos exposure impedes extraction and amplification of DNA from insects in museum collections

Background: The insecticides dichlorvos, paradichlorobenzene and naphthalene have been commonly used to eradicate pest insects from natural history collections. However, it is not known how these chemicals affect the DNA of the specimens in the collections. We thus tested the effect of dichlorvos, paradichlorobenzene and naphthalene on DNA of insects (Musca domestica) by extracting and amplifying DNA from specimens exposed to insecticides in two different concentrations over increasing time intervals. Results: The results clearly show that dichlorvos impedes both extraction and amplification of mitochondrial and nuclear DNA after relatively short time, whereas paradichlorobenzene and naphthalene do not. Conclusion: Collections treated with paradichlorobenzene and naphthalene, are better preserved concerning DNA, than those treated with dichlorvos. Non toxic pest control methods should, however, be preferred due to physical damage of specimens and putative health risks by chemicals.

Replacing Finned Copper withCorrugated Stainless Steel, forthe Heat Exchangers of a SolarCombisystem Store : Performance and EconomicEvaluation

The importance of investigating cost reduction in materials and components for solar thermal systems is crucial at the present time. This work focuses on the influence of two different heat exchangers on the performance of a solar thermal system. Both heat exchangers studied are immersed helically coiled, one made with corrugated stainless steel tube, and the other made with finned copper tube with smooth inner surface.A test apparatus has been designed and a simple test procedure applied in order to study heat transfer characteristics and pressure drop of both coils. Thereafter, the resulting experimental data was used to perform a parameter identification of the heat exchangers, in order to obtain a TRNSYS model with its corresponding numerical expression. Also a representative small-scale combisystem model was designed in TRNSYS, in order to study the influence of both heat exchangers on the solar fraction of the system, when working at different flow rates.It has been found that the highest solar fraction is given by the corrugated stainless steel coil, when it works at the lowest flow rate (100 l/hr). For any higher flow rate, the studied copper coil presents a higher solar fraction. The advantageous low flow performance of stainless steel heat exchanger turns out to be beneficial for the particular case of solar thermal systems, where it is well known that low flow collector loops lead to enhanced store stratification, and consequently higher solar fractions.Finally, an optimization of the stainless steel heat exchanger length is carried out, according to economic figures. For the given combisystem model and boundary conditions, the optimum length value is found between 10 and 12 m.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.