A technique for recursive invariance detection and selective program specialization

This paper presents a technique for achieving a class of optimizations related to the reduction of checks within cycles. The technique uses both Program Transformation and Abstract Interpretation. After a ñrst pass of an abstract interpreter which detects simple invariants, program transformation is used to build a hypothetical situation that simpliñes some predicates that should be executed within the cycle. This transformation implements the heuristic hypothesis that once conditional tests hold they may continué doing so recursively. Specialized versions of predicates are generated to detect and exploit those cases in which the invariance may hold. Abstract interpretation is then used again to verify the truth of such hypotheses and conñrm the proposed simpliñcation. This allows optimizations that go beyond those possible with only one pass of the abstract interpreter over the original program, as is normally the case. It also allows selective program specialization using a standard abstract interpreter not speciñcally designed for this purpose, thus simplifying the design of this already complex module of the compiler. In the paper, a class of programs amenable to such optimization is presented, along with some examples and an evaluation of the proposed techniques in some application áreas such as floundering detection and reducing run-time tests in automatic logic program parallelization. The analysis of the examples presented has been performed automatically by an implementation of the technique using existing abstract interpretation and program transformation tools.

Identifying yeats belonging to the Brettanomyces/Dekkera genera through the use of selective-differential media

The purpose of this work was to compare and optimise different selective and differential media to aid in isolating spoilage yeasts belonging to the Brettanomyces/Dekkera genera. Growth media containing selective and differential factors were employed. These were inoculated with strains of yeast representing Spanish oenological microbiota. Lastly, some of these isolation media were successfully applied in 24 types of wine with a high ethylphenol content, all of which were from the Haro Oenological Station (La Rioja, Spain). p-coumaric acid was determined using High performance liquid chromatography-photodiode-array detection-electrospray ionization mass spectrometry (HPLC-DAD-ESI/MS); 4-ethylphenol by using Solid phase micro extraction-gas chromatography-mass spectrometry (SPME-GC-MS); and the rest of the analysis was carried out using official OIV methodology. Actidione is the most effective selective factor for isolating Brettanomyces/Dekkera yeast genera. Other secondary selective factors (selective carbon sources, sorbic acid and ethanol as a microbicide agent) may be used successfully to eliminate potential false positivities; however, they slow growth and delay the time to obtain results.

New selective earth faults only current directional method for isolated neutral systems

In order to achieve total selectivity at electrical distribution networks it is of great importance to analyze the defect currents at ungrounded power systems. This information will help to grant selectivity at electrical distribution networks ensuring that only the defect line or feeder is removed from service. In the present work a new selective and directional protection method for ungrounded power systems is evaluated. The new method measures only defect currents to detect earth faults and works with a directional criterion to determine the line under faulty conditions. The main contribution of this new technique is that it can detect earth faults in outgoing lines at any type of substation avoiding the possible mismatch of traditional directional earth fault relays. This detection technique is based on the comparison of the direction of a reference current to the direction of all earth fault capacitive currents at all the feeders connected to the same bus bars. This new method has been validated through computer simulations. The results for the different cases studied are remarkable, proving total validity and usefulness of the new method.