Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência de Computação, Florianópolis, 2011 / Made available in DSpace on 2012-10-25T18:35:05Z (GMT). No. of bitstreams: 1 294687.pdf: 3346623 bytes, checksum: ced2e00ce0fbaaf18af748c19f5c2230 (MD5) / Infraestrutura de Chaves Públicas tem sido implementadas considerando o tradicional modelo de certificação digital baseado em serviços tais como autoridades de registro, autoridades de carimbo do tempo e autoridades certificadoras: um certificado digital certificando uma chave é somente emitido pela autoridade certificadora após a verificação pela autoridade de registro dos atributos da chave e de sua posse pelo titular. Nesse modelo, certificados podem ser revogados, o que implica, necessariamente, pela parte confiante, na verificação do seu status, antes que possa ser usado tanto para a verificação de um token de autenticação quanto para a verificação de uma assinatura digital. Esse modelo tem sido regulamentado e amplamente utilizado tanto por empresas e governos de todo o mundo quanto integrado em sistemas computacionais. Este trabalho apresenta uma visão crítica deste modelo, o que tem dificultado e encarecido sua adoção, bem como das alternativas existentes na literatura. Também apresenta-se uma nova alternativa ao modelo - denominada de Infraestrutura de Chaves Públicas baseadas em Autoridades Notariais - eliminando-se processos e serviços complementares que deixam de ser necessários. Mostra-se que o novo modelo é mais simples de ser implementado, mais fácil de se definir um justo modelo de negócio, além de simplificar o processo de verificação de assinatura.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2011 / Made available in DSpace on 2012-10-25T22:44:10Z (GMT). No. of bitstreams: 1 293197.pdf: 593503 bytes, checksum: 8f083cc449db917bd59a276b6f5bb35d (MD5) / Assim como ocorre com as assinaturas manuscritas, muitas assinaturas precisam comprovar a autenticidade do documento assinado por anos, décadas ou mesmo por um período indefinido. Assinaturas digitais, contudo, acabam perdendo sua validade por fatores como o enfraquecimento de algoritmos criptográficos ou o comprometimento da chave privada do signatário. Assim, são necessárias estratégias que permitam preservar essas assinaturas por longo prazo. Este trabalho estuda a influência do tempo sobre as assinaturas digitais e propõe alternativas para minimizar alguns dos principais problemas hoje relacionados a essa preservação. Inicialmente, são apresentados os fatores que comprometem a validade das assinaturas com o tempo, seguido das principais estratégias até então propostas para sua preservação. A principal delas, baseada em carimbos do tempo, é então analisada, sendo propostos protocolos criptográficos para aumentar sua confiabilidade e reduzir os custos de preservação para o usuário final. Tais protocolos deram origem a duas novas implementações de carimbos, os Carimbos do Tempo Renováveis e Carimbos do Tempo Autenticados. Finalmente, foram realizadas análises teóricas dos benefícios e limitações trazidos por eles, sendo os resultados confirmados por meio de testes e simulações. Dentre os carimbos, os Carimbos do Tempo Autenticados são aqueles que oferecem uma maior redução de custos. Os de armazenamento, por exemplo, chegam a ser 99% menores, considerando a preservação de uma assinatura por cinquenta anos numa Infraestrutura de Chaves Públicas típica. Além disso, se destacam ao permitirem a validação offline das assinaturas preservadas. Carimbos do Tempo Renováveis, por outro lado, mantêm maior compatibilidade com a base instalada, sendo possível validar suas assinaturas da maneira convencional. Em contrapartida aos benefícios trazidos por esses protocolos, existem principalmente custos a serem absorvidos pelas Autoridades de Carimbo do Tempo e Autoridades Certificadoras Raiz.

O presente trabalho tem como objetivo compreender como elementos textuais podem ser utilizados, em trabalhos de arte, como ferramentas para transformar a imagem fotográfica, expandindo-a para novos sentidos. Para isso, são analisados trabalhos desenvolvidos por Vera Chaves Barcellos, nos anos 1970, e por Rosângela Rennó, nos anos 1990, considerando questões relativas à produção nacional e internacional da época. A obra de Barcellos é abordada a partir de suas ligações com a arte conceitual, enquanto a de Rosângela Rennó é analisada em relação às abordagens da fotografia na arte contemporânea mais recente. Pretende-se com esse estudo, além de alcançar um melhor entendimento das poéticas dessas artistas, apontar para algumas das transformações nos papéis atribuídos ao texto e à fotografia na arte desses períodos. / The objective of this work is to understand how textual elements can be used, in the artistic field, in order to transform the photographic image, expanding it to new meanings. To do so, we analyze the work developed by Vera Chaves Barcellos in the 1970s and the one developed by Rosângela Rennó in the 1990s, considering their connection to the national and international artistic production of the period. The work of Barcellos is approached regarding its connections to conceptual art, while the production of Rosângela Rennó is studied considering the uses of photography in contemporary practices. We intend, therefore, not only to achieve a better comprehension of these artists’ poetics, but also to point out some of the transformations on the roles assigned to images and texts in the art of these periods.

MESQUITA, S. J. Nova família de inversores multiníveis assimétricos com estágio CA-CA e com reduzido número de componentes em condução. 2016. 124 f. Tese (Doutorado em Engenharia Elétrica)-Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2017-07-07T11:57:59Z No. of bitstreams: 1 2016_tese_sjmesquita.pdf: 3885919 bytes, checksum: 261a76620c5e039d2b81d08f26d5b0a1 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2017-07-20T13:55:40Z (GMT) No. of bitstreams: 1 2016_tese_sjmesquita.pdf: 3885919 bytes, checksum: 261a76620c5e039d2b81d08f26d5b0a1 (MD5) / Made available in DSpace on 2017-07-20T13:55:40Z (GMT). No. of bitstreams: 1 2016_tese_sjmesquita.pdf: 3885919 bytes, checksum: 261a76620c5e039d2b81d08f26d5b0a1 (MD5) Previous issue date: 2016-10-28 / This thesis proposes a new family of asymmetric multilevel inverters based on the use of bi-directional switches. Generalized voltage relations among input sources of the cascaded inverters are developed and comparative analyzes with conventional topologies show an attractive solution in relation to the reduction of the number of components in conduction, as well as the reduced number of isolated DC sources. Topological solutions employing only one DC source are presented and the AC-AC operating stage of these converters does not require diode bridges to create the power supplies of asymmetric multilevel inverters as commonly proposed by the scientific community. PWM modulation strategies for some topologies are proposed and validated by simulation results. Among the proposed topologies, two topologies of higher complexity were chosen to validate the studies by means of a 49-level output voltage laboratory prototype, using a toroidal transformer with multiple secondary windings, being one topology operating at 300 Hz, and the second one at 60 Hz. Experimental results for the two topologies processing 1 kW with 48 V input voltage and 220 V output validate these converters as well as the optimized commutation states of the bi-directional switches. In this way, this work introduces new multilevel inverter topologies viable for low power and low voltage operation. / Esta tese propõe uma nova família de inversores multiníveis assimétricos baseados no uso de chaves bidirecionais. Generalizadas relações de tensão entre as fontes de entrada dos inversores cascateados são desenvolvidas e análises comparativas realizadas com as topologias convencionais demonstram uma solução atrativa com relação a redução do número de componentes em condução, além do reduzido emprego de fontes CC isoladas. Soluções topológicas empregando apenas uma fonte CC são apresentadas e a operação com estágio CA-CA desses conversores não necessita de pontes de diodos para confecção das fontes de alimentação dos inversores multiníveis assimétricos como comumente é usado pela comunidade científica. Estratégias de modulação PWM para algumas topologias são propostas e os resultados de simulações são apresentados para validar as análises teóricas. Entre as topologias propostas, foram escolhidas duas de maior complexidade para a validação experimental por meio de um protótipo de 49 níveis na tensão de saída, empregando um transformador toroidal de múltiplos secundários operando em 300 Hz, para a primeira topologia e em 60 Hz para a segunda topologia. Os resultados experimentais para as duas topologias processando 1 kW com tensão de entrada de 48 V e de saída 220 V validam os conversores aqui propostos. Também é validada a proposta dos estados otimizados de comutação dos interruptores bidirecionais. Dessa forma, este trabalho introduz novas topologias de inversores multiníveis assimétricos viáveis até mesmo para operações em baixas potências.

[pt] As comunicações quânticas estão rapidamente integrando-se às redes de fibras ópticas, entretanto muitos desafios de engenharia ainda existem para essa aglutinação. Esta tese discute algumas soluções práticas para a melhoria de aplicações reais em comunicações quânticas em fibras ópticas. No primeiro experimento uma fonte de pares de fótons emaranhados não-degenerados, de banda-estreita, empregando conversão espontânea paramétrica descendente (CEPD) é utilizada para demonstrar a viabilidade da distribuição quântica de chaves (DQC) através de 27 km de fibras ópticas, com o canal de sincronismo presente na mesma fibra com uma separação de 0.8 nm em comprimento de onda. A outra demonstração utilizou uma fonte heráldica de fótons únicos também baseada em CEPD para a realização de DQC através de 25 km de fibras ópticas com a utilização do protocolo de decoy states pela primeira vez. Houve também um estudo dos impactos gerados por ruído Raman espontâneo causado por um canal óptico clássico presente na mesma fibra que o canal quântico. Um protocolo para gerar números verdadeiramente aleatórios em um sistema de DQC independente da taxa de transmissão do sistema é proposto, e um experimento prova-de-princípio demonstra a idéia. Finalmente um sistema de controle automático de polarização é utilizado para a realização de uma sessão de DQC através de 16 km de fibras ópticas utilizando codificação em polarização, mesmo sob a presença de um embaralhador rápido do estado de polarização. / [en] Quantum communications is quickly becoming integrated within fiber optical networks and still many engineering challenges remain towards this interweaving. This thesis deals with some practical solutions toward improving real-world applications in quantum communications within optical fibers. In the first experiment, a non-degenerate narrowband entangled pair single-photon source based on spontaneous parametric down-conversion (SPDC) is used to show the feasibility of performing quantum key distribution (QKD) through 27 km of optical fiber, with the synchronization channel wavelength multiplexed in the same fiber with a channel spacing of just 0.8 nm. A second experiment uses a heralded single-photon source also based on SPDC to perform QKD over 25 km of optical fiber with the decoy state modification for the first time. Then there is a study of the problems caused by spontaneous Raman induced noise due to the presence of a classical signal in the same fiber as the quantum channel. A protocol to generate truly random numbers in a QKD setup independent of the system s transmission rate is proposed, and a proof-of-principle experiment demonstrates the idea. Finally an automatic polarization control system is used to perform a QKD session over 16 km of optical fiber using polarization encoding, even in the presence of a fast polarization scrambler.

[pt] A criptografia quântica se apresenta como uma área relativamente nova e interdisciplinar que, fundamentada nas leis da mecânica quântica, promete solucionar o grande desafio da criptografia simétrica clássica atual, a distribuição de chaves. A distribuição quântica de chaves provê comunicação absolutamente segura entre duas partes, possibilitando o compartilhamento de um segredo, que será utilizado na posterior encriptação da mensagem. Esta dissertação relata a implementação física experimental de um sistema óptico de distribuição quântica de chaves com codificação em freqüência por dupla-modulação em amplitude e fase e sincronização por multiplexação no domínio do comprimento de onda. São introduzidos os conceitos teóricos básicos necessários ao desenvolvimento do tema e apresentadas medições de caracterização dos principais componentes do sistema, bem como resultados de medidas sistêmicas clássicas e quânticas. / [en] The quantum cryptography rises as a relatively new and interdisciplinary area that, grounded in the quantum mechanics laws, promises to solve the major challenge in the actual symmetric classical cryptography, the key distribution. The quantum key distribution enables absolutely secure communication between two parts, making them able to share a secret that will be used in the posterior message encryptation. This dissertation reports the experimental physical implementation of an optical quantum key distribution system with frequency coding by amplitude and phase double-modulation process and wavelengthdivision multiplexing synchronization. The mean theoretical foundations are briefly introduced and the characterization measurements of the most important devices are shown, as like results from systemic classical and quantum measurements.

O presente trabalho tem como objetivo compreender como elementos textuais podem ser utilizados, em trabalhos de arte, como ferramentas para transformar a imagem fotográfica, expandindo-a para novos sentidos. Para isso, são analisados trabalhos desenvolvidos por Vera Chaves Barcellos, nos anos 1970, e por Rosângela Rennó, nos anos 1990, considerando questões relativas à produção nacional e internacional da época. A obra de Barcellos é abordada a partir de suas ligações com a arte conceitual, enquanto a de Rosângela Rennó é analisada em relação às abordagens da fotografia na arte contemporânea mais recente. Pretende-se com esse estudo, além de alcançar um melhor entendimento das poéticas dessas artistas, apontar para algumas das transformações nos papéis atribuídos ao texto e à fotografia na arte desses períodos. / The objective of this work is to understand how textual elements can be used, in the artistic field, in order to transform the photographic image, expanding it to new meanings. To do so, we analyze the work developed by Vera Chaves Barcellos in the 1970s and the one developed by Rosângela Rennó in the 1990s, considering their connection to the national and international artistic production of the period. The work of Barcellos is approached regarding its connections to conceptual art, while the production of Rosângela Rennó is studied considering the uses of photography in contemporary practices. We intend, therefore, not only to achieve a better comprehension of these artists’ poetics, but also to point out some of the transformations on the roles assigned to images and texts in the art of these periods.

Neste trabalho se pesquisou a identificação por subespaços para modelos de sistemas lineares invariantes no tempo em espaço de estados operando em tempo discreto, aplicado a sistemas em malha aberta e malha fechada. Dentro da identificação em malha aberta foram estudados os casos determinístico e estocástico determinístico para os métodos MOESP e N4SID. Como resultado deste estudo se apresentou um novo método, MON4SID, que usa a técnica MOESP para encontrar a matriz de observabilidade estendida e N4SID para recuperar as matrizes do sistema, a partir dos dados de entrada e saída. Duas variantes do método MON4SID são apresentadas para o caso determinístico e uma para determinístico - estocástico. Para verificar seu desempenho, este método foi aplicado a três tipos de processos: processo MIMO, sistema SISO e um processo benchmark MIMO da Shell. Foram usados nove algoritmos para identificar os diferentes processos e seus resultados foram comparados. Em todos eles o método MON4SID teve um bom desempenho. Para o caso de identificação em malha fechada, foram estudados os métodos MOESPC e N4SIDC para malha fechada. Estes métodos surgem como uma extensão dos métodos aplicados para malha aberta, mas a forma de solucionar o problema para malha fechada é diferente, por exemplo, o método MOESP computa um sistema global a partir do qual as matrizes da planta e do controlador são estimadas, através de uma redução de ordem e o método N4SID computa as matrizes da planta através do problema de mínimos quadrados, mas é necessário conhecer os parâmetros de Markov do controlador. Como resultado deste estudo foi apresentado o método MON4SIDC, o qual se baseia no método MON4SID para malha aberta. Este novo método usa a técnica MOESP para computar o sistema global e depois as matrizes da planta são estimadas por meio do método dos mínimos quadrados. Neste método não é necessário ter nenhum conhecimento do controlador. Um sistema simulado é usado para avaliar o desempenho do algoritmo MON4SIDC e seu resultado é comparado com outros algoritmos existentes na identificação para malha fechada PEM, N4SIDC, ARXS e MOESPC. O método MON4SIDC teve um bom desempenho, inclusive para sistemas com ruído, o que não aconteceu para o caso PEM e ARXS. / In this work it was researched subspace identification for models of linear time invariant systems in state space operating in discrete time, applied to open and closed loop systems. In the open loop identification the deterministic and stochastic - deterministic cases were studied for the methods MOESP and N4SID. As a result of this study a new method MON4SID is presented, which uses the technique MOESP to find the extended observability matrix and N4SID to compute the system matrices, from a set of input-output measurements. Two variants of the method MON4SID are presented for the case deterministic and one for deterministic - stochastic. To verify its performance, this method was applied to three types of processes: process MIMO, system SISO and a MIMO benchmark process of Shell. Nine algorithms were used to identify the different processes and their results are compared. In all of them the method MON4SID had a good performance. For the closed loop identification, the methods MOESPC and N4SIDC were studied. These methods appear as an extension of the methods applied for open loop identification, but the form of solving the problem for closed loop is different. For instance, the method MOESP computes a global system from which the plant matrices and controller matrices are computed through an order reduction and the method N4SID computes the plant matrix through the problem of least squares, but it is necessary to know the Markov parameters of the controller. As a result of this study the method MON4SIDC was presented, which uses the method MON4SID for open loop. This new method uses the technique MOESP to compute the global system and the plant matrices are estimated through the problem of least squares. In this method it is not necessary to have any knowledge about the controller. A simulated system is used to evaluate the performance of the algorithm MON4SIDC and its results are compared with other existent algorithms for closed loop identification: PEM, N4SIDC, ARXS and MOESPC. The method MON4SIDC presented a good performance, even with systems with noise, what did not occur with PEM and ARXS.

Este trabalho está relacionado com o estudo das instalações propulsoras para navios porta contêineres e tem como objetivo estabelecer diretrizes para que um estaleiro de pequeno porte desenvolva o projeto e análise de instalações propulsoras deste tipo de navios. Analisa-se inicialmente a evolução dos navios porta contêineres ao longo do tempo e as tendências para as próximas gerações destes navios, apresentando as diferentes classificações aplicadas para este tipo de navio. Em particular, são examinadas as instalações propulsoras empregadas em navios porta contêineres, constatando-se que estes navios há uma predominância marcante de instalação propulsora Diesel direta, com exceção dos navios do tipo Pequeno Alimentador, que utilizam instalação Diesel com redução. Em seguida mostra-se como as características de projeto dos modernos navios porta contêineres estabelecem requisitos sobre os motores Diesel de baixa rotação, tanto em termos de características operacionais como de parâmetros geométricos. Uma parte importante do trabalho consiste na definição das diretrizes para o projeto e analise das instalações propulsoras para navios porta contêineres. Para isto, é descrito o procedimento de projeto da instalação, que inclui o cálculo da resistência e dos parâmetros propulsivos, bem como o projeto do hélice e seleção da máquina principal. Inclui-se também um procedimento para analise do desempenho da instalação propulsora, para diferentes condições de operação. Apresenta-se como ilustração a aplicação dos procedimentos de projeto e análise de desempenho da instalação propulsora a um navio porta contêineres do tipo Pequeno Alimentador. Finalmente são listadas as conclusões da dissertação e recomendações para continuação do trabalho. / This thesis is related to the study of propulsive power plants for container ships and has the objective of establishing directives so that a shipyard of small capacity of production develops the project and the analysis of propulsion systems for this type of ships. Initially, the evolution of the ships that carry containers is analyzed in a period of time and the tendencies of the ships for the next generations, also showing how the container ship is classified. In particular, the propulsive installation in container ship are examined, noting that there is a predominance of the direct Diesel propulsive installation in these ships, with the exception of small feeder ships, that use Diesel installation with reduction gearbox. In addition, it is shown how the characteristics of project of the modern container ship establish requirements on the diesel engines of low rotation, as much as in terms of operational characteristics as in geometric parameters. An important part of this work consists on the definition of the directives for the project and the analysis of the propulsive installations for container ship. Therefore, the procedure of the installation of the project is described, which includes the calculation of the resistance and the propulsive parameters, as well as the project of the helix and the selection of the main engine. The procedure for the analysis of performance of the propulsive installation is also included, for different conditions of operation. As an illustrative example, the application of the procedures of the project and the analysis of performance of the propulsive installation for a small feeder container ship is presented. Finally, the conclusions of the work are listed, as well as the recommendations for the future continuation of the work.

O presente trabalho tem como objetivo compreender como elementos textuais podem ser utilizados, em trabalhos de arte, como ferramentas para transformar a imagem fotográfica, expandindo-a para novos sentidos. Para isso, são analisados trabalhos desenvolvidos por Vera Chaves Barcellos, nos anos 1970, e por Rosângela Rennó, nos anos 1990, considerando questões relativas à produção nacional e internacional da época. A obra de Barcellos é abordada a partir de suas ligações com a arte conceitual, enquanto a de Rosângela Rennó é analisada em relação às abordagens da fotografia na arte contemporânea mais recente. Pretende-se com esse estudo, além de alcançar um melhor entendimento das poéticas dessas artistas, apontar para algumas das transformações nos papéis atribuídos ao texto e à fotografia na arte desses períodos. / The objective of this work is to understand how textual elements can be used, in the artistic field, in order to transform the photographic image, expanding it to new meanings. To do so, we analyze the work developed by Vera Chaves Barcellos in the 1970s and the one developed by Rosângela Rennó in the 1990s, considering their connection to the national and international artistic production of the period. The work of Barcellos is approached regarding its connections to conceptual art, while the production of Rosângela Rennó is studied considering the uses of photography in contemporary practices. We intend, therefore, not only to achieve a better comprehension of these artists’ poetics, but also to point out some of the transformations on the roles assigned to images and texts in the art of these periods.