Bounds to optimal burn‐in and optimal work size

Burn‐in is a widely used method to improve the quality of products or systems after they have been produced. In this paper, we consider the problem of determining the optimal burn‐in time and optimal work size maximizing the long‐run average amount of work saved per time unit in the computer applications. Assuming that the underlying lifetime distribution of the computer has an initially decreasing or/and eventually increasing failure rate function, an upper bound for the optimal burn‐in time is derived for each fixed work size and a uniform (with respect to the burn‐in time) upper bound for the optimal work size is also obtained. Furthermore, it is shown that a non‐trivial lower bound for the optimal burn‐in time can be derived if the underlying lifetime distribution has a large initial failure rate. Copyright © 2005 John Wiley & Sons, Ltd.     

Exact Max-SAT solvers for over-constrained problems

We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT, Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities. Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal.     

Representing the mean residual life in terms of the failure rate

In survival or reliability studies, the mean residual life or life expectancy is an important characteristic of the model. Whereas the failure rate can be expressed quite simply in terms of the mean residual life and its derivative, the inverse problem—namely that of expressing the mean residual life in terms of the failure rate—typically involves an integral of a complicated expression. In this paper, we obtain simple expressions for the mean residual life in terms of the failure rate for certain classes of distributions which subsume many of the standard cases. Several results in the literature can be obtained using our approach. Additionally, we develop an expansion for the mean residual life in terms of Gaussian probability functions for a broad class of ultimately increasing failure rate distributions. Some examples are provided to illustrate the procedure.     

Micromechanisms and Mechanics of Damage and Fracture in Thin Film/Substrate Systems

The purpose of this paper is to review the mechanisms and available theoretical methods for modeling the strength and failure of thin film/substrate systems     

集合环

本文用集环来表现模糊集，得到了表现定理的新形式，并证明了这种表现可以有限化，即用有限个经典集近似刻划模糊集并且这样的刻划是同态的。最后，证明了集对方法是集环表现的特殊情形。     

Mechanical endurance of polymer electrolyte membrane and PEM fuel cell durability

The life of proton exchange membrane fuel cells (PEMFC) is currently limited by the mechanical endurance of polymer electrolyte membranes and membrane electrode assemblies (MEAs). In this paper, the authors report recent experimental and modeling work toward understanding the mechanisms of delayed mechanical failures of polymer electrolyte membranes and MEAs under relevant PEMFC operating conditions. Mechanical breach of membranes/MEAs in the form of pinholes and tears has been frequently observed after long‐term or accelerated testing of PEMFC cells/stacks. Catastrophic failure of cell/stack due to rapid gas crossover shortly follows the mechanical breach. Ex situ mechanical characterizations were performed on MEAs after being subjected to the accelerated chemical aging and relative humidity (RH) cycling tests. The results showed significant reduction of MEA ductility manifested as drastically reduced strain‐to‐failure of the chemically aged and RH‐cycled MEAs. Postmortem analysis revealed the formation and growth of mechanical defects such as cracks and crazing in the membranes and MEAs. A finite element model was used to estimate stress/strain states of an edge‐constrained MEA under rapid RH variations. Damage metrics for accelerated testing and life prediction of PEMFCs are discussed. © 2006 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 44: 2346–2357, 2006     

Formation and magnetic properties of Co–Fe-based bulk metallic glasses with supercooled liquid region

A new Co–Fe-based ferromagnetic bulk metallic glass (BMG) was synthesized by copper mould casting method. The thermal stability and crystallization processes were investigated by differential scanning calorimetry (DSC) and X-ray diffraction (XRD). The soft magnetic behavior was studied by DC magnetic measurements. The high glass formation ability was interpreted in terms of the effective suppression of nucleation and growth of the intermetallic compounds which appear in the multicomponent system during solidification. The high thermal stability indicates that the new Co–Fe-based BMG could be used as high-temperature magnetic material. The low coercivity which was as low as 8 A/m for the as-cast sample was found in the Co–Fe-based metallic glass cylinder with a diameter of 1.5 mm.     

Parallel mixing of photolithographically defined nanoliter volumes using elastomeric microvalve arrays

Portable microfluidic systems provide simple and effective solutions for low-cost point-of-care diagnostics and high-throughput biomedical assays. Robust flow control and precise fluidic volumes are two critical requirements for these applications. We have developed a monolithic polydimethylsiloxane (PDMS) microdevice that allows for storing and mixing subnanoliter volumes of aqueous solutions at various mixing ratios. Filling and mixing is controlled via two integrated PDMS microvalve arrays. The volumes of the microchambers are entirely defined by photolithography, hence volumes from picoliter to nanoliter can be fabricated with high precision. Because the microvalves do not require an energy input to stay closed, fluid can be stored in a highly portable fashion for several days. We have confirmed the mixing precision and predictability using fluorescence microscopy. We also demonstrate the application of the device for calibrating fluorescent calcium indicators. Due to the biocompatibility of PDMS, the device will have broad applications in miniaturized diagnostic assays as well as basic biological studies.     

鹿角短指软珊瑚Sinularia Cervicornis Tix-Dur 中的一个新糖甙-Cervicoside

珊瑚属腔肠动物门 ( Clelenterata) ,海鸡冠目 ( Alcyonacea) ,是一种热带与亚热带海洋中广泛分布Scheme 1　 Structure of cervicoside(1 )的低等海洋生物 .软珊瑚的次生代谢物中含有萜类和甾体类等各类生理活性物质[1～ 5] .我们在对鹿角短指软珊瑚的次生代谢产物研究中 ,分离到一个新三糖甙 ,命名为 Cervicoside( 1 ) ,结构见 Scheme 1 .该化合物具有较强的体外抗癌活性 .1　实验部分1 .1　样品　鹿角短指软珊瑚采自海南岛三亚海域 .样品储藏于中山大学化学与化学工程学院天然有机化学研究室 ,编号为 98- SY- 3.种属由中国科学院南海…     

Exponential distributions on semigroups

Three fundamental characterizations of the standard exponential distribution on [0, ) are the remaining life, memoryless and constant failure properties. Analogs of these properties are studied for distributions on a class of semigroups in which the semigroup operation replaces addition, a compatible partial order replaces the ordinary order, and a left-invariant measure replaces Lebesgue measure. Partial characterizations of exponential distributions on such semigroups are obtained and the semigroup formulation provides new characterizations of certain aging properties studied in reliability-increasing failure rate, new better than used, and increasing failure rate average.