Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning

We study the declarative formalization of reasoning strategies by presenting declarative formalizations of: (1) the SNLP algorithm for nonlinear planning, and (2) a particular algorithm for blocks world nonlinear planning proposed in this paper. The formal models of a heuristic forward chaining planner, which can take advantage of declarative formalizations of action selection strategies, and of a reasoning strategy based planner, which can use declarative formalizations of reasoning strategies, are proposed. The effectiveness of these systems is studied from formal and empirical points of view. Empirical results showing how the use of declarative formalizations of reasoning strategies can reduce the amount of search required for solving planning problems (with respect to state of the art planning systems) are presented.     

Effects of dietary supplements of zinc-methionine on milk production,udder health and zinc metabolism in dairy goats

Twenty-two Murciano-Granadina dairy goats were used to investigate the effects of organic Zn supplementation of a diet containing a high level of inorganic Zn. Goats were kept in pens, machine milked once a day throughout lactation and fed a diet based on a dehydrated mixture of whole-plant maize and alfalfa ad libitum, alfalfa pellets, barley grain and a concentrate mixture. Treatments were: (1) control, and (2) supplemented with 1 g/d Zn-Methionine (Zn-Met) included in the concentrate mixture. After parturition, goats were blocked in week 3 and dietary treatments were applied until week 23. From weeks 3-20, feed intake, milk yield, milk composition, milk somatic cell count (SCC), and udder health were measured. In week 21, all goats were injected intraperitoneally with 1 g/d DL-methionine for 5 d to establish the effects of methionine under the conditions of udder stress induced by hand milking on the second day. During weeks 22 and 23, diet digestibility, and N and Zn balance were determined. Dry matter intake, milk yield, and milk contents of total solids, fat, total and true protein, and casein did not differ between treatments, but whey protein and non-protein nitrogen contents were significantly lower for the Zn-Met group. Milk SCC tended to decrease as a result of Zn-Met supplementation but differences between treatments were not significant when halves with persistent infection were excluded. Hand milking increased SCC in both groups, but udders of supplemented goats showed a lower reaction. Apparent absorption of N significantly increased and Zn retention tended to increase in Zn-Met supplemented goats. We conclude that Zn-Met supplementation can enhance resistance to udder stress in dairy goats. Effects were attributed to the organic Zn and not to the methionine component. Zn retention and protein utilization were also improved by the Zn-Met supplement.     

Parastrephia quadrangularis: A Possible Alternative to Inhibit the Microbial Effect on the Generation of Acid Mine Drainage

Mine Water and the Environment - The role of iron- and sulfur- oxidizing microorganisms in the generation of acid mine drainage (AMD) from sulfide ores and tailings is widely recognized. The...     

Removal of Inorganic Mercury from Polluted Water Using Structured Nanoparticles

This paper presents a process for the removal of inorganic mercury from aqueous solutions using alumina nanoparticles, which were prepared by the sol-gel method. Different amounts of mercury were added to the particles until a critical concentration was achieved, thus inducing the alumina sol flocculation. Particle growth was monitored during the process using dynamic light scattering. The amount of metal ion adsorbed on the surface of the alumina sols was determined by atomic absorption spectroscopy. Initial mercury concentrations ranging between 50 and 100 ppm decreased to below 1 ppb in a short time.     

Knowledge base specification to automate the fluid critical point of fluids

In this paper an analytical procedure implemented to structure the knowledge required by an expert system applied for controlling a chemical process is described. The analytical approach is based on L ifecycle of Systems and on Task Model approaches. It was validated with an experimental procedure related to the determination of the critical point of pure fluids (CO₂, N₂O, SF₆) and mixtures of low concentration (CO₂-limonene). For the implementation of the control system an expert system shell (CHRONOS?) was used.     

Influence of different reactor types on Nannochloropsis oculata microalgae culture for lipids and fatty acid production

Greenhouse gases emitted into the atmosphere by burning of fossil fuels cause global warming. One option is obtaining biodiesel. Nannochloropsis oculata was cultured under different light intensities and reactors at 25°C for 21 days with f/2 medium to assess their effects on cell density, lipid, and fatty acids (FAs). N. oculata improved cell density on fed-batch glass tubular reactor (7 L) at 200 μmol E m⁻² s⁻¹, yielding 3.5 × 10⁸ cells ml⁻¹, followed by fed-batch Erlenmeyer flask (1 L) at 650 μmol E m⁻² s⁻¹ with 1.7 × 10⁸ cells ml⁻¹. The highest total lipid contents (% g lipid × g dry biomass⁻¹) were 44.4 ± 0.8% for the reactor (1 L) at 650 μmol E m⁻² s⁻¹ and 35.2 ± 0.2% for the tubular reactor (7 L) at 200 μmol E m⁻² s⁻¹, until twice as high compared with the control culture (Erlenmeyer flask 1 L, 80 μmol E m⁻² s⁻¹) with 21.2 ± 1%. Comparing the total lipid content at 200 μmol E m⁻² s⁻¹, tubular reactor (7 L) and reactor 1 L achieved 35.2 ± 0.2% and 28.3 ± 1%, respectively, indicating the effect of shape reactor. The FAs were affected by high light intensity, decreasing SFAs to 2.5%, and increased monounsaturated fatty acids + polyunsaturated fatty acids to 2.5%. PUFAs (20:5n-3) and (20:4n-3) were affected by reactor shape, decreasing by half in the tubular reactor. In the best culture, fed-batch tubular reactor (7 L) at 200 μmol E m⁻² s⁻¹ contains major FAs (16:0; 38.06 ± 0.16%), (16:1n-7; 30.74 ± 0.58%), and (18:1n-9; 17.15 ± 0.91%).     

Heteroatom Effect on Star‐Shaped Hole‐Transporting Materials for Perovskite Solar Cells

Three new star‐shaped hole‐transporting materials (HTMs) incorporating benzotripyrrole, benzotrifuran, and benzotriselenophene central cores endowed with three‐armed triphenylamine moieties ( BTP‐1 , BTF‐1 , and BTSe‐1 , respectively) are designed, synthesized, and implemented in perovskite solar cells (PSCs). The impact that the heteroatom‐containing central scaffold has on the electrochemical and photophysical properties, as well as on the photovoltaic performance, is systematically investigated and compared with their sulfur‐rich analogue ( BTT‐3 ). The new HTMs exhibit suitable highest‐occupied molecular orbitals (HOMO) levels regarding the valence band of the perovskite, which ensure efficient hole extraction at the perovskite/HTM interface. The molecular structures of BTF‐1 , BTT‐3 , and BTSe‐1 are fully elucidated by single‐crystal X‐ray crystallography as toluene solvates. The optimized (FAPbI₃)_0.85(MAPbBr₃)_0.15‐based perovskite solar cells employing the tailor‐made, chalcogenide‐based HTMs exhibit remarkable power conversion efficiencies up to 18.5%, which are comparable to the devices based on the benchmark spiro‐OMeTAD. PSCs with BTP‐1 exhibit a more limited power conversion efficiency of 15.5%, with noticeable hysteresis. This systematic study indicates that chalcogenide‐based derivatives are promising HTM candidates to compete efficiently with spiro‐OMeTAD.