Data-Flow analysis of prolog programs with extra-logical features

Abstract interpretation-based data-flow analysis of logic programs is at this point relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs using the full power of the language.

Improvement of compatibility and stability on polyethylene-modified bitumen by use of an aromatic extra as compatibilizer.

Bitumen modification by polyethylene addition usually improves the mechanical properties of the binder and, therefore, the behavior in service of the bituminous mix: thermal susceptibility and rutting can be diminished, whilst the resistance to low temperature cracking may increase. To achieve this improvement it is necessary a good compatibility between the base bitumen and the polyethylene. Low compatibility between bitumen and polyethylene can lead to phase separation: the polymer- asphalt incompatibility translates into a deterioration of ultimate properties. The object of this research project was to determine if these problems can be diminished by using certain compatibilizer agents, e.g. an aromatic extract from the oil refinery. Compatibility and stability of the polyethylene modified bitumen were studied using conventional test methods and dynamic shear reometer (DSR). Blends of bitumen and polyethylene were prepared with neat bitumen (PMB) or bitumen with compatibilizer as component of the binder (PMBC) and then compared. The experimental results show that “colloid instability index”(IC) is a parameter that can be used to control the compatibility between bitumen and polyethylene. From polyethylene point of view, one of the parameters that govern is the “melt flow index” (MFI). Experimental results show that PMBC formulated with low IC bitumen and hi gh MFI lineal polyethylene can be considered as stable binder.

Rheological behaviour and functionality of inulin-extra virgin olive oil-based mashed potatoes

Developing products having a high nutritional value and good storage stability during freezing is a challenge. Inulin (I) and extra virgin olive oil (EVOO) have interesting functional properties. The e?ect of the addition of I and EVOO blends at di?erent I:EVOO ratios (0:0, 0:60, 15:45, 30:30, 45:15, 60:0, 30:45 and 45:30) on the rheological, physical, sensory and structural properties of fresh and frozen ? thawed mashed potatoes formulated without and with added cryoprotectants was analysed and compared. Addition of I and EVOO (either alone or blended) reduced apparent viscosity and pseudoplasticity producing softer systems, indicating that both ingredients behave as soft ?llers. Samples with added I at the higher concentrations )1 (?45 g kg ) showed lower ?ow index and consistency, which is related to formation of smaller I particles; microphotographs indicated that gelling properties of I depended mostly upon processing. Frozen ? thawed samples were judged more acceptable and creamier than their fresh counterparts.

Effect of the season on the free phytoprostanes content in Cornicabra extra virgin olive oil from deficit irrigated olive trees

BACKGROUND: The effect of regulated deficit irrigation (RDI) on the phytoprostane (PhytoP) content in extra virgin olive (Olea europaea L., cv. Cornicabra) oil (EVOO) was studied. During the 2012 and 2013 seasons, T0 plants were irrigated at 100% ETc, while T1 and T2 plants were irrigated avoiding water deficit during phases I and III of fruit growth and saving water during the non-critical phenological period of pit hardening (phase II), developing amore severewater deficit in T2 plants. In 2013, a fourth treatment (T3) was also performed, which was similar to T2 except that water saving was from the beginning of phase II to 15 days after the end of phase II. RESULTS: 9-F1t-PhytoP, 9-epi-9-F1t-PhytoP, 9-epi-9-D1t-PhytoP, 9-D1t-PhytoP, 16-B1-PhytoP and 9-L1-PhytoP were present in Cornicabra EVOO, and their contents increased in the EVOO fromRDI plants. CONCLUSION: Deficit irrigation during pit hardening or for a further period of 2 weeks thereafter to increase irrigation water saving is clearly critical for EVOO composition because of the enhancement of free PhytoPs, which have potential beneficial effects on human health. The response of individual free PhytoPs to changes in plant water status was not as perceptible as expected, preventing their use as biomarkers of water stress.