In situ synthesis of nanoclay filled polyethylene using polymer supported metallocene catalyst system

In situ ethylene polymerizations were performed using bis(cyclopentadiene)titanium dichloride supported on polyethersulfone as catalyst. The bis(cyclopentadiene)titanium dichloride supported on polyethersulfone catalyst activity estimated by ethylene polymerization was 360 kgPE/molTi/h. During polymerization the fillers used were montmorillionite nanoclays having surface modifications with 35-45 wt% dimethyl dialkyl(14-18)amine (FA) and 25-30 wt% trimethyl stearyl ammonium (FB). These fillers were pretreated with methylaluminoxine (MAO; cocatalyst) for better dispersion onto the polymer matrix. The formation of polyethylene within the whole matrix was confirmed by FTIR studies. It was found that the nature of nanofiller did not have any remarkable effect on the melting characteristics of the polymer. TGA study indicates that nanoclay FB filled polyethylene has higher thermal stability than nanoclay FA filled polyethylene. The melting temperature of the obtained polyethylenes was 142 ºC, which corresponds to that synthesized by the polyether sulfone supported catalyst.

Palladium-supported catalysts in methane combustion: comparison of alumina and zirconia supports

Palladium catalysts supported on alumina and zirconia were prepared by the impregnation method and calcined at 600 and 1000 ºC. Catalysts were characterized by BET measurements, XRD, XPS, O2-TPD and tested in methane combustion through temperature programmed surface reaction. Alumina supported catalysts were slightly more active than zirconia supported catalysts, but after initial heat treatment at 1000 ºC, zirconia supported palladium catalyst showed better performance above 500 ºC A pattern between temperature interval stability of PdOx species and activity was observed, where better PdOx stability was associated with more active catalysts.

Basic properties of potassium oxide supported on zeolite y studied by pyrrole-tpd and catalytic conversion of methylbutynol

ABSTRACT We report on the basic properties of zeolite NaY and potassium supported on NaY (K/NaY) assessed by pyrrole-TPD and MBOH transformation. Pyrrole-TPD revealed that impregnation of zeolite NaY with potassium promoted additional adsorption sites for pyrrole compared to parent zeolite. For zeolite with various potassium loadings, pyrrole adsorbed on K/NaY decreased with increased potassium loading. Reduction in pyrrole adsorption could be due to potassium hindering intrinsic basic sites (lattice oxygen), to oxide of potassium occluding in zeolite cavities restricting access for pyrrole, or to K2O reacting with pyrrole to form nondesorbed pyrrolate anions. On MBOH transformation, potassium almost completely suppressed NaY acid sites while K/NaY basicity increased with potassium loading.

Isomerization-cracking of n-octane on catalysts based on heteropolyacid H3Pw12O40 and heteropolyacid supported on zirconia and promoted with Pt and Cs

Isomerization - cracking of n-octane was studied using H3PW12O40 (HPA) and HPA supported on zirconia and promoted with Pt and Cs. The addition of Pt and Cs to the supported HPA did not modify the Keggin structure. The Pt addition to the supported HPA did not substantially modify the total acidity; however, the Brönsted acidity increased significantly. Cs increased the total acidity and Brönsted acidity. A linear relation was observed between the n-C8 total conversion and Brönsted acidity. The most adequate catalysts for performing isomerization and cracking to yield high research octane number (RON) are those with higher values of Brönsted acidity.

METHANE DRY REFORMING OVER Ni SUPPORTED ON PINE SAWDUST ACTIVATED CARBON: EFFECTS OF SUPPORT SURFACE PROPERTIES AND METAL LOADING

The influence of metal loading and support surface functional groups (SFG) on methane dry reforming (MDR) over Ni catalysts supported on pine-sawdust derived activated carbon were studied. Using pine sawdust as the catalyst support precursor, the smallest variety and lowest concentration of SFG led to best Ni dispersion and highest catalytic activity, which increased with Ni loading up to 3 Ni atoms nm-2. At higher Ni loading, the formation of large metal aggregates was observed, consistent with a lower "apparen" surface area and a decrease in catalytic activity. The H2/CO ratio rose with increasing reaction temperature, indicating that increasingly important side reactions were taking place in addition to MDR.

Catalytic transformations of fatty acid derivatives for food, oleochemicals and fuels over carbon supported platinum group metals

Växtoljor som utgör en förnybar naturresurs används som sådana eller i modifierade former i många industriella processer, som är av stor betydelse för vårt vardagliga liv. Växtoljor används i livsmedel, i kemiska och farmaceutiska produkter, i textilindustrin, för framställning av färgämnen och beläggningsmaterial samt som miljövänliga bränslekomponenter. Fetter och oljor hör till de äldsta kemiska komponenterna som utnyttjas av människan. De består huvudsakligen av glycerolestrar och fettsyror. Fetter och oljor har typiskt en kolkedja med kol-koldubbelbindningar samt karboxyl- och estergrupper, som kan genom hydrering eller dekarboxylering konverteras till nyttiga och miljövänliga produkter med hjälp av ädelmetallkatalysatorer. Aktivt kol (C) används som bärare på katalysatorerna. Väteaddition, d.v.s. hydrering av växtoljor har varit föremål för omfattande forskning i över hundra års tid. Hydreringen är en viktig process, för den tillämpas på produktion av fetter och margarin. Omättade fettsyror hydreras traditionellt på nickelbaserade heterogena katalysatorer. Samtidigt med en partiell hydrering av fettsyrorna och fettsyraestrarna som har två dubbelbindningar pågår också isomeringsreaktioner, vilka ger cis- och transisomerer av reaktantmolekylerna. Den största nackdelen med nickelkatalysatorerna är deras giftighet samt bildning av ohälsosamma transisomerer i reaktionsprodukterna. Dessutom deaktiveras nickelkatalysatorn snabbt p.g.a. att nickeltvålar bildas i reaktionsblandningen. Platinabaserade katalysatorer lider däremot inte av dessa begränsningar. Metaller i platinagruppen i det periodiska systemet studerades i detalj för att avslöja kinetiska effekter i hydreringen av cis-metyloleat. Palladium, rutenium, rhodium, platina och iridium användes som katalytiska metaller. Metallhalten på aktivkolbärare var 1 vikt-%. De olika platinametallerna undersöktes för att kartlägga konkurrerande hydrerings- och isomeringsrutter på metallerna. Det visade sig att metallerna i andra raden av det periodiska systemet (Ru, Rh, Pd) är aktivare i isomeringsprocesserna, medan metallerna i tredje raden (Ir, Pt) har en lägre aktivitet. Pd/C valdes bland platinametallerna, för att den är attraktiv ur ekonomisk synvinkel och den är mycket aktiv och selektiv, speciellt jämfört med nickel. Tyngdpunkten i arbetet var utvecklingen av en alternativ, palladiumbaserad hydreringsteknologi som skulle ersätta den traditionella teknologin som är baserad på användningen av nickelkatalysatorer. Palladiumbaserade katalysatorer kan återcirkuleras, de är aktivare och mera resistenta mot syror och de bildar mindre mängder av skadliga transisomerer. För att denna teknologi skall bli ekonomiskt hållbar och konkurrenskraftig, måste den basera sig på de bästa möjliga katalysatorerna, vilket innebär att en optimal kombination av hög aktivitet och selektivitet samt en lång livstid för katalysatorn krävs. Därför inkluderades teknologiska aspekter kraftigt i forskningen. Mycket arbete satsades på design av palladium på en mesoporös kolbärare och undersökning av korrelationerna mellan katalysatorns egenskaper och dess aktivitet i isomeriseringsreaktionerna och i hydreringen av kol-koldubbelbindningarna i reaktantmolekylen. Katalysatorerna karakteriserades med många fysikaliska och kemiska metoder (transmissionselektronmikroskopi (TEM), röntgendiffraktion (XRD), röntgenfotoelektronspektroskopi (XPS), temperaturprogrammerad reduktion (TPR), temperaturprogrammerad desorption (TPD) av kolmonoxid, kemisorption av kolmonoxid, fysisorption av kväve). Temperaturens, vätetryckets och katalysatorkoncentrationens inverkan på fettsyra- och isomersammansättningen hos de hydrerade oljorna bestämdes under kinetiska betingelser, i frånvaro av massöverföringseffekter. Syreavspjälkning genom fullständig dekarboxylering av karboxylgruppen i fettsyramolekylen är det hittills bästa sättet att framställa miljövänlig dieselolja, eftersom linjära paraffiner fås som reaktionsprodukter och en tillsats av dyr vätgas undviks. Deoxygeneringen undersöktes systematiskt på en Pd/C-katalysator (Sibunit) genom att använda mättade fettsyror C16-C20 och C22 som råvara. Produktmolekylen blev en dieselliknande kolvätemolekyl, med en kolatom färre än i utgångsmolekylen. Lika stora dekarboxyleringshastigheter observerades för rena, mättade fettsyror. En jämförelse av deoxygenereringshastigheterna för stearin-, olein- och linolsyra som råvara vid 300oC i närvaro av 1-volymprocent väte på mesoporös Pd/C (Sibunit) avslöjade att katalysatorns aktivitet och selektivitet ökade med en ökande mättningsgrad av reaktantmolekylen. Då stearinsyra användes som utgångsmolekyl, bestod huvudprodukterna av önskade C17-kolväten, medan mängden av aromatiska C17-komponenter ökade, då olein- och linolsyra användes som utgångsmolekyler. Katalysatordeaktiveringen var relativt påfallande vid deoxygeneringen av linolsyra så att endast 3% av fettsyrorna omsattes till produkter i 330 min. Deaktiveringen orsakades av aromatiska C17-komponenter samt av fettsyradimerer, som bildades via en Diels-Alderreaktion. Hydreringen av omättade fettsyror kan därför rekommenderas som ett primärt kemiskt steg i framställningen av miljövänliga dieselprodukter. Målet var också att öka förståelsen av palladiummetallernas roll i nanoskala, speciellt effekten av metallpartiklarna i katalytisk hydrering och deoxygenering. Pd/C-katalysatorer med lika stora halter av Pd syntetiserades och metallens dispersion på bärarmaterialet varierades systematiskt genom en kontrollerad uppväxt av palladiumnanopartiklar på aktiv kolbärare. Metalldispersionens effekt på hydrerings-hastigheten och cis-transförhållandet undersöktes i detalj. En optimal metalldispersion som gav den högsta dekarboxyleringshastigheten hittades. Massöverföringens inverkan på reaktionens hastighet studerades experimentellt och temperaturprogrammerad desorption av kolmonoxid från katalysatorytan undersöktes ingående. Hydrering av växtoljor genomfördes under satsvisa och kontinuerliga betingelser. Både finfördelat Pd/C och katalysatorgranulat användes i experimenten. Ett av målen med arbetet var uppskalningen av hydreringsprocesserna. Med tanke på stora produktionsvolymer var det logiskt att undersöka kontinuerliga hydrerings- och dekarboxyleringsteknologier. En kontinuerlig packad bäddreaktor studerades i laboratorieskala, vilket gav viktig information om katalysatorns långtidsstabilitet och deaktivering. Effekten av rena fettsyror och triglycerider som råvara samt metallpartikelstorleken och palladiumhalten studerades med hjälp av den kontinuerliga reaktorn. Produktionskapaciteten som erhölls med satsvis och kontinuerlig drift jämfördes. Dekarboxyleringen av stearinsyra undersöktes också i en kontinuerlig packad bädd. Omsättningsgraden blev 15% för en stabil katalysator.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

A comparative study of four tree species used in riparian forest restoration along Uruguay River, Brazil

Silvicultural and ecological knowledge about tree species is basic to restoration planning, particularly in high diversity regions. Here we present a comparison of four native tree species from the middle Uruguay River basin, Brazil-Argentine frontier: Heliocarpus americanus L. (Malvaceae), Maclura tinctoria (L.) D. Don ex Steud. (Moraceae), Schinus terebinthifolius Raddi (Anacardiaceae) and Cordia trichotoma (Vell.) Arrab. ex Steud. (Boraginaceae). We obtained data on initial growth, light interception, litterfall and litter mineral contents. H. americanus presented the greatest height and the lowest value of height/crown width ratio. H. americanus and M. tinctoria presented the highest light interception rate (>94 %) and highest litterfall (879 ± 151 and 792 ± 164 g·m-2·year-1, respectively). For the set of species, the lowest litterfall occurred between July and September. H. americanus presented the highest K concentration (1.13%) in the litter, while C. trichotoma had the highest values of Ca and Mg (6.35 and 2.02 %, respectively). S. terebinthifolius had the lowest light interception rate and litter mineral content.

Influence of pioneer-species combinations on restoration of disturbed ecosystems in the Atlantic Forest, Rio de Janeiro, Brazil

The analysis of species composition and its effects on sustainability restoration processes in the Atlantic Forest with poor environmental attributes is important to improve rehabilitation techniques for disturbed ecosystems. Reforestation projects were used as Biological Measures (BM) of rehabilitation, where treatments differ in the composition of exotic species, utilized as anthropic pioneers: BM1 - 82% (73% Mimosa caesalpiniifolia Benth, 9% Eucalyptus citriodora Hook.); BM2 - 91% (9%, 82%); and BM3 - 25% (15%, 10%). The monitoring of spontaneous regeneration was evaluated in three 12-year-old reforestation sites between thr rainy season of 2004 and 2005, and compared with an approximately 100-year-old native forest fragment and a grassland: ecosystems with inertial tendency toward recuperation and degradation, respectively. It was detected that exotic species used as anthropic pioneers strongly influenced regeneration: BM1 (75%), BM2 (85%), BM3 (55%), Forest (0%) and Grassland (50%). The highest similarity of species with forest regeneration (5%) was found for treatment BM3.

What can and should be legalized in ecological restoration?

After listing the five key elements of ecological restoration, ecology, economics, social values, cultural values, and politics, I celebrate the fact that in Brazil there is legislation on how to perform ecological restoration of degraded tropical forests, as well as an ongoing dialogue among legislators and scientists about this legislation, and also a lively debate among scientists as the best way forward, referring to articles by Brancalion et al. (2010) and Durigan et al. (2010) in this issue of Revista Árvore. Legislators elsewhere, especially megadiversity countries, should take note. I do not take sides in the debate; I think both groups of authors make very good points. Instead I call on the scientists and legislators concerned with restoration to ponder five strategic tools: A. Start with clear concepts. B. Decide where you want to go and why. C. Negotiate who should benefit & how, and who should pay, how, & why. D. Work out how an honest cost-benefit analysis of restoration would look, regardless of the biome in which you are working. Finally, figure out how to make the restoration immediately attractive for private landowners. Otherwise, they will not cooperate as fully as they could or should, and restoration efforts will not achieve its full potential.

Wood as a model material for medical biomaterials. In vivo and in vitro studies with bone and Betula pubescens Ehrh

Novel biomaterials are needed to fill the demand of tailored bone substitutes required by an ever‐expanding array of surgical procedures and techniques. Wood, a natural fiber composite, modified with heat treatment to alter its composition, may provide a novel approach to the further development of hierarchically structured biomaterials. The suitability of wood as a model biomaterial as well as the effects of heat treatment on the osteoconductivity of wood was studied by placing untreated and heat‐treated (at 220 C , 200 degrees and 140 degrees for 2 h) birch implants (size 4 x 7mm) into drill cavities in the distal femur of rabbits. The follow‐up period was 4, 8 and 20 weeks in all in vivo experiments. The flexural properties of wood as well as dimensional changes and hydroxyl apatite formation on the surface of wood (untreated, 140 degrees C and 200 degrees C heat‐treated wood) were tested using 3‐point bending and compression tests and immersion in simulated body fluid. The effect of premeasurement grinding and the effect of heat treatment on the surface roughness and contour of wood were tested with contact stylus and non‐contact profilometry. The effects of heat treatment of wood on its interactions with biological fluids was assessed using two different test media and real human blood in liquid penetration tests. The results of the in vivo experiments showed implanted wood to be well tolerated, with no implants rejected due to foreign body reactions. Heat treatment had significant effects on the biocompatibility of wood, allowing host bone to grow into tight contact with the implant, with occasional bone ingrowth into the channels of the wood implant. The results of the liquid immersion experiments showed hydroxyl apatite formation only in the most extensively heat‐treated wood specimens, which supported the results of the in vivo experiments. Parallel conclusions could be drawn based on the results of the liquid penetration test where human blood had the most favorable interaction with the most extensively heat‐treated wood of the compared materials (untreated, 140 degrees C and 200 degrees C heat‐treated wood). The increasing biocompatibility was inferred to result mainly from changes in the chemical composition of wood induced by the heat treatment, namely the altered arrangement and concentrations of functional chemical groups. However, the influence of microscopic changes in the cell walls, surface roughness and contour cannot be totally excluded. The heat treatment was hypothesized to produce a functional change in the liquid distribution within wood, which could have biological relevance. It was concluded that the highly evolved hierarchical anatomy of wood could yield information for the future development of bulk bone substitutes according to the ideology of bioinspiration. Furthermore, the results of the biomechanical tests established that heat treatment alters various biologically relevant mechanical properties of wood, thus expanding the possibilities of wood as a model material, which could include e.g. scaffold applications, bulk bone applications and serving as a tool for both mechanical testing and for further development of synthetic fiber reinforced composites.

The role of arbuscular mycorrhizal fungi on the early-stage restoration of seasonally dry tropical forest in Chamela, Mexico

It was evaluated the effect of two different sources of local inocula from two contrasting sites (mature forest, pasture) of arbuscular mycorrhizae fungi (AMF) and a non-mycorrhizal control on the plant growth of six woody species differing in functional characteristics (slow-, intermediate- and fast-growth), when introduced in a seasonally tropical dry forest (STDF) converted into abandoned pasture. Six plots (12 X 12m) were set as AMF inoculum source. Six replicates of six different species arranged in a Latin Square design were set in each plot. Plant height, cover area and the number of leaves produced by individual plant was measured monthly during the first growing season in each treatment. Species differed in their ability to benefit from AMF and the largest responsiveness in plant height and leaf production was exhibited by the slow-growing species Swietenia humilis, Hintonia latiflora and Cordia alliodora. At the end of the growing season (November), the plant height of the fast growing species Tabebuia donnel-smithii, Ceiba pentandra and Guazuma ulmifolia were not influenced by AMF. However, inocula of AMF increased leaf production of all plant species regardless the functional characteristics of the species, suggesting a better exploitation of above-ground space and generating a light limited environment under the canopy, which contributed to pasture suppression. Inoculation of seedlings planted in abandoned pasture areas is recommended for ecological restoration due to the high responsiveness of seedling growth in most of species. Use of forest inoculum with its higher diversity of AMF could accelerate the ecological restoration of the above and below-ground comunities.

EVALUATION OF THE POTENTIAL OF SEED RAIN AS AN ALTERNATIVE FOR FOREST RESTORATION IN PERMANENT PRESERVATION AREAS1

ABSTRACT The ecological restoration of degraded areas using seeds collected in forest remnants has shown significant results. This study was developed to verify the potential of seed rain to regenerate forest fragments of a Permanent Preservation Area (PPA) in the Apa River Basin which is located in the southwestern portion of the Mato Grosso do Sul state, Brazil. To develop the study, we installed 25 collectors measuring 1 m2 each, which were systematically distributed on an area of 1.5ha. Seed gathering was conducted in a monthly basis throughout the year of 2013. A total of 26.411 propagules were identified and distributed among 50 species, 45 genera and 32 families. In terms of the propagules distribution, 70.51% were identified as trees, 22.8% as lianas, 6.5% as shrubs, 0.1 as herbaceous, 0.05% as palm and 0.05% could not be classified. The value for the Shannon Diversity Index was (H') = 1.67 and the Pielou Evenness index was (J) = 0.42. These results indicate that the seeds rain has low species diversity with the abundance of a few species. The overall results suggest that seed rain can be a potential technique for restoration of the PPAs and other forested areas. However, it is necessary to enhance the diversity of tree species.