A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Decomposição de fontes orgânicas e mineralização de formas de nitrogênio e fósforo

Diferentes resíduos in natura (farinhas, tortas e vinhaças) e compostos (lixo domiciliar e lodo de esgoto) foram avaliados quanto à decomposição e mineralização de formas orgânicas de N e P, quando incorporados a um Latossolo Vermelho-Amarelo, em condições de ambiente controlado. A decomposição foi determinada em experimento de respirometria e a mineralização, por incubação. Para um período de incubação de 30 dias, os resíduos in natura apresentaram maior evolução acumulada de C-CO2 em comparação aos resíduos na forma compostada. No período de incubação de 60 dias, os compostos de lodo de esgoto (4.500 mg kg-1) e lixo domiciliar (2.000 mg kg-1) mineralizaram N, em contraste com a farinha de carne e osso (385 mg kg-1) e a torta de filtro (281 mg kg-1), que imobilizaram N. A relação C/N e o teor inicial de N nos resíduos não explicaram o seu processo de mineralização. Isso sugeriu que a natureza do resíduo e características como formas de C facilmente biodegradáveis, teores e capacidade dos polifenóis totais solúveis em complexar proteína e, estoques de N nas formas fúlvica e húmica da matéria orgânica interferiram na mineralização de N. Para um período de incubação de 45 dias, a mineralização do P correlacionou-se positivamente com o teor inicial de P orgânico (r = 0,99**) e negativamente com a relação C/P (r = - 0,88**) dos resíduos. A farinha de carne e osso apresentou maior mineralização de P (1.144 mg kg-1) em relação aos outros resíduos.

Avaliação agronômica da rebrota, dinâmica de decomposição e liberação de nutrientes de flemingia (Flemingia macrophylla (Willd.) Kuntze ex Merr.)

Flemingia macrophylla é uma leguminosa arbustiva, de origem asiática, pouco explorada no Brasil. Em vista disso, este estudo teve como objetivo avaliar a biomassa da rebrota da espécie, a acumulação de nitrogênio na parte aérea e a decomposição e liberação de nutrientes de folhas e caules de flemingia. Para ambos os experimentos, o delineamento adotado foi em blocos casualizados, com quatro repetições. A espécie apresenta excelente capacidade de rebrotar, sendo que os cortes executados a 1,2 m do nível do solo produziram mais de 34 Mg de matéria seca em nove cortes, realizados durante o experimento, equivalendo a 804 kg N ha-1, superando os demais tratamentos, que consistiam em cortes a 0,6 m de altura que produziram 29 Mg MS ha-1, acumulando 691 kg N ha-1, seguido dos cortes a 0,3 m com 18 Mg MS ha-1 , acumulando 329 kg N ha-1 e por fim o corte a 0,0 m, ou seja, ao nível do solo, que produziu 16 Mg MS ha-1, com acúmulo de 211 kg N ha-1. O tempo de meia vida (T1/2) da decomposição foi de 91, 95 e 97 dias para folha, caule, e, caule mais folha, respectivamente. A liberação de N, P, Ca e Mg seguiu o mesmo padrão da decomposição; já o K foi liberado em taxa mais acelerada.

Distribuição das medidas de induração e eritema na prova tuberculínica: aplicação de um método gráfico de decomposição de uma distribuição de freqüências em componentes normais

O teste tuberculínico, segundo a técnica de Mantoux, pretende classificar as pessoas de acordo com o tamanho da reação provocada por uma única e especificada dose de tuberculina. Dados empíricos mostram que as medidas de tais reações, obtidas em populações genéricas, representam a mistura de distintos grupos componentes. Com a finalidade de separar tais grupos, objetivando a solução posterior do problema de classificação, foi utilizado um método gráfico de decomposição de uma distribuição de freqüências em componentes normais para decompor distribuições de freqüências de medidas de induração e eritema. A decomposição obtida permite verificar que o número de componentes que descreve a distribuição da variável induração não é o mesmo que para a variável eritema, para os dados considerados.

Modelação e monitorização do comportamento dinâmico de barragens abóbada: identificação modal automática

Trabalho Final de Mestrado elaborado no Laboratório de Engenharia Civil (LNEC) para 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

Identificação modal e simulação da resposta sísmica de barragens abóbada

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 ente o ISEL e o LNEC

Operational modal monitoring of ancient structures using wireless technology

Operational Modal Analysis is currently applied in structural dynamic monitoring studies using conventional wired based sensors and data acquisition platforms. This approach, however, becomes inadequate in cases where the tests are performed in ancient structures with esthetic concerns or in others, where the use of wires greatly impacts the monitoring system cost and creates difficulties in the maintenance and deployment of data acquisition platforms. In these cases, the use of sensor platforms based on wireless and MEMS would clearly benefit these applications. This work presents a first attempt to apply this wireless technology to the structural monitoring of historical masonry constructions in the context of operational modal analysis. Commercial WSN platforms were used to study one laboratory specimen and one of the structural elements of a XV century building in Portugal. Results showed that in comparison to the conventional wired sensors, wireless platforms have poor performance in respect to the acceleration time series recorded and the detection of modal shapes. However, for frequency detection issues, reliable results were obtained, especially when random excitation was used as noise source.

Fusos de sono: decomposição, parametrização e aplicações

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Imunofluorescência realizada em cérebros de camundongos infectados com vírus rábico - cepa CVS, em diferentes estágios de decomposição

O teste de imunofluorescência (IF) foi avaliado na detecção de vírus rábico presente em cérebros de carcaças de camundongos infectados com vírus da cepa CVS, os quais foram conseguidos através de uma combinação de tratamentos, em que se variaram as temperaturas (4,25 e -20ºC) e o tempo de armazenamento. No teste de IF realizado com impressões cerebrais de carcaças que haviam sido submetidas à temperatura de 25ºC por 12 -18 h, houve maior dificuldade de visualização imediata dos corpúsculos de inclusão, enquanto que nos materiais conservados a 4ºC por até 48 h, as inclusões foram facilmente reconhecidas. Carcaças mantidas a -20ºC mantiveram-se viáveis à identificação pela IF mesmo após terem sido armazenadas por 720 h quando foram feitas as últimas observações. Em carcaças mantidas a 25ºC por 10 h, com tratamento posterior a 4 e -20ºC, o antígeno rábico não pode ser identificado através da IF, em conseqüência da decomposição das carcaças que ocorrem, respectivamente, após 10 e 24 h. Recomenda-se, portanto, empregar o teste de IF, em caráter de rotina, no controle de qualidade da vacina contra a Raiva, no que diz respeito a prova de vírus residual (teste de verificação da inativação viral), de vez que ele permite esclarecer mortes assintomáticas ocorridas em animais inoculados com a vacina, durante o período de observação da prova (21 dias), bem como evitar a sua repetição quando essas mortes ocorrem, o que representa considerável economia de tempo.

Análise numérica e experimental de um modelo dinâmico da ponte ferroviária de Antuã

Mestrado em Engenharia Civil – Ramo Estruturas

Decomposição do uracilo por colisões átomo-molécula: formação do anião NCO

Dissertação para obtenção do Grau de Mestre em Engenharia Física

Análise do comportamento dinâmico em pontes pedonais

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

Estratégias de planeamento de mobilidade ciclável e avaliação da transferência modal – caso de estudo em Almada

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil de Ordenamento do Território e Impactes Ambientais