Optimizing plug-in electric vehicle charging in interaction with a small office building

This paper considers the integration of plug-in electric vehicles (PEVs) in micro-grids. Extending a theoretical framework for mobile storage connection, the economic analysis here turns to the interactions of commuters and their driving behavior with office buildings. An illustrative example for a real office building is reported. The chosen system includes solar thermal, photovoltaic, combined heat and power generation as well as an array of plug-in electric vehicles with a combined aggregated capaci-ty of 864 kWh. With the benefit-sharing mechanism proposed here and idea-lized circumstances, estimated cost savings of 5% are possible. Different pricing schemes were applied which include flat rates, demand charges, as well as hourly variable final customer tariffs and their effects on the operation of intermittent storage were revealed and examined in detail. Because the plug-in electric vehicle connection coincides with peak heat and electricity loads as well as solar radiation, it is possible to shift energy demand as desired in order to realize cost savings. --Battery storage,building management systems,dispersed storage and generation,electric vehicles,load management,microgrid,optimization methods,power system economics,road vehicle electric propulsion

Natural HLA-B*2705 protein ligands with glutamine as anchor motif: implications for HLA-B27 association with spondyloarthropathy

The presentation of short viral peptide antigens by human leukocyte antigen (HLA) class I molecules on cell surfaces is a key step in the activation of cytotoxic T lymphocytes, which mediate the killing of pathogen-infected cells or initiate autoimmune tissue damage. HLA-B27 is a well known class I molecule that is used to study both facets of the cellular immune response. Using mass spectrometry analysis of complex HLA-bound peptide pools isolated from large amounts of HLA-B*2705(+) cells, we identified 200 naturally processed HLA-B*2705 ligands. Our analyses revealed that a change in the position (P) 2 anchor motif was detected in the 3% of HLA-B*2705 ligands identified. B*2705 class I molecules were able to bind these six GlnP2 peptides, which showed significant homology to pathogenic bacterial sequences, with a broad range of affinities. One of these ligands was able to bind with distinct conformations to HLA-B27 subtypes differentially associated with ankylosing spondylitis. These conformational differences could be sufficient to initiate autoimmune damage in patients with ankylosing spondylitis-associated subtypes. Therefore, these kinds of peptides (short, with GlnP2, and similar low affinity to all HLA-B27 subtypes tested but with unlike conformations in differentially ankylosing spondylitis-associated subtypes) must not be excluded from future researches involving potential arthritogenic peptides.This work was supported by grants from the Programa Ramón y Cajal and the Ministerio de Ciencia e Innovación (to D. L.) and from the Israel Science Foundation (ISF 916/05) (to A. A.).N

Polemics between sages and priests towards the end of the days of the Second Temple.

digitize

The changing structure of housing markets in rural and regional centres

Presentation: The drivers of housing supply and demand in rural and regional centres Professor Andrew Beer Presentation: Pathways and choice in a diversifying social and affordable housing system Dr Ilan Vizel Presentation: Moving home: the role of housing policy in responding to and promoting mobility Dr Rae Dufty-Jone

An optimized symbolic bounded model checking engine

Abstract. It has been shown that bounded model checking using a SAT solver can solve many verification problems that would cause BDD based symbolic model checking engines to explode. However, no single algorithmic solution has proven to be totally superior in resolving all types of model checking problems. We present an optimized bounded model checker based on BDDs and describe the advantages and drawbacks of this model checker as compared to BDD-based symbolic model checking and SAT-based model checking. We show that, in some cases, this engine solves verification problems that could not be solved by other methods.