Production and characterization of spruce wood and bark biochar

Please click Additional Files below to see the full abstrac

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking

Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics. Some temporal logics, such as CTL, are branching: they allow to express facts about the whole computation tree of the model, rather than on each single linear computation. This branching aspect is even more critical when dealing with multi-modal logics, i.e. logics expressing facts about systems with several transition relations. A prominent example is CTLK, a logic that reasons about temporal and epistemic properties of multi-agent systems. In general, model checkers produce linear counter-examples for failed properties, composed of a single computation path of the model. But some branching properties are only poorly and partially explained by a linear counter-example. This paper proposes richer counter-example structures called tree-like annotated counter-examples (TLACEs), for properties in Action-Restricted CTL (ARCTL), an extension of CTL quantifying paths restricted in terms of actions labeling transitions of the model. These counter-examples have a branching structure that supports more complete description of property violations. Elements of these counter-examples are annotated with parts of the property to give a better understanding of their structure. Visualization and browsing of these richer counter-examples become a critical issue, as the number of branches and states can grow exponentially for deeply-nested properties. This paper formally defines the structure of TLACEs, characterizes adequate counter-examples w.r.t. models and failed properties, and gives a generation algorithm for ARCTL properties. It also illustrates the approach with examples in CTLK, using a reduction of CTLK to ARCTL. The proposed approach has been implemented, first by extending the NuSMV model checker to generate and export branching counter-examples, secondly by providing an interactive graphical interface to visualize and browse them.Comment: In Proceedings IWIGP 2012, arXiv:1202.422

Modelling short-term CO2 fluxes and long-term tree growth in temperate forests with ASPECTS

peer reviewedThe net ecosystem exchange (NEE) Of CO2 between temperate forests and the atmosphere governs both carbon removal from the atmosphere and forest growth. In recent years, many experiments have been conducted to determine temperate forest NEE. These data have been used by forest modellers to better understand the processes that govern CO, fluxes, and estimate the evolution of these fluxes under changing environmental conditions. Nevertheless, it is not clear whether models capable of handling short-term processes, which are mostly source-driven, can provide an accurate estimate of long-term forest growth, which is potentially more influenced by sink- and phenology-related processes. To analyse the interactions between short- and long-term processes, we developed the ASPECTS model, which predicts long-term forest growth by integrating, over time, hourly NEE estimates. Validation data consisting of measurements of NEE by eddy-covariance and forest carbon reservoir estimates were obtained from mixed deciduous and evergreen experimental forests located in Belgium. ASPECTS accurately estimated both: (1) the NEE fluxes for several years of data; and (2) the amount of carbon contained in stems, branches, leaves, fine and coarse roots. Our simulations demonstrated that: (1) NEE measurements in Belgian forests are compatible with forest growth over the course of the 20th century, and (2) that forest history and long-term processes need to be considered for accurate simulation of short-term CO2 fluxes

SWARM-BOT: Pattern Formation in a Swarm of Self-Assembling Mobile Robots

In this paper we introduce a new robotic system, called swarm-bot. The system consists of a swarm of mobile robots with the ability to connect to/disconnect from each other to self-assemble into different kinds of structures. First, we describe our vision and the goals of the project. Then we present preliminary results on the formation of patterns obtained from a grid-world simulation of the system

How to measure, report and verify soil carbon change to realize the potential of soil carbon sequestration for atmospheric greenhouse gas removal

Global Change Biology published by John Wiley & Sons Ltd There is growing international interest in better managing soils to increase soil organic carbon (SOC) content to contribute to climate change mitigation, to enhance resilience to climate change and to underpin food security, through initiatives such as international ‘4p1000’ initiative and the FAO\u27s Global assessment of SOC sequestration potential (GSOCseq) programme. Since SOC content of soils cannot be easily measured, a key barrier to implementing programmes to increase SOC at large scale, is the need for credible and reliable measurement/monitoring, reporting and verification (MRV) platforms, both for national reporting and for emissions trading. Without such platforms, investments could be considered risky. In this paper, we review methods and challenges of measuring SOC change directly in soils, before examining some recent novel developments that show promise for quantifying SOC. We describe how repeat soil surveys are used to estimate changes in SOC over time, and how long-term experiments and space-for-time substitution sites can serve as sources of knowledge and can be used to test models, and as potential benchmark sites in global frameworks to estimate SOC change. We briefly consider models that can be used to simulate and project change in SOC and examine the MRV platforms for SOC change already in use in various countries/regions. In the final section, we bring together the various components described in this review, to describe a new vision for a global framework for MRV of SOC change, to support national and international initiatives seeking to effect change in the way we manage our soils

KEYLINK: towards a more integrative soil representation for inclusion in ecosystem scale models. I. review and model concept

The relatively poor simulation of the below-ground processes is a severe drawback for many ecosystem models, especially when predicting responses to climate change and management. For a meaningful estimation of ecosystem production and the cycling of water, energy, nutrients and carbon, the integration of soil processes and the exchanges at the surface is crucial. It is increasingly recognized that soil biota play an important role in soil organic carbon and nutrient cycling, shaping soil structure and hydrological properties through their activity, and in water and nutrient uptake by plants through mycorrhizal processes. In this article, we review the main soil biological actors (microbiota, fauna and roots) and their effects on soil functioning. We review to what extent they have been included in soil models and propose which of them could be included in ecosystem models. We show that the model representation of the soil food web, the impact of soil ecosystem engineers on soil structure and the related effects on hydrology and soil organic matter (SOM) stabilization are key issues in improving ecosystem-scale soil representation in models. Finally, we describe a new core model concept (KEYLINK) that integrates insights from SOM models, structural models and food web models to simulate the living soil at an ecosystem scale

ORCHIDEE-PEAT (revision 4596), a model for northern peatland CO2, water, and energy fluxes on daily to annual scales

Peatlands store substantial amounts of carbon and are vulnerable to climate change. We present a modified version of the Organising Carbon and Hydrology In Dynamic Ecosystems (ORCHIDEE) land surface model for simulating the hydrology, surface energy, and CO2 fluxes of peatlands on daily to annual timescales. The model includes a separate soil tile in each 0.5 degrees grid cell, defined from a global peatland map and identified with peat-specific soil hydraulic properties. Runoff from non-peat vegetation within a grid cell containing a fraction of peat is routed to this peat soil tile, which maintains shallow water tables. The water table position separates oxic from anoxic decomposition. The model was evaluated against eddy-covariance (EC) observations from 30 northern peatland sites, with the maximum rate of carboxylation (V-cmax) being optimized at each site. Regarding short-term day-to-day variations, the model performance was good for gross primary production (GPP) (r(2) = 0.76; Nash-Sutcliffe modeling efficiency, MEF = 0.76) and ecosystem respiration (ER, r(2) = 0.78, MEF = 0.75), with lesser accuracy for latent heat fluxes (LE, r(2) = 0.42, MEF = 0.14) and and net ecosystem CO2 exchange (NEE, r(2) = 0.38, MEF = 0.26). Seasonal variations in GPP, ER, NEE, and energy fluxes on monthly scales showed moderate to high r(2) values (0.57-0.86). For spatial across-site gradients of annual mean GPP, ER, NEE, and LE, r(2) values of 0.93, 0.89, 0.27, and 0.71 were achieved, respectively. Water table (WT) variation was not well predicted (r(2) <0.1), likely due to the uncertain water input to the peat from surrounding areas. However, the poor performance of WT simulation did not greatly affect predictions of ER and NEE. We found a significant relationship between optimized V-cmax and latitude (temperature), which better reflects the spatial gradients of annual NEE than using an average V-cmax value.Peer reviewe

Midline Signalling Systems Direct the Formation of a Neural Map by Dendritic Targeting in the Drosophila Motor System

During embryonic development of the motor system of Drosophila, motorneurons target their dendrites to different regions along the body axis in response to midline guidance cues

Soil Respiration in Relation to Photosynthesis of Quercus mongolica Trees at Elevated CO2

Knowledge of soil respiration and photosynthesis under elevated CO2 is crucial for exactly understanding and predicting the carbon balance in forest ecosystems in a rapid CO2-enriched world. Quercus mongolica Fischer ex Ledebour seedlings were planted in open-top chambers exposed to elevated CO2 (EC = 500 µmol mol−1) and ambient CO2 (AC = 370 µmol mol−1) from 2005 to 2008. Daily, seasonal and inter-annual variations in soil respiration and photosynthetic assimilation were measured during 2007 and 2008 growing seasons. EC significantly stimulated the daytime soil respiration by 24.5% (322.4 at EC vs. 259.0 mg CO2 m−2 hr−1 at AC) in 2007 and 21.0% (281.2 at EC vs. 232.6 mg CO2 m−2 hr−1 at AC) in 2008, and increased the daytime CO2 assimilation by 28.8% (624.1 at EC vs. 484.6 mg CO2 m−2 hr−1 at AC) across the two growing seasons. The temporal variation in soil respiration was positively correlated with the aboveground photosynthesis, soil temperature, and soil water content at both EC and AC. EC did not affect the temperature sensitivity of soil respiration. The increased daytime soil respiration at EC resulted mainly from the increased aboveground photosynthesis. The present study indicates that increases in CO2 fixation of plants in a CO2-rich world will rapidly return to the atmosphere by increased soil respiration