Metaheurísticas de Otimização Bio-Inspiradas
|
|
- João Pedro Santarém Padilha
- 6 Há anos
- Visualizações:
Transcrição
1 Metaheurísticas de Otimização Bio-Inspiradas Aula 3 Simulação Computacional* Prof. Dr. Hugo Valadares Siqueira * Aula baseada nas notas de aula do Prof. Fernando Von Zuben, da UNICAMP
2 O poder da simulação computacional O mundo em que vivemos é natural.
3 Ciências Naturais Uma ciência natural é um agregado de conhecimentos sobre uma classe de objetos ou fenômenos do mundo natural, sobre as características e propriedades que eles têm e sobre como eles se comportam e interagem. As ciências naturais sofreram um expressivo desenvolvimento ao longo dos últimos 3 séculos, particularmente a física e a biologia; Tarefa central das ciências naturais: mostrar que a complexidade, quando vista de uma forma adequada, é apenas um mascaramento de processos simples; Uma vez explicada, acabam surgindo outros aspectos naturais, associados a complexidade que emerge a partir da simplicidade.
4 O mundo em que vivemos é natural, mas também é artificial.
5 A ciência do artificial Definição mais geral de uma entidade artificial: é tudo aquilo que é feito pelo ser humano, ou seja, um artefato; Podem imitar aspectos de aparência de coisas naturais, embora careçam, em um ou mais aspectos, da realidade das coisas naturais; Podem ser caracterizadas em termos de função, objetivos e adaptação; No mundo natural como no mundo artificial, é comum encontrar ambientes internos bem diferentes executando tarefas idênticas (ou similares), os quais podem ser denotados de sistemas funcionalmente equivalentes, em ambientes externos idênticos (ou similares).; Exemplos: pássaros e aviões; sistema dinâmico e computador analógico.
6 E os mundos natural e artificial se encontram.
7 O mundo em que vivemos hoje é muito mais um mundo feito pelo ser humano, o mundo artificial, do que um mundo natural; Uma parte significativa do ambiente à nossa volta é constituída de símbolos, ou objetos abstratos; Embora tudo esteja sujeito às leis da natureza, cabe distinguir aquilo que é biológico daquilo que é natural: uma floresta pode ser um fenômeno natural, mas uma fazenda certamente não o é; Um terreno arado não é menos nem mais artificial do que uma rua asfaltada; Embora os artefatos obedeçam às leis da natureza, eles correspondem a produtos voltados ao atendimento dos objetivos e propósitos humanos; A ciência como um todo precisa, então, atuar tanto no mundo natural quanto no mundo artificial; Dentre as áreas do conhecimento diretamente afetadas por esta necessidade de congregar o mundo natural e o mundo artificial está a engenharia.
8 O mundo em que vivemos é natural, mas também é artificial.
9 A ciência e as artes se encontram - A elaboração de uma pintura ou escultura pode requerer conhecimentos técnicos e estudos avançados;
10 As artes e a ciência se encontram
11 Qual é o artefato (criação humana, portanto pertencente ao mundo artificial) que mais influenciou os destinos da humanidade?
12 Computador
13 Computador Digital O computador digital é a mais determinística das máquinas concebidas pela mente humana; O aumento continuado e exponencial do poder de processamento e memória do computador digital é uma grande façanha tecnológica.
14 Lei de Moore A cada 18 ou 24 meses é lançada uma nova tecnologia que permite que os computadores dupliquem o desempenho
15 Lei de Moore
16 Computação Digital Um computador digital pode ser definido como a organização de componentes funcionais elementares em que apenas a funcionalidade executada por cada componente é relevante para o comportamento do sistema como um todo; Esta característica abstrata (completa caracterização pela descrição funcional) permite que a teoria de computação seja estudada empregando matemática; O computador digital é a mais determinística das máquinas concebidas pela mente humana, sendo um sistema confiável construído a partir de partes não necessariamente confiáveis; Bits, redundância, insensibilidade a alterações físicas dos componentes são características marcantes;
17 Computação Digital Os computadores digitais se comportam de modo diferente do cérebro humano devido à sua organização e não apenas pelo fato de representarem informação na forma binária; Computadores digitais: Executam automaticamente, a cada passo do processo de computação, correções da trajetória de seu estado físico por meio da representação binária do estado interno de seus componentes; Computadores analógicos: Não são capazes de realizar correção de trajetória, sendo que a relevância dos resultados produzidos depende da acurácia dos componentes e da extensão dos cálculos.
18 Algoritmos Como implementar o processamento computacional? Um computador digital só pode realizar tarefas previamente definidas; Procedimento: conjunto finito de operações ordenadas, sendo estas operações também finitas; Propriedades importantes de um procedimento (ou uma sequência de procedimentos): a descrição do procedimento deve ser finita; A tarefa genérica de qualquer procedimento é processar dados: dados de saída são produzidos a partir do processamento dos dados de entrada; Um procedimento pode ser subdividido em operações denominadas instruções, passíveis de execução em tempo finito.
19 Resolução de um problema usando computador Definir um algoritmo que resolva o problema (computabilidade); Verificar a factibilidade da execução do algoritmo (complexidade); Expressar o algoritmo em uma linguagem processável pelo computador; Executar o programa no computador.
20 Computabilidade Um problema é computável se existe um procedimento que o resolva em um número finito de passos, ou seja, se é possível fornecer um algoritmo que leve à sua solução; Para mostrar que a solução de um dado problema não é computável, é necessário mostrar que não existe nenhum algoritmo capaz de obtê-la; Um dos mais surpreendentes resultados da teoria de algoritmos é que existem problemas claramente definidos que não podem ser resolvidos em computador, ou seja, não existe nenhum algoritmo de solução.
21 Problemas Computáveis e Factíveis
22 Não basta assegurar que um algoritmo termine em um número finito de passos. É necessário que este número finito de passos possa ser executado em um tempo razoável e empregando uma quantidade razoável de memória, dentro de critérios pré-estabelecidos de factibilidade computacional
23 Por mais que a tecnologia avance, estamos perdendo a capacidade de resolver problemas de interesse prático. A natureza desses problemas pode até não variar muito, mas o tamanho deles cresce muito rápido. Ontem Hoje
24 Simulação Computacional O computador digital é uma máquina de propósito geral. Portanto, é um simulador universal; Seu caráter abstrato e a generalidade de sua manipulação simbólica conferem aos computadores digitais uma ampla capacidade de imitar comportamentos, ao que denotamos de simulação computacional; A simulação computacional é uma estratégia extremamente eficiente para se conhecer, entender e prever o comportamento de sistemas naturais e artificiais existentes fisicamente e até de sistemas que existem apenas no mundo abstrato das ideias.
25 Simulação Computacional Questões epistemológicas: Uma simulação computacional pode ser empregada como uma fonte de novos conhecimentos? Uma simulação computacional pode nos dizer alguma coisa que ainda não é conhecida?
26 Simulação Computacional Sim. Definitivamente sim. O que sustenta isso é, predominantemente, o fato de que, mesmo tendo completo domínio sobre premissas, pode ser muito difícil descobrir o que elas implicam. Herbert Simon ( )
27 O fato é que já se conhecem as equações (hipóteses básicas) que governam as condições atmosféricas locais, sendo que o computador deve reproduzir as implicações das interações de um grande número de variáveis, a partir de condições iniciais bem definidas; Essa habilidade pode ser prontamente estendida a muitos outros projetos de engenharia de sistemas, em que já se conhecem as leis fundamentais que governam o comportamento de componentes do sistema, sendo o desafio do projeto a predição do comportamento do agregado de componentes, ou seja, do sistema como um todo; Em relação a este argumento, pode-se afirmar que sistemas artificiais e sistemas adaptativos possuem propriedades que os tornam particularmente suscetíveis à simulação a partir de modelos simplificados; Semelhança de comportamento entre sistemas, mesmo que eles não sejam idênticos em seu ambiente interno, é particularmente possível se os aspectos nos quais estamos interessados afloram da organização das partes, mesmo que sustentado apenas por poucas dentre todas as propriedades dos componentes individuais.
28 O Dueto da Ciência Teorias (proposições, postulados, leis) Experimentos (recurso a aparelhos) O conhecimento científico se distingue de outras formas de saber pela sua exposição deliberada e sistemática à análise racional e ao controle experimental.
29 O Tripé da Ciência Teorias (proposições, postulados, leis) Experimentos (recurso a aparelhos) Simulações computacionais (testes exaustivos) Teorema do mapa de quatro cores (1976)
30 Teorema do mapa de quatro cores Dado um mapa plano, dividido arbitrariamente em regiões, quatro cores são suficientes para preenchê-lo de forma que regiões vizinhas não compartilhem a mesma cor, sendo que as regiões que só se tocam num ponto não são consideradas vizinhas. Trata-se de um teorema de formulação e conceituação simples, mas de demonstração bastante desafiadora.
31 Teorema do mapa de quatro cores
32 Teorema do mapa de quatro cores O teorema foi demonstrado pela primeira vez em 1976, por Kenneth Appel e Wolfgang Haken, utilizando um computador IBM 360, após realizar bilhões de cálculos; Em 1994, foi produzida uma prova simplificada por Paul Seymour, Neil Robertson, Daniel Sanders e Robin Thomas; Até hoje, não se conseguiu uma demonstração do teorema que não recorra a um computador.
33 Teorema do mapa de quatro cores Possíveis soluções:
34
35 O Quadripé da Ciência Teorias (proposições, postulados, leis): analítica Experimentos (recurso a aparelhos): empírica Simulações (testes exaustivos): computacional E-science: centrada em dados e em redes (compartilhada)
36 Com o avanço da tecnologia, a quantidade de dados processada se eleva exponencialmente a cada ano.
37 Era da Informação À medida que a complexidade de um sistema aumenta, nossa habilidade de fazer afirmações precisas e que sejam significativas acerca deste sistema diminui até que um limiar é atingido, além do qual precisão e significância (ou relevância) tornam-se quase que características mutuamente exclusivas. Zadeh (1973)
38 Máquina de inventar Existem softwares que, em minutos e até segundos, reinventam automaticamente invenções patenteadas, as quais levaram séculos para serem concebidas pela mente humana. Estes softwares já levaram a patentes associadas a artefatos nunca antes concebidos pela mente humana, na área de controle de processos, por exemplo.
39 Karl Sims Computação nas artes
40 Comentários finais Hipótese: Os computadores jamais poderão ser considerados criativos e jamais poderão competir com grandes cientistas e grandes artistas. Conclusão: Jamais é tempo demais.
Máquinas de Turing para construção: Foram encontrados dois modelos que se destacaram em nossas pesquisas.
Máquina de Turing É um dispositivo imaginário que formou a estrutura para fundamentar a ciência da computação moderna. Seu inventor, o matemático Alan Mathison Turing, mostrou que a computação das operações
Leia maisTeoria da Computação. Computabilidade
Cristiano Lehrer Introdução O objetivo do estudo da solucionabilidade de problemas é investigar a existência ou não de algoritmos que solucionem determinada classe de problemas. Ou seja, investigar os
Leia maisUNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 01 Apresentação da Disciplina Prof.ª Danielle Casillo PLANO DE ENSINO Nome: Teoria da Computação Créditos:
Leia maisJuliana 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 maisANÁLISE DE COMPLEXIDADE DOS ALGORITMOS
1/18 ANÁLISE DE COMPLEXIDADE DOS ALGORITMOS Algoritmos 2/18 Algoritmos Algoritmo - sequência de instruções necessárias para a resolução de um problema bem formulado (passíveis de implementação em computador)
Leia maisUNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Curso de Eng. Química Disciplina: FACOM39017 (Alg. Prog. de Computadores) Fundamentos
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Curso de Eng. Química Disciplina: FACOM39017 (Alg. Prog. de Computadores) Fundamentos Diariamente, executamos diversas operações, isto é, processamos
Leia maisFundamentos. É um conjunto de operações que são aplicadas sobre determinadas informações para transformá-las em outras, ou gerar novas informações.
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação - Prof. Anilton e Ronaldo Disciplinas: APC e ICC Fundamentos Diariamente, executamos diversas operações, isto é, processamos informações para
Leia maisProfa. Sheila Morais de Almeida. março
Classificação das Ciências Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2019 Sheila Almeida (DAINF-UTFPR-PG) Classificação das Ciências março - 2019 1 / 23 Este material é preparado usando como
Leia maisTeoria da computabilidade Indecidíveis Decidíveis
Bacharelado em Ciência da Computação Disciplina: Algoritmos e Estruturas de Dados I Professor: Mário Luiz Rodrigues Oliveira Teoria da computabilidade Indecidíveis Decidíveis Teoria da complexidade Intratáveis:
Leia maisMáquinas Universais. Máquina de Turing. Celso Olivete Júnior.
Máquinas Universais Máquina de Celso Olivete Júnior olivete@fct.unesp.br http://www2.fct.unesp.br/docentes/dmec/olivete/ Roteiro Hipótese de Church - Máquinas Universais: Máquina de Máquina de : Noção
Leia maisAULA. Processamento de Dados
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Curso de Bacharelado em Ciência da Computação Disciplina: INF64 (Introdução à Ciência da Computação) Prof: Anilton Joaquim da Silva / Ezequiel
Leia maisAlgoritmos - 1. Alexandre Diehl. Departamento de Física - UFPel
Algoritmos - 1 Alexandre Diehl Departamento de Física - UFPel Conceitos básicos Computador: conceito clássico (até quando????) HARDWARE (partes físicas) SOFTWARE (programas) PCF2017 2 Conceitos básicos
Leia maisFundamentos de Programação
Fundamentos de Programação CP41F Aula 2 Prof. Daniel Cavalcanti Jeronymo Conceito de algoritmo. Raciocínio lógico na construção de algoritmos. Estrutura de algoritmos. Universidade Tecnológica Federal
Leia maisGFM015 Introdução à Computação. Plano de Curso e Introdução. Ilmério Reis da Silva UFU/FACOM
GFM015 Introdução à Computação Plano de Curso e Introdução Ilmério Reis da Silva ilmerio@facom.ufu.br www.facom.ufu.br/~ilmerio/ic UFU/FACOM Plano de Curso Ementa Noções básicas sobre os componentes de
Leia maisIntrodução à Computação para Engenharia MAC2166 Prof. Dr. Paulo Miranda IME-USP. Aula 1 Introdução à Computação
Introdução à Computação para Engenharia MAC2166 Prof. Dr. Paulo Miranda IME-USP Aula 1 Introdução à Computação Eventos históricos: 1) Primeiro computador a válvulas, o Eletronic Numeric Integrator And
Leia maisPCS3616. 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 maisIntrodução. Matemática Discreta. Prof Marcelo Maraschin de Souza
Introdução Matemática Discreta Prof Marcelo Maraschin de Souza Disciplina Aulas: Segunda-feira e terça-feira: 8:00 até 9:50 Avaliações: listas de exercícios e três provas; Livros disponíveis na biblioteca
Leia maisNoção de Computabilidade
Noção de Computabilidade 1 Procedimento X Algoritmo Procedimento: sequência finita de instruções, que são operações claramente descritas, e que podem ser executadas mecanicamente, em tempo finito. claramente
Leia maisINTELIGÊNCIA ARTIFICIAL
Figura: Capa do Livro Russell, S., Norvig, P. Artificial Intelligence A Modern Approach, Pearson, 2009. Universidade Federal de Campina Grande Unidade Acadêmica de Sistemas e Computação Curso de Pós-Graduação
Leia maisCapítulo 2: Procedimentos e algoritmos
Capítulo 2: Procedimentos e algoritmos Para estudar o processo de computação de um ponto de vista teórico, com a finalidade de caracterizar o que é ou não é computável, é necessário introduzir um modelo
Leia maisMetaheurísticas de Otimização Bio-Inspiradas
Metaheurísticas de Otimização Bio-Inspiradas Aula 2 Computação Inspirada na Natureza* Prof. Dr. Hugo Valadares Siqueira * Aula baseada nas notas de aula do Prof. Fernando Von Zuben, da UNICAMP Ciências
Leia maisAlgoritmos 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 maisTeoria da Computação. Computabilidade e complexidade computacional
Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade
Leia maisAULA 01: APRESENTAÇÃO
ORGANIZAÇÃO E ARQUITETURA DE COMPUTADORES I AULA 01: APRESENTAÇÃO Prof. Max Santana Rolemberg Farias max.santana@univasf.edu.br Colegiado de Engenharia de Computação QUAIS OS OBJETIVOS DESSA DISCIPLINA?
Leia mais4º 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 maisApresentação. Informação geral + Conceitos iniciais
Apresentação Informação geral + Informação geral Página da cadeira Objectivos principais Compreender a importância dos algoritmos e dos programas de computador para a resolução de problemas em engenharia.
Leia maisCRÉDITOS DO CURSO. Carga Horária Créditos IN1030 Seminários 30 2
UNIVERSIDADE FEDERAL DE PERNAMBUCO PRÓ-REITORIA PARA ASSUNTOS DE PESQUISA E PÓS-GRADUAÇÃO ESTRUTURA CURRICULAR STRICTO SENSU (baseada na Res. 10/2008 do CCEPE) NOME DO CURSO: Pós-Graduação em Ciência da
Leia maisAEDI Introdução Revisão 2
exatasfepi.com.br AEDI Introdução Revisão 2 André Luís Duarte...mas os que esperam no Senhor renovarão as suas forças; subirão com asas como águias; correrão, e não se cansarão; andarão, e não se fatigarão.is
Leia maisConceitos e Princípios Gerais
Conceitos e Princípios Gerais Conceitos e Princípios Gerais Fases na resolução de problemas físicos Resolução do Modelo Matemático Conceitos Básicos de Cálculo Numérico Erros em Processos Numéricos Fases
Leia maisGBC015: INTRODUÇÃO À CIÊNCIA DA COMPUTAÇÃO Teoria de Algoritmos: Computabilidade e Máquina de Turing
GBC015: INTRODUÇÃO À CIÊNCIA DA COMPUTAÇÃO Teoria de Algoritmos: Computabilidade e Máquina de Turing Ilmério Reis da Silva ilmerio@ufu.br www.facom.ufu.br/~ilmerio/icc UFU/FACOM/BCC Funções Def. Função
Leia maisMC-102 Aula 01. Instituto de Computação Unicamp
MC-102 Aula 01 Introdução à Programação de Computadores Instituto de Computação Unicamp 2016 Roteiro 1 Por que aprender a programar? 2 Hardware e Software 3 Organização de um ambiente computacional 4 Algoritmos
Leia maisIntrodução à Programação Aula 02. Prof. Max Santana Rolemberg Farias Colegiado de Engenharia de Computação
Introdução à Programação Aula 02 Prof. Max Santana Rolemberg Farias max.santana@univasf.edu.br Colegiado de Engenharia de Computação QUAIS SÃO OS COMPONENTES BÁSICOS DO HW DE UM SISTEMA COMPUTACIONAL?
Leia maisAlgoritmos I Aula 1 Introdução aos Algoritmos
Algoritmos I Aula 1 Introdução aos Algoritmos Professor: Max Pereira max.pereira@unisul.br Ciência da Computação Ementa Algoritmos e Programas. Constantes, variáveis, tipos de dados e expressões. Construções
Leia maisDECivil Departamento de Engenharia Civil, Arquitectura e Georrecursos. Apresentação. Computação e Programação (CP) 2013/2014.
DECivil Departamento de Engenharia Civil, Arquitectura e Georrecursos Apresentação Computação e Programação (CP) 2013/2014 Aula 1 Objetivos Ficar a saber: funcionamento da unidade curricular (UC) Computação
Leia maisUniversidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação. Inteligência Artificial. Lógica Fuzzy Aula II
Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação Inteligência Artificial Lógica Fuzzy Aula II Introdução a Lógica Fuzzy Retomada Função de pertinência Variáveis linguísticas
Leia maisAlgoritmos e Estruturas de Dados I Prof. Tiago Eugenio de Melo
Algoritmos e Estruturas de Dados I Prof. Tiago Eugenio de Melo tmelo@uea.edu.br www.tiagodemelo.info Observações O conteúdo dessa aula é parcialmente proveniente do Capítulo 11 do livro Fundamentals of
Leia maisIntroduçã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) Primeiro computador a válvulas, o Eletronic Numeric Integrator And Calculator (ENIAC).
Leia maisUNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA
UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Máquina de Turing Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa yandre@din.uem.br Teoria da Computação Ciência da Computação
Leia maisProcedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens
Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens 1 Introdução Estudar computação do ponto de vista teórico é sinônimo de caracterizar
Leia maisLinguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma A01 Engenharia da Computação e Ciência da Computação Horário: Segunda, Terça e Quinta.
Leia maisGrade Curricular do Curso de Graduação em Engenharia de Computação
Grade Curricular do Curso de Graduação em Engenharia de Computação Currículo 6 Aprovado pelo CDI em 30/05/16 - Carga Horária - Carga Horária Núcleo Básico 1.280h Carga Horária Núcleo Profissionalizante
Leia maisLinguagens de Programação I. Introdução a Algoritmos e Lógica de Programação
Linguagens de Programação I Introdução a Algoritmos e Lógica de Programação 1 INTRODUÇÃO Que é um programa de computador? Um programa de computador é o produto resultante da atividade intelectual de um
Leia maisNeste curso, vamos estudar algumas maneiras em que a matemática é usada para modelar processos dinâmicos em biologia.
Introdução à Modelagem Matemática em Biologia Os sistemas biológicos são caracterizados por mudança e adaptação. Mesmo quando eles parecem ser constantes e estáveis, isso é o pelo resultado de um balanceamento
Leia maisA quantidade de informação existente no mundo é grande e cresce a uma taxa exponencial a cada ano. Aplicações como engenhos de busca web, por
1 Introdução A quantidade de informação existente no mundo é grande e cresce a uma taxa exponencial a cada ano. Aplicações como engenhos de busca web, por exemplo, tem que lidar com uma quantidade de dados
Leia maisNOTAS DE AULA 1 METAHEURÍSTICA 13/10/2016
NOTAS DE AULA 1 METAHEURÍSTICA 13/10/2016 Metaheurística: São técnicas de soluções que gerenciam uma interação entre técnicas de busca local e as estratégias de nível superior para criar um processo de
Leia mais2. Redes Neurais Artificiais
Computação Bioinspirada - 5955010-1 2. Redes Neurais Artificiais Prof. Renato Tinós Depto. de Computação e Matemática (FFCLRP/USP) 1 2.1. Introdução às Redes Neurais Artificiais (RNAs) 2.1.1. Motivação
Leia maisALGORITMO GENÉTICO COMO REPRESENTAÇÃO DAS MUTAÇÕES NA BIOLOGIA
Patrocínio, MG, outubro de 2016 ENCONTRO DE PESQUISA & EXTENSÃO, 3., 2016, Patrocínio. Anais... Patrocínio: IFTM, 2016. ALGORITMO GENÉTICO COMO REPRESENTAÇÃO DAS MUTAÇÕES NA BIOLOGIA Igor Acassio Melo
Leia maisMatemática Computacional. Edgard Jamhour
Matemática Computacional Edgard Jamhour Definição A matemática computacional é uma área da matemática e da computação que trata do desenvolvimento de modelos matemáticos, para o tratamento de problemas
Leia maisProjeto 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 maisCENTRO FEDERAL DE EDUCAçÃO TECNOLÓGICA CELSO SUCKOW DA FONSECA - CEFET/RJ CAMPUS PETRÓPOLIS CURSO DO BACHARELADO EM ENGENHARIA DE COMPUTAÇÃO
CENTRO FEDERAL DE EDUCAçÃO TECNOLÓGICA CELSO SUCKOW DA FONSECA - CEFET/RJ CAMPUS PETRÓPOLIS CURSO DO BACHARELADO EM ENGENHARIA DE COMPUTAÇÃO PROPOSTA DO TRABALHO DE CONCLUSÃO DE CURSO Alan Mathison Turing
Leia maisPCC104 - Projeto e Análise de Algoritmos
PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 5 de dezembro de 2017 Marco Antonio
Leia maisInformática I. Aula Aula 13-08/10/2007 1
Informática I Aula 13 http://www.ic.uff.br/~bianca/informatica1/ Aula 13-08/10/2007 1 Ementa Noções Básicas de Computação (Hardware, Software e Internet) HTML e Páginas Web Internet e a Web Javascript
Leia maisMecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas
Arquitetura de Computadores, Arquitetura de Computadores Organização de Computadores, Conjunto de Instruções, Sistemas Operacionais, Sistemas Operacionais, Sistemas Mecanismos de Interrupção e de Exceção,
Leia maisInteligência Artificial. Aula 1 Prof. Nayat Sánchez Pi
Inteligência Artificial Aula 1 Prof. Nayat Sánchez Pi Curso: Inteligência Artificial Página web: http://nayatsanchezpi.com Material: Livro texto: Inteligência Artiicial, Russell & Norvig, Editora Campus.
Leia maisPRINCÍPIOS DE NEUROCOMPUTAÇÃO
PRINCÍPIOS DE NEUROCOMPUTAÇÃO Neurocomputação Funcionamento do cérebro humano e os neurônios Formação das conexões e como se concebe teoricamente a aquisição do conhecimento, formalizando-os em procedimentos
Leia maisESTRUTURA DE DADOS I AULA I
ESTRUTURA DE DADOS I AULA I PROF. ME. HÉLIO ESPERIDIÃO O que é um dado? Dado pode ser definido como a matéria-prima originalmente obtida de uma ou mais fontes (etapa de coleta). o que é a informação A
Leia maisInteligência Artificial. Aula 2
Inteligência Artificial Aula 2 Retomada da aula passada O que é Inteligência Artificial Inteligência Artificial é o estudo de como fazer os computadores realizarem coisas que, no momento, as pessoas fazem
Leia mais4) Defina o que vem a ser um algoritmo, e porque, o mesmo depende do processo.
Lista de Exercício 1 Algoritmo e Programação 29/08/2018 (Solução) 1) Escreva conforme a premissas computacionais, o que vem a ser, lógica. R: São as premissas básicas para se executar instruções, alocadas
Leia maisI.2 Introdução a Teoria da Computação
I.2 Introdução a Teoria da Computação O que é? Fundamento da Ciência da Computação Tratamento Matemático da Ciência da Computação Estudo Matemático da Transformação da Informação Qual sua importância?
Leia maisMODELAGEM E SIMULAÇÃO
MODELAGEM E SIMULAÇÃO Professor: Dr. Edwin B. Mitacc Meza edwin@engenharia-puro.com.br www.engenharia-puro.com.br/edwin Análise da Decisão Pela própria natureza da vida, todos nós devemos continuamente
Leia maisIntrodução à Programação uma Abordagem Funcional
Universidade Federal do Espírito Santo Introdução à Programação uma Abordagem Funcional Programação I Prof.ª Claudia Boeres boeres@inf.ufes.br CT VII - Sala 34 Departamento de Informática Centro Tecnológico
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisTópicos Avançados em Sistemas Computacionais: Infraestrutura de Hardware Aula 02
Tópicos Avançados em Sistemas Computacionais: Infraestrutura de Hardware Aula 02 Prof. Max Santana Rolemberg Farias max.santana@univasf.edu.br Colegiado de Engenharia de Computação POR QUE APRENDER CONCEITOS
Leia maisMarcos Castilho. DInf/UFPR. 16 de maio de 2019
16 de maio de 2019 Motivação Quais são os limites da computação? O que é um Problema de decisão? Um problema de decisão é um conjunto de perguntas, cada uma das quais tem um SIM ou um NÃO como resposta.
Leia maisIntrodução à Computação: Máquinas Multiníveis
Introdução à Computação: Máquinas Multiníveis Beatriz F. M. Souza (bfmartins@inf.ufes.br) http://inf.ufes.br/~bfmartins/ Computer Science Department Federal University of Espírito Santo (Ufes), Vitória,
Leia maisApostila 06. Objetivos: Estudar a Computabilidade Estudar a Decidibilidade Estudar a Redutibilidade
Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e
Leia maisComputação na Biologia Molecular e Bionanotecnologia: Computação Biológica
Computação na Biologia Molecular e Bionanotecnologia: Computação Biológica Leila Ribeiro Instituto de Informática -UFRGS Roteiro Minhas áreas de interesse... Evolução da Ciência da Computação Biologia
Leia maisSISTEMAS OPERACIONAIS
SISTEMAS OPERACIONAIS Introdução a Sistemas Operacionais Andreza Leite andreza.leite@univasf.edu.br Plano de Aula Introdução aos Sistemas Operacionais Fundamentação Teórica Evolução Histórica Características
Leia maisBC1424 Algoritmos e Estruturas de Dados I Aula 05 Custos de um algoritmo e funções de complexidade
BC1424 Algoritmos e Estruturas de Dados I Aula 05 Custos de um algoritmo e funções de complexidade Prof. Jesús P. Mena-Chalco 1Q-2016 1 1995 2015 2 Custo de um algoritmo e funções de complexidade Introdução
Leia maisIntrodução à Ciência da Computação
1 Universidade Federal Fluminense Campus de Rio das Ostras Curso de Ciência da Computação Introdução à Ciência da Computação Professor: Leandro Soares de Sousa e-mail: leandro.uff.puro@gmail.com site:
Leia maisProjeto e Análise de Algoritmos. Introdução. Prof. Ademir Constantino Universidade Estadual de Maringá Departamento de Informática
Projeto e Análise de Algoritmos Introdução Prof. Ademir Constantino Universidade Estadual de Maringá Departamento de Informática Projeto e Análise de Algoritmos Eu penso que o projeto de algoritmos eficientes
Leia mais4 Cálculo de Equivalentes Dinâmicos
4 Cálculo de Equivalentes Dinâmicos 4.1 Introdução Com o elevado índice de expansão dos sistemas elétricos de potência, os freqüentes aumentos nas interligações e o alto número de variáveis que envolvem
Leia maisComplexidade 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 maisTópicos Avançados em Sistemas Computacionais: Infraestrutura de Hardware Aula 06
Tópicos Avançados em Sistemas Computacionais: Infraestrutura de Hardware Aula 06 Prof. Max Santana Rolemberg Farias max.santana@univasf.edu.br Colegiado de Engenharia de Computação COMO UM PROGRAMA ESCRITO
Leia maisINTELIGÊNCIA COMPUTACIONAL
Rafael D. Ribeiro, M.Sc. rafaeldiasribeiro@gmail.com http://www.rafaeldiasribeiro.com.br A Inteligência Computacional (IC), denominada originalmente de Inteligência Artificial (IA), é uma das ciências
Leia mais1 INTRODUÇÃO E CONCEITOS BÁSICOS
1 INTRODUÇÃO E CONCEITOS BÁSICOS Inicia com uma breve história do surgimento e do desenvolvimento dos conceitos, resultados e formalismos nos quais a Teoria da Computação é baseada. Formalização dos conceitos
Leia maisIntrodução à Computação Parte 2
Introdução à Computação Parte 2 José Gustavo de Souza Paiva Computação Objetivo básico auxiliar os seres humanos em trabalhos repetitivos e bra çais, diminuindo esfor ços e economizando tempo O computador
Leia maisOferta de disciplinas para o período 2014/2
PINF-6000 Projeto e Análise de Algoritmos 14:00-18:00 PINF-6013 Elementos Finitos PINF-6020 Otimização em Grafos PINF-6038 Tópicos Especiais em Informática: Computação Natural - PINF-6038 Tópicos Especiais
Leia maisINFORMÁTICA: Informação automática
INTRODUÇÃO INFORMÁTICA: Informação automática Definição: é a ciência que estuda o tratamento automático e racional da informação (encarregada pelo estudo e desenvolvimento de máquinas e métodos para processar
Leia maisANÁLISE DE ALGORITMOS: PARTE 1. Prof. André Backes. Como resolver um problema no computador? Precisamos descrevê-lo de uma forma clara e precisa
ANÁLISE DE ALGORITMOS: PARTE 1 Prof. André Backes Algoritmos 2 Como resolver um problema no computador? Precisamos descrevê-lo de uma forma clara e precisa Precisamos escrever o seu algoritmo Um algoritmo
Leia maisLinguagens de Programação
Universidade Federal do Rio Grande do Norte Centro de Tecnologia Departamento de Computação e Automação Linguagens de Programação Professor Responsável: Luiz Affonso Henderson Guedes de Oliveira Prof.
Leia maisAnálise empírica de algoritmos de ordenação
Análise empírica de algoritmos de ordenação Mario E. Matiusso Jr. (11028407) Bacharelado em Ciências da Computação Universidade Federal do ABC (UFABC) Santo André, SP Brasil mario3001[a]ig.com.br Resumo:
Leia maisLógica e Computação. Uma Perspectiva Histórica
Lógica e Computação Uma Perspectiva Histórica Alfio Martini Facin - PUCRS A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
Leia maisCapítulo 1. INTRODUÇÃO
Capítulo 1. INTRODUÇÃO A simulação numérica de problemas de engenharia ocupa atualmente uma posição de destaque no cenário mundial de pesquisa e desenvolvimento de novas tecnologias. O crescente interesse,
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 01 - Introdução O Que é Inteligência Artificial? [Winston, 1984]: "Inteligência artificial é o estudo das ideias que
Leia maisTópicos Especiais em CFD - Efeitos Especiais
Tópicos Especiais em CFD - Efeitos Especiais http://www.liviajatoba.com/iprj-te-cfd-ee Professora Livia Jatobá Aula 01: Introdução 1 SOBRE A DISCIPLINA Dinâmica dos Fluidos Computacional para Efeitos Especiais
Leia maisprinting problem: dado um programa e um valor arbitrários, o problema de determinar se sim ou não se vai obter como output do programa esse valor;
1 Introdução 1 No texto que se segue vão ser apresentados resultados sobre não decidibilidade de alguns predicados (sobre os naturais). Para certos predicados vai ser apresentada uma prova de que não é
Leia maisAula 3: Algoritmos: Formalização e Construção
Aula 3: Algoritmos: Formalização e Construção Fernanda Passos Universidade Federal Fluminense Programação de Computadores IV Fernanda Passos (UFF) Algoritmos: Formalização e Pseudo-Código Programação de
Leia maisAula 02. Conceitos relacionados à informática. Prof.: Roitier Campos Gonçalves
Aula 02 Conceitos relacionados à informática Prof.: Roitier Campos Gonçalves Dados e Informação Dados É um fato isolado que completa a informação. Uma vez processados (ordenados, somados,filtrados) constituem
Leia maisCP Introdução à Informática Prof. Msc. Carlos de Salles
CP 1015.1 Prof. Msc. Carlos de Salles PROGRAMA 1. CONCEITO DE SISTEMAS 1.1 Sistemas e sua classificação 1.2 Informações e Dados 1.3 O Processamento de Dados 1.4 O Computador e sua História 2. ESTRUTURA
Leia maisIntroduçã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 maisLinguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma C01 Engenharia da Computação e Ciência da Computação Horário: Terça e Sexta: 20:30
Leia maisTeoria da Computação. Computabilidade e complexidade computacional
Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade
Leia maisOs 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 maisAula 10: Decidibilidade
Teoria da Computação Aula 10: Decidibilidade DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 10.1. Um problema de decisão P é um conjunto de questões para as quais as respostas são sim ou não. Exemplo
Leia maisLinguagens Regulares. Prof. Daniel Oliveira
Linguagens Regulares Prof. Daniel Oliveira Linguagens Regulares Linguagens Regulares ou Tipo 3 Hierarquia de Chomsky Linguagens Regulares Aborda-se os seguintes formalismos: Autômatos Finitos Expressões
Leia mais