Sentence examples for transformation rule is from inspiring English sources

Finally, an axiom or transformation rule is independent (in a given axiomatic system) if it cannot be derived from the remainder of the axiomatic basis (or which comes to the same thing if its omission from the basis would make the derivation of certain theorems impossible).

For each point of the formal definition of Petri Net structure, an associated transformation rule is then given.

A transformation rule was set up to take advantage of these two bases scenarios.

The semantics of transformation rules is defined based on graph transformation theory.

The syntax for transformation rules is close to the modeling language that designers use to build the input models.

It can, moreover, be shown that PM is consistent and strongly complete and that each of its axioms and transformation rules is independent.

Furthermore, the application of transformation rules is formalised as a pushout construction and the final target model is obtained by a pullback construction.

Some martensitic transformation rules were summarized.

A set of transformation rules were applied to generate their corresponding matched molecular pairs (MMPs) that bear hydrogen(s) in place of the interacting fluorine(s).

The transformation rules are then introduced and applied to convert the detailed design model of PIM into the implementation model of PSM by using open-source platforms in order to quickly simulate and realize AUV controllers.

Transformation rules are given that take the concentration or current expressions for the simple irreversible electron-transfer reaction R → P + e− and convert them to the corresponding quantities for the quasireversible reaction.