Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Estudo Estratigráfico e Paleontológico do Jurássico do Algarve Ocidental

Algarve Province, Southern Portugal, corresponds in part to a meso-cenozoic basin running along the coast from Cabo S. Vicente to beyond Spanish border. Structurally it is a big monocline plunging southwards much deformed mainly by two East-West longitudinal flexures. Lithostratigraphical and chronostratigraphical studies dealt specially with Jurassic formations. This and the geological mapping of the post-Hercynian sedimentary formations allow us to define the following units: Triassic-Lower Liassic Arenitos de Silves (Silves sandstones sensu P. Choffat, pro parte) - At their base the Silves sandstones (0-150m) are represented mainly by cross-bedded red sandstones. This unit is Upper Triassic (Keuper) in age, on the evidence of some Brachiopoda. Complexo margo-carbonatado de Silves (Silves marl-limestone complex=Silves sandstones sensu P. Choffat, pro parte) (80-200m) overlies the preceding, it may be reported to the Upper Triassic-Hettangian. It consists of a thick pelite-marl-dolomite-limestone series with many intercalations of greenstones. Since no fossils were found it is not possible to conclude whether it is still Hettangian or if it does correspond, in the whole or in part, already to the Sinemurian. Liassic Dolomitos e calcários dolomíticos de Espiche (Espiche dolomite-rocks and dolomitic-limestones) - The usually massive and finely crystalline or saccharoidal dolomites and dolomitic-limestones are the toughest strata of the Algarve margin giving rise to several hills. Its thickness attains in certain points 60 metres at least. Based on geometry and on lithological similarities with the carbonated complex of the northern basin of Tagus river (Peniche, São Pedro de Muel, Quiaios), this formation can be accepted as Sinemurian in age. As it happens with the carbonated complex, here also the first dolomite beds are non-isochronal throughout the region; upper time-limit of the dolomitic facies is either Lower Carixian, Lower Toarcian or even Lower Dogger. The dolomitization is secondary but not much later than sedimentation. However, between Cabo S. Vicente-Vila do Bispo there is evidence of an even later secondary dolomitization related to the regional fault complex. Calcário dolomítico com nódulos de silex da praia de Belixe (Belixe beach dolomitic-limestone with silex nodules) (50-55m) - Ascribed to Lower or Middle Carixian on the basis of Platypleuroceras sp., Metaderoceras sp. nov. and M. gr. Venarense. Calcário cristalino compacto com Protogrammoceras, Fuciniceras e ? Argutarpites de Belixe (Belixe compact crystalline limestone with Protogrammoceras, Fuciniceras and ? Argutarpites) (30m) - Ascribed to Lower Domerian. Middle and Upper Domerian are indicated but by a single specimen of ? Argutarpites. Calcários margosos e margas com Dactylioceras semicelatum e Harpoceratídeos de Armação Nova (Armação Nova marly limestones and marls with D. semicelatum and Harpoceratidae) (25m) -Ascribed to Lower Toarcian. Middle and Upper Toarcian formations are not known in the Algarve. Dogger Calcários oolíticos, c. corálicos, c. pisolíticos, c. calciclásticos, c. dolomíticos e dolomitos de Almadena (Almadena oolitic-limestones, coral-reef-limestones, pisolite-limestones, limeclastic-limestones, dolomitic-limestones and dolomite-rocks) (more than 50 metres), with lagoonal facies. Ascribed to Aalenian-Bathonian-? Callovian. Margas acinzentadas e calcários detríticos com Zoophycos da praia de Mareta (Mareta beach greyish marls and detritical limestones with Zoophycos) (40m) - Pelagic transreef facies with Upper Bajocian and Bathonian ammonites. Calcários margosos e margas da praia de Mareta (Mareta beach pelagic marly-limestones and marls) (110m) - Ascribed to the Callovian on its ammonites. Malm Near Cabo S. Vicente and Sagres the first Upper Jurassic level consists of a yellowish-brown nodular, compact, locally phosphated and ferruginous, sometimes conglomeratic, marly limestone (0,35-1,50m) containing a rich macrofauna, which includes: 1) Callovian forms unknown at Lower Oxfordian; 2) Upper Callovian forms that still survived in Lower and Middle Oxfordian; 3) Lower Oxfordian forms (Mariae and Cordatum Zones); 4) Lower and Middle Oxfordian forms (Mariae to Plicatilis Zone); 5) Middle Oxfordian forms (plicatilis Zone), and some ones appearing in Middle Oxfordian. This condensed deposit is therefore dated from Middle Oxfordian (Plicatilis Zone). The other Upper Jurassic lithostratigraphical units were also mapped but their detailed study is not presented in this work. Correlations between lithostratigraphical and chronostratigraphical scales from P. Choffat, J. Pratsch, C. Palain and from the author are stated. Further correlations are attempted between zonc scales of Carixian-Lower Toarcian and Upper Bajocian-Middle Oxfordian of France, Spain (Asturias, Iberian and Betic Chains), Argel (Orania) and Portugal (northern Tagus basin and Algarve). The study of pyritous fossil assemblages common in Upper Bathonian-Lower Callovian marly levels of the praia da Mareta seems to suggest that these sediments were deposited in a bay or in an almost closed coastal re-entrance virtually without deep water circulation. Although such conditions may occur at any depth one may suppose that these ones actually correspond to an infralittoral neritic environment. The thaphocoenosis collected there are almost entirely composed of nektonic (ammonites, Belemnites) and planktonic (Bositra) faunas. The sedentary (crinoids, brachiopods) or free (sea-urchins, gastropods) epibenthonic forms are very scarce; endobenthonic forms are not known. The palaeontological study of all Nautiloids and Ammonoids of the Liassic and Dogger is presented (except Kosmoceratidae and Perisphinctaceae). Among the thirty one taxa dealt with, one is new (Metaderoceras sp. nov.) and the great majority of the others has been identified for the first time in Algarve. Some others have never been reported before in Portuguese formations. The evolution, during Jurassic times, of the sedimentary basins of the Portuguese plate margin is described. The absence of Cephalopods in the very extensive marly and dolomitic limestones, partly marine, suggests that, during Lower Liassic, palaeogeography underwent no great changes. Dolomitic-limestone with silex nodules from Cabo S. Vicente contain the first ammonites recorded at the base of the Middle Liassic. This facies, although very common in Tethys, is unknown north of the Tagus. The faunal assemblage has a mediterranean to submediterranean character. Comparisons between faunal assemblage" from Algarve with the ones known north of the Tagus show that communications between Boreal Europe and Tethys, virtually non-existent during Lower and Middle Carixian, became very easy during Lower Domerian. In earlier Pliensbachian times two distinct seas were adjacent to the Iberian plate. One, an epicontinental sea with a tethyan fauna, extended southwards from the Meseta margin. Another, was a boreal sea; during its transgressive episodes boreal faunas attained into the basin north of the Tagus. During Middle Carixian and Lower Domerian, owing to simultaneous transgressions, these two seas joined together allowing faunal exchanges along the epicontinental areas which limited the emerging hercynian chains belts. During Liassic, the Algarve belonged undoubtedly to the tethyan submediterranean province. The area north of the Tagus, on the contrary, was a complex realm where subboreal and tethyan affinities alternatively prevailed. In the Algarve the first Middle Jurassic deposits do frequently show lateral thickness reductions as well as unconformities contemporaneous with other generalized disturbances on the sedimentation processes in other parts of Europe. By this time, near Sagres, a barrier reef developed separating lagoonal or ante-reef facies from the transreef pelagic zone. The presence of tethyan fauna, the abundance of Phylloceratidae and the absence of boreal forms allow us to consider the Algarve basin as a submediterranean province. The presence of Callovian pelagic fossiliferous formations in the Loulé area shows that during Middle Jurassic the marl-limestone transreef sedimentation was not confined to the western Algarve. They would extend eastwards where they only can be seen in the core of some anticlines. This is due to the progressive sinking of the meso-cenozoic formations as we proceed towards the South of the Sagres-Algoz-Querença flexure. In the whole of the Peninsule, and as for the Middle Callovian, an important regression can be clearly recognized on the evidence of an erosion surface which strikes obliquely the Middle and Upper Callovian strata. The geographic boundaries of the different faunal provinces are not changed by the presence of many Kosmoceratidae in the phosphate nodules since they are but a minority in comparison with the tethyan forms. An abstract model can be constructed showing that in Western Europe the Kosmoceratidae may have migrated South and westwards through a channel of the sea that linked Paris basin to Poitou and Aquitaine. By migrating between the Iberian meseta and the Armorican massif this fauna reached northern Tagus basin at the beginning of Upper Callovian (Athleta Zone); this south and southwest bound migration would have proceeded, allowing such forms to reach Algarve basin only in latest Callovian times (Lamberti Zone). This migration means that during Middle Jurassic a widely spread North Atlantic sea would exist, flooding the western part of Portugal up to the Poitou.

A reconnaissance study of Upper Jurassic sediments of the Lusitanian Basin

The Upper Jurassic evolution of the Lusitanian Basin is shown to be linked to the rifting phase which preceded the separation of Iberia and the Grand Banks. Structural controls on sedimentation include both NNE-SSW trending faults in the Hercynian basement, and contemporaneous movement of salt diapirs. At the beginning of Upper Oxfordian times, the entire basin had been levelled to within a few metres of sea level, so that the freshwater algal marsh and marginal marine facies of the Cabaços and Vale Verde Beds rest on Triassic to Callovian strata. In the latter part of the Upper Oxfordian. carbonate sedimentation continued, with fluctuating salinity lagoons in the north (Pholodomya protei Beds) separated from shallow open marine carbonates in the south (Montejunto Beds) by the Caldas da Rainha diapir-barrier island complex. The commencement of rifting is recorded in the Kimmeridgian by the sudden influx of terrigenous clastics (developed in both fluviatile and deltaic/submarine fan environments) and accelerated depositional rates in excess of 10cm/10 k.yrs in association with contemporaneous faulting along the SE margin of the Arruda sub-basin. The Caldas-Santa Cruz chain of diapiric structures continued to influence the distribution of carbonate and clastic sediments. In the Portlandian, a simpler facies pattern occurs, with fluviatile clastics interfingering to the south with shallow low energy carbonates.

Origin and evolution of Upper Triassic to Miocene clay-mineral associations from the eastern Algarve of Portugal

XRD-analyses of pelitic deposits of Upper Jurassic to Miocene age occuring in the eastern Algarve (Portugal), give evidence of the occurrence of detrital clay minerals of continental origin as well as of conspicuous neoformations of marine provenance. The vertical succession of clay-mineral associations indicates the existence of three distinctive evolutionary cycles which are thought to reflect tectonically controlled transgressive-regressive events.

Upper Miocene planktonic foraminifera from Algarve. Chronostratigraphical implications

Ciências da Terra(UNL) Nº 15, pp. 199-208

New evidence of shared dinosaur across upper jurassic proto-North Atlantic: stegosaurus from Portugal

Naturwissenschaften 94,367–374

On the Upper Cretaceous age and affinities of Neocyprideis lusitanicus (Ostracoda)

Guernet & Lauverjat (1986) described a new species, Neocyprideis lusitanicus, from sediments deposited near Aveiro, Portugal. For these authors, some associated fossils (Molluscs, planktonic Foraminifera) indicated a Pliocene age. That seemingly was the first record of Neocyprideis in post-Miocene sediments in Europe. A recent study of Upper Cretaceous material from the same region showed an abundant Neocyprideis fauna, associated with Charophyta. These Neocyprideis could be assigned without any doubt to N. lusitanicus. Therefore, N. lusitanicus appears as an Upper Cretaceous species, reworked in much later sediments, not Pliocene but Quaternary, as indicated by the planktonic Foraminifera assemblage. This interpretation is supported by: 1 - the incompatibility of the Neocyprideis (restricted to lacustrine-lagoonal environments) with abundant planktic Foraminifera; 2 - the occurrence of N. lusitanicus with Charophytes and non marine, cretaceous vertebrates but without the same Foraminifera. Neocyprideis lusitanicus is a valid species, clearly different from the other late Cretaceous species (N. coudouxensis and N. murciensis) as well as the Early Miocene described species (N. aquitanica, N. janoscheki).

Upper Jurassic Hybodontidae (Selachii) from Lourinhã, Portugal

Hybodontidae teeth and spines from the Lourinha Formation, Sobral unit are described. These teeth and spines have been ascribed to the genus Hybodus and regarded as Hybodus cf. reticulatus.

Charophytes from Silveirinha (?Upper Paleocene - Lowermost Eocene) according to Janine Riveline

Charophytae gyrogonites are common among the washing/sieving residues from the important ?Upper Paleocene or lowermost Eocene site of Silveirinha (lower Mondego, Portugal). The whole Charophyte material has been submitted to Janine Riveline, who recognized but Nitellopsis (Tectochara) dutemplei (Watelet)Grambast & Souliè-Marsche minor Riveline. This form has been found in the lacustrine marls overlying the "Conglomerat de Cernay" that is rich in late Thanetian vertebrates. Taking into account the presence of the above referred form, the age of the concerned sediments may be (not basal) Sparnacian, Peckichara disermas Charophyte zone.

Upper Paleocene-Early Eocene mollusks of Silveirinha (Figueira da Foz, West Central Portugal)

A collection of fossil gastropods and bivalves assembled at the Thanetian/Ypresian vertebrate site of Silveirinha (Figueira da Foz, West Central Portugal) is analysed from the point of view of systematics and palaeoecology. The diversity is scarce but the age and exceptional characteristics of the site are factors that substantiate a detailed study. The taxa identified are: Bithynia soaresi sp. nov., Gyraulus antunesi sp. nov., Chlamys sp. and Cardiiacea gen. sp. indet. The prevailing of freshwater gastropods and the occurrence of 2 fragments of marine bivalves suggest a palaeoenvironmental setting that is in conformity with interpretations already established, which are based both in sedimentologic and vertebrate data. These interpretations point out the existence of a freshwater environment opened from time to time to marine influences, resulting from a palaeoatlantic coast placed some kilometres westwards.

Upper miocene planktonic foraminifera from Algarve. Chronostratigraphical implications

New data on the planktonic foraminifera from the Upper Miocene Cacela Formation and Mem Moniz spongoliths are presented. The coiling type of Globorotalia menardii from Cacela and Quelfes and the occurrence at Quelfes of G. miotumida allow correlation with the bio-events I to 3 (7,512 to 7,24 Ma; Sierro et al., 1993; 2001) that have been recognized in the Guadalquivir Basin (Spain). The presence of Neogloboquadrina acostaensis and N. humerosa at Mem Moniz points out to the Upper Miocene (Tortonian, upper N16, or even NI7). Mem Moniz spongoliths are correlated with the Cacela Formation. Some 87Sr/86Sr isotopic ages of mollusc or foraminifera shells don't fit well with finer biostratigraphic record and present wide error margins.

Orbital forcing of stratal patterns in an inner platform carbonate sucession: an example from an Upper Hauterivian series of the Lusitanian Basin, Portugal

With an example taken from a late-Hauterivian series of the Lusitanian Basin (Portugal), we will demonstrate the sedimentary record of orbital pattern variations and, consequently, climate variations in an inner platform environment with patterns and isolation changes, allows us to establish 4 major orders of periodicity related to orbital components:- The large cycles ob bed thickness variation, constituted by 31-32 beds, recording the 400 ky eccentricity cycle component;- The medium cycles, represented by byndles of 8-9 beds, related to the 100 ky eccentricity cycle component; - The small cycles, of 3-5 beds, recording the 41 ky obliquity components;- The very small cycles, of 2 beds, related to the 22 ky and 26 ky precession components. The mean duration of each bed is around 11.8 ky, a number very close to that of the precession hemi-cycle. Climatic control on qualitative production is confirmed by the close relation between the bed thickness variations, the insolation variability and the variation of micritized elements concentrations.

Cobalt-, zinc- and iron-bound forms of adenylate kinase (AK) from the sulfate-reducing bacterium Desulfovibrio gigas: purification, crystallization and preliminary X-ray diffraction analysis

Acta Crystallogr Sect F Struct Biol Cryst Commun. 2009 Sep 1;65(Pt 9):926-9

Biochemical and spectroscopic characterization of the membrane-bound nitrate reductase from Marinobacter hydrocarbonoclasticus 617

J Biol Inorg Chem (2008) 13:1321–1333 DOI 10.1007/s00775-008-0416-1

Functional and structural studies of two enzymes: membrane bound kinase and Z-DNA/Z-RNA-binding protein

Dissertação para obtenção do Grau de Doutor em Sistemas de Bioengenharia