An investigation of optimization techniques for drawing computer graphics displays

Techniques for reducing vector data plotting time are studied. The choice of tolerances in optimization and the application of optimization to plots produced on real time interactive display devices are discussed. All results are developed relative to plotting packages and support hardware so that results are useful in real world situations

Transient simulations of the carbon and nitrogen dynamics in northern peatlands: from the Last Glacial Maximum to the 21st century

The development of northern high-latitude peatlands played an important role in the carbon (C) balance of the land biosphere since the Last Glacial Maximum (LGM). At present, carbon storage in northern peatlands is substantial and estimated to be 500 ± 100 Pg C (1 Pg C = 1015 g C). Here, we develop and apply a peatland module embedded in a dynamic global vegetation and land surface process model (LPX-Bern 1.0). The peatland module features a dynamic nitrogen cycle, a dynamic C transfer between peatland acrotelm (upper oxic layer) and catotelm (deep anoxic layer), hydrology- and temperature-dependent respiration rates, and peatland specific plant functional types. Nitrogen limitation down-regulates average modern net primary productivity over peatlands by about half. Decadal acrotelm-to-catotelm C fluxes vary between −20 and +50 g C m−2 yr−1 over the Holocene. Key model parameters are calibrated with reconstructed peat accumulation rates from peat-core data. The model reproduces the major features of the peat core data and of the observation-based modern circumpolar soil carbon distribution. Results from a set of simulations for possible evolutions of northern peat development and areal extent show that soil C stocks in modern peatlands increased by 365–550 Pg C since the LGM, of which 175–272 Pg C accumulated between 11 and 5 kyr BP. Furthermore, our simulations suggest a persistent C sequestration rate of 35–50 Pg C per 1000 yr in present-day peatlands under current climate conditions, and that this C sink could either sustain or turn towards a source by 2100 AD depending on climate trajectories as projected for different representative greenhouse gas concentration pathways

A synergistic and extensible framework for multi-agent system verification

Recently there has been a proliferation of tools and languages for modeling multi-agent systems (MAS). Verification tools, correspondingly, have been developed to check properties of these systems. Most MAS verification tools, however, have their own input language and often specialize in one verification technology, or only support checking a specific type of property. In this work we present an extensible framework that leverages mainstream verification tools to successfully reason about various types of properties. We describe the verification of models specified in the Brahms agent modeling language to demonstrate the feasibility of our approach. We chose Brahms because it is used to model real instances of interactions between pilots, air-traffic controllers, and automated systems at NASA. Our framework takes as input a Brahms model along with a Java implementation of its semantics. We then use Java PathFinder to explore all possible behaviors of the model and, also, produce a generalized intermediate representation that encodes these behaviors. The intermediate representation is automatically transformed to the input language of mainstream model checkers, including PRISM, SPIN, and NuSMV allowing us to check different types of properties. We validate our approach on a model that contains key elements from the Air France Flight 447 acciden

Implementing virtual pheromones in BDI robots using MQTT and Jason

Robotic coordination is a crucial issue in the development of many applications in swarm robotics, ranging from mapping unknown and potentially dangerous areas to the synthesis of plans to achieve complex tasks such as moving goods between locations under resource constraints. In this context, stigmergy is a widely employed approach to robotic coordination based on the idea of interacting with the environment by means of markers called pheromones. Pheromones do not need to be "physical marks", and a number of works have investigated the use of digital, virtual pheromones. In this paper, we show how the concept of virtual pheromones can be implemented in Jason, a Java-based interpreter for an extended version of AgentSpeak, providing a high-level modelling and execution environment for multi-agent systems. We also exploit MQTT, a messaging infrastructure for the Internet-of-Things. This allows the implementation of stigmergic algorithms in a high-level declarative language, building on top of low-level infrastructures typically used only for controlling sensors and actuators

Probabilistic climate change projections using neural networks

Anticipated future warming of the climate system increases the need for accurate climate projections. A central problem are the large uncertainties associated with these model projections, and that uncertainty estimates are often based on expert judgment rather than objective quantitative methods. Further, important climate model parameters are still given as poorly constrained ranges that are partly inconsistent with the observed warming during the industrial period. Here we present a neural network based climate model substitute that increases the efficiency of large climate model ensembles by at least an order of magnitude. Using the observed surface warming over the industrial period and estimates of global ocean heat uptake as constraints for the ensemble, this method estimates ranges for climate sensitivity and radiative forcing that are consistent with observations. In particular, negative values for the uncertain indirect aerosol forcing exceeding -1.2Wm-2 can be excluded with high confidence. A parameterization to account for the uncertainty in the future carbon cycle is introduced, derived separately from a carbon cycle model. This allows us to quantify the effect of the feedback between oceanic and terrestrial carbon uptake and global warming on global temperature projections. Finally, probability density functions for the surface warming until year 2100 for two illustrative emission scenarios are calculated, taking into account uncertainties in the carbon cycle, radiative forcing, climate sensitivity, model parameters and the observed temperature records. We find that warming exceeds the surface warming range projected by IPCC for almost half of the ensemble members. Projection uncertainties are only consistent with IPCC if a model-derived upper limit of about 5K is assumed for climate sensitivit

Carbon Isotope Constraints on the Deglacial CO2 Rise from Ice Cores

The stable carbon isotope ratio of atmospheric CO2 (d13Catm) is a key parameter in deciphering past carbon cycle changes. Here we present d13Catm data for the past 24,000 years derived from three independent records from two Antarctic ice cores. We conclude that a pronounced 0.3 per mil decrease in d13Catm during the early deglaciation can be best explained by upwelling of old, carbon-enriched waters in the Southern Ocean. Later in the deglaciation, regrowth of the terrestrial biosphere, changes in sea surface temperature, and ocean circulation governed the d13Catm evolution. During the Last Glacial Maximum, d13Catm and atmospheric CO2 concentration were essentially constant, which suggests that the carbon cycle was in dynamic equilibrium and that the net transfer of carbon to the deep ocean had occurred before then

Holocene carbon-cycle dynamics based on CO2 trapped in ice at Taylor Dome, Antarctica

A high-resolution ice-core record of atmospheric CO2 concentration over the Holocene epoch shows that the global carbon cycle has not been in steady state during the past 11,000 years. Analysis of the CO2 concentration and carbon stable-isotope records, using a one-dimensional carbon-cycle model,uggests that changes in terrestrial biomass and sea surface temperature were largely responsible for the observed millennial-scale changes of atmospheric CO2 concentrations

Enhanced Australian carbon sink despite increased wildfire during the 21st century

Climate projections show Australia becoming significantly warmer during the 21st century, and precipitation decreasing over much of the continent. Such changes are conventionally considered to increase wildfire risk. Nevertheless, we show that burnt area increases in southern Australia, but decreases in northern Australia. Overall the projected increase in fire is small (0.72–1.31% of land area, depending on the climate scenario used), and does not cause a decrease in carbon storage. In fact, carbon storage increases by 3.7–5.6 Pg C (depending on the climate scenario used). Using a process-based model of vegetation dynamics, vegetation–fire interactions and carbon cycling, we show increased fire promotes a shift to more fire-adapted trees in wooded areas and their encroachment into grasslands, with an overall increase in forested area of 3.9–11.9%. Both changes increase carbon uptake and storage. The increase in woody vegetation increases the amount of coarse litter, which decays more slowly than fine litter hence leading to a relative reduction in overall heterotrophic respiration, further reducing carbon losses. Direct CO2 effects increase woody cover, water-use efficiency and productivity, such that carbon storage is increased by 8.5–14.8 Pg C compared to simulations in which CO2 is held constant at modern values. CO2 effects tend to increase burnt area, fire fluxes and therefore carbon losses in arid areas, but increase vegetation density and reduce burnt area in wooded areas

Перспективы использования меланинов лузги подсолнечника для очистки сточных вод пищевых производств от анионных азокрасителей

Изучены сорбционные свойства меланинов лузги подсолнечника по отношению к метиловому оранжевому. Установлено, что для исследованных образцов сорбционная активность по метиловому оранжевому составляет 302,1±1,8 мг/г. Для меланинов выявлено высокое сродство к веществам анионного типа. Полученные результаты определяют возможность разработки на основе меланинов сорбентов для очистки сточных вод пищевых производств от анионных моноазокрасителей.Studied are the sorption properties of melanins of sunflower husks in relation to to methyl orange. Discovered that for the samples studied the sorption activity with relation to to methyl-orange is 302,1±1,8 mg/g. . For melanin it was revealed a high affinity to substances of anionic type. The results obtained determine the possibility of development of melanin based sorbents for the purification of wastewater of food production from anionic azo dye

First Demonstration of a Pixelated Charge Readout for Single-Phase Liquid Argon Time Projection Chambers

Liquid Argon Time Projection Chambers (LArTPCs) have been selected for the future long-baseline Deep Underground Neutrino Experiment (DUNE). To allow LArTPCs to operate in the high-multiplicity near detector environment of DUNE, a new charge readout technology is required. Traditional charge readout technologies introduce intrinsic ambiguities, combined with a slow detector response, these ambiguities have limited the performance of LArTPCs, until now. Here, we present a novel pixelated charge readout that enables the full 3D tracking capabilities of LArTPCs. We characterise the signal to noise ratio of charge readout chain, to be about 14, and demonstrate track reconstruction on 3D space points produced by the pixel readout. This pixelated charge readout makes LArTPCs a viable option for the DUNE near detector complex.Comment: 13 pages, 9 figure