977 resultados para Cook-Levin SAT SAT-solver
Resumo:
A Riemann solver is presented for the Euler equations of gas dynamics with real gases. This represents a more efficient version of an algorithm originally presented by the author.
Resumo:
Various methods of assessment have been applied to the One Dimensional Time to Explosion (ODTX) apparatus and experiments with the aim of allowing an estimate of the comparative violence of the explosion event to be made. Non-mechanical methods used were a simple visual inspection, measuring the increase in the void volume of the anvils following an explosion and measuring the velocity of the sound produced by the explosion over 1 metre. Mechanical methods used included monitoring piezo-electric devices inserted in the frame of the machine and measuring the rotational velocity of a rotating bar placed on the top of the anvils after it had been displaced by the shock wave. This last method, which resembles original Hopkinson Bar experiments, seemed the easiest to apply and analyse, giving relative rankings of violence and the possibility of the calculation of a “detonation” pressure.
Resumo:
The time at which the signal of climate change emerges from the noise of natural climate variability (Time of Emergence, ToE) is a key variable for climate predictions and risk assessments. Here we present a methodology for estimating ToE for individual climate models, and use it to make maps of ToE for surface air temperature (SAT) based on the CMIP3 global climate models. Consistent with previous studies we show that the median ToE occurs several decades sooner in low latitudes, particularly in boreal summer, than in mid-latitudes. We also show that the median ToE in the Arctic occurs sooner in boreal winter than in boreal summer. A key new aspect of our study is that we quantify the uncertainty in ToE that arises not only from inter-model differences in the magnitude of the climate change signal, but also from large differences in the simulation of natural climate variability. The uncertainty in ToE is at least 30 years in the regions examined, and as much as 60 years in some regions. Alternative emissions scenarios lead to changes in both the median ToE (by a decade or more) and its uncertainty. The SRES B1 scenario is associated with a very large uncertainty in ToE in some regions. Our findings have important implications for climate modelling and climate policy which we discuss.
Resumo:
Asparagus: A Horticultural Ballet was a live performance and film narrating the rise of capital in the medium of asparagus. The project stemmed from an obscure reference to an art piece of the same name by Waw Pierogi of the band xex. However, the its re-enactment had little to do with the original exploration of the growth and branching patterns of the asparagus plant. Instead, a rigid choreography inspired by Oskar Schlemmer's Triadic Ballet and based on Karl Marx's Capital dictated the movements of six performers in asparagus costumes. Bringing together the organic and the geometric, the ballet investigated the transition from the Fordist assembly line to immaterial labour through a reanimation of modernist abstraction. Being itself the story of abstraction, Capital shows how human relationships are replaced by those between commodities in the joyless grind of endless accumulation. This process results in the transcendent mythical figure of capital, which frames, transfigures and even produces the natural world. Asparagus: A Horticultural Ballet was produced in collaboration with Montreal based band Les Georges Leningrad and commissioned by The Showroom Gallery, London. It was presented live at Conway Hall in London on 6.3.07 and at the Montreal Biennale at SAT on 12.5.07. The performance was accompanied by a film at the Showroom gallery and preceded by a production residency at the Pump House Gallery. The film has subsequently been shown at The Golden Thread Gallery, Bluecoat Liverpool and as part of A-Lot-Ment in Portsmouth. Props from Asparagus: A Horticultural Ballet, were included in The Eagle Document at the Stephen Lawrence Gallery, London.
Resumo:
This article serves as a state-of the-science review of the blossoming field of generative third language (L3) acquisition as well as an introduction to this special issue on the same topic. We present and argue for the relevance of adult L3/Ln acquisition for many perennial questions that have sat at the core of linguistic approaches to adult language acquisition since the Principles and Parameters framework was first adopted into second language acquisition (SLA; e.g. Flynn, 1985, 1987; Liceras, 1985; White, 1985a, 1985b; Schwartz, 1986). Furthermore, we highlight the unique, specific questions that have emerged from studying L3/Ln from a generative perspective thus far while suggesting refinements to these questions and additional ones that should emerge in future inquiry.
Resumo:
Time series of global and regional mean Surface Air Temperature (SAT) anomalies are a common metric used to estimate recent climate change. Various techniques can be used to create these time series from meteorological station data. The degree of difference arising from using five different techniques, based on existing temperature anomaly dataset techniques, to estimate Arctic SAT anomalies over land and sea ice were investigated using reanalysis data as a testbed. Techniques which interpolated anomalies were found to result in smaller errors than non-interpolating techniques relative to the reanalysis reference. Kriging techniques provided the smallest errors in estimates of Arctic anomalies and Simple Kriging was often the best kriging method in this study, especially over sea ice. A linear interpolation technique had, on average, Root Mean Square Errors (RMSEs) up to 0.55 K larger than the two kriging techniques tested. Non-interpolating techniques provided the least representative anomaly estimates. Nonetheless, they serve as useful checks for confirming whether estimates from interpolating techniques are reasonable. The interaction of meteorological station coverage with estimation techniques between 1850 and 2011 was simulated using an ensemble dataset comprising repeated individual years (1979-2011). All techniques were found to have larger RMSEs for earlier station coverages. This supports calls for increased data sharing and data rescue, especially in sparsely observed regions such as the Arctic.
Resumo:
The Arctic is an important region in the study of climate change, but monitoring surface temperatures in this region is challenging, particularly in areas covered by sea ice. Here in situ, satellite and reanalysis data were utilised to investigate whether global warming over recent decades could be better estimated by changing the way the Arctic is treated in calculating global mean temperature. The degree of difference arising from using five different techniques, based on existing temperature anomaly dataset techniques, to estimate Arctic SAT anomalies over land and sea ice were investigated using reanalysis data as a testbed. Techniques which interpolated anomalies were found to result in smaller errors than non-interpolating techniques. Kriging techniques provided the smallest errors in anomaly estimates. Similar accuracies were found for anomalies estimated from in situ meteorological station SAT records using a kriging technique. Whether additional data sources, which are not currently utilised in temperature anomaly datasets, would improve estimates of Arctic surface air temperature anomalies was investigated within the reanalysis testbed and using in situ data. For the reanalysis study, the additional input anomalies were reanalysis data sampled at certain supplementary data source locations over Arctic land and sea ice areas. For the in situ data study, the additional input anomalies over sea ice were surface temperature anomalies derived from the Advanced Very High Resolution Radiometer satellite instruments. The use of additional data sources, particularly those located in the Arctic Ocean over sea ice or on islands in sparsely observed regions, can lead to substantial improvements in the accuracy of estimated anomalies. Decreases in Root Mean Square Error can be up to 0.2K for Arctic-average anomalies and more than 1K for spatially resolved anomalies. Further improvements in accuracy may be accomplished through the use of other data sources.
Resumo:
The atmospheric response to an idealized decline in Arctic sea ice is investigated in a novel fully coupled climate model experiment. In this experiment two ensembles of single-year model integrations are performed starting on 1 April, the approximate start of the ice melt season. By perturbing the initial conditions of sea ice thickness (SIT), declines in both sea ice concentration and SIT, which result in sea ice distributions that are similar to the recent sea ice minima of 2007 and 2012, are induced. In the ice loss regions there are strong (~3 K) local increases in sea surface temperature (SST); additionally, there are remote increases in SST in the central North Pacific and subpolar gyre in the North Atlantic. Over the central Arctic there are increases in surface air temperature (SAT) of ~8 K due to increases in ocean–atmosphere heat fluxes. There are increases in SAT over continental North America that are in good agreement with recent changes as seen by reanalysis data. It is estimated that up to two-thirds of the observed increase in SAT in this region could be related to Arctic sea ice loss. In early summer there is a significant but weak atmospheric circulation response that projects onto the summer North Atlantic Oscillation (NAO). In early summer and early autumn there is an equatorward shift of the eddy-driven jet over the North Atlantic as a result of a reduction in the meridional temperature gradients. In winter there is no projection onto a particular phase of the NAO.
Resumo:
In this work we explore the synergistic use of future MSI instrument on board Sentinel-2 platform and OLCI/SLSTR instruments on board Sentinel-3 platform in order to improve LST products currently derived from the single AATSR instrument on board the ENVI- SAT satellite. For this purpose, the high spatial resolu- tion data from Setinel2/MSI will be used for a good characterization of the land surface sub-pixel heteroge- neity, in particular for a precise parameterization of surface emissivity using a land cover map and spectral mixture techniques. On the other hand, the high spectral resolution of OLCI instrument, suitable for a better characterization of the atmosphere, along with the dual- view available in the SLTSR instrument, will allow a better atmospheric correction through improved aero- sol/water vapor content retrievals and the implementa- tion of novel cloud screening procedures. Effective emissivity and atmospheric corrections will allow accu- rate LST retrievals using the SLSTR thermal bands by developing a synergistic split-window/dual-angle algo- rithm. ENVISAT MERIS and AATSR instruments and different high spatial resolution data (Landsat/TM, Proba/CHRIS, Terra/ASTER) will be used as bench- mark for the future OLCI, SLSTR and MSI instruments. Results will be validated using ground data collected in the framework of different field campaigns organized by ESA.
Resumo:
Analysis of observations indicates that there was a rapid increase in summer (June-August, JJA) mean surface air temperature (SAT) since the mid-1990s over Western Europe. Accompanying this rapid warming are significant increases in summer mean daily maximum temperature, daily minimum temperature, annual hottest day temperature and warmest night temperature, and an increase in frequency of summer days and tropical nights, while the change in the diurnal temperature range (DTR) is small. This study focuses on understanding causes of the rapid summer warming and associated temperature extreme changes. A set of experiments using the atmospheric component of the state-of-the-art HadGEM3 global climate model have been carried out to quantify relative roles of changes in sea surface temperature (SST)/sea ice extent (SIE), anthropogenic greenhouse gases (GHGs), and anthropogenic aerosols (AAer). Results indicate that the model forced by changes in all forcings reproduces many of the observed changes since the mid-1990s over Western Europe. Changes in SST/SIE explain 62.2% ± 13.0% of the area averaged seasonal mean warming signal over Western Europe, with the remaining 37.8% ± 13.6% of the warming explained by the direct impact of changes in GHGs and AAer. Results further indicate that the direct impact of the reduction of AAer precursor emissions over Europe, mainly through aerosol-radiation interaction with additional contributions from aerosol-cloud interaction and coupled atmosphere-land surface feedbacks, is a key factor for increases in annual hottest day temperature and in frequency of summer days. It explains 45.5% ± 17.6% and 40.9% ± 18.4% of area averaged signals for these temperature extremes. The direct impact of the reduction of AAer precursor emissions over Europe acts to increase DTR locally, but the change in DTR is countered by the direct impact of GHGs forcing. In the next few decades, greenhouse gas concentrations will continue to rise and AAer precursor emissions over Europe and North America will continue to decline. Our results suggest that the changes in summer seasonal mean SAT and temperature extremes over Western Europe since the mid-1990s are most likely to be sustained or amplified in the near term, unless other factors intervene.
Development of an anatomically realistic forward solver for thoracic electrical impedance tomography
Resumo:
Cysteine metabolism exhibits atypical features in Leishmania parasites. The nucleotide sequence annotated as LmjF32.2640 encodes a cysteine desulfhydrase, which specifically catalyzes the breakdown of cysteine into pyruvate, NH(3) and H(2)S. Like in other pathogens, this capacity might be associated with regulatory mechanisms to control the intracellular level of cysteine, a highly toxic albeit essential amino acid, in addition to generate pyruvate for energy production. Besides, our results provide the first insight into the biochemical properties of Leishmania major serine acetyltransferase (SAT), which is likely involved in the two routes for de novo synthesis of cysteine in this pathogen. When compared with other members of SAT family, the N-terminal region of L. major homologue is uniquely extended, and seems to be essential for proper protein folding. Furthermore, unlike plant and bacterial enzymes, the carboxy-terminal-C(10) sequence stretch of L major SAT appears not to be implicated in forming a tight bi-enzyme complex with cysteine synthase. (C) 2010 Elsevier B.V. All rights reserved.