Intumescent paints Patent

Nitroaniline sulfate, intumescent paint

Transparent polymeric laminates

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

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

PRISM: a tool for automatic verification of probabilistic systems

Probabilistic model checking is an automatic formal verification technique for analysing quantitative properties of systems which exhibit stochastic behaviour. PRISM is a probabilistic model checking tool which has already been successfully deployed in a wide range of application domains, from real-time communication protocols to biological signalling pathways. The tool has recently undergone a significant amount of development. Major additions include facilities to manually explore models, Monte-Carlo discrete-event simulation techniques for approximate model analysis (including support for distributed simulation) and the ability to compute cost- and reward-based measures, e.g. "the expected energy consumption of the system before the first failure occurs". This paper presents an overview of all the main features of PRISM. More information can be found on the website: www.cs.bham.ac.uk/~dxp/prism

Maleimido substituted aromatic cyclotriphosphazenes

4-Aminophenoxy cyclotriphosphazenes are reacted with maleic anhydride to produce maleamic acids which are converted to the maleimides. The maleimides are polymerized. By selection of starting materials (e.g., hexakis amino or trisaminophenoxy-trisphenoxy-cyclo-triphosphazenes), selection of molar proportions of reactants, use of mixtures of anhydrides and use of dianhydrides as bridging groups a variety of maleimides and polymers are produced. The polymers have high limiting oxygen indices, high char yields and other useful heat and fire resistant properties making them useful as, for example, impregnants of fabrics

Laminate comprising fibers embedded in cured amine terminated bis-imide

Amine terminated bisaspartimides are prepared by a Michael type reaction of an aromatic bismaleimide and an aromatic diamine in an aprotic solvent. These bisaspartimides are thermally polymerized to yield tough, resinous polymers crosslinked through -NH- groups. Such polymers are useful in applications requiring materials with resistance to change at elevated temperatures

Assume-guarantee verification for probabilistic systems

We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the guarantees that they provide are regular safety properties, represented by finite automata. Unlike previous proposals for assume-guarantee reasoning about probabilistic systems, our approach does not require that components interact in a fully synchronous fashion. In addition, the compositional verification method is efficient and fully automated, based on a reduction to the problem of multi-objective probabilistic model checking. We present asymmetric and circular assume-guarantee rules, and show how they can be adapted to form quantitative queries, yielding lower and upper bounds on the actual probabilities that a property is satisfied. Our techniques have been implemented and applied to several large case studies, including instances where conventional probabilistic verification is infeasible