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

Energy retrofits in social housing. Analysis of its thermal behaviour.

468 p.

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.

The use of fault detection and diagnostics to reduce air handling unit energy consumption

The contribution of buildings towards total worldwide energy consumption in developed countries is between 20% and 40%. Heating Ventilation and Air Conditioning (HVAC), and more specifically Air Handling Units (AHUs) energy consumption accounts on average for 40% of a typical medical device manufacturing or pharmaceutical facility’s energy consumption. Studies have indicated that 20 – 30% energy savings are achievable by recommissioning HVAC systems, and more specifically AHU operations, to rectify faulty operation. Automated Fault Detection and Diagnosis (AFDD) is a process concerned with potentially partially or fully automating the commissioning process through the detection of faults. An expert system is a knowledge-based system, which employs Artificial Intelligence (AI) methods to replicate the knowledge of a human subject matter expert, in a particular field, such as engineering, medicine, finance and marketing, to name a few. This thesis details the research and development work undertaken in the development and testing of a new AFDD expert system for AHUs which can be installed in minimal set up time on a large cross section of AHU types in a building management system vendor neutral manner. Both simulated and extensive field testing was undertaken against a widely available and industry known expert set of rules known as the Air Handling Unit Performance Assessment Rules (APAR) (and a later more developed version known as APAR_extended) in order to prove its effectiveness. Specifically, in tests against a dataset of 52 simulated faults, this new AFDD expert system identified all 52 derived issues whereas the APAR ruleset identified just 10. In tests using actual field data from 5 operating AHUs in 4 manufacturing facilities, the newly developed AFDD expert system for AHUs was shown to identify four individual fault case categories that the APAR method did not, as well as showing improvements made in the area of fault diagnosis.

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.

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

Scalable real-time crisis mapping and analytics of social media streams for disaster management and breaking news

Real-time geoparsing of social media streams (e.g. Twitter, YouTube, Instagram, Flickr, FourSquare) is providing a new 'virtual sensor' capability to end users such as emergency response agencies (e.g. Tsunami early warning centres, Civil protection authorities) and news agencies (e.g. Deutsche Welle, BBC News). Challenges in this area include scaling up natural language processing (NLP) and information retrieval (IR) approaches to handle real-time traffic volumes, reducing false positives, creating real-time infographic displays useful for effective decision support and providing support for trust and credibility analysis using geosemantics. I will present in this seminar on-going work by the IT Innovation Centre over the last 4 years (TRIDEC and REVEAL FP7 projects) in building such systems, and highlights our research towards improving trustworthy and credible of crisis map displays and real-time analytics for trending topics and influential social networks during major news worthy events.

Application of computer-aided facilities management (CAFM) for intelligent buildings operation

Purpose – The purpose of this paper is to investigate the concepts of intelligent buildings (IBs), and the opportunities offered by the application of computer-aided facilities management (CAFM) systems. Design/methodology/approach – In this paper definitions of IBs are investigated, particularly definitions that are embracing open standards for effective operational change, using a questionnaire survey. The survey further investigated the extension of CAFM to IBs concepts and the opportunities that such integrated systems will provide to facilities management (FM) professionals. Findings – The results showed variation in the understanding of the concept of IBs and the application of CAFM. The survey showed that 46 per cent of respondents use a CAFM system with a majority agreeing on the potential of CAFM in delivery of effective facilities. Research limitations/implications – The questionnaire survey results are limited to the views of the respondents within the context of FM in the UK. Practical implications – Following on the many definitions of an IB does not necessarily lead to technologies of equipment that conform to an open standard. This open standard and documentation of systems produced by vendors is the key to integrating CAFM with other building management systems (BMS) and further harnessing the application of CAFM for IBs. Originality/value – The paper gives experience-based suggestions for both demand and supply sides of the service procurement to gain the feasible benefits and avoid the currently hindering obstacles, as the paper provides insight to the current and future tools for the mobile aspects of FM. The findings are relevant for service providers and operators as well.

Burn in policies for products having dormant states

Constructing a building is a long process which can take several years. Most building services products are installed while a building is constructed, but they are not operated until the building is commissioned. The warranty term for the building service systems may cover the time starting from their installation to the end of the warranty period. Prior to the commissioning of the building, the building services systems are protected by warranty although they are not operated. The bum in time for such systems is important when warranty costs is analyzed. In this paper, warranty cost models for products with burn in periods are presented. Two burn in policies are developed to optimize the total mean warranty cost. A special case on the relationship between the failure rates of the product at the dormant state and at the I operating state is presented.

Coordinated management of intelligent pervasive spaces

The content of this paper is a snapshot of a current project looking at producing a real-time sensor-based building assessment tool, and a system that personalises workspaces using multi-agent technology. Both systems derive physical environment information from a wireless sensor network that allows clients to subscribe to real-time sensed data. The principal ideologies behind this project are energy efficiency and well-being of occupants; in the context of leveraging the current state-of-the-art in agent technology, wireless sensor networks and building assessment systems to enable the optimisation and assessment of buildings. Participants of this project are from both industry (construction and research) and academia.

Intelligent cores and intelligent agents: two approaches to achieve autonomy in swarm-array computing

How can a bridge be built between autonomic computing approaches and parallel computing systems? How can autonomic computing approaches be extended towards building reliable systems? How can existing technologies be merged to provide a solution for self-managing systems? The work reported in this paper aims to answer these questions by proposing Swarm-Array Computing, a novel technique inspired from swarm robotics and built on the foundations of autonomic and parallel computing paradigms. Two approaches based on intelligent cores and intelligent agents are proposed to achieve autonomy in parallel computing systems. The feasibility of the proposed approaches is validated on a multi-agent simulator.

Co-ordinated management of intelligent pervasive spaces

The content of this paper is a snapshot of a current project looking at producing a real-time sensor-based building assessment tool, and a system that personalises work-spaces using multi-agent technology. Both systems derive physical environment information from a wireless sensor network that allows clients to subscribe to real-time sensed data. The principal ideologies behind this project are energy efficiency and well-being of occupants; in the context of leveraging the current state-of-the-art in agent technology, wireless sensor networks and building assessment systems to enable the optimisation and assessment of buildings. Participants of this project are from both industry (construction and research) and academia.