Probabilistic Archetypal Analysis

Archetypal analysis represents a set of observations as convex combinations of pure patterns, or archetypes. The original geometric formulation of finding archetypes by approximating the convex hull of the observations assumes them to be real valued. This, unfortunately, is not compatible with many practical situations. In this paper we revisit archetypal analysis from the basic principles, and propose a probabilistic framework that accommodates other observation types such as integers, binary, and probability vectors. We corroborate the proposed methodology with convincing real-world applications on finding archetypal winter tourists based on binary survey data, archetypal disaster-affected countries based on disaster count data, and document archetypes based on term-frequency data. We also present an appropriate visualization tool to summarize archetypal analysis solution better.Comment: 24 pages; added literature review and visualizatio

Probabilistic structural analysis methods for space propulsion system components

The development of a three-dimensional inelastic analysis methodology for the Space Shuttle main engine (SSME) structural components is described. The methodology is composed of: (1) composite load spectra, (2) probabilistic structural analysis methods, (3) the probabilistic finite element theory, and (4) probabilistic structural analysis. The methodology has led to significant technical progress in several important aspects of probabilistic structural analysis. The program and accomplishments to date are summarized

Practical applications of probabilistic model checking to communication protocols

Probabilistic model checking is a formal verification technique for the analysis of systems that exhibit stochastic behaviour. It has been successfully employed in an extremely wide array of application domains including, for example, communication and multimedia protocols, security and power management. In this chapter we focus on the applicability of these techniques to the analysis of communication protocols. An analysis of the performance of such systems must successfully incorporate several crucial aspects, including concurrency between multiple components, real-time constraints and randomisation. Probabilistic model checking, in particular using probabilistic timed automata, is well suited to such an analysis. We provide an overview of this area, with emphasis on an industrially relevant case study: the IEEE 802.3 (CSMA/CD) protocol. We also discuss two contrasting approaches to the implementation of probabilistic model checking, namely those based on numerical computation and those based on discrete-event simulation. Using results from the two tools PRISM and APMC, we summarise the advantages, disadvantages and trade-offs associated with these techniques

A probabilistic analysis of argument cogency

This paper offers a probabilistic treatment of the conditions for argument cogency as endorsed in informal logic: acceptability, relevance, and sufficiency. Treating a natural language argument as a reason-claim-complex, our analysis identifies content features of defeasible argument on which the RSA conditions depend, namely: change in the commitment to the reason, the reason’s sensitivity and selectivity to the claim, one’s prior commitment to the claim, and the contextually determined thresholds of acceptability for reasons and for claims. Results contrast with, and may indeed serve to correct, the informal understanding and applications of the RSA criteria concerning their conceptual dependence, their function as update-thresholds, and their status as obligatory rather than permissive norms, but also show how these formal and informal normative approachs can in fact align

Probabilistic structural analysis to evaluate the structural durability of SSME critical components

NASA Lewis Research Center is currently developing probabilistic structural analysis methods for select Space Shuttle Main Engine (SSME) structural components. Briefly, the deterministic, three-dimensional, inelastic analysis methodology developed under the Hot Section Technology (HOST) and R and T Base Programs is being augmented to accommodate the complex probabilistic loading spectra, the thermoviscoplastic material behavior, and the material degradation associated with the environment of space propulsion system structural components representative of the SSME such as turbine blades, transfer ducts, and liquid-oxygen posts. The development of probabilistic structural analysis methodology consists of the following program elements: (1) composite load spectra; (2) probabilistic structural analysis methods; (3) probabilistic finite element theory - new variational principles; and (4) probabilistic structural analysis application. In addition, the program includes deterministic analysis elements: (1) development of structural tailoring computer codes (SSME/STAEBL); (2) development of dynamic creep buckling/ratcheting theory; (3) evaluation of the dynamic characteristics of single-crystal SSME blades; (4) development of SSME blade damper technology; and (5) development of integrated boundary elements for hotfluid structure interaction