Sentence examples similar to specifications satisfied from inspiring English sources

It uses these tools to prove theorems about equational specifications with initial algebra semantics and to check whether such specifications satisfy the Church-Rosser property.

The current draft of the TMA Data Exchange specification satisfies user requests for maximum flexibility.

The design predictions are consistent with the performance test results, and all technical safety specifications are satisfied.

These schemes can provide optimal PID parameters so that the desired system specifications are satisfied even in case where the system dynamics are time variant or the system operating points change.

A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller (LC).

For many structures, including ultrawideband or dielectric resonator antennas, EM-simulation-driven optimization is the only way to adjust the geometry parameters so that given performance specifications are satisfied.

The resulting SFC can be translated algorithmically into timed automata, composed with an appropriate plant model, and then rigorous verification can be used in order to analyze whether all specifications are satisfied.

The ATSC formed a subcommittee, the Digital Television Applications Software Environment (DASE) group, to produce a standard specification that satisfied the concerns of equipment manufacturers and content producers alike.

If the proposed specifications differ from those recommended by the MAFMC, the reasons for any differences must be clearly stated and the revised specifications must satisfy the criteria set forth in this section.

A plant and a set of specifications to be satisfied are given.

The specifications were successfully satisfied using a resonant intertial actuator concept based on a nonlinear mechanism for amplifying the seismic mass displacement.