Generation of bioenergy and biofertilizer on a sustainable rural property

Energy sources have become a focus of legal, ethical, social and economic pressures due to increasing environmental problems. Nonrenewable energy sources are being increasingly replaced by other sources that are renewable and less pollutive, with technologies aimed at sustainability. Companies that adopt alternative forms of energy will be able to increase their competitiveness and use wastes to generate energy, which is an ecological and economical efficiency approach. In the interior of the state of São Paulo, Brazil, a rural producer of pork crackling and coffee evaluated the entire production cycle of his products and wastes, seeking to achieve energy self sufficiency and identify new possibilities for gains through cost reductions. Biodiesel, soap and detergent are produced with the waste animal fat left from the production of pork crackling. Pig farm wastes become biomass for a biodigester, which produces sufficient biogas to keep the piglets warm, dry the coffee, fry the pork crackling, and generate electricity, among other uses. The biofertilizer produced by the biodigester helps fertilize coffee and corn plantations. The purpose of this article is to demonstrate the ecological and economic feasibility of the project. The research method used here is a case study involving qualitative analyses of environmental and social variables and quantitative analyses of economic variables. It is concluded that the investment made in this project yields excellent returns, with savings of 100% in fuels, 50% in electric energy and 40% in fertilizer, in addition to gains from the products developed with the wastes.     

Production of renewable hydrogen from aqueous-phase reforming of glycerol over Pt catalysts supported on different oxides

Aqueous-phase reforming of oxygenated hydrocarbons for hydrogen production presents several advantages as feed molecules can be easily found in a wide range of biomass, there is no need for its vaporization and the process allows thorough exploitation of the environmental benefits of using hydrogen as an energy carrier. The use of glycerol in particular is motivated due to its availability as a consequence of increasing biodiesel production worldwide. In this contribution, the performance of Pt-based catalysts supported on different oxides (Al₂O₃, ZrO₂, MgO and CeO₂) is studied on glycerol reforming. All catalysts led to a hydrogen-rich gas phase. However, a good potential activity with high production of hydrogen and low concentration of undesired hydrocarbons was accomplished over the catalysts supported on MgO and ZrO₂. The high electron donating character of such oxides indicates the influence of the nature of the support in catalytic performance for glycerol reforming.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Composite reliability evaluation by sequential Monte Carlosimulation on parallel and distributed processing environments

This paper describes two parallel methodologies for composite reliability evaluation using sequential Monte Carlo simulation. The methodologies are based on coarse grain asynchronous implementations. In the first methodology, a complete simulation year is analyzed on a single processor and the many simulated years necessary for convergence are analyzed in parallel. In the second methodology, the adequacy analysis of the system operating states within the simulated years is performed in parallel and the convergence is checked on one processor at the end of each simulated year. The methodologies are implemented on a 10 nodes IBM RS/6000 SP scalable distributed memory parallel computer and on a network of 8 IBM RS/6000 43P workstations. The results obtained in tests with actual power system models showed high speedup and efficiency on both parallel platforms