The limits of human development and the use of energy and natural resources

The development of nations is an unquestionable requirement. A lot of challenges concerning health, education and economy are present. A discussion on these development models has occupied the minds of decision makers in recent years. When energy supply and demand is considered, the situation becomes critical and the crucial question is: how to improve the quality of life of developing countries based on available models of development that are related to the life style of developed countries, for which the necessary use and waste of energy are present? How much energy is essential to humanity for not so as to endangering the survival conditions of future generations? the human development index (HDI) establishes the relationship among energy use, economic growth and social growth. Here it can be seen that 75% of the world population has a significant energy consumption potential. This is a strong reason to consider that the sustainable development concepts on energy policies are strategic to the future of the planet. This paper deals with the importance of seeking alternative development models for human development balance, natural resources conservation and environment through rational energy use concepts. (c) 2004 Elsevier Ltd. All rights reserved.

Contribution of energy services to the Millennium Development Goals and to poverty alleviation in Latin America and the Caribbean: executive summary

Includes bibliography

Contribution of energy services to the millennium development goals and to poverty alleviation in Latin America and the Caribbean

Includes bibliography

First Europe-Latin America Dialogue on Promotion of Energy Efficiency

Includes bibliography

Economic Commission for Latin America and its activities in the field of energy

Informa acerca de las actividades realizadas por la CEPAL y oficinas subregionales en materia de energia. Incluye resoluciones aprobadas por la Comision relativas al tema.

Natural resources: status and trends towards a regional development agenda in Latin America and the Caribbean. Contribution of the Economic Commission for Latin America and the Caribbean to the Community of Latin American and Caribbean States

Includes bibliography.

A study on energy issues in the Caribbean: potential for mitigating climate change

The United Nations Economic Commission for Latin America and the Caribbean (ECLAC) is seeking to provide support to the Governments of Guyana, Jamaica and Barbados in researching the potential for employing renewable energy technologies to mitigate climate change. This exercise involves the study of different types of renewable technologies and mitigative strategies, with the aim of making recommendations to the governments on the development of their renewable energy sector. The recommendations may also assist in achieving their long-term objectives of reducing poverty and promoting healthy economies and sustainable livelihoods in keeping with the Millennium Development Goals. Guyana, Jamaica and Barbados each face common and specific challenges in their efforts to adequately define and implement their energy and climate policies, in a way that allows them to contribute to the mitigation effort against climate change, while promoting sustainable development within their countries. Each country has demonstrated an understanding of the global and national challenges pertaining to climate change. They have attempted to address these challenges through policies and various programmes implemented by local and international agencies. Documented and undocumented policies have sought to outline the directions to be taken by each territory as they seek to deploy new technologies to address issues related to energy and the environment. While all territories have sought to deploy multiple alternate and renewable technologies simultaneously, it is clear that, given their sizes and resource limitations, no one territory can achieve excellence in all these areas. Guyana has demonstrated the greatest potential for hydro energy and should pursue it as their main area of expertise. The country also has an additional major strategy that includes forest credits and the Reduced Emissions from Deforestation and Degradation (REDD) programme. This approach will be brought to the negotiation table in the upcoming climate change meeting in Copenhagen in December 2009. Of the three countries, Jamaica has the only active significant wind farm deployment, while Barbados has a long tradition in solar energy. Each country might then supplement their energy and fuel mix with other energy and fuel sources and draw from the experience of other countries. Given the synergies that might accrue from adopting a regional approach, the Caribbean Community Climate Change Centre (CCCCC) might be well positioned to play a coordinating role. This focus on renewable energy and biofuels should yield good, long-term results as it relates to mitigation against climate change, and good, short- and medium-term results as it relates to the development of sustainable economies. Each country might also achieve energy security, reduced oil dependence, significant reduction in harmful emissions and better foreign exchange management if they pursue good policies and implementation practices. Human and financial resources are critical to the success of planned interventions, and it will be necessary to successfully mobilize these resources in order to be effective in executing key plans.

Energy Export Restrictions in the WTO Between Resources Nationalism and Sustainable Development

This chapter aims at contributing to the trade and energy debate by focusing on the specific issue of export restrictions. It starts from the premise that a balanced and efficient regulation of export barriers in the energy sector would contribute to tackle emerging energy concerns such as energy security and the elimination of fossil fuel subsidies in light of the challenge of climate change mitigation. It assesses the adequacy of existing WTO rules on export restric­tions and accordingly identifies the main gaps and inconsistencies inherent in the current disciplines from an energy-specific perspective. Finally, it discusses the merits of an energy-specific approach to advance existing disciplines in the most deficient area of export duties based on the systematisation of the Russian ‘model’. Such approach could raise the overall level of commitments in the energy sector while still allowing for the systemic applicability of GATT environmental exceptions in a manner consistent with the principle of sus­tainable development recognised in the Preamble of the WTO Agreement.

Improved static analysis and verification of energy consumption and other resources via abstract interpretation

Resource analysis aims at inferring the cost of executing programs for any possible input, in terms of a given resource, such as the traditional execution steps, time ormemory, and, more recently energy consumption or user defined resources (e.g., number of bits sent over a socket, number of database accesses, number of calls to particular procedures, etc.). This is performed statically, i.e., without actually running the programs. Resource usage information is useful for a variety of optimization and verification applications, as well as for guiding software design. For example, programmers can use such information to choose different algorithmic solutions to a problem; program transformation systems can use cost information to choose between alternative transformations; parallelizing compilers can use cost estimates for granularity control, which tries to balance the overheads of task creation and manipulation against the benefits of parallelization. In this thesis we have significatively improved an existing prototype implementation for resource usage analysis based on abstract interpretation, addressing a number of relevant challenges and overcoming many limitations it presented. The goal of that prototype was to show the viability of casting the resource analysis as an abstract domain, and howit could overcome important limitations of the state-of-the-art resource usage analysis tools. For this purpose, it was implemented as an abstract domain in the abstract interpretation framework of the CiaoPP system, PLAI.We have improved both the design and implementation of the prototype, for eventually allowing an evolution of the tool to the industrial application level. The abstract operations of such tool heavily depend on the setting up and finding closed-form solutions of recurrence relations representing the resource usage behavior of program components and the whole program as well. While there exist many tools, such as Computer Algebra Systems (CAS) and libraries able to find closed-form solutions for some types of recurrences, none of them alone is able to handle all the types of recurrences arising during program analysis. In addition, there are some types of recurrences that cannot be solved by any existing tool. This clearly constitutes a bottleneck for this kind of resource usage analysis. Thus, one of the major challenges we have addressed in this thesis is the design and development of a novel modular framework for solving recurrence relations, able to combine and take advantage of the results of existing solvers. Additionally, we have developed and integrated into our novel solver a technique for finding upper-bound closed-form solutions of a special class of recurrence relations that arise during the analysis of programs with accumulating parameters. Finally, we have integrated the improved resource analysis into the CiaoPP general framework for resource usage verification, and specialized the framework for verifying energy consumption specifications of embedded imperative programs in a real application, showing the usefulness and practicality of the resulting tool.---ABSTRACT---El Análisis de recursos tiene como objetivo inferir el coste de la ejecución de programas para cualquier entrada posible, en términos de algún recurso determinado, como pasos de ejecución, tiempo o memoria, y, más recientemente, el consumo de energía o recursos definidos por el usuario (por ejemplo, número de bits enviados a través de un socket, el número de accesos a una base de datos, cantidad de llamadas a determinados procedimientos, etc.). Ello se realiza estáticamente, es decir, sin necesidad de ejecutar los programas. La información sobre el uso de recursos resulta muy útil para una gran variedad de aplicaciones de optimización y verificación de programas, así como para asistir en el diseño de los mismos. Por ejemplo, los programadores pueden utilizar dicha información para elegir diferentes soluciones algorítmicas a un problema; los sistemas de transformación de programas pueden utilizar la información de coste para elegir entre transformaciones alternativas; los compiladores paralelizantes pueden utilizar las estimaciones de coste para realizar control de granularidad, el cual trata de equilibrar el coste debido a la creación y gestión de tareas, con los beneficios de la paralelización. En esta tesis hemos mejorado de manera significativa la implementación de un prototipo existente para el análisis del uso de recursos basado en interpretación abstracta, abordando diversos desafíos relevantes y superando numerosas limitaciones que éste presentaba. El objetivo de dicho prototipo era mostrar la viabilidad de definir el análisis de recursos como un dominio abstracto, y cómo se podían superar las limitaciones de otras herramientas similares que constituyen el estado del arte. Para ello, se implementó como un dominio abstracto en el marco de interpretación abstracta presente en el sistema CiaoPP, PLAI. Hemos mejorado tanto el diseño como la implementación del mencionado prototipo para posibilitar su evolución hacia una herramienta utilizable en el ámbito industrial. Las operaciones abstractas de dicha herramienta dependen en gran medida de la generación, y posterior búsqueda de soluciones en forma cerrada, de relaciones recurrentes, las cuales modelizan el comportamiento, respecto al consumo de recursos, de los componentes del programa y del programa completo. Si bien existen actualmente muchas herramientas capaces de encontrar soluciones en forma cerrada para ciertos tipos de recurrencias, tales como Sistemas de Computación Algebraicos (CAS) y librerías de programación, ninguna de dichas herramientas es capaz de tratar, por sí sola, todos los tipos de recurrencias que surgen durante el análisis de recursos. Existen incluso recurrencias que no las puede resolver ninguna herramienta actual. Esto constituye claramente un cuello de botella para este tipo de análisis del uso de recursos. Por lo tanto, uno de los principales desafíos que hemos abordado en esta tesis es el diseño y desarrollo de un novedoso marco modular para la resolución de relaciones recurrentes, combinando y aprovechando los resultados de resolutores existentes. Además de ello, hemos desarrollado e integrado en nuestro nuevo resolutor una técnica para la obtención de cotas superiores en forma cerrada de una clase característica de relaciones recurrentes que surgen durante el análisis de programas lógicos con parámetros de acumulación. Finalmente, hemos integrado el nuevo análisis de recursos con el marco general para verificación de recursos de CiaoPP, y hemos instanciado dicho marco para la verificación de especificaciones sobre el consumo de energía de programas imperativas embarcados, mostrando la viabilidad y utilidad de la herramienta resultante en una aplicación real.