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.

Alves da Veiga: um projecto de organização federativa da sociedade portuguesa

Há cerca de dois anos atrás, na fase lectiva do Mestrado em História Cultural e Política, e mais propriamente na unidade curricular de História das Ideias Políticas II, foi distribuída uma lista de autores e respectivas obras aos alunos, para que seleccionado o preferido, desenvolvessem um resumo sucinto de carácter interpretativo. A nossa escolha recaiu sobre Alves da Veiga e o livro Politica Nova, opção que resultou do facto de, entre os nomes apresentados, ser aquele que nos soava mais estranho, o que nos despertou, logicamente, alguma curiosidade. Da pesquisa então desenvolvida, necessariamente rápida e superficial, conseguimos, não obstante, retirar duas conclusões: em primeiro lugar, confirmava-se que Alves da Veiga, em comparação com outras personalidades da época, era relativamente incógnito; em segundo, esse facto não tributava a significância das acções e das ideias deste republicano oitocentista. Nessa fase, para além da recorrente associação à revolta falhada de 1891, deparámo-nos com alguns testemunhos, referências a homenagens e menções para lugares de cimeira política, que indiciavam o facto de, apesar de ausente das páginas centrais de crónicas e narrações, haver muito a dizer sobre o nome que designava uma rua da baixa portuense. O resultado foi termos abandonado o tema que tínhamos inicialmente equacionado para a dissertação de mestrado, e dedicarmos, daí em frente, parte do nosso tempo e esforço a pesquisar a vida e obra de Alves da Veiga. Tratando-se de uma dissertação na área da história das ideias políticas, encetámos o nosso estudo procurando recolher, simultaneamente, informação quer sobre o autor quer sobre a época, visando compreender e contextualizar o individual através do colectivo, e, simultaneamente, estabelecer nexos interpretativos entre ambos. Entretanto, a consciência da multiplicidade de assuntos abordados por Alves da Veiga, dada pela leitura do livro Política Nova, derivou na necessidade de delimitar com maior rigor o tema. Optámos, assim sendo, por enfatizar a opção do republicano pelo federalismo, enquanto doutrina e prática políticas, já que nos parecia ser, este elemento, o fio condutor do pensamento veiguiano na obra aludida.

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.

Método dos elementos aplicados na simulação numérica do arrancamento de armaduras

Uma das propriedades do betão armado que foi alvo de maior número de estudos, ao longo dos tempos, é a aderência. Esta é uma das propriedades mais importantes a considerar na construção, pois dela depende o desempenho e estabilidade de uma estrutura. Dada a sua importância, a aderência é a propriedade do betão armado mais estudada ao longo do tempo. A complexidade inerente a esta propriedade torna difícil de compreender e prever o comportamento estrutural. Esta dissertação pretende analisar a capacidade do Método dos Elementos Aplicados em simular o ensaio de arrancamento directo e de reproduzir modos de rotura. Este ensaio, denominado de pull-out test, estuda a aderência entre três materiais: o aço, o betão e o grout. Vários tipos de ligações, com diferentes modos de rotura, são simulados e comparados com um ensaio experimental referido na revisão bibliográfica. Assim, recorrer-se-á ao programa Extreme Loading for Structures, que tem como base o Método dos Elementos Aplicados. Através de uma análise de sensibilidade foi possível calibrar as propriedades dos diferentes elementos e das interfaces entre o betão, aço e grout, de modo a viabilizar o cálculo da força crítica das ligações e reproduzir os modos de rotura observados experimentalmente. Este trabalho pretende dar uma contribuição ao conhecimento no âmbito da simulação numérica, em relação a este tipo de ligações, e ajudar à criação de modelos numéricos fiáveis e eficientes de fácil e rápida execução. Esta dissertação permite concluir que o Método dos Elementos Aplicados, apresenta-se como uma boa solução para o estudo deste tipo de ligações. Os resultados numéricos tiveram uma boa aproximação dos resultados experimentais. Em conformidade com a análise experimental, as ligações com bainha de pré-esforço e comprimento de embebimento a partir de 15 cm são as que melhor desempenho têm ao nível da resistência.

Perfil dos acidentes ofídicos no norte do Estado de Minas Gerais, Brasil

O objetivo deste estudo foi descrever o perfil epidemiológico dos acidentes ofídicos da macrorregião de saúde do Norte do Estado de Minas Gerais, Brasil. Foram analisadas informações sobre os acidentes ofídicos relativos ao período compreendido entre janeiro de 2002 a dezembro de 2006, por meio de bancos de dados. Os resultados demonstraram 10.553 casos notificados, com ênfase para a maior casuística em meses de tempo quente e chuvoso, em áreas urbanas (54,1%), faixa etária menor de 20 anos (39,7%), acometendo mais homens e estudantes (53,1% e 29,1%) respectivamente. Os membros inferiores (pé, dedo do pé, perna e coxa) foram os locais mais afetados (35,9%), as serpentes prevalentes foram do gênero Bothrops (82,9%) e a gravidade da maioria dos acidentes foi leve (66,2%). Observou-se nesse estudo um importante impacto da sazonalidade, urbanização, subnotificação das espécies envolvidas nesses acidentes e busca rápida pelo pronto atendimento. Espera-se que os dados inéditos da casuística obtida possam servir de substrato para o planejamento e execução de medidas voltadas para vigilância em saúde e atendimento.

Extração de DNA a partir de sangue humano coagulado para aplicação nas técnicas de genotipagem de antígenos leucocitários humanos e de receptores semelhantes à imunoglobulina

O objetivo deste estudo foi padronizar uma metodologia de extração de DNA de alta qualidade a partir de amostras de sangue coagulado. Quarenta e oito amostras de sangue humano coagulado foram utilizadas para a extração de DNA pelo kit comercial EZ-DNA® (Biological Industries, Beit Haemek, Israel), pelo kit de coluna Neoscience® (One Lambda Inc., San Diego, CA) e pelo método modificado de salting out. Apenas o método de salting out foi capaz de extrair altas concentrações de DNA (média, 180ng/µL), as quais foram medidas pelo detector de fluorescência Qubit® (Invitrogen, USA). Este método permitiu a amplificação dos genes HLA (human leukocyte antigens) pela tecnologia PCR-SSO (polymerase chain reaction - specific sequence of oligonucleotides) Luminex, a qual exige DNA de boa qualidade, e de genes KIR (killer cell immunoglobulin-like receptors) pela técnica made in house PCR-SSP (polymerase chain reaction-sequence specific of primers), a qual demanda uma concentração específica de DNA (10ng/µL). Concluímos que a técnica de salting out modificada foi muito eficiente, simples e rápida para a extração de DNA de amostras de sangue humano coagulado, com o objetivo de realizar a genotipagem de genes HLA e KIR.

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.

Diferenciação de micobactérias por PCR multiplex

O trabalho visou à otimização de um método baseado na reação em cadeia da polimerase multiplex - para diferenciação de micobactérias de interesse para a saúde pública. A PCR Multiplex baseou-se na amplificação simultânea do genehsp65, presente em todo gênero Mycobacterium, do gene dnaJ, presente apenas em Mycobacterium tuberculosis e Mycobacterium avium e da sequência de inserção IS6110 presente no complexo Mycobacterium tuberculosis, gerando amplicons de 165pb, 365pb e 541pb, respectivamente. O limite de detecção foi de 1fg para o alvo hsp65, 100pg para o dnaJ e 0,1fg para o IS6110. A PCR multiplex detectou até 100pg de DNA de Mycobacterium tuberculosis. O sistema demonstrou ser específico e sensível na detecção de Mycobacterium tuberculosis, Mycobacterium bovis, Mycobacterium avium e Mycobacterium smegmatis. Os resultados obtidos utilizando cepas de referência demonstraram que a PCR multiplex pode ser uma ferramenta rápida, sensível e específica na diferenciação de micobactérias.

Desenvolvimento de um sensor colorimétrico em papel para a deteção de bactérias eletroquimicamente ativas

Bactérias eletroquimicamente ativas possuem a capacidade de transferir eletrões extracelularmente, durante a respiração celular. Esta característica tem sido atualmente explorada para aplicação na produção de eletricidade, tratamento de águas residuais, biorremediação e em diversas áreas da biotecnologia, onde a transferência eletrónica ocorre na presença de aceitadores insolúveis (tais como, óxidos metálicos e ânodos metálicos). Contudo, o número de espécies identificadas, isoladas e caracterizadas até à data é bastante reduzido. Os métodos atualmente disponíveis para deteção de bactérias eletroquimicamente ativas são morosos, dispendiosos e complexos de operar, tornando-se necessário o desenvolvimento de outros métodos mais rápidos, simples e menos dispendiosos que auxiliem na otimização das aplicações mencionadas. O objetivo principal deste trabalho foi o desenvolvimento de um sensor colorimétrico de papel utilizando um material eletrocrómico, trióxido de tungsténio, como camada ativa para a deteção destas bactérias. Para isso, foram definidos no papel poços delimitados por barreiras hidrofóbicas, através da impressão e difusão de uma camada de cera. As várias amostras de nanopartículas de WO3, sintetizadas por um método hidrotermal assistido por micro-ondas, foram depositadas nos poços por drop casting. As nanopartículas com estrutura cristalográfica hexagonal, impregnadas no sensor de papel, foram capazes de detetar com sucesso uma bactéria eletroquimicamente ativa, Geobacter sulfurreducens, desde uma fase de crescimento bastante inicial (Abs600 nm = 0,1, correspondente a 0,07 g/L com um rácio RGB de 1,10 ± 0,040) até à fase exponencial-tardia (Abs600 nm = 0,5, correspondente a 0,33 g/L com um rácio RGB de 1,33 ± 0,005), com P <0,0001. O sensor de papel e respetivo método de deteção colorimétrico desenvolvido neste trabalho, revelou ser sensível e específico à deteção destas bactérias, de uma forma rápida, simples e pouco dispendiosa.

Distribuição espacial e características dos criadouros de Aedes albopictus e Aedes aegypti em Fortaleza, Estado do Ceará

INTRODUÇÃO: desde seu registro, em 2005, no município de Fortaleza, o Aedes albopictus tem exibido uma rápida dispersão. Um estudo visando à identificação das áreas de sua ocorrência, os seus criadouros e a associação com Aedes aegypti e outros culicídeos foi realizado durante o ano de 2008. MÉTODOS: foram coletadas, de janeiro a julho de 2008, amostras de formas imaturas de culicídeos provenientes de imóveis situados nos bairros de Fortaleza, ressaltando-se algumas características dos criadouros, tais como localização (intradomicílio ou peridomicílio), presença de cobertura (proteção contra a incidência de raios solares e chuva), turbidez da água (água límpida e não límpida), material constituinte, volume, altura em relação ao nível do solo e presença simultânea de diferentes espécies de culicídeos no mesmo criadouro. RESULTADOS: a localização no intradomicílio foi um fator importante para os criadouros do Aedes albopictus [RP=0,52 IC95% (0,33-0,81)], por outro lado, a turbidez da água e a cobertura do depósito não se mostraram como diferenciadores para a infestação [p>0,05]. Para o Aedes aegypti a ausência de turbidez da água foi significativa para a infestação nos criadouros [RP=1,14 IC95% (1,06-1,22)]. CONCLUSÕES: a ausência de uma das espécies nos criadouros favorecia sua infestação por outra; criadouros não infestados por Aedes albopictus tinham uma prevalência de infestação de 2,05 [IC95%1,72-2,44] vezes maior pelo Aedes aegypti. Não houve associação significativa entre volume e altura do criadouro e infestação por ambas as espécies. As duas espécies encontram-se dispersas por todo o município, ocupando os mais diversos tipos de criadouros. No entanto, pode-se identificar uma ligeira separação física, com uma infestação maior do Aedes albopictus no peridomicílio.

Progressão da circulação do vírus do dengue no Estado da Bahia, 1994-2000

INTRODUÇÃO: A força da reemergência do vírus do dengue e a gravidade destas infecções colocaram esta doença na agenda de prioridades das instituições responsáveis pela proteção à saúde das populações. Aspecto importante para a compreensão da epidemiologia do dengue nos dias atuais refere-se ao conhecimento dos padrões da difusão espaço-temporal, entretanto são escassas as investigações que abordam esta questão. Este estudo descreve o processo de difusão do dengue no estado da Bahia, de 1994 a 2000. MÉTODOS: Trata-se de estudo ecológico espaço-temporal, tendo como unidades de análise município, semana epidemiológica, mês, trimestre e ano. Procedeu-se construção da curva de tendência e realizou-se mapeamento seqüencial da ocorrência de dengue por município para o período. RESULTADOS: Foram notificados 164.050 casos de dengue e a introdução desse vírus na Bahia, diferentemente de outros estados, se deu por um município de pequeno porte, constatando-se intermitência temporal e espacial nos registros de casos no início desta epidemia. Contudo, a partir de 1995 o processo de difusão da doença se deu de forma rápida e intensa. O vírus circulou em todas as zonas climáticas do estado o que revela o seu elevado poder de transmissão. A maior intensidade de detecção de casos e expansão territorial foi nas regiões úmidas e semi-úmidas do litoral, ideais para a sobrevivência e proliferação do vetor, e também, por serem mais densamente povoadas. CONCLUSÕES: Hipoteticamente, o padrão espaço-temporal intermitente de detecção de casos observado inicialmente, poderia permitir o controle da progressão da epidemia, caso houvesse ações de combate vetorial estruturadas.

Substituição do amido de milho por goma xantana na preparação de cremes de pasteleiro: impacto nas componentes de aroma e de textura

O creme de pasteleiro é uma das preparações clássicas mais utilizadas em pastelaria e a principal base para recheios de diversos produtos. Apesar de ser profusamente utilizado, este creme tem um conjunto de limitações que a serem ultrapassadas permitiriam obter produtos com melhores propriedades organolépticas e um maior tempo de vida útil em prateleira. Tem ainda o inconveniente de não poder ser submetido a processos de congelamento e descongelamento devido à ocorrência de sinérese. O objectivo do presente trabalho foi desenvolver um creme com características funcionais idênticas às do creme pasteleiro clássico, mas sem as limitações referidas, nomeadamente um creme com uma melhor textura e libertação de aromas, que não forme um filme à superfície ao arrefecer e que possa ser submetido a processos de congelamento/descongelamento. Através de análises de textura e reologia, avaliou-se o efeito da substituição do amido por goma xantana e goma xantana de rápida dispersão (RD). Tendo-se verificado que a goma xantana RD permitia obter resultados mais compatíveis com a funcionalidade pretendida. Para avaliação do efeito do texturizante usado na libertação de aromas, prepararam-se cremes de pasteleiro aromatizados com maracujá. Usando como técnica a microextração em fase sólida do headspace (HS-SPME) e a cromatografia gasosa-espectrometria de massa (GC-MS) levou-se a cabo uma comparação do perfil de libertação de compostos voláteis dos cremes com amido de milho e goma xantana RD. Finalmente, para avaliar a aceitação por parte do consumidor, foram realizados testes de análise sensorial. Os resultados obtidos permitem concluir que o produto desenvolvido tem características reológicas adequadas para poder ser usado em substituição do creme de pasteleiro clássico, apresentando ainda vantagens, nomeadamente: uma boa performance quando submetido a processos de congelamento/descongelamento, um maior tempo de prateleira, melhores características organolépticas, nomeadamente uma textura mais agradável e uma melhor libertação de aromas. Estes resultados levam-nos a sugerir que este novo produto pode ter um impacto significativo na confeção de pastelaria do ponto de vista da qualidade e gestão de trabalho.

A Política Externa Portuguesa na Guerra Civil de Espanha – Opinião Pública e Censura

A presente dissertação centra-se na problemática da Política Externa Portuguesa no decorrer da Guerra Civil de Espanha – GCE (1936-1939). É nosso propósito responder à seguinte questão: De que forma o Estado Novo conseguiu condicionar a Opinião Pública de maneira a perseguir a sua linha orientadora de Política Externa aquando do conflito interno espanhol?. Um dos mais antigos dilemas da política externa portuguesa é a necessidade constante de compatibilizar a dualidade peninsular. No respeitante à política externa do século XX, António de Oliveira Salazar, em 1936, defendia a tese de que o Estado Novo não sobreviveria em convívio directo com um regime republicano espanhol, anticlerical e esquerdista. Tendo em conta que o Presidente do Concelho de Ministros de Portugal não hesitou em apoiar o alziamento do General Franco, recorrendo à tese de proteção do seu regime, e evitando, desta forma, que Portugal se mantivesse alheio à sorte dos destinos da GCE, é fundamental a análise da política externa portuguesa para compreender as posições, os vetores, as motivações e os principais agentes que formaram os pilares da diplomacia portuguesa perante o conflito que ficou historiograficamente conhecido como a antecâmara da II Guerra Mundial. Todavia, reconhecemos ser conveniente averiguar de que forma é que as decisões de política externa se reflectiram na Opinião Pública portuguesa sobre os acontecimentos da Guerra Civil de Espanha. Visto que era objectivo do Estado Novo controlar as mentes portuguesas, no nosso estudo, que se debruçara sobre os assuntos espanhóis, importa-nos verificar como a Opinião Pública era manobrada pelo poder político, que utiliza a Censura para controle da informação. A Censura portuguesa foi especialmente zelosa acerca dos assuntos da GCE a partir de 1936, com vista a evitar contágios revolucionários em Portugal que colocassem em perigo o Estado Novo. Em suma, a Guerra Civil de Espanha foi um conflito bélico que se confinou ao território espanhol, mas que atravessou fronteiras devido à sua internacionalização e rápida mediatização. Portugal pela sua posição geográfica acompanhou diariamente a cruzada no país vizinho, interferindo oficial e oficiosamente.

Desenvolvimento de uma interface de visualização de conectividade cerebral usando realidade virtual e controlo por gestos

A presente dissertação foi desenvolvida em colaboração com o Instituto de Biofísica e Engenharia Biomédica(IBEB/FCUL)

Drenagem urbana sustentável e o regime de precipitação em Portugal

O comportamento das águas pluviais em meio urbano é muito diferente do que ocorre em ambientes naturais, principalmente devido à elevada percentagem de superfícies impermeáveis nas nossas cidades. Temos maiores volumes de escoamento gerados; maiores velocidades de escoamento; menor retenção de contaminantes difusos; e propagação rápida para jusante de problemas de cheias e de qualidade da água. Presentemente, a gestão de águas pluviais em meio urbano começa a ser encarada numa perspectiva de aproximação ao comportamento dos meios naturais. A Drenagem Urbana Sustentável está a assumir-se como um conceito de gestão que tem como objectivo gerir a água de uma forma “descentralizada”, promovendo localmente a sua infiltração e retenção distribuídas por toda a bacia. O objecto deste trabalho foi a avaliação do efeito da rugosidade dos sistemas de drenagem sobre os caudais de ponta de cheia. Para isso propôs-se uma solução de drenagem com escoamento superficial em paralelo com os colectores pluviais, dividindo a drenagem entre os dois meios. Baseado nas curvas de intensidade-duração-frequência para a maior parte do território nacional, bem como em eventos de precipitação registados, abordou-se o problema criando um modelo conceptual com o programa informático StormWater Management Model (SWMM 5) da Environment Protection Agency (EPA), para comparar os caudais de ponta de sistemas de drenagem pluvial com ou sem o apoio de estruturas de transporte de caudais com rugosidades aumentadas. Foram considerados diversos cenários, com diferentes rugosidades, inclinações do terreno e dimensão dos sistemas. Os resultados das simulações indicam reduções de caudais de ponta na ordem dos 30% resultantes do escoamento superficial de parte dos caudais, principalmente devido ao aumento de rugosidade que a drenagem à superficie pode proporcionar.