Sentence examples for using formal analysis and from inspiring English sources

It is clearly shown, using formal analysis and simulations that the designed controller meets all the objectives.

In practice, the information asset is evaluated by the mutual information which affects the system throughput of cooperative wireless communication networks, and the security asset is evaluated in the risk analysis using formal analysis before system deployment.

Metabolic networks can also be transformed into Petri nets [ 42], a second mathematical model, which is used for formal analysis and simulation of biological systems.

Consequently, we have developed a methodology that helps engineers to: (a) identify the type of general ontology to be reused; (b) find out which axioms and definitions should be reused; (c) make a decision, using formal concept analysis, on what general ontology is going to be reused; and (d) adapt and integrate the selected general ontology in the domain ontology to be developed.

The obtained results also illustrate the relevance and feasibility of using formal concept analysis as an efficient technique for source-code mining.

Similarly, a recent study used formal ontological analysis and automated reasoning to investigate the consistency of a database of computational models and identified a large number of incorrectly characterized database entries [ 58].

To improve distillates quality in spite of the changes in the input crude oil composition, this paper details a new design of a control strategy in a conventional crude oil distillation plant defined using formal interaction analysis tools.

Formal Concept Analysis (FCA) is the mathematical theory of data analysis using formal contexts and concept lattices [12 14].

Because of this high heterogeneity, the effect of Paricalcitol on the ΔeGFR using formal meta-analysis technique is not certain.

To test our hypothesis we compare simultaneous measurements of arterial blood pressure in peripheral and central arteries in a heterogeneous population of critically ill patients using formal Bland-Altman analysis [ 14].

We subjected the goalkeeper-model and the lock-key-model to an analysis using formal logic that allows to derive unambiguous properties of the models.