A family of implementation-friendly BN elliptic curves

For the last decade, elliptic curve cryptography has gained increasing interest in industry and in the academic community. This is especially due to the high level of security it provides with relatively small keys and to its ability to create very efficient and multifunctional cryptographic schemes by means of bilinear pairings. Pairings require pairing-friendly elliptic curves and among the possible choices, Barreto-Naehrig (BN) curves arguably constitute one of the most versatile families. In this paper, we further expand the potential of the BN curve family. We describe BN curves that are not only computationally very simple to generate, but also specially suitable for efficient implementation on a very broad range of scenarios. We also present implementation results of the optimal ate pairing using such a curve defined over a 254-bit prime field. (C) 2001 Elsevier Inc. All rights reserved.

The compositional inverse of a class of permutation polynomials over a finite field

A new class of bilinear permutation polynomials was recently identified. In this note we determine the class of permutation polynomials which represents the functional inverse of the bilinear class.

Modelo de escoamento multifásico para estudo da interação onda/sedimento

Modelos de escoamento multifásico são amplamente usados em diversas áreas de pesquisa ambiental, como leitos fluidizados, dispersão de gás em líquidos e vários outros processos que englobam mais de uma propriedade físico-química do meio. Dessa forma, um modelo multifásico foi desenvolvido e adaptado para o estudo do transporte de sedimentos de fundo devido à ação de ondas de gravidade. Neste trabalho, foi elaborado o acoplamento multifásico de um modelo euleriano não-linear de ondas do tipo Boussinesq, baseado na formulação numérica encontrada em Wei et al. (1995), com um modelo lagrangiano de partículas, fundamentado pelo princípio Newtoniano do movimento com o esquema de colisões do tipo esferas rígidas. O modelo de ondas foi testado quanto à sua fonte geradora, representada por uma função gaussiana, pá-pistão e pá-batedor, e quanto à sua interação com a profundidade, através da não-linearidade e de propriedades dispersivas. Nos testes realizados da fonte geradora, foi observado que a fonte gaussiana, conforme Wei et al. (1999), apresentou melhor consistência e estabilidade na geração das ondas, quando comparada à teoria linear para um kh   . A não-linearidade do modelo de ondas de 2ª ordem para a dispersão apresentou resultados satisfatórios quando confrontados com o experimento de ondas sobre um obstáculo trapezoidal, onde a deformação da onda sobre a estrutura submersa está em concordância com os dados experimentais encontrados na literatura. A partir daí, o modelo granular também foi testado em dois experimentos. O primeiro simula uma quebra de barragem em um tanque contendo água e o segundo, a quebra de barragem é simulada com um obstáculo rígido adicionado ao centro do tanque. Nesses experimentos, o algoritmo de colisão foi eficaz no tratamento da interação entre partícula-partícula e partícula-parede, permitindo a evidência de processos físicos que são complicados de serem simulados por modelos de malhas regulares. Para o acoplamento do modelo de ondas e de sedimentos, o algoritmo foi testado com base de dados da literatura quanto à morfologia do leito. Os resultados foram confrontados com dados analíticos e de modelos numéricos, e se mostraram satisfatórios com relação aos pontos de erosão, de sedimentação e na alteração da forma da barra arenosa

Optimização de um método de avaliação simultânea da dissolução e permeabilidade de fármacos

Englobado na temática do desenvolvimento de métodos in vitro para avaliação da biodisponibilidade de fármacos, este trabalho de investigação teve como objectivo a optimização de um método para avaliar em simultâneo a dissolução e permeabilidade de fármacos usando uma célula de fluxo bilateral com membranas de Polyvinylidene Fluoride (PVDF). Através de uma avaliação inicial, na qual se testou o efeito de diversas variáveis na permeabilidade da cafeína e do ácido acetilsalicílico, obtiveram-se resultados que permitiram concluir que os ensaios realizados são mais reprodutíveis, quando a célula de fluxo é utilizada em circulação unilateral no lado dador e com agitação do lado aceitador. Observou-se ainda que o método permite detectar a influência do pH (Papp da cafeína a pH 7,4 e 4,5: 4,84±1,57x105cm.s-1 e 6,00±0,70x105cm.s app do ácido acetilsalicílico a pH 7,4 e 4,5: 3,85±0,38x10-5cm.s-1 e 5,1 1±0,65x105cm.s-1) e dos excipientes (Papp da cafeína isoladamente e em presença de excipientes: 6,76±1,22 x 10-5cm.s1 e 5,84±0,43x10-5cm.s-1 app do ácido acetilsalicílico isoladamente e em presença de excipientes: 7,07±1,56x105 cm.s e 5,19±0,23x10-5cm.s1) na permeabilidade dos compostos. Na avaliação da dissolução testou-se um método descrito na United States Pharmacopeia (USP) com meio de dissolução a pH 4,5 e um método com meio de dissolução a pH 7,4 pois na perspectiva de no futuro se realizarem ensaios com membranas celulares Caco-2, foi necessário testar um meio compatível com estas. As percentagens de dissolução dos ensaios a pH 7,4 foram de 96,3% para a cafeína e de 87,1% para o ácido acetilsalicílico, o que permitiu a utilização deste meio, visto ter sido superior ao limite mínimo de 80% estabelecido pela USP. Após estabelecimento das metodologias de dissolução e permeabilidade individuais, passou-se ao acoplamento das duas técnicas, tendo sido realizados ensaios de dissolução/permeabilidade com uma forma farmacêutica contendo os dois compostos em estudo (Melhoral®), nos quais se obtiveram permeabilidades aparentes de 3,97±0,37x105cm.s1 e 3,69±0,29 x105cm.s para a cafeína e ácido acetilsalicílico a pH 4,5 e de 3,77±0,40x105cm.s e 4,08± 0,04x1 05cm.s1 para a cafeína e ácido acetilsalicílico a pH 7,4, resultados estes que foram reprodutíveis e descriminativos e que perspectivam a possibilidade da utilização do sistema para futuros trabalhos envolvendo membranas de culturas celulares (Caco-2) ou tecidos (pele ou intestino).

Plataforma de desenvolvimento de aplicações web orientadas a mensagens

O projecto apresentado neste relatório consiste na implementação de uma plataforma de desenvolvimento de aplicações Web orientada a mensagens, capaz de facilitar a construção de páginas Web e de automatizar o acesso a dados com base nos requisitos do problema. O foco da solução é baseado nos requisitos que forem definidos, de modo a desenvolver uma aplicação Web que responda a esses requisitos. A estratégia adoptada visa reduzir o acoplamento e aumentar a coesão dos módulos funcionais. Para reduzir o acoplamento e aumentar a coesão dos módulos funcionais separou-se a apresentação dos dados, permitindo assim que o desenvolvimento e os testes sejam realizados independentemente um do outro. O desenvolvimento é baseado em normas padronizadas (standards) de modo a facilitar a integração com outras tecnologias. Para o desenvolvimento do trabalho foi adoptada uma metodologia ágil. A gestão de projecto foi realizada com recurso a uma plataforma de gestão de projecto, que permitiu registar e organizar todas as informações e tarefas realizadas ao longo do projecto. Após a conclusão da plataforma e como caso de estudo, foi realizada uma aplicação baseada num cenário real de gestão académica (Portal Académico) para aferir os conceitos envolvidos.

CP properties of symmetry-constrained two-Higgs-doublet models

The two-Higgs-doublet model can be constrained by imposing Higgs-family symmetries and/or generalized CP symmetries. It is known that there are only six independent classes of such symmetry-constrained models. We study the CP properties of all cases in the bilinear formalism. An exact symmetry implies CP conservation. We show that soft breaking of the symmetry can lead to spontaneous CP violation (CPV) in three of the classes.

SIOLAP: servidor de integração OLAP

Em muitos casos o desenvolvimento de soluções recorrendo a data warehouses é pensado para funcionar de forma autónoma e não numa perspectiva cooperativa. Este facto leva a que existam alguns problemas quando é necessário integrar diferentes data marts de forma a construir uma solução integrada que possa facilitar o acesso á informação. A solução proposta passa pelo desenvolvimento de um servidor de baixo acoplamento que permite integrar diferentes datas marts heterogéneos, utilizando o protocolo padrão XMLA. O mesmo não possui qualquer informação presente nos múltiplos data marts a integrar. Este servidor apenas possui meta-informação que permite saber quais são as dimensões concordantes entre os diferentes data marts, possibilitando assim a realização de operações de drill-across entre as diversas fontes de dados. Com esta solução é possível a existência um elevado grau de descomprometimento entre o servidor de integração e os repositórios de informação, sendo apenas necessário que o servidor saiba de que forma os dados estão relacionados. Este servidor é constituído por diferentes módulos. De entre eles realça-se o módulo que permite gerar múltiplas interrogações, para cada um dos data marts, a partir de uma única interrogação. O mesmo módulo permite posteriormente juntar o resultado das interrogações a todos os data marts numa única resposta. Para realizar a prova da viabilidade da solução, foram desenvolvidos dois data marts que possuem dimensões concordantes. Cada um deles foi colocado em servidores de diferentes fornecedores. Ao ser colocado cada um dos data marts em dois servidores de fornecedores diferentes, é possível demonstrar também que a solução funciona com diferentes servidores. Para tornar possível a interrogação do servidor de integração, foi desenvolvida uma aplicação cliente que permite que o utilizador possa, ao ir adicionando e removendo dimensões, saber quais os dados que são ou não compatíveis.

Geometric picture of generalized-CP and Higgs-family transformations in the two-Higgs-doublet model

In the two-Higgs-doublet model (THDM), generalized-CP transformations (phi(i) -> X-ij phi(*)(j) where X is unitary) and unitary Higgs-family transformations (phi(i) -> U-ij phi(j)) have recently been examined in a series of papers. In terms of gauge-invariant bilinear functions of the Higgs fields phi(i), the Higgs-family transformations and the generalized-CP transformations possess a simple geometric description. Namely, these transformations correspond in the space of scalar-field bilinears to proper and improper rotations, respectively. In this formalism, recent results relating generalized CP transformations with Higgs-family transformations have a clear geometric interpretation. We will review what is known regarding THDM symmetries, as well as derive new results concerning those symmetries, namely how they can be interpreted geometrically as applications of several CP transformations.

Simulação de colunas de destilação de elevada eficiência energética

A destilação é o principal processo de separação usado nas indústrias químicas para separação de misturas líquidas, e apesar de ser um processo muito intensivo energeticamente continua hoje em dia a ser o processo de separação preferencial. O largo impacto dos processos de destilação nos custos de investimento e operação tem impulsionado o desenvolvimento de sistemas complexos de destilação, cuja principal finalidade consiste na otimização energética do processo de separação. No âmbito do estudo da utilização de colunas de elevada eficiência energética para separações multicomponente através da simulação de processos, o presente trabalho foca-se na compreensão, análise e avaliação da Coluna de Petlyuk, sistema de colunas com acoplamento térmico integral (FTCDC), inicialmente introduzida na década de 1940, com um reportado potencial para poupanças energéticas até cerca de 30% relativamente ao sistema tradicional. Para a simulação dos sistemas em estudo foi usado o software de simulação de processos HYSYS, cuja aplicação é desenvolvida e analisada no decurso deste trabalho, o qual é dividido em três partes principais: implementação dos processos em HYSYS para simulação rigorosa em modo de estado estacionário, otimização e simulação dinâmica e controlo. A primeira parte diz respeito ao design dos sistemas e âmbito de aplicação do HYSYS nesta etapa. Através do estudo da separação de mistura ternária equimolar de isómeros de butanol, é apresentado um procedimento de implementação do sistema FTCDC e avaliados os resultados de simulação rigorosa fazendo a sua comparação com os resultados obtidos para o sistema tradicional. A segunda parte é dedicada à otimização de ambos os sistemas, FTCDC e tradicional, cujos estudos se baseiam na simulação em estado estacionário. O elevado número de variáveis de design do sistema FTCDC pode conduzir a tedioso e moroso trabalho de simulação. Neste trabalho são aplicadas metodologias de desenho de experiências na otimização do sistema FTCDC, as quais permitiram uma significativa redução o número de simulações a executar, sendo o procedimento de otimização, baseado no procedimento de desenhos de experiências, desenvolvido ao longo desta parte. Os resultados de otimização de ambos os sistemas são avaliados e comparados. A última parte deste trabalho debruça-se sobre o tema da operabilidade dos sistemas, avaliada através da simulação dinâmica dos mesmos e avaliação da estrutura de controlo implementada. A simulação dinâmica de processos, baseada em modelos dinâmicos, permite melhorar o seu design, otimização e operação, cujos resultados traduzirão de uma forma mais realística o desempenho do processo desenhado, uma vez que estes nunca se encontram num verdadeiro estado estacionário. Nesta parte é apresentado o procedimento de implementação da simulação dinâmica de ambos os sistemas, no qual se inclui a definição da configuração de controlo para cada um destes. Através dos resultados de simulação dinâmica de ambos os sistemas é avaliado o seu design e respetiva estrutura de controlo.

Avaliação preliminar do potencial eólico com recurso a um modelo de Mesoescala

Mestrado em Engenharia Química. Ramo optimização energética na indústria química.

Otimização de estruturas de destilação azeotrópica com recurso a planeamento experimental

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química e Biológica

Climatização passiva em edifício de serviços

Dissertação Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil no Ramo de Edificações

Controladores linguísticos Fuzzy

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Novos compostos orgânicos reticuláveis para aplicações em células fotovoltaicas

Trabalho Final de Mestrado para obtenção do grau de mestre em Engenharia Química e Biológica

Reabilitação de edifícios com novas tendências NZEB: caso de estudo: edifício de serviços em Setúbal

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil