Filters








104,371 Hits in 4.4 sec

Synthesis from Probabilistic Components

Yoad Lustig, Sumit Nain, Moshe Vardi, unknown Anonymous
2014 Logical Methods in Computer Science  
In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" rather than composed from reusable components.  ...  In this work, we consider the problem of control-flow synthesis from libraries of probabilistic components . We show that this more general problem is also decidable.  ...  The construction of systems from reusable components is an area of active research.  ... 
doi:10.2168/lmcs-10(2:17)2014 fatcat:2vquknoypfb6dcdpvpgc25oxiu

On estimation of the noise variance in high-dimensional probabilistic principal component analysis [article]

Damien Passemier
2014 arXiv   pre-print
In this paper, we develop new statistical theory for probabilistic principal component analysis models in high dimensions.  ...  , 2008; Bai and Ng, 2002) for determining the number of principal components when the respective variance estimator proposed by these authors is replaced by the bias-corrected estimator.  ...  There is an underlying probabilistic model behind PCA, called probabilistic principal component analysis (PPCA), defined as follows.  ... 
arXiv:1308.3890v2 fatcat:ehnxhwue6vftzdddx3gmp3wgji

Updatable Probabilistic Evaluation of Failure Rates of Mechanical Components in Power Take-Off Systems of Tidal Stream Turbines

Dimitri V. Val, Leon Chernin, Daniil Yurchenko
2021 Energies  
This paper presents a method for the probabilistic evaluation of the failure rates of mechanical components in a typical power take-off (PTO) system of a horizontal-axis tidal stream turbine (HATT).  ...  The proposed method is illustrated by applying it to the evaluation of the failure rates of two key components of the PTO system of a typical HATT—main seal and main bearing.  ...  The probabilistic evaluation of the failure rates of two components of the PTO system of a HATT-main seal and main bearing-was considered.  ... 
doi:10.3390/en14206586 fatcat:gxxjlrlquzboha6krttbchnvf4

OPINION PATTERN MINING BASED ON PROBABILISTIC PRINCIPLE COMPONENT ANALYSIS REPORT

P.Saravana Kumar .
2014 International Journal of Research in Engineering and Technology  
The product review pattern mining segmentation based on probabilistic principle component analysis is proposed.  ...  Customer can be reviewed by other customer feedback and collect all the relevant information related to a particular product. Based on that the decision can be taken to purchase the product.  ...  Fig 2 : 566 Fig 3 25663 Probabilistic Procedure in PPCA Fig 2 describes the step by step probabilistic usage in the PPCA.  ... 
doi:10.15623/ijret.2014.0311094 fatcat:4p5xgzaplzftzj2tydujixa3gm

On estimation of the noise variance in high dimensional probabilistic principal component analysis

Damien Passemier, Zhaoyuan Li, Jianfeng Yao
2015 Journal of The Royal Statistical Society Series B-statistical Methodology  
In this paper, we develop new statistical theory for probabilistic principal component analysis models in high dimensions.  ...  Solo, 2008; Bai and Ng, 2002) for determining the number of principal components when the respective variance estimator proposed by these authors is replaced by the bias-corrected estimator.  ...  There is an underlying probabilistic model behind PCA, called probabilistic principal component analysis (PPCA), defined as follows.  ... 
doi:10.1111/rssb.12153 fatcat:t7ks75qlobh7vmbp227iwroqdq

A Novel Probabilistic Method for Life Cycle Management of Fatigue Critical Aircraft Components using In Situ Nondestructive Inspection

Michael Shiao, Tzikang Chen, Y.-T. Wu, Anindya Ghoshal
2016 Frontiers in Aerospace Engineering  
When using an in-situ NDI (INDI) system, however, the independent assumption no longer holds, and the existing PRA methodology must be modified.  ...  For the maintenance of fatigue-critical aircraft components, the conventional probabilistic risk assessment (PRA) methodology for life cycle management using nondestructive inspection (NDI) is based on  ...  cost throughout the system/component life cycle.  ... 
doi:10.12783/fae.2016.0501.01 fatcat:ikkxf2b2bjee7pk6mtompgd3ou

Application of Probabilistic Neural Networks Using High-Frequency Components' Differential Current for Transformer Protection Schemes to Discriminate between External Faults and Internal Winding Faults in Power Transformers

Pathomthat Chiradeja, Chaichan Pothisarn, Nattanon Phannil, Santipont Ananwattananporn, Monthon Leelajindakrairerk, Atthapol Ngaopitakkul, Surakit Thongsuk, Vinai Pornpojratanakul, Sulee Bunjongjit, Suntiti Yoomak
2021 Applied Sciences  
Internal and external faults in a power transformer are discriminated in this paper using an algorithm based on a combination of a discrete wavelet transform (DWT) and a probabilistic neural network (PNN  ...  DWT decomposes high-frequency fault components using the maximum coefficients of a ¼ cycle DWT as input patterns for the training process in a decision algorithm.  ...  Acknowledgments: This work was supported in part by the Rajamangala University of Technology Rattanakosin Research Fund. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app112210619 fatcat:vgl6jdutufc7jm4thtgl27vuay

Incremental Runtime Verification of Probabilistic Systems [chapter]

Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma
2013 Lecture Notes in Computer Science  
on strongly connected components.  ...  Probabilistic verification techniques have been proposed for runtime analysis of adaptive software systems, with the verification results being used to steer the system so that it satisfies certain Qualityof-Service  ...  The authors are part supported by ERC Advanced Grant VERIWARE, EU FP7 project CONNECT and EPSRC project EP/F001096/1.  ... 
doi:10.1007/978-3-642-35632-2_30 fatcat:cpnmpsccofa3df2iark3ocs7ke

Customized Testing for Probabilistic Systems [chapter]

Luis F. Llana-Díaz, Manuel Núñez, Ismael Rodríguez
2006 Lecture Notes in Computer Science  
Though considering this approach to test functional behaviors consists simply in testing a subset of the IUT, to study the probabilistic behavior of systems by using this customized testing approach leads  ...  If usage models specify the probabilistic behavior of stimuli and specifications define the probabilistic behavior of reactions to these stimuli, then, by composing them, the probabilistic behavior of  ...  In order to define the set of probabilistic traces, the ones provided by both components are considered.  ... 
doi:10.1007/11754008_6 fatcat:c7qgczhyfrfebdqdjnha4ylklm

Earthquake damage estimation systems: Literature review

K.A.R.V.D. Kahandawa, N.D. Domingo, K.S. Park, S.R. Uma
2018 Procedia Engineering  
These frameworks target on increasing recovery after such disaster, by introducing new designs, technologies, and components to the building.  ...  These frameworks target on increasing recovery after such disaster, by introducing new designs, technologies, and components to the building.  ...  This rapid increase in demand cannot be catered by the standard supply of construction industry. Which will cause a rapid and unexpected increase in construction cost.  ... 
doi:10.1016/j.proeng.2018.01.080 fatcat:3llro5ugyjhbbpnwzt4kqolbe4

Model Checking Hierarchical Probabilistic Systems [chapter]

Jun Sun, Songzheng Song, Yang Liu
2010 Lecture Notes in Computer Science  
In addition to temporal logic, we allow complex safety properties to be specified by non-probabilistic PCSP# model.  ...  In this paper, we extend the PAT toolkit to support probabilistic model checking of hierarchical complex systems.  ...  Introduction Probabilistic systems are common in practice, e.g., randomized algorithms, unreliable system components, unpredictable environment, etc.  ... 
doi:10.1007/978-3-642-16901-4_26 fatcat:kvhgbjdj6zhjpi5ef4bdxszq4a

Automated Novelty Detection in Industrial Systems [chapter]

David A. Clifton, Lei A. Clifton, Peter R. Bannister, Lionel Tarassenko
2008 Studies in Computational Intelligence  
Intelligent data analysis techniques are required to assess the "health" of system components, aiming to identify potential precursors of component failure in advance of actual system failure.  ...  Novelty detection with HMMs may also be performed by constructing an abnormal state, a transition into which implies abnormal system behaviour [9] .  ... 
doi:10.1007/978-3-540-78297-1_13 fatcat:n5wmup7cafg67bjl6d6ekyp5hu

Probabilistic Quorum Systems

Dahlia Malkhi, Michael K Reiter, Avishai Wool, Rebecca N Wright
2001 Information and Computation  
We explore probabilistic quorum systems both for services tolerant of benign server failures and for services tolerant of arbitrary (Byzantine) ones.  ...  We initiate the study of probabilistic quorum systems, a technique for providing consistency of replicated data with high levels of assurance despite the failure of data servers.  ...  CONCLUSION In this paper, we used a probabilistic approach in the construction of quorum systems and obtained a new class of set systems called probabilistic quorum systems.  ... 
doi:10.1006/inco.2001.3054 fatcat:wif3vovwszfnjctcqchvgofbqe

Reliability Analysis of Concurrent Systems Using LTSA

Genaina Nunes Rodrigues, David Rosenblum, Jonas Wolf
2007 29th International Conference on Software Engineering (ICSE'07 Companion)  
After the modelling and annotation step is concluded, the construction of the probabilistic architectural model can be performed.  ...  These two benefits together make LTSA a suitable tool for reliability analysis. However, the purpose of the tool is not to model all the component interactions of a system.  ... 
doi:10.1109/icsecompanion.2007.59 dblp:conf/icse/RodriguesRW07 fatcat:o6bqfynkh5hfhipfknzjr5pdsq

Ant Colony System-Based Applications to Electrical Distribution System Optimization [chapter]

Gianfranco Chicco
2011 Ant Colony Optimization - Methods and Applications  
This chapter has summarized the framework of application referring to some typical distribution system optimization problems.  ...  The cost component ΔC V (R) can also be constrained by a budget limit.  ...  Global optimizations can then be solved in terms of adopting suitable meta-heuristics.  ... 
doi:10.5772/13840 fatcat:micrbmqvnrai5hdw7j7yqjk5n4
« Previous Showing results 1 — 15 out of 104,371 results