Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates
|
|
- Stephany Taylor
- 6 years ago
- Views:
Transcription
1 Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Nicolas Vayatis To cite this ersion: Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Nicolas Vayatis. Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates. Ben J.M. Ale, Ioannis A. Papazoglou, Enrico Zio. European Safety and Reliability Conference (ESREL 21, Sep 21, Rhodes, Greece. Taylor & Francis, pp , 21. HAL Id: hal Submitted on 13 Sep 21 HAL is a multi-disciplinary open access archie for the deposit and dissemination of scientific research documents, hether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or priate research centers. L archie ouerte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de nieau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou priés.
2 Analytical Calculation of Failure Probabilities in Dynamic Fault Trees including Spare Gates Guillaume Merle, Jean-Marc Roussel, and Jean-Jacques Lesage LURPA, ENS de Cachan, Cachan, France Nicolas Vayatis CMLA, ENS de Cachan, Cachan, France This paper focuses on one of the dynamic gates hich are used in Dynamic Fault Trees (DFT: the Spare gate. We proide an algebraic model hich allos to determine the structure function of DFTs ith Spare gates from hich qualitatie analysis can be performed directly. We also proide a probabilistic model alloing to determine the failure probability of Spare gates ithout any restriction on the failure distribution for basic eents. 1 INTRODUCTION Fault Tree Analysis (FTA is one of the oldest, most diffused techniques in industrial applications, for the dependability analysis of large safety-critical systems (Henley and Kumamoto 1981; Leeson 1995; Stamatelatos and Vesely 22. When the interactions beteen eents can be described by means of boolean OR/AND gates only, so that only the combination of eents is releant, and not their sequence, Fault Trees are called Static Fault Tree (SFT. Dugan et al. (Dugan, Bauso, and Boyd 199; Dugan, Sullian, and Coppit 2 proposed a ne model alloing to include arious kinds of temporal and statistical dependencies in the SFT model, hich is the Dynamic Fault Tree (DFT. The DFT is based on the definition of ne gates: Priority-AND (PAND, Functional Dependency (FDEP, Warm Spare (WSP, and Sequence Enforcing (SEQ. The first dynamic gate, gate Priority-AND, as introduced in 1976 (Fussel, Aber, and Rahl 1976 to model sequences of failures. Then, gate FDEP as introduced in 199 (Dugan, Bauso, and Boyd 199 to model common cause failures, and the Spare gate as finally introduced in 22 (Coppit and Sullian 22 to model redundancies. Een though such dynamic gates allo to model failure scenarios that SFTs cannot handle, the analytical techniques commonly used to analyze SFTs cannot be used to analyze DFTs, and other types of techniques, mainly based on state models, must be used. As stated in (Merle, Roussel, Lesage, and Bobbio 21, gates PAND and FDEP hae sequential or preemption-based behaiors and can easily be modeled by means of discrete mathematics. Hoeer, the Spare gate is more complex since statistically dependent on the failure order of eents and its probability of occurrence is not completely defined by an order relation. Many compositional techniques hae been enisaged to analyze DFTs ith Spare gates, either in terms of Stochastic Petri Nets (Bobbio and Raiteri 24; Raiteri 25, or in terms of Input/Output Interactie Marko Chains (Boudali, Crouzen, and Stoelinga 27. In (Dutuit and Rauzy 1996, the quantitatie analysis of the DFT consists in exploding minimal subtrees containing dynamic gates into their state-space representation, and computing numerically the related occurrence probability by means of a Continuous Time Marko Chain (Dugan, Bauso, and Boyd 1992; Gulati and Dugan 1997, thus assuming exponential time-to-failure distributions. Another approach, based on Temporal Bayesian Netorks, is introduced in (Boudali and Dugan 25 and allos to include any probability distribution. In (Amari, Dill, and Hoals 23, closed form expressions are determined as a function of the generic probability distributions of the basic eents, and a numerical integration is proposed to sole them. In any case, the solution of a DFT forces a quantitatie analysis. A common obstacle in any quantitatie technique is the lack of accurate, reliable data on the failure distribution of the components. To oercome this ell-knon defi- 1
3 ciency, the qualitatie analysis is often the only aluable information on the system dependability. Neertheless, the qualitatie analysis of DFTs has neer been fully considered in the literature, and the concept of minimal cut set needs to be reisited to account for the possible order of the failure eents. The authors of (Tang and Dugan 24 propose to decompose the qualitatie analysis into a logical (Boolean part, and into a timing part. Dynamic gates are replaced ith the static gates hich correspond to their logical constraints, the minimal cut sets of the resulting SFT are then generated, and each minimal cut set is expanded to minimal cut sequences by considering timing constraints. Hoeer, the procedure is not completely deeloped. In preious papers, e presented an algebraic frameork alloing to determine the structure function of DFTs ith PAND gates (Merle and Roussel 27 and FDEP gates (Merle, Roussel, Lesage, and Bobbio 29; Merle, Roussel, Lesage, and Bobbio 21. We also detailed ho to perform the quantitatie analysis of such DFTs from their structure function. In this paper, e recall the basics of this algebraic frameork and e extend the preious results to the case of Spare gates. The algebraic frameork that e introduce to model Spare gates is presented in Section 2. The algebraic model of Spare gates is introduced in Section 3, and the probabilistic model hich can be deduced from it is gien in Section 4. Finally, a DFT example allos to highlight the usefulness of both models for the qualitatie and quantitatie analysis in Section 5. 2 BASICS AND NOTATIONS OF THE ALGE- BRAIC FRAMEWORK This algebraic frameork as described in (Merle, Roussel, Lesage, and Bobbio 21 and has been proposed to render the order of occurrence of eents hich is necessary for the modeling of dynamic gates. It ill not be detailed here, and only the basics and notations needed to understand the remainder of this paper ill be explained. To take into account the temporal aspect of eents, e consider the top eent, the intermediate eents, and the basic eents as temporal functions hich are defined on the set of positie times and take Boolean alues. As e consider nonrepairable eents only, a generic timing diagram of an eent a is gien in Fig. 1, here d(a is the unique date of occurrence of a. The neer-occurring eent is denoted by. a 1 d(a Figure 1: A non-repairable eent. t This algebraic frameork does not need to explicitly take time into account, since e only need to kno the order in hich eents occur to model dynamic gates. We then defined three temporal operators to model dynamic gates, hich are operators non-inclusie BEFORE (noted, SIMULTA- NEOUS (noted, and Inclusie BEFORE (noted. Thus, for instance, the algebraic model of the PAND gate in Fig. 2 becomes Q = (A B (A B, hich expresses that the output Q of the gate fails if A and B fail and if A fails before or at the same time as B. Figure 2: A PAND gate As the non-inclusie BEFORE operator is sufficient to model Spare gates, it is the only temporal operator that ill be retained in the remainder of this paper. Furthermore, e hae demonstrated that this algebraic frameork allos to determine the structure function of SFTs as it is commonly done by using the classical Boolean algebra of Boolean ariables. Besides, the definition of the three temporal operators allos to determine the structure function of any DFT ith gates PAND, and FDEP, and some theorems hich ere proided allos to reduce this structure function to the canonical form in (1, here T E is the Top Eent of the DFT and the eents b i are the basic eents of the DFT. T E = ( bi (b j b k, j / {i, k}. (1 3 ALGEBRAIC MODEL OF THE SPARE GATE To factors impact the difficulty to model the Spare gate: the number of input eents of the Spare gate, and the possibility for many Spare gate to share one or many spare eents. This section presents the algebraic model of the Spare gate in an increasing order of complexity. The algebraic model of a single Spare gate ith 2 to n input eents is presented in Sections 3.1 to 3.3. The particular case of 2 Spare gates ith 2 input eents sharing a spare eent is presented in Section 3.4, and e sho ho to generalize it to n Spare gates ith 2 input eents sharing a spare eent in Section 3.5. Besides, e consider that there is only one type of Spare gate, hich is the Warm Spare gate, and that 2
4 Cold and Hot Spare gates (Stamatelatos and Vesely 22 are particular cases of Warm Spare gates. Both of them are studied in Section Algebraic model of a single Spare gate ith 2 input eents Let us consider a Spare gate ith 2 input eents the primary eent A and one spare eent B as shon in Fig. 3. As stated in (Stamatelatos and Vesely 22, Figure 3: A single Spare gate ith one primary eent A and one spare eent B the output Q of the gate occurs hen the primary and all spares hae failed, so hen A and B hae failed, in this case. A and B are basic eents and cannot fail simultaneously (noted A B = so Q ill occur if A and B fail according to sequences [A, B] or [B, A]. It is important to note that in sequence [A, B], B fails hile in its actie mode (denoted as B a, hereas in sequence [B, A], B fails hile in its dormant mode (denoted as B d. It is essential to distinguish both failure modes by using to different ariables, for quantitatie analysis purposes. Indeed, B does not hae the same failure distribution hen it fails during its dormant mode (B B d or during its actie mode (B B a. As e aim at making possible the quantitatie analysis of DFTs from their structure function, this structure function must hence proide sufficient information to kno hether spare eents are in their dormant or actie mode. The algebraic behaior of gate Spare can hence be expressed as Q = B a (A B a A (B d A. hich expresses that the output Q of the gate fails if A fails before B B a (A B a, B hence being in its actie mode B a or if B fails before A A (B d A, B hence being in its dormant mode B d. Furthermore, as B cannot be both in an actie state and in a dormant state, e hae B d B a =. 3.2 Algebraic model of a single Spare gate ith 3 input eents Let us consider a Spare gate ith 3 input eents the primary eent A and to spare eents B and C as shon in Fig. 4. Figure 4: A single Spare gate ith one primary eent A and to spare eents B and C As stated in (Stamatelatos and Vesely 22, the output Q of the gate occurs hen the primary and all spares hae failed, so hen A, B, and C hae failed. A, B, and C are basic eents and cannot fail simultaneously so Q ill occur if A, B, and C fail according to sequences [A, B, C], [A, C, B], [B, A, C], [B, C, A], [C, A, B], or [C, B, A]. It is important to note that, hen the quantitatie analysis ill be performed from the structure function, B and C ill not hae the same distribution function in the 6 sequences. For instance, in sequence [A, B, C], both B and C fail during their actie mode (denoted by B a and C a, hereas in sequence [B, C, A], both B and C fail during their dormant mode (denoted by B d and C d. The algebraic behaior of gate Spare can hence be expressed as Q = C a (A B a (B a C a B a (A C d (C d B a C a (B d A (A C a A (B d C d (C d A B a (C d A (A B a A (C d B d (B d A As B and C cannot be both in an actie state and in a dormant state, e hae { Bd B a = C d C a = 3.3 Algebraic model of a single Spare gate ith n input eents The algebraic model of a single Spare gate ith n input eents can be determined in the same ay. It is just necessary to determine the n! possible failure sequences of the input eents of the Spare gate and denote the dormant and actie mode of the (n 1 spare eents in these failure sequences. The algebraic model of the Spare gate ill then be the algebraic sum of the expressions for hich each failure sequences holds, ith the additional condition that each spare 3
5 eent cannot be both in an actie and in a dormant mode. 3.4 Algebraic model of 2 Spare gates ith 2 input eents sharing a spare eent Let us consider 2 Spare gates ith 2 input eents ith primary eents A and B sharing a spare eent C, as shon in Fig. 5. Figure 5: To Spare gates sharing a spare eent C If e focus on the Spare gate on the left side, Q1 occurs as soon as A and C hae failed as stated in Section 3.1 or if A fails and C is made unaailable because B has failed before A. As a consequence, the algebraic model of the first Spare gate is { Q1 = Ca (A C a A (C d A A (B A C d C a = The algebraic expression for Q2 can be determined in the same ay by symmetry. Consequently, the final algebraic model of any of to Spare gates sharing a spare eent is { Q1 = Ca (A C a A (C d A A (B A Q2 = C a (B C a B (C d B B (A B C d C a = 3.5 Algebraic model of n Spare gates ith 2 input eents sharing a spare eent Let us consider n Spare gates ith 1 output eent Q i and 2 input eents: a primary eent P i i {1,, n} and a spare eent S. If e focus on the first Spare gate, Q 1 ill occur as soon as P 1 and S hae failed as stated in Section 3.1 or if P 1 fails and S is made unaailable because the primary eent of any of the other Spare gates has failed before P 1. As a consequence, the algebraic model of the first Spare gate is Q 1 = S a (P 1 S a P 1 (S d P 1 i 1 P 1 (P i P 1 S d S a = The algebraic expression for Q i, i {1,..., n}, can be determined in the same ay by symmetry. Consequently, the final algebraic model of any of n Spare gates sharing a spare eent is Q i = S a (P i S a P i (S d P i j i P i (P j P i S d S a = 3.6 Specific case of Cold and Hot Spare gates The algebraic models presented in Sections 3.1 to 3.5 are the algebraic models of Spare gates in the general case of Warm Spare eents. These algebraic models can be simplified in the specific cases of Cold and Hot Spare eents: if a spare eent S is a Cold Spare eent, it cannot fail hile in a dormant state, so S d ill neer occur and any expression containing S d in the algebraic models can be remoed; if a spare eent S is a Hot Spare eent, it ill hae the same distribution function hen in an actie and in a dormant state, so S a S d S and the algebraic models can be simplified. It can be noted that the algebraic models defined inole the temporal operator hich is used to model gates PAND and FDEP, so the expression (1 still holds in the case of a DFT ith Spare gates, and the structure function of any DFT can be determined and reduced to the canonical form in (1 as ell. 4 PROBABILISTIC MODEL OF THE SPARE GATE The probabilistic model of the Spare gates can be deduced from their algebraic model presented in Section 3 by determining the failure probability of each failure sequence thanks to the standard inclusion-exclusion formula (Triedi 21 and the folloing expressions (Amari, Dill, and Hoals 23; Fussel, Aber, and Rahl 1976, hich hold under the hypothesis of statistical independence: P r {a b} (t = F a (t F b (t P r {a b} (t = F a (t F b (t F a (t F b (t P r {a b} (t = P r {b (a b} (t = f a (u(1 F b (u du f b (u F a (u du (2 The probabilistic model of a single Spare gate ith 2 input eents is presented in Section 4.1 hereas the probabilistic model of 2 Spare gates ith 2 input eents sharing a spare eent is presented in Section
6 4.1 Probabilistic model of a single Spare gate ith 2 input eents According to Section 3.1, the algebraic model of a single Spare gate ith 2 input eents is Q = B a (A B a A (B d A. On the one hand, the cumulatie distribution function (Cdf and probability density function (pdf of B d do not depend on A, so P r {A (B d A} (t can be determined by means of the expressions (2 as P r {A (B d A} (t = f A (u F Bd (u du On the other hand, the Cdf and pdf of B a depend on the failure date of A, so P r {B a (A B a } (t cannot be determined by means of the expressions (2. If e respectiely denote by T A and T Ba the failure dates of A and B a, P r {B a (A B a } (t can be defined as P r {B a (A B a } (t = P r {T A T Ba t} = E [ 1 {TA T Ba }1 {TBa t}], here 1 is the indicator function and E is the expectation alue such that E [1 A ] = P r {A} According to the la of total expectation (Billingsley 1995, if X is an integrable random ariable and if Y is any random ariable, not necessarily integrable, on the same probability space, then As a consequence, E [X] = E [E [X Y ]] P r {B a (A B a } (t = = ( ( f TB T A (u T A = du f TA (d f Ba (u, du f A (d The probabilistic model of a single Spare gate ith 2 input eents hence is ( P r {Q} (t = f Ba (u, du f A (d F Bd (uf A (udu. The probabilistic model of a single Spare gate ith 3 or een n input eents can be determined in the same ay from the algebraic model of Spare gates presents in Sections 3.2 and Probabilistic model of 2 Spare gate ith 2 input eents sharing a spare eent According to Section 3.4, the algebraic model of the Spare gate on the left side in Fig. 5 is Q1 = C a (A C a A (C d A A (B A It can be noted that the first to terms of this expression C a (A C a and A (C d A do not depend on B hile the third term A (B A does. As a consequence, these three terms are not disjunctie. This expression can be conerted to an equialent form hich contains only disjunctie terms by introducing B in the first to terms: Q1 = C a (A B (B C a B (A C a (C a B C a (A C a B (3 B (C d A (A B A (C d A B A (B A, Its failure probability thus is P r {Q1} (t = P r {C a (A B (B C a } (t P r {B (A C a (C a B} (t P r { C a (A C a B } (t (4 P r {B (C d A (A B} (t P r { A (C d A B } (t P r {A (B A} (t and can hence be expressed according to the failure 5
7 distributions of A, B, and C as follos: P r {Q1} (t = ( (1 F B (t (1 F B (t f B (d f Ca (u, du f A (d f Ca (, d f A (d f B (udu ( f Ca (u, du f A (d f A (F Cd (d f B (udu f A (uf B (udu f A (uf Cd (udu The failure probability of Q2 can be determined in the same ay, by symmetry. The probabilistic model of n Spare gate ith 2 input eents sharing a common eent can be determined in the same ay from the algebraic model in Section APPLICATION TO A DFT EXAMPLE We propose to determine the failure probability of the Spare gates of a DFT example from (Boudali and Dugan 25 hich is depicted in Fig. 6. This DFT models the failure of a cardiac assist system (HCAS hich is diided into 4 modules: Trigger, CPU unit, motor section, and pumps. The Trigger consists of a crossbar sitch (CS and a system superision (SS. The failure of either CS or SS triggers the failure of both CPUs. The CPU unit is a arm spare, hich has a primary P and a spare unit B haing a dormancy of.5. For the motor section to function, either MOTOR or MOTORC need to be orking. The pumps unit is comprised of to cold spares, each haing a primary pump (PUMP 1 and PUMP 2, and sharing a common spare pump (Backup PUMP. In order for the pumps unit to fail, all three pumps need to fail and CSP 1 needs to fail before (or at the same time as CSP 2, i.e. PAND gate. This DFT can be diided into 3 subtrees: subtree 1, hich corresponds to the failure of the CPU unit: this subtree contains one OR gate, one FDEP gate, and one Warm Spare gate, and is hence dynamic; subtree 2, hich corresponds to the failure of the motor section: this subtree contains a single AND gate and is hence static; subtree 3, hich corresponds to the failure of the pumps unit: this subtree contains one PAND gate and to Cold Spare gates, and is hence dynamic. The failure probability of the to Spare gates of subtree 3 can be determined thanks to the probabilistic model of Section 4.2: P r {CSP 1} (t = ( (1 F P 2 (t f P 2 (d f BPa (u, du f P 1 (d f BPa (, d f P 1 (d f P 2 (udu ( f P 1 (uf P 2 (udu f BPa (u, du f P 1 (d here CSP 1 denotes the output of the Spare gate CSP Gate 1, and P 1, P 2, and BP denote the basic eents P UMP 1, P UMP 2, and Backup P UMP, respectiely. It can be noted that, contrary to the probabilistic model of Section 4.2, this expression contains only 4 terms since BP is a cold spare eent hich can consequently not fail hile in its dormant mode. In the same ay, P r {CSP 2} (t = ( (1 F P 1 (t f P 1 (d f BPa (u, du f P 2 (d f BPa (, d f P 2 (d f P 1 (udu ( f P 2 (uf P 1 (udu f BPa (u, du f P 2 (d here CSP 2 denotes the output of the Spare gate CSP Gate 2. In the particular case of exponential distributions, 6
8 Figure 6: The HCAS Dynamic Fault Tree from (Boudali and Dugan 25 F P 1 (t = 1 e λ P 1t F P 2 (t = 1 e λ P 2t F BPd (t = F BPa (t, min(t P 1, t P 2 = 1 e λ BP (t min(t P 1,t P 2 If e consider failure rates λ P 1 = λ P 2 = λ BP = for P 1, P 2, and BP, e get a failure probability of.84 at mission time T = 1, hours for both Spare gates. This result is the same as the result obtained thanks to the tool Galileo (Dugan, Sullian, and Coppit 2. It can be noted that the failure probability of the Top Eent of the DFT in Fig. 6 could be determined as ell, thanks to the theorems and the probabilistic models of gates PAND and FDEP presented in (Merle, Roussel, Lesage, and Bobbio 21. Hoeer, a Weibull distribution ould be more suitable to model the failure behaior and the aging of pumps, but such a distribution could not be handled by Continuous-Time Marko Chains or Stochastic Petri Nets based methods. The probabilistic model that e proide for Spare gates does not depend on the failure distribution considered for basic eents, and thus allos to consider such a case. The Weibull distribution has the expression so that 1 e λ(udu Let us consider that the failure of basic eents is modeled by a Weibull distribution ith a failure rate λ(t = t, hich means that the pumps hae an infant mortality and ill fail at a constant failure rate λ = after 2, 5 hours. We thus obtain a failure probability of.98 at mission time T = 1, hours for both Spare gates. 6 CONCLUSION In this paper, e hae presented an algebraic model of Spare gates. This model can be determined for any number of Spare gates ith any number of input eents, hether they are sharing spare eents or not, and for any type of Spare gate. This algebraic model alloed us to deduce a probabilistic model of Spare gates hich does not depend on the failure distribution considered for basic eents. Ongoing ork is currently addressed to the elaboration of efficient algorithms alloing to automatically perform the calculation of the structure function of DFTs and their analysis. F (t = 1 e t γ ( η β λ(t = β(t γβ 1 η β 7
9 REFERENCES Amari, S., G. Dill, and E. Hoals (23. A ne approach to sole dynamic fault-trees. In Proceedings IEEE Annual Reliability and Maintainability Symposium, pp Billingsley, P. (1995. Probability and measure. Ne York, USA: John Wiley & Sons. Bobbio, A. and D. C. Raiteri (24. Parametric Fault Trees ith Dynamic Gates and Repair Boxes. In Proceedings of the Annual Reliability and Maintainability Symposium (RAMS, Los Angeles, CA, USA, pp Boudali, H., P. Crouzen, and M. Stoelinga (27. A compositional semantics for dynamic fault trees in terms of interactie marko chains. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 27, Tokyo, Japan, pp Boudali, H. and J. B. Dugan (25. A discretetime Bayesian netork reliability modeling and analysis frameork. Reliability Engineering & System Safety 87, Coppit, D. and K. J. Sullian (22. Designing Modeling Languages: A Case Study in Dynamic Fault Trees. IEEE Transactions on Dependable and Secure Computing. Dugan, J., S. Bauso, and M. Boyd (199. Fault Trees and Sequence Dependencies. In Proceedings of the Annual Reliability and Maintainability Symposium (RAMS 199, pp Dugan, J., K. Sullian, and D. Coppit (2. Deeloping a lo-cost high-quality softare tool for dynamic fault-tree analysis. IEEE Transactions on Reliability 49(1, Dugan, J. B., S. Bauso, and M. Boyd (1992. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability 41, Dutuit, Y. and A. Rauzy (1996. A Linear-Time Algorithm to Find Modules of Fault Trees. IEEE Transactions on Reliability 45(3, Fussel, J., E. Aber, and R. Rahl (1976. On the quantitatie analysis of priority-and failure logic. IEEE Transactions on Reliability R- 25(5, Gulati, R. and J. Dugan (1997. A modular approach for analyzing static and dynamic fault trees. In Proceedings of the Annual Reliability and Maintainability Symposium, Philadelphia, PA, USA, pp Henley, E. and H. Kumamoto (1981. Reliability Engineering and Risk Assessment. Engleood Cliffs: Prentice Hall. Leeson, N. (1995. Safeare: System Safety and Computers. Addison-Wesley. Merle, G. and J.-M. Roussel (27. Algebraic modelling of Fault Trees ith Priority AND gates. In Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 7, Paris, France, pp Merle, G., J.-M. Roussel, J.-J. Lesage, and A. Bobbio (29. Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees. In Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS 9, Bari, Italy, pp Merle, G., J.-M. Roussel, J.-J. Lesage, and A. Bobbio (21. Probabilistic Algebraic Analysis of Fault Trees ith Priority Dynamic Gates and Repeated Eents. IEEE Transactions on Reliability 59(1, Raiteri, D. C. (25. The Conersion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation. Electronic Notes in Theoretical Computer Science 127(2, Stamatelatos, M. and W. Vesely (22. Fault tree handbook ith aerospace applications. Volume 1.1, pp NASA Office of Safety and Mission Assurance. Tang, Z. and J. Dugan (24. Minimal cut set/sequence generation for dynamic fault trees. In Proceedings of the Annual Reliability and Maintainability Symposium, Los Angeles, CA, USA, pp Triedi, K. (21. Probability & Statistics ith Reliability, Queueing & Computer Science Applications (2 ed.. Wiley. 8
Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as Static
Improving the Efficiency of Dynamic Fault Tree Analysis by Considering Gate FDEP as Static Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage To cite this version: Guillaume Merle, Jean-Marc Roussel,
More informationProbabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events
Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio To cite this version: Guillaume Merle,
More informationDynamic Fault Tree Analysis Based On The Structure Function
Author manuscript, published in "Annual Reliability and Maintainability Symposium 2011 (RAMS 2011), Orlando, FL : United States (2011)" Dynamic Fault Tree Analysis Based On The Structure Function Guillaume
More informationarxiv: v1 [cs.lo] 7 Dec Department of Electrical and Computer Engineering,
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking Yassmeen Elderhalli 1, Osman Hasan 1,2, Waqar Ahmad 2 and Sofiène Tahar 1 arxiv:1712.02872v1 [cs.lo] 7 Dec 2017 1
More informationAlgebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis
N ENSC-21/233 THÈSE DE DOCTORAT ÉCOLE NORMALE SUPÉRIEURE DE CACHAN présentée par Guillaume Merle pour obtenir le grade de DOCTEUR ÉCOLE NORMALE SUPÉRIEURE DE CACHAN Spécialité : ÉLECTRONIQUE, ÉLECTROTECHNIQUE,
More informationSafety and Reliability of Embedded Systems. (Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues
(Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues Content What are Events? Examples for Problematic Event Semantics Inhibit, Enabler / Conditioning
More informationPreliminary System Safety Analysis with Limited Markov Chain Generation
Preliminary System Safety Analysis with Limited Markov Chain Generation Pierre-Antoine Brameret, Jean-Marc Roussel, Antoine Rauzy To cite this version: Pierre-Antoine Brameret, Jean-Marc Roussel, Antoine
More informationAlgebraic Synthesis of Transition Conditions of a State Model
Algebraic Synthesis of Transition Conditions of a State Model Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage To cite this version: Yann Hietter, Jean-Marc Roussel, Jean-Jacques Lesage. Algebraic
More informationSequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees
Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees Antoine B. Rauzy LIX CNRS École polytechnique 91128 Palaiseau Cedex France Antoine.Rauzy@lix.polytechnique.fr Abstract: Dynamic Fault
More informationL institution sportive : rêve et illusion
L institution sportive : rêve et illusion Hafsi Bedhioufi, Sida Ayachi, Imen Ben Amar To cite this version: Hafsi Bedhioufi, Sida Ayachi, Imen Ben Amar. L institution sportive : rêve et illusion. Revue
More informationMultiple sensor fault detection in heat exchanger system
Multiple sensor fault detection in heat exchanger system Abdel Aïtouche, Didier Maquin, Frédéric Busson To cite this version: Abdel Aïtouche, Didier Maquin, Frédéric Busson. Multiple sensor fault detection
More informationThe d-or Gate Problem in Dynamic Fault Trees and its Solution in Markov Analysis
International Mathematical Forum, Vol. 6, 2011, no. 56, 2771-2793 The d-or Gate Problem in Dynamic Fault Trees and its Solution in Markov Analysis Nobuko Kosugi and Koichi Suyama Tokyo University of Marine
More informationCompleteness of the Tree System for Propositional Classical Logic
Completeness of the Tree System for Propositional Classical Logic Shahid Rahman To cite this version: Shahid Rahman. Completeness of the Tree System for Propositional Classical Logic. Licence. France.
More informationMethylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma.
Methylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma. Loïc De Pontual, Delphine Trochet, Franck Bourdeaut, Sophie Thomas, Heather Etchevers, Agnes Chompret, Véronique Minard,
More informationSoundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan
Soundness of the System of Semantic Trees for Classical Logic based on Fitting and Smullyan Shahid Rahman To cite this version: Shahid Rahman. Soundness of the System of Semantic Trees for Classical Logic
More informationSafety and Reliability of Embedded Systems
(Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Mathematical Background and Algorithms Prof. Dr. Liggesmeyer, 0 Content Definitions of Terms Introduction to Combinatorics General
More informationSpatial representativeness of an air quality monitoring station. Application to NO2 in urban areas
Spatial representativeness of an air quality monitoring station. Application to NO2 in urban areas Maxime Beauchamp, Laure Malherbe, Laurent Letinois, Chantal De Fouquet To cite this version: Maxime Beauchamp,
More informationA Simple Proof of P versus NP
A Simple Proof of P versus NP Frank Vega To cite this version: Frank Vega. A Simple Proof of P versus NP. 2016. HAL Id: hal-01281254 https://hal.archives-ouvertes.fr/hal-01281254 Submitted
More informationEaster bracelets for years
Easter bracelets for 5700000 years Denis Roegel To cite this version: Denis Roegel. Easter bracelets for 5700000 years. [Research Report] 2014. HAL Id: hal-01009457 https://hal.inria.fr/hal-01009457
More informationPierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage. To cite this version: HAL Id: hal https://hal.archives-ouvertes.
Generalized Boolean logic Driven Markov Processes: a powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques
More informationPasserelle entre les arts : la sculpture sonore
Passerelle entre les arts : la sculpture sonore Anaïs Rolez To cite this version: Anaïs Rolez. Passerelle entre les arts : la sculpture sonore. Article destiné à l origine à la Revue de l Institut National
More informationComparison of Harmonic, Geometric and Arithmetic means for change detection in SAR time series
Comparison of Harmonic, Geometric and Arithmetic means for change detection in SAR time series Guillaume Quin, Béatrice Pinel-Puysségur, Jean-Marie Nicolas To cite this version: Guillaume Quin, Béatrice
More informationVibro-acoustic simulation of a car window
Vibro-acoustic simulation of a car window Christophe Barras To cite this version: Christophe Barras. Vibro-acoustic simulation of a car window. Société Française d Acoustique. Acoustics 12, Apr 12, Nantes,
More informationFrom Unstructured 3D Point Clouds to Structured Knowledge - A Semantics Approach
From Unstructured 3D Point Clouds to Structured Knowledge - A Semantics Approach Christophe Cruz, Helmi Ben Hmida, Frank Boochs, Christophe Nicolle To cite this version: Christophe Cruz, Helmi Ben Hmida,
More informationA new simple recursive algorithm for finding prime numbers using Rosser s theorem
A new simple recursive algorithm for finding prime numbers using Rosser s theorem Rédoane Daoudi To cite this version: Rédoane Daoudi. A new simple recursive algorithm for finding prime numbers using Rosser
More informationWidely Linear Estimation with Complex Data
Widely Linear Estimation with Complex Data Bernard Picinbono, Pascal Chevalier To cite this version: Bernard Picinbono, Pascal Chevalier. Widely Linear Estimation with Complex Data. IEEE Transactions on
More informationFull-order observers for linear systems with unknown inputs
Full-order observers for linear systems with unknown inputs Mohamed Darouach, Michel Zasadzinski, Shi Jie Xu To cite this version: Mohamed Darouach, Michel Zasadzinski, Shi Jie Xu. Full-order observers
More informationSmart Bolometer: Toward Monolithic Bolometer with Smart Functions
Smart Bolometer: Toward Monolithic Bolometer with Smart Functions Matthieu Denoual, Gilles Allègre, Patrick Attia, Olivier De Sagazan To cite this version: Matthieu Denoual, Gilles Allègre, Patrick Attia,
More informationCan we reduce health inequalities? An analysis of the English strategy ( )
Can we reduce health inequalities? An analysis of the English strategy (1997-2010) Johan P Mackenbach To cite this version: Johan P Mackenbach. Can we reduce health inequalities? An analysis of the English
More informationTrench IGBT failure mechanisms evolution with temperature and gate resistance under various short-circuit conditions
Trench IGBT failure mechanisms evolution with temperature and gate resistance under various short-circuit conditions Adel Benmansour, Stephane Azzopardi, Jean-Christophe Martin, Eric Woirgard To cite this
More informationOn the longest path in a recursively partitionable graph
On the longest path in a recursively partitionable graph Julien Bensmail To cite this version: Julien Bensmail. On the longest path in a recursively partitionable graph. 2012. HAL Id:
More informationA non-commutative algorithm for multiplying (7 7) matrices using 250 multiplications
A non-commutative algorithm for multiplying (7 7) matrices using 250 multiplications Alexandre Sedoglavic To cite this version: Alexandre Sedoglavic. A non-commutative algorithm for multiplying (7 7) matrices
More informationSeparator Algebra for State Estimation
Separator Algebra for State Estimation Luc Jaulin To cite this version: Luc Jaulin. Separator Algebra for State Estimation. SMART 2015, Sep 2015, Manchester, United Kingdom. 2015,. HAL Id: hal-01236498
More informationDerivation of relaxional transport equations for a gas of pseudo-maxwellian molecules
Deriation of relaxional transport equations for a gas of pseudo-maxllian molecules Alexander Orlo To cite this ersion: Alexander Orlo. Deriation of relaxional transport equations for a gas of pseudo- Maxllian
More informationOn Newton-Raphson iteration for multiplicative inverses modulo prime powers
On Newton-Raphson iteration for multiplicative inverses modulo prime powers Jean-Guillaume Dumas To cite this version: Jean-Guillaume Dumas. On Newton-Raphson iteration for multiplicative inverses modulo
More informationDispersion relation results for VCS at JLab
Dispersion relation results for VCS at JLab G. Laveissiere To cite this version: G. Laveissiere. Dispersion relation results for VCS at JLab. Compton Scattering from Low to High Momentum Transfer, Mar
More informationA Context free language associated with interval maps
A Context free language associated with interval maps M Archana, V Kannan To cite this version: M Archana, V Kannan. A Context free language associated with interval maps. Discrete Mathematics and Theoretical
More informationAn Efficient Calculation Algorithm in Continuous-Time Markov Analysis Using Large-Scale Numerical Calculation
International Mathematical Forum, Vol. 7, 2012, no. 10, 455-467 An Efficient Calculation Algorithm in Continuous-Time Markov Analysis Using Large-Scale Numerical Calculation Nobuko Kosugi and Koichi Suyama
More informationAssessing system reliability through binary decision diagrams using bayesian techniques.
Loughborough University Institutional Repository Assessing system reliability through binary decision diagrams using bayesian techniques. This item was submitted to Loughborough University's Institutional
More informationAPD photodetectors in the Geiger photon counter mode.
APD photodetectors in the Geiger photon counter mode. Denis Pellion, V. Borrel, Daniel Estève, Francis Therez, A.R. Bazer-Bachi To cite this version: Denis Pellion, V. Borrel, Daniel Estève, Francis Therez,
More informationA CONDITION-BASED MAINTENANCE MODEL FOR AVAILABILITY OPTIMIZATION FOR STOCHASTIC DEGRADING SYSTEMS
A CONDITION-BASED MAINTENANCE MODEL FOR AVAILABILITY OPTIMIZATION FOR STOCHASTIC DEGRADING SYSTEMS Abdelhakim Khatab, Daoud Ait-Kadi, Nidhal Rezg To cite this version: Abdelhakim Khatab, Daoud Ait-Kadi,
More informationUnbiased minimum variance estimation for systems with unknown exogenous inputs
Unbiased minimum variance estimation for systems with unknown exogenous inputs Mohamed Darouach, Michel Zasadzinski To cite this version: Mohamed Darouach, Michel Zasadzinski. Unbiased minimum variance
More informationThomas Lugand. To cite this version: HAL Id: tel
Contribution à la Modélisation et à l Optimisation de la Machine Asynchrone Double Alimentation pour des Applications Hydrauliques de Pompage Turbinage Thomas Lugand To cite this version: Thomas Lugand.
More informationOn one class of permutation polynomials over finite fields of characteristic two *
On one class of permutation polynomials over finite fields of characteristic two * Leonid Bassalygo, Victor A. Zinoviev To cite this version: Leonid Bassalygo, Victor A. Zinoviev. On one class of permutation
More informationEvolution of the cooperation and consequences of a decrease in plant diversity on the root symbiont diversity
Evolution of the cooperation and consequences of a decrease in plant diversity on the root symbiont diversity Marie Duhamel To cite this version: Marie Duhamel. Evolution of the cooperation and consequences
More informationFORMAL TREATMENT OF RADIATION FIELD FLUCTUATIONS IN VACUUM
FORMAL TREATMENT OF RADIATION FIELD FLUCTUATIONS IN VACUUM Frederic Schuller, Renaud Savalle, Michael Neumann-Spallart To cite this version: Frederic Schuller, Renaud Savalle, Michael Neumann-Spallart.
More informationEfficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination
Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination Murat Cenk, Anwar Hasan, Christophe Negre To cite this version: Murat Cenk, Anwar Hasan, Christophe Negre.
More informationComment on: Sadi Carnot on Carnot s theorem.
Comment on: Sadi Carnot on Carnot s theorem. Jacques Arnaud, Laurent Chusseau, Fabrice Philippe To cite this version: Jacques Arnaud, Laurent Chusseau, Fabrice Philippe. Comment on: Sadi Carnot on Carnot
More informationAlternative non-linear predictive control under constraints applied to a two-wheeled nonholonomic mobile robot
Alternatie non-linear predictie control under constraints applied to a to-heeled nonholonomic mobile robot Gaspar Fontineli Dantas Júnior *, João Ricardo Taares Gadelha *, Carlor Eduardo Trabuco Dórea
More informationCase report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122,
Case report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122, 244902 Juan Olives, Zoubida Hammadi, Roger Morin, Laurent Lapena To cite this version: Juan Olives,
More informationAnalyzing large-scale spike trains data with spatio-temporal constraints
Analyzing large-scale spike trains data with spatio-temporal constraints Hassan Nasser, Olivier Marre, Selim Kraria, Thierry Viéville, Bruno Cessac To cite this version: Hassan Nasser, Olivier Marre, Selim
More informationOn size, radius and minimum degree
On size, radius and minimum degree Simon Mukwembi To cite this version: Simon Mukwembi. On size, radius and minimum degree. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2014, Vol. 16 no.
More informationPerformance analysis of clouds with phase-type arrivals
Performance analysis of clouds with phase-type arrivals Farah Ait Salaht, Hind Castel-Taleb To cite this version: Farah Ait Salaht, Hind Castel-Taleb. Performance analysis of clouds with phase-type arrivals.
More informationA non-commutative algorithm for multiplying (7 7) matrices using 250 multiplications
A non-commutative algorithm for multiplying (7 7) matrices using 250 multiplications Alexandre Sedoglavic To cite this version: Alexandre Sedoglavic. A non-commutative algorithm for multiplying (7 7) matrices
More informationOn the Griesmer bound for nonlinear codes
On the Griesmer bound for nonlinear codes Emanuele Bellini, Alessio Meneghetti To cite this version: Emanuele Bellini, Alessio Meneghetti. On the Griesmer bound for nonlinear codes. Pascale Charpin, Nicolas
More informationOn path partitions of the divisor graph
On path partitions of the divisor graph Paul Melotti, Eric Saias To cite this version: Paul Melotti, Eric Saias On path partitions of the divisor graph 018 HAL Id: hal-0184801 https://halarchives-ouvertesfr/hal-0184801
More informationInfluence of network metrics in urban simulation: introducing accessibility in graph-cellular automata.
Influence of network metrics in urban simulation: introducing accessibility in graph-cellular automata. Dominique Badariotti, Arnaud Banos, Diego Moreno To cite this version: Dominique Badariotti, Arnaud
More informationb-chromatic number of cacti
b-chromatic number of cacti Victor Campos, Claudia Linhares Sales, Frédéric Maffray, Ana Silva To cite this version: Victor Campos, Claudia Linhares Sales, Frédéric Maffray, Ana Silva. b-chromatic number
More informationQuantification of Temporal Fault Trees Based on Fuzzy Set Theory
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory Sohag Kabir, Ernest Edifor, Martin Walker, Neil Gordon Department of Computer Science, University of Hull, Hull, UK {s.kabir@2012.,e.e.edifor@2007.,martin.walker@,n.a.gordon
More informationTerritorial Intelligence and Innovation for the Socio-Ecological Transition
Territorial Intelligence and Innovation for the Socio-Ecological Transition Jean-Jacques Girardot, Evelyne Brunau To cite this version: Jean-Jacques Girardot, Evelyne Brunau. Territorial Intelligence and
More informationThe magnetic field diffusion equation including dynamic, hysteresis: A linear formulation of the problem
The magnetic field diffusion equation including dynamic, hysteresis: A linear formulation of the problem Marie-Ange Raulet, Benjamin Ducharne, Jean-Pierre Masson, G. Bayada To cite this version: Marie-Ange
More informationOn Solving Aircraft Conflict Avoidance Using Deterministic Global Optimization (sbb) Codes
On Solving Aircraft Conflict Avoidance Using Deterministic Global Optimization (sbb) Codes Sonia Cafieri, Frédéric Messine, Ahmed Touhami To cite this version: Sonia Cafieri, Frédéric Messine, Ahmed Touhami.
More informationCharacterization of the local Electrical Properties of Electrical Machine Parts with non-trivial Geometry
Characterization of the local Electrical Properties of Electrical Machine Parts with non-trivial Geometry Laure Arbenz, Abdelkader Benabou, Stéphane Clenet, Jean Claude Mipo, Pierre Faverolle To cite this
More informationRHEOLOGICAL INTERPRETATION OF RAYLEIGH DAMPING
RHEOLOGICAL INTERPRETATION OF RAYLEIGH DAMPING Jean-François Semblat To cite this version: Jean-François Semblat. RHEOLOGICAL INTERPRETATION OF RAYLEIGH DAMPING. Journal of Sound and Vibration, Elsevier,
More informationNonlocal computational methods applied to composites structures
Nonlocal computational methods applied to composites structures Norbert Germain, Frédéric Feyel, Jacques Besson To cite this version: Norbert Germain, Frédéric Feyel, Jacques Besson. Nonlocal computational
More informationElectrical modeling of the photoelectric effect induced by a pulsed laser applied to an SRAM cell
Electrical modeling of the photoelectric effect induced by a pulsed laser applied to an SRAM cell A. Sarafianos, C. Roscian, Jean-Max Dutertre, M. Lisart, A. Tria To cite this version: A. Sarafianos, C.
More informationNumerical modeling of diffusion within composite media
Numerical modeling of diffusion within composite media Miljan Milosevic To cite this version: Miljan Milosevic. Numerical modeling of diffusion within composite media. 2nd ECCOMAS Young Investigators Conference
More informationAnalysis of Boyer and Moore s MJRTY algorithm
Analysis of Boyer and Moore s MJRTY algorithm Laurent Alonso, Edward M. Reingold To cite this version: Laurent Alonso, Edward M. Reingold. Analysis of Boyer and Moore s MJRTY algorithm. Information Processing
More informationParticle-in-cell simulations of high energy electron production by intense laser pulses in underdense plasmas
Particle-in-cell simulations of high energy electron production by intense laser pulses in underdense plasmas Susumu Kato, Eisuke Miura, Mitsumori Tanimoto, Masahiro Adachi, Kazuyoshi Koyama To cite this
More informationAlgebraic Derivation of the Oscillation Condition of High Q Quartz Crystal Oscillators
Algebraic Deriation of the Oscillation Condition of High Q Quartz Crystal Oscillators NICOLAS RATIER Institut FEMTO ST, CNRS UMR 67 Département LPMO a. de l Obseratoire, 50 Besançon FRANCE nicolas.ratier@femto-st.fr
More informationHigh resolution seismic prospection of old gypsum mines - evaluation of detection possibilities
High resolution seismic prospection of old gypsum mines - evaluation of detection possibilities Bogdan Piwakowski, Jean-Marc Watelet, David Moreaux, Khalid Sbai To cite this version: Bogdan Piwakowski,
More informationAC Transport Losses Calculation in a Bi-2223 Current Lead Using Thermal Coupling With an Analytical Formula
AC Transport Losses Calculation in a Bi-2223 Current Lead Using Thermal Coupling With an Analytical Formula Kévin Berger, Jean Lévêque, Denis Netter, Bruno Douine, Abderrezak Rezzoug To cite this version:
More informationGeneralization of the Minimum Branch Vertices Spanning Tree Problem
Generalization of the Minimum Branch Vertices Spanning Tree Problem Massinissa Merabet, Miklós Molnár To cite this ersion: Massinissa Merabet, Miklós Molnár. Generalization of the Minimum Branch Vertices
More informationTeaching Reitlinger Cycles To Improve Students Knowledge And Comprehension Of Thermodynamics
Teaching Reitlinger Cycles To Improve Students Knowledge nd Comprehension Of Thermodynamics melia Carolina Sparavigna To cite this version: melia Carolina Sparavigna. Teaching Reitlinger Cycles To Improve
More informationExact Comparison of Quadratic Irrationals
Exact Comparison of Quadratic Irrationals Phuc Ngo To cite this version: Phuc Ngo. Exact Comparison of Quadratic Irrationals. [Research Report] LIGM. 20. HAL Id: hal-0069762 https://hal.archives-ouvertes.fr/hal-0069762
More informationSolving an integrated Job-Shop problem with human resource constraints
Solving an integrated Job-Shop problem with human resource constraints Olivier Guyon, Pierre Lemaire, Eric Pinson, David Rivreau To cite this version: Olivier Guyon, Pierre Lemaire, Eric Pinson, David
More informationAn example of Lagrangian for a non-holonomic system
Uniersit of North Georgia Nighthaks Open Institutional Repositor Facult Publications Department of Mathematics 9-9-05 An eample of Lagrangian for a non-holonomic sstem Piotr W. Hebda Uniersit of North
More informationLinear Quadratic Zero-Sum Two-Person Differential Games
Linear Quadratic Zero-Sum Two-Person Differential Games Pierre Bernhard To cite this version: Pierre Bernhard. Linear Quadratic Zero-Sum Two-Person Differential Games. Encyclopaedia of Systems and Control,
More informationNumerical Exploration of the Compacted Associated Stirling Numbers
Numerical Exploration of the Compacted Associated Stirling Numbers Khaled Ben Letaïef To cite this version: Khaled Ben Letaïef. Numerical Exploration of the Compacted Associated Stirling Numbers. 2017.
More informationThe spreading of fundamental methods and research design in territorial information analysis within the social sciences and humanities
The spreading of fundamental methods and research design in territorial analysis within the social sciences and humanities Csilla Filo To cite this version: Csilla Filo. The spreading of fundamental methods
More informationNorm Inequalities of Positive Semi-Definite Matrices
Norm Inequalities of Positive Semi-Definite Matrices Antoine Mhanna To cite this version: Antoine Mhanna Norm Inequalities of Positive Semi-Definite Matrices 15 HAL Id: hal-11844 https://halinriafr/hal-11844v1
More informationThe FLRW cosmological model revisited: relation of the local time with th e local curvature and consequences on the Heisenberg uncertainty principle
The FLRW cosmological model revisited: relation of the local time with th e local curvature and consequences on the Heisenberg uncertainty principle Nathalie Olivi-Tran, Paul M Gauthier To cite this version:
More informationAll Associated Stirling Numbers are Arithmetical Triangles
All Associated Stirling Numbers are Arithmetical Triangles Khaled Ben Letaïef To cite this version: Khaled Ben Letaïef. All Associated Stirling Numbers are Arithmetical Triangles. 2017.
More informationNumerical Modeling of Eddy Current Nondestructive Evaluation of Ferromagnetic Tubes via an Integral. Equation Approach
Numerical Modeling of Eddy Current Nondestructive Evaluation of Ferromagnetic Tubes via an Integral Equation Approach Anastassios Skarlatos, Grégoire Pichenot, Dominique Lesselier, Marc Lambert, Bernard
More informationHardware Operator for Simultaneous Sine and Cosine Evaluation
Hardware Operator for Simultaneous Sine and Cosine Evaluation Arnaud Tisserand To cite this version: Arnaud Tisserand. Hardware Operator for Simultaneous Sine and Cosine Evaluation. ICASSP 6: International
More informationWater Vapour Effects in Mass Measurement
Water Vapour Effects in Mass Measurement N.-E. Khélifa To cite this version: N.-E. Khélifa. Water Vapour Effects in Mass Measurement. Measurement. Water Vapour Effects in Mass Measurement, May 2007, Smolenice,
More informationHiggs searches at L3
Higgs searches at L3 D. Teyssier To cite this version: D. Teyssier. Higgs searches at L3. High Energy Physics Conference - HEP-MAD 0, Sep 200, Antananariv, Madagascar. World Scientific, pp.67-72, 2002.
More informationA novel method for estimating the flicker level generated by a wave energy farm composed of devices operated in variable speed mode
A novel method for estimating the flicker level generated by a wave energy farm composed of devices operated in variable speed mode Anne Blavette, Dara O Sullivan, Ray Alcorn, Mohamed Machmoum, Michael
More informationStructural study of a rare earth-rich aluminoborosilicate glass containing various alkali and alkaline-earth modifier cations
Structural study of a rare earth-rich aluminoborosilicate glass containing various alkali and alkaline-earth modifier cations Arnaud Quintas, Daniel Caurant, Odile Majérus, Marion Lenoir, Jean-Luc Dussossoy,
More informationMODal ENergy Analysis
MODal ENergy Analysis Nicolas Totaro, Jean-Louis Guyader To cite this version: Nicolas Totaro, Jean-Louis Guyader. MODal ENergy Analysis. RASD, Jul 2013, Pise, Italy. 2013. HAL Id: hal-00841467
More informationA Study of the Regular Pentagon with a Classic Geometric Approach
A Study of the Regular Pentagon with a Classic Geometric Approach Amelia Carolina Sparavigna, Mauro Maria Baldi To cite this version: Amelia Carolina Sparavigna, Mauro Maria Baldi. A Study of the Regular
More informationImpulse response measurement of ultrasonic transducers
Impulse response measurement of ultrasonic transducers F. Kadlec To cite this version: F. Kadlec. Impulse response measurement of ultrasonic transducers. Journal de Physique IV Colloque, 1994, 04 (C5),
More informationSOLAR RADIATION ESTIMATION AND PREDICTION USING MEASURED AND PREDICTED AEROSOL OPTICAL DEPTH
SOLAR RADIATION ESTIMATION AND PREDICTION USING MEASURED AND PREDICTED AEROSOL OPTICAL DEPTH Carlos M. Fernández-Peruchena, Martín Gastón, Maria V Guisado, Ana Bernardos, Íñigo Pagola, Lourdes Ramírez
More informationQuantum efficiency and metastable lifetime measurements in ruby ( Cr 3+ : Al2O3) via lock-in rate-window photothermal radiometry
Quantum efficiency and metastable lifetime measurements in ruby ( Cr 3+ : Al2O3) via lock-in rate-window photothermal radiometry A. Mandelis, Z. Chen, R. Bleiss To cite this version: A. Mandelis, Z. Chen,
More informationOn Politics and Argumentation
On Politics and Argumentation Maria Boritchev To cite this version: Maria Boritchev. On Politics and Argumentation. MALOTEC, Mar 2017, Nancy, France. 2017. HAL Id: hal-01666416 https://hal.archives-ouvertes.fr/hal-01666416
More informationOn Symmetric Norm Inequalities And Hermitian Block-Matrices
On Symmetric Norm Inequalities And Hermitian lock-matrices Antoine Mhanna To cite this version: Antoine Mhanna On Symmetric Norm Inequalities And Hermitian lock-matrices 015 HAL Id: hal-0131860
More informationThe Learner s Dictionary and the Sciences:
The Learner s Dictionary and the Sciences: Geoffrey Williams To cite this version: Geoffrey Williams. The Learner s Dictionary and the Sciences:: Mismatch or no match?. Corpora, Language, Teaching, and
More informationNew estimates for the div-curl-grad operators and elliptic problems with L1-data in the half-space
New estimates for the div-curl-grad operators and elliptic problems with L1-data in the half-space Chérif Amrouche, Huy Hoang Nguyen To cite this version: Chérif Amrouche, Huy Hoang Nguyen. New estimates
More informationComputable priors sharpened into Occam s razors
Computable priors sharpened into Occam s razors David R. Bickel To cite this version: David R. Bickel. Computable priors sharpened into Occam s razors. 2016. HAL Id: hal-01423673 https://hal.archives-ouvertes.fr/hal-01423673v2
More informationCharacterization of Equilibrium Paths in a Two-Sector Economy with CES Production Functions and Sector-Specific Externality
Characterization of Equilibrium Paths in a Two-Sector Economy with CES Production Functions and Sector-Specific Externality Miki Matsuo, Kazuo Nishimura, Tomoya Sakagami, Alain Venditti To cite this version:
More information