Família de DSLs para integrated modular avionics

Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.

Aplicação de sistemas moleculares na detecção rápida de MDR-TB e XDR-TB

Mycobacterium tuberculosis é o agente etiológico da tuberculose em humanos e segundo as estimativas da Organização Mundial da Saúde, um terço da população mundial está infectada com esta bactéria, calculando-se que no ano de 2008 aproximadamente 9,4 milhões de pessoas contraíram tuberculose activa. Associada a esta tendência, encontra-se o aumento alarmante da incidência de tuberculose resistente aos antibióticos, mais propriamente da tuberculose multirresistente e extensivamente resistente. Nesta Dissertação estudaram-se três sistemas de detecção molecular (INNO-LiPA Rif. TB, Innogenetics, Ghent, Bélgica, MTBDRplus e MTBDRsl, GenoType, GmbH, Nehren, Alemanha), que permitem detectar o complexo M. tuberculosis e as mutações mais comuns associadas à resistência aos antibióticos de primeira e segunda linha. Para o efeito, na primeira parte do trabalho os três sistemas em estudo foram testados em 21 isolados clínicos pertencentes à colecção do Laboratório de Micobactérias do Instituto de Higiene e Medicina Tropical (IHMT, UNL), com o propósito de avaliar a sua capacidade para identificar o complexo M. tuberculosis e detectar mutações ligadas à resistência aos fármacos de primeira e segunda linha. Na segunda parte do trabalho, os sistemas INNO-LiPA Rif. TB e MTBDRplus foram testados em 33 amostras respiratórias com baciloscopia positiva, com o propósito de aferir a “performance” destes sistemas para a detecção directa de tuberculose multirresistente em amostras respiratórias. Na primeira parte do trabalho os três sistemas em estudo apresentaram elevada sensibilidade na identificação do complexo M. tuberculosis em culturas, bem como na detecção de mutações ligadas à resistência aos antibióticos de primeira linha, com excepção do etambutol. No que diz respeito à detecção da resistência aos antibióticos de segunda linha, não foi possível calcular os valores de sensibilidade e especificidade. Na segunda parte do trabalho, o INNO-LiPA Rif. TB demonstrou ser o sistema mais robusto para a análise directa de amostras respiratórias com baciloscopia positiva, para um diagnóstico precoce de tuberculose e detecção de resistência à rifampicina. O MTBDRplus não se mostrou uma alternativa viável ao INNO-LiPA Rif. TB, pois apresentou baixa sensibilidade para a identificação do complexo M. tuberculosis e vários problemas no passo de amplificação. O MTBDRsl não foi testado, por não ter sido detectada nenhuma amostra multirresistente.

Limitadores de corrente supercondutores: estudo da ligação magnética entre enrolamentos

Nos dias de hoje, devido à rápida expansão dos meios urbanos e consequentemente das redes de energia elétrica, o correto funcionamento de todo o sistema tornou-se no ponto fulcral para a satisfação, confiabilidade, qualidade e redução de custos para todos os utilizadores. Como tal, a agregação de redes e consequente expansão provoca o aumento do risco de correntes de Curto-Circuito (CC) que poderão levar à destruição de equipamentos que constituem a rede, bem como a problemas para os consumidores. Deste modo os limitadores de correntes constituídos por materiais com propriedades supercondutoras, nomeadamente, Supercondutores de Alta Temperatura (SAT), tornam-se numa solução para a resolução deste problema que afeta grande parte da população. Os Limitadores de Corrente Supercondutor (LCS) constituem uma solução garantindo a proteção das redes de energia, bem como dos equipamentos e infraestruturas que os compõem, analogamente a outras soluções já existentes. Estes apresentam invisibilidade numa rede em regime de funcionamento normal e são desenvolvidos com o intuito de apresentar uma rápida recuperação e elevada impedância aquando da ocorrência de falha, minimizando os danos que poderiam causar. Na presente dissertação são apresentados estudos e análises a três topologias de LCS do tipo indutivo de blindagem magnética com base em simulações recorrendo ao software de elementos finitos Flux2D® e com base nos ensaios experimentais. O estudo baseia-se na análise do modo de funcionamento dos LCS em regime de funcionamento normal, variando algumas características dos limitadores, bem como a análise crítica a algumas variáveis no âmbito do tema da presente dissertação, de modo a minimizar as perdas.

O fenómeno da criminalidade itinerante

In an increasingly globalized society, the crime appears as a reality that crosses borders. Globalization has potentiated the emergence of new forms of crime, which have been the subject of more interventional, particularly in terms of political, judicial and police authorities as well as civil society approaches. The media allow rapid expansion of criminal methodologies, which aggregate to the ease of movement of itinerant criminal groups, increases the opportunities for the continuation of the practice of criminal offenses, threatening, increasingly, the tranquility and safety of populations. Criminal organizations are characterized by their complexity, thus contributing to the difficulty in combat, by police and judicial authorities, forcing rapid adaptation to new political and criminal reality, particularly at the level of institutional cooperation, national and international, as exemplified by the creation of the "European Area of Freedom, Security and Justice" and new agencies in the field of police cooperation. It was intended with this paper to answer the central question: Is it possible to define a concept of Itinerant Crime in the European regulatory framework (Police and Judiciary)? To fulfill this aim, we performed the characterization of the concept of itinerant crime including itinerant criminal group, we analyzed the work that is being done by the authorities, police and judiciary, in order to contain the phenomenon. Finally, we studied type of existing cooperation at European level between the Member States and the authorities with responsibilities in this area. At the end, we conclude that efforts are being made towards the enhancement of operational, police and judicial cooperation, between the competent authorities of the European Union by combating this phenomenon. Define, and also proposed, a unique concept of Itinerant Crime, in order to be included in the legal standards, in order to facilitate research, in particular to better fit the itinerant crime and assist the prosecution of offenders.

A intervenção privada na prestação pública : da expansão do Estado às parcerias público-privadas

Durante séculos o papel do Estado na vida económica e social das nações foi crescendo, atingindo um desenvolvimento assinalável a partir da segunga guerra mundial, em execução do novo paradigma que dela resultou. Desenvolvimento que conheceu fortes críticas com paragem e posterior inversão de sentido durante a década de 80 em que se gerou alguma diluição da intervenção do Estado, criando-se um movimento de relativo cepticismo relativamente à bondade, à eficiência e aos custos daquela intervenção. Foi nesse contexto e paralelamente com o aumento da vontade de intervir do sector privado que surgiram as chamadas três «vagas» de intervenção privada, sucessivamente dirigidas às actividades públicas (i) em sectores industriais, comerciais ou de serviços não estratégicos, (ii) no domínio das infra-estruturas e, finalmente, (iii) na área social, recorrendo com diferentes níveis de sucesso, a diversos processos, da privatização às parcerias público-privadas (PPP), passando pela empresarialização. O movimento de reforma nascido de reservas quanto à eficiência do sector público não passou ao lado da saúde, particularmente do hospital público, em que assumiu objectivos e modos específicos, das «reformas de gestão» às «reformas de financiamento» e às «reformas organizacionais », para, na sequência do movimento anteriormente ocorrido noutros domínios, também recorrer às parcerias público-privadas. Depois de situar estas iniciativas no contexto do movimento que rodeou o aumento da intervenção privada na produção e na prestação pública, o artigo procura identificar os requisitos de compatibilidade das parcerias público-privadas com sistemas de saúde organizados e que perseguem a universalidade da cobertura, a acessibilidade e compreensividade dos cuidados e a equidade do acesso, com especial atenção ao facto de (designadamente em Portugal) a partilha de riscos e tarefas poder atribuir ao sector privado a gestão das dimensões clínicas da prestação.