A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Qualidade dos sistemas de informação no serviço de radiologia do Hospital de Curry Cabral: um estudo de caso

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Administração e Gestão de Serviços de Saúde

Credit risk measures: a case of renewable energy companies

The Basel III will have a significant impact on the European banking sector. In September 2010, supervisors of various countries adopted the new rules proposed by the prudential Committee on Banking Supervision to be applied to the business of credit institutions (hereinafter called ICs) in a phased manner from 2013, assuming to its full implementation by 2019. The purpose of this new regulation is to limit the excessive risk that these institutions took on the period preceding the global financial crisis of 2008. This new regulation is known in slang by Basel III. Depending on the requirement of Basel II for banks and their supervisors to assess the soundness and adequacy of internal risk measurement and credit management systems, the development of methodologies for the validation of internal and external evaluation systems is clearly an important issue . More specifically, there is a need to develop tools to validate the systems used to generate the parameters (such as PD, LGD, EAD and ratings of perceived risk) that serve as starting points for the IRB approach for credit risk. In this context, the work is composed of a number of approaches and tools used to evaluate the robustness of these elements IRB systems.

Prevalence of hypertension among adolescents: systematic review and meta-analysis

ABSTRACT OBJECTIVE To estimate the prevalence of hypertension among adolescent Brazilian students. METHODS A systematic review of school-based cross-sectional studies was conducted. The articles were searched in the databases MEDLINE, Embase, Scopus, LILACS, SciELO, Web of Science, CAPES thesis database and Trip Database. In addition, we examined the lists of references of relevant studies to identify potentially eligible articles. No restrictions regarding publication date, language, or status applied. The studies were selected by two independent evaluators, who also extracted the data and assessed the methodological quality following eight criteria related to sampling, measuring blood pressure, and presenting results. The meta-analysis was calculated using a random effects model and analyses were performed to investigate heterogeneity. RESULTS We retrieved 1,577 articles from the search and included 22 in the review. The included articles corresponded to 14,115 adolescents, 51.2% (n = 7,230) female. We observed a variety of techniques, equipment, and references used. The prevalence of hypertension was 8.0% (95%CI 5.0–11.0; I2 = 97.6%), 9.3% (95%CI 5.6–13.6; I2 = 96.4%) in males and 6.5% (95%CI 4.2–9.1; I2 = 94.2%) in females. The meta-regression failed to identify the causes of the heterogeneity among studies. CONCLUSIONS Despite the differences found in the methodologies of the included studies, the results of this systematic review indicate that hypertension is prevalent in the Brazilian adolescent school population. For future investigations, we suggest the standardization of techniques, equipment, and references, aiming at improving the methodological quality of the studies.

Real-time fault injection using enhanced on-chip debug infrastructures

The rapid increase in the use of microprocessor-based systems in critical areas, where failures imply risks to human lives, to the environment or to expensive equipment, significantly increased the need for dependable systems, able to detect, tolerate and eventually correct faults. The verification and validation of such systems is frequently performed via fault injection, using various forms and techniques. However, as electronic devices get smaller and more complex, controllability and observability issues, and sometimes real time constraints, make it harder to apply most conventional fault injection techniques. This paper proposes a fault injection environment and a scalable methodology to assist the execution of real-time fault injection campaigns, providing enhanced performance and capabilities. Our proposed solutions are based on the use of common and customized on-chip debug (OCD) mechanisms, present in many modern electronic devices, with the main objective of enabling the insertion of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented starting from basic Components Off-The-Shelf (COTS) microprocessors, equipped with real-time OCD infrastructures, to improved solutions based on modified interfaces, and dedicated OCD circuitry that enhance fault injection capabilities and performance. All methodologies and configurations were evaluated and compared concerning performance gain and silicon overhead.

On the fractional order control of heat systems

The differentiation of non-integer order has its origin in the seventeenth century, but only in the last two decades appeared the first applications in the area of control theory. In this paper we consider the study of a heat diffusion system based on the application of the fractional calculus concepts. In this perspective, several control methodologies are investigated namely the fractional PID and the Smith predictor. Extensive simulations are presented assessing the performance of the proposed fractional-order algorithms.

Determinação do teor de compostos aromáticos policíclicos de óleos minerais isolantes para transformadores

Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química

Diagnóstico ambiental de duas empresas

Mestrado em Engenharia Química - Ramo Tecnologias de Protecção Ambiental

Competência intercultural: conteúdos culturais na aquisição da língua estrangeira e sua integração didáctica no ensino do alemão

Dissertação apresentada à Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa para obtenção do grau de Doutor em Cultura Alemã.

Agile modeling data warehouse development

Most of the traditional software and database development approaches tend to be serial, not evolutionary and certainly not agile, especially on data-oriented aspects. Most of the more commonly used methodologies are strict, meaning they’re composed by several stages each with very specific associated tasks. A clear example is the Rational Unified Process (RUP), divided into Business Modeling, Requirements, Analysis & Design, Implementation, Testing and Deployment. But what happens when the needs of a well design and structured plan, meet the reality of a small starting company that aims to build an entire user experience solution. Here resource control and time productivity is vital, requirements are in constant change, and so is the product itself. In order to succeed in this environment a highly collaborative and evolutionary development approach is mandatory. The implications of constant changing requirements imply an iterative development process. Project focus is on Data Warehouse development and business modeling. This area is usually a tricky one. Business knowledge is part of the enterprise, how they work, their goals, what is relevant for analyses are internal business processes. Throughout this document it will be explained why Agile Modeling development was chosen. How an iterative and evolutionary methodology, allowed for reasonable planning and documentation while permitting development flexibility, from idea to product. More importantly how it was applied on the development of a Retail Focused Data Warehouse. A productized Data Warehouse built on the knowledge of not one but several client needs. One that aims not just to store usual business areas but create an innovative sets of business metrics by joining them with store environment analysis, converting Business Intelligence into Actionable Business Intelligence.

Price forecasting in the day-ahead Iberian electricity market using a conjectural variations Arima model

Price forecast is a matter of concern for all participants in electricity markets, from suppliers to consumers through policy makers, which are interested in the accurate forecast of day-ahead electricity prices either for better decisions making or for an improved evaluation of the effectiveness of market rules and structure. This paper describes a methodology to forecast market prices in an electricity market using an ARIMA model applied to the conjectural variations of the firms acting in an electricity market. This methodology is applied to the Iberian electricity market to forecast market prices in the 24 hours of a working day. The methodology was then compared with two other methodologies, one called naive and the other a direct forecast of market prices using also an ARIMA model. Results show that the conjectural variations price forecast performs better than the naive and that it performs slightly better than the direct price forecast.

Avaliação de riscos ambientais e profissionais na indústria metalomecânica

A preservação e proteção do ambiente são, cada vez mais, de elevada importância. Para fazer face ao grande consumo de bens, que se verifica nos dias de hoje, a atividade industrial tem aumentado, assim como os resíduos, as emissões, os efluentes e ainda os resíduos de produtos em fim de vida, provocando impactes no meio ambiente, com alterações significativas que se manifestam a nível das condições climáticas e, consequentemente, afetam a qualidade de vida das pessoas a sua segurança e saúde, bem como a fauna e a flora. O presente estudo tem por objetivo identificar as principais atividades desenvolvidas na indústria metalomecânica, identificar os principais aspetos e impactes ambientais, bem como os perigos e riscos profissionais associados às atividades deste setor, identificar a principal legislação em vigor em matéria ambiental e de segurança e saúde no trabalho, selecionar e analisar metodologias de avaliação de riscos ambientais e profissionais e aplicar estas metodologias num estudo de caso numa empresa metalomecânica, tendo em vista comparar os resultados das avaliações, por duas metodologias diferentes, dos riscos ambientais e profissionais e daí tirar conclusões. A vantagem da aplicação de duas metodologias diferentes na avaliação de riscos ambientais e profissionais é a de poder aferir se os resultados são idênticos independentemente da metodologia utilizada. Após a aplicação das duas metodologias, com critérios de avaliação diferentes, selecionadas para avaliação dos riscos ambientais, concluiu-se que as metodologias apresentam resultados semelhantes, o mesmo aconteceu com as duas metodologias, com critérios de avaliação, também, diferentes, selecionadas para avaliação dos riscos profissionais em que as duas metodologias apresentaram os mesmos resultados.

Real time manufacturing systems simulator

A área da simulação computacional teve um rápido crescimento desde o seu apareciment, sendo actualmente uma das ciências de gestão e de investigação operacional mais utilizadas. O seu princípio baseia-se na replicação da operação de processos ou sistemas ao longo de períodos de tempo, tornando-se assim uma metodologia indispensável para a resolução de variados problemas do mundo real, independentemente da sua complexidade. Das inúmeras áreas de aplicação, nos mais diversos campos, a que mais se destaca é a utilização em sistemas de produção, onde o leque de aplicações disponível é muito vasto. A sua aplicação tem vindo a ser utilizada para solucionar problemas em sistemas de produção, uma vez que permite às empresas ajustar e planear de uma maneira rápida, eficaz e ponderada as suas operações e os seus sistemas, permitindo assim uma rápida adaptação das mesmas às constantes mudanças das necessidades da economia global. As aplicações e packages de simulação têm seguindo as tendências tecnológicas pelo que é notório o recurso a tecnologias orientadas a objectos para o desenvolvimento das mesmas. Este estudo baseou-se, numa primeira fase, na recolha de informação de suporte aos conceitos de modelação e simulação, bem como a respectiva aplicação a sistemas de produção em tempo real. Posteriormente centralizou-se no desenvolvimento de um protótipo de uma aplicação de simulação de ambientes de fabrico em tempo real. O desenvolvimento desta ferramenta teve em vista eventuais fins pedagógicos e uma utilização a nível académico, sendo esta capaz de simular um modelo de um sistema de produção, estando também dotada de animação. Sem deixar de parte a possibilidade de integração de outros módulos ou, até mesmo, em outras plataformas, houve ainda a preocupação acrescida de que a sua implementação recorresse a metodologias de desenvolvimento orientadas a objectos.

Adequações curriculares e estratégias de ensino em turmas inclusivas: um estudo exploratório no 1º Ciclo

A inclusão de alunos com necessidades educativas especiais (NEE) no sistema educativo não tem sido fácil para as escolas nem para os professores, uma vez que exige mudanças na organização escolar e nas práticas curriculares. Este estudo centra-se nas decisões de planeamento curricular e estratégias de ensino protagonizadas por professores que lecionam em turmas inclusivas e tem como objetivo identificar conceções e práticas de diferenciação curricular para alunos com NEE. O estudo incide sobre 4 professores e respetivas turmas do 1º ciclo do Ensino Básico do mesmo Agrupamento de Escolas. Como processo de recolha dos dados utilizámos a entrevista e a observação direta. Concluímos que os professores assumem a necessidade de implementar adequações curriculares como resposta às diferenças e particularidades de cada aluno. No entanto, revelaram dificuldades ao nível da gestão curricular em turmas inclusivas e as práticas que desenvolvem nem sempre facilitam a implementação das adequações que reconhecem ser necessárias.