High hydrogen production from glycerol or glucose by electrohydrogenesis using microbial electrolysis cells

The use of glycerol for hydrogen gas production was examined via electrohydrogenesis using microbial electrolysis cells (MECs). A hydrogen yield of 3.9 mol-H₂/mol was obtained using glycerol, which is higher than that possible by fermentation, at relatively high rates of 2.0 ± 0.4 m³/m³ d (E_ap = 0.9 V). Under the same conditions, hydrogen was produced from glucose at a yield of 7.2 mol-H₂/mol and a rate of 1.9 ± 0.3 m³/m³ d. Glycerol was completely removed within 6 h, with 56% of the electrons in intermediates (primarily 1,3-propanediol), with the balance converted to current, intracellular storage products or biomass. Glucose was removed within 5 h, but intermediates (mainly propionate) accounted for only 19% of the electrons. Hydrogen was also produced using the glycerol byproduct of biodiesel fuel production at a rate of 0.41 ± 0.1 m³/m³ d. These results demonstrate that electrohydrogenesis is an effective method for producing hydrogen from either pure glycerol or glycerol byproducts of biodiesel fuel production.     

微软WORD格式中的软件质量保证

“在廉价的甜味逐渐减弱消失后,就会倍偿长期持续的苦味。“高质量软件的生命周期成本只是低质量软件的生命周期成本的几分之一。在一些情况下,质量保证的软件对于使用该软件的客户意味着生命悠关。例如,飞行员读了令人误解的荧屏显示就有可能以付出他（她）以及乘客的生命作为代价。软件质量保证方法或过程必须标准化并用于确保软件产品的安全以及成本效果,软件质量保证应占项目总成本的6%。     

Toughness in synthetic and biological multilayered systems

Toughness in hard biological tissues is associated with fibrous or lamellar structures that deflect or stop growing cracks. In some cases, such as nacreous shell, protein interlayers absorb much of the crack energy. In other tissues, such as tooth enamel, the toughness derives from the mineral microstructure, and the small amount of residual protein apparently has little effect. There have been a number of efforts to make tough synthetic materials using layered structures. In this work, freeform fabrication has been used to make layered structures with a view to introducing similar toughness into brittle materials. Results are presented for epoxy-glass composites with glass fabric interlayers, porous alumina back-filled with aluminium metal, and layered glass-ceramic/silver materials.     

Quantitative study of concentration overload,peak asymmetry,and efficiency loss in micellar electrokinetic chromatography

An equation is derived for the velocity of a thin zone of specific analyte concentration in micellar electrokinetic chromatography. The velocity varies with analyte concentration, because micellar solubilization changes electrical conductivity, micellar electrophoretic mobility, and the partitioning of anabyte between mobile and micellar phases. Two studies based on a weakly and a strongly retained neutral analyte are made to test a limiting form of the equation in which the first two changes are ignored. In the first study, peak asymmetries are characterized and plate numbers are measured in two types of experiments: one of fixed surfactant concentration and variable analyte concentration and one of fixed analyte concentration and variable surfactant concentration. In the second study, the isotherm describing both experiment types is measured and interpreted by the Langmuir model to evaluate the velocity equation. The equation of continuity is solved numerically for the peak profiles governed by the velocity equation. In all but one case, a good agreement is found between theoretical and experimental peak asymmetries and plate numbers in both experiment types. An equation is derived for the relative change of analyte velocity caused by the Langmuir isotherm. The change depends on the relative migration time, micellar saturation, and retardation factor. The predicted velocity changes correlate well with peak asymmetries and efficiency losses.     

Verifying Concurrent Data Structures by Simulation

We describe an approach to verifying concurrent data structures based on simulation between two Input/Output Automata (IOAs), modelling the specification and the implementation. We explain how we used this approach in mechanically verifying a simple lock-free stack implementation using forward simulation, and briefly discuss our experience in verifying three other lock-free algorithms which all required the use of backward simulation.     

Pathogenesis of an infectious mononucleosis-like disease induced by a murine gamma-herpesvirus: role for a viral superantigen?

The murine gamma-herpesvirus 68 has many similarities to EBV, and induces a syndrome comparable to infectious mononucleosis (IM). The frequency of activated CD8+ T cells (CD62L(lo)) in the peripheral blood increased greater than fourfold by 21 d after infection of C57BL/6J (H-2(b)) mice, and remained high for at least a further month. The spectrum of T cell receptor usage was greatly skewed, with as many as 75% of the CD8+ T cells in the blood expressing a Vbeta4+ phenotype. Interestingly, the Vbeta4 dominance was also seen, to varying extents, in H-2(k), H-2(d), H-2(u), and H-2(q) strains of mice. In addition, although CD4 depletion from day 11 had no effect on the Vbeta4 bias of the T cells, the Vbeta4+CD8+ expansion was absent in H-2IA(b)-deficient congenic mice. However, the numbers of cycling cells in the CD4 antibody-depleted mice and mice that are CD4 deficient as a consequence of the deletion of MHC class II, were generally lower. The findings suggest that the IM-like disease is driven both by cytokines provided by CD4+ T cells and by a viral superantigen presented by MHC class II glycoproteins to Vbeta4+CD8+ T cells.     

Defining the outcome of immunosuppression withdrawal after liver transplantation

Successful immunosuppression withdrawal should benefit the natural history of organ transplantation patients. To identify the clinical hazards of removing drug treatment and possible characteristics that predict a favorable outcome in long-term liver recipients, immunosuppression was withdrawn completely and the clinicopathological outcome documented in 18 liver recipients. Indication for transplantation, HLA matching, early rejection history, and presence of microchimerism were examined as predictors of outcome. Chimerism was determined by polymerase chain reaction-based examination for donor-specific HLA-DRB1 alleles and Y-gene-specific nucleotide sequences. At 3 years, 5 patients (28%) remained completely off immunosuppression; 12 patients (67%) experienced histological graft changes: acute rejection in 4, portal tract inflammation/hepatitis in 7, and necrosis in 1. Hepatitis B or C viral infections did not account for the nonrejection patterns. Unmasking of systemic disorders occurred. Chimerism, demonstrated in 7 patients (39%), with skin the optimal tissue, was not associated with tolerance. Parameters associated with successful drug withdrawal were transplantation for non-immune-mediated liver disorders, fewer donor-recipient HLA A, B, and DR mismatches, and a low incidence of early rejection. Immunosuppression withdrawal is a feasible option in a proportion of selected liver recipients, but identification of tolerant patients remains imprecise.     

Virus-specific CD8(+) T cell numbers are maintained during gamma-herpesvirus reactivation in CD4-deficient mice

The murine gamma-herpesvirus 68 replicates in epithelial sites after intranasal challenge, then persists in various cell types, including B lymphocytes. Mice that lack CD4(+) T cells (I-Ab-/-) control the acute infection, but suffer an ultimately lethal recrudescence of lytic viral replication in the respiratory tract. The consequences of CD4(+) T cell deficiency for the generation and maintenance of murine gamma-herpesvirus 68-specific CD8(+) set now have been analyzed by direct staining with viral peptides bound to major histocompatibility complex class I tetramers and by a spectrum of functional assays. Both acutely and during viral reactivation, the CD8(+) T cell responses in the I-Ab-/- group were no less substantial than in the I-Ab+/+ controls. Indeed, virus-specific CD8(+) T cell numbers were increased in the lymphoid tissue of clinically compromised I-Ab-/- mice, although relatively few of the potential cytotoxic T lymphocyte effectors were recruited back to the site of pathology in the lung. Thus the viral reactivation that occurs in the absence of CD4(+) T cells was not associated with any exhaustion of the virus-specific cytotoxic T lymphocyte response. It seems that CD8(+) T cells alone are insufficient to maintain long-term control of this persistent gamma-herpesvirus.     

An Evaluation of Random Testing

Random testing of programs has usually (but not always) been viewed as a worst case of program testing. Testing strategies that take into account the program structure are generally preferred. Path testing is an often proposed ideal for structural testing. Path testing is treated here as an instance of partition testing, where by partition testing is meant any testing scheme which forces execution of at least one test case from each subset of a partition of the input domain. Simulation results are presented which suggest that random testing may often be more cost effective than partition testing schemes. Also, results of actual random testing experiments are presented which confirm the viability of random testing as a useful validation tool.