Characterization of Oxy-combustion Impacts in Existing Coal-fired Boilers

Reaction Engineering International (REI) managed a team of experts from University of Utah, Siemens Energy, Praxair, Vattenfall AB, Sandia National Laboratories, Brigham Young University (BYU) and Corrosion Management Ltd. to perform multi-scale experiments, coupled with mechanism development, process modeling and CFD modeling, for both applied and fundamental investigations. The primary objective of this program was to acquire data and develop tools to characterize and predict impacts of CO{sub 2} flue gas recycle and burner feed design on flame characteristics (burnout, NO{sub x}, SO{sub x}, mercury and fine particle emissions, heat transfer) and operational concerns (fouling, slagging and corrosion) inherent in the retrofit of existing coal-fired boilers for oxy-coal combustion. Experimental work was conducted at Sandia National Laboratories’ Entrained Flow Reactor, the University of Utah Industrial Combustion Research Facility, and Brigham Young University. Process modeling and computational fluid dynamics (CFD) modeling was performed at REI. Successful completion of the project objectives resulted in the following key deliverables: 1) Multi-scale test data from 0.1 kW bench-scale, 100 kW and 200 kW laboratory-scale, and 1 MW semi-industrial scale combustors that describe differences in flame characteristics, fouling, slagging and corrosion for coal combustion under air-firing and oxygen-firing conditions, including sensitivity to oxy-burner design and flue gas recycle composition. 2) Validated mechanisms developed from test data that describe fouling, slagging, waterwall corrosion, heat transfer, char burnout and sooting under coal oxy-combustion conditions. The mechanisms were presented in a form suitable for inclusion in CFD models or process models. 3) Principles to guide design of pilot-scale and full-scale coal oxy-firing systems and flue gas recycle configurations, such that boiler operational impacts from oxy-combustion retrofits are minimized. 4) Assessment of oxy-combustion impacts in two full-scale coal-fired utility boiler retrofits based on computational fluid dynamics (CFD) modeling of air-fired and oxygen-fired operation. This research determined that it is technically feasible to retrofit the combustion system in an air-fired boiler for oxy-fired operation. The impacts of CO{sub 2} flue gas recycle and burner design on flame characteristics (burnout, NO{sub x}, SO{sub x}, mercury and fine particle emissions, heat transfer) and operational concerns (fouling, slagging and corrosion) were minimal, with the exception of high sulfur levels resulting from untreated flue gas recycle with medium and high-sulfur coals. This work focused on combustion in the radiant and convective sections of the boiler and did not address boiler system integration issues, plant efficiencies, impacts on downstream air pollution control devices, or CO{sub 2} capture and compression. The experimental data, oxy-firing system principles and oxy-combustion process mechanisms provided by this work can be used by electric utilities, boiler OEMs, equipment suppliers, design firms, software vendors, consultants and government agencies to assess retrofit applications of oxy-combustion technologies to existing boilers and to guide development of new designs

Characterization of Oxy-combustion Impacts in Existing Coal-fired Boilers

This report summarizes Year 1 results of a research program designed to use multi-scale experimental studies and fundamental theoretical models to characterize and predict the impacts of retrofit of existing coal-fired utility boilers for oxy-combustion. Through the course of Year 1 activities, great progress was made toward understanding the issues associated with oxy-combustion retrofit of coal-fired boilers. All four Year 1 milestones and objectives have been, or will be, completed on schedule and within budget. Progress in the four milestone areas may be summarized as follows: • University of Utah has performed size segregated ash composition measurements in the Oxy-Fuel Combustor (OFC). These experiments indicate that oxy-combustion retrofit may impact ash aerosol mineral matter composition. Both flame temperature and flue gas composition have been observed to influence the concentration of calcium, magnesium and iron in the fine particulate. This could in turn impact boiler fouling and slagging. • Sandia National Labs has shown that char oxidation rate is dependent on particle size (for sizes between 60 and 100 microns) by performing fundamental simulations of reacting char particles. These predictions will be verified by making time-resolved optical measurements of char particle temperature, velocity and size in bench-scale experiments before the end of Year 1. • REI and Siemens have completed the design of an oxy-research burner that will be mounted on University of Utah’s pilot-scale furnace, the L1500. This burner will accommodate a wide range of O2, FGR and mixing strategies under conditions relevant for utility boiler operation. Through CFD modeling of the different burner designs, it was determined that the key factor influencing flame stabilization location is particle heat-up rate. The new oxy-research burner and associated equipment is scheduled for delivery before the end of Year 1. • REI has completed a literature survey of slagging and fouling mechanisms in coal-fired power plants to understand key issues influencing these deposition regimes and infer their behavior under oxy-fired conditions. Based on the results of this survey, an algorithm for integrating slagging predictions into CFD models was outlined. This method accounts for ash formation, particle impaction and sticking, deposit growth and physical properties and impact of the deposit on system flow and heat transfer. A model for fouling in the back pass has also been identified which includes vaporization of sodium, deposition of sodium sulfate on fly ash particles and tube surfaces, and deposit growth rate on tubes. In Year 1, REI has also performed a review of the literature describing corrosion in order to understand the behavior of oxidation, sulfidation, chloridation, and carburization mechanisms in air-fired and oxy-combustion systems. REI and Vattenfall have met and exchanged information concerning oxy-coal combustion mechanisms for CFD simulations currently used by Vattenfall. In preparation for Year 2 of this program, two coals (North Antelope PRB, Western bituminous) have been ordered, pulverized and delivered to the University of Utah and Sandia National Labs. Materials for the corrosion experiments have been identified, suppliers located, and a schedule for equipment fabrication and shakedown has been established. Finally, a flue gas recycle system has been designed and is being constructed for the OFC

Non-polynomial Worst-Case Analysis of Recursive Programs

We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form $\mathcal{O}(n\log n)$ as well as $\mathcal{O}(n^r)$ where $r$ is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain $\mathcal{O}(n \log n)$ worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain $\mathcal{O}(n^r)$ bound such that $r$ is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

Rendering sexism invisible in workplace narratives. A narrative analysis of female entrepreneurs’ stories of not being talked to by men

Taking a social constructionist and narrative approach to identity, in the analyses of a corpus of stories concerning sexism in the entrepreneurial world, we use positioning theory to provide a fine-grained analysis of the (gendered) identity work that female entrepreneurs perform to answer three research questions: 1) how female entrepreneurs themselves construct their (gendered) identities 2) how this differs from, or resembles, academic constructs of sexism and 3) what this identity work ‘means’ in terms of larger societal Discourses or ideologies that are invoked. Findings suggest that paradoxically these stories construct gender identities in which the female entrepreneurs are positioned as inferior to, and different from, their male interlocutors. However, the interviewees themselves fail to evaluate their stories as sexism-in-action. Consequently, they enforce and (re)create the often noted masculine and sexist nature of the entrepreneurial world

The Simons Observatory: Galactic Science Goals and Forecasts

Observing in six frequency bands from 27 to 280 GHz over a large sky area, the Simons Observatory (SO) is poised to address many questions in Galactic astrophysics in addition to its principal cosmological goals. In this work, we provide quantitative forecasts on astrophysical parameters of interest for a range of Galactic science cases. We find that SO can: constrain the frequency spectrum of polarized dust emission at a level of $\Delta\beta_d \lesssim 0.01$ and thus test models of dust composition that predict that $\beta_d$ in polarization differs from that measured in total intensity; measure the correlation coefficient between polarized dust and synchrotron emission with a factor of two greater precision than current constraints; exclude the non-existence of exo-Oort clouds at roughly 2.9$\sigma$ if the true fraction is similar to the detection rate of giant planets; map more than 850 molecular clouds with at least 50 independent polarization measurements at 1 pc resolution; detect or place upper limits on the polarization fractions of CO(2-1) emission and anomalous microwave emission at the 0.1% level in select regions; and measure the correlation coefficient between optical starlight polarization and microwave polarized dust emission in $1^\circ$ patches for all lines of sight with $N_{\rm H} \gtrsim 2\times10^{20}$ cm$^{-2}$. The goals and forecasts outlined here provide a roadmap for other microwave polarization experiments to expand their scientific scope via Milky Way astrophysics.Comment: Submitted to AAS journals. 33 pages, 10 figure

Cost analysis of nondeterministic probabilistic programs

We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach using experimental results on a variety of programs for which we efficiently synthesize tight resource-usage bounds

Cost Analysis of Nondeterministic Probabilistic Programs

We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach by presenting experimental results on a variety of programs, motivated by real-world applications, for which we efficiently synthesize tight resource-usage bounds.Comment: A conference version will appear in the 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019

Disgust Sensitivity and the Neurophysiology of Left- Right Political Orientations

Disgust has been described as the most primitive and central of emotions. Thus, it is not surprising that it shapes behaviors in a variety of organisms and in a variety of contexts—including homo sapien politics. People who believe they would be bothered by a range of hypothetical disgusting situations display an increased likelihood of displaying right-of-center rather than left-of-center political orientations. Given its primal nature and essential value in avoiding pathogens disgust likely has an effect even without registering in conscious beliefs. In this article, we demonstrate that individuals with marked involuntary physiological responses to disgusting images, such as of a man eating a large mouthful of writhing worms, are more likely to self-identify as conservative and, especially, to oppose gay marriage than are individuals with more muted physiological responses to the same images. This relationship holds even when controlling for the degree to which respondents believe themselves to be disgust sensitive and suggests that people’s physiological predispositions help to shape their political orientations