Códigos Corretores de Erros e Cliques de Grafos
|
|
- Marisa Regueira Frade
- 7 Há anos
- Visualizações:
Transcrição
1 Códigos Corretores de Erros e Cliques de Grafos Natália Pedroza Jayme Szwarcfiter Paulo Eustáquio UFRJ/UERJ 2016 Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
2 Apresentação Códigos corretores de erros; Códigos Lineares; Generalização do código Hamming; Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
3 Introdução Códigos corretores de erros de tamanho fixo A = {a 1,, a s } símbolos a serem codificados; F = {0, 1} alfabeto; c = c 1 c 2 c n, com c i F palavra; Código C = {c 1,, c M } conjunto de palavras. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
4 Distância Hamming entre duas palavras, d H (c 1, c 2 ) número de posições em que c 1 e c 2 diferem. Ex.: d H (000, 011) = 2 Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
5 Distância Hamming entre duas palavras, d H (c 1, c 2 ) número de posições em que c 1 e c 2 diferem. Ex.: d H (000, 011) = 2 d H (C) - distância Hamming de um código C menor distância entre duas palavras quaisquer. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
6 Distância Hamming entre duas palavras, d H (c 1, c 2 ) número de posições em que c 1 e c 2 diferem. Ex.: d H (000, 011) = 2 d H (C) - distância Hamming de um código C menor distância entre duas palavras quaisquer. Teorema C é capaz de corrigir até t erros se d(c) = 2t + 1. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
7 A q (n, d) o maior valor de M tal que existe um código de tamanho fixo q-ário com M palavras de n bits e distância Hamming d. Theorem Seja d um número ímpar. Um código binário com M palavras de tamanho n com distância d existe se, e somente se, um código binário com M palavras de tamanho n + 1 com distância d + 1 existe. Corollary Se d é ímpar, então A 2 (n + 1, d + 1) = A 2 (n, d). Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
8 n d Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
9 Clique Determinar A 2 (n, d) Determinar a clique máxima de um grafo G. V (G) 2 n vetores binários de tamanho n uv E(G) d H (u, v) d. d(u, v) tamanho do caminho mínimo entre u e v. Grafo potência d de um grafo G = (V, E) grafo G d = (V, E d ) tal que uv E d d(u, v) d. n-cubo = Q n d(u, v) = d H (u, v). Arestas de Q d 1 n Arestas correspondentes às distâncias 1, 2,, d 1 de K n. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
10 Problema: Máximo de palavras Entrada: Um grafo G = K 2 n E[Q d 1 n ]. Propriedade: O conjunto de vértices C forma uma clique máxima. Grafo regular Grau de v: d 1 ( ) n d(v) = 2 n. i i=0 Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
11 Cliques Parte do grafo para n = 5 e d = 3. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
12 Códigos Lineares Seja F q um corpo de q elementos. Um código C q-ário é dito [n, k]-código linear se é um subespaço vetorial de dimensão k de F n q. Isto é: 1 u + v C, u e v C e 2 au C, u C, a F q. Em particular, um código binário é linear se, e somente se, a soma de duas palavras quaisquer do código é também uma palavra do código. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
13 Peso w de uma palavra - número de bits não nulos da palavra. Peso de um código C - o menor dos pesos das palavras não nulas de C. Theorem Se C é um código linear, então d(c) = w(c). Demonstração: Existem x e y C tais que d(c) = d(x, y) = w(x y). d(c) = w(x y) w(c), pois x y é uma palavra do código. Por outro lado, para alguma palavra x C, w(c) = w(x) = d(x, 0) d(c). Obs.: 0 pertence a todo código linear. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
14 Matriz geradora - matriz cujas linhas formam uma base de um [n, k]-código. Exemplo [5, 2, 3]-código = G = [ ] Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
15 Matriz geradora - matriz cujas linhas formam uma base de um [n, k]-código. Exemplo [5, 2, 3]-código = G = [ ] Codificação M = 2 k ; Identificamos as mensagens com u F k ; Codificamos as mensagens multiplicando u por G; ug C é uma combinação linear das linhas da matriz geradora. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
16 Matriz geradora na forma padrão: G = [I k A k (n k) ]. Exemplo A forma padrão de uma matriz geradora do [7, 4]-código é dada por: G = O vetor mensagem 1000 é codificado como Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
17 Código dual de C: C = {u F n c, u = 0, c C}. Lemma Se C é um [n, k]-código linear com matriz geradora G, então u C ug T = 0. Theorem Se C é um [n, k]-código linear, então C é [n, n k]-código linear. Exemplo C = C = { Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
18 H matriz de paridade de C: matriz geradora de C. H satisfaz GH T = 0. Theorem C = {c F n ch T = 0}. Se G = [I k A] é uma matriz geradora na forma padrão de um [n, k]-código C, então a matriz de paridade de C é H = [ A T I n k ]. Exemplo G = I H = I 3 Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
19 Códigos Hamming Ham(r) - matriz de paridade H r (2 r 1) cujas colunas são os vetores não nulos de F r. Exemplo Ham(3) H = Theorem Um código Hamming, Ham(r), para r 2, 1 é um [2 r 1, 2 r 1 r]-código; 2 tem distância mínima 3; 3 é um código perfeito. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
20 Uma generalização dos Códigos Hamming Código linear; Distância Hamming 3; M = 2 k palavras. Gham(n) = {c n 1, c n 2,, c n M} c n i = informação b(c n i ) }{{} k bits paridade p(c n i ) }{{} r bits n = r + k, onde r = log 2 (n + 1). Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
21 Recursão Criar Gham(n) = {c n 1,, cn M } A partir de Gham(n 1) = {c n 1 1,, c n 1 M } com M = 2n 1 log 2 (n) palavras. Base: Gham(3) = {000, 111}. Se n 2 m, então: { c n i = 0c n 1 i, para 1 i M 1[c n 1 i Se n = 2 m, então: c n i = c n 1 i 1 n], para M + 1 i 2M c n 1 i k 0c n 1 i k+1 c n 1 i n 1, para 1 i M. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
22 Exemplo Gham(3) Gham(4) r = log 2 (n + 1) = 2 e k = 1. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
23 Exemplo Gham(3) Gham(4) Gham(5) Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
24 Exemplo Gham(3) Gham(4) Gham(5) Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
25 Exemplo Gham(3) Gham(4) Gham(5) Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
26 Propriedade O código Gham(n) é gerado ordenadamente e b(c n i ) corresponde à representação binária, usando k bits, de todos os inteiros de 0 a 2 k 1. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
27 Propriedade O código Gham(n) é gerado ordenadamente e b(c n i ) corresponde à representação binária, usando k bits, de todos os inteiros de 0 a 2 k 1. Tabela 1: Gham(n) para n de 3 a 8 n = 3 n = 4 n = n = 6 n = 7 n = Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
28 Propriedade Os códigos Gham(n) são códigos lineares, cujas matrizes geradoras podem ser escritas na forma G = [I k k A k n k ], onde as linhas de A k n k são formadas pelas representações binárias dos números de 3 a n que não são potências de 2, em ordem decrescente, usando n k bits. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
29 Algoritmo de codificação Tomar b(c n i ) = uk i = u i k u ik 1 u i1. Calcular p(c n i ): se u i j = 1, fazer a operação xor de } 0 {{ 0} com A(j). bits Algoritmo 1: Obtenção de c n i : início A [3, 5, 6, 7,..., n]; p(c i ) 0; para j de k a 1 : se (u ij = 1) então p(c i ) p(c i ) A[k j + 1]; fp c n i u i p(c i ); retorna c n i ; fim Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
30 Exemplo Determinar c 8 13 Tome b(c 8 13 ) = u4 13 = Bits 1 da direita para a esquerda: 1 o, 3 o e 4 o. c 8 13 = }{{} }{{} b(c 8 13 ) p(c 8 13 ) A[1] = A[3] = A[4] = 7 p(c 8 13 ) 0010 Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
31 Decodificação Se um vetor yi n é recebido, calculamos p(yi n ) e fazemos a operação xor dos r bits finais de yi n com p(yi n ). Se o resultado: Contém apenas 0 s, então não ocorreu erro; Contém apenas um bit 1, então o erro está nos r bits finais de y n i, na posição correspondente ao 1; É o i-ésimo elemento do vetor A, então o erro está posição i; Caso contrário, houve mais de um erro e a mensagem não é decodificada. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
32 Propriedade A distância Hamming de Gham(n) é 3. Demonstração. Provar: w(gham(n)) = 3. Seja c n i Gham(n). 1 w(b(c n i )) = 1 p(cn i ) = 0 n 1 w(p(c n i )) 2. Pois n 1 2 m e portanto w(n 1 ). 2 w(b(c n i )) = 2 p(cn i ) = 0 n 1 n 2 w(p(c n i )) 1. Pois como n 1 n 2, temos que n 1 n w(b(c n i )) 3 w(cn i ) 3. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
33 Lemma A matriz de paridade H do código Gham(n) é formada pelas representações binárias dos números de 1 a n escritos em coluna utilizando n k bits. G = [I k A k n k ] H = [A T n k k I n k]. As colunas de A T n k k são formadas pelas representações binárias dos números de 3 a n que não são potências de 2, em ordem decrescente, usando n k bits. As linhas de I n k são formadas pelas representações binárias dos números de 1 a n que são potências de 2, em ordem decrescente, usando n k bits. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
34 Theorem Os códigos de Hamming Ham(r) são um caso particular dos códigos Gham(n). O código Ham(r) tem matriz de paridade H cujas colunas são formadas pelos vetores não nulos de F r que são exatamente as representações binárias dos números de 1 a n utilizando r = n k bits. Assim, a matriz de paridade do código Ham(r) é equivalente a matriz de paridade do código Gham(n), para n = 2 r 1. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
35 Theorem Um código linear ótimo de tamanho n e distância Hamming 3 tem dimensão k = n log 2 (n + 1). Corollary Os códigos Gham(n) são códigos lineares ótimos. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
36 Obtenção gulosa de Gham(n) Propriedade O código Gham(n) pode ser obtido por um algoritmo guloso. Inicialmente coloca-se 0 F k no código e, em seguida, para cada u F k \ {0}, concatena-se a menor paridade p F r possível, tal que a palavra resultante tenha distância 3 para as palavras anteriores já definidas. Com pequenas alterações no algoritmo, conseguimos obter os códigos ótimos para n de 8 a 11, que são códigos não lineares. Ao invés de se concatenar uma única paridade v F r a cada elemento u F k \ 0 pode-se ter nenhuma ou mais de uma concatenação. E acrescenta-se ao código além de 0 F k algumas palavras v F n. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
37 Conclusão Desenvolvemos uma generalização para os códigos de Hamming para todo inteiro n 3. Tais códigos são lineares, têm capacidade de corrigir um erro e são facilmente implementáveis. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
38 Trabalhos futuros Estender os códigos Gham(n) para distâncias Hamming d > 3. Generalizar a construção feita para os códigos Gham(n) para códigos não lineares buscando obter códigos não lineares ótimos. Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
39 Obrigada Natália Pedroza (UFRJ/UERJ) Códigos Corretores / 32
Códigos de bloco. Luis Henrique Assumpção Lolis. 1 de novembro de Luis Henrique Assumpção Lolis Códigos de bloco 1
Códigos de bloco Luis Henrique Assumpção Lolis 1 de novembro de 2013 Luis Henrique Assumpção Lolis Códigos de bloco 1 Conteúdo 1 Códigos de bloco lineares 2 Códigos sistemáticos 3 Síndrome 4 Distância
Leia maisSOBRE CÓDIGOS CORRETORES DE ERROS. Natália Pedroza de Souza
SOBRE CÓDIGOS CORRETORES DE ERROS Natália Pedroza de Souza Tese de Doutorado apresentada ao Programa de Pós-graduação em Engenharia de Sistemas e Computação, COPPE, da Universidade Federal do Rio de Janeiro,
Leia maisUniversidade de Pernambuco Escola Politécnica de Pernambuco
Universidade de Pernambuco Escola Politécnica de Pernambuco TV Analógica e Digital Introdução Codificação de Canal Prof. Márcio Lima E-mail:marcio.lima@poli.br Introdução Visão Geral Introdução Motivação
Leia maisCódigos de blocos lineares. Outubro de 2017
Códigos de blocos lineares Outubro de 2017 Vamos introduzir alguns conceitos sobre códigos de blocos lineares. Definições: Deve-se assumir que a informação saída da fonte de informação é da forma binária
Leia maisCódigos Corretores de Erros e Teoria de Galois. Helena Carolina Rengel Koch Universidade Federal de Santa Catarina 2016
Códigos Corretores de Erros e Teoria de Galois Helena Carolina Rengel Koch Universidade Federal de Santa Catarina 2016 1 Sumário 1 Introdução 3 2 Corpos finitos e extensões de corpos 4 2.1 Polinômios....................................
Leia maisCódigos perfeitos e sistemas de Steiner
CAPÍTULO 7 Códigos perfeitos e sistemas de Steiner Sistemas de Steiner são um caso particular de configurações (ou designs. Neste capítulo pretende-se apenas fazer uma breve introdução aos sistemas de
Leia maisELE32 Introdução a Comunicações Codificação de Canal. ITA 2º. Semestre de 2017
ELE32 Introdução a Comunicações Codificação de Canal ITA 2º. Semestre de 2017 manish@ita.br Canal causa erros de transmissão X Y (1-q) 0 (1-p) 0 p p q 1 (1-p) 1 Como proteger informação contra erros de
Leia maisMensagem descodificada. Mensagem recebida. c + e
Suponhamos que, num determinado sistema de comunicação, necessitamos de um código com, no máximo, q k palavras. Poderemos então usar todas as palavras a a 2 a k F k q de comprimento k. Este código será
Leia maisMétodo prático para extrair uma base de um conjunto de geradores de um subespaço de R n
Método prático para extrair uma base de um conjunto de geradores de um subespaço de R n 1. Descrição do método e alguns exemplos Colocamos o seguinte problema: dado um conjunto finito: A = {a 1, a 2,...,
Leia maisUFSM-CTISM. Comunicação de Dados Aula-17
UFSM-CTISM Comunicação de Dados Aula-17 Professor: Andrei Piccinini Legg Santa Maria, 2012 Definição: Um código de Hamming adiciona um bloco de paridade a um bloco de dados, de forma a que, caso ocorram
Leia maisVanessa Juliana da Costa Maringá PR, Brasil
Decodificação para Códigos Lineares Vanessa Juliana da Costa Maringá PR, Brasil Abstract In this work we present a decoding algorithm for linear codes. We introduce basic properties of linear codes such
Leia maisCódigos de bloco. Instituto Federal de Santa Catarina Curso superior de tecnologia em sistemas de telecomunicação Comunicações móveis 2
Instituto Federal de Santa Catarina Curso superior de tecnologia em sistemas de telecomunicação Comunicações móveis 2 Códigos de bloco Prof. Diego da Silva de Medeiros São José, maio de 2012 Codificação
Leia maisNo caso de C ser um código binário linear [n, k, d], a extensão por paridade Ĉ tem parâmetros [n + 1, k, d], com d par e matriz de paridade
CAPÍTULO 5 Construção de Códigos Alguns casos particulares das contruções apresentadas neste capítulo já têm sido usadas, quer em demonstrações, quer em exemplos. Começamos por apresentar construções envolvendo
Leia maisAula 3- Codificação de Canal. October 18, 2017
ELE-32 Introdução a Comunicações Aula 3- Codificação de Canal October 18, 2017 1 Introdução Em muitas situações, a mensagem a ser transmitida por um sistema de comunicações é uma sequência de bits. Entretanto,
Leia maisEET-61 Introdução a Teoria da Informação
EET-61 Introdução a Teoria da Informação Aula 3- Codificação de Canal October 24, 2018 1 Introdução Em muitas situações, a mensagem a ser transmitida por um sistema de comunicações é uma sequência de bits.
Leia maisOtimização em Grafos
Otimização em Grafos Luidi G. Simonetti PESC/COPPE 2017 Luidi Simonetti (PESC) EEL857 2017 1 / 33 Definição do Problema Dado: um grafo ponderado G = (V, E), orientado ou não, onde d : E R + define as distâncias
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 09: Representação de Grafos Preparado a partir do texto: Rangel, Socorro. Teoria
Leia maisTE111 Comunicação Digital. Quais os Benefícios da Codificação de Canal? Evelio M. G. Fernández. 15 de outubro de 2018
TE111 Comunicação Digital Introdução à Codificação de Canal 15 de outubro de 2018 Quais os Benefícios da Codificação de Canal? 1 O uso de codificação de canal pode: aumentar a faixa de operação de um sistema
Leia maisConceitos Básicos Isomorfismo de Grafos Subgrafos Passeios em Grafos Conexidade
Conteúdo 1 Teoria de Grafos Conceitos Básicos Isomorfismo de Grafos Subgrafos Passeios em Grafos Conexidade > Teoria de Grafos 0/22 Conceitos Básicos Inicialmente, estudaremos os grafos não direcionados.
Leia maisPrimeira prova de Álgebra Linear - 06/05/2011 Prof. - Juliana Coelho
Primeira prova de Álgebra Linear - 6/5/211 Prof. - Juliana Coelho JUSTIFIQUE SUAS RESPOSTAS! Questões contendo só a resposta, sem desenvolvimento ou justificativa serão desconsideradas! QUESTÃO 1 (2, pts)
Leia maisCódigos cíclicos - Parte 1
Códigos cíclicos - Parte 1 Luis Henrique Assumpção Lolis 20 de novembro de 2013 Luis Henrique Assumpção Lolis Códigos cíclicos - Parte 1 1 Conteúdo 1 Introdução 2 Polinômio gerador e verificador de paridade
Leia maisCompactação de Dados. Fonte de consulta: Szwarcfiter, J.; Markezon, L. Estruturas de Dados e seus Algoritmos, 3a. ed. LTC. Seção 12.5 em diante.
Compactação de Dados Fonte de consulta: Szwarcfiter, J.; Markezon, L. Estruturas de Dados e seus Algoritmos, 3a. ed. LTC. Seção 12.5 em diante. Compactação de Dados } Armazenar arquivos grandes (backup)
Leia maisGABRIEL BUJOKAS
APLICAÇÕES DE ÁLGEBRA LINEAR À COMBINATÓRIA GABRIEL BUJOKAS (GBUJOKAS@MIT.EDU) A gente vai discutir algumas das aplicações clássicas de álgebra linear à combinatória. Vamos começar relembrando alguns conceitos
Leia maisTeoria da Informação ( ) Exame de Recurso ( ) Resolução ( ) ( ) 2log2. log log
Teoria da Informação (-6) Exame de Recurso (4-7-6) Resolução. Função densidade de probabilidade das amostras de U é constante: b a b pu ( ) a b a pu ( ) = b a. a) h ( U ) = p ( u ) log du = log( b a )
Leia maisCombinatória e Teoria de Códigos 2 o Exame 2 de Julho de 2010
1. (a) Seja Combinatória e Teoria de Códigos o Exame de Julho de 010 RESOLUÇÃO 0 0 0 1 1 1 1 H = 0 1 1 0 0 1 1. 1 0 1 0 1 0 1 As colunas de H são todos os vectores não nulos em F 3, portanto H é uma matriz
Leia maisApontamentos III. Espaços euclidianos. Álgebra Linear aulas teóricas. Lina Oliveira Departamento de Matemática, Instituto Superior Técnico
Apontamentos III Espaços euclidianos Álgebra Linear aulas teóricas 1 o semestre 2017/18 Lina Oliveira Departamento de Matemática, Instituto Superior Técnico Índice Índice i 1 Espaços euclidianos 1 1.1
Leia maisFundamentos de Telecomunicações
Fundamentos de Telecomunicações LEEC_FT 32&33: Codificação de Canal Professor Victor Barroso vab@isr.ist.utl.pt Lição 32 Controlo dos Erros de Transmissão Codificação de canal abordagens básicas Detecção
Leia maisÁlgebra Linear AL. Luiza Amalia Pinto Cantão. Depto. de Engenharia Ambiental Universidade Estadual Paulista UNESP
Álgebra Linear AL Luiza Amalia Pinto Cantão Depto de Engenharia Ambiental Universidade Estadual Paulista UNESP luiza@sorocabaunespbr Espaços Vetoriais 1 Definição; 2 Subespaços; 3 Combinação Linear, dependência
Leia mais3 Sistema de Steiner e Código de Golay
3 Sistema de Steiner e Código de Golay Considere o sistema de Steiner S(5, 8, 24, chamaremos os seus blocos de octads. Assim, as octads são subconjuntos de 8 elementos de um conjunto Ω com 24 elementos
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos,
Leia maisÁLGEBRA LINEAR. Combinação Linear, Subespaços Gerados, Dependência e Independência Linear. Prof. Susie C. Keller
ÁLGEBRA LINEAR Combinação Linear, Subespaços Gerados, Dependência e Prof. Susie C. Keller Combinação Linear Sejam os vetores v 1, v 2,..., v n do espaço vetorial V e os escalares a 1, a 2,..., a n. Qualquer
Leia maisCONCEITOS BÁSICOS EM GRAFOS
Um grafo (simples) G é formado por um conjunto de vértices, denotado por V(G), e um conjunto de arestas, denotado por E(G). Cada aresta é um par (não ordenado) de vértices distintos. Se xy é uma aresta,
Leia maisÁlgebra Linear e Geometria Anaĺıtica. Espaços Vetoriais Reais
universidade de aveiro departamento de matemática Álgebra Linear e Geometria Anaĺıtica Agrupamento IV (ECT, EET, EI) Capítulo 4 Espaços Vetoriais Reais Definição de espaço vetorial real [4 01] O conjunto
Leia maisIII-1 Códigos detetores e corretores de erros
III-1 Códigos detetores e corretores de erros Comunicações ISEL-ADEETC-Comunicações 1 Sumário 1. Aspetos gerais sobre a comunicação digital Comportamento do canal Causas da existência de erros 2. Códigos
Leia maisIII-1 Códigos detetores e corretores de erros
III-1 Códigos detetores e corretores de erros Comunicações ISEL-ADEETC-Comunicações 1 Sumário 1. Aspetos gerais sobre a comunicação digital Causa de erros 2. Códigos detetores e corretores de erros Códigos
Leia mais2 Teoria da Informação
2 Teoria da Informação Neste capítulo apresentamos alguns conceitos básicos sobre Teoria da Informação que utilizaremos durante este trabalho. 2.1 Alfabeto, texto, letras e caracteres Um alfabeto Σ = (σ
Leia maisGeometria Analítica e Álgebra Linear
UNIFEI - Universidade Federal de Itajubá campus Itabira Geometria Analítica e Álgebra Linear Parte 1 Matrizes 1 Introdução A teoria das equações lineares desempenha papel importante e motivador da álgebra
Leia maisapenas os caminhos que passam só por vértices em C, exceto, talvez, o próprio v A Figura 1 a seguir ilustra o significado do conjunto C edovalordist.
CAMINHO DE CUSTO MÍNIMO Dados dois pontos A e B, em muitos problemas práticos fazemos 2 perguntas: 1. existe um caminho de A para B? ou 2. se existe mais de um caminho de A para B, qual deles é o mais
Leia maisIII-1 Códigos detectores e correctores de erros
III-1 Códigos detectores e correctores de erros (13 Dezembro de 2010) ISEL-DEETC- 1 Sumário 1. Aspectos gerais sobre a comunicação digital 1. Causa de erros 2. Códigos detectores e correctores de erros
Leia maisCÓDIGOS CORRETORES DE ERROS: UMA
CÓDIGOS CORRETORES DE ERROS: UMA INTRODUÇÃO SOUZA,MJ 1 Introdução Em nosso cotidiano os códigos corretores de erros aparecem de várias maneiras: surgem, por exemplo, quando fazemos o uso de informações
Leia maisÁlgebra Linear I - Lista 10. Matrizes e Transformações lineares. Respostas
Álgebra Linear I - Lista 1 Matrizes e Transformações lineares Respostas 1 Sejam A e B matrizes quadradas do mesmo tamanho Dê um exemplo onde (A + B 2 A 2 + 2A B + B 2 Complete: (A + B 2 = A 2 + B 2 +?
Leia mais4 C odigos de Huffman 4.1 Arvores de c odigo folhas os internos n ıvel altura Arvore bin aria arvore bin aria ordenada
4 Códigos de Huffman 4.1 Árvores de código Numa árvore qualquer, os nós que não têm filhos são chamados de folhas e os demais nós são chamados de nós internos. Se um nó de uma árvore é filho de outro,
Leia maisMATEMÁTICA DISCRETA. Patrícia Ribeiro 2018/2019. Departamento de Matemática, ESTSetúbal 1 / 47
1 / 47 MATEMÁTICA DISCRETA Patrícia Ribeiro Departamento de Matemática, ESTSetúbal 2018/2019 2 / 47 1 Combinatória 2 Aritmética Racional 3 3 / 47 Capítulo 3 4 / 47 não orientados Um grafo não orientado
Leia maisMatemática Combinatória Gabarito Lista 7 Artur Souza, Bruno Leite e Marcos Castro
Matemática Combinatória Gabarito Lista 7 Artur Souza, Bruno Leite e Marcos Castro Questão 1 Sejam as pessoas representadas por nós e as relações de amizade por arestas. Utilizando o Princípio das Gavetas:
Leia maisÁlgebra Linear. Professor Alessandro Monteiro. 1º Sábado - Matrizes - 11/03/2017
º Sábado - Matrizes - //7. Plano e Programa de Ensino. Definição de Matrizes. Exemplos. Definição de Ordem de Uma Matriz. Exemplos. Representação Matriz Genérica m x n 8. Matriz Linha 9. Exemplos. Matriz
Leia maisCOM29008 LISTA DE EXERCÍCIOS #
INSTITUTO FEDERAL DE SANTA CATARINA CAMPUS SÃO JOSÉ COORDENADORIA DE ÁREA DE TELECOMUNICAÇÕES ENGENHARIA DE TELECOMUNICAÇÕES COM29008 LISTA DE EXERCÍCIOS #1 2016.2 Exercícios 1. Verifique se os seguintes
Leia mais1 Espaços Vectoriais
Nova School of Business and Economics Apontamentos Álgebra Linear 1 Definição Espaço Vectorial Conjunto de elementos que verifica as seguintes propriedades: Existência de elementos: Contém pelo menos um
Leia maisÁlgebra Linear I. Resumo e Exercícios P3
Álgebra Linear I Resumo e Exercícios P3 Fórmulas e Resuminho Teórico Espaço Vetorial Qualquer conjunto V com 2 operações: Soma e Produto escalar, tal que 1. u + v + w = u + v + w u, v, w V 2. u + v = v
Leia maisÁrvores. Fabio Gagliardi Cozman. PMR2300 Escola Politécnica da Universidade de São Paulo
PMR2300 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ó (exceto a
Leia maisCorrigindo erros por meio de códigos lineares
Corrigindo erros por meio de códigos lineares Robson Ricardo de Araujo e Antonio Aparecido de Andrade Resumo Desde os trabalhos de Claude Shannon, em 1948, o avanço tecnológico na área das telecomunicações
Leia maisExercícios: Recursão
Universidade Federal de Uberlândia - UFU Faculdade de Computação - FACOM Lista de exercícios de programação em linguagem C Exercícios: Recursão 1. Faça uma função recursiva que calcule e retorne o fatorial
Leia maisCódigos convolucionais
Códigos convolucionais Luis Henrique Assumpção Lolis 29 de novembro de 2013 Luis Henrique Assumpção Lolis Códigos convolucionais 1 Conteúdo 1 Introdução e definição 2 Diagrama de árvores, de treliça e
Leia maisNas questões 1, 3, 4, 11, 12, 13, 15 e 17 considera-se fixado um sistema de coordenadas Σ = (O, E) em E 3, onde E é uma base ortonormal
Nas questões 1, 3, 4, 11, 12, 13, 15 e 17 considera-se fixado um sistema de coordenadas Σ = (O, E) em E 3, onde E é uma base ortonormal positiva de V 3. 1Q1. Seja m R não nulo e considere as retas: r :
Leia maisQ1. Seja V um espaço vetorial e considere as seguintes afirmações: um conjunto de geradores de um subespaço S 2 de V, então A 1 A 2
Q1. Seja V um espaço vetorial e considere as seguintes afirmações: (I) se A 1 é um conjunto de geradores de um subespaço S 1 de V e A 2 é um conjunto de geradores de um subespaço S 2 de V, então A 1 A
Leia maisIntroduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;
META Introduzir os conceitos de base e dimensão de um espaço vetorial. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: distinguir entre espaços vetoriais de dimensão fnita e infinita; determinar
Leia maispelo sistema de coordenadas Cartesianas. Podemos utilizar também o sistema de coordenadas
A. Coordenadas Curvilineares. Teorema de Gauss em coordenadas curvilineares Para especificar a posição, utilizamos a base e x, e y, e z e x r = y z pelo sistema de coordenadas Cartesianas. Podemos utilizar
Leia maisAula 5 - Produto Vetorial
Aula 5 - Produto Vetorial Antes de iniciar o conceito de produto vetorial, precisamos recordar como se calculam os determinantes. Mas o que é um Determinante? Determinante é uma função matricial que associa
Leia maisÁLGEBRA LINEAR AULA 9 ESPAÇOS VETORIAIS EUCLIDIANOS
ÁLGEBRA LINEAR AULA 9 ESPAÇOS VETORIAIS EUCLIDIANOS Luís Felipe Kiesow de Macedo Universidade Federal de Pelotas - UFPel 1 / 11 1 Produto Interno 2 Módulo de um Vetor 3 Ângulo Entre Dois Vetores - Vetores
Leia maisÁ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 maisALGORITMO DE EUCLIDES
Sumário ALGORITMO DE EUCLIDES Luciana Santos da Silva Martino lulismartino.wordpress.com lulismartino@gmail.com PROFMAT - Colégio Pedro II 25 de agosto de 2017 Sumário 1 Máximo Divisor Comum 2 Algoritmo
Leia maisÁrvores Árvores Geradoras de Custo Mínimo 0/16
Conteúdo 1 Árvores 2 Árvores Geradoras de Custo Mínimo Árvores Árvores Geradoras de Custo Mínimo 0/16 Árvores Definição (Grafo Acíclico) Um grafo acíclico é um grafo que não contém ciclos. Árvores Árvores
Leia maisELE32 Introdução a Comunicações Codificação de Canal Códigos cíclicos. ITA 2º. Semestre de 2017
ELE32 Introdução a Comunicações Codificação de Canal Códigos cíclicos ITA 2º. Semestre de 2017 manish@ita.br Problema Não deve ter sido trivial encontrar um codificador de canal com boas propriedades Além
Leia maisLISTA DE EXERCÍCIOS 1 - MATEMÁTICA 3 (CCM0213)
LISTA DE EXERCÍCIOS - MATEMÁTICA 3 (CCM3) PROF: PEDRO T. P. LOPES WWW.IME.USP.BR/ PPLOPES/MATEMATICA3 Os exercícios a seguir foram selecionados do livro do Apostol e do Domingues Callioli Costa. Exercício.
Leia maisIII-1 Códigos detetores e corretores de erros
III-1 Códigos detetores e corretores de erros Comunicações 21 de novembro de 2017 ISEL-ADEETC-Comunicações 1 Sumário 1. Aspetos gerais sobre a comunicação digital Comportamento do canal Causas da existência
Leia maisOrganização e Arquitetura de Computadores I
Universidade Federal de Campina Grande Departamento de Sistemas e Computação Curso de Bacharelado em Ciência da Computação Organização e Arquitetura de I Circuitos Lógicos Combinacionais (Adicional) Prof
Leia maisESPAÇOS LINEARES (ou vetoriais)
Álgebra Linear- 1 o Semestre 2018/19 Cursos: LEIC A Lista 3 (Espaços Lineares) ESPAÇOS LINEARES (ou vetoriais) Notações: Seja A uma matriz e S um conjunto de vetores Núcleo de A: N(A) Espaço das colunas
Leia maisTeoria dos Grafos. Árvores Geradoras
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Preparado a partir
Leia maisforças em relação a um ponto P E 3 como sendo o vetor M P V 3 dado por: Considere o sistema formado pelas forças
Nesta prova considera-se fixada uma orientação do espaço e um sistema de coordenadas Σ = (O, E) em E 3, em que E é uma base ortonormal positiva de V 3. A menos de menção explícita em contrário, equações
Leia maisÁlgebra linear A Primeira lista de exercícios
Álgebra linear A Primeira lista de exercícios Prof. Edivaldo L. dos Santos (1) Verifique, em cada um dos itens abaixo, se o conjunto V com as operações indicadas é um espaço vetorial sobre R. {[ ] a b
Leia maisINSTITUTO DE MATEMÁTICA E ESTATÍSTICA UNIVERSIDADE DE SÃO PAULO
EXERCÍCIOS INSTITUTO DE MATEMÁTICA E ESTATÍSTICA UNIVERSIDADE DE SÃO PAULO MAT-2458 Álgebra Linear para Engenharia II Primeira Lista de Exercícios - Professor: Equipe da Disciplina 1. Em R 3, sejam S 1
Leia maisGrafos: caminhos (matriz adjacência)
Grafos: caminhos (matriz adjacência) Algoritmos e Estruturas de Dados 2 Graça Nunes 1 O problema do menor caminho Um motorista deseja encontrar o caminho mais curto possível entre duas cidades do Brasil
Leia maisAcrescenta um bit 1 ou um bit 0 às mensagem para que o número total de bits 1 seja par
Detecçã ção o de Erros Paridade Verificação de Paridade Esse tipo de detecção consiste em acrescentar um bit (de paridade) a cada conjunto de bits da mensagem (caractere) de modo a ter as seguintes características:
Leia maisNotas para o Curso de Algebra Linear Il Dayse Haime Pastore 20 de fevereiro de 2009
Notas para o Curso de Álgebra Linear Il Dayse Haime Pastore 20 de fevereiro de 2009 2 Sumário 1 Matrizes e Sistemas Lineares 5 11 Matrizes 6 12 Sistemas Lineares 11 121 Eliminação Gaussiana 12 122 Resolução
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática 3 a Lista - MAT 137 - Introdução à Álgebra Linear 2017/II 1. Sejam u = ( 4 3) v = (2 5) e w = (a b).
Leia mais6. Verifique detalhadamente que os seguintes conjuntos são espaços vetoriais(com a soma e produto por escalar usuais):
a Lista. Sejam u = ( 4 ) v = ( 5) e w = (a b). Encontre a e b tais que (a)w = u + v (b)w = 5v (c)u + w = u v. Represente os vetores acima no plano cartesiano.. Sejam u = (4 ) v = ( 4) e w = (a b c). Encontre
Leia maisÁLGEBRA LINEAR. Exame Final
UNIVERSIDADE DE AVEIRO DEPARTAMENTO DE MATEMÁTICA ÁLGEBRA LINEAR Exame Final 9/0/00 DURAÇÃO: 3 horas Nome: N o Aluno: Observação: Declaro que desisto: (Justifique sempre as suas respostas) Folha. (4,0
Leia maisÁLGEBRA LINEAR I - MAT Em cada item diga se a afirmação é verdadeira ou falsa. Justifiquei sua resposta.
UNIVERSIDADE FEDERAL DA INTEGRAÇÃO LATINO-AMERICANA Instituto Latino-Americano de Ciências da Vida e Da Natureza Centro Interdisciplinar de Ciências da Natureza ÁLGEBRA LINEAR I - MAT0032 2 a Lista de
Leia mais2012/2013-2º SEMESTRE- 2ª ÉPOCA EXAME DE ÁLGEBRA LINEAR (1303) 4 de Julho de 2013
1- Um n-simplex é um conjunto S n n definido por: S n x 1,x 2,...,x n n : x 1 x 2... x n 1,x 1 0,x 2 0,...,x n 0. 1.1- Desenhe S 3 x 1,x 2,x 3 3 : x 1 x 2 x 3 1,x 1 0,x 2 0,x 3 0. [1/20] 1.2- Qual é o
Leia maisMétodo Guloso. Troco mínimo. Paulo Eustáquio Duarte Pinto (pauloedp arroba ime.uerj.br) junho/2012. Troco mínimo. Troco mínimo
Notas de aula da disciplina IME - ALGORITMOS E ESTRUTURAS DE DADOS II Paulo Eustáquio Duarte Pinto (pauloedp arroba ime.uerj.br) Troco mínimo Dados os tipos de moedas de um país, determinar o número mínimo
Leia mais3 - Subespaços Vetoriais
3 - Subespaços Vetoriais Laura Goulart UESB 16 de Agosto de 2018 Laura Goulart (UESB) 3 - Subespaços Vetoriais 16 de Agosto de 2018 1 / 10 Denição Um subespaço vetorial é um subconjunto de um e.v.r. que
Leia maisGabarito P2. Álgebra Linear I ) Decida se cada afirmação a seguir é verdadeira ou falsa.
Gabarito P2 Álgebra Linear I 2008.2 1) Decida se cada afirmação a seguir é verdadeira ou falsa. Se { v 1, v 2 } é um conjunto de vetores linearmente dependente então se verifica v 1 = σ v 2 para algum
Leia maisEspaço amostral Ω: Conjunto enumerável de todos os possíveis resultados de um experimento aleatório. um evento elementar. E = E[X j ] X j.
Universidade Tecnológica Federal do Paraná Professor Murilo V G da Silva Notas de aula Algoritmos Avançados I (Aula 04 Conteúdos da aula: [CLR09: cap 7 e 9][MIE05 4, 5] Vamos estudar nesta aula três algoritmos
Leia maisG3 de Álgebra Linear I
G3 de Álgebra Linear I 2.2 Gabarito ) Considere a matriz 4 N = 4. 4 Observe que os vetores (,, ) e (,, ) são dois autovetores de N. a) Determine uma forma diagonal D de N. b) Determine uma matriz P tal
Leia maisPCS Sistemas Digitais I. Códigos para Detecção e Correção de Erros. Prof. Dr. Marcos A. Simplicio Jr. versão: 3.0 (Jan/2016)
PCS 3115 Sistemas Digitais I Códigos para Detecção e Correção de Erros Prof. Dr. Marcos A. Simplicio Jr. versão: 3.0 (Jan/2016) Adaptado por Glauber (2018) Códigos para Detecção de Erros Erro: dado alterado
Leia maisÂngulo e ortogonalidade em espaços com produto interno
Ângulo e ortogonalidade em espaços com produto interno Juliana Pimentel juliana.pimentel@ufabc.edu.br http://hostel.ufabc.edu.br/ juliana.pimentel Sala 507-2 - Bloco A, Torre 2 Definir a noção de ângulo
Leia maisÁlgebra Linear e Aplicações - Lista para Primeira Prova
Álgebra Linear e Aplicações - Lista para Primeira Prova Nestas notas, X, Y,... são espaços vetoriais sobre o mesmo corpo F {R, C}. Você pode supor que todos os espaços têm dimensão finita. Os exercícios
Leia mais1 Subespaços Associados a uma Matriz
1 Subespaços Associados a uma Matriz Seja V = R n e para quaisquer u, v, e w em V e quaisquer escalares r,s em R 1, 1. u + v é um elemento de V sempre que u e v são elementos de V a adição é fechada, 2.
Leia maisTÉCNICAS DE CODIFICAÇÃO DE SINAIS
TÉCNICAS DE CODIFICAÇÃO DE SINAIS COMPRESSÃO SEM PERDAS Evelio M. G. Fernández - 2010 Exemplo Símbolo Prob I II III IV A 1/2 00 0 0 0 B 1/4 01 11 10 01 C 1/8 10 00 110 011 D 1/8 11 01 1110 0111 Entropia
Leia maisGRAFOS E ALGORITMOS TEORIA DE GRAFOS
GRAFOS E ALGORITMOS TEORIA DE GRAFOS 1a. PARTE Prof. Ronaldo R. Goldschmidt rribeiro@univercidade.br ronaldo_goldschmidt@yahoo.com.br ROTEIRO 1. INTRODUÇÃO E MOTIVAÇÃO 2. FUNDAMENTOS 3. CONECTIVIDADE 4.
Leia maisÁlgebra Linear. Prof. Ronaldo Carlotto Batista. 20 de março de 2019
Álgebra Linear ECT2202 Prof. Ronaldo Carlotto Batista 20 de março de 2019 AVISO O propósito fundamental destes slides é servir como um guia para as aulas. Portanto eles não devem ser entendidos como referência
Leia maisAula 27 - Álgebra II. x (m(x)), x 2 + x + (m(x)), x 2 + x (m(x)) operações deste corpo são as seguintes:
Já vimos maneiras de codificar mensagens de modo a que, no caso de ocorrerem alguns erros na sua transmissão, o receptor possa ser capaz de corrigir esses erros. Esses códigos, chamados códigos lineares
Leia maisCódigos cíclicos - Parte 2
Códigos cíclicos - Parte 2 Luis Henrique Assumpção Lolis 22 de novembro de 203 Luis Henrique Assumpção Lolis Códigos cíclicos - Parte 2 Conteúdo Cálculo da síndrome e computação de erros 2 Decodificando
Leia maisCélia Borlido 07/09/2007 Encontro Nacional dos Novos Talentos em Matemática
Sistemas de Numeração Célia Borlido 7/9/27 Encontro Nacional dos Novos Talentos em Matemática Alguma notação para começar Є representa a palavra vazia. Se é um alfabeto, isto é, um conjunto não vazio de
Leia mais(d) Seja W um espaço vetorial de dimensão 4 e sejam U e V subespaços de W tais que U V = 0. Assinale. Gabarito Pág. 1
UFRJ Instituto de Matemática Disciplina: Algebra Linear II - MAE 125 Professor: Bruno, Gregório, Luiz Carlos, Mario, Milton, Monique e Umberto Data: 15 de maio de 2013 Primeira Prova 1. Os valores de (a,
Leia mais(x 1, y 1 ) (x 2, y 2 ) = (x 1 x 2, y 1 y 2 ); e α (x, y) = (x α, y α ), α R.
INSTITUTO DE MATEMÁTICA E ESTATÍSTICA UNIVERSIDADE DE SÃO PAULO MAT-2457 Álgebra Linear para Engenharia I Terceira Lista de Exercícios - Professor: Equipe da Disciplina EXERCÍCIOS 1. Considere as retas
Leia maisÁ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 maisMATEMÁTICA MÓDULO 11 DETERMINANTES. Professor Matheus Secco
MATEMÁTICA Professor Matheus Secco MÓDULO 11 DETERMINANTES INTRODUÇÃO Neste módulo, não daremos a definição padrão de determinantes via somatório envolvendo sinais de permutações, pois não há necessidade
Leia maisMAT ÁLGEBRA LINEAR PARA ENGENHARIA II 1 a Lista de Exercícios - 2 o semestre de 2006
MAT 2458 - ÁLGEBRA LINEAR PARA ENGENHARIA II 1 a Lista de Exercícios - 2 o semestre de 2006 1. Sejam u = (x 1, x 2 ) e v = (y 1, y 2 ) vetores de R 2. Para que valores de t R a funcão u, v = x 1 y 1 +
Leia mais(e) apenas as afirmações (II) e (III) são verdadeiras.
Nas questões da prova em que está fixado um sistema de coordenadas Σ = (O, E, quando for necessário, considera-se que E é uma base ortonormal positiva. 1Q 1. Seja V um espaço vetorial e x 1, x 2,, x q,
Leia mais