It generates the proofs of pointer safety at the assembly level full-automatically, and solves the problem of the non-uniform alias analysis in commonly used data structures.

Then an approach was put forward to evaluate the potential risk of thermal runaway in exothermic reaction system by use of system safety index, and the equilibrium region o.

Starting from the securement problems in human realistic decision making, the concepts of the safety matrix, the safety index and the risk matrix are put forward in this paper.

This paper introduces comprehensive index calculation method of accident index,safety management index and safety index from several item indexes which are used to judge the enterprises\' safety condition.

There is a certain relation between safety cost and the main safety indexes.

Analytical results verify safety index and judging criterion feasible and show advantages of analyz.

The structural safety of reinforced concrete structures during construction is studied based on the understanding of the load distribution,the load effects,the resistance,and the calculation of safety index.