45,311 research outputs found

    Transparent polymeric laminates

    Get PDF
    Laminate prepared from epoxy-boroxine and phenolphthalein polycarbonate has high mechanical strength at elevated temperature and is resistant to impact, fire, and high-energy thermal radiation. Polycarbonate is prepared by reaction of phenolphthalein with phosgene in presence of amine catalyst and immiscible organic solvent phase

    Evaluating the reliability of NAND multiplexing with PRISM

    Get PDF
    Probabilistic-model checking is a formal verification technique for analyzing the reliability and performance of systems exhibiting stochastic behavior. In this paper, we demonstrate the applicability of this approach and, in particular, the probabilistic-model-checking tool PRISM to the evaluation of reliability and redundancy of defect-tolerant systems in the field of computer-aided design. We illustrate the technique with an example due to von Neumann, namely NAND multiplexing. We show how, having constructed a model of a defect-tolerant system incorporating probabilistic assumptions about its defects, it is straightforward to compute a range of reliability measures and investigate how they are affected by slight variations in the behavior of the system. This allows a designer to evaluate, for example, the tradeoff between redundancy and reliability in the design. We also highlight errors in analytically computed reliability bounds, recently published for the same case study

    Intumescent Coatings as Fire Retardants

    Get PDF
    Fire-retardant paint, when activated by the heat of fire, reacts to form a thick, low-density, polymeric coating or char layer. Water vapor and sulphur dioxide are released during the intumescent reaction
    corecore