Sentence examples for verification and design from inspiring English sources

The application of typical verification and design models for concrete structures is a logical and in most cases also a comfort solution.

The feedback loop design involves a circular process consisting of the design, design verification, and design modification using an optimization design algorithm and multidisciplinary analysis tools.

In systems theory, a similar notion is also of interest in order to develop modular verification and design tools for purely continuous or hybrid control systems.

Simulation verification and design optimisation by varying the three major components (humidifier, condenser and collector surface areas) of the unit is perhaps a critical step in the commercialization of a solar desalination process based on the humidification dehumidification principle.

Examples and applications are also discussed: to software verification and design (the set of agents can also be seen as a set of actions), and to dynamic epistemic logic.

Moreover, design optimization at higher levels of abstraction provides a convenient way to deal with design complexity, facilitates design verification, and increases design reuse through intellectual property (IP) cores.

FPGA prototyping allows rapid system verification and optimum design parameters estimation.

Symbolic models have been recently used as a sound mathematical formalism for the formal verification and control design of purely continuous and hybrid systems.

Since 2001 EADS Astrium GmbH has implemented a model-based system simulation infrastructure for support of spacecraft development, onboard software verification and spacecraft design validation.

A digital plant, namely engineering simulator, can be applied for: (1) verification of system design and system integration, (2) power test simulation, (3) plant transient and accident analyses, (4) plant abnormal and emergency procedure development and verification, (5) design change verification and analysis, etc.

Moreover, this approach does not allow the possibility of automated design verification and validation against the design requirements and specifications.