Sentence examples for interface verification from inspiring English sources

The goal of this project is to design and implement a smart umbilical with connect and re-connect capability with remote interface verification.

We have implemented AVFs GUI/API interfaces of verification start and test case registration.

Further, through the use of common tools, project systems׳ engineers can quickly and efficiently generate documentation based on the developed model, including interface, requirements, and verification documentation.

The third module is a graphical user interface that permits verification of the results furnished by the previous modules and to interactively change those parts requiring correction, if any.

The direct observation of the microstructures at the solid/liquid interface allows the verification of the validity of two different descriptions of the Bi–In Sn phase diagram proposed earlier, namely a description with eutectic and a second with peritectic reactions involving BiIn2, γ-Sn, β-In and liquid.

Although of relevant importance for both precast and cast in situ RC structures, this problem is still not addressed in current codes and standards, which limit the safety check of casting interfaces to the verification of their strength based on improved expressions of the "shear friction theory", the latter proposed in the 60's.

The ODIN graphical user interface allows for the verification and falsification of annotation results by selecting or deselecting identified concepts.

What we put forward is the utilization of three different neural network based algorithms to verify logins with one novel histogram-based technique in a hidden interface for enrollment, training and verification.

When the combined results do not yield a clear decision for the sex, the sex is marked as unknown and may be determined by the user in the verification graphical user interface (GUI).

For example, while GINsim exports symbolically encoded logical models into SMV files, BIOCHAM integrates NuSMV [ 47] providing an interface for the specification and verification of properties expressed in several temporal logics [ 46].

These may serve as future references for the verification of sharp-interface methods.