Blockchain-based PKI for Crowdsourced IoT Sensor Information

The Internet of Things is progressively getting broader, evol-ving its scope while creating new markets and adding more to the existing ones. However, both generation and analysis of large amounts of data, which are integral to this concept, may require the proper protection and privacy-awareness of some sensitive information. In order to control the access to this data, allowing devices to verify the reliability of their own interactions with other endpoints of the network is a crucial step to ensure this required safeness. Through the implementation of a blockchain-based Public Key Infrastructure connected to the Keybase platform, it is possible to achieve a simple protocol that binds devices' public keys to their owner accounts, which are respectively supported by identity proofs. The records of this blockchain represent digital signatures performed by this Keybase users on their respective devices' public keys, claiming their ownership. Resorting to this distributed and decentralized PKI, any device is able to autonomously verify the entity in control of a certain node of the network and prevent future interactions with unverified parties

Modelação numérica de propagação de fendas de fadiga usando XFEM

Mestrado em Engenharia MecânicaThe Finite Element Method (FEM) is one of the most efficient tools used, in computational solid mechanics, for the numerical solution of Partial Differential Equations (PDE). This numerical technique has been extensively used in the past decades for finding approximate solutions to PDE in both engineering and science fields. A main feature of the FEM is the subdivision of a continuum into a discrete set of elements, being these elements connected by a topological map, usually referred to as the finite element mesh. The FEM can generally be used to model and predict the behaviour of continuous structures. However, problems arise when FEM is used on a domain with a discontinuity (like a crack). In this case, it is usual to use adaptive mesh refinement around the discontinuity. This process works ne, but has a very high computational cost. Alternatively, the eXtended Finite Element Method (XFEM) is a numerical method for modelling strong and weak discontinuities using local enrichment. It is a FEM generalization that enables the incorporation of local enrichment of approximation spaces. This enrichment is done through the partition of unity concept by adding special functions to the finite element approximation. For crack modelling in isotropic linear elasticity, the Heaviside function is used to enrich the completely cut elements and an asymptotic function is used to enrich the crack tip elements. This enrichment creates new degrees of freedom that must be integrated into the analysis during a post-processing step. This enables the domain to be modelled without explicitly meshing the crack surfaces and without a remeshing process for the crack propagation. In this context, this work addresses the main concepts of FEM and XFEM, the creation of a pedagogical XFEM software (with its numerical implementation process and software manual) and the differences between a standard FEM implementation and a XFEM program. Finally, some numerical results of the XFEM application are presented.O Método dos Elementos Finitos (Finite Element Method - FEM) é uma das ferramentas mais eficientes para a obtenção de soluções numéricas de Equações Diferenciais Parciais (EDP) em mecânica dos sólidos computacional. Esta técnica numérica tem vindo a ser utilizada extensivamente durante as últimas décadas para a obtenção de soluções aproximadas de EDP, tanto a nível de engenharia como a nível científico. Uma das principais características do FEM é a subdivisão de um meio contínuo numa série de elementos discretos, estando esses elementos ligados por um mapa topológico, normalmente referido como malha dos elementos finitos. O FEM é utilizado geralmente para modelar e prever o comportamento de estruturas contínuas. Contudo, surgem problemas quando o FEM é utilizado em domínios que contenham descontinuidades (tais como fendas). Neste caso, é normalmente utilizado um refinamento de malha adaptativo em torno da descontinuidade. Este processo funciona perfeitamente, mas acarreta um enorme custo computacional. Alternativamente, o Método dos Elementos Finitos Estendidos (eXtended Finite Element Method - XFEM) é um método numérico utilizado para modelar descontinuidades fortes e fracas, utilizando enriquecimento local. É uma generalização do FEM que permite a incorporação de enriquecimento local de aproximação de espaços. Este enriquecimento é feito através do conceito de partição de unidade, ao adicionar funções especiais à aproximação por elementos finitos. Para a modelação de uma fenda em regime linear elástico isotrópico, é utilizada a função de Heaviside para enriquecer os elementos que são completamente cortados pela fenda, e a função assimptótica para enriquecer os elementos que contenham a ponta de fenda. Este processo de enriquecimento cria novos graus de liberdade que têm de ser incorporados no sistema, através de uma etapa de pós-processamento. Isto permite que o domínio possa ser modelado, sem que exista a preocupação de fazer coincidir a malha com a localização da fenda, e que seja preciso recorrer a um processo de remalhamento caso exista propagação da fenda. Neste contexto, o presente trabalho aborda os principais conceitos de FEM e XFEM, a criação de um software pedagógico de XFEM (com o seu processo de implementação numérica e manual do software) e as principais diferenças entre a implementação padrão do FEM e um programa de XFEM. Finalmente, são apresentados alguns resultados numéricos da aplicação do XFEM

Remodeling of the lower and upper airways

Remodelamento pode ser definido como modelar novamente ou de forma diferente, reconstruir. Trata-se de um aspecto crítico do processo de reparação de lesões em todos os órgãos, representando um evento dinâmico de produção e degradação de matriz, em reação a inflamação, levando à reconstrução normal do tecido ou à formação de um tecido patológico. OBJETIVO E MÉTODO: Comparar os dados existentes em literatura entre o remodelamento de vias aéreas inferiores e superiores. RESULTADO: Asma é uma doença inflamatória crônica associada a remodelamento de vias aéreas. Na rinite alérgica, outra doença inflamatória crônica, o remodelamento é ainda pouco entendido. Apesar de a inflamação ser similar na rinite alérgica e asma, a extensão patológica do remodelamento nasal, assim como sua repercussão clínica, pode ser diferente dos brônquios. CONCLUSÃO: O remodelamento nas vias aéreas superiores ocorre em menor intensidade que nas vias inferiores, mas é aparente que a estrutura da mucosa nasal de pacientes com rinite não é normal.Remodeling is defined as modeling again or differently, as reconstructing. Remodeling is a critical aspect of wound repair in all organs; it represents a dynamic process that associates the production and degradation of matrix in reaction to inflammation. This leads to normal reconstruction or a pathologic process. AIM AND METHODS: To compare data in the current literature on upper and lower airways. RESULTS: Asthma is a chronic inflammatory disease associated with abnormal airways remodeling. In allergic rhinitis, another chronic inflammatory disease, remodeling is still poorly understood. Even though inflammation is similar in allergic rhinitis and asthma, the pathologic extent of nasal remodeling, as well as its clinical consequences, might be different from those in bronchi. CONCLUSION: Remodeling occurs less in upper airways compared to lower airways; it is apparent, however, that the structure of the rhinitic nose is not normal

O contributo da gestão do conhecimento na inovação: um caso de estudo

Mestrado em GestãoO presente relatório de projecto propõe-se a efectuar uma incursão na área da gestão do conhecimento, no sentido de captar a sua evolução, os seus modelos, actividades e ferramentas. Pela identificação de algumas boas práticas da gestão de conhecimento, pretende efectuar-se uma análise do relacionamento entre a gestão do conhecimento e a inovação, numa empresa reconhecidamente inovadora: a PT Inovação, S.A.. A metodologia aplicada combinou a utilização de questionários, entrevistas e a observação directa, permitindo a identificação de algumas características da gestão do conhecimento e da inovação na empresa. Pela utilização de um questionário específico, avaliou-se a relação entre ambas, tendo-se determinado as características com um impacto maior para a inovação. De entra essas características, salientam-se as pessoas, a cultura empresarial e o próprio processo de gestão de conhecimento interno. Outros factores como o papel da gestão de topo, a estrutura e as tecnologias utilizadas, foram também consideradas no presente relatório de projecto.The objective of present work is to make an incursion in knowledge management theme, in order to capture its evolution, representative models, activities and tools and to identify some of its good practices. It was applied an audit tool based in best practises, to analyse the relationship between knowledge management and innovation, in a recognised innovative company, PT Inovação, S.A..The methodology used a combination of inquiries, interviews and observation, and it turned possible to identify and define some characteristics of knowledge management and innovation in the Company. In result of using a specific audit tool, it was possible to determine the characteristics of knowledge management that causes higher impact on innovation. The result shows that people, strongly motivated through a strong internal culture and the process of knowledge management itself, are the most important factors contributing for the innovation success. Some other contributions on innovation were considered, as the top management role, the structure and technologies

Recorrência de linfoma anaplásico de grandes células no lobo frontal onze anos após o diagnóstico inicial : achados histopatológicos e prognóstico

Anaplastic large cell lymphoma (ALCL) is a rare, high-grade, T-cell neoplasm classified into cutaneous primary, systemic primary ALK-positive (ALKþ), systemic primary ALK-negative, or breast-implant associated. Secondary involvement of the central nervous system (CNS) by systemic primary ALKþ ALCL is a rare occurrence. We present a case of CNS involvement by ALKþ ALCL eleven years after diagnosis of the primary tumor in the thoracic vertebra. The anatomopathological examination confirmed the diagnosis of ALKþ ALCL. A brief review of the treatment and the clinical and pathological aspects is presented.O linfoma anaplásico de grandes células (LAGC) corresponde a uma neoplasia de alto grau rara, com imunofenótipo T, que podendo ser dividido em primário cutâneo, primário sistêmico ALK positivo (ALKþ), primário sistêmico ALK negativo, e associado a próteses mamárias. Acometimento secundário do sistema nervoso central (SNC) por LAGC primário sistêmico ALKþ é uma rara entidade. Os autores apresentam um caso de acometimento do SNC por LAGC ALKþ onze anos após o diagnóstico do tumor primário em vértebra torácica. O exame anatomopatológico confirmou o diagnóstico de LAGC ALKþ. Fez-se também uma breve revisão de aspectos clínicos e patológicos e tratamento

Cisto entérico e glioblastoma : uma breve revisão histopatológica de duas lesões císticas incomuns do sistema nervoso central

Intracranial cystic lesions are common findings in cerebral imaging and might represent a broad spectrum of conditions. These entities can be divided into nonneo plastic lesions, comprising Rathke cleft cyst, arachnoid cyst, and colloid cyst, as well as neoplastic lesions, including benign and malignant components of neoplasms such as pilocytic astrocytoma, hemangioblastoma, and ganglioglioma. Surgical resection and histological evaluation are currently the most effective methods to classify cysts of the central nervous system. The authors report two uncommon cases presenting as cystic lesions of the encephalic parenchyma-a enterogenous cyst and a glioblastoma-and discuss typical histological findings and differential diagnosis.Lesões císticas intracranianas são achados comuns em imagens cerebrais e podem representar um amplo espectro de condições. Essas entidades podem ser divididas em lesões não neoplásicas, compreendendo cisto da bolsa de Rathke, cisto aracnoide e cisto colóide, e lesões neoplásicas, incluindo componentes benignos e malignos de neoplasias, como astrocitoma pilocítico, hemangioblastoma e ganglioglioma. A ressecção cirúrgica e a avaliação histológica são atualmente os métodos mais eficazes para classificar os cistos do sistema nervoso central. Os autores relatam dois casos incomuns que se apresentam como lesões císticas do parênquima encefálico, um cisto entérico e um glioblastoma, e discutem achados histológicos típicos e diagnósticos diferenciais

Familiares responsáveis pelo cuidado de pessoa com transtorno mental em um município de pequeno porte

Esta pesquisa realizou um estudo misto (quantitativo e qualitativo) em uma unidade de saúde mental localizada em um município de pequeno porte na região metropolitana de Belo Horizonte, capital de Minas Gerais, Brasil. O objetivo foi investigar as transformações de vida experimentadas pelos familiares de pessoas com transtorno mental severo. A partir de questionários, realizou-se a caracterização dos responsáveis pelo cuidado. Em seguida, investigou-se a vida dos familiares responsáveis pelo cuidado, tendo como suporte os pressupostos da Teoria Fundamentada. Os resultados mostram a existência de um familiar responsável pelo cuidado assumindo essa função. Em geral, ele percebe-se sozinho e busca outros apoios; precisa lidar com desperdício de recursos e com os comportamentos instáveis do paciente; prefere que a atenção ao paciente seja em meio aberto à internação, mas entende que tratamento é apenas o medicamentoso; busca adaptar sua vida à de seu parente com transtorno mental.Palavras-chave: Família; Cuidadores; Saúde mental.

Previsão de tráfego rodoviário em função das condições meteorológicas

Observa-se que as condições meteorológicas condicionam a mobilidade, influenciando, por exemplo, os tempos de viagem e a segurança rodoviária. Nos últimos anos, o Instituto de Telecomunicações da Universidade de Aveiro tem vindo a desenvolver uma plataforma de comunicações veiculares. Foram instalados radares rodoviários que detetam a passagem de veículos para as praias da Barra e da Costa Nova, permitindo a contagem de veículos e análise de vários tipos de dados como, por exemplo, a velocidade e a hora de deteção. A conjugação destes dados com dados de outras fontes como, por exemplo, dados meteorológicos, permite efetuar previsões de tráfego como a quantidade de veículos ou o tempo de viagem. Contudo, estas previsões podem ser úteis noutras áreas como, por exemplo, avaliar a ocupação das redes de telecomunicações. Presentemente, a informação é serializada por um broker MQTT para uma base de dados relacional. Os objetivos desta dissertação compreendem o estudo das fontes de dados, técnicas de aprendizagem necessárias para a análise dos mesmos e desenvolvimento e teste de uma solução de previsão de dados, capaz de realizar a previsão do tráfego em tempo real de forma a disponibilizar aos automobilistas informação que lhes permita tomar decisões relacionadas com as viagens e assim evitar engarrafamentos e constrangimentos relacionados com deslocações em alturas de tráfego elevado. Esta dissertação foi realizada com o apoio do Instituto de Telecomunicações.It is observed that weather conditions affect mobility, influencing, for example, travel times and road safety. In the last years, the Telecommunications Institute of the University of Aveiro has been developing a vehicular communications platform. Road radars were installed in order to detect the passage of vehicles towards the beaches of Barra and Costa Nova, allowing vehicles to be counted and analysis of various types of data, such as speed and detection time. The combination of this data with data from other sources, such as weather data, allows for traffic forecasts such as the number of vehicles or travel time. However, these forecasts can be useful in other areas, such as assessing the occupancy of telecommunications networks. Currently, the information is serialized by an MQTT broker to a relational database. The objectives of this dissertation comprise the study of data sources, learning techniques necessary for their analysis and development and testing of a data forecasting solution, capable of performing real-time traffic forecasting in order to provide motorists with information that allows them to make decisions related to travel and thus avoid traffic jams and constraints related to travel at high traffic times. This dissertation was carried out with the support of the Telecommunications Institute.Mestrado em Engenharia Informátic

Sistema de apoio à decisão para o transporte não urgente de doentes em veículo partilhado

O transporte não urgente de doentes em Portugal foi alvo de reformulação legislativa de modo a reduzir os custos que acarretava. Neste artigo apresentam-se métodos heurísticos para a formação de agrupamentos de doentes a serem transportados na mesma viatura. São apresentados resultados computacionais que validam os algoritmos desenvolvidos. Os algoritmos podem ser facilmente integrados num sistema de apoio à decisão.Fundação para a Ciência e a Tecnologia (FCT)COMPETE Programa Operacional Fatores de Competitividade (POFC) Ref FCOMP-01-0124-FEDER-02060

Fermionic spectral walls in kink collisions

We show that a spectral wall, i.e., an obstacle in the dynamics of a bosonic soliton, which arises due to the transition of a normal mode into the continuum spectrum, exists after coupling the original bosonic model to fermions. This spectral wall can be experienced if the boson or fermion field is in an excited state. Furthermore, while passing through a spectral wall, an incoming kink-fermion bound state can be separated into purely bosonic kink, which continues to move to spatial infinity and a fermionic cloud that spreads in the region before the wall