Carbon molecular sieve membranes supported on non-modified ceramic tubes for hydrogen separation in membrane reactors

Supported carbon membranes have been regarded as more competitive than traditional gas separation materials due to the versatile combination of different pyrolyzable polymers and supports which in turn leads to high separation factors and mechanical stability. In order to determine the extent to which supported carbon membranes are more competitive, the transport mechanism of supported carbon membranes was investigated in the range 32–150 °C and 1–2.5 bar. Polyimide (Matrimid 5218) material was coated and pyrolyzed under N₂ atmosphere on TiO₂-ZrO₂ macroporous tubes (Tami) that had not been structurally modified in any way. The supported carbon membrane was studied to determine its permeation for low molecular weight gases such as H₂, CH₄, CO, N₂ and CO₂. For these gases, the permeance of the composite supported carbon membranes obtained after pyrolysis at 550 °C increased with inverse square root of molecular weight. The temperature dependence of the permeance was described using an Arrhenius law with the negative activation energies for hydrogen, carbon dioxide and nitrogen providing evidence of a non-activated process. The ideal separation selectivity computed from single gas measurements leads to values slightly lower than the Knudsen because of the influence of viscous flow. The coexistence of more than one transport mechanism in the composite membrane was confirmed. After plugging the possible defects with Polydimethylsiloxane (PDMS), the supported carbon membranes obtained at a pyrolysis temperature of 650 °C showed evidence of a molecular sieving mechanism. This paper shows the separation properties of a crack-free supported carbon membrane obtained using a simple fabrication method that does not require modification of the mesoporous support. The permeance and selectivity values were compared with those of other hydrogen selective materials. Finally, the membranes were applied to methanol steam reforming (MSR).     

Hypergravity Effects on Dendritic Cells and Vascular Wall Interactions

Dendritic cells (DCs), the most potent antigen-presenting cells inducing specific immune responses, are involved in the pathogenesis of atherosclerosis. In this inflammatory disease, DCs increase in number, being particularly abundant in the shoulder regions of plaques. Since the exposure to altered gravitational conditions results in a significant impairment of the immune function, the aim of this study was to investigate the effects of hypergravity on both the function of DCs and their interactions with the vascular wall cells. Monocytes from peripheral blood mononuclear cells of healthy volunteers were sorted by CD14+ magnetic beads selection, cultured for 6 days in medium supplemented with GM-CSF and IL-4, followed by a further maturation stimulus. DC phenotype, assessed by flow cytometry, showed a high expression of the specific DC markers CD80, CD86, HLA-DR and CD83. The DCs obtained were then exposed to hypergravitational stimuli and their phenotype, cytoskeleton, ability to activate lymphocytes and interaction with vascular wall cells were investigated. The findings showed that the exposure to hypergravity conditions resulted in a significant impairment of DC cytoskeletal organization, without affecting the expression of DC markers. Moreover, an increase in DC adhesion to human vascular smooth muscle cells and in their ability to activate lymphocytes was observed.     

Protective factors for iron deficiency anemia: prospective study in low-income infants

This study was performed to assess both risk and protective factors associated with iron deficiency anemia in 130 infants with age below 24 months, with low socio-economic status and followed since their births by a primary health care program in the city of S?o Paulo, Brazil. Growth, morbidity and dietary factors were analysed as well as hemoglobin levels (Hb) at regular intervals (6, 9, 12, 18 and 24 months). The portable Hemocue photometer was employed to measure hemoglobin levels and anemia was considered when Hb values were below 11 g/dL. Simple logistic regression was used with socio-economic variables, age group, nutritional status, morbidity, breastfeeding and food intake. Risk factors for anemia in the studied group were intake of cow's milk at 4 months and who has 3 or more old brothers (OR approximately = 2). The protective factors for anemia were age between 18 and 24 months and intake of infant formula, vitamin C, meat and beans at 6 months (OR approximately = 0.5). The prevention of iron deficiency anemia includes encouraging healthy feeding practices starting at 6 months of life.     

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement

Enforcing a supervisory control policy to avoid forbidden states on a discrete event system modeled by a Petri net may result in a non live system. This may happen even if the admissible states are specified by Generalized Mutual Exclusion Constraints (GMECs). This leads to the problem of synthesizing a maximally permissive control policy preserving liveness of the system under a GMEC. This problem is very interesting in practice, but difficult even for a restricted class of systems. In this paper, we focus on systems which can be modeled as live and safe Marked Graphs (MGs). On such systems, when some of the transitions are uncontrollable, a GMEC can be forced by a monitor place if a not maximally permissive policy is accepted, otherwise a more complex control has to be adopted. Anyway, liveness of the closed-loop system (plant plus control) is not guaranteed. Two sufficient conditions to verify the closed-loop liveness of a live and safe MG plant controlled by a monitor are derived. A sufficient condition for closed loop liveness of MGs where a GMEC has been enforced on is derived. In addition, a set of predicates is provided that enforces, in a maximally permissive way, a GMEC while preserving closed-loop liveness on live and safe MG systems under some restrictions.

A simulator for adaptive parallel applications

Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. Detailed simulations can help identify allocation strategies and problem decomposition parameters that increase the efficiency of parallel applications. We describe a simulation framework supporting dynamic node allocation which, given a simple cluster model, predicts the running time of parallel applications taking CPU and network sharing into account. Simulations can be carried out without needing to modify the application code. Thanks to partial direct execution, simulation times and memory requirements are reduced. In partial direct execution simulations, the application's parallel behavior is retrieved via direct execution, and the duration of individual operations is obtained from a performance prediction model or from prior measurements. Simulations may then vary cluster model parameters, operation durations and problem decomposition parameters to analyze their impact on the application performance and identify the limiting factors. We implemented the proposed techniques by adding direct execution simulation capabilities to the Dynamic Parallel Schedules parallelization framework. We introduce the concept of dynamic efficiency to express the resource utilization efficiency as a function of time. We verify the accuracy of our simulator by comparing the effective running time, respectively the dynamic efficiency, of parallel program executions with the running time, respectively the dynamic efficiency, predicted by the simulator under different parallelization and dynamic node allocation strategies.     

Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models

Petri net (PN) supervisory control is often performed through a sequential procedure that introduces additional constraint layers over an initial unconstrained PN model, using generalized mutual exclusion constraints (GMECs) implemented as monitor places. This is typical, e.g., in the context of flexible manufacturing systems, where the initial model represents the production sequences and the constraints are used to express static specifications, such as job limitations or the usage of resources, and behavioral ones, as liveness, controllability, etc. This sequential procedure may yield a redundant model, that is not easily reduced a posteriori. Also, it is difficult to ensure maximal permissivity with respect to multiple behavioral specifications. This paper, building on recent results regarding optimal supervisor design with branch & bound methods, proposes an integrated modeling approach that can be used to derive a minimal supervisor guaranteeing the attainment of an arbitrary set of static and behavioral specifications in a maximally permissive way. Among behavioral specifications, deadlock-freeness, liveness, reversibility and behavioral controllability are considered in the paper. The supervisor comes in the form of a simple set of GMECs or of a disjunction of sets of GMECs. Some examples emphasize the potential model size reductions that can be achieved.     

Deleting inconsistencies in nontransitive preference relations

The problem of minimal modifications to be imposed on a nontransitive preference relation, to delete inconsistencies, is considered. This can be understood as a dual case of the problem of sensitivity analysis of transitive preference relations. Detailed considerations formalizing the problem and some results are presented. © 1996 John Wiley & Sons, Inc.     

Steam reforming of hot gas from gasified wood types and miscanthus biomass

The reforming of hot gas generated from biomass gasification and high temperature gas filtration was studied in order to reach the goal of the CHRISGAS project: a 60% of synthesis gas (as x(H₂)+ x(CO) on a N₂ and dry basis) in the exit gas, which can be converted either into H₂ or fuels. A Ni-MgAl₂O₄ commercial-like catalyst was tested downstream the gasification of clean wood made of saw dust, waste wood and miscanthus as herbaceous biomass. The effect of the temperature and contact time on the hydrocarbon conversion as well as the characterization of the used catalysts was studied. Low (<600 °C), medium (750°C–900 °C) and high temperature (900°C–1050 °C) tests were carried out in order to study, respectively, the tar cracking, the lowest operating reformer temperature for clean biomass, the methane conversion achievable as function of the temperature and the catalyst deactivation. The results demonstrate the possibility to produce an enriched syngas by the upgrading of the gasification stream of woody biomass with low sulphur content. However, for miscanthusthe development of catalysts with an enhanced resistance to sulphur poison will be the key point in the process development.