Correlated uncertainty arithmetic with application to fusion neutronics

his thesis advances the idea of automatic and rigorous uncertainty propagation for computational science. The aim is to replace the deterministic arithmetic and logical operations composing a function or a computer program with their uncertain equivalents. In this thesis, uncertain computer variables are labelled uncertain numbers, which may be probability distributions, intervals, probability boxes, and possibility distributions. The individual models of uncertainty are surveyed in the context of imprecise probability theory, and their individual arithmetic described and developed, with new results presented in each arithmetic. The presented arithmetic framework allows random variables to be imprecisely characterised or partially defined. It is a common situation that input random variables are unknown or that only certain characteristics of the inputs are known. How uncertain numbers can be rigorously represented by a finite numerical discretisation is described. Further, it is shown how arithmetic operations are computed by numerical convolution, accounting for both the error from the input's discretisation and from the numerical integration, yielding guaranteed bounds on computed uncertain numbers. One of the central topics of this thesis is stochastic dependency. Considering complex dependencies amongst uncertain numbers is necessary, as it plays a key role in operations. An arithmetic operation between two uncertain numbers is a function not only of the input numbers, but also how they are correlated. This is often more important than the marginal information. In the presented arithmetic, dependencies between uncertain numbers may also be partially defined or missing entirely. A major proposition of this thesis are methods to propagate dependence information through functions alongside marginal information. The long-term goal is to solve probabilistic problems with partial knowledge about marginal distributions and dependencies using algorithms which were written deterministically. The developed arithmetic frameworks can be used individually, or may be combined into a larger uncertainty computing framework. We present an application of the developed method to a radiation transport algorithm for nuclear fusion neutronics problems

Distribution-free stochastic simulation methodology for model updating under hybrid uncertainties

In the real world, a significant challenge faced in the safe operation and maintenance of infrastructures is the lack of available information or data. This results in a large degree of uncertainty and the requirement for robust and efficient uncertainty quantification (UQ) tools in order to derive the most realistic estimates of the behavior of structures. While the probabilistic approach has long been utilized as an essential tool for the quantitative mathematical representation of uncertainty, a common criticism is that the approach often involves insubstantiated subjective assumptions because of the scarcity or imprecision of available information. To avoid the inclusion of subjectivity, the concepts of imprecise probabilities have been developed, and the distributional probability-box (p-box) has gained the most attention among various types of imprecise probability models since it can straightforwardly provide a clear separation between aleatory and epistemic uncertainty. This thesis concerns the realistic consideration and numerically efficient calibraiton and propagation of aleatory and epistemic uncertainties (hybrid uncertainties) based on the distributional p-box. The recent developments including the Bhattacharyya distance-based approximate Bayesian computation (ABC) and non-intrusive imprecise stochastic simulation (NISS) methods have strengthened the subjective assumption-free approach for uncertainty calibration and propagation. However, these methods based on the distributional p-box stand on the availability of the prior knowledge determining a specific distribution family for the p-box. The target of this thesis is hence to develop a distribution-free approach for the calibraiton and propagation of hybrid uncertainties, strengthening the subjective assumption-free UQ approach. To achieve the above target, this thesis presents five main developments to improve the Bhattacharyya distance-based ABC and NISS frameworks. The first development is on improving the scope of application and efficiency of the Bhattacharyya distance-based ABC. The dimension reduction procedure is proposed to evaluate the Bhattacharyya distance when the system under investigation is described by time-domain sequences. Moreover, the efficient Bayesian inference method within the Bayesian updating with structural reliability methods (BUS) framework is developed by combining BUS with the adaptive Kriging-based reliability method, namely AK-MCMC. The second development of the distribution-free stochastic model updating framework is based on the combined application of the staircase density functions and the Bhattacharyya distance. The staircase density functions can approximate a wide range of distributions arbitrarily close; hence the development achieved to perform the Bhattacharyya distance-based ABC without limiting hypotheses on the distribution families of the parameters having to be updated. The aforementioned two developments are then integrated in the third development to provide a solution to the latest edition (2019) of the NASA UQ challenge problem. The model updating tasks under very challenging condition, where prior information of aleatory parameters are extremely limited other than a common boundary, are successfully addressed based on the above distribution-free stochastic model updating framework. Moreover, the NISS approach that simplifies the high-dimensional optimization to a set of one-dimensional searching by a first-order high-dimensional model representation (HDMR) decomposition with respect to each design parameter is developed to efficiently solve the reliability-based design optimization tasks. This challenge, at the same time, elucidates the limitations of the current developments, hence the fourth development aims at addressing the limitation that the staircase density functions are designed for univariate random variables and cannot acount for the parameter dependencies. In order to calibrate the joint distribution of correlated parameters, the distribution-free stochastic model updating framework is extended by characterizing the aleatory parameters using the Gaussian copula functions having marginal distributions as the staircase density functions. This further strengthens the assumption-free approach for uncertainty calibration in which no prior information of the parameter dependencies is required. Finally, the fifth development of the distribution-free uncertainty propagation framework is based on another application of the staircase density functions to the NISS class of methods, and it is applied for efficiently solving the reliability analysis subproblem of the NASA UQ challenge 2019. The above five developments have successfully strengthened the assumption-free approach for both uncertainty calibration and propagation thanks to the nature of the staircase density functions approximating arbitrary distributions. The efficiency and effectiveness of those developments are sufficiently demonstrated upon the real-world applications including the NASA UQ challenge 2019

ISIPTA'07: Proceedings of the Fifth International Symposium on Imprecise Probability: Theories and Applications

B

Probabilistic constraint reasoning

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaThe continuous constraint paradigm has been often used to model safe reasoning in applications where uncertainty arises. Constraint propagation propagates intervals of uncertainty among the variables of the problem, eliminating values that do not belong to any solution. However, constraint programming is very conservative: if initial intervals are wide (reflecting large uncertainty), the obtained safe enclosure of all consistent scenarios may be inadequately wide for decision support. Since all scenarios are considered equally likely, insufficient pruning leads to great inefficiency if some costly decisions may be justified by very unlikely scenarios. Even when probabilistic information is available for the variables of the problem, the continuous constraint paradigm is unable to incorporate and reason with such information. Therefore, it is incapable of distinguishing between different scenarios, based on their likelihoods. This thesis presents a probabilistic continuous constraint paradigm that associates a probabilistic space to the variables of the problem, enabling probabilistic reasoning to complement the underlying constraint reasoning. Such reasoning is used to address probabilistic queries and requires the computation of multi-dimensional integrals on possibly non linear integration regions. Suitable algorithms for such queries are developed, using safe or approximate integration techniques and relying on methods from continuous constraint programming in order to compute safe covers of the integration region. The thesis illustrates the adequacy of the probabilistic continuous constraint framework for decision support in nonlinear continuous problems with uncertain information, namely on inverse and reliability problems, two different types of engineering problems where the developed framework is particularly adequate to support decision makers

Multi-criteria decision methods to support the maintenance management of complex systems

[ES] Esta tesis doctoral propone el uso de métodos de toma de decisiones multi-criterio (MCDM, por sus iniciales en inglés) como herramienta estratégica para apoyar la gestión del mantenimiento de sistemas complejos. El desarrollo de esta tesis doctoral se enmarca dentro de un acuerdo de cotutela entre la Università degli Studi di Palermo (UNIPA) y la Universitat Politècnica de València (UPV), dentro de sus respectivos programas de doctorado en 'Ingeniería de Innovación Tecnológica' y 'Matemáticas'. Estos programas están estrechamente vinculados a través del tópico MCDM, ya que proporciona herramientas cruciales para gestionar el mantenimiento de sistemas complejos reales utilizando análisis matemáticos serios. El propósito de esta sinergia es tener en cuenta de forma sólida la incertidumbre al atribuir evaluaciones subjetivas, recopilar y sintetizar juicios atribuidos por varios responsables de la toma de decisiones, y tratar con conjuntos grandes de esos elementos. El tema principal del presente trabajo de doctorado es el gestionamiento de las actividades de mantenimiento para aumentar los niveles de innovación tecnológica y el rendimiento de los sistemas complejos. Cualquier sistema puede ser considerado objeto de estudio, incluidos los sistemas de producción y los de prestación de servicios, entre otros, mediante la evaluación de sus contextos reales. Esta tesis doctoral propone afrontar la gestión del mantenimiento a través del desarrollo de tres líneas principales de investigación estrechamente vinculadas. ¿ La primera es el núcleo, e ilustra la mayoría de los aspectos metodológicos de la tesis. Se refiere al uso de métodos MCDM para apoyar decisiones estratégicas de mantenimiento, y para hacer frente a la incertidumbre que afecta a los datos/evaluaciones, incluso cuando están involucrados varios responsables (expertos en mantenimiento) en la toma de decisiones. ¿ La segunda línea desarrolla análisis de fiabilidad para sistemas complejos reales (también en términos de fiabilidad humana) sobre cuya base se debe implementar cualquier actividad de mantenimiento. Estos análisis consideran la configuración de fiabilidad de los componentes del sistema en estudio y las características específicas del entorno operativo. ¿ La tercera línea de investigación aborda aspectos metodológicos importantes de la gestión de mantenimiento y enfatiza la necesidad de monitorizar el funcionamiento de las actividades de mantenimiento y de evaluar su efectividad utilizando indicadores adecuados. Se ha elaborado una amplia gama de casos de estudio del mundo real para evaluar la eficacia de los métodos MCDM en el mantenimiento y así probar la utilidad del enfoque propuesto.[CA] Aquesta tesi doctoral proposa l'ús de mètodes de presa de decisions multi-criteri (MCDM, per les seves inicials en anglès) com a eina estratègica per donar suport a la gestió del manteniment de sistemes complexos. El desenvolupament d'aquesta tesi doctoral s'emmarca dins d'un acord de cotutela entre la Università degli Studi di Palermo (UNIPA) i la Universitat Politècnica de València (UPV), dins dels seus respectius programes de doctorat en 'Enginyeria d'Innovació Tecnològica' i ' Matemàtiques '. Aquests programes estan estretament vinculats a través del tòpic MCDM, ja que proporciona eines crucials per gestionar el manteniment de sistemes complexos reals utilitzant anàlisis matemàtics profunds. El propòsit d'aquesta sinergia és tenir en compte de forma sòlida la incertesa en atribuir avaluacions subjectius, recopilar i sintetitzar judicis atribuïts per diversos responsables de la presa de decisions, i tractar amb conjunts grans d'aquests elements en els problemes plantejats. El tema principal del present treball de doctorat es la gestió de les activitats de manteniment per augmentar els nivells d'innovació tecnològica i el rendiment dels sistemes complexos. Qualsevol sistema pot ser considerat objecte d'estudi, inclosos els sistemes de producció i els de prestació de serveis, entre d'altres, mitjançant l'avaluació dels seus contextos reals. Aquesta tesi doctoral proposa afrontar la gestió del manteniment mitjançant el desenvolupament de tres línies principals d'investigació estretament vinculades. ¿ La primera és el nucli, i il·lustra la majoria dels aspectes metodològics de la tesi. Es refereix a l'ús de mètodes MCDM per donar suport a decisions estratègiques de manteniment, i per fer front a la incertesa que afecta les dades/avaluacions, fins i tot quan estan involucrats diversos responsables (experts en manteniment) en la presa de decisions. ¿ La segona línia desenvolupa anàlisis de fiabilitat per a sistemes complexos reals (també en termes de fiabilitat humana) sobre la qual base s'ha d'implementar qualsevol activitat de manteniment. Aquestes anàlisis consideren la configuració de fiabilitat dels components del sistema en estudi i les característiques específiques de l'entorn operatiu. ¿ La tercera línia d'investigació aborda aspectes metodològics importants de la gestió de manteniment i emfatitza la necessitat de monitoritzar el funcionament de les activitats de manteniment i d'avaluar la seva efectivitat utilitzant indicadors adequats. S'ha elaborat una àmplia gamma de casos d'estudi del món real per avaluar l'eficàcia dels mètodes MCDM en el manteniment i així provar la utilitat de l'enfocament proposat.[EN] This doctoral thesis proposes using multi-criteria decision making (MCDM) methods as a strategic tool to support maintenance management of complex systems. The development of this doctoral thesis is framed within a cotutelle (co-tutoring) agreement between the Università degli Studi di Palermo (UNIPA) and the Universitat Politècnica de València (UPV), within their respective programmes of doctorates in 'Technological Innovation Engineering' and 'Mathematics'. Regarding this thesis, these programmes are closely linked through the topic of MCDM, providing crucial tools to manage maintenance of real complex systems by applying in-depth mathematical analyses. The purpose of this connection is to robustly take into account uncertainty in attributing subjective evaluations, collecting and synthetizing judgments attributed by various decision makers, and dealing with large sets of elements characterising the faced issue. The main topic of the present doctoral work is the management of maintenance activities to increase the levels of technological innovation and performance of the analysed complex systems. All kinds of systems can be considered as objects of study, including production systems and service delivery systems, among others, by evaluating their real contexts. Thus, this doctoral thesis proposes facing maintenance management through the development of three tightly linked main research lines. ¿ The first is the core and illustrates most of the methodological aspects of the thesis. It refers to the use of MCDM methods for supporting strategic maintenance decisions, and dealing with uncertainty affecting data/evaluations even when several decision makers are involved (experts in maintenance). ¿ The second line develops reliability analyses for real complex systems (also in terms of human reliability analysis) on the basis of which any maintenance activity must be implemented. These analyses are approached by considering the reliability configuration of both the components belonging to the system under study and the specific features of the operational environment. ¿ The third research line focuses on important methodological aspects to support maintenance management, and emphasises the need to monitor the performance of maintenance activities and evaluate their effectiveness using suitable indicators. A wide range of real real-world case studies has been faced to evaluate the effectiveness of MCDM methods in maintenance and then prove the usefulness of the proposed approach.Carpitella, S. (2019). Multi-criteria decision methods to support the maintenance management of complex systems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11911