This article is to introduce separable proposition and separable proposition theorem,then to prove theorems in real number field by using separable proposition in a union form.

Some life assessment methods for easily damaged power equipment components are presented,together with methods of statistical analyzing,distribution checking, parameters estimating,and calculating for mean life,reliability as well as the reliable life.

Some design approach of reliability design and life assessment of large capacity power boiler tubes is presented, based on conventional design methods of boiler tubes.

This is the first time in this country that technically applicable creepfatigue interaction life evaluation curves have been elaborated.

In order to satisfy the requirements of durability evaluation of multiple details structure in the process of aircraft structure life evaluation,based on the probability fracture mechanics approach of durability analysis,a method is presented to calculate the structural total crack exceedance.

The paper discusses the significance of aging mechanism for class 1E equipment installed in mild environment of nuclear power plants, and concludes that it is not necessary to establish the qualified life.

Finally,how Fortran DLL is imported in Visual C++,Visual Basic ,Delphi,and how calling convention,naming convention and argument passing consistently reconciled between Fortran and Visual C++,Visual Basic as well as Delphi,are discussed respectively.