Sentence examples for been applied to verification from inspiring English sources

Although they have been applied to verifying the efficacy of instrument sterilizers such as autoclaves (steam), H2O2, O3 + H2O, etc, they have not yet been applied to verification of other disinfection processes such as Ultraviolet light (UVC).

The resulting controlled automaton is correct in the sense that the formal technique of DCS has been applied to guarantee, in a form of verification, that it can have only behaviours that satisfy the property to be enforced.

After kinematic verification, the model has been applied to the study of disc degeneration obtaining the difference of mobility between healthy and pathologic conditions.

These models can also be applied to speaker verification systems in each of the shouted and emotional talking environments and to multilanguage speaker identification systems.

In addition, unsolvability can be established and the program can be applied to the verification of symbolic rules describing the geometry.

This paper proposes a formal verification methodology based on model checking that can be applied to host security verification for grid systems.

The general procedures of multi-scale model updating and verification were finally proposed for nonlinear physical-based modeling of large civil infrastructure, and it was applied to the model verification of a long-span bridge as an actual engineering practice of the proposed procedures.

Therefore, it should be better to develop safety verification-oriented tool or programming language based on EVALPSN/bf-EVALPSN if EVALPSN/bf-EVALPSN can be applied to formal safety verification.

This method is applied to a simple verification case and the result is acceptable.

We introduce how the bf-EVALPSN-based reasoning system can be applied to the safety verification for process order.

With detailed description, the method of RBD presented can be applied to the quantitative SIL verification, showing a similarity of the method in IEC 61508-6.