Influence of ventilation and filtration on indoor particle concentrations in urban office buildings

This study aimed to quantify the efficiency of deep bag and electrostatic filters, and assess the influence of ventilation systems using these filters on indoor fine (<2.5 µm) and ultrafine particle concentrations in commercial office buildings. Measurements and modelling were conducted for different indoor and outdoor particle source scenarios at three office buildings in Brisbane, Australia. Overall, the in-situ efficiency, measured for particles in size ranges 6 to 3000 nm, of the deep bag filters ranged from 26.3 to 46.9% for the three buildings, while the in-situ efficiency of the electrostatic filter in one building was 60.2%. The highest PN and PM2.5 concentrations in one of the office buildings (up to 131% and 31% higher than the other two buildings, respectively) were due to the proximity of the building’s HVAC air intakes to a nearby bus-only roadway, as well as its higher outdoor ventilation rate. The lowest PN and PM2.5 concentrations (up to 57% and 24% lower than the other two buildings, respectively) were measured in a building that utilised both outdoor and mixing air filters in its HVAC system. Indoor PN concentrations were strongly influenced by outdoor levels and were significantly higher during rush-hours (up to 41%) and nucleation events (up to 57%), compared to working-hours, for all three buildings. This is the first time that the influence of new particle formation on indoor particle concentrations has been identified and quantified. A dynamic model for indoor PN concentration, which performed adequately in this study also revealed that using mixing/outdoor air filters can significantly reduce indoor particle concentration in buildings where indoor air was strongly influenced by outdoor particle levels. This work provides a scientific basis for the selection and location of appropriate filters and outdoor air intakes, during the design of new, or upgrade of existing, building HVAC systems. The results also serve to provide a better understanding of indoor particle dynamics and behaviours under different ventilation and particle source scenarios, and highlight effective methods to reduce exposure to particles in commercial office buildings.

Efficient selective identity-based encryption without random oracles

We construct two efficient Identity-Based Encryption (IBE) systems that admit selective-identity security reductions without random oracles in groups equipped with a bilinear map. Selective-identity secure IBE is a slightly weaker security model than the standard security model for IBE. In this model the adversary must commit ahead of time to the identity that it intends to attack, whereas in an adaptive-identity attack the adversary is allowed to choose this identity adaptively. Our first system—BB1—is based on the well studied decisional bilinear Diffie–Hellman assumption, and extends naturally to systems with hierarchical identities, or HIBE. Our second system—BB2—is based on a stronger assumption which we call the Bilinear Diffie–Hellman Inversion assumption and provides another approach to building IBE systems. Our first system, BB1, is very versatile and well suited for practical applications: the basic hierarchical construction can be efficiently secured against chosen-ciphertext attacks, and further extended to support efficient non-interactive threshold decryption, among others, all without using random oracles. Both systems, BB1 and BB2, can be modified generically to provide “full” IBE security (i.e., against adaptive-identity attacks), either using random oracles, or in the standard model at the expense of a non-polynomial but easy-to-compensate security reduction.

Vagueness and software engineering

We do not commonly associate software engineering with philosophical debate. Indeed, software engineers ought to be concerned with building software systems and not settling philosophical questions. I attempt to show that software engineers do, in fact, take philosophical sides when designing software applications. In particular, I look at how the problem of vagueness arises in software engineering and argue that when software engineers solve it, they commit to philosophical views that they are seldom aware of. In the second part of the paper, I suggest a way of dealing with vague predicates without having to confront the problem of vagueness itself. The purpose of my paper is to highlight the currently prevalent disconnect between philosophy and software engineering. I claim that a better knowledge of the philosophical debate is important as it can have ramifications for crucial software design decisions. Better awareness of philosophical issues not only produces better software engineers, it also produces better engineered products.

Energy use assessment of educational buildings: Toward a campus-wide sustainable energy policy

The purpose of this article is to assess the viability of blanket sustainability policies, such as Building Rating Systems in achieving energy efficiency in university campus buildings. We analyzed the energy consumption trends of 10 LEED-certified buildings and 14 non-LEED certified buildings at a major university in the US. Energy Use Intensity (EUI) of the LEED buildings was significantly higher (EUILEED= 331.20 kBtu/sf/yr) than non-LEED buildings (EUInon-LEED=222.70 kBtu/sf/yr); however, the median EUI values were comparable (EUILEED= 172.64 and EUInon-LEED= 178.16). Because the distributions of EUI values were non-symmetrical in this dataset, both measures can be used for energy comparisons—this was also evident when EUI computations exclude outliers, EUILEED=171.82 and EUInon-LEED=195.41. Additional analyses were conducted to further explore the impact of LEED certification on university campus buildings energy performance. No statistically significant differences were observed between certified and non-certified buildings through a range of robust comparison criteria. These findings were then leveraged to devise strategies to achieve sustainable energy policies for university campus buildings and to identify potential issues with portfolio level building energy performance comparisons.

Programa de simulação de sistemas de aquecimento Solar.

Neste trabalho é apresentado o desenvolvimento de um programa computacional que simula o desempenho térmico de um sistema de aquecimento solar de água com circulação forçada, adequado para uso em edificações. O programa trabalha realizando o balanço de massa e de energia no reservatório térmico a cada hora, tendo como valores de entrada dados do ano meteorológico típico da localidade selecionada e a vazão de água quente de consumo. Os componentes do sistema são o reservatório térmico de água quente com aquecedor auxiliar interno, o coletor solar e a bomba de circulação. A base de dados meteorológicos escolhida foi a do projeto SWERA, que contém arquivos no formato padrão TMY disponíveis na internet para um número considerável de cidades, incluindo diversas localidades brasileiras. Foi proposto um modelo de temperatura de água da rede de abastecimento relacionado com a temperatura do solo, dado disponível nos arquivos de entrada utilizados. O programa utilizou como referência para a validação dos modelos de cálculo resultados obtidos pelo programa comercial de simulação TRNSYS. Foram comparados resultados para os modelos de irradiação incidente em superfície inclinada, do coletor solar e do sistema completo. Para isto foram simulados sistemas localizados em quatro cidades distintas com climas diferentes. O tempo total usado nas simulações foi de um ano e os resultados das comparações dos valores resultantes foram considerados satisfatórios.

Utilização de sistema multiplex de marcadores do tipo INDELs em identificação humana por DNA

Os INDELs são polimorfismos de comprimento, gerados a partir de inserções e/ou deleções de um ou mais nucleotídeos. Os marcadores INDELs, que estão amplamente distribuídos pelo genoma e se caracterizam pela alta estabilidade devido à baixa taxa mutacional (10-9), podem ser analisados a partir da amplificação por PCR (Reação em Cadeia da Polimerase). A facilidade de análise e a possibilidade de construção de sistemas multiplex capazes de gerar amplicons curtos (menores que 100 pb) tornam os INDELs uma importante ferramenta para identificação humana por DNA. Para avaliar a eficiência e validar a metodologia que emprega os polimorfismos de inserção/deleção na identificação humana, utilizamos o sistema Indel-plex ID, capaz de amplificar simultaneamente 38 loci INDELs bialélicos de cromossomos autossomos. Diferentes amostras biológicas (cabelo, saliva, sangue, sêmen e urina) foram genotipadas apresentando reprodutibilidade entre todas as tipagens. A concentração mínima de DNA necessária para amplificação dos 38 loci INDELs foi de 0,5 ng. Artefatos do tipo split peaks foram observados em algumas amostras. Os produtos da PCR foram purificados em resina Sephadex proporcionando melhores condições de análise, redução de artefatos e aumento na intensidade média de fluorescência dos alelos amplificados. A eficiência do sistema Indel-plex ID na amplificação de DNA degradado foi verificada durante as análises das amostras de DNA extraídas de restos mortais (ossos e dentes). Comparativamente ao sistema Identifiler, o Indel-plex ID, se mostrou mais eficiente em termos de número de loci genotipados e qualidade de amplificação. Nas investigações de vínculos genéticos realizadas com o sistema Indel-plex ID foi possível corroborar resultados anteriores obtidos pela análise de marcadores STR. Nas análises com amostras in vivo foram obtidos valores máximos de Probabilidades de Paternidade de 99,99998%. Para casos envolvendo supostos pais falecidos, o sistema Indel-plex ID reforçou resultados obtidos com o sistema Identifiler e Minifiler. A Probabilidade de Paternidade de 99,953%, obtida com o sistema Indel-plex ID, conjugada com a Probabilidade de Paternidade de 99,957%, obtida como o sistema Minifiler, possibilitou um índice final de 99,99998%. Os resultados evidenciaram que os loci INDELs do sistema Indel-plex ID são altamente informativos, constituindo uma ferramenta importante em estudos de identificação humana e de relações de parentesco

Battling Reality

In the four years that the MIT Mobile Robot Project has benn in existence, we have built ten robots that focus research in various areas concerned with building intelligent systems. Towards this end, we have embarked on trying to build useful autonomous creatures that live and work in the real world. Many of the preconceived notions entertained before we started building our robots turned out to be misguided. Some issues we thought would be hard have worked successfully from day one and subsystems we imagined to be trivial have become tremendous time sinks. Oddly enough, one of our biggest failures has led to some of our favorite successes. This paper describes the changing paths our research has taken due to the lessons learned from the practical realities of building robots.

Experimental study of the effectiveness of emergency signage

Signage systems play an important role in aiding occupants during both circulation and evacuation. Despite the fact that signage systems are an important component in building wayfinding systems, there is a lack of relevant data regarding how occupants detect, interpret and use the information conveyed by emergency signage. The effectiveness of signage systems is therefore difficult to assess. In this paper we address this issue through experimentation. The experiment involved measuring the impact of a signage system on a population of 68 test subjects who were instructed to individually vacate a building as quickly as possible via any means they thought appropriate. The evacuation path involved a number of decision points at which emergency signage was available to identify the appropriate path. Through analysis of video footage and data derived from questionnaires, the number of people who saw and utilised the signage information to assist their egress is determined. The results are then incorporated within the buildingEXODUS software and used in a demonstration of agent interaction with signage systems in a hypothetical evacuation scenario.

Microwave curing of thermosetting polymer materials in microelectronics applications

Thermosetting polymer materials are widely utilised in modern microelectronics packaging technology. These materials are used for a number of functions, such as for device bonding, for structural support applications and for physical protection of semiconductor dies. Typically, convection heating systems are used to raise the temperature of the materials to expedite the polymerisation process. The convection cure process has a number of drawbacks including process durations generally in excess of 1 hour and the requirement to heat the entire printed circuit board assembly, inducing thermomechanical stresses which effect device reliability. Microwave energy is able to raise the temperature of materials in a rapid, controlled manner. As the microwave energy penetrates into the polymer materials, the heating can be considered volumetric – i.e. the rate of heating is approximately constant throughout the material. This enables a maximal heating rate far greater than is available with convection oven systems which only raise the surface temperature of the polymer material and rely on thermal conductivity to transfer heat energy into the bulk. The high heating rate, combined with the ability to vary the operating power of the microwave system, enables the extremely rapid cure processes. Microwave curing of a commercially available encapsulation material has been studied experimentally and through use of numerical modelling techniques. The material assessed is Henkel EO-1080, a single component thermosetting epoxy. The producer has suggested three typical convection oven cure options for EO1080: 20 min at 150C or 90 min at 140C or 120 min at 110C. Rapid curing of materials of this type using advanced microwave systems, such as the FAMOBS system [1], is of great interest to microelectronics system manufacturers as it has the potential to reduce manufacturing costs, increase device reliability and enables new device designs. Experimental analysis has demonstrated that, in a realistic chip-on-board encapsulation scenario, the polymer material can be fully cured in approximately one minute. This corresponds to a reduction in cure time of approximately 95 percent relative to the convection oven process. Numerical assessment of the process [2] also suggests that cure times of approximately 70 seconds are feasible whilst indicating that the decrease in process duration comes at the expense of variation in degree of cure within the polymer.

Practical Lattice-Based Digital Signature Schemes

Digital signatures are an important primitive for building secure systems and are used in most real-world security protocols. However, almost all popular signature schemes are either based on the factoring assumption (RSA) or the hardness of the discrete logarithm problem (DSA/ECDSA). In the case of classical cryptanalytic advances or progress on the development of quantum computers, the hardness of these closely related problems might be seriously weakened. A potential alternative approach is the construction of signature schemes based on the hardness of certain lattice problems that are assumed to be intractable by quantum computers. Due to significant research advancements in recent years, lattice-based schemes have now become practical and appear to be a very viable alternative to number-theoretic cryptography. In this article, we focus on recent developments and the current state of the art in lattice-based digital signatures and provide a comprehensive survey discussing signature schemes with respect to practicality. Additionally, we discuss future research areas that are essential for the continued development of lattice-based cryptography.

Metodologia de avaliação da sustentabilidade económica de edifícios com base no ciclo de vida

O Comité Técnico CEN/TC 350 “Sustainability of construction works” elaborou um conjunto de normas que propõem um sistema de avaliação do contributo da construção para o desenvolvimento sustentável, nomeadamente através da avaliação dos seus desempenhos ambiental, social e económico, baseado numa abordagem de ciclo de vida. Os sistemas de avaliação da sustentabilidade de edifícios têm um papel importante em todas as fases do ciclo de vida (anterior à utilização, utilização e fim de vida) de um edifício que se pretenda sustentável, pois agilizam a integração entre os aspetos ambientais, sociais e económicos com outros critérios de decisão. Esta dissertação tem como objetivo apresentar uma metodologia inovadora de avaliação sistemática do desempenho económico de edifícios dentro do conceito sustentabilidade, com base na análise do ciclo de vida, conforme estabelecido na EN 16627:2015, que descreve o processo de tomada de decisão e documentação da avaliação do desempenho económico de edifícios dentro do conceito da avaliação da sustentabilidade, com base na análise de ciclo de vida (ACV). A metodologia, intitulada “Methodology of Assessment of Economic Performance - Residential Buildings – MAEP-RB”, permite a avaliação do desempenho e da sustentabilidade económica de edifícios na fase anterior à utilização do ciclo de vida. A metodologia segue o princípio de modularidade, onde os aspetos e impactes que influenciam o desempenho económico do edifício durante as fases do seu ciclo de vida, são atribuídos aos indicadores de cada módulo do ciclo de vida em que eles ocorrem dentro da respectiva etapa. Faz parte integrante desta metodologia uma base de dados contendo um modelo de custos na construção baseado na subdivisão do edifício em sistemas, subsistemas, elementos, componentes e subcomponentes, em que este último se encontra ao nível dos recursos. Os resultados da avaliação do desempenho económico e da sustentabilidade económica são desagregados em vários níveis, ou seja, ao nível da fase anterior à utilização do ciclo de vida do edifício, de cada etapa, de cada módulo e de cada indicador económico. A MAEP-RB avalia simultaneamente o desempenho económico e a sustentabilidade económica de edifícios sendo o resultado do desempenho económico expresso em unidade monetária e o da sustentabilidade comunicado por um Índice de Sustentabilidade Económica (A+, A, B, C, D, E).

Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec

Building secure systems is difficult for many reasons. This paper deals with two of the main challenges: (i) the lack of security expertise in development teams, and (ii) the inadequacy of existing methodologies to support developers who are not security experts. The security standard ISO 14508 (Common Criteria) together with secure design techniques such as UMLsec can provide the security expertise, knowledge, and guidelines that are needed. However, security expertise and guidelines are not stated explicitly in the Common Criteria. They are rather phrased in security domain terminology and difficult to understand for developers. This means that some general security and secure design expertise are required to fully take advantage of the Common Criteria and UMLsec. In addition, there is the problem of tracing security requirements and objectives into solution design,which is needed for proof of requirements fulfilment. This paper describes a security requirements engineering methodology called SecReq. SecReq combines three techniques: the Common Criteria, the heuristic requirements editorHeRA, andUMLsec. SecReqmakes systematic use of the security engineering knowledge contained in the Common Criteria and UMLsec, as well as security-related heuristics in the HeRA tool. The integrated SecReq method supports early detection of security-related issues (HeRA), their systematic refinement guided by the Common Criteria, and the ability to trace security requirements into UML design models. A feedback loop helps reusing experiencewithin SecReq and turns the approach into an iterative process for the secure system life-cycle, also in the presence of system evolution.

Desenvolvimento de uma plataforma SIG para apoio ao estudo da sismicidade em Portugal

Trabalho Final de Mestrado elaborado no Laboratório Nacional de Engenharia Civil (LNEC) para a obtenção do grau de Mestre em Engenharia Civil pelo Instituto Superior de Engenharia de Lisboa no âmbito do protocolo de cooperação entre o ISEL e o LNEC

How to reduce energy consumption on pultrusion

The global warming due to high CO2 emission in the last years has made energy saving a global problem nowadays. However, manufacturing processes such as pultrusion necessarily needs heat for curing the resin. Then, the only option available is to apply all efforts to make the process even more efficient. Different heating systems have been used on pultrusion, however, the most widely used are the planar resistances. The main objective of this study is to develop another heating system and compares it with the former one. Thermography was used in spite of define the temperature profile along the die. FEA (finite element analysis) allows to understand how many energy is spend with the initial heating system. After this first approach, changes were done on the die in order to test the new heating system and to check possible quality problems on the product. Thus, this work allows to conclude that with the new heating system a significant reduction in the setup time is now possible and an energy reduction of about 57% was achieved.

Dynamic load management in a smart home to participate in demand response events

In future power systems, in the smart grid and microgrids operation paradigms, consumers can be seen as an energy resource with decentralized and autonomous decisions in the energy management. It is expected that each consumer will manage not only the loads, but also small generation units, heating systems, storage systems, and electric vehicles. Each consumer can participate in different demand response events promoted by system operators or aggregation entities. This paper proposes an innovative method to manage the appliances on a house during a demand response event. The main contribution of this work is to include time constraints in resources management, and the context evaluation in order to ensure the required comfort levels. The dynamic resources management methodology allows a better resources’ management in a demand response event, mainly the ones of long duration, by changing the priorities of loads during the event. A case study with two scenarios is presented considering a demand response with 30 min duration, and another with 240 min (4 h). In both simulations, the demand response event proposes the power consumption reduction during the event. A total of 18 loads are used, including real and virtual ones, controlled by the presented house management system.