Sentence examples for logic constraints from inspiring English sources

Induction of state machines from temporal logic constraints", Proc.

The MINLP model involves logic constraints to allow the conditional designing of the optimal enterprise plant network.

Binary decision variables and logic constraints based on an along-track state are proposed for modeling switches in the framework of Model Predictive Control (MPC) so that overshoots are avoided.

Since the proposed hub location problem is too complex to apply conventional optimization algorithms, we adapt an approximation approach (AA) to discretize fuzzy travel times and reformulate the original problem as a mixed-integer programming problem subject to logic constraints.

To guide the generation of such alternatives according to a given set of design requirements, the designer can express both visual knowledge in the form of basic geometric transformation rules, and also logic constraints that guide the modelling process.

The mapping between incidence matrix and pipeline structure is employed and the model is formulated within a mixed integer nonlinear optimization framework where the objective function is to maximize the profit of CCS while satisfying mass, pressure drop and logic constraints.

We also discuss where modularization, bisimulation, transition systems and combinations of the object, logic, constraint and functional paradigms fit into our hidden agenda.

While type systems have proved effective for enforcing structural constraints in programs and data structures, most architectural modeling frameworks include only weak notions of typing or rely on first order logic constraint languages that have steep learning curves associated with them and that become unwieldy when scaling to large systems.

Constraints in terms of quantities are expressed formally in the Logic Of Constraints, a logic particularly suitable for specifying constraints at the abstract system level, where coordination of executions, not the low level interaction, is of concern.

Logical constraint grammars couple logic programming with consistency maintenance to describe and enforce the static-semantic constraints of a language.

Several temporal reasoning systems, differing in design issues related to ontology of time, underlying temporal logic, temporal constraints used and algorithms employed, have been developed.