Sentence examples for formal analysis methods from inspiring English sources

Recent CPS projects such as CYPRESS [13] and fractionated CPS (http://ncps.csl.sri.com/) explore an "observe-analyze-adapt" architecture, i.e., a reflective approach, in which a CPS has a model of itself, its objectives, and its effects on the environment; the CPS achieves dependability objectives through adaptation using runtime application of formal analysis methods.

Molecular interaction networks represented as PNs can be analyzed using a variety of simulation and formal analysis methods developed in the PN field (Rohr et al., 2010).

The second principle is that formal analysis methods and tools should be used to verify that the proposed artifacts follow desirable "well-behavedness" properties.

This paper contributes toward the establishment of a formal analysis method of control system equations solved through fixed-point iterations.

The study demonstrates how SC measures, formal analysis, and qualitative methods can be combined and the article ends with an outline of how future studies might adopt parts of the research design to further integrate applied audience research, audience research in media psychology, and cognitive film theory.

These filtered annotated data are then interpreted by either collapsing the data into the desired functional units, often genes, or performing formal statistical association analysis methods [ 19].

Formal analysis of the method and numerical tests are presented.

When he turns to a formal analysis of expository method and theory, Vasubandhu defends this broad, rationalist approach to scripture.

A first meta-analysis combined 3 GWAS with a total of over 10,000 samples; this was followed by a second stage of replication of the most interesting signals in over 22,000 independent samples and a subsequent third stage of replication on over 57,000 samples, with data being combined by means of formal meta-analysis methods (46).

All three methods, the formal analysis and inferences, as well as methods of dual distinctions and intuition, are necessary compounds for any philosophical activity (Zhang 2000: 75).

To properly account for the inherent system variability and to obtain statistically significant results, formal experimental design and analysis methods were employed in this study.