The drawbar power verification (200 kW) was successfully carried.
Design, power, verification from an outside party, financing.
Under heat shock stress, Gasch et al. not only determined the response of the WT strain, but also of the yap1 mutant strain [ 19], which facilitates the predictive power verification of the proposed method.
SEDT incorporates system budgets, mass, and power as verification parameters, along with characteristic trend equations (CTEs).
Furthermore, the methodologies are classified and compared based on their expressive power, their verification power, their level of abstraction, and their span in relation to the formal model's development life cycle.
Auletta, R. De Prisco, P. Penna, P. Persiano, The power of verification for one-parameter agents, in: Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP, in: LNCS, vol. 3142, 2004, pp. 171 182].
This increases usability of formal methods, and may also improve their verification power through a richer involvement of the user.
This plant specific advanced ABWR engineering simulator has been successfully applied on: (1) licensing blowdown analysis of feed water line break (FWLB) for containment design; (2) phenomena investigation of low-pressure ECC injection bypass during FWLB; (3) analysis of FW pump performance during power ascending; (4) verification of plant vendor's pre-test calculations of each start-up test.
Through such an approach, we have been able to integrate the powerful graphical formalism of Statecharts, which is very appealing to engineers, and the power of the formal verification environment of Esterel.
The Coulombic efficiency and power density in the verification experiments, 70.9% and 1156 mW/m3, are close to those calculated by the modeling approach.
The model has been developed in the design phase of a power plant and its verification based on real measured data was performed using the measured data from another power plant with similar boiler design.
