Aplicação de conceitos de risco sísmico a construções no campus da FCT

Dissertação apresentada na Faculdade de Ciências e tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Civil

JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Linguagem de especificação leve Hoare-separação para java

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

Sistemas de dissipação de energia em estruturas de betão armado

Dissertação para obtenção do grau de Mestre em Engenharia Civil – Estruturas e Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Implementação de uma linguagem concorrente com tipos comportamentais

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

Reforço à flexão de vigas de betão armado com compósitos de CFRP

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Estruturas e Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Modelação numérica de modelos experimentais de alvenaria de pedra tradicional

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Civil – Perfil de Construção, pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Verificação prática de anomalias em programas de memória transaccional

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Modelos log-lineares em tabelas de contingência

Os modelos log-lineares permitem enriquecer bastante a análise e interpretação das tabelas de contingência. Embora a nível teórico a sua importância já tenha sido reconhecida há bastante tempo, a nível da sua aplicação prática só há relativamente pouco tempo é que foi reconhecida, devido, sobretudo, às dificuldades de cálculo que lhe são inerentes e que só se resolveram completamente com o desenvolvimento dos computadores e do software adequado. Neste trabalho apresentam-se os métodos básicos da análise log-linear de tabelas de contingência bidimensionais e tridimensionais.

Estudo da resistência estrutural remanescente de painéis reforçados sujeitos à encurvadura

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Dimensionamento de um mastro metálico

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil de Estruturas

Classificação de tumores de cancro na mama através de radar de banda ultra-larga de microondas

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Métodos simplificados para o pré-dimensionamento de pontes suspensas

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil Estruturas

Comportamento sísmico de edifício do Campus da FCT/UNL

A acção sísmica pode ter efeitos devastadores nas estruturas, por isso é fundamental a sua consideração aquando do dimensionamento destas. O objectivo da presente dissertação é avaliar a vulnerabilidade sísmica de um edifício do campus da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, segundo as prescrições de dois regulamentos sísmicos. A análise da vulnerabilidade sísmica do edifício incidiu na estrutura e nos elementos não estruturais do edifício. Foi realizada uma análise dinâmica linear da estrutura, com recurso a um programa de cálculo automático. No trabalho recordam-se conceitos como risco sísmico, perigosidade sísmica e vulnerabilidade sísmica para caracterizar o edifício VII do campus da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa do Monte da Caparica sob estes aspectos. Abordam-se também as principais medidas a ter em conta na concepção de estruturas, bem como os principais danos provocados pela acção dos sismos, para estimar o comportamento da estrutura estudada. Actualmente, em Portugal decorre a fase de transição entre dois regulamentos sísmicos, o Regulamento de Segurança e Acções para Estruturas de Edifícios e Pontes e o Eurocódigo 8, que brevemente entrará em vigor. Por esta razão ambos os regulamentos foram considerados neste trabalho.

Otimização automática de aplicações web usando templates client-side

O crescente poder computacional dos dispositivos móveis e a maior eficiência dos navegadores fomentam a construção de aplicações Web mais rápidas e fluídas, através da troca assíncrona de dados em vez de páginas HTML completas. A OutSystems Platform é um ambiente de desenvolvimento usado para a construção rápida e validada de aplicaçõesWeb, que integra numa só linguagem a construção de interfaces de utilizador, lógica da aplicação e modelo de dados. O modelo normal de interação cliente-servidor da plataforma é coerente com o ciclo completo de pedido-resposta, embora seja possível implementar, de forma explícita, aplicações assíncronas. Neste trabalho apresentamos um modelo de separação, baseado em análise estática sobre a definição de uma aplicação, entre os dados apresentados nas páginas geradas pela plataforma e o código correspondente à sua estrutura e apresentação. Esta abordagem permite a geração automática e transparente de interfaces de utilizador mais rápidas e fluídas, a partir do modelo de uma aplicação OutSystems. O modelo apresentado, em conjunto com a análise estática, permite identificar o subconjunto mínimo dos dados a serem transmitidos na rede para a execução de uma funcionalidade no servidor, e isolar a execução de código no cliente. Como resultado da utilização desta abordagem obtém-se uma diminuição muito significativa na transmissão de dados, e possivelmente uma redução na carga de processamento no servidor, dado que a geração das páginasWeb é delegada no cliente, e este se torna apto para executar código. Este modelo é definido sobre uma linguagem, inspirada na da plataforma OutSystems, a partir da qual é implementado um gerador de código. Neste contexto, uma linguagem de domínio específico cria uma camada de abstração entre a definição do modelo de uma aplicação e o respetivo código gerado, tornando transparente a criação de templates clientside e o código executado no cliente e no servidor.