929 resultados para source code analysis
Resumo:
Past sea-level records provide invaluable information about the response of ice sheets to climate forcing. Some such records suggest that the last deglaciation was punctuated by a dramatic period of sea-level rise, of about 20 metres, in less than 500 years. Controversy about the amplitude and timing of this meltwater pulse (MWP-1A) has, however, led to uncertainty about the source of the melt water and its temporal and causal relationships with the abrupt climate changes of the deglaciation. Here we show that MWP-1A started no earlier than 14,650 years ago and ended before 14,310 years ago, making it coeval with the Bølling warming. Our results, based on corals drilled offshore from Tahiti during Integrated Ocean Drilling Project Expedition 310, reveal that the increase in sea level at Tahiti was between 12 and 22 metres, with a most probable value between 14 and 18 metres, establishing a significant meltwater contribution from the Southern Hemisphere. This implies that the rate of eustatic sea-level rise exceeded 40 millimetres per year during MWP-1A.
Resumo:
Modern erosion of the Himalaya, the world's largest mountain range, transfers huge dissolved and particulate loads to the ocean. It plays an important role in the long-term global carbon cycle, mostly through enhanced organic carbon burial in the Bengal Fan. To understand the role of past Himalayan erosion, the influence of changing climate and tectonic on erosion must be determined. Here we use a 12 Myr sedimentary record from the distal Bengal Fan (Deep Sea Drilling Project Site 218) to reconstruct the Mio-Pliocene history of Himalayan erosion. We use carbon stable isotopes (d13C) of bulk organic matter as paleo-environmental proxy and stratigraphic tool. Multi-isotopic - Sr, Nd and Os - data are used as proxies for the source of the sediments deposited in the Bengal Fan over time. d13C values of bulk organic matter shift dramatically towards less depleted values, revealing the widespread Late Miocene (ca. 7.4 Ma) expansion of C4 plants in the basin. Sr, Nd and Os isotopic compositions indicate a rather stable erosion pattern in the Himalaya range during the past 12 Myr. This supports the existence of a strong connection between the southern Tibetan plateau and the Bengal Fan. The tectonic evolution of the Himalaya range and Southern Tibet seems to have been unable to produce large re-organisation of the drainage system. Moreover, our data do not suggest a rapid change of the altitude of the southern Tibetan plateau during the past 12 Myr. Variations in Sr and Nd isotopic compositions around the late Miocene expansion of C4 plants are suggestive of a relative increase in the erosion of High Himalaya Crystalline rock (i.e. a simultaneous reduction of both Transhimalayan batholiths and Lesser Himalaya relative contributions). This could be related to an increase in aridity as suggested by the ecological and sedimentological changes at that time. A reversed trend in Sr and Nd isotopic compositions is observed at the Plio-Pleistocene transition that is likely related to higher precipitation and the development of glaciers in the Himalaya. These almost synchronous moderate changes in erosion pattern and climate changes during the late Miocene and at the Plio-Pleistocene transition support the notion of a dominant control of climate on Himalayan erosion during this time period. However, stable erosion regime during the Pleistocene is suggestive of a limited influence of the glacier development on Himalayan erosion.
Resumo:
Aug. 1979.
Resumo:
National Highway Traffic Safety Administration, Washington, D.C.
Resumo:
Federal Highway Administration, Washington, D.C.
Resumo:
Permafrost dynamics play an important role in high-latitude peatland carbon balance and are key to understanding the future response of soil carbon stocks. Permafrost aggradation can control the magnitude of the carbon feedback in peatlands through effects on peat properties. We compiled peatland plant macrofossil records for the northern permafrost zone (515 cores from 280 sites) and classified samples by vegetation type and environmental class (fen, bog, tundra and boreal permafrost, thawed permafrost). We examined differences in peat properties (bulk density, carbon (C), nitrogen (N) and organic matter content, C/N ratio) and C accumulation rates among vegetation types and environmental classes.
Resumo:
The results of empirical studies are limited to particular contexts, difficult to generalise and the studies themselves are expensive to perform. Despite these problems, empirical studies in software engineering can be made effective and they are important to both researchers and practitioners. The key to their effectiveness lies in the maximisation of the information that can be gained by examining existing studies, conducting power analyses for an accurate minimum sample size and benefiting from previous studies through replication. This approach was applied in a controlled experiment examining the combination of automated static analysis tools and code inspection in the context of verification and validation (V&V) of concurrent Java components. The combination of these V&V technologies was shown to be cost-effective despite the size of the study, which thus contributes to research in V&V technology evaluation.
Resumo:
Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.
Resumo:
This paper examines the source country determinants of FDI into Japan. The paper highlights certain methodological and theoretical weaknesses in the previous literature and offers some explanations for hitherto ambiguous results. Specifically, the paper highlights the importance of panel data analysis, and the identification of fixed effects in the analysis rather than simply pooling the data. Indeed, we argue that many of the results reported elsewhere are a feature of this mis-specification. To this end, pooled, fixed effects and random effects estimates are compared. The results suggest that FDI into Japan is inversely related to trade flows, such that trade and FDI are substitutes. Moreover, the results also suggest that FDI increases with home country political and economic stability. The paper also shows that previously reported results, regarding the importance of exchange rates, relative borrowing costs and labour costs in explaining FDI flows, are sensitive to the econometric specification and estimation approach. The paper also discusses the importance of these results within a policy context. In recent years Japan has sought to attract FDI, though many firms still complain of barriers to inward investment penetration in Japan. The results show that cultural and geographic distance are only of marginal importance in explaining FDI, and that the results are consistent with the market-seeking explanation of FDI. As such, the attitude to risk in the source country is strongly related to the size of FDI flows to Japan. © 2007 The Authors Journal compilation © 2007 Blackwell Publishing Ltd.
Resumo:
Distributed source analyses of half-field pattern onset visual evoked magnetic responses (VEMR) were carried out by the authors with a view to locating the source of the largest of the components, the CIIm. The analyses were performed using a series of realistic source spaces taking into account the anatomy of the visual cortex. Accuracy was enhanced by constraining the source distributions to lie within the visual cortex only. Further constraints on the source space yielded reliable, but possibly less meaningful, solutions.
Resumo:
Detailed knowledge of the extent of post-genetic modifications affecting shallow submarine hydrocarbons fueled from the deep subsurface is fundamental for evaluating source and reservoir properties. We investigated gases from a submarine high-flux seepage site in the anoxic Eastern Black Sea in order to elucidate molecular and isotopic alterations of low-molecular-weight hydrocarbons (LMWHC) associated with upward migration through the sediment and precipitation of shallow gas hydrates. For this, near-surface sediment pressure cores and free gas venting from the seafloor were collected using autoclave technology at the Batumi seep area at 845 m water depth within the gas hydrate stability zone. Vent gas, gas from pressure core degassing, and from hydrate dissociation were strongly dominated by methane (>99.85 mol.% of Sum[C1-C4, CO2]). Molecular ratios of LMWHC (C1/[C2 + C3] > 1000) and stable isotopic compositions of methane (d13C = -53.5 per mill V-PDB; D/H around -175 per mill SMOW) indicated predominant microbial methane formation. C1/C2+ ratios and stable isotopic compositions of LMWHC distinguished three gas types prevailing in the seepage area. Vent gas discharged into bottom waters was depleted in methane by >0.03 mol.% (Sum[C1-C4, CO2]) relative to the other gas types and the virtual lack of 14C-CH4 indicated a negligible input of methane from degradation of fresh organic matter. Of all gas types analyzed, vent gas was least affected by molecular fractionation, thus, its origin from the deep subsurface rather than from decomposing hydrates in near-surface sediments is likely. As a result of the anaerobic oxidation of methane, LMWHC in pressure cores in top sediments included smaller methane fractions [0.03 mol.% Sum(C1-C4, CO2)] than gas released from pressure cores of more deeply buried sediments, where the fraction of methane was maximal due to its preferential incorporation in hydrate lattices. No indications for stable carbon isotopic fractionations of methane during hydrate crystallization from vent gas were found. Enrichments of 14C-CH4 (1.4 pMC) in short cores relative to lower abundances (max. 0.6 pMC) in gas from long cores and gas hydrates substantiates recent methanogenesis utilizing modern organic matter deposited in top sediments of this high-flux hydrocarbon seep area.
Resumo:
Incumbent telecommunication lasers emitting at 1.5 µm are fabricated on InP substrates and consist of multiple strained quantum well layers of the ternary alloy InGaAs, with barriers of InGaAsP or InGaAlAs. These lasers have been seen to exhibit very strong temperature dependence of the threshold current. This strong temperature dependence leads to a situation where external cooling equipment is required to stabilise the optical output power of these lasers. This results in a significant increase in the energy bill associated with telecommunications, as well as a large increase in equipment budgets. If the exponential growth trend of end user bandwidth demand associated with the internet continues, these inefficient lasers could see the telecommunications industry become the dominant consumer of world energy. For this reason there is strong interest in developing new, much more efficient telecommunication lasers. One avenue being investigated is the development of quantum dot lasers on InP. The confinement experienced in these low dimensional structures leads to a strong perturbation of the density of states at the band edge, and has been predicted to result in reduced temperature dependence of the threshold current in these devices. The growth of these structures is difficult due to the large lattice mismatch between InP and InAs; however, recently quantum dots elongated in one dimension, known as quantum dashes, have been demonstrated. Chapter 4 of this thesis provides an experimental analysis of one of these quantum dash lasers emitting at 1.5 µm along with a numerical investigation of threshold dynamics present in this device. Another avenue being explored to increase the efficiency of telecommunications lasers is bandstructure engineering of GaAs-based materials to emit at 1.5 µm. The cause of the strong temperature sensitivity in InP-based quantum well structures has been shown to be CHSH Auger recombination. Calculations have shown and experiments have verified that the addition of bismuth to GaAs strongly reduces the bandgap and increases the spin orbit splitting energy of the alloy GaAs1−xBix. This leads to a bandstructure condition at x = 10 % where not only is 1.5 µm emission achieved on GaAs-based material, but also the bandstructure of the material can naturally suppress the costly CHSH Auger recombination which plagues InP-based quantum-well-based material. It has been predicted that telecommunications lasers based on this material system should operate in the absence of external cooling equipment and offer electrical and optical benefits over the incumbent lasers. Chapters 5, 6, and 7 provide a first analysis of several aspects of this material system relevant to the development of high bismuth content telecommunication lasers.