A Mixed Closure-CSP Method for Solving Scheduling Problems

Scheduling problems can be viewed as a set of temporal metric and disjunctive constraints and so they can be formulated in terms of CSP techniques. In the literature, there are CSP-based methods which sequentially interleave search efforts with the application of consistency enforcing mechanisms and variable/ordering heuristics. Therefore, the number of backtrackings needed to obtain a solution is reduced. In this paper, we propose a new method that effectively integrates the CSP process into a limited closure process: not by interleaving them but rather as a part of the same process. Such an integration allows us to define more informed heuristics. These heuristics are used to limit the complete closure process to a maximum number of disjunctions, thereby reducing its complexity while at the same time reducing the search space. Some open disjunctive solutions can be maintained in the CSP process, limiting the number of backtrackings necessary, and avoiding having to know all the problem constraints in advance. Our experiments with flow-shop and job-shop instances show that this approach obtains a feasible solution/optimal solution without having to use backtracking in most cases. We also analyze the behaviour of our algorithm when some constraints are known dynamically and we demonstrate that it can provide better results than a pure CSP process.     

Immunohistochemistry of neuronal nitric oxide synthase and protein nitration in the striatum of the aged rat

To ascertain the possible implications of the nitric oxide (NO*) producing system in striatal senescence, and by using immunohistochemistry and image-processing approaches, we describe the presence of the enzyme nitric oxide synthase (NOS), the NADPH-diaphorase (NADPH-d) histochemical marker, and nitrotyrosine-derived complexes (N-Tyr) in the striatum of adult and aged rats. The results showed neuronal NOS immunoreactive (nNOS-IR) aspiny medium-sized neurons and nervous fibres in both age groups, with no variation in the percentage of immunoreactive area but a significant decrease in the intensity and in the number of somata with age, which were not related to the observed increase with age of the striatal bundles of the white matter. In addition, NADPH-d activity was detected in neurons with morphology similar to that of the nNOS-IR cells; a decrease in the percentage of area per field and in the number of cells, but an increase in the intensity of staining for the NADPH-d histochemical marker, were detected with age. The number of neuronal NADPH-d somata was higher than for the nNOS-IR ones in both age groups. Moreover, N-Tyr-IR complexes were observed in cells (neurons and glia) and fibres, with a significant increase in the percentage of the area of immunoreaction, related to the increase of white matter, but a decrease in intensity for the aged group. On the other hand, we did not detect the inducible isoform (iNOS) either in adult or in aged rats. Taken together, these results support the contention that NADPH-d staining is not such an unambiguous marker for nNOS, and that increased protein nitration may participate in striatal aging.     

Characterisation of chickpea flour‐based gluten‐free batters and muffins with added biopolymers: rheological,physical and sensory properties

Chickpea flour (CF)‐based muffin formulations were made with CF alone and with added biopolymers [whey protein (WP), xanthan gum (XG) and inulin (INL)] to evaluate their suitability to be a wheat flour (WF) substitute in muffins. Structural characteristics of the batters and muffins were studied by means of rheometry, microscopy, physicochemical properties, and texture and sensory analysis. Partial replacement of CF with XG, alone (at 0.5 and 1%) or blended with either WP or INL, significantly increased the batter viscoelasticity as denser matrices developed; moreover, the muffins with XG added at 1% had similar hardness to wheat gluten muffins. The replacement of WF decreased the springiness, cohesiveness, chewiness, resilience and specific volume of the muffin. However, baked muffins with added XG also showed higher sensory sponginess and moisture associated with numerous air bubbles in the batter and were perceived to be easier to swallow and to have better general appearance.     

Recycled Polyolefin Blends: Effect of Modified Natural Zeolite on their Properties and Morphology

The purpose of this study is to investigate the effect of treated natural zeolite on the flow behavior, morphology, thermal, and mechanical properties in recycled polyolefin blends. A model polymer blend consisting of 95 wt% polyolefines and 5 wt% polystyrene was studied. Compositions from this recycled blend and dehydrated zeolite in a narrow concentration range (0–5 wt%) were treated with maleic anhydride-grafted polypropylene and initiator dicumyl peroxide. The compositions were characterized by capillary rheometry, wide-angle X-ray scattering, differential scanning calorimetry, scanning electron microscopy, and mechanical tests. The results show a compatibilizing effect of treated zeolite expressed by increase of shear viscosity and improvement of interfacial interactions and impact strength. The results can open wide possibilities for utilization of treated zeolite in recycling of unsorted polymer wastes.     

Optimization of Green Multiple Emulsions Processing to Improve Their Physical Stability

The effect of processing protocol on physical stability and the microstructure of water‐in‐oil‐in‐water multiple emulsions containing a mixture of two amphiphilic copolymers with opposed hydrophilic‐lipophilic balance as emulsifiers and a green solvent, 2‐ethylhexyl lactate, as the dispersed phase, has been assessed. Emulsions were obtained in at least two steps: a homogenization step by using a rotor‐stator device, followed by one or two homogenization steps carried out in a high‐pressure device that used microfluidizer technology. To study the microstructure and physical stability of these emulsions, a combination of different techniques, such as transmitted‐light optical microscopy, globule size distribution, viscous flow tests, and multiple light scattering measurements, were performed.     

Impact of cycling temperatures on Fusarium verticillioides and Fusarium graminearum growth and mycotoxins production in soybean

BACKGROUND: Fusarium graminearum and F. verticillioides are two very important mycotoxigenic species as they cause diverse diseases in crops. The effects of constant and cycling temperatures on growth and mycotoxin production of these species were studied on soybean based medium and on irradiated soya beans. RESULTS: F. graminearum grew better when was incubated at 15, 20 and 15–20 °C (isothermal or cycling temperature) during 21 days of incubation. Maximum levels of zearalenone and deoxynivalenol (39.25 and 1040.4 µg g^?1, respectively) were detected on soya beans after 15 days of incubation and the optimal temperature for mycotoxin production was 15 °C for zearalenone and 20 °C for deoxynivalenol. F. verticillioides grew better at 25 °C in culture medium and at 15/20 °C and 15/25 °C on soybean seeds. Fumonisin B₁ was produced only in culture medium, and the maximum level (7.38 µg g^?1) was found at 15 °C after 7 days of incubation. CONCLUSION: When growth and mycotoxin production under cycling temperatures were predicted from the results under constant conditions, observed values were different from calculated for both species and substrate medium. Therefore, care should be taken if data at constant temperature conditions are to be extrapolated to real field conditions. Copyright © 2012 Society of Chemical Industry     

Typing artifacts in megamodeling

Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in model-driven engineering-based projects. Global model management (GMM) addresses this issue by enabling the representation of artifacts, particularly transformation composition and execution, within a model called a megamodel. Type information about artifacts can be used for preventing type errors during execution. Built on our previous work, in this paper we present the core elements of a type system for GMM that improves its original typing approach and enables both typechecking and type inference on artifacts within a megamodel. This type system is able to deal with non-trivial situations such as the use of higher order transformations. We also present a prototypical implementation of such a type system.