Sentence examples for verification of linear from inspiring English sources

This article presents creation and verification of linear regression models intended for prediction of the pipe conveyor belt contact forces on the idler rolls in the hexagonal idler housing.

We present an algorithm for the automated verification of Linear Temporal Logic formulæ on event traces using an increasingly popular cloud computing framework called MapReduce.

To help with the design of correct controllers, we present a methodology that enables the verification of linear-time temporal logic properties of general, non-linear hybrid systems.

This survey provides a perspective on the formal verification technique of linear temporal logic (LTL) symbolic model checking, from its history and evolution leading up to the state-of-the-art.

Here, a particular attention is given to the verification of the linear rheological response of the material.

The focus is on the simulation of joint information for the verification of stochastic linear models, particularly those used in multimodal data fusion of brain imaging data.

A header branch pipe in a typical advanced gas-cooled reactor power plant is analysed as a worked example of the current demonstration and verification of the Linear Matching Method tool within the context of an R5 assessment.

Verification of the linear regression modeling assumptions showed that these were appropriate for the analyzed longitudinal data.

This fact is a verification of non-linear solution (48).

Checklists are suited to verification of procedures for linear processes; whereas briefings are suited to support execution of complex processes that may require appropriate adaptation and variation.

We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels into the controller design.