Compiladores. Tipos. Regras semânticas. Expressões de tipos. Propriedades de Sistemas Tipados. Análise Semântica e checagem de tipos

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

Download "Compiladores. Tipos. Regras semânticas. Expressões de tipos. Propriedades de Sistemas Tipados. Análise Semântica e checagem de tipos"

Transcrição

1 Compiladoe Veificação de tipo Supote ao untime Análie Semântica e checagem de tipo Intodução: o que ão tipo, paa que evem...? Repeentação de tipo Exemplo de veificação de tipo: Uma linguagem imple Declaaçõe, expeõe, intuçõe, funçõe... Uo de ega emântica paa veifica a declaação de tipo. Uo de ega emântica paa veifica o tipo de expeõe Uo de ega emântica paa veifica o tipo de comando Uo de ega emântica paa veifica o tipo de funçõe Tipo Definiçõe: Um tipo é uma coleção de valoe computávei que compatilham alguma popiedade etutual (Mitchell) Uma coleção de valoe que um fagmento de pogama pode aumi duante execução (Cadelli) Poque te tipo? 1. Se voce poui tipo e um itema tipado (conjunto de ega), é poível checa em pépoceamento paa evita eo de execução 2. Etutua do pogama & documentação 3. Manutenção & engenhaia de oftwae 4. Otimizaçõe Popiedade de Sitema Tipado Uma linguagem tipada iá etona um eo cao haja inconitência ente o tipo do dado. Pogamado deve abe poque o pogama não compila ou poduz eo Veificação é não tivial: Linguagen fotemente tipada Nenhum eo de tipo paa depecebido Exemplo: ML, ADA, Pacal (maio pate), Java Linguagen facamente tipada Eo de tipo podem ocoe: C/C++: uando conveão, aitmética envolvendo ponteio, paando final de um aay, etc Balanço: Linguagen facamente checada peciam de alguma foma de gabage collection (podem impacta o tempo de execução) Ma ão mai fácei de eceve pogama (vantagem obe apecto de tempo de deenvolvimento) Rega emântica Exemplo: Se ambo opeando de opeaçõe aitmética ão inteio, então o eultado é inteio O eultado de um opeado unáio & é um ponteio paa o objeto decito pelo opeando Denota o tipo de uma contução de linguagem: Expeão de Tipo: tipo báico tipo etutuado: fomado ou fomado atavé da aplicação de um opeado de contução de tipo Expeõe de tipo 1. Um tipo báico é um expeão de tipo. Ex: boolean, cha, intege, eal, etc. Um tipo epecial, type_eo inaliza um eo duante checagem 2. Se tipo de expeõe podem te nome, um nome de tipo é uma expeão de tipo. Ex. Regito/tuct 3. Contutoe de tipo aplicado a tipo de expeõe ão expeõe de tipo Aay, ponteio 4. Expeõe de Tipo podem conte vaiávei cujo valoe ão expeõe de tipo 1

2 Contutoe de tipo 1. Aanjo: Se T é um expeão de tipo, então aay (I, T) é uma expeão de tipo. Ex: va A: aay[1..10] of intege; 2. Poduto: Se T1 e T2 ão expeõe de tipo, então o poduto cateiano T1 x T2 é uma expeão de tipo. 3. Regito: Um egito é fomado po campo com nome 4. Ponteio: Se T é uma expeão de tipo, então ponteio(t) epeenta o tipo elativo ao ponteio de um objeto de tipo T 5. Funçõe: Mapeamento de um tipo de domínio D em um intevalo de domínio R. Ex: function f(a, b: cha) : pointe to intege cha x cha -> pointe(intege) Repeentação Gáfica x pointe cha cha intege function f(a, b: cha) : pointe to intege Repeentação de tipo etutuado Checagem compilação v. execução tuct 1 { int lage1; hot int mall1; }; lage1 mall tuct 2 { int lage2 : 18; hot int mall2 : 10; }; lage2 mall Checagem dinâmica x etática Etática: em tempo de compilação Ante da execução ( paa toda a entada ) Compilado maio, etinge flexibilidade, meno expeiva Dinâmica: em tempo de execução Duante a execução ( com uma dada entada ) Pode e muito tade! Caa, ma mai flexível Rega emântica - declaação P -> D ; E D -> D ; D D -> id : T {addtype(id.enty, T.type) } T -> cha { T.type := cha } T -> intege { T.type := intege } T -> T 1 {T.type := pointe(t 1.type) } T aay [num] of T 1 Exemplo de checagem de Tipo Uma linguagem de Pogamação imple: Vaiávei ão definida ante de eem uada Semelhante a Pacal N :intege; N mod 1999 P -> D ; E D -> D ; D id : T T -> cha intege aay [ num ] of T T E -> liteal num id E mod E E [E] E 2

3 Rega emântica - declaação P -> D ; E D -> D ; D D -> id : T {addtype(id.enty, T.type) } T -> cha { T.type := cha } T -> intege { T.type := intege } T -> T 1 {T.type := pointe(t 1.type) } T aay [num] of T 1 { T.type := aay(1..num.val, T 1.tipo)} Veificação de Tipo de Expeõe E -> liteal { E.type := cha } E -> num { E.type := intege } E -> id { E.type := lookup(id.enty) } E -> E1 mod E2 { E.type := if E1.type == intege and E2.type = intege then intege ele type_eo} E -> E1 [E2] { E.type := if E2.type == intege and E1.type == aay(, t) then t ele type_eo } E -> E {E.type := if E1.type == pointe(t) then t ele type_eo } Conveõe Implícita Conveõe Implícita e Deempenho PRODUÇÃO E num E num.num E id E E 1 op E 2 REGRA SEMÂNTICA E.tipo := inteio E.tipo := eal E.tipo := pocua(id.entada) E.tipo := IF E 1.tipo = inteio e E 2.tipo = inteio THEN inteio ELSE IF E 1.tipo = eal e E 2.tipo = eal THEN eal ELSE IF E 1.tipo = eal e E 2.tipo = inteio THEN eal ELSE IF E 1.tipo = inteio e E 2.tipo = eal THEN eal OBS: Reolvida em tempo de compilação Pode melhoa tempo de execução Obevação de Bentley [1982] em Pacal Com X endo um aay de eai: fo i := 1 to n do X[i] := 1 Leva 48,4 x n mico-ecundo fo i := 1 to n do X[i] := 1.0 Leva 5,4 x n mico-ecundo Compiladoe inteligente convetem 1 paa 1.0 em tempo de compilação Supote à Execução Compiladoe Ambiente de upote à execução O Compilado gea código executável. Ma nem tudo etá conhecido ante que o pogama eja executado! Valoe de paâmeto e funçõe, Memóia dinamicamente alocada, Dependendo do númeo de chamada, qual endeeço ua paa acha o início de cada execução de um pocedimento? Etc... É pecio de um conjunto de otina (un-time uppot package) caegado junto com o código objeto geado 3

4 Pocedimento O comando ão oganizado em pocedimento: declaação com um nome aociado que ealiza uma dada taefa definição: nome vaiávei copo Pocedimento em ação (ativação) Fluxo de contole: execução eqüencial (eqüência de pao) começa no início do copo temina no final do copo tempo de vida: eqüência de pao executado chamada de pocedimento: devio de execução etona o contole paa o ponto imediatamente apó o ponto de chamada Exemplo: o Quickot Ávoe de Ativação pogam ot(input, output); va a : aay [0..10] of intege; pocedue eadaay; va i: intege; begin fo i:=1 to 9 do ead(a[i]); end; function patition(y, z: intege): intege; va i, j, x, v: intege; begin... end; pocedue quickot(m, n: intege); va i: intege; begin if ( n > m) then begin i:= patition(m, n); quickot(m, i-1); quickot(i+1, n); end; end; begin a[0] := -9999; a[10]:= 9999; eadaay; quickot(1, 9); end. Cada nó epeenta uma ativação de um pocedimento A aiz epeenta a ativação do pogama pincipal O nó de a é pai de b e e omente e o fluxo de contole muda de a paa b O nó de a etá à equeda de b e e omente e a vida de a ocoe ante de b Ávoe de ativação Ávoe de ativação execution begin execution begin 4

5 Ávoe de ativação Ávoe de ativação execution begin execution begin ente quickot(1, 9) q(1,9) Ávoe de ativação Ávoe de ativação execution begin ente quickot(1, 9) q(1,9) execution begin ente quickot(1, 9) leave patition(1,9) q(1,9) Ávoe de ativação Ávoe de ativação execution begin ente quickot(1, 9) leave patition(1,9) ente quickot(1,3) q(1,9) execution begin ente quickot(1, 9) leave patition(1,9) ente quickot(1,3)... leave quickot(5, 9) q(1,9) q(5,9) p(5,9) q(5,5) q(7,9) p(1,3) q(1,0) q(2,3) p(7,9) q(7,7) q(9,9) p(2,3) q(2,1) q(3,3) 5

6 Ávoe de ativação Ávoe de ativação execution begin ente quickot(1, 9) leave patition(1,9) ente quickot(1,3)... leave quickot(5, 9) leave quickot(1,9) q(1,9) q(5,9) p(5,9) q(5,5) q(7,9) p(1,3) q(1,0) q(2,3) p(7,9) q(7,7) q(9,9) p(2,3) q(2,1) q(3,3) execution begin ente quickot(1, 9) leave patition(1,9) ente quickot(1,3)... leave quickot(5, 9) leave quickot(1,9) execution teminated q(1,9) q(5,9) p(5,9) q(5,5) q(7,9) p(1,3) q(1,0) q(2,3) p(7,9) q(7,7) q(9,9) p(2,3) q(2,1) q(3,3) Pilha de contole Oganização de Memóia O fluxo de contole coeponde a uma buca em pofundidade na ávoe de ativação Ua-e uma pilha paa contola a ativaçõe de pocedimento ativo q(1,9) p(1,3) q(1,0) q(2,3) Como a memóia do pogama é amazenada? código objeto geado; epaço paa vaiávei globai Núcleo áea etática pilha paa ativação de pocedimento Pilha epaço paa memóia dinâmica (heap). HEAP Texto Alocação de memóia Alocação etática: eeva de memóia é feita duante a compilação, de foma etática. Tipo (ou compimento) do dado é conhecido em tempo de compilação Compimento não é modificado duante a execução do pogama Áea dado (SiOp) Pilha HEAP Texto Alocação de memóia Alocação dinâmica (HEAP): etutua de dado efeenciada atavé de ponteio, a áea também ão eevada dinamicamente. áea ão alocada e libeada, ob o contole do pogama alocada na áea de "heap", que cece no entido contáio ao da pilha. Áea dado (SiOp) Pilha HEAP Texto 6

7 Alocação de memóia Regito de Ativação Alocação em pilha (STACK): Áea paa dado locai de pocedimento (ubotina ou funçõe): devem e alocada dinamicamente. A alocação de epaço de memóia omente pode e ealizada em tempo de execução, poque a odem de chamada é deteminada pela execução do pogama. Áea ão alocada numa etutua em pilha de ativação de pocedimento Na pilha entam (e aem) egito de ativação. valo etonado paâmeto efetivo ponteio de contole ponteio de aceo etado da CPU vaiávei locai tempoáio podem e paado ou etonado em egitadoe (paa maio eficiência) aponta paa o egito de ativação da otina chamadoa aponta paa dado não-locai, amazenado em outo egito de ativação "pogam counte"e egitadoe Ob: pode-e ua egitadoe paa algun do campo! Ponteio de Aceo Código de Chamada fp p egito de ativação da otina chamadoa paâmeto e valoe etonado apontadoe de contole e etado da máquina vaiávei locai e tempoáio avaliado pela otina chamadoa alguma infomaçõe ão peenchida pela otina chamadoa áea uada pela otina chamada 2 ponteio: fame_pointe (fp): aponta paa o egito de ativação coente tack_pointe (p): topo da pilha de egito de ativação otina chamadoa: avalia o paâmeto efetivo e o coloca na pilha Regitadoe em uo pelo chamado ão alvo em memóia amazena o endeeço de etono e o valo antigo do fame_pointe no egito de ativação da otina chamada e atualiza o valo do fame_pointe; otina chamada: alva valoe de egitadoe e outa infomaçõe do etado da máquina; inicializa vaiávei locai e começa ua execução. Código de Retono Seqüência de chamada otina chamada: amazena o valo de etono logo apó o egito de ativação da otina chamadoa; etaua o apontado topo_a e o egitadoe da máquina e devia paa o endeeço de etono dento da otina chamadoa; valo etono e paâmeto Ponteio e Etado Tmp / dado locai Regito Ativação chamado otina chamadoa: copia o valo etonado no eu pópio egito de ativação Topo valo etono e paâmeto Ponteio e Etado Regito Ativação chamado Topo Tmp / dado locai 7

8 Seqüência de chamada Seqüência de etono valo etono e paâmeto Ponteio e Etado Tmp / dado locai valo etono e paâmeto Sob eponabilidade do chamado O chamado coloca um valo de etono no devido luga... Ou eja, logo depoi do egito do chamado! Recupea o antigo valo de topo no campo de etado E também o outo egitadoe... Devia paa o antigo PC Ponteio e Etado Topo Tmp / dado locai Sob eponabilidade do chamado Impotante: o chamado ainda pode acea o que etá acima de topo... Quetão: o que etá nete luga? Póxima aula... Fim do upote ao untime: Paagem de paâmeto Ecopo de vaiável Tabela de ímbolo com ecopo... 8

Ambientes de Execução. Compiladores. Representação de tipos básicos. Questões Importantes. Representação de tipos estruturados

Ambientes de Execução. Compiladores. Representação de tipos básicos. Questões Importantes. Representação de tipos estruturados Ambiente de Execução Compiladoe Ambiente de execução Relaciona o código fonte com açõe a eem executada em tempo de execução Conjunto de otina (un-time uppot package) caegado junto com o código objeto geado

Leia mais

Suporte à Execução. Compiladores. Procedimentos. Árvores de Ativação. Exemplo: o Quicksort. Procedimentos em ação (ativação)

Suporte à Execução. Compiladores. Procedimentos. Árvores de Ativação. Exemplo: o Quicksort. Procedimentos em ação (ativação) Supote à Execução Compiladoe Ambiente de upote à execução O Compilado gea código executável. Ma nem tudo etá conhecido ante que o pogama eja executado! Valoe de paâmeto e funçõe, Memóia dinamicamente alocada,

Leia mais

Árvores Digitais. Fonte de consulta: Szwarcfiter, J.; Markezon, L. Estruturas de Dados e seus Algoritmos, 3a. ed. LTC. Capítulo11

Árvores Digitais. Fonte de consulta: Szwarcfiter, J.; Markezon, L. Estruturas de Dados e seus Algoritmos, 3a. ed. LTC. Capítulo11 Ávoes Digitais Fonte de consulta: Szwacfite, J.; Makezon, L. Estutuas de Dados e seus Algoitmos, 3a. ed. LTC. Capítulo Pemissas do que vimos até aqui } As chaves têm tamanho fixo } As chaves cabem em uma

Leia mais

CARACTERÍSTICA CONJUGADO x ROTAÇÃO DA MÁQUINA ASSÍNCRONA. José Roberto Cardoso. Circuito equivalente da Máquina Assíncrona

CARACTERÍSTICA CONJUGADO x ROTAÇÃO DA MÁQUINA ASSÍNCRONA. José Roberto Cardoso. Circuito equivalente da Máquina Assíncrona ARATERÍSTIA ONJUGADO x ROTAÇÃO DA MÁQUINA ASSÍNRONA Joé Robeto adoo icuito equivalente da Máquina Aíncona omo apeentado anteiomente, o cicuito equivalente modificado da máquina aíncona é dado po: A potência

Leia mais

2 O simulador tradicional 2.1 Introdução

2 O simulador tradicional 2.1 Introdução O imulado tadicional. Intodução Um do mai tadicionai e amplamente utilizado imuladoe de tanitóio em itema de potência é o EMTP [3]. Ele pemite modelagem elativamente complexa do elemento e pode imula detalhadamente

Leia mais

Árvores e subárvores. Ilustração de uma árvore binária. Endereço de uma árvore. Maneiras de varrer uma árvore. esquerda-raiz-direita versão iterativa

Árvores e subárvores. Ilustração de uma árvore binária. Endereço de uma árvore. Maneiras de varrer uma árvore. esquerda-raiz-direita versão iterativa Avoes bináias AULA 25 Fonte: https://www.tumbl.com/ PF 14 http://www.ime.usp.b/ pf/algoitmos/aulas/bint.html Mais tabela de símbolos Uma tabela de símbolos (= symbol table = dictionay) é um conjunto de

Leia mais

A primeira lei da Termodinâmica para um Volume de Controle Inercial. Relembrando! A primeira Lei para um sistema: (1)

A primeira lei da Termodinâmica para um Volume de Controle Inercial. Relembrando! A primeira Lei para um sistema: (1) EOLA DE ENGENHARIA DE SÃO CARLOS Núcleo de Engenhaia Témica e Fluido A pimeia lei da Temodinâmica paa um olume de Contole Inecial Relembando! A pimeia Lei paa um itema: Q W onde E é a de dt () E itema

Leia mais

Colégio Santa Dorotéia Área de Matemática Disciplina: Matemática Ano: 8º - Ensino Fundamental Professores: Marcus e Weslei

Colégio Santa Dorotéia Área de Matemática Disciplina: Matemática Ano: 8º - Ensino Fundamental Professores: Marcus e Weslei Áea de Diciplina: Ano: 8º - Enino Fundamental Pofeoe: Macu e Welei Atividade paa Etudo Autônomo Data: 0 / 5 / 09 Cao(a) aluno(a), O momento de evião deve e vito como opotunidade de econtui conhecimento

Leia mais

Linhas de Campo Magnético

Linhas de Campo Magnético Linha de Campo Magnético Popiedade da Linha de Campo Magnético Não há evidência expeimental de monopolo magnético (pólo iolado) Etutua magnética mai imple: dipolo magnético Linha de Campo Magnético ão

Leia mais

CAPÍTULO 4 4.1 GENERALIDADES

CAPÍTULO 4 4.1 GENERALIDADES CAPÍTULO 4 PRIMEIRA LEI DA TERMODINÂMICA Nota de aula pepaada a pati do livo FUNDAMENTALS OF ENGINEERING THERMODINAMICS Michael J. MORAN & HOWARD N. SHAPIRO. 4. GENERALIDADES Enegia é um conceito fundamental

Leia mais

Geometria de Posição. Continuação. Prof. Jarbas

Geometria de Posição. Continuação. Prof. Jarbas Geometia de Poição Continuação Pof. Jaba POSIÇÕES RELATIVAS ENTRE DUAS RETAS NO ESPAÇO O que ão eta coplanae? São eta contida num memo plano. O que ão eta evea? São eta que não etão contida num memo plano.

Leia mais

Prova Escrita de Matemática A

Prova Escrita de Matemática A EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Pova Escita de Matemática A.º Ano de Escolaidade Deceto-Lei n.º 9/0, de 5 de julho Pova 65/Época Especial Citéios de Classificação Páginas 05 Pova 65/ E. Especial

Leia mais

Matemática. 8 o ano. Caderno 1

Matemática. 8 o ano. Caderno 1 Matemática 8 o ano adeno 1 Módulo 1 1 Em elação ao infogáfico apeentado a egui, eponda ao que e pede. Fonte: Folha de S.Paulo, 6, 9 ma. 2014. a) Qual é a fonte da pequia? b) Qual é o aunto cental dee infogáfico?

Leia mais

Lab. 4 Laboratório de Resposta em Frequência 1

Lab. 4 Laboratório de Resposta em Frequência 1 Lab. 4 Laboatóio de Resposta em Fequência 1 Análise do Diagama de Bode Constução do Diagama de Bode Diagama de Bode de uma Função Resposta em Fequência Identificação Expeimental da Função Resposta em Fequência

Leia mais

Colégio Santa Dorotéia Área de Matemática Disciplina: Matemática Ano: 8º - Ensino Fundamental Professores: Marcus e Wuledson

Colégio Santa Dorotéia Área de Matemática Disciplina: Matemática Ano: 8º - Ensino Fundamental Professores: Marcus e Wuledson Cao(a) aluno(a), O momento de evião deve e vito como opotunidade de econtui conhecimento neceáio à continuação do poceo de apendizagem. Natualmente, a ealização dea atividade eigiá de você um envolvimento

Leia mais

Prova Escrita de Matemática A

Prova Escrita de Matemática A EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Pova Escita de Matemática A 12.º Ano de Escolaidade Deceto-Lei n.º 19/2012, de 5 de julho Pova 65/1.ª Fase Citéios de Classificação 11 Páginas 2016 Pova 65/1.ª

Leia mais

Material Teórico - Módulo Elementos Básicos de Geometria Plana - Parte 1. Conceitos Geométricos Básicos. Oitavo Ano. Prof. Ulisses Lima Parente

Material Teórico - Módulo Elementos Básicos de Geometria Plana - Parte 1. Conceitos Geométricos Básicos. Oitavo Ano. Prof. Ulisses Lima Parente Mateial Teóico - Módulo Elemento áico de Geometia Plana - Pate 1 Conceito Geomético áico itavo no Pof. Ulie Lima Paente 1 Conceito pimitivo ideia de ponto, eta e plano apaecem natualmente quando obevamo

Leia mais

CAPÍTULO 5. Dedução Natural

CAPÍTULO 5. Dedução Natural CAPÍTULO 5. Dedução Natual Iniciamo ete caítulo com a eguinte egunta: O ue é a dedução natual? É o oceo aa etabelece de maneia igooa a validade do agumento, deivando a concluão do agumento a ati da emia

Leia mais

Matemática. Atividades. complementares. FUNDAMENTAL 8-º ano. Este material é um complemento da obra Matemática 8. uso escolar. Venda proibida.

Matemática. Atividades. complementares. FUNDAMENTAL 8-º ano. Este material é um complemento da obra Matemática 8. uso escolar. Venda proibida. 8 ENSINO FUNMENTL 8-º ano Matemática tividade complementae Ete mateial é um complemento da oba Matemática 8 Paa Vive Junto. Repodução pemitida omente paa uo ecola. Venda poibida. Samuel aal apítulo 6 Ete

Leia mais

4 Modelo para Extração de Regras Fuzzy a partir de Máquinas de Vetores Suporte FREx_SVM 4.1 Introdução

4 Modelo para Extração de Regras Fuzzy a partir de Máquinas de Vetores Suporte FREx_SVM 4.1 Introdução 4 Modelo paa Extação de Regas Fuzzy a pati de Máquinas de Vetoes Supote FREx_SVM 4.1 Intodução Como já mencionado, em máquinas de vetoes supote não se pode explica a maneia como sua saída é obtida. No

Leia mais

ELETRICIDADE CAPÍTULO 3 LEIS DE CIRCUITOS ELÉTRICOS

ELETRICIDADE CAPÍTULO 3 LEIS DE CIRCUITOS ELÉTRICOS ELETICIDADE CAPÍTULO 3 LEIS DE CICUITOS ELÉTICOS - CONSIDEE A SEGUINTE ELAÇÃO: 3. LEI DE OHM - QUALQUE POCESSO DE CONVESÃO DE ENEGIA PODE SE ELACIONADO A ESTA EQUAÇÃO. - EM CICUITOS ELÉTICOS : - POTANTO,

Leia mais

Material Teórico - Sistemas Lineares e Geometria Anaĺıtica. Sistemas com Três Variáveis - Parte 2. Terceiro Ano do Ensino Médio

Material Teórico - Sistemas Lineares e Geometria Anaĺıtica. Sistemas com Três Variáveis - Parte 2. Terceiro Ano do Ensino Médio Mateial Teóico - Sistemas Lineaes e Geometia Anaĺıtica Sistemas com Tês Vaiáveis - Pate 2 Teceio Ano do Ensino Médio Auto: Pof. Fabício Siqueia Benevides Reviso: Pof. Antonio Caminha M. Neto 1 Sistemas

Leia mais

Resumo da última aula. Compiladores. Tipos. Regras semânticas. Expressões de tipos. Análise Semântica e checagem de tipos.

Resumo da última aula. Compiladores. Tipos. Regras semânticas. Expressões de tipos. Análise Semântica e checagem de tipos. Resumo da última aula Compiladores Análise semântica Verificação de tipos 1 Implementação: Esquemas S-atribuídos: Mecanismo bottom-up direto Esquemas L-atribuídos: Mecanismo top-down: Necessita gramática

Leia mais

Figura 6.6. Superfícies fechadas de várias formas englobando uma carga q. O fluxo eléctrico resultante através de cada superfície é o mesmo.

Figura 6.6. Superfícies fechadas de várias formas englobando uma carga q. O fluxo eléctrico resultante através de cada superfície é o mesmo. foma dessa supefície. (Pode-se pova ue este é o caso poue E 1/ 2 ) De fato, o fluxo esultante atavés de ualue supefície fechada ue envolve uma caga pontual é dado po. Figua 6.6. Supefícies fechadas de

Leia mais

Processamento de Imagens

Processamento de Imagens Poceamento de Imagen By Vania V. Etela UFF-TELECOM, Joaquim T. de AiIPRJ-UERJ Técnica de Modificação de Hitogama O hitogama de uma imagem, que é uma oiedade do conteúdo da infomação contida na mema, é

Leia mais

Material Teórico - Módulo Elementos Básicos de Geometria Plana - Parte 1. Conceitos Geométricos Básicos. Oitavo Ano

Material Teórico - Módulo Elementos Básicos de Geometria Plana - Parte 1. Conceitos Geométricos Básicos. Oitavo Ano Mateial Teóico - Módulo Elemento áico de Geometia Plana - Pate 1 Conceito Geomético áico itavo no uto: Pof. Ulie Lima Paente evio: Pof. ntonio Caminha Potal da MEP 1 Conceito pimitivo ideia de ponto, eta

Leia mais

MATEMÁTICA - 3o ciclo

MATEMÁTICA - 3o ciclo MATEMÁTICA - o ciclo Função afim e equação da eta ( o ano) Eecício de pova nacionai e tete intemédio. No efeencial otogonal e monomético, de oigem no ponto, da figua ao lado, etão epeentada a eta e. A

Leia mais

2.1. Fluxo Eléctrico 2.2. Lei de Gauss 2.3. Aplicações da Lei de Gauss a Isolantes Carregados 2.4. Condutores em Equilíbrio Electrostático

2.1. Fluxo Eléctrico 2.2. Lei de Gauss 2.3. Aplicações da Lei de Gauss a Isolantes Carregados 2.4. Condutores em Equilíbrio Electrostático 2. Lei de Gauss 1 2.1. Fluxo Eléctico 2.2. Lei de Gauss 2.3. Aplicações da Lei de Gauss a Isolantes Caegados 2.4. Condutoes em Equilíbio Electostático Lei de Gauss: - É uma consequência da lei de Coulomb.

Leia mais

1 Busca em Amplitude

1 Busca em Amplitude Algoitmos de Busca A modelagem mostada até aqui detemina a configuação do espaço de estados do poblema, mas não mosta como chega à solução, isto é, como enconta um estado final em um tempo azoável. Paa

Leia mais

Campo Magnético, Campo Eléctrico de Indução Devido ao Movimento e Binário da Máquina de Corrente Contínua

Campo Magnético, Campo Eléctrico de Indução Devido ao Movimento e Binário da Máquina de Corrente Contínua Campo Magnético, Campo Eléctico de Indução evido ao Movimento e Bináio da Máquina de Coente Contínua V. Maló Machado, I.S.T., Maio de 2008 A máquina de coente contínua, epeentada de foma etilizada na Fig.

Leia mais

Medidas de Associação.

Medidas de Associação. Medidas de Associação. Medidas de associação quantificam a elação ente uma dada exposição e uma consequência. Medidas de impacto quantificam o impacto da mudança de exposição num dado gupo. Não podemos

Leia mais

Disciplina Metodologia Analítica QUI102 II semestre AULA 01 (parte B) Profa. Maria Auxiliadora Costa Matos

Disciplina Metodologia Analítica QUI102 II semestre AULA 01 (parte B) Profa. Maria Auxiliadora Costa Matos Metodologia nalítica II sem/018 Pofa Ma uxiliadoa - 1 Univesidade Fedeal de Juiz de Foa Instituto de Ciências Exatas Depatamento de Química Disciplina Metodologia nalítica QUI10 II semeste 018 UL 01 (pate

Leia mais

3.3 Potencial e campo elétrico para dadas configurações de carga.

3.3 Potencial e campo elétrico para dadas configurações de carga. . Potencial e campo elético paa dadas configuações de caga. Emboa a maio utilidade do potencial se evele em situações em ue a pópia configuação de caga é uma incógnita, nas situações com distibuições conhecidas

Leia mais

Material Teórico - Módulo de Geometria Anaĺıtica 1. Paralelismo e Perpendicularidade. Terceiro Ano - Médio

Material Teórico - Módulo de Geometria Anaĺıtica 1. Paralelismo e Perpendicularidade. Terceiro Ano - Médio Mateial Teóico - Módulo de Geometia naĺıtica 1 Paalelimo e Pependiculaidade Teceio no - Médio uto: Pof ngelo Papa Neto Revio: Pof ntonio aminha M Neto 1 Reta paalela Na aula obe a equação da eta vimo que,

Leia mais

Pipeline. Organização de Computadores

Pipeline. Organização de Computadores Piplin Poco d Piplining (xmplo da lavandia) Ana, Buno, Cala, Luiz têm oupa uja a m lavada, cada, dobada guadada Lavadoa lva 30 minuto A B C D Scadoa lva 30 minuto Doba lva 30 minuto Guada lva 30 minuto

Leia mais

17/04/2017. Transferência de calor. Condução de calor. 1 º. semestre, Geometrias mais usuais. Parede plana. Esfera.

17/04/2017. Transferência de calor. Condução de calor. 1 º. semestre, Geometrias mais usuais. Parede plana. Esfera. 7/04/07 Tanfeência de calo Condução de calo º. emete, 07 Geometia mai uuai Paede plana Efea Cilindo longo 7/04/07 Condução de calo em paede plana: ditibuição de tempeatua Balanço de enegia Taxa decondução

Leia mais

Física Experimental: Mecânica. Aula 1. Introdução ao laboratório

Física Experimental: Mecânica. Aula 1. Introdução ao laboratório Física Expeimental: Mecânica Aula 1 Intodução ao laboatóio 1 Conteúdo desta aula: -Objetivos... slides 3 6 -Divisão de gupos... slides 6 8 -Uso de equipamentos... slides 9 11 -Unidades Intenacionais...

Leia mais

CAMPO ELÉCTRICO NO EXTERIOR DE CONDUTORES LINEARES

CAMPO ELÉCTRICO NO EXTERIOR DE CONDUTORES LINEARES CAMPO ELÉCTRICO NO EXTERIOR DE CONDUTORES LINEARES 1. Resumo A coente que passa po um conduto poduz um campo magnético à sua volta. No pesente tabalho estuda-se a vaiação do campo magnético em função da

Leia mais

Relação Risco Retorno em uma série histórica

Relação Risco Retorno em uma série histórica Relação Risco Retono em uma séie históica E ( j ) R j Retono espeado é a expectativa que se constói paa o esultado de um ativo a pati da média históica de esultado. E( j ) R j j,1 + j, + L+ n j, n n i

Leia mais

4 Modelagem Analítica

4 Modelagem Analítica 4 Modelagem Analítica Neste capítulo apesenta-se uma metodologia simples paa obte as tensões atuantes no defeito e no epao paa uma deteminada pessão intena, e também detemina as pessões que ocasionaam

Leia mais

2 Introdução ao estudo da fluorescência

2 Introdução ao estudo da fluorescência 9 2 Intodução ao etudo da fluoecência O peente capítulo tem po objetivo deceve e conceitua o fenômeno da fluoecência e como o memo pode e utilizado como feamenta no etudo de fenômeno moleculae. Paa tal,

Leia mais

Exame Final Nacional de Matemática A Prova 635 Época Especial Ensino Secundário º Ano de Escolaridade. Critérios de Classificação.

Exame Final Nacional de Matemática A Prova 635 Época Especial Ensino Secundário º Ano de Escolaridade. Critérios de Classificação. Exame Final Nacional de Matemática A Pova 635 Época Especial Ensino Secundáio 07.º Ano de Escolaidade Deceto-Lei n.º 39/0, de 5 de julho Citéios de Classificação 0 Páginas Pova 635/E. Especial CC Página

Leia mais

Curso: Engenharia de Produção PPNL. Min (Max) f(x)

Curso: Engenharia de Produção PPNL. Min (Max) f(x) PPNL Min (Max) f(x) Cuo: Engenhaia de Podução. a. g i (x) (,, ) b i, i 1,,m onde x (x 1,,x n ) T é o veto n-dimenional da vaiávei de decião; f (x) é a função objetivo; g i (x) ão a funçõe de etição e o

Leia mais

Erros de Tipo em Pascal Simplifificado

Erros de Tipo em Pascal Simplifificado Checagem de Tipos Erros de Tipos em Pascal Simplificado não capturados pela gramática Tarefas de um Type Checker e Conversões de Tipos Sistema de Tipos Checagem Estática X Dinâmica Linguagens Fortemente

Leia mais

Algoritmia e Programação APROG. Modularidade. Algoritmia e Java. Nelson Freire (ISEP DEI-APROG 2012/13) 1/29

Algoritmia e Programação APROG. Modularidade. Algoritmia e Java. Nelson Freire (ISEP DEI-APROG 2012/13) 1/29 APROG Algotma e Pogamação Moduladade Algotma e Java Nelo Fee (ISEP DEI-APROG 01/1) 1/9 Moduladade Sumáo Itodução Noção de Moduladade Eecução de Pogama Modula Motvaçõe paa Ua Foma de Comucação ete Módulo

Leia mais

Experiência 5. Controle no Espaço de Estados - Pêndulo Invertido com Observador e Ação PI

Experiência 5. Controle no Espaço de Estados - Pêndulo Invertido com Observador e Ação PI 929 - Laboatóio de Contole Dinâmico º/28 http://www.ene.unb.b/adolfo/lectue/labcdin/ Univeidade de Baília Pof. Adolfo Bauchpie Pof. Lélio Ribeio Soae Júnio Expeiência 5 Contole no Epaço de Etado - Pêndulo

Leia mais

INSTRUÇOES: Responda no espaço próprio da questão e use o verso da página como rascunho. lim(1 + x) = e (limites fundamentais) calcule o limite

INSTRUÇOES: Responda no espaço próprio da questão e use o verso da página como rascunho. lim(1 + x) = e (limites fundamentais) calcule o limite a FASE DO CONCURSO VESTIBULAR DO BACHARELADO EM ESTATÍSTICA a PROVA DA DISCIPLINA: CE65 ELEMENTOS BÁSICOS PARA ESTATÍSTICA 6/5/8 INSTRUÇOES: Responda no espaço pópio da questão e use o veso da página como

Leia mais

O perímetro da circunferência

O perímetro da circunferência Univesidade de Basília Depatamento de Matemática Cálculo 1 O peímeto da cicunfeência O peímeto de um polígono de n lados é a soma do compimento dos seus lados. Dado um polígono qualque, você pode sempe

Leia mais

Conceitos de Linguagens de Programação

Conceitos de Linguagens de Programação Faculdade de Ciências e Tecnologia Departamento de Matemática e Computação Bacharelado em Ciência da Computação Conceitos de Linguagens de Programação Aula 03 (rogerio@fct.unesp.br) Aula 3 Variáveis: Nomes

Leia mais

Prova Escrita de Matemática A

Prova Escrita de Matemática A EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Pova Escita de Matemática A 12.º Ano de Escolaidade Deceto-Lei n.º 139/2012, de 5 de julho Pova 635/2.ª Fase Citéios de Classificação 11 Páginas 2015 Pova 635/2.ª

Leia mais

Mecânica. M. dos fluídos

Mecânica. M. dos fluídos Intodução eoia da Relatividade 1. Hieaquia da Mecânica Clássica ou Newtoniana Isaac Newton (164-177) M. dos copos ígidos Mecânica M. dos fluídos Albet Einstein (1879-1955) M. dos copos defomáveis ou meios

Leia mais

Electricidade e magnetismo

Electricidade e magnetismo Electicidade e magnetismo Campo e potencial eléctico 2ª Pate Pof. Luís Pena 2010/11 Enegia potencial eléctica O campo eléctico, tal como o campo gavítico, é um campo consevativo. A foça eléctica é consevativa.

Leia mais

ESTUDO DO MOVIMENTO UNIFORMEMENTE ACELERADO DETERMINAÇÃO DA ACELERAÇÃO DA GRAVIDADE

ESTUDO DO MOVIMENTO UNIFORMEMENTE ACELERADO DETERMINAÇÃO DA ACELERAÇÃO DA GRAVIDADE TRABALHO PRÁTICO ESTUDO DO MOVIMENTO UNIFORMEMENTE ACELERADO DETERMINAÇÃO DA ACELERAÇÃO DA GRAVIDADE Objectivo Petende-se estuda o movimento ectilíneo e unifomemente aceleado medindo o tempo gasto po um

Leia mais

Medidas elétricas em altas frequências

Medidas elétricas em altas frequências Medidas eléticas em altas fequências A gande maioia das medidas eléticas envolve o uso de cabos de ligação ente o ponto de medição e o instumento de medida. Quando o compimento de onda do sinal medido

Leia mais

Matemática do Ensino Médio vol.2

Matemática do Ensino Médio vol.2 Matemática do Ensino Médio vol.2 Cap.11 Soluções 1) a) = 10 1, = 9m = 9000 litos. b) A áea do fundo é 10 = 0m 2 e a áea das paedes é (10 + + 10 + ) 1, = 51,2m 2. Como a áea que seá ladilhada é 0 + 51,2

Leia mais

Vestibulares da UFPB Provas de Física de 94 até 98 Prof. Romero Tavares Fone: (083) Eletricidade. q 3

Vestibulares da UFPB Provas de Física de 94 até 98 Prof. Romero Tavares Fone: (083) Eletricidade. q 3 Vestibulaes da UFB ovas de Física de 9 até 98 of. omeo Tavaes Fone: (08)5-869 leticidade UFB/98. Quato patículas caegadas com cagas,, e estão colocadas nos vétices de um uadado (ve figua ao lado). e o

Leia mais

FIGURA 1. Diagrama fasorial de um dielétrico submetido a uma tensão CA.

FIGURA 1. Diagrama fasorial de um dielétrico submetido a uma tensão CA. i.ee DETEMINAÇÃO DO FATO DE DISSIPAÇÃO PEDAS DIELÉTIAS Eng. Joé Aino Teieia J. ondutividade eidual. Peda o olaização 3. Peda o decaga aciai Gae : O gae gealmente tem eda etemamente baia. O mecanimo de

Leia mais

30/08/2016. Transferência de calor. Condução de calor. 2 º. semestre, Geometrias mais usuais. Parede plana. Esfera.

30/08/2016. Transferência de calor. Condução de calor. 2 º. semestre, Geometrias mais usuais. Parede plana. Esfera. 30/08/06 Tanfeência de calo Condução de calo º. emete, 06 Geometia mai uuai Paede plana Efea Cilindo longo 30/08/06 Condução de calo em paede plana: ditibuição de tempeatua Balanço de enegia Taxa decondução

Leia mais

II Transmissão de Energia Elétrica (Teoria de Linhas)

II Transmissão de Energia Elétrica (Teoria de Linhas) II Tansmissão de Enegia Elética (Teoia de Linhas) Linhas de tansmissão : (Pela física) todos os elementos de cicuitos destinados ao tanspote de enegia elética ente dois pontos, independentemente da quantidade

Leia mais

RESOLUÇÃO DA AVALIAÇÃO DE MATEMÁTICA 2 o ANO DO ENSINO MÉDIO DATA: 08/03/14 PROFESSOR: MALTEZ

RESOLUÇÃO DA AVALIAÇÃO DE MATEMÁTICA 2 o ANO DO ENSINO MÉDIO DATA: 08/03/14 PROFESSOR: MALTEZ RSOLUÇÃO VLIÇÃO MTMÁTI o NO O NSINO MÉIO T: 08/03/14 PROFSSOR: MLTZ QUSTÃO 01 Na figua, a eta e ão pependiculae e a eta m e n ão paalela. m 0º n ntão a medida do ângulo, em gau, é igual a: 0º m alteno

Leia mais

Eletrotécnica. Módulo III Parte II - Máquina de Indução. Prof. Sidelmo M. Silva, Dr. Sidelmo M. Silva, Dr.

Eletrotécnica. Módulo III Parte II - Máquina de Indução. Prof. Sidelmo M. Silva, Dr. Sidelmo M. Silva, Dr. 1 Eletotécnica Módulo III Pate II - Máquina de Indução Pof. Máquina de Indução ou Máquina Aíncona Tipo de máquina elética otativa mai utilizado Tipo de máquina com contução mai obuta (oto em gaiola quiel

Leia mais

Introdução. Representação Equações de transformação. Representação Equações de transformação. Representação Equações de transformação

Introdução. Representação Equações de transformação. Representação Equações de transformação. Representação Equações de transformação Intodução Intodução à obótia eição epaial e anfomaçõe / of. ougla G. Mahaet dougla.mahaet@d.ufmg.b Intodução à obótia - eição epaial e anfomaçõe / O efeenial {} pode e obtido omo U U U U ou Equação de

Leia mais

Prova Escrita de Matemática B

Prova Escrita de Matemática B EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Pova Escita de Matemática B 11.º Ano de Escolaidade Deceto-Lei n.º 139/01, de 5 de julho Pova 735/.ª Fase Citéios de Classificação 1 Páginas 016 Pova 735/.ª F.

Leia mais

Curso: Engenharia de Produção PPNL. Min (Max) f(x)

Curso: Engenharia de Produção PPNL. Min (Max) f(x) PPNL Min (Max) f(x). a. g i (x) (,, ) b i, i 1,,m onde x (x 1,,x n ) T é o veto n-dimenional da vaiávei de decião; f (x) é a função objetivo; g i (x) ão a funçõe de etição e o b i ão contante conhecida.

Leia mais

7 Síntese de Filtros Ativos

7 Síntese de Filtros Ativos 7 Síntee de Filto Ativo 7. - Foma Fatoada da Função de anfeência F Bloco fundamental na íntee de filto ativo é a função iquadada Já exitem ealizaçõe ativa deta função Foma Fatoada da F em temo de ª odem

Leia mais

é igual a f c f x f c f c h f c 2.1. Como g é derivável em tem um máximo relativo em x 1, então Resposta: A

é igual a f c f x f c f c h f c 2.1. Como g é derivável em tem um máximo relativo em x 1, então Resposta: A Pepaa o Eame 03 07 Matemática A Página 84. A taa de vaiação instantânea da função f em c é igual a f c e é dada po: c f f c f c h f c f lim lim c c ch h0 h Resposta: D... Como g é deivável em tem um máimo

Leia mais

Tipo. Tipo de uma variável: especificação de

Tipo. Tipo de uma variável: especificação de Checagem de Tipos O que é tipo? Erros de Tipos em FRANKIE não capturados pela gramática Tarefas de um Type Checker e Conversões de Tipos Sistema de Tipos Checagem Estática X Dinâmica Linguagens Fortemente

Leia mais

Aula Invariantes Adiabáticos

Aula Invariantes Adiabáticos Aula 6 Nesta aula, iemos inicia o estudo sobe os invaiantes adiabáticos, finalizando o capítulo 2. Também iniciaemos o estudo do capítulo 3, onde discutiemos algumas popiedades magnéticas e eléticas do

Leia mais

Caderno 2: 75 minutos. Tolerância: 15 minutos. Não é permitido o uso de calculadora.

Caderno 2: 75 minutos. Tolerância: 15 minutos. Não é permitido o uso de calculadora. Eame Final Nacional de Matemática A Pova 635 Época Especial Ensino Secundáio 018 1.º Ano de Escolaidade Deceto-Lei n.º 139/01, de 5 de julho Duação da Pova (Cadeno 1 + Cadeno ): 150 minutos. Toleância:

Leia mais

PARNAMIRIM - RN. Data: / / 2016

PARNAMIRIM - RN. Data: / / 2016 PARNAMIRIM - RN Aluno (a) Nº: 8º ano Tuma: Daa: / / 2016 NOTA: Eecício de evião de maemáica II Timee Pofeo (a): Joeane Fenande Agoa vamo coloca em páica o eu conhecimeno maemáico e udo o que eudamo em

Leia mais

4 r. Hcc. ligante. íon central. Modelo Simples de Recobrimento (Chem. Phys. Lett. 87, 27 e 88, 353 (1982) )

4 r. Hcc. ligante. íon central. Modelo Simples de Recobrimento (Chem. Phys. Lett. 87, 27 e 88, 353 (1982) ) Modelo Simples de ecobimento (Chem. Phys. ett. 87, 7 e 88, 353 (98) ) tópico III i) A enegia potencial dos elétons d e f, devido à peença de um ambiente uímico, é poduzida po cagas unifomemente distibuídas

Leia mais

4.4 Mais da geometria analítica de retas e planos

4.4 Mais da geometria analítica de retas e planos 07 4.4 Mais da geometia analítica de etas e planos Equações da eta na foma simética Lembemos que uma eta, no planos casos acima, a foma simética é um caso paticula da equação na eta na foma geal ou no

Leia mais

UFABC - Física Quântica - Curso Prof. Germán Lugones. Aula 14. A equação de Schrödinger em 3D: átomo de hidrogénio (parte 2)

UFABC - Física Quântica - Curso Prof. Germán Lugones. Aula 14. A equação de Schrödinger em 3D: átomo de hidrogénio (parte 2) UFABC - Física Quântica - Cuso 2017.3 Pof. Gemán Lugones Aula 14 A equação de Schödinge em 3D: átomo de hidogénio (pate 2) 1 Equação paa a função adial R() A equação paa a pate adial da função de onda

Leia mais

Física Experimental: Eletromagnetismo. Aula 1. Introdução ao laboratório

Física Experimental: Eletromagnetismo. Aula 1. Introdução ao laboratório Física Expeimental: Eletomagnetismo Aula 1 Intodução ao laboatóio 1 Conteúdo desta aula: -Objetivos... slides 3 4 -Divisão de gupos... slides 5 7 -Uso de equipamentos... slide 8 9 -Unidades Intenacionais...

Leia mais

PPNL. Conjuntos Convexos. Exemplos. Otimização e Conjuntos Convexos

PPNL. Conjuntos Convexos. Exemplos. Otimização e Conjuntos Convexos PPNL Min (Max) f(x). a. g i (x) (,, =) b i, i =,,m onde x = (x,,x n ) T é o veto n-dimenional da vaiávei de decião; f (x) é a função objetivo; g i (x) ão a funçõe de etição e o b i ão contante conhecida.

Leia mais

ELECTROMAGNETISMO. EXAME Época Especial 8 de Setembro de 2008 RESOLUÇÕES

ELECTROMAGNETISMO. EXAME Época Especial 8 de Setembro de 2008 RESOLUÇÕES ELETROMAGNETISMO EXAME Época Especial 8 de Setemo de 8 RESOLUÇÕES a Paa que a patícula esteja em equíio na posição ilustada, a foça eléctica tem de te o mesmo sentido que E A caga tem de se positiva T

Leia mais

Linguagens de Programação Aula 11

Linguagens de Programação Aula 11 Linguagens de Programação Aula 11 Celso Olivete Júnior olivete@fct.unesp.br Na aula passada Uma definição de subprograma descreve as ações representadas pelo subprograma Subprogramas podem ser funções

Leia mais

Máquinas de indução. Gil Marques 2005

Máquinas de indução. Gil Marques 2005 Máquina de indução Gil Maque 5 Conteúdo: Contituição Campo giante pincípio de funcionamento Modelo cicuito equivalente Caacteítica de egime pemanente Aanque Contituição - Roto em gaiola Cote tanveal 4

Leia mais

SISTEMA DE COORDENADAS

SISTEMA DE COORDENADAS ELETROMAGNETISMO I 1 0 ANÁLISE VETORIAL Este capítulo ofeece uma ecapitulação aos conhecimentos de álgeba vetoial, já vistos em outos cusos. Estando po isto numeado com o eo, não fa pate de fato dos nossos

Leia mais

CAPÍTULO 7: CAPILARIDADE

CAPÍTULO 7: CAPILARIDADE LCE000 Física do Ambiente Agícola CAPÍTULO 7: CAPILARIDADE inteface líquido-gás M M 4 esfea de ação molecula M 3 Ao colocamos uma das extemidades de um tubo capila de vido dento de um ecipiente com água,

Leia mais

FÍSICA º Ano de Escolaridade. Código 315

FÍSICA º Ano de Escolaridade. Código 315 INFORMAÇÃO-PROVA FÍSICA 018 Código 315 1.º Ano de Escolaidade Intodução O pesente documento divulga infomação elativa à pova de exame de equivalência à fequência da disciplina de Física, a ealiza em 018,

Leia mais

Forma Integral das Equações Básicas para Volume de Controle

Forma Integral das Equações Básicas para Volume de Controle Núcleo de Engenhaia Témica e Fluidos Mecânica dos Fluidos (SEM5749) Pof. Osca M. H. Rodiguez Foma Integal das Equações Básicas paa olume de Contole Fomulação paa vs Fomulação paa volume de contole: fluidos

Leia mais

Apostila de álgebra linear

Apostila de álgebra linear Apostila de álgeba linea 1 Matizes e Sistemas de Equações Lineaes 1.1 Matizes Definição: Sejam m 1 e n 1 dois númeos inteios. Uma matiz A de odem m po n, (esceve-se m n) sobe o copo dos númeos eais (R)

Leia mais

Linguagens de Programação. Nomes, Escopos e Vinculações (Bindings) Carlos Bazilio

Linguagens de Programação. Nomes, Escopos e Vinculações (Bindings) Carlos Bazilio Linguagens de Programação Nomes, Escopos e Vinculações (Bindings) Carlos Bazilio carlosbazilio@id.uff.br http://www.ic.uff.br/~bazilio/cursos/lp Nomes Forma mais simples de abstração Um nome é um caracter

Leia mais

Nomes, vinculações e escopos

Nomes, vinculações e escopos Nomes, vinculações e escopos Marco A L Barbosa malbarbo.pro.br Departamento de Informática Universidade Estadual de Maringá cba Este trabalho está licenciado com uma Licença Creative Commons - Atribuição-CompartilhaIgual

Leia mais

Mecânica Técnica. Aula 5 Vetor Posição, Aplicações do Produto Escalar. Prof. MSc. Luiz Eduardo Miranda J. Rodrigues

Mecânica Técnica. Aula 5 Vetor Posição, Aplicações do Produto Escalar. Prof. MSc. Luiz Eduardo Miranda J. Rodrigues ula 5 Veto Posição, plicações do Poduto Escala Pof. MSc. Luiz Eduado Mianda J. Rodigues Pof. MSc. Luiz Eduado Mianda J. Rodigues Tópicos bodados Nesta ula Vetoes Posição. Veto Foça Oientado ao Longo de

Leia mais

é a variação no custo total dada a variação na quantidade

é a variação no custo total dada a variação na quantidade TP043 Micoeconomia 21/10/2009 AULA 15 Bibliogafia: PINDYCK - CAPÍTULO 7 Custos fixos e vaiáveis: Custos fixos não dependem do nível de podução, enquanto que custos vaiáveis dependem do nível de podução.

Leia mais

Paradigmas de Linguagens de Programação. Tipos de Dados Abstratos

Paradigmas de Linguagens de Programação. Tipos de Dados Abstratos Tipos de Dados Abstratos Cristiano Lehrer Conceito de Abstração O conceito de abstração é fundamental em programação. Quase todas as linguagens suportam abstração de processos, através de subprogramas:

Leia mais

2 O Motor de Indução Equações do Motor de Indução Trifásico

2 O Motor de Indução Equações do Motor de Indução Trifásico 2 O Moto de Indução Paa aplicação de nova tecnologia no moto de indução é neceáio conhece-e o eu modelo matemático, paa pode incopoa quae toda a técnica de contole, etimação, deteção, etc. Potanto, nete

Leia mais

VETORES GRANDEZAS VETORIAIS

VETORES GRANDEZAS VETORIAIS VETORES GRANDEZAS VETORIAIS Gandezas físicas que não ficam totalmente deteminadas com um valo e uma unidade são denominadas gandezas vetoiais. As gandezas que ficam totalmente expessas po um valo e uma

Leia mais

Departamento de Física - Universidade do Algarve FORÇA CENTRÍFUGA

Departamento de Física - Universidade do Algarve FORÇA CENTRÍFUGA FORÇA CENTRÍFUGA 1. Resumo Um copo desceve um movimento cicula unifome. Faz-se vaia a sua velocidade de otação e a distância ao eixo de otação, medindo-se a foça centífuga em função destes dois paâmetos..

Leia mais

Conceitos de Linguagens de Programação

Conceitos de Linguagens de Programação Faculdade de Ciências e Tecnologia Departamento de Matemática e Computação Bacharelado em Ciência da Computação Conceitos de Linguagens de Programação Aula 07 (rogerio@prudente.unesp.br) Aula 7 Implementação

Leia mais

Fig. 8-8. Essas linhas partem do pólo norte para o pólo sul na parte externa do material, e do pólo sul para o pólo norte na região do material.

Fig. 8-8. Essas linhas partem do pólo norte para o pólo sul na parte externa do material, e do pólo sul para o pólo norte na região do material. Campo magnético Um ímã, com seus pólos note e sul, também pode poduzi movimentos em patículas, devido ao seu magnetismo. Contudo, essas patículas, paa sofeem esses deslocamentos, têm que te popiedades

Leia mais

Instituto de Física - USP FGE Laboratório de Física III - LabFlex

Instituto de Física - USP FGE Laboratório de Física III - LabFlex Instituto de Física - USP FGE0213 - Laboatóio de Física III - LabFle Aula 8 - (Ep 2.5) - Filto de Wien Campo magnético efetivo ente duas bobinas coaiais Aleande Suaide Manfedo H. Tabacniks setembo 2007

Leia mais

Conteúdos Exame Final e Avaliação Especial 2016

Conteúdos Exame Final e Avaliação Especial 2016 Componente Cuicula: Matemática Séie/Ano: 8º ANO Tuma: 18B, 18C e 18D Pofeoa: Liiane Mulick Betoluci Conteúdo Eame Final e Avaliação Epecial 16 1. Geometia. Monômio e Polinômio 3. Fatoação Algébica 4. Façõe

Leia mais

XXXV OLIMPÍADA PAULISTA DE MATEMÁTICA Prova da Primeira Fase (13 de agosto de 2011) Nível α (6 o e 7 o anos do Ensino Fundamental) Gabaritos

XXXV OLIMPÍADA PAULISTA DE MATEMÁTICA Prova da Primeira Fase (13 de agosto de 2011) Nível α (6 o e 7 o anos do Ensino Fundamental) Gabaritos XXXV OLIMPÍADA PAULISTA DE MATEMÁTICA Pova da Pimeia Fase (3 de agosto de 0) Nível α ( o e 7 o anos do Ensino Fundamental) Gabaitos www.opm.mat.b PROBLEMA a) Na sequência esnúfica, 3,, 3, o quinto temo

Leia mais

Magnetostática. Programa de Óptica e Electromagnetismo. OpE - MIB 2007/2008. Análise Vectorial (revisão) 2 aulas

Magnetostática. Programa de Óptica e Electromagnetismo. OpE - MIB 2007/2008. Análise Vectorial (revisão) 2 aulas Magnetostática OpE - MB 2007/2008 Pogama de Óptica e Electomagnetismo Análise Vectoial (evisão) 2 aulas Electostática e Magnetostática 8 aulas Campos e Ondas Electomagnéticas 6 aulas Óptica Geomética 3

Leia mais

O que é uma variável?

O que é uma variável? Escopo, Ligação e Ambiente de Execução mleal@inf.puc-rio.br 1 O que é uma variável? Uma variável pode ser definida como uma tupla r nome é um string usado para

Leia mais

( ) 10 2 = = 505. = n3 + n P1 - MA Questão 1. Considere a sequência (a n ) n 1 definida como indicado abaixo:

( ) 10 2 = = 505. = n3 + n P1 - MA Questão 1. Considere a sequência (a n ) n 1 definida como indicado abaixo: P1 - MA 1-011 Questão 1 Considee a sequência (a n ) n 1 definida como indicado abaixo: a 1 = 1 a = + 3 a 3 = + 5 + 6 a = 7 + 8 + 9 + 10 (05) (a) O temo a 10 é a soma de 10 inteios consecutivos Qual é o

Leia mais

Teo. 5 - Trabalho da força eletrostática - potencial elétrico

Teo. 5 - Trabalho da força eletrostática - potencial elétrico Teo. 5 - Tabalho da foça eletostática - potencial elético 5.1 Intodução S.J.Toise Suponhamos que uma patícula qualque se desloque desde um ponto até em ponto sob a ação de uma foça. Paa medi a ação dessa

Leia mais