ASSOCIATED A-TYPE SUBALKALINE AND HIGH-K CALC-ALKALINE GRANITES IN THE ITU GRANITE PROVINCE, SOUTHEASTERN BRAZIL: PETROLOGICAL AND TECTONIC SIGNIFICANCE

The 590-580 Ma Itu Granite Province (IGP) is a roughly linear belt of post-orogenic granite plutons similar to 60 km wide extending for some 350 km along the southern edge of the Apia-Guaxupe Terrane in southeastern Brazil. Typical components are subalkaline A-type granites (some with rapakivi texture) that crystallized at varied, but mostly strongly oxidizing conditions, and contrast with a coeval association of also oxidized high-K calc-alkaline granites in terms of major (e. g., lower Ca/Fe) and trace elements (higher Nb, Y, Zr). Mantle-derived magmas (such as those forming the LILE-rich Piracaia Monzodiorite, with epsilon(Nd(t)) = -7 to -10, (87)Sr/(86)Sr((t)) = 0.7045-0.7055) are inferred to derive from enriched subcontinental lithosphere modified during previous subduction, and may have played a role in the generation of the A-type granites, adding melts or fluids or both to the lower crust from which the latter were generated. The IGP is interpreted as a reflection of crust uplift and increased heat flux during ascent of hot, less dense asthenosphere after continental collision, probably reflecting breakoff of an oceanic slab coeval to the right-lateral accretion of a terrane related to the Mantiqueira Orogenic System.

Denudation history of the Bocaina Plateau, Serra do Mar, southeastern Brazil: Relationships to Gondwana breakup and passive margin development

The Bocaina Plateau, which is situated on the eastern flank of the continental rift of southeastern Brazil, is the highest part of the Serra do Mar. Topographic relief in this area is suggested to be closely related to its complex tectono-magmatic evolution since the breakup of Western Gondwana and opening of the South Atlantic Ocean. Apatite fission track ages and track length distributions from 27 basement outcrops were determined to assess these hypotheses and reconstruct the denudation history of the Bocaina Plateau. The ages range between 303 +/- 32 and 46 +/- 5 Ma, and are significantly younger than the stratigraphic ages. Mean track lengths vary from 13.44 +/- 1.51 to 11.1 +/- 1.48 mu m, with standard deviations between 1.16 and 1.83 mu m. Contrasting ages within a single plateau and similar ages at different altitudes indicate a complex regional tectonothermal evolution. The thermal histories inferred from these data imply three periods of accelerated cooling related to the Early Cretaceous continental breakup, Early Cretaceous alkaline magmatism, and the Paleogene evolution of the continental rift of southeastern Brazil. The oldest fission track ages (>200 Ma) were obtained in the Serra do Mar region, suggesting that these areas were a long-lived source of sediments for the Parana, Bauru, and Santos basins. (C) 2010 International Association for Gondwana Research. Published by Elsevier B.V. All rights reserved.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.