112,182 Hits in 3.3 sec

Compositional Methods for Probabilistic Systems [chapter]

Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
2001 Lecture Notes in Computer Science  
We present a compositional trace-based model for probabilistic systems.  ...  The second mechanism, which arises in probabilistic systems, partitions the state into probabilistically independent regions. ?  ...  Our deeply compositional semantics opens the way to the use of assumeguarantee methods for probabilistic systems.  ... 
doi:10.1007/3-540-44685-0_24 fatcat:m7trehnfgvaqlm2teer2tlvmgu

Probabilistic structural analysis methods for space propulsion system components

Christos C. Chamis
1987 Probabilistic Engineering Mechanics  
) components. (1) composite load spectra, (2) probabilistic structural analysis methods, (3) probabilistic finite element theorynew variational principles, and (4) probabilistic structural analysis application  ...  The development of probabilistic structural analysis methodology consists of the following program elements: (1) composite load spectra, (2) probabilistic structural analysis methods, (3) probabilistic  ...  COMPOSITE LOAD SPECTRA The main thrust of the composite load spectra (CLS) contractual effort is to develop generic probabilistic models for the various individual loads, their probable combinations for  ... 
doi:10.1016/0266-8920(87)90021-x fatcat:exv66mphavardbq5m77odqflxq

A Method for Transmission System Expansion Planning Considering Probabilistic Reliability Criteria

J. Choi, T. Tran, A.A. El-Keib, R. Thomas, H. Oh, R. Billinton
2005 IEEE Transactions on Power Systems  
This paper proposes a method for choosing the best transmission system expansion plan considering a probabilistic reliability criterion LOLE .  ...  The method minimizes the investment budget for constructing new transmission lines subject to probabilistic reliability criteria, which consider the uncertainties of transmission system elements.  ...  This paper proposes a new method for choosing the best expansion plan for a transmission system considering a transmission system probabilistic reliability criterion LOLE .  ... 
doi:10.1109/tpwrs.2005.852142 fatcat:2rvydqzdxrampjl22e6vtmwzyq

Forewords to "Probabilistic Structural Design and Analysis" and "Limitations of FEM in Analysis of Composite Structures"

O. Hal Burnside, Charles H. Parr
1987 Journal of Engineering for Industry  
MAR 2-0387 FOREWORDS Probabilistic Structural Design and Analysis Probabilistic methods are finding increased use in design and analysis 10 achieve greater reliability in structural systems.  ...  Such methods are particularly applicable to systems which operate in highly uncertain environments or require greater attention paid to the issue of safety and reliability.  ...  The papers by Belytschko and Nakagiri apply the finite element method in a stochastic format to elastic/plastic and composite structures; Wirsching and Wu discuss and give examples of new methods for computing  ... 
doi:10.1115/1.3187087 fatcat:weloaz54nnaydco5vbxta5ovuu

Automated Learning of Probabilistic Assumptions for Compositional Reasoning [chapter]

Lu Feng, Marta Kwiatkowska, David Parker
2011 Lecture Notes in Computer Science  
We discuss recent developments in the area of automated compositional verification techniques for probabilistic systems.  ...  We do so using algorithmic learning techniques, which have already proved to be successful for the generation of assumptions for compositional verification of non-probabilistic systems.  ...  Compositional Reasoning for Probabilistic Systems Verification techniques for probabilistic systems can be expensive, both in terms of their time and space requirements, making scalability an important  ... 
doi:10.1007/978-3-642-19811-3_2 fatcat:ghpdevjwxndgrhjo35deeqxgeq

Topology, randomness and noise in process calculus

Mingsheng Ying
2007 Frontiers of Electrical and Electronic Engineering in China  
Formal models of communicating and concurrent systems are one of the most important topics in formal methods, and process calculus is one of the most successful formal models of communicating and concurrent  ...  systems.  ...  This forces us to find formal models of probabilistic systems and to develop formal methods for verifying such systems.  ... 
doi:10.1007/s11460-007-0024-9 fatcat:5xtyqovgb5ayndi2b45zd2iesi

Probabilistic Design of Composite Wheel Spanner

Emmanuel Simolowo, Michael Mosaku
2017 Machine Design  
This project discusses probabilistic design and its application into design of a composite wheel spanner for Toyota Camry cars with five (5) lug nuts.  ...  The project work is aimed at taking advantage of probabilistic design system approach over deterministic (traditional) approach to create an optimised design model of an existing composite wheel spanner  ...  ANSYS Probabilistic Design System (PDS) for modeling and simulating respectively.  ... 
doi:10.24867/md.9.2017.2.73-80 fatcat:7aanlcyfprerhoiwzydn7acw6y

Simulation-based Safety Assessment of High-level Reliability Models

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
2020 Electronic Proceedings in Theoretical Computer Science  
Thus, it could be applied in accordance with standards and best practices for the analysis of a critical automotive system as part of an industrial collaboration, while leveraging high-level block diagrams  ...  Systems engineering approaches use high-level models to capture the architecture and behavior of the system.  ...  Pter Gyrke and ThyssenKrupp Presta Kft. for the fruitful collaboration and the case study.  ... 
doi:10.4204/eptcs.316.9 fatcat:bl3ueqxle5gk5ii3rkyvbnxnxm

Probabilistic Modelling in Solving Analytical Problems of System Engineering [chapter]

Anatoly Lepikhin, Vladimir Moskvichev, Nikolay Machutov
2018 Probabilistic Modeling in System Engineering  
Theoretical bases and methods of probabilistic modelling of engineering systems are stated.  ...  The possibilities of probabilistic modelling methods in solving the problems of strength, reliability and safety of engineering systems are shown in practical examples.  ...  Therefore, for their analysis, further development of probabilistic modelling methods of engineering systems is necessary. 2.  ... 
doi:10.5772/intechopen.75686 fatcat:v2agjw524ndj3grb6zv2j3jiny

Reliability-based design optimization of adhesive bonded steel–concrete composite beams with probabilistic and non-probabilistic uncertainties

Yangjun Luo, Alex Li, Zhan Kang
2011 Engineering structures  
It is meaningful to account for various uncertainties in the optimization design of the adhesive bonded steel-concrete composite beam.  ...  Based on the definition of the mixed reliability index for structural safety evaluation with probabilistic and non-probabilistic uncertainties, the reliability-based optimization incorporating such mixed  ...  Based on the classical probability theory, this conventional RBDO method describes uncertainties in structural systems as stochastic variables or random fields with certain probability distribution and  ... 
doi:10.1016/j.engstruct.2011.02.040 fatcat:vr2svjtc5rhfth4wmxatdphib4

LTSA-PCA: tool support for compositional reliability analysis

Pedro Rodrigues, Emil Lupu, Jeff Kramer
2014 Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014  
It supports the specification, visualisation and failure analysis of composable, probabilistic behaviour of component-based systems, modelled as Probabilistic Component Automata (PCA) [2] .  ...  Software systems are often constructed by combining new and existing services and components. Models of such systems should therefore be compositional in order to reflect the architectural structure.  ...  ANALYSIS The composite PCA representing the e-commerce system has full probabilistic information of the system and is automatically translated to a DTMC model for reliability analysis in the PRISM Model  ... 
doi:10.1145/2591062.2591067 dblp:conf/icse/RodriguesLK14 fatcat:chjbypawvvcgrayqhwinitsabq


S. Patel, S. Ahmad, P. Mahajan
2012 The International Conference on Applied Mechanics and Mechanical Engineering  
) procedure .The results show that for the given system and respective scatter, first order reliability method yields satisfactory level of accuracy.  ...  The probabilistic analysis and reliability prediction of the system is carried out using the first order reliability method (FORM) and validity of method is established using Monte Carlo simulation (MCS  ...  It is followed by the deterministic and probabilistic analysis of composite beam under for classes of material and impact loads.  ... 
doi:10.21608/amme.2012.37274 fatcat:emdr5acvgbg3bmorgzc4zzsy6i

Probabilistic reliability evaluation of composite power systems including wind turbine generators

Jaeseok Choi, Jeongje Park, Kyeonghee Cho, Taegon Oh, Mohammad Shahidehpour
2010 2010 IEEE 11th International Conference on Probabilistic Methods Applied to Power Systems  
This paper proposes a new methodology for evaluating the probabilistic reliability of a grid constrained composite power system including wind turbine generators(WTG).  ...  Conclusion This paper presents a new methodology for grid constrained probabilistic reliability evaluation of power systems including wind turbine generators using the composite power system effective  ...  The general multi-state convolution integral calculation method for probabilistic reliability evaluation has been used extensively for generation expansion and can be calculated using the multistate recursive  ... 
doi:10.1109/pmaps.2010.5528974 fatcat:6qrjd4yvgba3fezhiwocqwn4sa

Preface to the special issue on Probabilistic Model Checking

Christel Baier, Marta Kwiatkowska
2013 Formal methods in system design  
properties for Markov chains and Markov decision processes.  ...  optimisation; predictive modelling of biological systems; population models of epidemic spread; and techniques such as page ranking of search engines.  ...  In [11] , game semantics is applied to obtain a compositional fully-abstract method for establishing equivalence between probabilistic call-by-value programs.  ... 
doi:10.1007/s10703-013-0194-4 fatcat:neeu3chulzhtthtdlvatjawmxy

Assuring life in composite systems

Christos C. Chamis
2011 Science and Engineering of Composite Materials  
A computational simulation method is presented to assure life in composite systems by using dynamic buckling of smart composite shells as an example.  ...  The combined use of composite mechanics, finite element computer codes, and probabilistic analysis enable the effective assessment of the dynamic buckling load of smart composite shells.  ...  Abumeri who developed the computer simulations required for this paper. This report is a formal draft or working paper, intended to solicit comments and ideas from a technical peer group.  ... 
doi:10.1515/secm.2011.046 fatcat:jqvpjqka6zai7liup5ta7vdjwe
« Previous Showing results 1 — 15 out of 112,182 results