A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Informe de la Reunión de Expertos sobre Cooperación Horizontal en Materia de Gestión de Recursos Hídricos en América Latina y el Caribe = Report of the Expert Meeting on Horizontal Co-operation in Water Resource Management in Latin America and the Caribbean

Informe de reunion sobre cooperacion horizontal en administracion de recursos hidricos en America Latina y el Caribe. Contiene: organizacion de los trabajos, resumen de los debates, resultado de los debates de los Grupos de Trabajo y conclusiones y recomendaciones.

Bases metodológicas y conceptuales para el desarrollo de un sistema de apoyo a la administración de la cooperación técnica: versión preliminar = Conceptual and methodological bases for the development of a support system for the management of technical co-operation

Incluye Bibliografía

Estimativa de componentes de (co)variância de características de crescimento na raça Brahman utilizando inferência bayesiana

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Programas modelos de capacitación en gestión integral para administradores de recursos hídricos = Model programmes for training water resource administrators in integrated management

Incluye Bibliografía

Controle conjunto de admissão de chamadas em redes sem fio co-localizadas

Gerenciamento de recursos de rádio é um tema importante e desafiador em redes sem fio. Na próxima geração de redes (redes 4G) esse tema é ainda mais desafiador devido à necessidade de gerenciamento de recursos das diversas redes sem fio de forma conjunta. Algoritmos de controle de admissão de chamadas (CAC) é uma alternativa viável e amplamente estudada em redes homogêneas para este fim. Contudo, os algoritmos de CAC propostos para redes homogêneas não são adequados para a próxima geração de redes sem fio por não possuírem uma visão global do sistema. Diante da importância de gerenciamento de recursos de rádio e da escassez de algoritmos de CAC destinados às redes heterogêneas, tem-se este tema como foco primário deste trabalho. Além da confecção de um modelo para controle conjunto de admissão de chamadas através da utilização de processos semi-markovianos de decisão, dada a existência de um conglomerado de tecnologias de acesso sem fio atuando colaborativamente, um estudo é realizado buscando-se avaliar o impacto da proporcionalidade existente entre os tamanhos de áreas de coberturas, no desempenho do sistema.

Fishery of the Uçá Crab Ucides Cordatus (Linnaeus, 1763) in a Mangrove Area in Cananéia, State of São Paulo, Brazil: Fishery Performance, Exploitation Patterns and Factors Affecting the Catches

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Inferring population connectivity across the range of distribution of the stiletto shrimp Artemesia longinaris Spence Bate, 1888 (Decapoda, Penaeidae) from DNA barcoding: implications for fishery management

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Effects of uremic solutes on reactive oxygen species in vitro model systems as a possibility of support the renal function management

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

An analysis of an international fishery: introduction to a fishery management strategy compatible with the fishing sector

Máster en Gestión Sostenible de Recursos Pesqueros

Life Cycle Assessment comparativo tra il processo di co-digestione della frazione organica dei rifiuti solidi urbani e dei fanghi di depurazione disidratati e il sistema di gestione attuale. Il caso di Bagnacavallo (RA)

Waste management is becoming, year after year, always more important both for the costs associated with it and for the ever increasing volumes of waste generated. The discussion on the fate of organic fraction of municipal solid waste (OFMSW) leads everyday to new solutions. Many alternatives are proposed, ranging from incineration to composting passing through anaerobic digestion. “For Biogas” is a collaborative effort, between C.I.R.S.A. and R.E.S. cooperative, whose main goal is to generate “green” energy from both biowaste and sludge anaerobic co-digestion. Specifically, the project include a pilot plant receiving dewatered sludge from both urban and agro-industrial sewage (DS) and the organic fraction of MSW (in 2/1 ratio) which is digested in absence of oxygen to produce biogas and digestate. Biogas is piped to a co-generation system producing power and heat reused in the digestion process itself, making it independent from the national grid. Digestate undergoes a process of mechanical separation giving a liquid fraction, introduced in the treatment plant, and a solid fraction disposed in landfill (in future it will be further processed to obtain compost). This work analyzed and estimated the impacts generated by the pilot plant in its operative phase. Once the model was been characterized, on the basis of the CML2001 methodology, a comparison is made with the present scenario assumed for OFMSW and DS. Actual scenario treats separately the two fractions: the organic one is sent to a composting plant, while sludge is sent to landfill. Results show that the most significant difference between the two scenarios is in the GWP category as the project "For Biogas" is able to generate “zero emission” power and heat. It also generates a smaller volume of waste for disposal. In conclusion, the analysis evaluated the performance of two alternative methods of management of OFMSW and DS, highlighting that "For Biogas" project is to be preferred to the actual scenario.

Model predictive control in thermal management of multiprocessor systems-on-chip

MultiProcessor Systems-on-Chip (MPSoC) are the core of nowadays and next generation computing platforms. Their relevance in the global market continuously increase, occupying an important role both in everydaylife products (e.g. smartphones, tablets, laptops, cars) and in strategical market sectors as aviation, defense, robotics, medicine. Despite of the incredible performance improvements in the recent years processors manufacturers have had to deal with issues, commonly called “Walls”, that have hindered the processors development. After the famous “Power Wall”, that limited the maximum frequency of a single core and marked the birth of the modern multiprocessors system-on-chip, the “Thermal Wall” and the “Utilization Wall” are the actual key limiter for performance improvements. The former concerns the damaging effects of the high temperature on the chip caused by the large power densities dissipation, whereas the second refers to the impossibility of fully exploiting the computing power of the processor due to the limitations on power and temperature budgets. In this thesis we faced these challenges by developing efficient and reliable solutions able to maximize performance while limiting the maximum temperature below a fixed critical threshold and saving energy. This has been possible by exploiting the Model Predictive Controller (MPC) paradigm that solves an optimization problem subject to constraints in order to find the optimal control decisions for the future interval. A fully-distributedMPC-based thermal controller with a far lower complexity respect to a centralized one has been developed. The control feasibility and interesting properties for the simplification of the control design has been proved by studying a partial differential equation thermal model. Finally, the controller has been efficiently included in more complex control schemes able to minimize energy consumption and deal with mixed-criticalities tasks