Cooperative and market-based solutions to pollution abatement problems

This work concerns itself with the possibility of solutions, both cooperative and market based, to pollution abatement problems. In particular, we are interested in pollutant emissions in Southern California and possible solutions to the abatement problems enumerated in the 1990 Clean Air Act. A tradable pollution permit program has been implemented to reduce emissions, creating property rights associated with various pollutants.

Before we discuss the performance of market-based solutions to LA's pollution woes, we consider the existence of cooperative solutions. In Chapter 2, we examine pollutant emissions as a trans boundary public bad. We show that for a class of environments in which pollution moves in a bi-directional, acyclic manner, there exists a sustainable coalition structure and associated levels of emissions. We do so via a new core concept, one more appropriate to modeling cooperative emissions agreements (and potential defection from them) than the standard definitions.

However, this leaves the question of implementing pollution abatement programs unanswered. While the existence of a cost-effective permit market equilibrium has long been understood, the implementation of such programs has been difficult. The design of Los Angeles' REgional CLean Air Incentives Market (RECLAIM) alleviated some of the implementation problems, and in part exacerbated them. For example, it created two overlapping cycles of permits and two zones of permits for different geographic regions. While these design features create a market that allows some measure of regulatory control, they establish a very difficult trading environment with the potential for inefficiency arising from the transactions costs enumerated above and the illiquidity induced by the myriad assets and relatively few participants in this market.

It was with these concerns in mind that the ACE market (Automated Credit Exchange) was designed. The ACE market utilizes an iterated combined-value call market (CV Market). Before discussing the performance of the RECLAIM program in general and the ACE mechanism in particular, we test experimentally whether a portfolio trading mechanism can overcome market illiquidity. Chapter 3 experimentally demonstrates the ability of a portfolio trading mechanism to overcome portfolio rebalancing problems, thereby inducing sufficient liquidity for markets to fully equilibrate.

With experimental evidence in hand, we consider the CV Market's performance in the real world. We find that as the allocation of permits reduces to the level of historical emissions, prices are increasing. As of April of this year, prices are roughly equal to the cost of the Best Available Control Technology (BACT). This took longer than expected, due both to tendencies to mis-report emissions under the old regime, and abatement technology advances encouraged by the program. Vve also find that the ACE market provides liquidity where needed to encourage long-term planning on behalf of polluting facilities.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Ancylidae (Mollusca, Heterobranchia, Pulmonata, Basommatophora) do Estado do Rio de Janeiro, Brasil: morfologia, sistemática e distribuição geográfica

Os moluscos pateliformes de água doce da região Neotropical são comumente atribuídos a família Ancylidae sensu latum, abrangendo sete gêneros com pelo menos 13 espécies válidas e sete com identificação duvidosa. Os ancilídeos possuem pequenas dimensões, alcançam no máximo 15 mm de comprimento. Sua concha é frágil, composta por duas regiões, a protoconcha e a teleoconcha, as quais apresentam caracteres relevantes para a sistemática. Na parte mole as impressões musculares, a pigmentação do manto, o sistema reprodutor e a rádula são importantes para o estudo da família. Apesar de existirem vários registros de ocorrência para ancílideos no Estado do Rio de Janeiro (ERJ), existem poucos dados morfológicos. O principal objetivo deste estudo foi fornecer e ampliar as informações sobre a morfologia e distribuição geográfica das espécies de Ancylidae encontradas no ERJ. Os materiais utilizados foram procedentes de coletas próprias, material depositado em Coleções Científicas e dados de revisão bibliográfica. O estudo da morfologia comparada das conchas foi realizado com o auxílio de imagens de microscópio óptico e de varredura. Para a comparação das partes moles, os espécimes foram corados e dissecados sob lupa. Através da conquiliometria analisamos as diferenças inter e intrapopulacionais. Com este trabalho, a riqueza conhecida para Ancylidae no ERJ, aumentou de cinco para sete espécies: Burnupia sp., Ferrissia sp., Gundlachia radiata (Guilding, 1828),G. ticaga (Marcus & Marcus, 1962), Gundlachia sp., Hebetancylus moricandi (d`Orbigny, 1837) e Uncancylus concentricus (d`Orbigny, 1837). Gundlachia radiata e U. concentricus constituem novos registros para o ERJ, e G. radiata para a Região Sudeste. As três espécies com o maior número de registros de ocorrência no ERJ foram: G. ticaga (66%), Ferrissia sp. (37%) e Gundlachia sp. (18%). A ampla distribuição de G. ticaga pode ser devido à capacidade de suportar ambientes impactados. Em relação à morfologia, Burnupia sp. difere de Burnupia ingae Lanzer, 1991, única espécie deste gênero descrita para o Brasil, por apresentar diferenças na microescultura da concha e também na forma das impressões musculares. Ferrissia sp. difere de F. gentilis Lanzer, 1991, devido a diferenças na microescultura apical e número de cúspides no dente central da rádula. Gundlachia sp. é diferente de G. ticaga e G. radiata, por apresentar a abertura da concha mais arredondada, ápice mais recurvado, ultrapassando a borda da concha, pontuações irregulares em toda a protoconcha e forma dos músculos adutores anterior direito e posterior mais elíptica. A morfologia interna também mostra diferenças entre Gundlachia sp. e G. ticaga, como o apêndice terminal do útero e o número de folículos do ovoteste. Através das análises conquiliométricas, constatamos para os gêneros Burnupia, Ferrrissia e Gundlachia, que os índices morfométricos se mostraram melhores que as medidas lineares para a discriminação das espécies, provavelmente porque esses índices diminuem o efeito da amplitude de tamanho das conchas, que são fortemente influenciadas pelas variações ecofenotípicas. Contudo, os caracteres diagnósticos das conchas e das partes moles (impressões musculares) são indispensáveis para a identificação dos gêneros e espécies de Ancylidae. Palavras-chave: Mollusca. Moluscos de água doce. Morfologia. Distribuição geográfica. Estado do Rio de Janeiro.uscos.

From lakes to lungs : assessing microbial activity in diverse environments

All major geochemical cycles on the Earth’s surface are mediated by microorganisms. Our understanding of how these microbes have interacted with their environments (and vice versa) throughout Earth's history, and how they will respond to changes in the future, is primarily based on studying their activity in different environments today. The overarching questions that motivate the research presented in the two parts of this thesis -- how do microorganisms shape their environment (and vice versa)? and how can we best study microbial activity in situ? -- have arisen from the ultimate goal of being able to predict microbial activity in response to changes within their environments both past and future.

Part one focuses on work related to microbial processes in iron-rich Lake Matano and, more broadly, microbial interactions with the biogeochemical cycling of iron. Primarily, we find that the chelation of ferrous iron by organic ligands can affect the role of iron in anoxic environmental systems, enabling photomixotrophic growth of anoxygenic microorganisms with ferrous iron, as well as catalyzing the oxidation of ferrous iron by denitrification intermediates. These results imply that the ability to grow photomixotrophically on ferrous iron might be more widespread than previously assumed, and that the co-occurrence of chemical and biological processes involved in the coupled biogeochemical cycling of iron and nitrogen likely dominate organic-rich environmental systems.

Part two switches focus to in situ measurements of growth activity and comprises work related to microbial processes in the Cystic Fibrosis lung, and more broadly, the physiology of slow growth. We introduce stable isotope labeling of microbial membrane fatty acids and whole cells with heavy water as a new technique to measure microbial activity in a wide range of environments, demonstrate its application in continuous culture in the laboratory at the population and single cell level, and apply the tool to measure the in situ activity of the opportunistic pathogen Staphylococcus aureus within the environment of expectorated mucus from cystic fibrosis patients. We find that the average in situ growth rates of S. aureus fall into a range of generation times between ~12 hours and ~4 days, with substantial heterogeneity at the single-cell level. These data illustrate the use of heavy water as a universal environmental tracer for microbial activity, and highlight the crucial importance of studying the physiology of slow growth in representative laboratory systems in order to understand the role of these microorganisms in their native environments.

Different patterns of uptake and depuration of cadmium by periphyton community and a grazer species (Physa sp.): A mesocosm evalution

Widespread pollution by heavy metals generated by various industries has serious adverse effects on human health and the environment. Cadmium is a heavy metal recognised as one of the most hazardous environmental pollutants. It is a non-essential and non-beneficial element to organisms, causing toxicity and other deleterious effects on various components of the aquatic environment. The ability of algal periphyton to concentrate cadmium from fresh water is well known. Moreover, periphyton communities are able to accumulate large amounts of cadmium despite its low concentration in fresh water. Many researchers use algal periphyton as an indicator of water quality in aquatic environments. In the present study, the authors ask two basic questions: Does cadmium accumulate along a food chain consisting of the periphyton community and a grazer species (Physa sp.) under semi-natural conditions provided by artificial streams? If not, which one can better indicate the water quality?

Biological environments of larger UK rivers: progress report 1987

This interim progress report for the 9 months from January 1987 to September 1987 aims to provide insights into the mechanisms by which populations of particles (in this instance, phytoplankton) behave in relation to fluvial flow and, thus, to better model the dispersive properties of rivers and the ecological principles governing the distribution of potamoplankton generally. The author has been able to show with dye-tracers that significant water retention in pool reaches occurs within the range of (low) discharges obtaining, in accord with the Aggregated Dead Zone model and to an extent comparable with streams and small rivers investigated previously.

Mussel eggs as indicators of mutagen exposure in coastal and estuarine environments

The aim of this study was to develop a short-term genotoxicity assay for monitoring the marine environment for mutagens. Based on the developing eggs and embryos of the marine mussel Mytilus edulis, an important pollution indicator species, the test employs the sensitive sister chromatid exchange (SCE) technique as its end-point, and exploits the potential of mussel eggs to accumulate mutagenic pollutants from the surrounding sea water. Mussel eggs take up to 6 months to develop while in the gonad, which provides scope for DNA damage to be accumulated over an extended time interval; chromosome damage is subsequently visualised as SCEs in 2-cell-stage embryos after these have been spawned in the laboratory. Methods which measure biological responses to pollutant exposure are able to integrate all the factors (internal and external) which contribute to the exposure. The new cytogenetic assay allows the effects of adult exposure to be interpreted in cells destined to become part of the next generation.

CONTRIBUTION TO THE DEVELOPMENT OF INTELLIGENT CONVERSATIONAL ASSISTANTS IN AUTOMOTIVE ENVIRONMENTS

Esta tesis presenta el diseño y desarrollo del Asistente Conversacional del Automóvil, Voice User Help en inglés, un sistema conversacional basado en el paradigma pregunta-respuesta y diseñado para consultar documentación del vehículo duartne la conducción. Este trabajo recoge investigaciones realizadas en los campos de la documentación técnica, recuperación de información, procesamineto de lenguaje natural, diseñode interfaces de usuario para vehículos, experiencia del usuario y computación afectiva con el fin de crear un asistente adaptativo y dinámico que modifica su comportamiento conversacional dependiendo del estado emocional del usuario.