Agenda de Defesas
- UFPE/
- Research/Innovation/
- Defense Schedule/
- Ciência da Computação promove defesa de teses de doutorado amanhã (1º) e dia 2 de setembro
Events Events
Ciência da Computação promove defesa de teses de doutorado amanhã (1º) e dia 2 de setembro
Os trabalhos serão defendidos por meio de videoconferência
O Programa de Pós-Graduação em Ciência da Computação da UFPE promove a defesa de duas teses de doutorado. A primeira intitulada “Otimização de Circuitos para a Inicialização de Estados Quânticos”, foi escrita pelo aluno Israel Ferraz de Araújo, orientado pelo professor Adenilton José da Silva e coorientado pela professora Teresa Bernarda Ludermir. A dissertação será defendida amanhã (1º), às 9h via Google Meet. Interessados em assistir entrar em contato com o aluno através do e-mail ifa@cin.ufpe.br. É recomendado que se entre na sala virtual com microfone e câmera desligados. A banca examinadora é formada pelos professores Stefan Michael Blawid (UFPE/Centro de Informática), Antônio Murilo Santos Macedo (UFPE/Departamento de Física), Leon Denis da Silva (UFRPE/Departamento de Matemática), Wilson Rosa de Oliveira (UFRPE/Departamento de Estatística e Informática) e Samuraí Gomes de Aguiar Brito (Itaú-Unibanco/Itaú Quantum Technologies).
A segunda tese, de título “Planejando Sistematicamente a Comunicação em Projetos de Arquitetura Corporativa no Setor Público: A proposta do Método CommitEA”, produzida pelo discente Walter Felipe dos Santos e orientada pela professora Simone Cristiane dos Santos Lima e coorientada pelo professor Ivaldir Honório de Farias Júnior (UPE/Garanhuns) e será defendida na sexta-feira (2), às 14h. Interessados em assistir entrar em contato com o aluno através do e-mail wfs@cin.ufpe.br. A banca examinadora é formada pelos professores Hermano Perrelli de Moura (UFPE/Centro de Informática), Carina Frota Alves (UFPE/Centro de Informática), Flávia Maria Santoro (UERJ/Instituto de Tecnologia e Liderança) Alixandre Thiago Ferreira Santana (Ufape/Departamento de Ciência da Computação), Wylliams Barbosa Santos (UPE/Escola Politécnica de PE) e José Gilson de Almeida Teixeira Filho (UFPE/Departamento de Ciências Administrativas).
Resumo 1
A teoria dos algoritmos quânticos promete benefícios sem precedentes ao utilizar as leis da mecânica quântica para resolver certos problemas computacionais. Entretanto, alguns desafios impedem que tais vantagens se apliquem a todos os algoritmos quânticos. Entre esses desafios está o desenvolvimento de uma codificação eficiente de dados clássicos em um estado quântico. Em aplicações práticas, o custo para carregar a informação clássica em um dispositivo quântico pode dominar o custo computacional assintótico do algoritmo. Foram propostos diversos métodos baseados em circuitos para codificar dados clássicos nas amplitudes de probabilidade de um estado quântico. Entretanto, esses métodos produzem circuitos com complexidade que cresce linearmente com o tamanho do dado, anulando o benefício da aplicação quântica. O objetivo principal deste trabalho é reduzir a complexidade computacional dos circuitos para a inicialização de estados quânticos. As duas estratégias utilizadas para alcançar tal objetivo exploram a troca de complexidade temporal por espacial ou a transferência de complexidade computacional para um computador clássico. A primeira estratégia reinterpreta métodos algébricos para a decomposição de estados quânticos como caminhadas ao longo de árvores binárias. A segunda investiga o grau de emaranhamento de bipartições do estado quântico através da decomposição de Schmidt. Os métodos baseados em árvore alcançam uma redução exponencial na profundidade dos circuitos, em comparação às abordagens existentes. Os baseados na decomposição de Schmidt produzem circuitos de complexidade variável, proporcional ao emaranhamento do estado. A perspectiva é que o resultado desta tese auxilie os profissionais da computação quântica durante a era dos dispositivos ruidosos de escala intermediária.
Resumo 2
Em projetos de Arquitetura Corporativa (AC) nas Organizações do setor Público (OP), a necessidade de comunicar as informações oportunamente (no tempo certo) entre as principais pessoas interessadas no projeto (stakeholders) em vários níveis organizacionais, assim como a correta compreensão do conteúdo dessa comunicação, é um fator de extrema importância para o seu planejamento. Nessas organizações altamente hierarquizadas, tendo em vista os riscos associados ao tempo, canais e meios utilizados para divulgação dessas informações, a comunicação nesses projetos torna-se ainda mais complexa. Nesse contexto, é preciso considerar a necessidade de uma visão holística sobre o planejamento e gerenciamento de projetos de AC, fazendo da comunicação à chave para o sucesso (GROUP et al., 2018). A comunicação é considerada um dos principais desafios para os projetos de Arquitetura Corporativa (AC). O esforço despendido para conciliar as descontinuidades semânticas e superar as complexidades da comunicação para os arquitetos corporativos e outros stakeholders costuma ser alto, fazendo do não entendimento das informações um causador de conflitos e desmotivações. Esses desafios são visíveis, inicialmente, quando é necessário traduzir os objetivos da arquitetura aos envolvidos nos processos em todos os níveis da arquitetura, em geral, associados a estratégia, processos de negócios, sistemas de informação e infraestrutura tecnológica. O esforço para comunicar com clareza, consistência e abrangência as vantagens e os benefícios da AC, bem como os riscos associados, aumenta o desafio para os envolvidos. No âmbito das Organizações do setor Público (OP), ainda existem os agravantes das constantes mudanças nas lideranças, processos, regras e direcionamentos, dificultando ainda mais a implementação e desenvolvimento da arquitetura. Buscando a superação desses desafios, a presente pesquisa propõe um método orientado e prescritivo, baseado na captura do conhecimento sobre como planejar a comunicação para os stakeholders dos projetos de arquitetura corporativa nas organizações do setor público. A proposta se traduz em uma referência, a qual orienta o planejamento e execução de tarefas em situações específicas em projetos de AC, voltados para melhoria do processo de comunicação. Assim, por meio deste, é possível definir um fluxo de trabalho, descritos em uma linguagem de modelagem padrão, apoiada por artefatos, dando suporte ao processo de planejamento da comunicação em projetos de AC. Para concepção e construção da proposta, foi adaptado o método Design Science Research (DSR) (Wieringa, 2014), executado em três etapas, cada uma delas contemplando as atividades referentes ao entendimento e análise do problema em questão, design das propostas de solução e consequente avaliação dos artefatos desenvolvidos. Como principais resultados obtidos, destacam-se: um Mapeamento Sistemático (MS) sobre o uso de AC no setor público, visando identificar os benefícios, desafios, principais autores, frameworks, origem dos estudos, conceitos e definições; Pesquisa de opinião, para identificar nas organizações públicas do Brasil o perfil dos profissionais que atuam nos projetos da AC, quais são os frameworks, ferramentas, benefícios e desafios encontrados nestes projetos; Proposta de um método para o planejamento da comunicação em projetos de AC; Avaliações de utilidade e usabilidade do método com 45 participantes por meio de um instrumento baseado em modelos reconhecidos, obtendo uma alta aceitação das características avaliadas, um resultado positivo para a pesquisa, justificando sua execução e continuidade por meio dos trabalhos futuros sugeridos.