Neste capítulo será demonstrado como analisar e construir estratégias em jogos. Para tanto é necessário definir um jogo com estratégias na linguagem
|
|
- Manuela Carlos Antunes
- 7 Há anos
- Visualizações:
Transcrição
1 6 Análise e Cnstruçã de Estratégias Neste capítul será demnstrad cm analisar e cnstruir estratégias em jgs. Para tant é necessári definir um jg cm estratégias na linguagem RllGame (seçã 4.5) e utilizar a traduçã de jg cm estratégias na linguagem de um verificadr de mdels (seçã 5.2.2). Cm a traduçã fi feita para a linguagem d SMV será utilizad a lógica CTL para a realizaçã de análise e cnstruçã de estratégias. Na seçã 6.1 será apresentad cm se realiza a análise de estratégias e a seçã 5.2 apresentará cm criar estratégias a partir de um cnjunt inicial de estratégias. As traduções e eecuções serã realizadas utilizand a ferramenta StratAn-RllGame (seçã 5.2.3). A figura 6.1 mstra um jg definid na linguagem RllGame e transfrmad pela ferramenta StratAn-RllGame na linguagem de especificaçã de mdels d SMV. A partir daí é eecutad SMV gerand resultad da análise. Estas últimas pdem ser utilizadas para ajustar as estratégias.
2 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 61 Será utilizad eempl d jg da velha para eemplificar cm sã feitas as análises (seçã 6.1) e a criaçã de estratégias (seçã 6.2). A seçã 6.3 mstrará utrs eempls de análises de estratégias para um jg sre a pssível guerra cntra Iraque. Para maires detalhes sre jg da velha e sre jg sre a guerra d Iraque vá a apêndices A e B. Eempl 7 Jg da Velha: O jg da velha pssui dis jgadres, jgadr 1 e jgadr 2, que jgam de frma alternada. Pssui um tauleir em frma de uma matriz 3 3 cm nve casas e inicialmente tdas as casas vazias. Cada jgadr tem um cnjunt de peças, d tip e para jgadr 1 e jgadr 2 respectivamente, e pde distriuir uma peça a cada jgada que lhe é permitida em uma casa vazia. O jgadr 1 cmeça jgand. O jg termina quand um ds jgadres cmpletar três u três em linha, cluna u diagnal, u ainda quand nã eistir mais casas vazias. O tauleir é representad aai cm as variáveis 1, 2, 3, y 1, y 2, y 3, z 1, z 2, z 3 que pdem estar ranc () u serem marcadas cm u. A matriz aai mstra a estrutura d tauleir.
3 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS Análises de Estratégias d Jg da Velha Chama-se de análise de estratégias uma prpriedade sre cmprtament ds jgadres de um jg cm estratégias. Para realizar a análise é necessári definir a mesma através de uma fórmula lógica em CTL. A partir da especificaçã d jg em RllGame cntend a análise em CTL, utiliza-se a ferramenta StratAn-RllGame para fazer a traduçã da linguagem RllGame na linguagem d SMV e, tamém, a eecuçã d verificadr de mdels SMV cm a finalidade de verificar se a prpriedade em CTL é válida u nã. Se ela fr válida será retrnad verdadeir para a fórmula. Cas cntrári, mstrase uma seqüência de jgadas que fazem cm que a prpriedade seja inválida. A seguir serã apresentads algumas análises realizadas n estud de cas 1 d apêndice. Aai estará descrit cm fi definid as estratégias para jgadr 1 d jg da velha. 1. A primeira jgada deve ser em 1; 2. Se puder ganhar jg, deverá ganhar; 3. Se 2 nã fr verdade, evitar que jgadr 2 ganhe; 4. Se 3 nã fr verdade, jgar nas pntas se puder ganhar; 5. Se 4 nã fr verdade, jgar de frma aleatória. A seguir será apresentad, de frma resumida, a especificaçã d jg da velha cm estratégias. ESTADO VARIAVEIS ESTADO 1 : {,,}; 2 : {,,}; : {,,}; JOGADORES jg1: lean; jg2: lean; ESTADO INICIAL VARIAVEIS ESTADO INICIAIS 1 := ; 2 := ; := ; JOGADORES INICIAIS
4 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 63 jg1 := 1; jg2 := 0; ACOES (1 = )&(jg1 = 1)&(jg2=0)&(fim=0) -> {1:=;jg1:=0;jg2:=1;}; (2 = )&(jg1 = 1)&(jg2=0)&(fim=0) -> {2:=;jg1:=0;jg2:=1;}; ( = )&(jg1 = 1)&(jg2=0)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; (1 = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {:=;jg1:=1;jg2:=0;}; (2 = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {:=;jg1:=1;jg2:=0;}; ( = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {:=;jg1:=1;jg2:=0;}; ESTRATEGIAS (1=&2=&3=&=&=&=&=&=&=) &(jg1 = 1)&(jg2=0) -> {1:=;jg1:=0;jg2:=1;}; ((jgada final 2 jg1=1) (jgada final jg1=0&jgada final 2 jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(2=)&(1=)&(fim=0) -> {2:=;jg1:=0;jg2:=1;}; ((jgada final 3 jg1=1) (jgada final jg1=0&jgada final 3 jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada 3 jg1=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(3=)&(1=)&(fim=0) -> {3:=;jg1:=0;jg2:=1;}; ((jgada final jg1=1) (jgada final jg1=0&jgada final jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada jg1=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(=)&(1=)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; (1 = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {1:=;jg1:=1;jg2:=0;}; (2 = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {2:=;jg1:=1;jg2:=0;}; ( = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {:=;jg1:=1;jg2:=0;}; DEFINICOES fim := fim jg1 fim jg2 fim sem ganhadr; fim jg1:= ( ((1=)&(2=)&(3=)) ((3=)&(=)&(=)) ); fim jg2 := ( ((1=)&(2=)&(3=))
5 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 64 ((3=)&(=)&(=)) ); fim sem ganhadr := ((!(1=))&(!(2=))&(!(3=))) &(!(=))&(!(=))&(!(=)) &(!(=))&(!(=))&(!(=)) &(fim jg1=0)&(fim jg2=0)); jgada final 1 jg1 := ((1=&2=&3=) (1=&=&=) (1=&=&=)); jgada final jg2 := ((=&=&=) (=&=&3=) (=&=&1=)); jgada final jg1 := ((jgada final 1 jg1) (jgada final jg1)); jgada final jg2 := ( (jgada final 1 jg2) (jgada final jg2)); jgada 3 jg1 := (1= & 3= & ((2= & ( (=&=) (=&=)) ) ( (=&=)&(=&=) )) ); jgada jg1 := (1= &= & ((= & ( (=&3=) (=&=)) ) ( (=&3=)&(=&=) )) ); jgada jg1 := (1= &= & ((!= &!=)&(!2= &!=)) &((= & ( (=&=) (=&=)) ) ( =&=&=&= )) ); jgada pntas := (jgada jg1 jgada jg1 jgada 3 jg1); jgada 3 jg1 := (3= & ((!= &!= &!2=) (=&!=&!=))); jgada jg1 := (= & ((!= &!= &!=) (=&!=&!3=))); jgada jg1 := (= & ((!= &!3= &!= &!=) (!=))); A seguir serã apresentads quatr eempls de análises, nde cada fórmula CTL será verdadeira u falsa n jg acima especificad. Os dis primeirs eempls retrnam verdadeir e será mstrad uma figura para cada um cm resultad da eecuçã d SMV. Os dis últims eempls retrnam fals e será mstrad uma figura cm as seqüências de jgadas que trnam a prpriedade falsa para cada um. Para ver resultad cmplet da saída da eecuçã vá a apêndice.
6 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 65 Eempl 8 Verificar que jgadr 2 nunca vence: Esta prpriedade é representad pela fórmula!ef (e.f im jg2) que é verdadeira. -- specificatin!ef e.fim_jg2 is true resurces used: prcessr time: s, BDD ndes allcated: Bytes allcated: BDD ndes representing transitin relatin: Figura Resultad da eecuçã d SMV mstrand que a fómula CTL é falsa Eempl 9 Garantir que a estratégia definida para jgadr 1 sempre vence u pel mens empata: Esta prpriedade é representad pela fórmula AF (e.fim jg1 e.fim sem ganhadr) que é verdadeira. -- specificatin AF (e.fim_jg1 e.fim_sem_ganhadr) is true resurces used: prcessr time: s, BDD ndes allcated: Bytes allcated: BDD ndes representing transitin relatin: Figura Resultad da eecuçã d SMV mstrand que a fómula CTL é falsa Eempl 10 Mstrar um eempl de quand jgadr 1 vence: Esta prpriedade é representad pela fórmula!ef (e.f im jg1) que é falsa.
7 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS specificatin!ef e.fim_jg1 is false resurces used: prcessr time: s, BDD ndes allcated: Bytes allcated: BDD ndes representing transitin relatin: Figura Resultad da eecuçã d SMV mstrand uma seqüência de jgadas que faz jgadr 1 ganhar Eempl 11 Mstrar um eempl de quand nã há vencedr: Esta prpriedade é representad pela fórmula!ef (e.f im sem ganhadr) que é falsa.
8 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS specificatin!ef e.fim_sem_ganhadr is false resurces used: prcessr time: s, BDD ndes allcated: Bytes allcated: BDD ndes representing transitin relatin: Figura Resultad da eecuçã d SMV mstrand uma seqüência de jgadas nde nã há ganhadr
9 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS Cnstruçã de Estratégias para Jg da Velha Pde-se utilizar a técnica de verificaçã de mdels para cnstruir nvas estratégias a partir de um jg cm estratégias. Para tant, é necessári analisar jg e verificar se as análises fram satisfeitas; cas cntrári, serã gerads cntra-eempls. A partir daí, deve-se servar nde as estratégias nã edeceram as análises desejadas, e entã, alterá-las. Este prcess pde ser repetid até que cnjunt de estratégias seja cnsiderad satisfatóri. Nte-se que cnceit de satisfatóri depende d jg e das análises. A seguir será mstrad md pel qual, a partir d jg da velha cm estratégias definidas aai, criu-se jg cm estratégias definid n estud de cas 1 d apêndice. Seja jg da velha cm as seguintes estratégias: 1. A primeira jgada deve ser em 1; 2. Se puder ganhar jg, deverá ganhar; 3. Se 2 nã fr verdade, evitar que jgadr 2 ganhe; 4. Se 3 nã fr verdade, jgar nas pntas; 5. Se 4 nã fr verdade, jgar de frma aleatória. ESTADO VARIAVEIS ESTADO 1 : {,,}; 2 : {,,}; : {,,}; JOGADORES jg1: lean; jg2: lean; ESTADO INICIAL VARIAVEIS ESTADO INICIAIS 1 := ; 2 := ; := ; JOGADORES INICIAIS jg1 := 1; jg2 := 0; ACOES (1 = )&(jg1 = 1)&(jg2=0)&(fim=0) -> {1:=;jg1:=0;jg2:=1;}; (2 = )&(jg1 = 1)&(jg2=0)&(fim=0) -> {2:=;jg1:=0;jg2:=1;}; ( = )&(jg1 = 1)&(jg2=0)&(fim=0) -> {:=;jg1:=0;jg2:=1;};
10 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 69 ( = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {:=;jg1:=1;jg2:=0;}; ( = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {:=;jg1:=1;jg2:=0;}; ESTRATEGIAS (1=&2=&3=&=&=&=&=&=&=) &(jg1 = 1)&(jg2=0) -> {1:=;jg1:=0;jg2:=1;}; ((jgada final 2 jg1=1) (jgada final jg1=0&jgada final 2 jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(2=)&(1=)&(fim=0) -> {2:=;jg1:=0;jg2:=1;}; ((jgada final 3 jg1=1) (jgada final jg1=0&jgada final 3 jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=1)) &(jg1 = 1)&(jg2=0)&(3=)&(1=)&(fim=0) -> {3:=;jg1:=0;jg2:=1;}; ((jgada final jg1=1) (jgada final jg1=0&jgada final jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(=)&(1=)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; ((jgada final jg1=1) (jgada final jg1=0&jgada final jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(=)&(1=)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; ((jgada final jg1=1) (jgada final jg1=0&jgada final jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(=)&(1=)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; ((jgada final jg1=1) (jgada final jg1=0&jgada final jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=1)) &(jg1 = 1)&(jg2=0)&(=)&(1=)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; ((jgada final jg1=1) (jgada final jg1=0&jgada final jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=0)) &(jg1 = 1)&(jg2=0)&(=)&(1=)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; ((jgada final jg1=1)
11 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 70 (jgada final jg1=0&jgada final jg2=1) (jgada final jg1=0&jgada final jg2=0&jgada pntas=1)) &(jg1 = 1)&(jg2=0)&(=)&(1=)&(fim=0) -> {:=;jg1:=0;jg2:=1;}; (1 = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {1:=;jg1:=1;jg2:=0;}; (2 = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {2:=;jg1:=1;jg2:=0;}; ( = )&(jg1 = 0)&(jg2=1)&(fim=0) -> {:=;jg1:=1;jg2:=0;}; DEFINICOES fim := fim jg1 fim jg2 fim sem ganhadr; fim jg1:= ( ((1=)&(2=)&(3=)) ((3=)&(=)&(=)) ); fim jg2 := ( ((1=)&(2=)&(3=)) ((3=)&(=)&(=)) ); fim sem ganhadr := ((!(1=))&(!(2=))&(!(3=))) &(!(=))&(!(=))&(!(=)) &(!(=))&(!(=))&(!(=)) &(fim jg1=0)&(fim jg2=0)); jgada final 1 jg1 := ((1=&2=&3=) (1=&=&=) (1=&=&=)); jgada final 2 jg1 := ((2=&1=&3=) (2=&=&=)); jgada final jg1 := ((=&=&=) (=&=&3=) (=&=&1=)); jgada final 1 jg2 := ((1=&2=&3=) (1=&=&=) (1=&=&=)); jgada final jg2 := ((=&=&=) (=&=&3=) (=&=&1=)); jgada final jg1 := ((jgada final 1 jg1) (jgada final 2 jg1) (jgada final 3 jg1) (jgada final jg1 (jgada final jg1) (jgada final jg1)); jgada final jg2 := ((jgada final 1 jg2) (jgada final 2 jg2) (jgada final 3 jg2) (jgada final jg2) (jgada final jg2) (jgada final jg2)); jgada pntas := (3= = =);
12 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 71 Eempl 12 Neste jg, a análise a ser feita é verificar se jgadr 2 nã cnsegue ganhar d jgadr 1. A figura mstra que as estratégias acima definidas nã fazem cm que jgadr 1 sempre cnsiga vencer u empatar. Desta frma, sua estratégia deve ser melhrada. A seqüência de jgadas aai mstra que nã é satisfatóri para as estratégias d jgadr 1 jgar nas pntas de qualquer frma. Deve-se entã tentar melhrar a frma de jgar nas pntas. Deve-se jgar em cada pnta smente se eistir uma cndiçã de vitória para a mesma.
13 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS specificatin!ef (fim_jg2) is false resurces used: prcessr time: s, BDD ndes allcated: Bytes allcated: BDD ndes representing transitin relatin: Figura Resultad da eecuçã d SMV mstrand uma seqüência de jgadas nde jgadr 2 ganha 6.3 Análises de Estratégias d Jg sre a Guerra d Iraque O mund se encntra na iminência de uma guerra cm Iraque. O cnselh da ONU está para decidir se entrará em guerra u nã cm Iraque. Prém, s EUA decidiram que independente da resluçã da ONU entrarã em cnflit
14 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 73 cm Iraque. Cas ist crra, s EUA pderã sfrer sanções de alguns países e deiarã de eprtar alguns prduts. Desta frma, alguns países pderã se eneficiar se trnand eprtadres destes prduts. Cm s EUA estarã em guerra, eles precisarã imprtar alguns prduts a mais d que imprtam dependend da duraçã da guerra. Assim, s utrs países tamém cncrrerã para eprtar estes prduts para s EUA. Será utilizada a ardagem deste traalh para analisar este cntet. Para tant, serã realizadas algumas supsições, que sã apresentadas a seguir: 1. A guerra terá duraçã máima de 18 meses. 2. Os prduts que s EUA imprtarã sã: prdut1, prdut 2, prdut 3, prdut 4 e prdut Os prduts que s EUA deiarã de eprtar sã: prdut 6, prdut 7, prdut 8, prdut 9, prdut Smente três países, Brasil, China e Rússia, cncrrerã às eprtações ds prduts para s EUA. Cas s EUA entrem em guerra sem cnsentiment da ONU, estes mesms três países cncrrerã para sustituírem as eprtações que s EUA perderã n mercad internacinal devid as sanções. Cntud, para eprtar estes prduts s países precisam de algum temp para mdernizar suas fáricas. 5. As alcações de prduts para as eprtações sã feitas a cada três meses e as pssíveis alcações de cada país só valem para aquele mês determinad. Depis que um país cnseguir alcar determinad prdut nenhum utr pderá cncrrer cm ele. 6. Supnd que Brasil tenha a seguinte estratégia (figura 6.3.1): (a) O Brasil só cnseguirá eprtar u prdut 1 u prdut 3 ns primeirs 3 meses. () N mês 6 se prdut 1 fr eprtad entã ele pderá eprtar prdut 2 e prdut 4. (c) N mês 6 se prdut 3 fr eprtad entã ele pderá eprtar prdut 2 e prdut 5. (d) N mês 9 se ele eprtar prdut 5 pderá eprtar prdut 4. (e) N mês 12 se ele eprtar prdut 4 eprtar prdut 4. (f) N mês 12 se ele eprtar s prduts 4 e 5 eprtará s prdut 6 e 7. (g) N mês 15 se ele eprtar s prduts 4 e 5 eprtará s prdut 6 e 7. (h) N mês 18 se ele eprtar prdut 7 eprtará prdut 10. (i) Sae-se que prdut 8 e 9 Brasil nã terá cndições de eprtar.
15 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 74 Mês Prduts que pderã ser eprtads 3 Ou 1 u 3 6 Se 1, entã 2,4. Se 3, entã 2,5 9 Se 5, entã Se 4 e 5, entã 6,7. Se 4 e nã 5, entã 5 15 Se 4 e 5, entã 6,7. 18 Se 7, entã 10. Nã prduz 8,9. Figura Estratégias d Brasil 7. Sae-se que a China tem algumas pssiilidades para realizar as suas eprtações, sã elas (figura 6.3.2): (a) A China só cnseguirá eprtar prdut 1 ns primeirs três meses. () N mês 6 ela cnsegue prduzir u prdut 5 u prdut 6. (c) N mês 9 se ele eprtar prdut 5, entã ele pderá eprtar prdut 7 e prdut 8. (d) N mês 12 se ele eprtar prdut 6, entã ele pderá eprtar prdut 3 e prdut 4. (e) N mês 9 se ele eprtar prdut 5, entã ele pderá eprtar prdut 7 e prdut 8. (f) N mês 15 ele pderá prduzir prdut 9. (g) N mês 18 ele pderá prduzir prdut 8. (h) Sae-se que prdut 10 a China nã terá cndições de eprtar. Mês Prduts que pderã ser eprtads u 5 u 6 9 Se 5, entã 7,8. 12 Se 6, entã 3, Nã prduz 10. Figura Estratégias da China 8. Sae-se que a Rússia tem algumas pssiilidades para realizar as suas eprtações, sã elas (figura 6.3.3): (a) Só cnseguirá eprtar u prdut 2 u 4 ns primeirs três meses.
16 ANÁLISE E CONSTRUÇÃO DE ESTRATÉGIAS 75 () N mês 6 se prdut 2 fr eprtad, entã ela pderá eprtar prdut 1 e prdut 3. (c) N mês 9 se prdut 4 fr eprtad, entã ela pderá eprtar prdut 3 e prdut 5. (d) N mês 12 ela pderá prduzir prdut 8 e prdut 9. (e) N mês 15 ela pderá eprtar prdut 10. (f) N mês 18 ela pderá eprtar prdut 6. (g) Sae-se que prdut 7 a Rússia nã terá cndições de eprtar. Mês Prduts que pderã ser eprtads 3 Ou 2 u 4 6 Se 2, entã 1 e 3. 9 Se 4, entã 3, , Nã prduz 7. Figura Estratégias da Rússia A seguir serã apresentad algumas eempls de análises realizadas neste jg. Eempl 13 Análises sre s pssíveis prduts eprtads pr cada país. Resultad: Brasil cnseguirá eprtar s prduts: 1,2,3 e 5; a China cnseguirá eprtar s prduts: 1,3,4,5,6,7,8,9; a Rússia cnseguirá eprtar s prduts: 2,3,4,5,6,8,9,10; Eempl 14 Deseja-se saer se s países a interagirem, nã cnseguirã eprtar s prduts da seguinte frma: O Brasil eprta s prduts 3,2 e 5; a Rússia eprta s prduts 4,8 e 9; e a China eprta prdut 6. Resultad: fals. Eempl 15 Deseja-se saer se s países a interagirem, cnseguirã eprtar s prduts da seguinte frma: O Brasil eprta s prduts 1,2 e 4; a Rússia eprta s prduts 8, 9 e 10; e a China eprta prdut 3. Resultad: fals. Eempl 16 Deseja-se saer se s países a interagirem, cnseguirã eprtar s prduts da seguinte frma: O Brasil eprta s prdut 1; a Rússia eprta s prduts 3,4,5,9 e 10; e a China eprta prdut 6. Resultad: verdadeir.
A INVESTIGAÇÃO OPERACIONAL NA EMPRESA. Documento n.8. Capítulo II
N O R M A, S.A.R.L. Sciedade de Estuds para Desenvlviment de Empresas A NVESTGAÇÃO OPERACONAL NA EMPRESA Dcument n.8 1 N D C E Capítul ESTUDO ELEMENTAR DE ALGUNS MODELOS E TÉCNCAS UTLZADAS UA NVESTGAÇÃO
Leia mais10. Escreva um programa que leia um texto e duas palavras e substitua todas as ocorrências da primeira palavra com a segunda palavra.
Lista de Exercícis: Vetres, Matrizes, Strings, Pnteirs e Alcaçã Obs: Tdas as questões devem ser implementadas usand funções, pnteirs e alcaçã 1. Faça um prgrama que leia um valr n e crie dinamicamente
Leia maisA) O volume de cada bloco é igual à área da base multiplicada pela altura, isto é, 4 1
OBMEP Nível 3 ª Fase Sluções QUESTÃO. Quincas Brba uniu quatr blcs retangulares de madeira, cada um cm 4 cm de cmpriment, cm de largura e cm de altura, frmand bjet mstrad na figura. A) Qual é vlume deste
Leia maisPor bloco, entenda-se a unidade, e por peça, um bloco ou conjunto de blocos.
Resum das Regras: Nta: Este resum nã dispensa a cnsulta d restante Manual, nde se encntram figuras e descrições detalhadas. Preparaçã: dividind tabuleir em quatr quadrantes simétrics, preencha cada quadrante
Leia maisREGULAMENTO DA COMPONENTE DESPORTIVA
REGULAMENTO DA COMPONENTE DESPORTIVA #40enee #nuncaseraultim 0 ORGANIZAÇÃO: 40ª COENEE COLABORAÇÃO: Assciaçã de Estudantes da Escla Superir de Saúde da Guarda DATA: 20, 21,22 e 23 de mai LOCAL: Areal da
Leia maisAs propriedades do gás estelar
As prpriedades d gás estelar Estrelas sã massas gassas mantidas gravitacinalmente cm uma frma quase esférica e que apresentam prduçã própria de energia. A definiçã acima, além de nã ser a mais precisa
Leia maisMatemática E Extensivo V. 2
Matemática E Etensiv V. Eercícis 0) a) d) n 8!! 8...!! 8.. (n )!! n n b) 0 0) A 0! 9! 0. 9! 9! 0 c) 00! 00 d) 9! 9. 8...! 9 8... 9..!!...!.. 0) a) ( + )! ( + )( )! +!! b) n 0 nn ( )( n )! ( n )! ( n )!
Leia maisa) No total são 10 meninas e cada uma delas tem 10 opções de garotos para formar um par. Logo, o número total de casais possíveis é = 100.
Questã 1: Em uma festa de aniversári, deseja-se frmar 10 casais para a valsa. A aniversariante cnvidu 10 garts e 9 gartas. a) Quants casais diferentes pderã ser frmads? b) Sabend-se que 4 das meninas sã
Leia maisDiagrama de Atividades
Diagrama de Atividades N cntext da UML, Diagrama de Atividades é um diagrama cmprtamental (que especifica cmprtament d sftware), e através dele pdems mdelar partes d cmprtament de um sftware. Activity
Leia maisCATÁLOGO DE APLICAÇÕES Geração de Guias para ST, DIFAL e FCP
CATÁLOGO DE APLICAÇÕES Geraçã de Guias para ST, DIFAL e FCP 1. Objetivs Gerar títuls n cntas a pagar cm ttal de ICMS-ST, DIFAL e/u FCP das ntas fiscais de saída. Página 2 de 6 2. Requisits 2.1. RF01 Geraçã
Leia maisVariáveis e Tipo de Dados
Variáveis e Tip de Dads Alessandr J. de Suza DIATINF - IFRN alessandr.suza@ifrn.edu.br twi;er.cm/ajdsuza Aula 2 Segunda Aula Teórica ² Tips de dads ² Variáveis Armazenament de dads na memória Cnceit e
Leia maisRESOLUÇÃO DA AVALIAÇÃO DE MATEMÁTICA 3 o ANO DO ENSINO MÉDIO DATA: 19/06/09
RESOLUÇÃO DA AVALIAÇÃO DE MATEMÁTICA 3 ANO DO ENSINO MÉDIO DATA: 9/0/09 PROFESSOR: CARIBÉ Td mund quer ajudar a refrescar planeta. Viru mda falar em aqueciment glbal. É precis nã esquecer que s recurss
Leia maisIntrodução à UML. Mas usaremos apenas um sub-conjunto da UML
A Linguagem UML Intrduçã à UML UML = Unified Mdelling Language (Linguagem de Mdelagem Unificada) É uma ntaçã gráfica (visual) para prjetar sistemas Define diagramas padrnizads É extensível É cmplexa Mas
Leia maisAula 8. Transformadas de Fourier
Aula 8 Jean Baptiste Jseph Furier (francês, 768-830) extracts ds riginais de Furier Enquant que as Séries de Furier eram definidas apenas para sinais periódics, as sã definidas para uma classe de sinais
Leia maisNovo processo de devolução de peças para garantia Mudanças na aplicação web ewarranty e no processo de devolução de peças
Nv prcess de devluçã de peças para garantia Mudanças na aplicaçã web ewarranty e n prcess de devluçã de peças Públic-alv e bjetiv Esse curs destina-se a cncessináris e ficinas envlvids n prcess de gerenciament
Leia maisAula 8 Vetores e Ponteiros
Universidade Federal d Espírit Sant Centr Tecnlógic Departament de Infrmática Prgramaçã Básica de Cmputadres Prf. Vítr E. Silva Suza Aula 8 Vetres e Pnteirs 1. Intrduçã Cm já vims, variáveis sã abstrações
Leia maisUML Diagrama de Caso de Uso Análise e Projeto de Software
UML Diagrama de Cas de Us Análise e Prjet de Sftware Prfª. Cibele da Rsa Christ Sinti cibele@senacrs.cm.br SERVIÇO NACIONAL DE APRENDIZAGEM COMERCIAL FACULDADE DE TECNOLOGIA SENAC PELOTAS Intrduçã Cass
Leia maisAprendizado Simbólico: Regras
Aprendizad Simbólic: Regras SCC-230 Inteligência Artificial Thiag A. S. Pard 1 Regras Regras de classificaçã (atributs implicam uma classe) VS. Regras de assciaçã (atributs pdem implicar uns as utrs) 2
Leia maisComo ajustar o projeto para integrá-lo com o Moodle
Cm ajustar prjet para integrá-l cm Mdle Prjet Cm cadastrar um prjet de curs presencial u à distância O prcediment para cadastrar um prjet de curs é igual a prcediment de cadastr tradicinal de prjets, cm
Leia maisAs várias interpretações dos Números Racionais
As várias interpretações ds Númers Racinais (Algumas das tarefas apresentadas a seguir fram retiradas u adaptadas da Tese de Dutrament de Maria Jsé Ferreira da Silva, cuj text se encntra n seguinte endereç:
Leia maisCÁLCULO I. Aula n o 02: Funções. Denir função e conhecer os seus elementos; Listar as principais funções e seus grácos.
CÁLCULO I Prf. Marcs Diniz Prf. André Almeida Prf. Edilsn Neri Júnir Prf. Emersn Veiga Prf. Tiag Celh Aula n 02: Funções. Objetivs da Aula Denir funçã e cnhecer s seus elements; Recnhecer grác de uma funçã;
Leia maisComunicado Cetip n 091/ de setembro de 2013
Cmunicad Cetip n 091/2013 26 de setembr de 2013 Assunt: Aprimrament da Metdlgia da Taxa DI. O diretr-presidente da CETIP S.A. MERCADOS ORGANIZADOS infrma que, em cntinuidade às alterações infrmadas n Cmunicad
Leia maisUML. Diagrama de Classes de Projeto e Diagrama de Objetos Análise e Projeto de Software. Profª. Cibele da Rosa Christ
UML Diagrama de Classes de Prjet e Diagrama de Objets Análise e Prjet de Sftware Prfª. Cibele da Rsa Christ cibele@senacrs.cm.br SERVIÇO NACIONAL DE APRENDIZAGEM COMERCIAL FACULDADE DE TECNOLOGIA SENAC
Leia maisExame: Matemática Nº Questões: 58 Duração: 120 minutos Alternativas por questão: 4 Ano: 2009
Eame: Matemática Nº Questões: 8 Duraçã: 0 minuts Alternativas pr questã: An: 009 INSTRUÇÕES. Preencha as suas respstas na FOLHA DE RESPOSTAS que lhe fi frnecida n iníci desta prva. Nã será aceite qualquer
Leia maisAdministração AULA- 7. Economia Mercados [3] Oferta & Procura
Administraçã AULA- 7 1 Ecnmia Mercads [3] Oferta & Prcura Prf. Isnard Martins Bibligrafia: Rsseti J. Intrduçã à Ecnmia. Atlas 06 Rbert Heilbrner Micr Ecnmia N.Gregry Mankiw Isnard Martins Pag - 1 Oferta,
Leia maisTIPO DE PROVA: A. Questão 1. Questão 3. Questão 4. Questão 2. alternativa B. alternativa A. alternativa D. alternativa C
Questã TIPO DE PROVA: A Ds n aluns de uma escla, 0% têm 0% de descnt na mensalidade e 0% têm 0% de descnt na mesma mensalidade. Cas equivalente a esses descnts fsse distribuíd igualmente para cada um ds
Leia maisBLOCOS DE ALARME DO IFIX
BLOCOS DE ALARME DO IFIX As tags de alarmes d ifix, DA (Digital Alarm) e AA (Analg Alarm), sã dedicadas à manipulaçã ds alarmes da aplicaçã. Elas apresentam camps adicinais de cnfiguraçã que acrescentam
Leia maisClassificação Off Road
IG 41 (04/15) Data de emissã: 29 de abril de 2015 Classificaçã Off Rad Off Rad?... N3G?... O que é? Para que serve?... Pde um veícul cm classificaçã Off Rad circular em via publica? - A classificaçã Off
Leia maisLÓGICA FORMAL parte 2 QUANTIFICADORES, PREDICADOS E VALIDADE
LÓGICA FORMAL parte 2 QUANTIFICADORES, PREDICADOS E VALIDADE Algumas sentenças nã pdem ser expressas apenas cm us de símbls prpsicinais, parênteses e cnectivs lógics exempl: a sentenç a Para td x, x >0
Leia maisCATÁLOGO DE APLICAÇÕES PEFIN SERASA
CATÁLOGO DE APLICAÇÕES PEFIN SERASA Objetiv Dispnibilizar a pçã de negativaçã ds clientes pessas físicas e/u jurídicas sbre dívidas nã pagas. Flux Prcess Página 2 de 14 Prcess 1. PEFIN 1.1 Menus Específics
Leia maisREGULAMENTO CIRCUITO PAULISTA DE RUGBY SEVEN S M15/ M17 / M
REGULAMENTO CIRCUITO PAULISTA DE RUGBY SEVEN S M15/ M17 / M19 2018 FEDERAÇÃO PAULISTA DE RUGBY FPR Capítul I - Dispsições Gerais O Circuit Paulista de Rugby Seven s é um event prmvid pela Federaçã Paulista
Leia maisCatálogo de Aplicações. Catálogo de Aplicaciones
Índice AUDI CHERY CITROËN FIAT EFFA FORD GENERAL MOTORS GURGEL HONDA HYUNDAI JAC KIA MAZDA MITSUBISHI NISSAN PEUGEOT RENAULT SEAT SUZUKI TOYOTA TROLLER VOLKSWAGEN RECOMENDAÇÕES TÉCNICAS 01 01 01 01 01
Leia maisKIT PARA O REPARO DO CIRCUITO ELETRÔNICO DOS PROCESSADORES RI3172 / RI3173
KIT PR O REPRO DO IRUITO ELETRÔNIO DOS PROESSDORES RI3172 / RI3173 Em funçã da descntinuidade de frneciment da placa de circuit ds prcessadres RI3172 e RI3173 e devid a grande quantidade de aparelhs existentes
Leia maisBRIEFING Campeonatos InterClubes ATPorto Grupo Senior 3ª Divisão 2017
BRIEFING Campenats InterClubes ATPrt Grup Senir 3ª Divisã 2017 Nta prévia: este Briefing faz referência a nrmas e prcediments cumprir para realizaçã ds encntrs ds Campenats InterClubes na ATPrt, cnfrme
Leia maisAvaliação Imobiliária e Manutenção das Construções
Avaliaçã Imbiliária e Manutençã das Cnstruções 1ª Épca 15 de junh de 2016 (11h30) (V1.26 V1.25) Nme: Númer: Duraçã ttal sem interval: 1,45 hras Ntas: I. Nã é permitida a cnsulta de quaisquer ntas u dcuments,
Leia maisIndução de Regras. Indução de Regras. Regra. Regra de Classificação. Complexo. Uma regra de classificação assume a forma restrita de uma regra
Jsé August Baranauskas Departament de Física e Matemática FFCLRP-USP Induçã de Regras A induçã de árvres de decisã recursivamente divide s exempls em subcnjunts menres, tentand separar cada classe das
Leia maisTorneio da Família e Amigos
Trnei da Família e Amigs 29 de Outubr de 2016 Regulament 1. Participantes: Prva aberta a tds (as) sócis (as) e a nã sócis (as), cm Handicap EGA actualizad até a máxim de 28,0 (Hmens) e 36,0 (Senhras).
Leia maisLista de exercícios Conceitos Fundamentais
Curs: Engenharia Industrial Elétrica Disciplina: Análise Dinâmica Prfessr: Lissandr Lista de exercícis Cnceits Fundamentais 1) Em um circuit trifásic balancead a tensã V ab é 173 0 V. Determine tdas as
Leia maisCasa Eficiente b 1. Substituição de frigoríficos e arcas congeladoras por modelos mais eficientes
9.b 1 Substituiçã de frigrífics e arcas cngeladras pr mdels mais eficientes 1 2 FICHA TÉCNICA Títul 9.b 1 Substituiçã de frigrífics e arcas cngeladras pr mdels mais eficientes Cleçã Casa Catálg de sluções
Leia maisSIC Gerenciando Através s da Confiabilidade. Fabiana Pereira da Silva Vale
SIC 2013 Gerenciand Através s da Cnfiabilidade Fabiana Pereira da Silva Vale Intrduçã Atualmente as empresas de mineraçã vivem num cenári parecid cm s estudads e bservads pr Adam Smith e Frederick Taylr
Leia maisS3 - Explicação sobre endereço e/ou número de telefone dos EUA
S3 - Explicaçã sbre endereç e/u númer de telefne ds EUA Nme Númer da Cnta (se huver) A preencher seu Frmulári W-8 d IRS, vcê afirma nã ser cidadã u residente ds EUA u utra cntraparte ds EUA para efeit
Leia maisASSOCIAÇÃO MANAUARA DE FUTEBOL DE MESA - AMFM
DEFINIÇÕES 2015 COMPETIÇÕES CONTAREMOS COM 3 TIPOS DE COMPETIÇÕES. 1. CAMPEONATO ANUAL: 1ªDivisã fechada cm 7 btnistas cm queda ds 3 últims a final das 12 rdadas; 2ªDivisã fechada cm 7 btnistas cm acess
Leia mais2. Na guia Animações da faixa de opções, no grupo Animação, clique em Mais e selecione a animação desejada.
1. Selecine bjet que vcê deseja animar. Um "bjet" nesse cntext é qualquer item em um slide, cm uma imagem, um gráfic u uma caixa de text. Alças de dimensinament aparecem a redr de um bjet quand vcê selecina
Leia maisTÉCNICAS NÃO-PARAMÉTRICAS
TÉCNICAS NÃO-PARAMÉTRICAS O pass inicial de qualquer análise estatística cnsiste em uma descriçã ds dads através de análise descritiva (tabelas, medidas e gráfics). Cm a presença de censura invalida esse
Leia maisSinopse das entrevistas realizadas aos agentes sociais ligados à velhice (Dirigentes, técnicos e auxiliares de acção directa)
Sinpse das entrevistas realizadas as agentes sciais ligads à velhice (Dirigentes, técnics e auxiliares de acçã directa) Dimensã 1 Experiência e trabalh n lar Temp de experiência «Há 4 ans.» (P. 1) 4 ans.
Leia maisIII Olimpíada de Matemática do Grande ABC Primeira Fase Nível 3 (1ª ou 2ª Séries EM)
. Cnsidere a PG:, 9, 7, 8, 4,... A partir dela vams cnstruir a seqüência:, 6, 8, 4, 6,..., nde primeir term cincide cm primeir term da PG, e a partir d segund, n-ésim é a diferença entre n-ésim e (n-)-ésim
Leia maisBRIEFING Campeonatos InterClubes ATPorto Grupo Veterano 2016 (alterações de 9.Novembro.2015 a bold e com barra lateral)
BRIEFING Campenats InterClubes ATPrt Grup Veteran 2016 (alterações de 9.Nvembr.2015 a bld e cm barra lateral) Nta prévia: este Briefing faz referência a nrmas e prcediments cumprir para realizaçã ds encntrs
Leia maisOrganização de Computadores Digitais. Cap.10: Conjunto de Instruções: Modos de Endereçamento e Formatos
Organizaçã de Cmputadres Digitais Cap.10: Cnjunt de Instruções: Mds de Endereçament e Frmats Mds de endereçament Os mds de endereçament sã um aspect da Arquitetura d cnjunt de instruções ns prjets das
Leia maisESTRUTURA E FORMA DO PROJETO DE PESQUISA E DA DISSERTAÇÃO DO MESTRADO PROFISSIONAL EM ADMINISTRAÇÃO
Universidade d Estad de Santa Catarina Centr de Ciências da Administraçã e Sciecnômicas Prgrama de Pós-Graduaçã em Administraçã Mestrad Prfissinal em Administraçã ESTRUTURA E FORMA DO PROJETO DE PESQUISA
Leia maisEstudo do efeito de sistemas de forças concorrentes.
Universidade Federal de Alagas Faculdade de Arquitetura e Urbanism Curs de Arquitetura e Urbanism Disciplina: Fundaments para a Análise Estrutural Códig: AURB006 Turma: A Períd Letiv: 2007 2007-2 Prfessr:
Leia maisSISTEMA GALGO FATURAMENTO CONSULTA AO DEMONSTRATIVO DE TRANSAÇÕES TARIFADAS PRODUTO PROCESSO GUIA DO USUÁRIO
PRODUTO SISTEMA GALGO PROCESSO FATURAMENTO GUIA DO USUÁRIO CONSULTA AO DEMONSTRATIVO DE TRANSAÇÕES TARIFADAS INTRODUÇÃO Este guia tem bjetiv de apresentar as Usuáris Masters e Usuáris Finais das Entidades
Leia mais4 Extensão do modelo de Misme e Fimbel para a determinação da distribuição cumulativa da atenuação diferencial entre dois enlaces convergentes
4 Extensã d mdel de Misme e Fimbel ra a determinaçã da distribuiçã cumulativa da atenuaçã diferencial entre dis enlaces cnvergentes 4.. Distribuiçã cumulativa cnjunta das atenuações ns dis enlaces cnvergentes
Leia maisNormalização de banco de dados
Nrmalizaçã de banc de dads é um cnjunt de regras que visa, principalmente, a rganizaçã de um prjet de banc de dads, evitand perda u repetiçã e infrmações. Para nrmalizar banc de dads, deve-se examinar
Leia maisSUPERLIGA ESCOLAR DE FUTSAL
SUPERLIGA ESCOLAR DE FUTSAL - 2019 CAP. I - DA FINALIDADE REGULAMENTO GERAL Art. 1º - Incentivar a prática d futsal, dand prtunidade a mair númer de crianças e adlescentes das esclas participantes a virem
Leia maisDIGITAÇÃO DE CONTRATO NOVO
DIGITAÇÃO DE CONTRATO NOVO Criaçã: 10/12/2010 Atualizaçã: 01/02/2016 1 1º pass) Acessar Prtal Orienta, clicar n menu Outrs Canais e, em seguida, em Digitaçã de Prpstas. Digitar Usuári, a Senha, códig de
Leia maisSinopse das entrevistas realizadas aos agentes sociais ligados à velhice (Dirigentes, técnicos e auxiliares de acção directa)
Sinpse das entrevistas realizadas as agentes sciais ligads à velhice (Dirigentes, técnics e auxiliares de acçã directa) Dimensã 1 Experiência e trabalh n lar Prblemáticas Entrevistad A19 Análise Temp de
Leia maisRescisão Complementar
Rescisã Cmplementar Cm gerar rescisã cmplementar n sistema? N menu Móduls\ Rescisã\ Rescisã Cmplementar estã dispníveis as rtinas que permitem cálcul da rescisã cmplementar. É pssível calcular cmplementar
Leia maisXXXIII OLIMPÍADA BRASILEIRA DE MATEMÁTICA PRIMEIRA FASE NÍVEL 3 (Ensino Médio) GABARITO
XXXIII OLIMPÍD RSILEIR DE MTEMÁTI PRIMEIR FSE NÍVEL (Ensin Médi) GRITO GRITO NÍVEL ) 6) ) D 6) D ) ) 7) D ) 7) D ) D ) 8) ) 8) D ) ) 9) ) 9) ) D ) E 0) D ) D 0) E ) E ada questã da Primeira Fase vale pnt.
Leia maisCálculo do Valor Acrescentado (VA) no Aves
Cálcul d Valr Acrescentad (VA) n Aves Cnceiçã Silva Prtela Faculdade de Ecnmia e Gestã Universidade Católica Prtuguesa csilva@prt.ucp.pt pt Prgrama AVES Avaliaçã de Externa Esclas de Esclas cm Ensin Secundári
Leia maisMATEMÁTICA APLICADA RESOLUÇÃO
GRADUAÇÃO EM ADMINISTRAÇÃO, CIÊNCIAS ECONÔMICAS E 3/0/06 As grandezas P, T e V sã tais que P é diretamente prprcinal a T e inversamente prprcinal a V Se T aumentar 0% e V diminuir 0%, determine a variaçã
Leia maisÉpoca 2017/2018. Regulamento. Variante: Carambola. Disciplina: 3 Tabelas. Competição: Circuitos de Opens. Federação Portuguesa de Bilhar
Épca 2017/2018 Federaçã Prtuguesa de Bilhar Regulament Variante: Carambla Disciplina: 3 Tabelas Cmpetiçã: Circuits de Opens Ns Opens de 3 Tabelas apenas se pderã inscrever atletas cm Licença desprtiva
Leia maisVISIBILIDADE DA LUA. FASES E ECLIPSES OBSERVAÇÃO E EXPLICAÇÃO. Lua Nova
Astrnmia na Praça, na Rua e na Escla Flhet 1 Francisc de Brja López de Prad Astrnmia na Praça, na Rua e na Escla Flhet 1 Francisc de Brja López de Prad Nas atividades 6 e 7 a cabeça da pessa representa
Leia maisClassificações ECTS. - Resultados da aplicação experimental às disciplinas do IST - Carla Patrocínio
Classificações ECTS - Resultads da aplicaçã experimental às disciplinas d IST - Carla Patrcíni Crd.: Drª Marta Pile Gabinete de estuds e planeament Institut Superir Técnic Janeir, 2003 1. Enquadrament
Leia maisDIGITAÇÃO DE REFINANCIAMENTO
DIGITAÇÃO DE REFINANCIAMENTO 1 1º pass) Acessar Prtal Orienta, clicar n menu Outrs Canais e, em seguida, em Digitaçã de Prpstas. Digitar Usuári, a Senha, códig de segurança apresentad e clicar em Enviar
Leia maisSUPERFÍCIE E CURVA. F(x, y, z) = 0
SUPERFÍIE E URVA SUPERFÍIE E URVA As superfícies sã estudadas numa área chamada de Gemetria Diferencial, desta frma nã se dispõe até nível da Gemetria Analítica de base matemática para estabelecer cnceit
Leia maisPPGEP Comentários Iniciais CAPÍTULO 7 TESTE DE HIPÓTESE UFRGS. Testes de Hipótese
CAPÍTULO 7 7.. Cmentáris Iniciais Uma hipótese estatística é uma afirmativa a respeit de um parâmetr de uma distribuiçã de prbabilidade. Pr exempl, pdems frmular a hipótese que a prdutividade,5 peças/hra.
Leia maisManual de Versão Sistema Group Manager
Manual de Versã Sistema Grup Manager Bel Hriznte, 2016. Grup Sftware. Tds s direits reservads. Sumári 1. Grup Reprts... 3 2. Universidade Grup Sftware... 10 3. Busca autmática de endereç através d CEP...
Leia maisNome do curso: Ferramentas da Qualidade
Nme d curs: Ferramentas da Qualidade Fluxgramas. Elabrar um fluxgrama para prcess de ligar uma televisã.. Imagine que pretende cntactar telefnicamente Directr Geral de uma grande empresa. Elabre um fluxgrama
Leia maisPROJETO 24ª MOSTRA ESTUDANTIL TECNOLÓGICA Dias 27 e 28 DE OUTUBRO DE 2016 CURSO: SEGURANÇA DO TRABALHO
PROJETO 24ª MOSTRA ESTUDANTIL TECNOLÓGICA Dias 27 e 28 DE OUTUBRO DE 2016 CURSO: SEGURANÇA DO TRABALHO Objetivs: SEGURANÇA DO TRABALHO Desenvlver cmpetências para eliminar u minimizar s riscs de acidentes
Leia maisMODELAGEM RELACIONAL
Adail Tiag Faleir MODELAGEM RELACIONAL O cnceit principal vem da teria de cnjunts (álgebra relacinal) atrelad a ideia de que nã é relevante a usuári saber nde s dads estã u cm eles se encntram, representad
Leia maisObservadores de Estado
Observadres de Estad 1 I N R O D U Ç Ã O O B S E R V D O R E S DE L U E N B E R G E R rdem cmpleta D E D U Ç Ã O : G N H O DO O B S E R V D O R S I N O N I DO O B S E R V D O R lcaçã D U L I D D E O N
Leia maisBoletim Econômico Edição nº 71 maio de 2014 Organização: Maurício José Nunes Oliveira Assessor econômico
Bletim Ecnômic Ediçã nº 71 mai de 2014 Organizaçã: Mauríci Jsé Nunes Oliveira Assessr ecnômic A Bancarizaçã d país e a disparada das reclamações cntra s bancs 1 Queixas cntra bancs disparam Quand a relaçã
Leia maisProfessora Sonia IME 1980
IME 1980 1ª. QUESTÃ: ITEM 1 Em um recipiente fechad estã em equilíbri nas NTP,, e cristais de carbnat de cálci. a) Quantas e quais sã as fases presentes n sistema cntid n recipiente? b) Quais sã as substâncias
Leia maisOs critérios de correcção são os seguintes:
Os critéris de crrecçã sã s seguintes: Grup I Errs (7 errs): O tip de retrn da funçã é int e nã flat N primeir cndicinal, peradr de igualdade == (crret) fi trcad pel da atribuiçã = (incrret) N primeir
Leia maisSinopse das entrevistas realizadas aos agentes sociais ligados à velhice (Dirigentes, técnicos e auxiliares de acção directa)
Sinpse das entrevistas realizadas as agentes sciais ligads à velhice (Dirigentes, técnics e auxiliares de acçã directa) Dimensã 1 Experiência e trabalh n lar Temp de experiência «23 ans.» (P. 1) 23 ans.
Leia maisTRIBUTÁRIO 1. CONSIDERAÇÕES GERAIS SOBRE O BENEFÍCIO:
TRIBUTÁRIO 26/08/2014 Prtaria Cnjunta PGFN/RFB nº 15/2014 - Regulamentaçã d Artig 33, da Medida Prvisória nº 651/2014 - Cndições para Utilizaçã de Crédits Decrrentes de Prejuíz Fiscal e Base de Cálcul
Leia maisA grandeza física capaz de empurrar ou puxar um corpo é denominada de força sendo esta uma grandeza vetorial representada da seguinte forma:
EQUILÍBRIO DE UM PONTO MATERIAL FORÇA (F ) A grandeza física capaz de empurrar u puxar um crp é denminada de frça send esta uma grandeza vetrial representada da seguinte frma: ATENÇÃO! N S.I. a frça é
Leia maisVensis Manutenção. Rua Américo Vespúcio, 71 Porto Alegre / RS (51) 3012-4444 comercial@vensis.com.br www.vensis.com.br
Vensis Manutençã Vensis Manutençã É módul que permite gerenciament da manutençã de máquinas e equipaments. Prgramaçã de manutenções preventivas u registr de manutenções crretivas pdem ser feits de frma
Leia maisServiço Social
Serviç Scial 2012-13 Tmada de Decisã UCP-CRB Pól de Viseu *- 1 A elevada velcidade da mudança intrduz um nv element na gestã, frçand s executivs, já nervss cm um ambiente nã familiar, a tmar mais e mais
Leia maisUniversidade de Mogi das Cruzes UMC. Cálculo Diferencial e Integral II Parte I
Cálcul Diferencial e Integral II Página 1 Universidade de Mgi das Cruzes UMC Camps Villa Lbs Cálcul Diferencial e Integral II Parte I Engenharia Civil Engenharia Mecânica marilia@umc.br 1º semestre de
Leia maisUNIVERSIDADE FEDERAL DO ESPÍRITO SANTO (UFES) PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA AMBIENTAL (PPGEA)
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO (UFES) PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA AMBIENTAL (PPGEA) PROCESSO DE AVALIAÇÃO DE PROPOSTAS DE DISSERTAÇÃO (2019/1) O presente dcument tem cm bjetiv apresentar
Leia maisBlackjack. Projeto de Programaça o Entrega Interme dia
Prgramaçã 2015/2016 Mestrad em Engenharia Electrtécnica e de Cmputadres (MEEC) Blackjack Prjet de Prgramaça Entrega Interme dia 1 Intrduçã Cm este prjet pretende-se que s aluns desenvlvam um jg de cartas
Leia maisx(t) = e X(jω) = 2 π u o (ω ω o )
J. A. M. Felippe de Suza Análi de Sinais - Hmewrk 08 Análi de Sinais Hmewrk 09 (Transfrmadas de Furier) ) Mstre que s sinais x(t) abaix têm as transfrmadas de Furier X(j) crrespndentes, que também sã dada
Leia maismatemática 2 Questão 7
Questã TIPO DE PROVA: A Na figura, a diferença entre as áreas ds quadrads ABCD e EFGC é 56. Se BE =,a área d triângul CDE vale: a) 8,5 b) 0,5 c),5 d),5 e) 6,5 pr semana. Eventuais aulas de refrç sã pagas
Leia maisAuditoria às Reclamações e Pedidos de Informação dos CTT Correios de Portugal, S.A. 2017
Auditria às Reclamações e Pedids de Infrmaçã ds CTT Crreis de Prtugal, S.A. 2017 Síntese d Relatóri Versã pública 11 de setembr de 2018 Este dcument fi preparad pela Grant Thrntn & Assciads, SROC, Lda.
Leia maisAlterações na aplicação do Critério Brasil, válidas a partir de 01/01/2014
Alterações na aplicaçã d Critéri Brasil, válidas a partir de 01/01/2014 A dinâmica da ecnmia brasileira, cm variações imprtantes ns níveis de renda e na psse de bens ns dmicílis, representa um desafi imprtante
Leia maisESPECIFICAÇÃO DO TEMPO DE SOBREVIVÊNCIA
ESPECIFICAÇÃO DO TEMPO DE SOBREVIVÊNCIA O temp de sbrevivência é uma variável aleatória T, cntínua e psitiva. Os valres que T pde assumir têm alguma distribuiçã de prbabilidade que pde ser especificada
Leia maisCONCEITOS PRELIMINARES
VIA NUN`ALVARES 1/5 CONCEITOS PRELIMINARES A intrduçã da via Nun Alvares n atravessament da zna de Nevgilde, transprtará cnsig pela sua dimensã, implicações que deverã ser vistas cm bastante atençã, para
Leia maisCartografia e Geoprocessamento Parte 2. Projeção Cartográfica
Cartgrafia e Geprcessament Parte 2 Prjeçã Cartgráfica Recapituland... Geide; Datum: Planimétrics e Altimétrics; Tpcêntrics e Gecêntrics. Data ficiais ds países; N Brasil: Córreg Alegre, SAD69 e SIRGAS
Leia maisSEJAFERA APOSTILA EXERCÍCIOS / QUESTÕES DE VESTIBULARES. Matrizes e Determinantes
SEJAFERA APOSTILA EXERCÍCIOS / QUESTÕES DE VESTIBULARES Matrizes e Determinantes Depis de estudad uma matéria em matemática é imprtante que vcê reslva um númer significativ de questões para fiaçã de cnteúd.
Leia maisAula 11 Bibliotecas de função
Universidade Federal d Espírit Sant Centr Tecnlógic Departament de Infrmática Prgramaçã Básica de Cmputadres Prf. Vítr E. Silva Suza Aula 11 Biblitecas de funçã 1. Intrduçã À medida que um prgrama cresce
Leia maisIntrodução às Redes e Serviços de Telecomunicações
Capítul 1 Intrduçã às Redes e Serviçs de Telecmunicações 1.1 Intrduçã Neste capítul apresenta-se a resluçã de alguns prblemas e prpõem-se alguns exercícis adicinais referentes à matéria d capítul 1 de
Leia maisTributação Padrão para Imobilizado
Tributaçã Padrã para Imbilizad Intrduçã O sistema pssui cadastrs de tributaçã padrã para diverss prcesss cm peças, veículs, despesas, serviçs e inclusive a pssibilidade de indicar tributações padrã para
Leia maisVOLUMES: - Folha Informativa -
VOLUMES: - Flha Infrmativa - Para medir vlume de qualquer figura tridimensinal é necessári medir espaç que ela cupa. Assim, ter-se-á que esclher uma unidade de vlume que, pr cnveniência, pderá ser um cub
Leia maisSaber MANUAL BSC DAS DISCIPLINAS - MODELO KLS 2.0
Saber MANUAL BSC DAS DISCIPLINAS - MODELO KLS 2.0 SUMÁRIO A. Os fundaments metdlógics d KLS B. O que é BSC da disciplina? C. Cmpnentes d BSC da disciplina D. O BSC, a relaçã entre seus elements e as prblematizações
Leia maisLayout de integração com webservices de clientes. Serviço de autenticação do beneficiário
Layut de integraçã cm webservices de clientes Serviç de autenticaçã d beneficiári Objetiv Este dcument tem cm bjetiv rientar a cnstruçã de um cnjunt de webservices para autenticaçã de beneficiáris para
Leia maisAlgoritmo genético para o Problema de Dimensionamento de Lotes Multi-item Capacitado
Algritm genétic para Prblema de Dimensinament de Ltes Multi-item Capacitad André Hmem Drnas, Raíssa Cristina Crrêa Dutra, Vitr Lems Silveira, Rgéri Martins Gmes, and Ja Fernand Machry Sarubbi Centr Federal
Leia maisCRC-Nacional Central de Registro Civil de Minas Gerais Certidão Online - Serventia
CRC-Nacinal Central de Registr Civil de Minas Gerais Certidã Online - Serventia Manual d usuári Data: 16/07/2016 Versã dcument: 1.0 Prefáci 1. COMO ACESSAR O MÓDULO DA CERTIDÃO ONLINE... 03 2. HABILITANDO
Leia mais