Computação quântica, estamos preparados?

Tamanho: px
Começar a partir da página:

Download "Computação quântica, estamos preparados?"

Transcrição

1 Computação quântica, estamos preparados? De conceitos a implicações futuras Fernando Vasconcelos Mendes fernandovm@gmail.com Ph.D., Software Architect, BCP, MCP, MCAD, MCSD, ITIL

2 Agenda Contextualização histórica Fenômenos quânticos Algoritmos quânticos Protocolos quânticos Implicações futuras

3 Mas, antes de começarmos...

4 Uma breve nota sobre otimização Função Rastrigin

5 Uma breve nota sobre o que não é O uso inapropriado de alguns aspectos incompreensíveis da mecânica quântica já era uma preocupação de Einstein. Somos livres para exercer nossos pensamentos e direcionar nossas crenças, e sejam quais forem estas, independente de uma realidade objetiva consensuada, elas são capazes de provocar mudanças concretas em nosso comportamento. De todo modo, do ponto de vista científico, uma série de doutrinas usam indevidamente o termo quântica, tais como: Empresa quântica Terapia quântica Cura quântica Saúde quântica Consciência quântica Etc. quântica

6 Contextualização histórica e fundamentos...

7 Considerações de Richard Feynman Pode a física ser simulada por um computador?... a possibilidade que existe é a de ser uma simulação exata, que o computador irá fazer exatamente o mesmo que a natureza.... o número de componentes do computador requeridos para simular um sistema físico arbitrário é apenas proporcional ao volume do espaço-tempo do sistema físico. Conclusão A natureza não é clássica, poxa, e se você quer fazer uma simulação da natureza, é melhor fazê-lo com a mecânica quântica, e pelo amor de Deus, é um problema maravilhoso, pois não parece tão fácil. 1982

8 Considerações de David Deutsch Máquinas de computar que se assemelham à um computador quântico universal poderiam, em princípio, ser construídas e teriam muitas propriedades notáveis não reproduzíveis por uma máquina de Turing. Fundamentou a noção de computação quântica Primeira versão da máquina de Turing Quântica Formulação de portas quânticas e circuitos quânticos Primeiro algoritmo quântico 1985

9 Bits clássicos Unidade mínima de informação para armazenamento ou processamento Um bit pode assumir os valores 0 ou 1, n bits podem representar 2 n valores clássicos um por vez Fisicamente representado por um sistema de 2-níveis: Estado de um transistor Magnetização da superfície de um disco rígido Uma moeda :-)) 1985

10 Qubtis os bits quânticos Equivalente quântico ao bit clássico Um qubit pode assumir os valores 0 ou 1, n qubits podem representar 2 n valores clássicos ao mesmo tempo! Fisicamente representado por um sistema quântico de 2-níveis: Polarização de um fóton Alinhamento do spin nuclear em um campo magnético uniforme Os estados (fundamental e excitado) de um elétron orbitando ao redor de um átomo

11 Bits versus Qubtis

12 Alguns fenômenos quânticos...

13 Não-clonagem Podemos copiar uma informação clássica arbitrária? Intuitivamente pode-se facilmente dizer que sim, como exemplo tem-se: Xerox, faz, etc. (São cópias perfeitas?) Cópia de arquivos digitais! Podemos copiar uma informação quântica arbitrária? Intuitivamente.. ops, stop! A mecânica quântica não é intuitiva. A resposta é NÃO!

14 Superposição

15 Superposição

16 Superposição

17 Superposição

18 Entrelaçamento I cannot seriously believe in it because the theory cannot be reconciled with the idea that physics should represent a reality in time and space, free from spooky actions at a distance.

19 Entrelaçamento Não existe uma analogia clássica para o entrelaçamento, mas você pode pensar em algo como:

20 Alguns algoritmos/protocolos quânticos...

21 Algoritmo de Deutsch-Jozsa Determinar se uma função f : {0, 1} n {0, 1} é balanceada ou constante Um soluçao clássica e determinística requer, no pior caso, 2 n avaliações de f. A solução quântica requer apenas 1 avaliação de f, independente de n. Exponencialmente mais eficiente!

22 Algoritmo de Grover Busca em uma base de dados desordenada Complexidade para algoritmos clássicos: O(N) Complexidade para o algoritmo quântico de Grover: O( N)

23 Pausa para uma reflexão... Os sistemas de criptografia clássicos são seguros? Sistema simétrico Sistema assimétrico O que os confere segurança? Barreiras tecnológicas!

24 Algoritmo de Shor Logaritmo discreto e fatoração de números inteiros Complexidade para o algoritmo clássico: O(e (log N)1/3 (log log N) 2/3 ). Complexidade para o algoritmo quântico de Shor: O((log N) 3 ).

25 Implicações...

26 Constatações & Implicações... The computer scientist Donald Knuth has estimated that the factorization of a 250-digit number, using the most efficient known methods, would take over a million years on a network of a million computers. Comparativo (aproximado): Entrada (#bits) Algoritmo de Shor Algoritmo Clássico s 4 dias m 10 5 anos m anos ,8h anos

27 Constatações & Implicações...

28 Constatações & Implicações... Report on Post-Quantum Cryptography (2016) If large-scale quantum computers are ever built, they will be able to break many of the public-key cryptosystems currently in use. This would seriously compromise the confidentiality and integrity of digital communications on the Internet and elsewhere /nistir_8105_draft.pdf Suite B Cryptography Cryptography Today : Our ultimate goal is to provide cost effective security against a potential quantum computer We look forward to your continued support as we work together to improve information security for National Security customers against the threat of a quantum computer being developed.

29 Protocolo BB84 QDK Distribuição Quântica de chaves Alice gera um bit aleatório (0 ou 1) Alice codifica o bit usando uma das bases: { 0>, 1>} ou { +>, ->} Alice manda o qubit para Bob Bob seleciona, aleatoriamente, uma das bases para fazer a medição Depois de uma dada quantidade de transmissão, Alice e Bob anunciam suas bases. Eles descartam as posições inadequadas e executam um procedimento de amplificação de privacidade. Uma nova chave é gerada!

30 Protocolo BB84

31 Protocolo BB84 Aplicações comerciais ID Quantique SeQureNet MagiQ Quintessence Labs

32 Uma nova reflexão... Já temos um computador quântico? Seria importante construirmos um computador quântico? Qual a importância do poder computacional?

33 O método científico

34 Cenário atual

35 Cenário atual Google says its quantum computer is 100 million times faster than PC 1s -> 3,17 anos (512 qubits) Empresas trabalhando nas pesquisas de computadores quânticos:

36 Conclusões A computação quântica traz consigo não só as estranhezas da mecânica quântica mas também sua elegância matemática e possibilidades inteiramente novas de computar. Tão, ou mais, importante quanto as contribuições à uma estratégia de comunicação segura definitiva, é o potencial incremento do poder computacional capaz de provocar uma revolução (tecnológica) sem precedentes!

37 Dúvidas!? Fernando Vasconcelos Mendes

Uma Introdução à Computação Quântica

Uma Introdução à Computação Quântica Uma Introdução à Computação Quântica por Bernardo Lula Júnior 1 e Aércio Ferreira de Lima 2 1 Departamento de Sistemas e Computação Universidade Federal de Campina Grande lula@dsc.ufcg.edu.br 2 Departamento

Leia mais

Criptografia Quântica. Gustavo Thebit Pfeiffer Rodrigo Rodrigues Paim Vinicius Neves Motta

Criptografia Quântica. Gustavo Thebit Pfeiffer Rodrigo Rodrigues Paim Vinicius Neves Motta Criptografia Quântica Gustavo Thebit Pfeiffer Rodrigo Rodrigues Paim Vinicius Neves Motta Criptografia Criptografia Simétrica Criptografia Assimétrica RSA Função Resumo Computação Quântica Mecânica Clássica

Leia mais

Computação Quântica. Paulo Mateus. Centro de Lógica e Computação Instituto Superior Técnico NEEI-IST

Computação Quântica. Paulo Mateus. Centro de Lógica e Computação Instituto Superior Técnico NEEI-IST Computação Quântica Paulo Mateus Centro de Lógica e Computação Instituto Superior Técnico NEEI-IST Motivação Lei de Moore Gordon Moore (co-fundador da Intel) O número de transístores por polegada quadrada

Leia mais

Cálculo da Informação Acessível

Cálculo da Informação Acessível Cálculo da Informação Acessível Michael Souza (LNCC) Renato Portugal (LNCC) Carlile Lavor (IME-UNICAMP) Este trabalho tem suporte financeiro das agências FAPERJ e CNPQ. Tópicos Abordagem pragmática da

Leia mais

A computação do futuro

A computação do futuro A computação do futuro Miguel Afonso Oliveira Laboratório de Instrumentação e Física Experimental de Partículas Computadores do futuro??? Porque é que vamos falar de computadores numa sessão de física?

Leia mais

Walter Carnielli Grupo!de Lógica Teórica e Aplicada. CLE e IFCH- UNICAMP

Walter Carnielli Grupo!de Lógica Teórica e Aplicada. CLE e IFCH- UNICAMP Computação Quântica e Lógicas Não-Clássicas Walter Carnielli Grupo!de Lógica Teórica e Aplicada CLE e IFCH- UNICAMP. O que é a lógica quântica?!raciocinar com proposições que levam em conta as leis da

Leia mais

Mecânica Quântica. Ênfase nos Primeiros Postulados. Vide, p. ex., C. R. Rocha, Dissertação de Mestrado e I. Greca, Tese de Doutorado

Mecânica Quântica. Ênfase nos Primeiros Postulados. Vide, p. ex., C. R. Rocha, Dissertação de Mestrado e I. Greca, Tese de Doutorado Mecânica Quântica Ênfase nos Primeiros Postulados Vide, p. ex., C. R. Rocha, Dissertação de Mestrado e I. Greca, Tese de Doutorado O experimento de dupla fenda Feynman, Richard P. FISICA EM 12 LICOES -

Leia mais

Introdução à Computação Quântica

Introdução à Computação Quântica Introdução à Computação Quântica Aula 3 Computação quântica: portas lógicas e circuitos Renato de Oliveira Violin José Hiroki Saito Departamento de Computação - UFSCar Conteúdo Portas lógicas e circuitos.

Leia mais

Criptografia Quântica 1. Quantum Cryptography 1

Criptografia Quântica 1. Quantum Cryptography 1 Criptografia Quântica 1 Anderson Barnabé Claudemberg Ferreira Luciana Carreiro Albuquerque Ronny Raupp 2 Resumo Neste trabalho será avaliado o comportamento de uma tecnologia emergente perante premissas

Leia mais

Introdução à computação quântica

Introdução à computação quântica Introdução à computação quântica Heitor Nicoliello RA: 089041 03 July 2009 Resumo Um computador quântico é um dispositivo que executa cálculos usando propriedades da mecânica quântica. Essas propriedades

Leia mais

Computação quântica: uma abordagem simulacional

Computação quântica: uma abordagem simulacional Computação quântica: uma abordagem simulacional José Vinícius do Nascimento Silva [1], Carlos Alex Souza da Silva [2] [1] vinnyifpb@gmail.com ; [2] calex@fisica.ufc.br. IFPB Campus Campina Grande, Av.

Leia mais

A revolução por trás da computação quântica

A revolução por trás da computação quântica A revolução por trás da computação quântica Introdução a Engenharia de Computação e Informação (ieci) 2016/1 Franklin Marquezino franklin@cos.ufrj.br Agenda O que é a computação quântica Como são os computadores

Leia mais

O ALEATÓRIO EM COMPUTAÇÃO. Por Diogo Anderson Integrante do Grupo PET Computação

O ALEATÓRIO EM COMPUTAÇÃO. Por Diogo Anderson Integrante do Grupo PET Computação O ALEATÓRIO EM COMPUTAÇÃO Por Diogo Anderson (diogo@dsc.ufcg.edu.br) Integrante do Grupo PET Computação AGENDA Introdução Definição Aplicações Números aleatórios Números aleatórios vs pseudo-aleatórios

Leia mais

LIMITES COMPUTACIONAIS E O FUTURO. Prof. André Vignatti DINF - UFPR

LIMITES COMPUTACIONAIS E O FUTURO. Prof. André Vignatti DINF - UFPR LIMITES COMPUTACIONAIS E O FUTURO Prof. André Vignatti DINF - UFPR CONTEXTUALIZANDO Ciências Exatas base de tudo, gera conhecimento Engenharias usa conhecimento, gera tecnologias Tecnologias usa tecnologias,

Leia mais

Segurança nas empresas contábeis: Guarda de documentos na nuvem e backup

Segurança nas empresas contábeis: Guarda de documentos na nuvem e backup Segurança nas empresas contábeis: Guarda de documentos na nuvem e backup 1 Agenda A nova sociedade Perdas e prejuízos Atitude de segurança Ameaças as informações Backups Onde e como fazer Backups Conclusão

Leia mais

Informática Aplicada. Introdução

Informática Aplicada. Introdução Informática Aplicada Introdução Breve histórico da computação moderna Principais eventos 1000ac - Ábaco 1614 - Logaritmos (John Napier) 1623 - Sistema Binário (Francis Bacon) 1642 - Máquina de Turing 1946

Leia mais

Computação quântica:! realizações e desafios! Ernesto F. Galvão Instituto de Física - UFF

Computação quântica:! realizações e desafios! Ernesto F. Galvão Instituto de Física - UFF Computação quântica:! realizações e desafios! Ernesto F. Galvão Instituto de Física - UFF XV Escola Regional de Informática PR 2009 Resumo Introdução de Turing à computação quântica Mecânica quântica para

Leia mais

CRIPTOGRAFIA QUÂNTICA, UMA ABORDAGEM INTRODUTÓRIA

CRIPTOGRAFIA QUÂNTICA, UMA ABORDAGEM INTRODUTÓRIA CRIPTOGRAFIA QUÂNTICA, UMA ABORDAGEM INTRODUTÓRIA Sandro R. Fernandes srfernandes@iprj.uerj.br Joaquim Teixeira de Assis joaquim@iprj.uerj.br Gil de Carvalho gilde@iprj.uerj.br Universidade do Estado do

Leia mais

Gustavo Lima Chaves.

Gustavo Lima Chaves. Breve Introdução à Computação Quântica Felipe Portavales Goldstein Instituto de Computação Avenida Albert Einstein, 1251 Campinas, Brasil felipe.goldstein @ic.unicamp.br Gustavo Lima Chaves Instituto de

Leia mais

Plano. Motivação Mecânica quântica Criptografia quântica. Criptoanálise quântica. Troca de chaves com segurança incondicional

Plano. Motivação Mecânica quântica Criptografia quântica. Criptoanálise quântica. Troca de chaves com segurança incondicional Plano Motivação Mecânica quântica Criptografia quântica Troca de chaves com segurança incondicional Criptoanálise quântica Algoritmo de Shor Ataque a a provas de conhecimento nulo Motivação Lei de Moore

Leia mais

Computação quântica com íons aprisionados

Computação quântica com íons aprisionados Computação quântica com íons aprisionados Alessandro S. Villar Instituto de Física Universidade de São Paulo Departamento de Física Centro de Ciências Exatas e da Natureza Universidade Federal de Pernambuco

Leia mais

O que é computação quântica?!

O que é computação quântica?! O que é computação quântica? Ernesto F. Galvão Instituto de Física Universidade Federal Fluminense (UFF) SNCT 2013 ICEx, UFF Volta Redonda Linha do tempo computação Pré-história I c. 3000 A.C. I c. 2400

Leia mais

Introdução aos Números Pseudo-aleatórios. Profa. Dra. Soraia Raupp Musse

Introdução aos Números Pseudo-aleatórios. Profa. Dra. Soraia Raupp Musse Introdução aos Números Pseudo-aleatórios Profa. Dra. Soraia Raupp Musse Conceito: Um gerador de número pseudo-aleatório é um algoritmo que gera uma seqüência de números, os quais são aproximadamente independentes

Leia mais

Informa. Quântica. com. Quebrando Códigos com Computadores Quânticos

Informa. Quântica. com. Quebrando Códigos com Computadores Quânticos Informa formação Quântica com Átomos e FótonsF Quebrando Códigos com Computadores Quânticos Prof. Marcelo Martinelli Laboratório de Manipulação Coerente de Átomos e Luz A página: http://axpfep1.if.usp.br/~mmartine

Leia mais

BCC202 - Estrutura de Dados I

BCC202 - Estrutura de Dados I BCC202 - Estrutura de Dados I Aula 15: Ordenação: ShellSort Reinaldo Fortes Universidade Federal de Ouro Preto, UFOP Departamento de Computação, DECOM Website: www.decom.ufop.br/reifortes Email: reifortes@iceb.ufop.br

Leia mais

Aplicações da Mecânica Quântica

Aplicações da Mecânica Quântica Aplicações da Mecânica Quântica LASER I Amplificação da luz por emissão estimulada da radiação As bases teóricas para o laser foram estabelecidas por Einstein em 1917. O primeiro laser foi construído em

Leia mais

Um modelo estocástico para o fluxo de caixa de um plano de previdência de um indivíduo 15

Um modelo estocástico para o fluxo de caixa de um plano de previdência de um indivíduo 15 2 Simulação estocástica A simulação computacional consiste em empregar técnicas matemáticas em computadores com o propósito de gerar ensaios que tentam reproduzir de maneira análoga um processo ou operação

Leia mais

O que vem a ser computação quântica?

O que vem a ser computação quântica? O que vem a ser computação quântica? Encontro Regional de Ciências Roberto Imbuzeiro Oliveira (IMPA) Rio de Janeiro, 02/08/2012 Computação quântica? Por que isso pode ser útil? Computação quântica? Por

Leia mais

Computadores e Programação (DCC/UFRJ)

Computadores e Programação (DCC/UFRJ) Computadores e Programação (DCC/UFRJ) Aula 3: 1 2 3 Abstrações do Sistema Operacional Memória virtual Abstração que dá a cada processo a ilusão de que ele possui uso exclusivo da memória principal Todo

Leia mais

Juliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação

Juliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação Universidade Federal de Santa Maria Disciplina de Teoria da Computação Quais são as capacidades e limitações fundamentais dos computadores? Funções Computáveis Algoritmo: descrição finitade uma computação

Leia mais

Os computadores ditigais podem ser classificados em 5 grupos distintos:

Os computadores ditigais podem ser classificados em 5 grupos distintos: Informática A informática engloba toda atividade relacionada ao uso dos computadores, permitindo aprimorar e automatizar tarefas em qualquer área de atuação da sociedade. Informática é a "Ciência do tratamento

Leia mais

Aula Breve História dos Computadores - Informatiquês - O Computador - Software vs. Hardware. Introdução à Engenharia da Computação

Aula Breve História dos Computadores - Informatiquês - O Computador - Software vs. Hardware. Introdução à Engenharia da Computação Aula 02 - Breve História dos Computadores - Informatiquês - O Computador - Software vs. Hardware Slide 1 de - Qual é a origem etimológica da palavra COMPUTADOR? Computador procede do latim computatore.

Leia mais

Arquiteturas Paralelas

Arquiteturas Paralelas ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES Arquiteturas Paralelas Medidas de desempenho Alexandre Amory Edson Moreno Índice 2 1. Introdução 2. Medidas de Desempenho Introdução 3 Aumento de desempenho dos

Leia mais

UM PARADIGMA QUANTICO PDF

UM PARADIGMA QUANTICO PDF UM PARADIGMA QUANTICO PDF ==> Download: UM PARADIGMA QUANTICO PDF UM PARADIGMA QUANTICO PDF - Are you searching for Um Paradigma Quantico Books? Now, you will be happy that at this time Um Paradigma Quantico

Leia mais

A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação

A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação A Matemática como Serviço a Ciência da Computação Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação A Matemática e Ciência da Computação A Matemática faz parte do DNA

Leia mais

Teste de Turing e Computação Quântica Curso de Análise e Desenvolvimento de Sistemas INTELIGÊNCIA ARTIFICIAL PROFESSOR FLÁVIO MURILO

Teste de Turing e Computação Quântica Curso de Análise e Desenvolvimento de Sistemas INTELIGÊNCIA ARTIFICIAL PROFESSOR FLÁVIO MURILO Teste de Turing e Computação Quântica Curso de Análise e Desenvolvimento de Sistemas 1 Teste de Turing Consiste em verificar a capacidade que uma máquina tem de se comportar como um ser humano por meio

Leia mais

INFORMAÇÃO QUÂNTICA: DE PLANCK AOS COMPUTADORES QUÂNTICOS. Luiz Davidovich Instituto de Física Universidade Federal do Rio de Janeiro

INFORMAÇÃO QUÂNTICA: DE PLANCK AOS COMPUTADORES QUÂNTICOS. Luiz Davidovich Instituto de Física Universidade Federal do Rio de Janeiro INFORMAÇÃO QUÂNTICA: DE PLANCK AOS COMPUTADORES QUÂNTICOS Luiz Davidovich Instituto de Física Universidade Federal do Rio de Janeiro Richard Feynman (1918 1988) Prêmio Nobel de Física 1965 Não leve essa

Leia mais

Fundamentos da Teoria Quântica da Informação

Fundamentos da Teoria Quântica da Informação Fundamentos da Teoria Quântica da Informação Aluno: Julio Nicolini Orientador: Guilherme Temporão Introdução Em 1927, Heisenberg formulou o seu Princípio da Incerteza, introduzindo a ideia altamente contra-intuitiva

Leia mais

Da Mecânica Quântica à Computação Quântica. Orlando Oliveira Dep Física, Universidade Coimbra

Da Mecânica Quântica à Computação Quântica. Orlando Oliveira Dep Física, Universidade Coimbra Da Mecânica Quântica à Computação Quântica Orlando Oliveira (orlando@fis.uc.pt) Dep Física, Universidade Coimbra AVISO - AMBICIOSO 1º ano / 2º semestre Fundamentos Física Moderna 2º ano / 2º semestre Mecânica

Leia mais

ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES II. Componentes: Deivyson Bruno Silva Ribeiro Wando Linhares Marques

ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES II. Componentes: Deivyson Bruno Silva Ribeiro Wando Linhares Marques ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES II Componentes: Deivyson Bruno Silva Ribeiro Wando Linhares Marques Lei de Moore e seu contexto atual: Recentes avanços de processadores e tendências futuras.

Leia mais

Circuitos Quânticos: uma introdução

Circuitos Quânticos: uma introdução Circuitos Quânticos: uma introdução Aércio Ferreira de Lima DF/CCT/UFCG Bernardo Lula Júnior DSC/CCT/UFCG WECIQ2006 Roteiro Mecânica quântica (30min) dualidade onda x partícula superposição e interferência

Leia mais

Unidade I ORGANIZAÇÃO DE. Prof. Antônio Palmeira

Unidade I ORGANIZAÇÃO DE. Prof. Antônio Palmeira Unidade I ORGANIZAÇÃO DE COMPUTADORES Prof. Antônio Palmeira Apresentação da disciplina Conhecer as estruturas de hardware de um sistema computacional. Entender o funcionamento dos vários módulos que compõem

Leia mais

O Mundo Quântico. Luiz Davidovich Instituto de Física Universidade Federal do Rio de Janeiro

O Mundo Quântico. Luiz Davidovich Instituto de Física Universidade Federal do Rio de Janeiro O Mundo Quântico Luiz Davidovich Instituto de Física Universidade Federal do Rio de Janeiro Laplace (1749-1827) e o determinismo clássico Uma inteligência que, em qualquer instante dado, conhecesse todas

Leia mais

TOCI08 Segurança em Redes de Computadores Módulo 08: Criptografia Assimétrica RSA e ECC

TOCI08 Segurança em Redes de Computadores Módulo 08: Criptografia Assimétrica RSA e ECC TOCI08 Segurança em Redes de Computadores Módulo 08: Criptografia Assimétrica RSA e ECC Prof. M.Sc. Charles Christian Miers e-mail: charles@joinville.udesc.br Roteiro Criptografia Moderna: Diferenças criptografia

Leia mais

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Ementa Gramáticas. Linguagens Regulares, Livres-de-Contexto e Sensíveis-ao- Contexto. Tipos de Reconhecedores. Operações

Leia mais

Spintrônica Uma palestra introdutória. Tatiana G. Rappoport

Spintrônica Uma palestra introdutória. Tatiana G. Rappoport Spintrônica Uma palestra introdutória Tatiana G. Rappoport http://www.if.ufrj.br/~tgrappoport 1 1 Linhas gerais A eletrônica O spin Spintrônica em metais magnéticos Spintrônica em semicondutores Spintrônica

Leia mais

Autenticação por par de. chaves assimétricas. Bruno Follmann

Autenticação por par de. chaves assimétricas. Bruno Follmann Autenticação por par de 1 chaves assimétricas Bruno Follmann 2 Criptografia assimétrica Criada em 1976 por Diffie e Hellman; Também chamada de criptografia de chave pública; Sistema para cifrar e decifrar

Leia mais

Aula 10: Tratabilidade

Aula 10: Tratabilidade Teoria da Computação DAINF-UTFPR Aula 10: Tratabilidade Prof. Ricardo Dutra da Silva Na aula anterior discutimos problemas que podem e que não podem ser computados. Nesta aula vamos considerar apenas problemas

Leia mais

UNIVERSIDADE ESTADUAL DO PARÁ UEPA LISTA DE EXERCÍCIOS DE INTRODUÇÃO A COMPUTAÇÃO. 2. O que diferencia os computadores de 1ª geração dos da 2ª.

UNIVERSIDADE ESTADUAL DO PARÁ UEPA LISTA DE EXERCÍCIOS DE INTRODUÇÃO A COMPUTAÇÃO. 2. O que diferencia os computadores de 1ª geração dos da 2ª. UNIVERSIDADE ESTADUAL DO PARÁ UEPA LISTA DE EXERCÍCIOS DE INTRODUÇÃO A COMPUTAÇÃO 1. Cite alguns problemas que o uso de válvulas provocava nos computadores de 1ª geração. 2. O que diferencia os computadores

Leia mais

Introdução à Informação Quântica

Introdução à Informação Quântica Introdução à Informação Quântica Amir O. Caldeira IFGW-UNICAMP Sumário da palestra Introdução; a evolução histórica das áreas que geraram a Informação Quântica. A Teoria Clássica da Informação. A Mecânica

Leia mais

Projeto e Análise de Algoritmos NP Completude. Prof. Humberto Brandão

Projeto e Análise de Algoritmos NP Completude. Prof. Humberto Brandão Projeto e Análise de Algoritmos NP Completude Prof. Humberto Brandão humberto@bcc.unifal-mg.edu.br Universidade Federal de Alfenas versão da aula: 0.4 Introdução Problemas intratáveis ou difíceis são comuns

Leia mais

1º Período 2º Período 3º Período 4º Período 5º Período 6º Período 7º Período 8º Período 9º Período 10º Período

1º Período 2º Período 3º Período 4º Período 5º Período 6º Período 7º Período 8º Período 9º Período 10º Período Proposta de nova matriz de 2014 1º Período 2º Período 3º Período 4º Período 5º Período 6º Período 7º Período 8º Período 9º Período 10º Período 1 Arquitetura e 2 Cálculo Diferencial Cálculo Diferencial

Leia mais

INSTITUTO FEDERAL CEARÁ - IFCE CAMPUS AVANÇADO DE ARACATI CURSO: BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO PROGRAMA DE UNIDADE DIDÁTICA PUD.

INSTITUTO FEDERAL CEARÁ - IFCE CAMPUS AVANÇADO DE ARACATI CURSO: BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO PROGRAMA DE UNIDADE DIDÁTICA PUD. PROGRAMA DE UNIDADE DIDÁTICA PUD DISCIPLINA: INTRODUÇÃO A COMPUTAÇÃO Código: Carga Horária: 40h Número de Créditos: 2 Código pré-requisito: Semestre: Nível: EMENTA S1 Bacharelado PARTE A: 1) Introdução

Leia mais

Desenvolvendo Algoritmos Quânticos Utilizando uma Linguagem Funcional

Desenvolvendo Algoritmos Quânticos Utilizando uma Linguagem Funcional Desenvolvendo Algoritmos Quânticos Utilizando uma Linguagem Funcional Marcos B. Cardoso, Renata H. S. Reiser, Antônio C. R. Costa 1 Escola de Informática - Universidade Católica de Pelotas (UCPel) Rua

Leia mais

Introdução a Computação

Introdução a Computação O que é um computador? Um computador é uma coleção de componentes que realizam operações lógicas e aritméticas sobre um grande volume de dados. (F. K. Miyazawa) Um computador é composto por: Introdução

Leia mais

Alguns Problemas em Aberto da Física

Alguns Problemas em Aberto da Física p.1/25 Alguns Problemas em Aberto da Física Victor O. Rivelles rivelles@fma.if.usp.br Instituto de Física Universidade de São Paulo p.2/25 Palestra de Lord Kelvin em 1900 Nineteenth century clouds over

Leia mais

quem utiliza esse processo para envio de s, por exemplo, está bem protegido de fraudes.

quem utiliza esse processo para envio de  s, por exemplo, está bem protegido de fraudes. A criptografia é um conceito técnico usado para codificar uma determinada informação, de tal forma que somente o seu destinatário e o emissor da mensagem consigam acessá-la. O objetivo é evitar que terceiros

Leia mais

PALAVRAS E FRASES CÉLEBRES (PORTUGUESE EDITION) BY ALFREDO CAMPOS

PALAVRAS E FRASES CÉLEBRES (PORTUGUESE EDITION) BY ALFREDO CAMPOS PALAVRAS E FRASES CÉLEBRES (PORTUGUESE EDITION) BY ALFREDO CAMPOS DOWNLOAD EBOOK : PALAVRAS E FRASES CÉLEBRES (PORTUGUESE Click link below and free register to download ebook: PALAVRAS E

Leia mais

UMA NOVA DEMONSTRAÇÃO DA COMPLEXIDADE DO ALGORITMO DE GROVER

UMA NOVA DEMONSTRAÇÃO DA COMPLEXIDADE DO ALGORITMO DE GROVER A pesquisa Operacional e os Recursos Renováveis 4 a 7 de novembro de 3, atal-r UMA OVA DEMOSTRAÇÃO DA COMPLEXIDADE DO ALGORITMO DE GROVER Carlile Lavor Universidade do Estado do Rio de Janeiro (IME-UERJ)

Leia mais

CÁLCULO NUMÉRICO. Profa. Dra. Yara de Souza Tadano

CÁLCULO NUMÉRICO. Profa. Dra. Yara de Souza Tadano CÁLCULO NUMÉRICO Profa. Dra. Yara de Souza Tadano yaratadano@utfpr.edu.br Aulas 5 e 6 03/2014 Erros Aritmética no Computador A aritmética executada por uma calculadora ou computador é diferente daquela

Leia mais

Explorando as sutilezas do mundo quântico: De Einstein e Schrödinger à informação quântica

Explorando as sutilezas do mundo quântico: De Einstein e Schrödinger à informação quântica Explorando as sutilezas do mundo quântico: De Einstein e Schrödinger à informação quântica Luiz Davidovich Instituto de Física Universidade Federal do Rio de Janeiro Física quântica no começo do século

Leia mais

Noções de Simulação. Ciências Contábeis - FEA - Noturno. 2 o Semestre MAE0219 (IME-USP) Noções de Simulação 2 o Semestre / 23

Noções de Simulação. Ciências Contábeis - FEA - Noturno. 2 o Semestre MAE0219 (IME-USP) Noções de Simulação 2 o Semestre / 23 Noções de Simulação Ciências Contábeis - FEA - Noturno 2 o Semestre 2013 MAE0219 (IME-USP) Noções de Simulação 2 o Semestre 2013 1 / 23 Objetivos da Aula Sumário 1 Objetivos da Aula 2 Motivação 3 Geração

Leia mais

AÇÃO QUÂNTICA. Manipulando a informação oculta do mundo quântico

AÇÃO QUÂNTICA. Manipulando a informação oculta do mundo quântico A perspectiva de que circuitos eletrônicos que representam os bits alcançarão dimensões atômicas até o ano de 2020 levou os físicos a pensarem em um modelo de computação baseado nas leis da mecânica quântica.

Leia mais

Estudo e Análise de Algoritmos Quânticos

Estudo e Análise de Algoritmos Quânticos Universidade Federal do Rio Grande do Sul Instituto de Física Estudo e Análise de Algoritmos Quânticos Leandro Mengue da Silva Trabalho de Conclusão de Curso realizado sob orientação da Professora Dra.

Leia mais

Introdução. Estrutura de Dados II Prof Jairo Francisco de Souza

Introdução. Estrutura de Dados II Prof Jairo Francisco de Souza Introdução Estrutura de Dados II Prof Jairo Francisco de Souza Conteúdo Programático Parte 1 Manipulação de arquivos Ordenação, arquivos em série e sequências, classificação externa, arquivos de acesso

Leia mais

Projectos de Consultoria em SAP e Tecnologias Microsoft: Análise e desenvolvimento de soluções de software à medida

Projectos de Consultoria em SAP e Tecnologias Microsoft: Análise e desenvolvimento de soluções de software à medida Projecto Mestrado Em Gestão De Sistemas De Informação Médica Projectos de Consultoria em SAP e Tecnologias Microsoft: Análise e desenvolvimento de soluções de software à medida Luís Filipe Leal Sismeiro

Leia mais

Introdução à Computação MAC0110

Introdução à Computação MAC0110 Introdução à Computação MAC0110 Prof. Dr. Paulo Miranda IME-USP Aula 1 Introdução à Computação Eventos históricos: 1) Máquina universal de Turing criada em 1936 por Alan Turing, fundamento teórico para

Leia mais

Fundamentos de Informática Introdução aos Conceitos Básicos

Fundamentos de Informática Introdução aos Conceitos Básicos Fundamentos de Informática Introdução aos Conceitos Básicos Professor: Luiz A. P. Neves neves@ufpr.br e lapneves@gmail.com 1 Roteiro Objetivos Conceitos Básicos Processamento de Dados Modalidade de Computadores

Leia mais

PCS3616. Programação de Sistemas (Sistemas de Programação) Visão Geral

PCS3616. Programação de Sistemas (Sistemas de Programação) Visão Geral PCS3616 Programação de Sistemas (Sistemas de Programação) Visão Geral Escola Politécnica da Universidade de São Paulo Objetivos Familiarização com o funcionamento global de software de sistema computacional

Leia mais

Teoria quântica da informação: da criptografia quântica ao teletransporte. Gustavo Garcia Rigolin

Teoria quântica da informação: da criptografia quântica ao teletransporte. Gustavo Garcia Rigolin Teoria quântica da informação: da criptografia quântica ao teletransporte Gustavo Garcia Rigolin Resumo da apresentação Teoria quântica da informação: visão geral; Bits versus qubits; Criptografia Quântica;

Leia mais

Ordenação Externa. Ordenação Externa. Ordenação Externa. Ordenação Externa

Ordenação Externa. Ordenação Externa. Ordenação Externa. Ordenação Externa Ordenação Externa Ordenação Externa Estrutura de Dados II Prof. Guilherme Tavares de Assis Universidade Federal de Ouro Preto UFOP Instituto de Ciências Exatas e Biológicas ICEB Departamento de Computação

Leia mais

Sobre os Estados Emaranhados

Sobre os Estados Emaranhados Sobre os Estados Emaranhados Eric M. A. Pinto Sergio S. Floquet M. Graças R. Martins J. David M. Vianna 4 de fevereiro de 5 Resumo O emaranhamento quântico está na base de muitos estudos em computação

Leia mais

AULA 10 CRIPTOGRAFIA E SEGURANÇA DE DADOS CERTIFICADOS DIGITAIS ESTRUTURA DE UMA ICP 26/03/2016 PROF. FABIANO TAGUCHI

AULA 10 CRIPTOGRAFIA E SEGURANÇA DE DADOS CERTIFICADOS DIGITAIS ESTRUTURA DE UMA ICP 26/03/2016 PROF. FABIANO TAGUCHI 26/03/2016 PROF. FABIANO TAGUCHI http://fabianotaguchi.wordpress.com CRIPTOGRAFIA E SEGURANÇA DE DADOS AULA 10 CERTIFICADOS DIGITAIS ESTRUTURA DE UMA ICP 1 CONCEITUAÇÃO 2 PRIMEIRA SITUAÇÃO Alice tem a

Leia mais

Complexidade de algoritmos Notação Big-O

Complexidade de algoritmos Notação Big-O Complexidade de algoritmos Notação Big-O Prof. Byron Leite Prof. Tiago Massoni Engenharia da Computação Poli - UPE Motivação O projeto de algoritmos é influenciado pelo estudo de seus comportamentos Problema

Leia mais

PRINCÍPIOS DE CRIPTOGRAFIA QUÂNTICA. Daniel Nobuo Uno (IC) danieluno@yahoo.com.br. Antonio Cândido Faleiros (PQ) faleiros@ief.ita.

PRINCÍPIOS DE CRIPTOGRAFIA QUÂNTICA. Daniel Nobuo Uno (IC) danieluno@yahoo.com.br. Antonio Cândido Faleiros (PQ) faleiros@ief.ita. PRINCÍPIOS DE CRIPTOGRAFIA QUÂNTICA Daniel Nobuo Uno (IC) danieluno@yahoo.com.br Antonio Cândido Faleiros (PQ) faleiros@ief.ita.br Instituto Tecnológico de Aeronáutica Divisão de Ensino Fundamental Praça

Leia mais

Implementação para Multiplicação por Escalar em Curvas Elípticas sobre Z p

Implementação para Multiplicação por Escalar em Curvas Elípticas sobre Z p Implementação para Multiplicação por Escalar em Curvas Elípticas sobre Z p Pedro Carlos da Silva Lara Fábio Borges de Oliveira {pcslara, borges}@lncc.br LABORATÓRIO NACIONAL DE COMPUTAÇÃO CIENTÍFICA LNCC

Leia mais

CURSO: ENGENHARIA DE CONTROLE E AUTOMAÇÃO EMENTAS º PERÍODO

CURSO: ENGENHARIA DE CONTROLE E AUTOMAÇÃO EMENTAS º PERÍODO CURSO: ENGENHARIA DE CONTROLE E AUTOMAÇÃO EMENTAS - 2016.2 2º PERÍODO DISCIPLINA: CÁLCULO I DISCIPLINA: FÍSICA I Estudo do centro de Massa e Momento Linear. Estudo da Rotação. Estudo de Rolamento, Torque

Leia mais

Introdução ao Processamento de Imagens Digitais Aula 01

Introdução ao Processamento de Imagens Digitais Aula 01 Introdução ao Processamento de Imagens Digitais Aula 01 Douglas Farias Cordeiro Universidade Federal de Goiás 06 de julho de 2015 Mini-currículo Professor do curso Gestão da Informação Formação: Graduação

Leia mais

4º 20/10/2003. ÍNDICE

4º 20/10/2003. ÍNDICE Universidade Federal de Juiz de Fora UFJF. Departamento de Ciência da Computação DCC. Curso de Ciência da Computação. Análise e Projeto de Algoritmos 4º período. Filippe Jabour. Atualizado em 20/10/2003.

Leia mais

Computação Quântica Parte 1

Computação Quântica Parte 1 Computação Quântica Parte 1 Mário Porto INTRODUÇÃO Computadores digitais são atualmente muito populares e sofreram um desenvolvimento vertiginoso desde o aparecimento dos computadores pessoais no início

Leia mais

Introdução a Algoritmos Genéticos

Introdução a Algoritmos Genéticos Introdução a Algoritmos Genéticos Tiago da Conceição Mota Laboratório de Inteligência Computacional Núcleo de Computação Eletrônica Universidade Federal do Rio de Janeiro Outubro de 2007 O Que São? Busca

Leia mais

Algoritmo Genético. Inteligência Artificial. Professor: Rosalvo Ferreira de Oliveira Neto

Algoritmo Genético. Inteligência Artificial. Professor: Rosalvo Ferreira de Oliveira Neto Algoritmo Genético Inteligência Artificial Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Introdução 2. Conceitos Básicos 3. Aplicações 4. Algoritmo 5. Exemplo Introdução São técnicas de busca

Leia mais

Árvores. Thiago Martins, Fabio Gagliardi Cozman. PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo

Árvores. Thiago Martins, Fabio Gagliardi Cozman. PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo Árvore: estrutura composta por nós e arestas entre nós. As arestas são direcionadas ( setas ) e: um nó (e apenas um) é a raiz; todo nó

Leia mais

TEORIA DE COMPLEXIDADE

TEORIA DE COMPLEXIDADE TEORIA DE COMPLEXIDADE Fundamentos: classes P e N P Mauricio Ayala-Rincón Grupo de Teoria da Computaç~ao http://ayala.mat.unb.br/tcgroup Instituto de Ciências Exatas Universidade de Brasília, Brasília

Leia mais

Introdução à Engenharia de Informação

Introdução à Engenharia de Informação Introdução à Engenharia de Informação Prof a. Marta Mattoso marta@cos.ufrj.br http://www.cos.ufrj.br/~marta COPPE- Sistemas / UFRJ Apresentação do Curso e Conceitos Básicos Roteiro Introdução Conceitos

Leia mais

Vença o relógio Redes de Ordenação

Vença o relógio Redes de Ordenação Atividade 8 Vença o relógio Redes de Ordenação Sumário Mesmo os computadores sendo rápidos, há um limite na sua velocidade de resolução de problemas. Uma forma de acelerar as coisas é usar vários computadores

Leia mais

ESCREVER MELHOR: GUIA PARA PASSAR OS TEXTOS A LIMPO (PORTUGUESE EDITION) BY ARLETE SALVADOR, DAD SQUARISI

ESCREVER MELHOR: GUIA PARA PASSAR OS TEXTOS A LIMPO (PORTUGUESE EDITION) BY ARLETE SALVADOR, DAD SQUARISI Read Online and Download Ebook ESCREVER MELHOR: GUIA PARA PASSAR OS TEXTOS A LIMPO (PORTUGUESE EDITION) BY ARLETE SALVADOR, DAD SQUARISI DOWNLOAD EBOOK : ESCREVER MELHOR: GUIA PARA PASSAR OS TEXTOS A DAD

Leia mais

Catálogo de Requisitos de Titulação. Habilitação: Segurança do Trabalho

Catálogo de Requisitos de Titulação. Habilitação: Segurança do Trabalho Habilitação: Segurança do Trabalho Aviso: Este catálogo pode ter sofrido alterações. A versão oficial encontra-se para consulta na Unidade Escolar. Gerado em 24/06/2016 Pág. 2/6 Segurança do Trabalho Análise

Leia mais

Arquitetura e Organização dos Computadores

Arquitetura e Organização dos Computadores Faculdade Ieducare 2 º Semestre Sistemas de Informação Professor: Rhyan Ximenes 1 Objetivos de hoje Ementa; Avaliação; Iniciação Científica Revisão de Conceitos; Introdução; 2 Iniciação Científica O que

Leia mais

As Gerações dos Computadores. Professor Leonardo Cabral da R. Soares

As Gerações dos Computadores. Professor Leonardo Cabral da R. Soares As Gerações dos Computadores Professor Leonardo Cabral da R. Soares Primeira Geração (1946 1954) A primeira geração de computadores utilizava válvulas eletrônicas e possuía dimensões gigantescas. Um dos

Leia mais

TEORIAS ATÔMICAS. Menor partícula possível de um elemento (Grécia antiga) John Dalton (1807)

TEORIAS ATÔMICAS. Menor partícula possível de um elemento (Grécia antiga) John Dalton (1807) TEORIAS ATÔMICAS Átomo Menor partícula possível de um elemento (Grécia antiga) John Dalton (1807) 1. Os elementos são constituídos por partículas extremamente pequenas chamadas átomos; 2. Todos os átomos

Leia mais

LIC. Organização e Estrutura Básica Computacional. Prof. Marcelo Costa Oliveira 2006, Marcelo Costa oliveira

LIC. Organização e Estrutura Básica Computacional. Prof. Marcelo Costa Oliveira 2006, Marcelo Costa oliveira LIC Organização e Estrutura Básica Computacional Prof. Marcelo Costa Oliveira licufal@gmail.com História 1946 Inventado o 1º computador eletrônico de grande porte ENIAC Universidade da Pensilvania: 18.000

Leia mais

PODER DO ESPIRITO SANTO, O BY BILLY GRAHAM DOWNLOAD EBOOK : PODER DO ESPIRITO SANTO, O BY BILLY GRAHAM PDF

PODER DO ESPIRITO SANTO, O BY BILLY GRAHAM DOWNLOAD EBOOK : PODER DO ESPIRITO SANTO, O BY BILLY GRAHAM PDF Read Online and Download Ebook PODER DO ESPIRITO SANTO, O BY BILLY GRAHAM DOWNLOAD EBOOK : PODER DO ESPIRITO SANTO, O BY BILLY GRAHAM PDF Click link bellow and free register to download ebook: PODER DO

Leia mais

Algoritmos 3/17/ Algoritmos como área de estudo e investigação

Algoritmos 3/17/ Algoritmos como área de estudo e investigação Algoritmos e Complexidade Ana Teresa Freitas INESC-ID/IST ID/IST 3/17/2005 1 O que é um algoritmo? Algoritmos: Sequência de instruções necessárias para a resolução de um problema bem formulado [passíveis

Leia mais

Arquitetura e Organização de Computadores

Arquitetura e Organização de Computadores UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO DEPARTAMENTO DE CIÊNCIAS EXATAS E NATURAIS CURSO DE CIÊNCIA DA COMPUTAÇÃO Arquitetura e Organização de Computadores Aritmética Computacional Prof. Sílvio Fernandes

Leia mais

CONCEITOS BÁSICOS DE INFORMÁTICA. Disciplina: Informática Professor: Gustavo Sabry

CONCEITOS BÁSICOS DE INFORMÁTICA. Disciplina: Informática Professor: Gustavo Sabry CONCEITOS BÁSICOS DE INFORMÁTICA Disciplina: Informática Professor: Gustavo Sabry FEVEREIRO/2016 O QUE É INFORMÁTICA? INFORMAÇÃO AUTOMÁTICA 2 Ábaco 3 Ábaco Criado em 5500 a.c.; Seu nome original era Calculus

Leia mais

Engloba os criptossistemas clássicos. Outros nomes: (Criptografia...)

Engloba os criptossistemas clássicos. Outros nomes: (Criptografia...) Principal característica: utilização da mesma chave para cifrar/decifrar. Engloba os criptossistemas clássicos. Outros nomes: (Criptografia...) convencional de chave única de chave secreta Os procedimentos

Leia mais

Curso destinado à preparação para Concursos Públicos e Aprimoramento Profissional via INTERNET INFORMÁTICA AULA 01

Curso destinado à preparação para Concursos Públicos e Aprimoramento Profissional via INTERNET  INFORMÁTICA AULA 01 INFORMÁTICA AULA 01 INTRODUÇÃO Em um mundo globalizado como o de hoje as respostas têm que ser apresentadas o mais rápido possível. Sistemas de informação são desenvolvidos e aperfeiçoados para que o conhecimento

Leia mais

Organização Básica de Computadores. Organização Básica de Computadores. Organização Básica de Computadores. Organização Básica de Computadores

Organização Básica de Computadores. Organização Básica de Computadores. Organização Básica de Computadores. Organização Básica de Computadores Ciência da Computação Arq. e Org. de Computadores Processadores Prof. Sergio Ribeiro Composição básica de um computador eletrônico digital: Processador Memória Memória Principal Memória Secundária Dispositivos

Leia mais