The AeroCom evaluation and intercomparison of organic aerosol in global models

This paper evaluates the current status of global modeling of the organic aerosol (OA) in the troposphere and analyzes the differences between models as well as between models and observations. Thirty-one global chemistry transport models (CTMs) and general circulation models (GCMs) have participated in this intercomparison, in the framework of AeroCom phase II. The simulation of OA varies greatly between models in terms of the magnitude of primary emissions, secondary OA (SOA) formation, the number of OA species used (2 to 62), the complexity of OA parameterizations (gas-particle partitioning, chemical aging, multiphase chemistry, aerosol microphysics), and the OA physical, chemical and optical properties. The diversity of the global OA simulation results has increased since earlier AeroCom experiments, mainly due to the increasing complexity of the SOA parameterization in models, and the implementation of new, highly uncertain, OA sources. Diversity of over one order of magnitude exists in the modeled vertical distribution of OA concentrations that deserves a dedicated future study. Furthermore, although the OA / OC ratio depends on OA sources and atmospheric processing, and is important for model evaluation against OA and OC observations, it is resolved only by a few global models. The median global primary OA (POA) source strength is 56 Tg a−1 (range 34–144 Tg a−1) and the median SOA source strength (natural and anthropogenic) is 19 Tg a−1 (range 13–121 Tg a−1). Among the models that take into account the semi-volatile SOA nature, the median source is calculated to be 51 Tg a−1 (range 16–121 Tg a−1), much larger than the median value of the models that calculate SOA in a more simplistic way (19 Tg a−1; range 13–20 Tg a−1, with one model at 37 Tg a−1). The median atmospheric burden of OA is 1.4 Tg (24 models in the range of 0.6–2.0 Tg and 4 between 2.0 and 3.8 Tg), with a median OA lifetime of 5.4 days (range 3.8–9.6 days). In models that reported both OA and sulfate burdens, the median value of the OA/sulfate burden ratio is calculated to be 0.77; 13 models calculate a ratio lower than 1, and 9 models higher than 1. For 26 models that reported OA deposition fluxes, the median wet removal is 70 Tg a−1 (range 28–209 Tg a−1), which is on average 85% of the total OA deposition. Fine aerosol organic carbon (OC) and OA observations from continuous monitoring networks and individual field campaigns have been used for model evaluation. At urban locations, the model–observation comparison indicates missing knowledge on anthropogenic OA sources, both strength and seasonality. The combined model–measurements analysis suggests the existence of increased OA levels during summer due to biogenic SOA formation over large areas of the USA that can be of the same order of magnitude as the POA, even at urban locations, and contribute to the measured urban seasonal pattern. Global models are able to simulate the high secondary character of OA observed in the atmosphere as a result of SOA formation and POA aging, although the amount of OA present in the atmosphere remains largely underestimated, with a mean normalized bias (MNB) equal to −0.62 (−0.51) based on the comparison against OC (OA) urban data of all models at the surface, −0.15 (+0.51) when compared with remote measurements, and −0.30 for marine locations with OC data. The mean temporal correlations across all stations are low when compared with OC (OA) measurements: 0.47 (0.52) for urban stations, 0.39 (0.37) for remote stations, and 0.25 for marine stations with OC data. The combination of high (negative) MNB and higher correlation at urban stations when compared with the low MNB and lower correlation at remote sites suggests that knowledge about the processes that govern aerosol processing, transport and removal, on top of their sources, is important at the remote stations. There is no clear change in model skill with increasing model complexity with regard to OC or OA mass concentration. However, the complexity is needed in models in order to distinguish between anthropogenic and natural OA as needed for climate mitigation, and to calculate the impact of OA on climate accurately.

Everyday revolution: the making of the Soviet Urban commune

This chapter charts the rise the urban commune as a cultural construct in early Soviet Russia and, in so doing, explores the implication of assessing the spaces in-between the apparatus of state -- very much a new venture in Soviet history.

Exploring smart grid possibilities: a complex systems modelling approach

Smart grid research has tended to be compartmentalised, with notable contributions from economics, electrical engineering and science and technology studies. However, there is an acknowledged and growing need for an integrated systems approach to the evaluation of smart grid initiatives. The capacity to simulate and explore smart grid possibilities on various scales is key to such an integrated approach but existing models – even if multidisciplinary – tend to have a limited focus. This paper describes an innovative and flexible framework that has been developed to facilitate the simulation of various smart grid scenarios and the interconnected social, technical and economic networks from a complex systems perspective. The architecture is described and related to realised examples of its use, both to model the electricity system as it is today and to model futures that have been envisioned in the literature. Potential future applications of the framework are explored, along with its utility as an analytic and decision support tool for smart grid stakeholders.

Planning in the face of ‘deep divisions’: a view from Beirut, Lebanon

This article discusses planning in the global South-East while focusing on the specific context of social divides, political turmoil and conflict situations. The article proposes a five-way framework based on political science and planning to theory to analyse such contexts. The article explores the case of Beirut, Lebanon that has undergone several episodes of internal and external conflicts resulting in a society splintered along sectarianism. Three Two case studies of open urban spaces and their public activities are analysed using the five-way framework The discussion indicates how economic liberalism that is prevalent in countries of the South-East, along with place-based identities, interest-based identities, consensus orientated processes and institutionalism might facilitate a cultivation of deep values away from a narrowly constructed identity. The article argues that planners should understand the options for positive action that aim to bridge deep divisions and suggests that the five-way framework provides a reference for contextualising in different ways to suit particular contexts. Therefore, the framework is not necessarily restricted to the South-East but could be applicable to any context which manifests deep divisions.

UNIVERSAL COVERING OF DRIFTLESS CONTROL SYSTEMS

Let M be a finite-dimensional manifold and Sigma be a driftless control system on M of full rank. We prove that for a given initial state x epsilon M, the covering space Gamma(Sigma, x) for a monotonic homotopy of trajectories of Sigma which is recently constructed in [1] coincides with the simply connected universal covering manifold of M and that the terminal projection epsilon(x) : Gamma(Sigma, x) -> M given by epsilon(x) ([alpha]) = alpha(1) is a covering mapping.

Banach spaces without minimal subspaces

We prove three new dichotomies for Banach spaces a la W.T. Gowers` dichotomies. The three dichotomies characterise respectively the spaces having no minimal subspaces, having no subsequentially minimal basic sequences, and having no subspaces crudely finitely representable in all of their subspaces. We subsequently use these results to make progress on Gowers` program of classifying Banach spaces by finding characteristic spaces present in every space. Also, the results are used to embed any partial order of size K I into the subspaces of any space without a minimal subspace ordered by isomorphic embeddability. (c) 2009 Elsevier Inc. All fights reserved.

Grafisk profilering med praktisk tillämpning på Rookiefestivalen

This degree project includes both a theoretic component and a practical component within the graphicprofiling domain. Literature on graphic design has been studied for the theoretical part and the achievedknowledge has been used for the practical part. The project has been to produce graphic materialfor “Rookiefestivalen” in Hultsfred.In modern society it is important for a corporation to distinguish itself from others by using a graphicprofile. Through using a graphic profile the company can have an affect on how it is perceived byothers. This is true not only for corporations as both organisations, societies and other events will benefitfrom the use of a graphic profile.The material that’s been produced is not within the traditional boundaries of graphic profiling. It israther marketing material for the festival. The graphic profile was applied to a variety of things suchas posters, flyers, ad’s and the festival’s website. The result is to be seen in the appendix of this degreeproject and on the Internet: http://www.rookierockparty.se

En SOA utvärderingsmall med fokus på integration, arkitektur och tjänster : Ett praktikfall på Logica

Today, there are no standardized ways to characterize SOA, many are talking about SOA and many say they are using SOA. One way that we have chosen to characterize this phenomenon is through an evaluation that will indicate whether SOA have been used in the development. Basedon a Service Oriented Architecture literature study, we have created an evaluation pattern resulting SOA principles of integration, architecture and services. This evaluation was applied to Logica's own integration system AgrCom through an empirical study to result in a response indicating whether AgrCom is SOA based. The results of the evaluation show that AgrCom is part of an SOA solution but not an SOA as a whole concept. The study shows that it takes morethan just systems in an activity to be referred to as the SOA-based, hence the architecture of anactivity must be taken into account.

ICT as a tool in English teaching : A literature review on the use of ICT for Swedish students with learning difficulties and their literacy learning in grades 7-9

Information and communication technology (ICT) is a subject that is being discussed as a tool that is used within education around the world. Furthermore it can be seen as a tool for teachers to individualize students´ education. Students with literacy difficulties, such as dyslexia, are in constant need of new ways to learn, and new ways to be motivated to learn. The aim of this study is to see what research says in regard to how ICT can be used as a tool to help students with literacy difficulties. Literacy difficulties can be due to a number of things, such as the student has not been taught how to read, trouble within the family which can cause distress, or a neurological disorder such as dyslexia. Furthermore, the main research questions will focus on how ICT can be compared to traditional education forms, such as books and a more teacher centered education within the classroom, and whether ICT can be preferred. The results of this literature review indicates that ICT can be seen as a way for teachers to help students with literacy difficulties gain more self-esteem – something the literature tells us students with learning difficulties lack. The results also show how ICT can lead to a more individualized education. This is due to tools that increase reading comprehension and tools that give direct response when working with ICT, which helps students work more independently.

Using structured observation and content analysis to explore the presence of older people in public fora in developing countries

There is a lack of research on the everyday lives of older people in developing countries. This exploratory study used structured observation and content analysis to examine the presence of older people in public fora, and considered the methods’ potential for understanding older people’s social integration and inclusion. Structured observation occurred of public social spaces in six cities each located in a different developing country, and in one city in the United Kingdom, together with content analysis of the presence of people in newspaper pictures and on television in the selected countries. Results indicated that across all fieldwork sites and data sources, there was a low presence of older people, with women considerably less present than men in developing countries. There was variation across fieldwork sites in older people’s presence by place and time of day, and in their accompanied status. The presence of older people in images drawn from newspapers was associated with the news/non-news nature of the source. The utility of the study’s methodological approach is considered, as is the degree to which the presence of older people in public fora might relate to social integration and inclusion in different cultural contexts.

A Gradient-Type Method For Real-Time State Estimation Of Water Distribution Networks

Drinking water distribution networks risk exposure to malicious or accidental contamination. Several levels of responses are conceivable. One of them consists to install a sensor network to monitor the system on real time. Once a contamination has been detected, this is also important to take appropriate counter-measures. In the SMaRT-OnlineWDN project, this relies on modeling to predict both hydraulics and water quality. An online model use makes identification of the contaminant source and simulation of the contaminated area possible. The objective of this paper is to present SMaRT-OnlineWDN experience and research results for hydraulic state estimation with sampling frequency of few minutes. A least squares problem with bound constraints is formulated to adjust demand class coefficient to best fit the observed values at a given time. The criterion is a Huber function to limit the influence of outliers. A Tikhonov regularization is introduced for consideration of prior information on the parameter vector. Then the Levenberg-Marquardt algorithm is applied that use derivative information for limiting the number of iterations. Confidence intervals for the state prediction are also given. The results are presented and discussed on real networks in France and Germany.

Duque de Caxias para quem?: imaginários sociais e apropriações de territórios na cibercultura

A partir das múltiplas representações que se reproduzem sobre a cidade de Duque de Caxias ao longo dos anos, imaginários e identidades sociais são fortalecidos e transformados. No entanto, autorrepresentações, provindas de agentes culturais da cidade organizados em uma rede, que muito se fortalece com o uso da internet, buscam desconstruir estereótipos e reivindicar a cidade que eles querem e julgam ter direito. Neste contexto, a primeira parte do trabalho se dedica a uma investigação sobre como a cidade de Duque de Caxias foi e é representada por atores diversos, incluindo seus próprios moradores. São ressaltadas as aproximações entre a produção cultural dessa rede com a construção e ressignificação de símbolos e imaginários da cidade. São realizados, ainda, estudos de caso sobre o cineclube Mate com Angu, o coletivo de quadrinistas Capa Comics e o blog Lurdinha. A segunda parte do trabalho versa sobre as relações afetivas entre a população duque caxiense e os territórios habitados, em muito transformadas pelas produções culturais que enfatizam o pertencimento à cidade. O incentivo ao melhor uso dos espaços públicos e a criação de equipamentos de lazer se apresentam como essenciais neste processo. Os resultados dessa pesquisa apresentam uma reflexão sobre as potencialidades da internet para o fortalecimento das relações em rede, para oportunizar autorrepresentações e, ainda, para provocar mobilidades. As transformações ocorridas em torno das percepções sobre a cidade, a compreensão de pertencimento a ela e a apropriação dos espaços também são pontos destacados nesta dissertação.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Behavioral study of Cebus nigritus (Goldfuss, 1809) (Primates, Cebidae) in captivity

The objective of this study was to describe the behavior of Cebus nigritus kept in captivity. The work, carried out during the month of March 2008 at "Dr. Belrio Guimaraes Brandao" County Zoo in GarYa- SP and Monte Alegre Farm Ecological Park in Telemaco Borba- PR, included 48 hours of observations, divided equally in four daytime periods. The behavioral catalogue used was constituted of different categories such as: foraging, feeding, locomotion, rest, social interaction, physical care, alertness, manipulation of things, reproductive behavior and stereotyped behavior. Animals showed activities of foraging, feeding, and locomotion and social interaction in low percentages in the two morning periods; however, their frequencies increased in the afternoon. Other activities like physical care, alertness and stereotyped behavior appeared mainly in the two morning periods, but were reduced in the afternoon. The rest category was more evident early morning and late afternoon. Since the stereotypical behavior presented high percentages, this study recommends that the number of individuals be diversiied in the social organization of the groups and that environment enriching activities be developed in captivity, creating situations similar to the animal's natural habitat.