909 resultados para 291601 Arithmetic and Logic Structures


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Fine-grained sediment depocenters on continental shelves are of increased scientific interest since they record environmental changes sensitively. A north-south elongated mud depocenter extends along the Senegalese coast in mid-shelf position. Shallow-acoustic profiling was carried out to determine extent, geometry and internal structures of this sedimentary body. In addition, four sediment cores were retrieved with the main aim to identify how paleoclimatic signals and coastal changes have controlled the formation of this mud depocenter. A general paleoclimatic pattern in terms of fluvial input appears to be recorded in this depositional archive. Intervals characterized by high terrigenous input, high sedimentation rates and fine grain sizes occur roughly contemporaneously in all cores and are interpreted as corresponding to intensified river discharge related to more humid conditions in the hinterland. From 2750 to 1900 and from 1000 to 700 cal a BP, wetter conditions are recorded off Senegal, an observation which is in accordance with other records from NW-Africa. Nevertheless, the three employed proxies (sedimentation rate, grain size and elemental distribution) do not always display consistent inter-core patterns. Major differences between the individual core records are attributed to sediment remobilization which was linked to local hydrographic variations as well as reorganizations of the coastal system. The Senegal mud belt is a layered inhomogeneous sedimentary body deposited on an irregular erosive surface. Early Holocene deceleration in the rate of the sea-level rise could have enabled initial mud deposition on the shelf. These favorable conditions for mud deposition occur coevally with a humid period over NW-Africa, thus, high river discharge. Sedimentation started preferentially in the northern areas of the mud belt. During mid-Holocene, a marine incursion led to the formation of an embayment. Afterwards, sedimentation in the north was interrupted in association with a remarkable southward shift in the location of the active depocenter as it is reflected by the sedimentary architecture and confirmed by radiocarbon dates. These sub-recent shifts in depocenters location are caused by migrations of the Senegal River mouth. During late Holocene times, the weakening of river discharge allowed the longshore currents to build up a chain of beach barriers which have forced the river mouth to shift southwards.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Drilling of the distal Newfoundland margin at Ocean Drilling Program Site 1277 recovered part of the transition between exhumed sub-continental mantle lithosphere and normal mid-ocean-ridge basalt (N-MORB) volcanism perhaps related to the initiation of seafloor spreading, which may have occurred near the Aptian/Albian boundary, coincident with the final separation of subcontinental mantle lithosphere. Subcontinental mantle lithosphere was recovered near the crest of a basement high, the Mauzy Ridge. This ridge lies near magnetic Anomaly M1 and is inferred to be of Barremian age. The recovered section is dominated by serpentinized spinel harzburgite, with subordinate dunite and minor gabbroic intrusives, and it includes inferred high-temperature ductile shear zones. The serpentinite is capped by foliated gabbro cataclasite that is interpreted as the product of a major seafloor extensional detachment. The serpentinized harzburgite beneath is highly depleted subcontinental mantle lithosphere that was exhumed to create new seafloor within the ocean-continent transition zone. After inferred removal of overlying brittle crust, the detachment was eroded, producing multiple mass flows that were dominated by clasts of serpentinite and gabbro in a lithoclastic and calcareous matrix. Basaltic lavas were erupted spasmodically, mainly as sheet flows, with subordinate lava breccia, hyaloclastite, and possible pillow lava. The sedimentary-volcanic succession and the exhumed mantle lithosphere experienced later high-angle extensional fracturing and probably faulting. Extensional fissures opened incrementally and were filled with silt-sized carbonate, basalt-derived clastic sediment, and hyaloclastite, forming neptunian dykes and geopetal structures. Chemical analysis of representative basalts for major elements and trace elements were made using a high-precision, high-accuracy X-ray fluorescence method (utilizing increased count times) and by whole-rock inductively coupled plasma-mass spectrometry that yielded additional evidence for rare earth elements. The analyses indicate N-MORB to slightly enriched compositions. The MORB was produced by relatively high degree melting of a fertile mantle source that differed strongly from the cored serpentinized peridotites. The basalts exhibit a distinct negative Nb anomaly on MORB-normalized plots that can be explained by prior extraction of melt from upper mantle that had previously been affected by subduction, possibly during closure of the Iapetus or Rheic oceans. In the proposed interpretation, mantle lithosphere was exhumed to the seafloor and experienced mass wasting to form serpentinite-rich mass flows. The interbedded MORB records the beginning of a transition to "normal" seafloor spreading. This interpretation takes into account drilling results from the Iberia-Galicia margin and the Jurassic Alps-Apennines.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

At sites 390 and 392 (Deep Sea Drilling Project, Leg 44) on the Blake nose, thoroughly lithified Lower Cretaceous limestone more than 250 m thick is abruptly overlain by a condensed sequence of Barremian to Eocene pelagic carbonate ooze. The Lower Cretaceous sediments consist of three units: limestone with moldic porosity (base), oolitic limestone, and fenestral limestone. Subaerial diagenesis of the limestone section is recorded by (1) caverns with vertical dimensions of up to 10 m, (2) stalactitic intergranular cement, and (3) meniscus sediment (or cement). Compatible with these subaerial features are mud cracks, fenestral fabrics, intraclasts, and cryptalgal structures. Inasmuch as these shallow-water and tidal-flat deposits are now beneath 2,607 m of sea water (plus 99 m of younger sediments), they serve to dramatize the apparent degree of Barremian and later subsidence of this part of the Atlantic outer continental shelf. Porosity and permeability are high in vuggy samples, which are common in the skelmoldic limestone. Cementation has destroyed most of the extensive primary porosity of the two younger units.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Light greenish gray and pale purple color bands are common in the ooze and chalk of the Ontong Java Plateau. Analyses of Pleistocene and Pliocene ooze samples that contain abundant bands indicate that the purple bands are colored by finely disseminated iron sulfide, whereas the green bands are colored by finely disseminated Fe- and Al-bearing silicates (probably clays). No local contrasts in the total organic carbon contents, carbon and oxygen isotopic compositions, and grain sizes were found. Band abundances, counted from core photographs of all Leg 130 holes, can be correlated from hole to hole on the basis of age rather than depth. The temporal distribution of these color bands is also comparable with that of the green bands described from the Lord Howe Rise, which were previously interpreted as products of altered volcanic glass. This may indicate that the green and purple bands on the Ontong Java Plateau originate from the early alteration of volcanic ash. The crosscutting relationships between the green and purple bands and original structures in the host sediment indicate that the bands have been locally altered by redox conditions in the sediments after the bands were formed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The formation of a subsurface anticyclonic eddy in the Peru-Chile Undercurrent (PCUC) in January and February 2013 is investigated using a multi-platform four-dimensional observational approach. Research vessel, multiple glider and mooring-based measurements were conducted in the Peruvian upwelling regime near 12°30'S. The dataset consists of more than 10000 glider profiles and repeated vessel-based hydrography and velocity transects. It allows a detailed description of the eddy formation and its impact on the near-coastal salinity, oxygen and nutrient distributions. In early January, a strong PCUC with maximum poleward velocities of ca. 0.25 m/s at 100 to 200 m depth was observed. Starting on January 20 a subsurface anticyclonic eddy developed in the PCUC downstream of a topographic bend, suggesting flow separation as the eddy formation mechanism. The eddy core waters exhibited oxygen concentrations less than 1mol/kg, an elevated nitrogen-deficit of ca. 17µmol/l and potential vorticity close to zero, which seemed to originate from the bottom boundary layer of the continental slope. The eddy-induced across-shelf velocities resulted in an elevated exchange of water masses between the upper continental slope and the open ocean. Small scale salinity and oxygen structures were formed by along-isopycnal stirring and indications of eddy-driven oxygen ventilation of the upper oxygen minimum zone were observed. It is concluded that mesoscale stirring of solutes and the offshore transport of eddy core properties could provide an important coastal open-ocean exchange mechanism with potentially large implications for nutrient budgets and biogeochemical cycling in the oxygen minimum zone off Peru.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Results of studying isotopic composition of helium in underground fluids of the Baikal-Mongolian region during the last quarter of XX century are summarized. Determinations of 3He/4He ratio in 139 samples of gas phase from fluids, collected at 104 points of the Baikal rift zone and adjacent structures are given. 3He/4He values lie within the range from 1x10**-8 (typical for crustal radiogenic helium) to 1.1x10**-5 (close to typical MORB reservoir). Repeated sampling in some points during more than 20 years showed stability of helium isotopic composition in time in each of them at any level of 3He/4He values. There is no systematic differences of 3He/4He in samples from surface water sources and deeper intervals of boreholes in the same areas. Universal relationship between isotopic composition of helium and general composition of gas phase is absent either, but the minimum 3He/4He values occurred in methane gas of hydrocarbon deposits, whereas in nitrogen and carbon dioxide gases of helium composition varied (in the latter maximum 3He/4He values have been measured). According to N2/Ar_atm ratio nitrogen gases are atmospheric. In carbonic gas fN2/fNe ratio indicates presence of excessive (non-atmogenic) nitrogen, but the attitude CO2/3He differs from one in MORB. Comparison of helium isotopic composition with its concentration and composition of the main components of gas phase from fluids shows that it is formed under influence of fractionation of components with different solubility in the gas-water system and generation/consumption of reactive gases in the crust. Structural and tectonic elements of the region differ from the spectrum of 3He/4He values. At the pre-Riphean Siberian Platform the mean 3He/4He = (3.6+/-0.9)x10**- 8 is very close to radiogenic one. In the Paleozoic crust of Khangay 3He/4He = (16.3+/-4.6)x10**-8, and the most probable estimate is (12.3+/-2.9)x10**-8. In structures of the eastern flank of the Baikal rift zone (Khentei, Dauria) affected by the Mz-Kz activization 3He/4He values range from 4.4x10**-8 to 2.14x10**-6 (average 0.94x10**-6). Distribution of 3He/4He values across the strike of the Baikal rift zone indicates advective heat transfer from the mantle not only in the rift zone, but also much further to the east. In fluids of the Baikal rift zone range of 3He/4He values is the widest: from 4x10**-8 to 1.1x10**-5. Their variations along the strike of the rift zone are clearly patterned, namely, decrease of 3He/4He values in both directions from the Tunka depression. Accompanied by decrease in density of conductive heat flow and in size of rift basins, this trend indicates decrease in intensity of advective heat transfer from the mantle to peripheral segments of the rift zone. Comparing this trend with data on other continental rift zones and mid-ocean ridges leads to the conclusion about fundamental differences in mechanisms of interaction between the crust and the mantle in these environments.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Cold-water corals are common along the Moroccan continental margin off Melilla in the Alboran Sea (western Mediterranean Sea), where they colonise and largely cover mound and ridge structures. Radiocarbon ages of the reef-forming coral species Lophelia pertusa and Madrepora oculata sampled from those structures, reveal that they were prolific in this area during the last glacial-interglacial transition with pronounced growth periods covering the Bølling-Allerød interstadial (13.5-12.8 ka BP) and the Early Holocene (11.3-9.8 ka BP). Their proliferation during these periods is expressed in vertical accumulation rates for an individual coral ridge of 266-419 cm ka**-1 that consists of coral fragments embedded in a hemipelagic sediment matrix. Following a period of coral absence, as noted in the records, cold-water corals re-colonised the area during the Mid-Holocene (5.4 ka BP) and underwater photographs indicate that corals currently thrive there. It appears that periods of sustained cold-water coral growth in the Melilla Coral Province were closely linked to phases of high marine productivity. The increased productivity was related to the deglacial formation of the most recent organic rich layer in the western Mediterranean Sea and to the development of modern circulation patterns in the Alboran Sea.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Over the past 20 years Asian countries have achieved a certain degree of economic growth and at the same time deepened spatial interdependence. In January 2006, IDE completed the 2000 Asian International Input-Output Table, which covers eight major East Asian countries/regions as well as Japan and the United States. Given the dynamic changes in the economies of East Asia, this paper attempts to summarize the characteristics and their patterns of change in industrial structures and trade structures of the countries/regions in the Asia-Pacific region from the three viewpoints of time, space, and industry, by using the AIO table for 1985, 1990, 1995, and 2000.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Sloshing describes the movement of liquids inside partially filled tanks, generating dynamic loads on the tank structure. The resulting impact pressures are of great importance in assessing structural strength, and their correct evaluation still represents a challenge for the designer due to the high level of nonlinearities involved, with complex free surface deformations, violent impact phenomena and influence of air trapping. In the present paper, a set of two-dimensional cases, for which experimental results are available, is considered to assess the merits and shortcomings of different numerical methods for sloshing evaluation, namely two commercial RANS solvers (FLOW-3D and LS-DYNA), and two academic software (Smoothed Particle Hydrodynamics and RANS). Impact pressures at various critical locations and global moment induced by water motion in a partially filled rectangular tank, subject to a simple harmonic rolling motion, are evaluated and predictions are compared with experimental measurements. 2012 Copyright Taylor and Francis Group, LLC.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Universidad Politécnica of Madrid (UPM) includes schools and faculties that were for engineering degrees, architecture and computer science, that are now in a quick EEES Bolonia Plan metamorphosis getting into degrees, masters and doctorate structures. They are focused towards action in machines, constructions, enterprises, that are subjected to machines, human and environment created risks. These are present in actions such as use loads, wind, snow, waves, flows, earthquakes, forces and effects in machines, vehicles behavior, chemical effects, and other environmental factors including effects of crops, cattle and beasts, forests, and varied essential economic and social disturbances. Emphasis is for authors in this session more about risks of natural origin, such as for hail, winds, snow or waves that are not exactly known a priori, but that are often considered with statistical expected distributions giving extreme values for convenient return periods. These distributions are known from measures in time, statistic of extremes and models about hazard scenarios and about responses of man made constructions or devices. In each engineering field theories were built about hazards scenarios and how to cover for important risks. Engineers must get that the systems they handle, such as vehicles, machines, firms or agro lands or forests, obtain production with enough safety for persons and with decent economic results in spite of risks. For that risks must be considered in planning, in realization and in operation, and safety margins must be taken but at a reasonable cost. That is a small level of risks will often remain, due to limitations in costs or because of due to strange hazards, and maybe they will be covered by insurance in cases such as in transport with cars, ships or aircrafts, in agro for hail, or for fire in houses or in forests. These and other decisions about quality, security for men or about business financial risks are sometimes considered with Decision Theories models, using often tools from Statistics or operational Research. The authors have done and are following field surveys about risk consideration in the careers in UPM, making deep analysis of curricula taking into account the new structures of degrees in the EEES Bolonia Plan, and they have considered the risk structures offered by diverse schools of Decision theories. That gives an aspect of the needs and uses, and recommendations about improving in the teaching about risk, that may include special subjects especially oriented for each career, school or faculty, so as to be recommended to be included into the curricula, including an elaboration and presentation format using a multi-criteria decision model.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A number of data description languages initially designed as standards for trie WWW are currently being used to implement user interfaces to programs. This is done independently of whether such programs are executed in the same or a different host as trie one running the user interface itself. The advantage of this approach is that it provides a portable, standardized, and easy to use solution for the application programmer, and a familiar behavior for the user, typically well versed in the use of WWW browsers. Among the proposed standard description languages, VRML is a aimed at representing three dimensional scenes including hyperlink capabilities. VRML is already used as an import/export format in many 3-D packages and tools, and has been shown effective in displaying complex objects and scenarios. We propose and describe a Prolog library which allows parsing and checking VRML code, transforming it, and writing it out as VRML again. The library converts such code to an internal representation based on first order terms which can then be arbitrarily manipulated. We also present as an example application the use of this library to implement a novel 3-D visualization for examining and understanding certain aspects of the behavior of CLP(FD) programs.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present a concurrent semantics (i.e. a semantics where concurrency is explicitely represented) for CC programs with atomic tells. This allows to derive concurrency, dependency, and nondeterminism information for such languages. The ability to treat failure information puts CLP programs also in the range of applicability of our semantics: although such programs are not concurrent, the concurrency information derived in the semantics may be interpreted as possible parallelism, thus allowing to safely parallelize those computation steps which appear to be concurrent in the net. Dually, the dependency information may also be interpreted as necessary sequentialization, thus possibly exploiting it to schedule CC programs. The fact that the semantical structure contains dependency information suggests a new tell operation, which checks for consistency only the constraints it depends on, achieving a reasonable trade-off between efficiency and atomicity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present a parallel graph narrowing machine, which is used to implement a functional logic language on a shared memory multiprocessor. It is an extensión of an abstract machine for a purely functional language. The result is a programmed graph reduction machine which integrates the mechanisms of unification, backtracking, and independent and-parallelism. In the machine, the subexpressions of an expression can run in parallel. In the case of backtracking, the structure of an expression is used to avoid the reevaluation of subexpressions as far as possible. Deterministic computations are detected. Their results are maintained and need not be reevaluated after backtracking.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents a technique for achieving a class of optimizations related to the reduction of checks within cycles. The technique uses both Program Transformation and Abstract Interpretation. After a ñrst pass of an abstract interpreter which detects simple invariants, program transformation is used to build a hypothetical situation that simpliñes some predicates that should be executed within the cycle. This transformation implements the heuristic hypothesis that once conditional tests hold they may continué doing so recursively. Specialized versions of predicates are generated to detect and exploit those cases in which the invariance may hold. Abstract interpretation is then used again to verify the truth of such hypotheses and conñrm the proposed simpliñcation. This allows optimizations that go beyond those possible with only one pass of the abstract interpreter over the original program, as is normally the case. It also allows selective program specialization using a standard abstract interpreter not speciñcally designed for this purpose, thus simplifying the design of this already complex module of the compiler. In the paper, a class of programs amenable to such optimization is presented, along with some examples and an evaluation of the proposed techniques in some application áreas such as floundering detection and reducing run-time tests in automatic logic program parallelization. The analysis of the examples presented has been performed automatically by an implementation of the technique using existing abstract interpretation and program transformation tools.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

It is very often the case that programs require passing, maintaining, and updating some notion of state. Prolog programs often implement such stateful computations by carrying this state in predicate arguments (or, alternatively, in the internal datábase). This often causes code obfuscation, complicates code reuse, introduces dependencies on the data model, and is prone to incorrect propagation of the state information among predicate calis. To partly solve these problems, we introduce contexts as a consistent mechanism for specifying implicit arguments and its threading in clause goals. We propose a notation and an interpretation for contexts, ranging from single goals to complete programs, give an intuitive semantics, and describe a translation into standard Prolog. We also discuss a particular light-weight implementation in Ciao Prolog, and we show the usefulness of our proposals on a series of examples and applications, including code directiy using contexts, DCGs, extended DCGs, logical loops and other custom control structures.