Sentence examples for formal transformation from inspiring English sources
That is why, in parallel to the development of an elaborate and formal transformation, based on the framework presented here and comprising the description of transformation rules, the early application on small case studies figures in the work agenda.
In order to solve the transformation problem of Bill of Materials (BOM) from engineering BOM to maintenance BOM for Maintenance, Repair and Overhaul (MRO) systems, a formal transformation model of BOM view is proposed.
A formal transformation process is crucial to a successful enterprise-wide transformation.
He and a team of collaborators created an "immersive interactive environment that was created from robotic actuation, formal transformation and real time projection mapping controlled by a sensory input device".
When the same formal transformation was performed on the epimeric (R) diastereomer and desmethyl examples, no correspondingly large potency improvements were observed (29, GI50 = 36 nM; and 31, GI50 = 55 nM).
Second, we provide a collection of formal transformations on the input description in order to overcome the "non-intended" design decisions (related to implicit hardware reuse) taken by the designer when writing the system description.
In this paper, I discuss a method for analyzing specialization into a series of conditional optimizations: formal transformations which, given some constraint on the environment, map mechanisms to more efficient mechanisms with equivalent behavior.
The learner is modeled by two formal concepts, transformation system and stability optimization.
Then the innovative solution to conflict problem for low-carbon design based on the TRIZ principle reasoning and formal extension transformation reasoning.
The contribution of this methodology is to extend the formal model transformation framework toward building energy system modeling, thus enabling efficient and flexible system synthesis through model decomposition and recomposition.
(vi) Formal models, transformations, and architectures for reliable embedded system design.
