๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the Quantitative Analysis of Priority-AND Failure Logic

โœ Scribed by Fussell, J.B.; Aber, E.F.; Rahl, R.G.

Book ID
117933591
Publisher
IEEE
Year
1976
Tongue
English
Weight
466 KB
Volume
R-25
Category
Article
ISSN
0018-9529

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The Logic of Failure [and Discussion]
The Logic of Failure [and Discussion]
โœ Dorner, D.; Nixon, P.; Rosen, S. D. ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› The Royal Society ๐ŸŒ English โš– 1012 KB
Fuzzy logic prioritization of failures i
Fuzzy logic prioritization of failures in a system failure mode, effects and criticality analysis
โœ John B. Bowles; C.Enrique Pelรกez ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 842 KB

This paper describes a new technique, based on fuzzy logic, for prioritizing failures for corrective actions in a Failure Mode, Effects and Criticality Analysis (FMECA). As in a traditional criticality analysis, the assessment is based on the severity, frequency of occurrence, and detectability of a

On the logical analysis of inquiry
On the logical analysis of inquiry
โœ J. W. George Ivany ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 380 KB
On the expressivity and complexity of qu
On the expressivity and complexity of quantitative branching-time temporal logics
โœ F. Laroussinie; Ph. Schnoebelen; M. Turuani ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 347 KB

We investigate extensions of CTL allowing to express quantitative requirements about an abstract notion of time in a simple discrete-time framework, and study the expressive power of several relevant logics. When only subscripted modalities are used, polynomial-time model checking is possible even