Multivalued Logic in the Representation of Engineering Systems
The paper deals with the construction process of a reliability-oriented system representation made in terms of a multivalued logical tree (MVLT) which computes logical statements. The propositional variables of these logical statements assume values related with the behaviours of the system, and of its subsystems and components. When fed by a set of values for input variables, the MVLT gives the instantaneous value of the proposition it represents. A formal procedure of system decomposition and recomposition can be designed for the automatic construction of the MVLT. Foundations of this procedure are provided and solutions discussed for two cases. Merits of MVLT seem to lay on a better control of information to retain in the representation of the system, high degree of compactness, evidence given to the correspondence between logical structures and physical behaviours.
KeywordsInput Function Logical Operator Logical Tree Propositional Variable Approximate Representation
Unable to display preview. Download preview PDF.
- L. Padulo and M.A. Arbib, “System theory. A unified state-space approach to continuous and discrete systems”, W.B. Saunders, Philadelphia, Pa. (1974).Google Scholar
- S. Garribba, P. Mussio, F. Naldi and G. Volta, “System reliability and multiple-valued logic”, CESNEF - IN 012, Politecnico di Milano, Milano, Italy (Feb. 1978).Google Scholar
- S. Contini, S. Fumagalli, P. Mussio, F. Naldi, S. Garribba and G. Volta, “Multiple-valued logic in modelling of nuclear safety systems and automated search for fault states”, Paper XIII-2 in vol. 3 of “Proc. of the Topical Meeting on Probabilistic Analysis of Nuclear Reactor Safety”, ANS, La Grange Park, I II. (May 1978).Google Scholar
- J.R. Taylor, “A semi-automatic method for qualitative failure mode analysis”, Risoe M-1707, Research Establishment Risoe, Roskilde, Denmark (Aug. 1974).Google Scholar
- S.L. Salem, G.E. Apostolakis and D. Okrent, “A computer-oriented approach to fault-tree construction”, EPRI-NP-288, Electric Power Research Institute, Palo Alto, Calif. (1976).Google Scholar
- K.A. Solomon, D. Okrent and W.E. Kastenberg, “A prediction of the reliability of the cooling system for a high pressure gas-cooled reactor”, UCLA-ENG-7495, Univ. of California, Los Angeles, Calif. (Jan. 1975).Google Scholar
- L. Caldarola, “Fault-tree analysis with multistate components”, Paper VI11-1, in Vol. 3 of “Proc. of the Topical Meeting on Probabilistic Analysis of Nuclear Reactor Safety”, ANS, La Grange Park, III.(May 1978 ).Google Scholar