Publications

Methane (CH₄), an abundant greenhouse gas, is the second largest contributor to global warming after carbon dioxide (CO₂). In comparison to CO₂, CH₄ has a larger warming effect over a much shorter lifetime. While technologies to radically reduce global carbon dioxide emissions are materializing, rapid reductions in methane emissions are needed to limit near-term warming. Methane is primarily emitted as a byproduct from agricultural activities and energy extraction/utilization and is currently monitored via bottom-up (i.e., activity level) or top-down (via airborne or satellite retrievals) approaches. However, significant methane leaks remain undetected, and emission rates are challenging to characterize with current monitoring frameworks. In this report, we study methane leaks from oil and gas infrastructure using a tiered monitoring approach that combines bottom-up and top-down approaches in an integrated framework. We describe the individual advantages of bottom-up and top-down sensors in both stationary and mobile settings before characterizing how a fully integrated framework can improve predictions and uncertainties of potential leak locations and their emission rates. Further, we study the impact of different atmospheric (wind) conditions on integrated methane monitoring and develop a probabilistic approach to optimal sensor placement, thereby shortening detection times and improving monitoring capabilities. Last, we discuss how biogenic flux modeling can be used to improve assessment of background methane concentrations needed to fully assess the sensitivity of a tiered monitoring system.

Complex networks of information processing systems, or information supply chains, present challenges for performance analysis. We establish a mathematical setting, in which a process within an information supply chain can be analyzed in terms of the functionality of the system's components. Principles of this methodology are rigorously defended and induce a model for determining the reliability for the various products in these networks. Our model does not limit us from having cycles in the network, as long as the cycles do not contain negation. It is shown that our approach to reliability resolves the nonuniqueness caused by cycles in a probabilistic Boolean network. An iterative algorithm is given to find the reliability values of the model, using a process that can be fully automated. This automated method of discerning reliability is beneficial for systems managers. As a systems manager considers systems modification, such as the replacement of owned and maintained hardware systems with cloud computing resources, the need for comparative analysis of system reliability is paramount. The model is extended to handle conditional knowledge about the network, allowing one to make predictions of weaknesses in the system. Finally, to illustrate the model's flexibility over different forms, it is demonstrated on a system of components and subcomponents.

Abstract not provided.

Abstract not provided.