56 resultados para Selberg Trace Formula
Resumo:
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself. Our approach reifies the execution traces and uses logic programming to express tests on them. Thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. The resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.
Resumo:
The Institute of Applied Physics observes middle atmospheric trace gases, such as ozone and water vapour, by microwave radiometry. We report on the comparison of measurements using a novel digital Fast Fourier Transform and accousto optical spectrometers. First tests made on ground are presented as well as first experience about the use of such spectrometers under aircraft conditions.
Resumo:
River floodplain soils are sinks and potential sources for toxic trace metals like Cu and Zn. We hypothesize that stable Cu and Zn isotope ratios reflect both the mobilization and the sources of metals. We determined the soil properties, the concentrations and partitioning of Cu and Zn, and variations in δ65Cu and δ66Zn values in a core obtained from an Aquic Udifluvent developed on a freshwater intertidal mudflat of the River Elbe, Germany. The core was sampled at 2 cm intervals to a depth of 34 cm, which corresponds to approximately 9 yr of sedimentation. Elevated concentrations of Cu (up to 320 μg g−1) and Zn (up to 2080 μg g−1) indicated anthropogenic pollution. At the time of sampling the redox conditions changed from oxic (Eh 200 to 400 mV, above 22 cm deep) to strongly anoxic conditions (-100 to -200 mV, below 22 cm deep). The δ65Cu values varied systematically with depth (from -0.02 to 0.16‰) and were correlated with the Fe, C, and N concentrations. Although pre-depositional variations cannot be ruled out, the systematic variation with depth suggests post-sedimentation fractionation of δ65Cu in response to seasonally variable organic matter deposition and redox conditions. In contrast, the δ66ZnIRMM values were uniform (from -0.07 to 0.01‰) throughout the core, indicating that the Zn isotopes did not significantly fractionate after deposition and that the Zn sources were homogeneous throughout the sedimentation.
Resumo:
Bathurst Harbour in World Heritage southwest Tasmania, Australia, is one of the world’s most pristine estuarine systems. At present there is a lack of data on pollution impacts or long-term natural variability in the harbor. A ca. 350-year-old 210Pb-dated sediment core was analysed for trace metals to track pollution impacts from local and long-range sources. Lead and antimony increased from AD 1870 onwards, which likely reflects remote (i.e. mainland Australian and global) atmospheric pollution sources. Variability in the concentrations of copper and zinc closely followed the history of mining activities in western Tasmania, which began in the AD 1880s. Tin was generally low throughout the core, except for a large peak in AD 1989 ± 0.5 years, which may be a consequence of input from a local small-scale alluvial tin mine. Changes in diatom assemblages were also investigated. The diatom flora was composed mostly of planktonic freshwater and benthic brackish-marine species, consistent with stratified estuarine conditions. Since mining began, however, an overall decrease in the proportion of planktonic to benthic taxa occurred, with the exception of two distinct peaks in the twentieth century that coincided with periods of high rainfall. Despite the region’s remoteness, trace metal analyses revealed evidence of atmospheric pollution from Tasmanian and possibly longer-range mining activities. This, together with recent low rainfall, appears to have contributed to altering the diatom assemblages in one of the most pristine temperate estuaries in the world.
Resumo:
Milk nutrients are secreted by epithelial cells in the alveoli of the mammary gland by several complex and highly coordinated systems. Many of these nutrients are transported from the blood to the milk via transcellular pathways that involve the concerted activity of transport proteins on the apical and basolateral membranes of mammary epithelial cells. In this review, we focus on transport mechanisms that contribute to the secretion of calcium, trace minerals and water soluble vitamins into milk with particular focus on the role of transporters of the SLC series as well as calcium transport proteins (ion channels and pumps). Numerous members of the SLC family are involved in the regulation of essential nutrients in the milk, such as the divalent metal transporter-1 (SLC11A2), ferroportin-1 (SLC40A1) and the copper transporter CTR1 (SLC31A1). A deeper understanding of the physiology and pathophysiology of these transporters will be of great value for drug discovery and treatment of breast diseases.
Resumo:
The crystal structure of kyzylkumite, ideally Ti2V3+O5(OH), from the Sludyanka complex in South Baikal, Russia was solved and refined (including the hydrogen atom position) to an agreement index, R1, of 2.34 using X-ray diffraction data collected on a twinned crystal. Kyzylkumite crystallizes in space group P21/c, with a = 8.4787(1), b = 4.5624(1), c = 10.0330(1) Å, β = 93.174(1)°, V = 387.51(1) Å3 and Z = 4. Tivanite, TiV3+O3OH, and kyzylkumite have modular structures based on hexagonal close packing of oxygen, which are made up of rutile TiO2 and montroseite V3+O(OH) slices. In tivanite the rutile:montroseite ratio is 1:1, in kyzylkumite the ratio is 2:1. The montroseite module may be replaced by the isotypic paramontroseite V4+O2 module, which produces a phase with the formula Ti2V4+O6. In the metamorphic rocks of the Sludyanka complex, vanadium can be present as V4+ and V3+ within the same mineral (e.g. in batisivite, schreyerite and berdesinskiite). Kyzylkumite has a flexible composition with respect to the M4+/M3+ ratio. The relationship between kyzylkumite and a closely related Be-bearing kyzylkumite-like mineral with an orthorhombic norbergite-type structure from Byrud mine, Norway is discussed. Both minerals have similar X-ray powder diffraction patterns.