Fault tree handbook / / W.E. Vesely [and three others] |
Autore | Vesely W. E. |
Pubbl/distr/stampa | Washington, D.C. : , : Systems and Reliability Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, , 1981 |
Descrizione fisica | 1 online resource (various pagings) : illustrations |
Disciplina | 511.5 |
Soggetto topico |
System analysis
Trees (Graph theory) Reliability (Engineering) |
Soggetto genere / forma | Handbooks and manuals. |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910705801303321 |
Vesely W. E. | ||
Washington, D.C. : , : Systems and Reliability Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, , 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fault trees [[electronic resource] /] / Nikolaos Limnios |
Autore | Limnios N (Nikolaos) |
Pubbl/distr/stampa | London, UK ; ; Newport Beach, CA, : ISTE, c2007 |
Descrizione fisica | 1 online resource (225 p.) |
Disciplina |
620.00452
620/.00452 |
Collana | Control systems, robotics and manufacturing series |
Soggetto topico |
Reliability (Engineering)
Trees (Graph theory) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-84768-9
9786610847686 0-470-61248-7 0-470-39461-7 1-84704-580-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Fault Trees; Table of Contents; Introduction; Chapter 1 Single-Component Systems; 1.1 Distribution of failure and reliability; 1.1.1 Function of distribution and density of failure; 1.1.2 Survival function: reliability; 1.1.3 Hazard rate; 1.1.4 Maintainability; 1.1.5 Mean times; 1.1.6 Mean residual lifetime; 1.1.7 Fundamental relationships; 1.1.8 Some probability distributions; 1.2 Availability of the repairable systems; 1.2.1 Instantaneous availability; 1.2.2 Asymptotic availability; 1.2.3 Mean availability; 1.2.4 Asymptotic mean availability; 1.3 Reliability in discrete time
1.3.1 Discrete distributions1.3.2 Reliability; 1.4 Reliability and maintenance; 1.4.1 Periodic test: repair time is negligible; 1.4.2 Periodic test: repair time is not negligible; 1.4.3 Mean duration of a hidden failure; 1.5 Reliability data; Chapter 2 Multi-Component Systems; 2.1 Structure function; 2.2 Modules and modular decomposition; 2.3 Elementary structure systems; 2.3.1 Series system; 2.3.2 Parallel system; 2.3.3 System k-out-of-n; 2.3.4 Parallel-series system; 2.3.5 Series-parallel system; 2.4 Systems with complex structure; 2.5 Probabilistic study of the systems; 2.5.1 Introduction 2.5.2 Inclusion-exclusion method2.5.3 Disjoint products; 2.5.4 Factorization; 2.5.5 Reliability bounds; Chapter 3 Construction of Fault Trees; 3.1 Basic ideas and definitions; 3.1.1 Graphic symbols; 3.1.2 Use of the operators; 3.2 Formal definition and graphs; 3.3 Stages of construction; 3.3.1 Preliminary analysis; 3.3.2 Specifications; 3.3.3 Construction; 3.4 Example of construction; 3.4.1 Preliminary analysis; 3.4.2 Specifications; 3.4.3 Construction; 3.5 Automatic construction; Chapter 4 Minimal Sets; 4.1 Introduction; 4.2 Methods of study; 4.2.1 Direct methods; 4.2.2 Descending methods 4.2.3 Ascending methods4.3 Reduction; 4.4 Other algorithms for searching the cut sets; 4.5 Inversion of minimal cut sets; 4.6 Complexity of the search for minimal cut sets; Chapter 5 Probabilistic Assessment; 5.1 The problem of assessment; 5.2 Direct methods; 5.2.1 AND operator; 5.2.2 OR operator; 5.2.3 Exclusive OR operator; 5.2.4 k-out-of-n operator; 5.2.5 Priority-AND operator; 5.2.6 IF operator; 5.3 Methods of minimal sets; 5.3.1 Inclusion-exclusion development; 5.3.2 Disjoint products; 5.3.3 Kitt method; 5.4 Method of factorization; 5.5 Direct recursive methods 5.5.1 Recursive inclusion-exclusion method5.5.2 Method of recursive disjoint products; 5.6 Other methods for calculating the fault trees; 5.7 Large fault trees; 5.7.1 Method of Modarres and Dezfuli [MOD 84]; 5.7.2 Method of Hughes [HUG 87]; 5.7.3 Schneeweiss method [SCH 87]; 5.7.4 Brown method [BRO 90]; Chapter 6 Influence Assessment; 6.1 Uncertainty; 6.1.1 Introduction; 6.1.2 Methods for evaluating the uncertainty; 6.1.3 Evaluation of the moments; 6.2 Importance; 6.2.1 Introduction; 6.2.2 Structural importance factors; 6.2.3 Probabilistic importance factors 6.2.4 Importance factors over the uncertainty |
Record Nr. | UNINA-9910143315203321 |
Limnios N (Nikolaos) | ||
London, UK ; ; Newport Beach, CA, : ISTE, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fault trees [[electronic resource] /] / Nikolaos Limnios |
Autore | Limnios N (Nikolaos) |
Pubbl/distr/stampa | London, UK ; ; Newport Beach, CA, : ISTE, c2007 |
Descrizione fisica | 1 online resource (225 p.) |
Disciplina |
620.00452
620/.00452 |
Collana | Control systems, robotics and manufacturing series |
Soggetto topico |
Reliability (Engineering)
Trees (Graph theory) |
ISBN |
1-280-84768-9
9786610847686 0-470-61248-7 0-470-39461-7 1-84704-580-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Fault Trees; Table of Contents; Introduction; Chapter 1 Single-Component Systems; 1.1 Distribution of failure and reliability; 1.1.1 Function of distribution and density of failure; 1.1.2 Survival function: reliability; 1.1.3 Hazard rate; 1.1.4 Maintainability; 1.1.5 Mean times; 1.1.6 Mean residual lifetime; 1.1.7 Fundamental relationships; 1.1.8 Some probability distributions; 1.2 Availability of the repairable systems; 1.2.1 Instantaneous availability; 1.2.2 Asymptotic availability; 1.2.3 Mean availability; 1.2.4 Asymptotic mean availability; 1.3 Reliability in discrete time
1.3.1 Discrete distributions1.3.2 Reliability; 1.4 Reliability and maintenance; 1.4.1 Periodic test: repair time is negligible; 1.4.2 Periodic test: repair time is not negligible; 1.4.3 Mean duration of a hidden failure; 1.5 Reliability data; Chapter 2 Multi-Component Systems; 2.1 Structure function; 2.2 Modules and modular decomposition; 2.3 Elementary structure systems; 2.3.1 Series system; 2.3.2 Parallel system; 2.3.3 System k-out-of-n; 2.3.4 Parallel-series system; 2.3.5 Series-parallel system; 2.4 Systems with complex structure; 2.5 Probabilistic study of the systems; 2.5.1 Introduction 2.5.2 Inclusion-exclusion method2.5.3 Disjoint products; 2.5.4 Factorization; 2.5.5 Reliability bounds; Chapter 3 Construction of Fault Trees; 3.1 Basic ideas and definitions; 3.1.1 Graphic symbols; 3.1.2 Use of the operators; 3.2 Formal definition and graphs; 3.3 Stages of construction; 3.3.1 Preliminary analysis; 3.3.2 Specifications; 3.3.3 Construction; 3.4 Example of construction; 3.4.1 Preliminary analysis; 3.4.2 Specifications; 3.4.3 Construction; 3.5 Automatic construction; Chapter 4 Minimal Sets; 4.1 Introduction; 4.2 Methods of study; 4.2.1 Direct methods; 4.2.2 Descending methods 4.2.3 Ascending methods4.3 Reduction; 4.4 Other algorithms for searching the cut sets; 4.5 Inversion of minimal cut sets; 4.6 Complexity of the search for minimal cut sets; Chapter 5 Probabilistic Assessment; 5.1 The problem of assessment; 5.2 Direct methods; 5.2.1 AND operator; 5.2.2 OR operator; 5.2.3 Exclusive OR operator; 5.2.4 k-out-of-n operator; 5.2.5 Priority-AND operator; 5.2.6 IF operator; 5.3 Methods of minimal sets; 5.3.1 Inclusion-exclusion development; 5.3.2 Disjoint products; 5.3.3 Kitt method; 5.4 Method of factorization; 5.5 Direct recursive methods 5.5.1 Recursive inclusion-exclusion method5.5.2 Method of recursive disjoint products; 5.6 Other methods for calculating the fault trees; 5.7 Large fault trees; 5.7.1 Method of Modarres and Dezfuli [MOD 84]; 5.7.2 Method of Hughes [HUG 87]; 5.7.3 Schneeweiss method [SCH 87]; 5.7.4 Brown method [BRO 90]; Chapter 6 Influence Assessment; 6.1 Uncertainty; 6.1.1 Introduction; 6.1.2 Methods for evaluating the uncertainty; 6.1.3 Evaluation of the moments; 6.2 Importance; 6.2.1 Introduction; 6.2.2 Structural importance factors; 6.2.3 Probabilistic importance factors 6.2.4 Importance factors over the uncertainty |
Record Nr. | UNISA-996216941903316 |
Limnios N (Nikolaos) | ||
London, UK ; ; Newport Beach, CA, : ISTE, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fault trees [[electronic resource] /] / Nikolaos Limnios |
Autore | Limnios N (Nikolaos) |
Pubbl/distr/stampa | London, UK ; ; Newport Beach, CA, : ISTE, c2007 |
Descrizione fisica | 1 online resource (225 p.) |
Disciplina |
620.00452
620/.00452 |
Collana | Control systems, robotics and manufacturing series |
Soggetto topico |
Reliability (Engineering)
Trees (Graph theory) |
ISBN |
1-280-84768-9
9786610847686 0-470-61248-7 0-470-39461-7 1-84704-580-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Fault Trees; Table of Contents; Introduction; Chapter 1 Single-Component Systems; 1.1 Distribution of failure and reliability; 1.1.1 Function of distribution and density of failure; 1.1.2 Survival function: reliability; 1.1.3 Hazard rate; 1.1.4 Maintainability; 1.1.5 Mean times; 1.1.6 Mean residual lifetime; 1.1.7 Fundamental relationships; 1.1.8 Some probability distributions; 1.2 Availability of the repairable systems; 1.2.1 Instantaneous availability; 1.2.2 Asymptotic availability; 1.2.3 Mean availability; 1.2.4 Asymptotic mean availability; 1.3 Reliability in discrete time
1.3.1 Discrete distributions1.3.2 Reliability; 1.4 Reliability and maintenance; 1.4.1 Periodic test: repair time is negligible; 1.4.2 Periodic test: repair time is not negligible; 1.4.3 Mean duration of a hidden failure; 1.5 Reliability data; Chapter 2 Multi-Component Systems; 2.1 Structure function; 2.2 Modules and modular decomposition; 2.3 Elementary structure systems; 2.3.1 Series system; 2.3.2 Parallel system; 2.3.3 System k-out-of-n; 2.3.4 Parallel-series system; 2.3.5 Series-parallel system; 2.4 Systems with complex structure; 2.5 Probabilistic study of the systems; 2.5.1 Introduction 2.5.2 Inclusion-exclusion method2.5.3 Disjoint products; 2.5.4 Factorization; 2.5.5 Reliability bounds; Chapter 3 Construction of Fault Trees; 3.1 Basic ideas and definitions; 3.1.1 Graphic symbols; 3.1.2 Use of the operators; 3.2 Formal definition and graphs; 3.3 Stages of construction; 3.3.1 Preliminary analysis; 3.3.2 Specifications; 3.3.3 Construction; 3.4 Example of construction; 3.4.1 Preliminary analysis; 3.4.2 Specifications; 3.4.3 Construction; 3.5 Automatic construction; Chapter 4 Minimal Sets; 4.1 Introduction; 4.2 Methods of study; 4.2.1 Direct methods; 4.2.2 Descending methods 4.2.3 Ascending methods4.3 Reduction; 4.4 Other algorithms for searching the cut sets; 4.5 Inversion of minimal cut sets; 4.6 Complexity of the search for minimal cut sets; Chapter 5 Probabilistic Assessment; 5.1 The problem of assessment; 5.2 Direct methods; 5.2.1 AND operator; 5.2.2 OR operator; 5.2.3 Exclusive OR operator; 5.2.4 k-out-of-n operator; 5.2.5 Priority-AND operator; 5.2.6 IF operator; 5.3 Methods of minimal sets; 5.3.1 Inclusion-exclusion development; 5.3.2 Disjoint products; 5.3.3 Kitt method; 5.4 Method of factorization; 5.5 Direct recursive methods 5.5.1 Recursive inclusion-exclusion method5.5.2 Method of recursive disjoint products; 5.6 Other methods for calculating the fault trees; 5.7 Large fault trees; 5.7.1 Method of Modarres and Dezfuli [MOD 84]; 5.7.2 Method of Hughes [HUG 87]; 5.7.3 Schneeweiss method [SCH 87]; 5.7.4 Brown method [BRO 90]; Chapter 6 Influence Assessment; 6.1 Uncertainty; 6.1.1 Introduction; 6.1.2 Methods for evaluating the uncertainty; 6.1.3 Evaluation of the moments; 6.2 Importance; 6.2.1 Introduction; 6.2.2 Structural importance factors; 6.2.3 Probabilistic importance factors 6.2.4 Importance factors over the uncertainty |
Record Nr. | UNINA-9910830219303321 |
Limnios N (Nikolaos) | ||
London, UK ; ; Newport Beach, CA, : ISTE, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Galvin's "racing pawns" game and a well-ordering of trees / / S. B. Grantham |
Autore | Grantham S. B (Stephen B.), <1957-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1985 |
Descrizione fisica | 1 online resource (73 p.) |
Disciplina | 512/.7 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Transfinite numbers
Trees (Graph theory) Ordered sets Game theory |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-0729-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""Table of Contents""; ""1. Introduction and Preliminaries""; ""2. Galvin's Original Game, the Restricted Game, and the Relations <[sub(R)] and â?¡[sub(R)] ""; ""3. The Explicit Strategy for Finite Trees and the Definitions of E and F""; ""4. The Explicit Strategy for Infinite Trees and the Characterization of<[sub(R)] and â?¡[sub(R)] in Terms of E and F""; ""5. The Structure of the E and F Sequences""; ""6. The Relationship Between F(x) and Rank(x)""; ""7. The Main Theorem: Order Types Under <[sub(R)]""; ""8. Epilogue: Two Variants of Galvin's Game"" |
Record Nr. | UNINA-9910480196303321 |
Grantham S. B (Stephen B.), <1957-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Galvin's "racing pawns" game and a well-ordering of trees / / S. B. Grantham |
Autore | Grantham S. B (Stephen B.), <1957-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1985 |
Descrizione fisica | 1 online resource (73 p.) |
Disciplina | 512/.7 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Transfinite numbers
Trees (Graph theory) Ordered sets Game theory |
ISBN | 1-4704-0729-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""Table of Contents""; ""1. Introduction and Preliminaries""; ""2. Galvin's Original Game, the Restricted Game, and the Relations <[sub(R)] and â?¡[sub(R)] ""; ""3. The Explicit Strategy for Finite Trees and the Definitions of E and F""; ""4. The Explicit Strategy for Infinite Trees and the Characterization of<[sub(R)] and â?¡[sub(R)] in Terms of E and F""; ""5. The Structure of the E and F Sequences""; ""6. The Relationship Between F(x) and Rank(x)""; ""7. The Main Theorem: Order Types Under <[sub(R)]""; ""8. Epilogue: Two Variants of Galvin's Game"" |
Record Nr. | UNINA-9910788889903321 |
Grantham S. B (Stephen B.), <1957-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Galvin's "racing pawns" game and a well-ordering of trees / / S. B. Grantham |
Autore | Grantham S. B (Stephen B.), <1957-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1985 |
Descrizione fisica | 1 online resource (73 p.) |
Disciplina | 512/.7 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Transfinite numbers
Trees (Graph theory) Ordered sets Game theory |
ISBN | 1-4704-0729-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""Table of Contents""; ""1. Introduction and Preliminaries""; ""2. Galvin's Original Game, the Restricted Game, and the Relations <[sub(R)] and â?¡[sub(R)] ""; ""3. The Explicit Strategy for Finite Trees and the Definitions of E and F""; ""4. The Explicit Strategy for Infinite Trees and the Characterization of<[sub(R)] and â?¡[sub(R)] in Terms of E and F""; ""5. The Structure of the E and F Sequences""; ""6. The Relationship Between F(x) and Rank(x)""; ""7. The Main Theorem: Order Types Under <[sub(R)]""; ""8. Epilogue: Two Variants of Galvin's Game"" |
Record Nr. | UNINA-9910817129003321 |
Grantham S. B (Stephen B.), <1957-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Groups, trees, and projective modules / / W. Dicks |
Autore | Dicks Warren <1947-> |
Edizione | [1st ed. 1980.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1980] |
Descrizione fisica | 1 online resource (XII, 132 p.) |
Disciplina | 512.2 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Projective modules (Algebra)
Group theory Trees (Graph theory) |
ISBN | 3-540-39210-6 |
Classificazione | 16A50 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Groups acting on graphs -- Fundamental groups -- Decompositions -- Cohomological dimension one. |
Record Nr. | UNISA-996466574803316 |
Dicks Warren <1947-> | ||
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1980] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Harmonic analysis for anisotropic random walks on homogeneous trees / / Alessandro Figà-Talamanca, Tim Steger |
Autore | Figà-Talamanca Alessandro <1938-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1994 |
Descrizione fisica | 1 online resource (86 p.) |
Disciplina | 512/.55 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Locally compact groups
Representations of groups Random walks (Mathematics) Trees (Graph theory) |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-0110-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""List of Figures""; ""Index of Notation""; ""Abstract""; ""Chapter 0. Introduction""; ""Chapter 1. The Green Function""; ""1. Random Walks on a Tree""; ""2. The Method of Paths""; ""3. The Nearest Neighbor Case""; ""4. The Case of a Finitely Supported Measure""; ""5. Algebraicity of the Green Function""; ""6. Notes and Remarks""; ""Chapter 2. The Spectrum and the Plancherel Measure""; ""1. The Spectrum of the Random Walk in l[sup(r)]{G)""; ""2. The l[sup(2)]-spectrum and the Real l[sup(1)]-spectrum""; ""3. The Plancherel Formula""; ""4. Notes and Remarks""
""Chapter 3. Representations and their Realization on the Boundary""""1. Boundary Theory for Eigenfunctions of the Random Walk""; ""2. The Principal Series""; ""3. The Complementary Series""; ""4. Notes and Remarks""; ""Chapter 4. Irreducibility and Inequivalence""; ""1. Irreducibility""; ""2. Inequivalence""; ""3. Notes and Remarks""; ""References"" |
Record Nr. | UNINA-9910480574603321 |
Figà-Talamanca Alessandro <1938-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Harmonic analysis for anisotropic random walks on homogeneous trees / / Alessandro Figà-Talamanca, Tim Steger |
Autore | Figà-Talamanca Alessandro <1938-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1994 |
Descrizione fisica | 1 online resource (86 p.) |
Disciplina | 512/.55 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
Locally compact groups
Representations of groups Random walks (Mathematics) Trees (Graph theory) |
ISBN | 1-4704-0110-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Contents""; ""List of Figures""; ""Index of Notation""; ""Abstract""; ""Chapter 0. Introduction""; ""Chapter 1. The Green Function""; ""1. Random Walks on a Tree""; ""2. The Method of Paths""; ""3. The Nearest Neighbor Case""; ""4. The Case of a Finitely Supported Measure""; ""5. Algebraicity of the Green Function""; ""6. Notes and Remarks""; ""Chapter 2. The Spectrum and the Plancherel Measure""; ""1. The Spectrum of the Random Walk in l[sup(r)]{G)""; ""2. The l[sup(2)]-spectrum and the Real l[sup(1)]-spectrum""; ""3. The Plancherel Formula""; ""4. Notes and Remarks""
""Chapter 3. Representations and their Realization on the Boundary""""1. Boundary Theory for Eigenfunctions of the Random Walk""; ""2. The Principal Series""; ""3. The Complementary Series""; ""4. Notes and Remarks""; ""Chapter 4. Irreducibility and Inequivalence""; ""1. Irreducibility""; ""2. Inequivalence""; ""3. Notes and Remarks""; ""References"" |
Record Nr. | UNINA-9910788755003321 |
Figà-Talamanca Alessandro <1938-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|