2 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
em Bucknell University Digital Commons - Pensilvania - USA
Resumo:
This is the first part of a study investigating a model-based transient calibration process for diesel engines. The motivation is to populate hundreds of parameters (which can be calibrated) in a methodical and optimum manner by using model-based optimization in conjunction with the manual process so that, relative to the manual process used by itself, a significant improvement in transient emissions and fuel consumption and a sizable reduction in calibration time and test cell requirements is achieved. Empirical transient modelling and optimization has been addressed in the second part of this work, while the required data for model training and generalization are the focus of the current work. Transient and steady-state data from a turbocharged multicylinder diesel engine have been examined from a model training perspective. A single-cylinder engine with external air-handling has been used to expand the steady-state data to encompass transient parameter space. Based on comparative model performance and differences in the non-parametric space, primarily driven by a high engine difference between exhaust and intake manifold pressures (ΔP) during transients, it has been recommended that transient emission models should be trained with transient training data. It has been shown that electronic control module (ECM) estimates of transient charge flow and the exhaust gas recirculation (EGR) fraction cannot be accurate at the high engine ΔP frequently encountered during transient operation, and that such estimates do not account for cylinder-to-cylinder variation. The effects of high engine ΔP must therefore be incorporated empirically by using transient data generated from a spectrum of transient calibrations. Specific recommendations on how to choose such calibrations, how many data to acquire, and how to specify transient segments for data acquisition have been made. Methods to process transient data to account for transport delays and sensor lags have been developed. The processed data have then been visualized using statistical means to understand transient emission formation. Two modes of transient opacity formation have been observed and described. The first mode is driven by high engine ΔP and low fresh air flowrates, while the second mode is driven by high engine ΔP and high EGR flowrates. The EGR fraction is inaccurately estimated at both modes, while EGR distribution has been shown to be present but unaccounted for by the ECM. The two modes and associated phenomena are essential to understanding why transient emission models are calibration dependent and furthermore how to choose training data that will result in good model generalization.
Resumo:
Today, crude oil remains a vital resource all around the world. This non-renewable resource powers countries worldwide. Besides serving as an energy source, crude oil is also the most important component for different world economies, especially in developing countries. Ecuador, a small member of the OPEC oil cartel, presents a case where its economy is oil dependent. A great percentage of the country¿s GDP and government¿s budget comes from oil revenues. Ecuador has always been a primary exporter of raw materials. In the last centuries, the country experienced three important economic booms: cacao, bananas, and, ultimately, crude oil. In this sense, the country has not been able to fully industrialize and begin to export manufactured goods, i.e., Ecuador suffers from the Dutch disease. The latter has deterred Ecuador from achieving broad-based economic development. Given crude oil¿s importance for the Ecuadorian economy, the government has always tried to influence the oil industry in search of profits and benefits. Therefore, this thesis, explores the question: how and to what extent have political interventions affected the oil industry in Ecuador from 1990 until March 2014? In general, this thesis establishes an economic history context during the last twenty-four years, attempting to research how political interventions have shaped Ecuador¿s oil industry and economy. In the analysis, it covers a period where political instability prevailed, until Rafael Correa became president. The thesis examines Ecuador¿s participation in OPEC, trying to find explanations as to why the country voluntarily left the organization in 1992, only to rejoin in 2007 when Correa rose to power. During the ¿Revolución Ciudadana¿ period, the thesis researches reforms to the Law of Hydrocarbons, variations in the relations with other nations, the controversy surrounding the YasunÃ-ITT oil block, and the ¿RefinerÃa del PacÃfico¿ construction. The thesis is an Industrial Organization detailed case study that analyzes, updates, and evaluates the intersection of economics and politics in Ecuador¿s crude oil industry during the last 24 years. In this sense I have consulted past theses, newspaper articles, books, and other published data about the petroleum industry, both from a global and Ecuadorian perspective. In addition to published sources, I was able to interview sociologists, public figures, history and economics academics, and other experts, accessing unique unpublished data about Ecuador¿s oil industry. I made an effort to collect information that shows the private and public side of the industry, i.e., from government-related and independent sources. I attempted to remain as objective as possible to make conclusions about the appropriate Industrial Organization policy for Ecuador¿s oil industry, addressing the issue from an economic, social, political, and environmental point of view. I found how Ecuador¿s political instability caused public policy to fail, molding the conduct and market structure of the crude oil industry. Throughout history, developed nations have benefited from low oil prices, but things shifted since oil prices began to rise, which is more beneficial for the developing nations that actually possess and produce the raw material. Nevertheless, Ecuador, a victim of the Dutch disease due to its heavy reliance on crude oil as a primary product, has not achieved broad-based development.