Urban energy consumption and CO2 emissions in Beijing: current and future

This paper calculates the energy consumption and CO2 emissions of Beijing over 2005–2011 in light of the Beijing’s energy balance table and the carbon emission coefficients of IPCC. Furthermore, based on a series of energy conservation planning program issued in Beijing, the Long-range Energy Alternatives Planning System (LEAP)-BJ model is developed to study the energy consumption and CO2 emissions of Beijing’s six end-use sectors and the energy conversion sector over 2012–2030 under the BAU scenario and POL scenario. Some results are found in this research: (1) During 2005–2011, the energy consumption kept increasing, while the total CO2 emissions fluctuated obviously in 2008 and 2011. The energy structure and the industrial structure have been optimized to a certain extent. (2) If the policies are completely implemented, the POL scenario is projected to save 21.36 and 35.37 % of the total energy consumption and CO2 emissions than the BAU scenario during 2012 and 2030. (3) The POL scenario presents a more optimized energy structure compared with the BAU scenario, with the decrease of coal consumption and the increase of natural gas consumption. (4) The commerce and service sector and the energy conversion sector will become the largest contributor to energy consumption and CO2 emissions, respectively. The transport sector and the industrial sector are the two most potential sectors in energy savings and carbon reduction. In terms of subscenarios, the energy conservation in transport (TEC) is the most effective one. (5) The macroparameters, such as the GDP growth rate and the industrial structure, have great influence on the urban energy consumption and carbon emissions

Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage

The applicability of model checking is hindered by the state space explosion problem in combination with limited amounts of main memory. To extend its reach, the large available capacities of secondary storage such as hard disks can be exploited. Due to the specific performance characteristics of secondary storage technologies, specialised algorithms are required. In this paper, we present a technique to use secondary storage for probabilistic model checking of Markov decision processes. It combines state space exploration based on partitioning with a block-iterative variant of value iteration over the same partitions for the analysis of probabilistic reachability and expected-reward properties. A sparse matrix-like representation is used to store partitions on secondary storage in a compact format. All file accesses are sequential, and compression can be used without affecting runtime. The technique has been implemented within the Modest Toolset. We evaluate its performance on several benchmark models of up to 3.5 billion states. In the analysis of time-bounded properties on real-time models, our method neutralises the state space explosion induced by the time bound in its entirety.Comment: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24953-7_1

The stellar and sub-stellar IMF of simple and composite populations

The current knowledge on the stellar IMF is documented. It appears to become top-heavy when the star-formation rate density surpasses about 0.1Msun/(yr pc^3) on a pc scale and it may become increasingly bottom-heavy with increasing metallicity and in increasingly massive early-type galaxies. It declines quite steeply below about 0.07Msun with brown dwarfs (BDs) and very low mass stars having their own IMF. The most massive star of mass mmax formed in an embedded cluster with stellar mass Mecl correlates strongly with Mecl being a result of gravitation-driven but resource-limited growth and fragmentation induced starvation. There is no convincing evidence whatsoever that massive stars do form in isolation. Various methods of discretising a stellar population are introduced: optimal sampling leads to a mass distribution that perfectly represents the exact form of the desired IMF and the mmax-to-Mecl relation, while random sampling results in statistical variations of the shape of the IMF. The observed mmax-to-Mecl correlation and the small spread of IMF power-law indices together suggest that optimally sampling the IMF may be the more realistic description of star formation than random sampling from a universal IMF with a constant upper mass limit. Composite populations on galaxy scales, which are formed from many pc scale star formation events, need to be described by the integrated galactic IMF. This IGIMF varies systematically from top-light to top-heavy in dependence of galaxy type and star formation rate, with dramatic implications for theories of galaxy formation and evolution.Comment: 167 pages, 37 figures, 3 tables, published in Stellar Systems and Galactic Structure, Vol.5, Springer. This revised version is consistent with the published version and includes additional references and minor additions to the text as well as a recomputed Table 1. ISBN 978-90-481-8817-

Can sacrificial feeding areas protect aquatic plants from herbivore grazing? Using behavioural ecology to inform wildlife management

Effective wildlife management is needed for conservation, economic and human well-being objectives. However, traditional population control methods are frequently ineffective, unpopular with stakeholders, may affect non-target species, and can be both expensive and impractical to implement. New methods which address these issues and offer effective wildlife management are required. We used an individual-based model to predict the efficacy of a sacrificial feeding area in preventing grazing damage by mute swans (Cygnus olor) to adjacent river vegetation of high conservation and economic value. The accuracy of model predictions was assessed by a comparison with observed field data, whilst prediction robustness was evaluated using a sensitivity analysis. We used repeated simulations to evaluate how the efficacy of the sacrificial feeding area was regulated by (i) food quantity, (ii) food quality, and (iii) the functional response of the forager. Our model gave accurate predictions of aquatic plant biomass, carrying capacity, swan mortality, swan foraging effort, and river use. Our model predicted that increased sacrificial feeding area food quantity and quality would prevent the depletion of aquatic plant biomass by swans. When the functional response for vegetation in the sacrificial feeding area was increased, the food quantity and quality in the sacrificial feeding area required to protect adjacent aquatic plants were reduced. Our study demonstrates how the insights of behavioural ecology can be used to inform wildlife management. The principles that underpin our model predictions are likely to be valid across a range of different resource-consumer interactions, emphasising the generality of our approach to the evaluation of strategies for resolving wildlife management problems

Thermal Properties of Graphene, Carbon Nanotubes and Nanostructured Carbon Materials

Recent years witnessed a rapid growth of interest of scientific and engineering communities to thermal properties of materials. Carbon allotropes and derivatives occupy a unique place in terms of their ability to conduct heat. The room-temperature thermal conductivity of carbon materials span an extraordinary large range - of over five orders of magnitude - from the lowest in amorphous carbons to the highest in graphene and carbon nanotubes. I review thermal and thermoelectric properties of carbon materials focusing on recent results for graphene, carbon nanotubes and nanostructured carbon materials with different degrees of disorder. A special attention is given to the unusual size dependence of heat conduction in two-dimensional crystals and, specifically, in graphene. I also describe prospects of applications of graphene and carbon materials for thermal management of electronics.Comment: Review Paper; 37 manuscript pages; 4 figures and 2 boxe

Methods to study splicing from high-throughput RNA Sequencing data

The development of novel high-throughput sequencing (HTS) methods for RNA (RNA-Seq) has provided a very powerful mean to study splicing under multiple conditions at unprecedented depth. However, the complexity of the information to be analyzed has turned this into a challenging task. In the last few years, a plethora of tools have been developed, allowing researchers to process RNA-Seq data to study the expression of isoforms and splicing events, and their relative changes under different conditions. We provide an overview of the methods available to study splicing from short RNA-Seq data. We group the methods according to the different questions they address: 1) Assignment of the sequencing reads to their likely gene of origin. This is addressed by methods that map reads to the genome and/or to the available gene annotations. 2) Recovering the sequence of splicing events and isoforms. This is addressed by transcript reconstruction and de novo assembly methods. 3) Quantification of events and isoforms. Either after reconstructing transcripts or using an annotation, many methods estimate the expression level or the relative usage of isoforms and/or events. 4) Providing an isoform or event view of differential splicing or expression. These include methods that compare relative event/isoform abundance or isoform expression across two or more conditions. 5) Visualizing splicing regulation. Various tools facilitate the visualization of the RNA-Seq data in the context of alternative splicing. In this review, we do not describe the specific mathematical models behind each method. Our aim is rather to provide an overview that could serve as an entry point for users who need to decide on a suitable tool for a specific analysis. We also attempt to propose a classification of the tools according to the operations they do, to facilitate the comparison and choice of methods.Comment: 31 pages, 1 figure, 9 tables. Small corrections adde

Use of an Immobilized Monoclonal Antibody to Examine Integrin α5β1 Signaling Independent of Cell Spreading

Cell attachment to the extracellular matrix (ECM) engages integrin signaling into the cell, but part of the signaling response also stem from cell spreading (3). To analyze specific integrin signaling-mediated responses independent of cell spreading, we developed a method engaging integrin signaling by use of an immobilized anti-integrin monoclonal antibody (mab) directed against the fibronectin (FN) receptor integrin α5β1. ECV 304 cells were plated onto FN or immobilized mab JBS5 (anti-integrin α5β1) or onto poly-L-lysin (P-L-L), which mediates integrin-independent attachment. Cells attached and spread on FN, while cells on JBS5 or P-L-L attached but did not spread. Importantly, plating onto FN or mab JBS5 gave rise to identical integrin-induced responses, including a down-regulation of the cyclin-dependent kinase (Cdk2) inhibitors p21(CIP1) and p27(KIP1), while attachment to P-L-L did not. We conclude that engagement of the FN-receptor integrin α5β1 induces integrin signaling regulating the Cdk2-inhibitors independent of cell spreading and present a method for how integrin signaling can be analyzed separate from the effects of cell spreading

A generic travelling wave solution in dissipative laser cavity

A large family of cosh-Gaussian travelling wave solution of a complex Ginzburg–Landau equation (CGLE), that describes dissipative semiconductor laser cavity is derived. Using perturbation method, the stability region is identified. Bifurcation analysis is done by smoothly varying the cavity loss coefficient to provide insight of the system dynamics. He’s variational method is adopted to obtain the standard sech-type and the notso-explored but promising cosh-Gaussian type, travelling wave solutions. For a given set of system parameters, only one sech solution is obtained, whereas several distinct solution points are derived for cosh-Gaussian case. These solutions yield a wide variety of travelling wave profiles, namely Gaussian, near-sech, flat-top and a cosh-Gaussianwith variable central dip. A split-step Fourier method and pseudospectral method have been used for direct numerical solution of the CGLE and travelling wave profiles identical to the analytical profiles have been obtained. We also identified the parametric zone that promises an extremely large family of cosh-Gaussian travelling wave solutions with tunable shape. This suggests that the cosh-Gaussian profile is quite generic and would be helpful for further theoretical as well as experimental investigation on pattern formation, pulse dynamics andlocalization in semiconductor laser cavity

The genetic basis and evolution of red blood cell sickling in deer

Crescent-shaped red blood cells, the hallmark of sickle-cell disease, present a striking departure from the biconcave disc shape normally found in mammals. Characterized by increased mechanical fragility, sickled cells promote haemolytic anaemia and vaso-occlusions and contribute directly to disease in humans. Remarkably, a similar sickle-shaped morphology has been observed in erythrocytes from several deer species, without obvious pathological consequences. The genetic basis of erythrocyte sickling in deer, however, remains unknown. Here, we determine the sequences of human β-globin orthologues in 15 deer species and use protein structural modelling to identify a sickling mechanism distinct from the human disease, coordinated by a derived valine (E22V) that is unique to sickling deer. Evidence for long-term maintenance of a trans-species sickling/non-sickling polymorphism suggests that sickling in deer is adaptive. Our results have implications for understanding the ecological regimes and molecular architectures that have promoted convergent evolution of sickling erythrocytes across vertebrates

Evaluation of next-generation sequencing software in mapping and assembly

Next-generation high-throughput DNA sequencing technologies have advanced progressively in sequence-based genomic research and novel biological applications with the promise of sequencing DNA at unprecedented speed. These new non-Sanger-based technologies feature several advantages when compared with traditional sequencing methods in terms of higher sequencing speed, lower per run cost and higher accuracy. However, reads from next-generation sequencing (NGS) platforms, such as 454/Roche, ABI/SOLiD and Illumina/Solexa, are usually short, thereby restricting the applications of NGS platforms in genome assembly and annotation. We presented an overview of the challenges that these novel technologies meet and particularly illustrated various bioinformatics attempts on mapping and assembly for problem solving. We then compared the performance of several programs in these two fields, and further provided advices on selecting suitable tools for specific biological applications.published_or_final_versio