Um algoritmo de criptografia de chave pública semanticamente seguro baseado em curvas elípticas

Esta dissertação apresenta o desenvolvimento de um novo algoritmo de criptografia de chave pública. Este algoritmo apresenta duas características que o tornam único, e que foram tomadas como guia para a sua concepção. A primeira característica é que ele é semanticamente seguro. Isto significa que nenhum adversário limitado polinomialmente consegue obter qualquer informação parcial sobre o conteúdo que foi cifrado, nem mesmo decidir se duas cifrações distintas correspondem ou não a um mesmo conteúdo. A segunda característica é que ele depende, para qualquer tamanho de texto claro, de uma única premissa de segurança: que o logaritmo no grupo formado pelos pontos de uma curva elíptica de ordem prima seja computacionalmente intratável. Isto é obtido garantindo-se que todas as diferentes partes do algoritmo sejam redutíveis a este problema. É apresentada também uma forma simples de estendê-lo a fim de que ele apresente segurança contra atacantes ativos, em especial, contra ataques de texto cifrado adaptativos. Para tanto, e a fim de manter a premissa de que a segurança do algoritmo seja unicamente dependente do logaritmo elíptico, é apresentada uma nova função de resumo criptográfico (hash) cuja segurança é baseada no mesmo problema.

Proposta de um método para a implantação de um sistema de planejamento fino da produção baseado na teoria das restrições

Esta dissertação propõe um método de trabalho para a implantação de um sistema de Planejamento Fino da Produção baseado na Teoria das Restrições. É apresentada uma revisão bibliográfica sobre Planejamento e Controle da Produção, destacando a abordagem da Teoria das Restrições. É realizado um estudo sobre ferramentas computacionais de Planejamento Fino da Produção e suas particularidades. A seguir é desenvolvido o método de trabalho, que foi seguido de sua aplicação prática em uma empresa industrial do ramo metal-mecânico. O estudo apresenta as modificações no sistema de Planejamento e Controle da Produção da empresa, que foi adequado as práticas e princípios da Manufatura Sincronizada. As melhorias decorrentes da implantação podem ser constatadas através dos resultados divulgados. Este trabalho explora as particularidades e dificuldades da implementação desta ferramenta de apoio à tomada de decisão, e discute aspectos referentes às mudanças na “filosofia” de produção impostas pela sincronização da manufatura.

A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

Transferência de calor combinando radiação e convecção no interior de dutos de geradores de vapor fumotubulares

Esta dissertação de mestrado considera a transferência de calor combinando convecção e radiação térmica no escoamento de gases participantes em dutos de seção circular. Partindo de uma metodologia geral, o trabalho enfoca principalmente os casos típicos de aplicação em geradores de vapor fumotubulares de pequeno e médio porte, em que gases em alta temperatura escoam através de um tubo mantido em temperatura uniforme. O escoamento é turbulento e o perfil de velocidade é plenamente desenvolvido desde a entrada do duto. A temperatura do gás, contudo, é uniforme na entrada, considerando-se a região de desenvolvimento térmico. Duas misturas de gases são tratadas, ambas constituídas por dióxido de carbono, vapor d’água e nitrogênio, correspondendo a produtos típicos da combustão estequiométrica de óleo combustível e metano. As propriedades físicas dos gases são admitidas uniformes em todo o duto e calculadas na temperatura de mistura média, enquanto que as propriedades radiantes são modeladas pela soma-ponderada-de-gases-cinzas. O campo de temperatura do gás é obtido a partir da solução da equação bidimensional da conservação da energia, sendo os termos advectivos discretizados através do método de volumes de controle com a função de interpolação Flux-Spline; as trocas de energia radiantes são avaliadas por meio do método das zonas, onde cada zona de radiação corresponde a um volume de controle. Em um primeiro passo, a metodologia é verificada pela comparação com resultados apresentados na literatura para a transferência de calor envolvendo apenas convecção e combinando convecção com radiação. Em seguida, discutem-se alguns efeitos da inclusão da radiação térmica, por exemplo, no número de Nusselt convectivo e na temperatura de mistura do gás. Finalmente, são propostas correlações para o número de Nusselt total, que leva em conta tanto a radiação quanto a convecção. Essa etapa exige inicialmente uma análise dos grupos adimensionais que governam o processo radiante para redução do número elevado de parâmetros independentes. As correlações, aplicáveis a situações encontradas em geradores de vapor fumotubulares de pequeno e médio porte, são validadas estatisticamente pela comparação com os resultados obtidos pela solução numérica.

Comparação do desempenho de duas bombas acopladas diretamente a geradores fotovoltaicos

No Brasil, assim como em outros países que recebem abundantes quantidades de radiação solar durante todo o ano, há um grande potencial para os sistemas que usam a tecnologia fotovoltaica para promover o bombeamento de água. Entretanto, a escolha dos conjuntos de motores e bombas mais adequados para cada situação passa pela análise do desempenho dos sistemas de bombeamento. Portanto, devem ser analisadas tanto as melhores configurações de geradores fotovoltaicos destinados a operar os conjuntos formados pelos motores e bombas, quanto às eficiências das bombas e da conversão fotovoltaica. Nesse trabalho são apresentadas medidas e comparações do desempenho de dois sistemas de bombeamento diretamente acoplados a geradores fotovoltaicos. Para tanto, foi construída uma bancada destinada a realizar uma série de experimentos. Um dos sistemas usou uma bomba centrífuga acoplada a um gerador fotovoltaico formado por três módulos fotovoltaicos. O outro, utilizou uma bomba volumétrica de diafragma acoplada a um único módulo fotovoltaico. Os experimentos foram conduzidos em duas etapas distintas. A primeira foi feita com os motores acoplados a uma fonte de potência em corrente contínua e serviu para a determinação das curvas de desempenho de cada uma das bombas, das curvas dos sistemas, assim como das curvas de corrente (I) e de tensão (V) de cada um dos motores que acionavam as bombas. A segunda foi realizada com os sistemas acoplados diretamente aos geradores fotovoltaicos. A determinação da configuração dos geradores fotovoltaicos destinados a acionar os diferentes sistemas de bombeamento em análise nesse trabalho foi feita por meio da sobreposição das curvas de corrente e tensão dos motores e dos módulos fotovoltaicos. A parte experimental, estando os sistemas acoplados aos geradores, constou de medidas realizadas em intervalos de tempo de cinco segundos, para cada bomba e em várias alturas, das seguintes variáveis: temperatura ambiente, irradiância, temperatura dos módulos, corrente e tensão do motor, rotação do motor, temperatura da água, diferencial de pressão entre entrada e saída da bomba e vazão. As diversas alturas foram simuladas por meio da abertura e/ou fechamento de uma válvula de controle de vazão colocada na extremidade tubulação de descarga, operada manualmente. Os procedimentos adotados nessa dissertação permitiram caracterizar os sistemas de bombeamento propostos, assim como determinar quais os arranjos mais adequados para operar cada sistema. Verificou-se que o melhor arranjo para operar o conjunto motor e bomba centrífuga foi aquele formado por três módulos fotovoltaicos ligados em paralelo, enquanto que a melhor opção para operar o conjunto motor e bomba de diafragma foi com somente um módulo fotovoltaico. De posse dos dados medidos foi possível determinar as eficiências: instantâneas, máximas instantâneas e diárias da conversão fotovoltaica assim como dos conjuntos motores e bombas, em diferentes alturas. Relativamente à conversão fotovoltaica, verificou-se que o conjunto motor e bomba centrífuga operou com eficiência instantânea máxima de 5,74% e eficiência diária de 4,70%, enquanto que o conjunto motor e bomba volumétrica de diafragma operou com eficiência instantânea máxima de 7,66% e eficiência diária de 5,82%. Relativamente à eficiência dos conjuntos motores e bombas, verificou-se que o conjunto motor e bomba centrífuga operou com eficiência instantânea máxima de 19,19% e eficiência diária de 16,79%, enquanto que o conjunto motor e bomba volumétrica de diafragma operou com eficiência instantânea máxima de 38,88% e eficiência diária de 34,30%. Verificou-se ainda que a altura foi determinante na eficiência do conjunto motor e bomba centrífuga e pouco influenciou na eficiência do conjunto motor e bomba de diafragma. Além dessas, outras considerações sobre o comportamento dos sistemas de bombeamento ao longo de um dia também foram ser registrados, tais como: limiares de irradiância para início e final de vazão, correntes de pico ou de arranque dos motores e correntes de início de vazão ou escoamento.