Linear para o Problema de Escalonamento de Workflows em Múltiplos Provedores de Nuvem
|
|
- Eugénio Mascarenhas Miranda
- 6 Há anos
- Visualizações:
Transcrição
1 Discretização do Tempo na Utilização de Programação Linear para o Problema de Escalonamento de Workflows em Múltiplos Provedores de Nuvem Thiago A. L. Genez, Luiz F. Bittencourt, Edmundo R. M. Madeira Instituto de Computação (IC) Universidade Estadual de Campinas (UNICAMP) 03 de Maio de / 25
2 Roteiro 1 Introdução Visão geral do problema Objetivos deste trabalho 2 Cenário do Escalonamento em Nuvens 3 Visão geral do Algoritmo de Escalonamento Modelagem do Problema Formulação da Programação Linear Inteira 4 Representação da Linha do Tempo 5 Avaliação 6 Conclusão e Trabalhos Futuros 2 / 25
3 Introdução Visão geral do problema Introdução I Visão geral de Computação em Nuvem: Oferece recursos como serviços de utilidade geral Os recursos podem ser alugados e liberados sob demanda Camada de virtualização Modelo de tarifação pago-pelo-uso (pay-as-you-go) Dividido em três modelos gerais (NIST) IaaS infrastructure as a service PaaS platform as a service SaaS software as a service 3 / 25
4 Introdução Visão geral do problema Introdução II Provedor de SaaS (ou PaaS): Fornece um serviço de execução de workflows aos seus clientes através de acordos de nível de serviço (SLA) Deve cumprir o deadline da execução estipulado para cada workflow Aluga recursos (VMs) do provedor de IaaS também através de SLAs Múltiplos provedores de IaaS Pode reduzir os custos de manutenção da sua infraestrutura própria Não tem que lidar com as peculiaridades de hardware Traz elasticidade ao seu poder computacional Dois níveis de SLAs: 1 o nível: SLAs entre o provedor de SaaS e cada cliente 2 o nível: SLAs entre o provedor de SaaS e cada provedor de IaaS Escalonamento: Programação Linear Inteira (PLI) 4 / 25
5 Introdução Visão geral do problema Introdução III Principal problema: Permitir o escalonamento de workflows grandes pela PLI: (> 30 nós) Várias dependências entre estes nós Dependendo do tamanho do workflow ou tamanho do deadline: Aumento da linha temporal discreta da PLI T = {1, 2, 3, 4,..., deadline} Aumenta o tempo de execução do escalonador Soluções aceitáveis podem não ser encontradas em tempo hábil 5 / 25
6 Introdução Visão geral do problema Introdução IV Objetivo deste trabalho: Relaxar a dimensão tempo na PLI Aumentando a granularidade da linha do tempo Fator multiplicativo λ T = {λ, 2λ, 3λ,..., deadline}, onde λ N + Permitir que o provedor de SaaS escalone workflows com grande número de nós e dependências Em tempo aceitável (hábil) Menor custo monetário possível com VMs Respeitar os deadlines estabelecidos para cada workflow 6 / 25
7 Cenário Cenário do Escalonamento em Nuvens I Dois níveis de SLA O cenário do ambiente de escalonamento na nuvem: 7 / 25
8 Cenário Cenário do Escalonamento em Nuvens II Dois níveis de SLA Workflow: representado por um DAG G = {U, E}, onde: cada nó u i U representa um serviço a ser executado cada aresta e i,j E representa uma dependência de dados entre os serviços i e j 8 / 25
9 Algoritmo de Escalonamento Modelagem do Problema Modelagem do Problema O problema de escalonamento de workflows pode ser citado como: Encontre um mapeamento viável M entre os nós do DAG G e as VMs de vários provedores de IaaS, de tal modo que a soma do custo computacional monetário para todos os nós u U nas máquinas virtuais em V seja mínimo, as dependêcias entre os nós do DAG G não sejam violadas e o tempo total de execução do mapeamento M ( makespan) M G seja no máximo igual ao deadline exigido pelo usuário, ou seja, M G D G. Método utilizado: Programação linear Inteira (PLI) Para workflows pequenos ( 15 nós) e com pouca dependência Execução é rápida Tempo aceitável Considerando λ = 1 9 / 25
10 Algoritmo de Escalonamento Programação Linear Inteira Formulação da Programação Linear Inteira (PLI) I As variáveis e constante utilizadas no programa linear inteiro: x u,t,v : variável binária que assume o valor 1 se o nó u termina sua execução no instante de tempo t na VM v, caso contrário, assume o valor 0; y t,v : variável binária que assume o valor 1 se a VM v está sendo utilizada no instante de tempo t, caso contrário, assume o valor 0; C v : constante que assume o custo por unidade de tempo da máquina virtual v. Função objetivo linear: Minimize y t,v C v t T v V 10 / 25
11 Algoritmo de Escalonamento Programação Linear Inteira Formulação da Programação Linear Inteira (PLI) II Restrições: (C1) (C2) x u,t,v = 1; t T v V u U; u U v V w u J v t=1 x u,t,v = 0; Determinam que qualquer nó do DAG deve ser executado apenas uma vez e em uma única VM Estabelecem que o nó u do DAG não pode ser definido como terminado até que tenha sido executado na VM v t w z J r +f u,z L i,j t (C3) x u,s,v x z,s,r s=1 s=1 z U, u H(z), r, v V, t T, i, j I B i,v = 1, B j,r = 1 Determinam que o nó z do DAG não pode iniciar sua execução até que todos os nós anteriores tenham terminado suas execuções e os dados resultados tenham chegado à VM que executará z 11 / 25
12 Algoritmo de Escalonamento Programação Linear Inteira Formulação da Programação Linear Inteira (PLI) III Restrições: (C4) t+ w u J v 1 u U s=t:t D G w u J v v V, t T x u,s,v P v Estipulam que o número de nós do DAG em execução na VM v, em um determinado tempo t não pode exceder o número de núcleos de processamento de v (C5) t s=t w u J v +1 y s,v x u,t,v ( w u J v ) u U, v V, t { w u J v,..., D G } Determinam que uma VM deve permanecer ativa, enquanto estiver executando os nós que a exigem 12 / 25
13 Algoritmo de Escalonamento Programação Linear Inteira Formulação da Programação Linear Inteira (PLI) IV Restrições: (C6) (C7) y t,v δ i v V i I, t T B i,v = 1 y t,v α s v V s ζ, t T K s,v = 1 Especificam que o número de VMs reservadas somadas com o número de VMs alugadas sob demanda não pode exceder o número máximo permitido por cada provedor de IaaS Estabelecem que a quantidade de VMs sendo utilizadas não pode exceder o limite estipulado no SLA (C8) x u,t,v {0, 1} u U, t T, v V (C9) y t,v {0, 1} t T, v V Especificam que as variáveis deste PLI só irão assumir valores binários (0 ou 1) 13 / 25
14 Linha do Tempo Representação da Linha do Tempo I Tempo: Granularidade da linha do tempo Questão-chave para o problema de escalonamento Classificação do tempo: Discreto: existe um intervalo de tempo que não é divisível Eventos ocorrem no início (ou no final) dos intervalos Escalonamento menos preciso Modelo matemático mais simples Contínuo: não há intervalos de tempo não divisíveis Eventos ocorrem em qualquer instante de tempo Escalonamento mais preciso Modelo matemático mais complexo 14 / 25
15 Linha do Tempo Representação da Linha do Tempo II Tempo discreto: As VMs são contabilizadas por unidades de tempo inteiras usadas As unidades parcialmente consumidas: Cobradas como se fossem unidades de tempo completas Fator multiplicativo λ T = {λ, 2λ, 3λ, 4λ,..., Λ}, tal que Λ D G e λ N + Dependendo do valor de λ: Granularidade fina (intervalos de tempo curtos) Aumenta o número de elementos do conjunto T Aumenta o espaço de busca de soluções (mais preciso) Aumenta o tempo de execução do escalonador Solução ótima ou aceitável pode demorar para ser encontrada 15 / 25
16 Linha do Tempo Representação da Linha do Tempo III Tempo discreto: (cont) Dependendo do valor de λ: Granularidade grossa (intervalos de tempo longos) Diminui o número de elementos do conjunto T Diminui o espaço de busca de soluções (menos preciso) Diminui o tempo de execução do escalonador Escalonamento pode se tornar inviável Falta de unidades de tempo o suficiente para representar todas as dependências dos nós do DAG Trade-off: Usar Intervalos de tempo curtos para obter um escalonamento mais preciso Intervalos de tempo longos para diminuir o tempo de execução do escalonador 16 / 25
17 Avaliação Avaliação I 17 / 25
18 Avaliação Avaliação II Detalhes da Simulação: Java and IBM ILOG CPLEX Optimizer As métricas avaliadas foram: Custo monetário do escalonamento Makespan do workflow Tempo de execução do escalonador Número de soluções inviáveis Worfklows de aplicações do mundo real usados foram: Fork-Join com 30 nós Montage Ligo Abordagem ótima: não relaxamos as restrições (C8) e (C9) Variamos o fator múltiplicativo λ e o deadline Tempo limite de 600 segundos para cada simulação 18 / 25
19 Avaliação Avaliação III Configuração das Simulações Utilizamos 3 provedores de IaaS em nossas simulações Cada provedor de IaaS tem suas próprias configurações e preços para as VMs no plano de reserva e sob demanda VMs com 1 a 8 núcleos de processamentos Desempenho dos recursos heterogêneos (processadores e enlaces) 19 / 25
20 Avaliação Avaliação IV Resultados para o DAG Fork-Join com 30 nós: DAG Fork Join com 30 nós DAG Fork Join com 30 nós Custo ($) λ Makespan λ DAG Fork Join com 30 nós DAG Fork Join com 30 nós Tempo de execução (s) soluções inviáveis (%) λ λ 2/7 x T max 3/7 x T max 4/7 x T max 5/7 x T max 6/7 x T max 20 / 25
21 Avaliação Avaliação V Resultados para o DAG Montage: DAG Montage DAG Montage Custo ($) λ Makespan λ DAG Montage DAG Montage Tempo de execução (s) soluções inviáveis (%) λ λ 2/7 x T max 3/7 x T max 4/7 x T max 5/7 x T max 6/7 x T max 21 / 25
22 Avaliação Avaliação VI Resultados para o DAG Ligo: DAG Ligo DAG Ligo Custo ($) λ Makespan λ DAG Ligo DAG Ligo Tempo de execução (s) soluções inviáveis (%) λ λ 2/7 x T max 3/7 x T max 4/7 x T max 5/7 x T max 6/7 x T max 22 / 25
23 Conclusão e Trabalhos Futuros Conclusão e Trabalhos Futuros I Conclusão: Para workflows com vários nós e várias dependências: Tempo de escalonamento pode ser alto Apresentamos uma maneira de reduzir o espaço de busca de soluções no problema de escalonamento em nuvens com 2 níveis de SLA: Relaxando o tempo na PLI Simulações mostraram que aumento da discretização do tempo pode: Reduzir o tempo de execução do workflow Encontrar soluções viáveis com custos satisfatórios em tempo hábil Alguns casos (λ > 1) custos monetários menores do que quando λ = 1 Para deadlines altos, podemos usar valores altos para λ Para alguns workflows é necessário escalonar com λ > 1 Abordagem da discretização do tempo pode fornecer uma base para o provedor de SaaS negociar os SLAs com seus clientes 23 / 25
24 Conclusão e Trabalhos Futuros Conclusão e Trabalhos Futuros II Trabalhos Futuros: Relaxamento da programação linear inteira Desenvolvimento de heurísticas não-iterativas Escalonamento de múltiplos workflows no mesmo conjunto de VMs 24 / 25
25 Questões Obrigado! Questões? Agradecimentos: 25 / 25
26 Configuração das Simulações Configuração das Simulações Utilizamos 3 provedores de IaaS em nossas simulações O número máximo de VMs que podem ser alugadas a partir de cada provedor de IaaS: δ A = 4, δ B = 7, δ C = 2. Enlaces externos (enlaces entre provedores de IaaS): É escolhido aleatoriamente do intervalo [2, 3] Enlaces internos (enlaces entre VMs dentro do mesmo provedor de IaaS): É escolhido aleatoriamente do intervalo [0.1, 0.2]l Simulações com DAGs de aplicações do mundo real: Fork-Join com 30 nós, Montage e Ligo D G variando de T max 2/7 à T max 6/7 em etapas de 1/7 Intel R Xeon X 5660 CPU 2.80GHz com 16GB de RAM
27 Configuração das Simulações Tabela 1 : Provedor de IaaS A Tipo Núcleo Instrução Preço Preço Por Núcleo Demanda Reserva P $0.13 $0.045 M $0.20 $0.070 Tabela 2 : Provedor de IaaS B Tipo Núcleo Instrução Preço Preço Por Núcleo Demanda Reserva P 1 2 $0.17 $0.045 M 2 2 $0.30 $0.059 G 3 2 $0.40 $0.140 EG 4 2 $0.52 $0.183 EG2 8 2 $0.90 $0.316
28 Configuração das Simulações Tabela 3 : Provedor de IaaS C Tipo Núcleo Instrução Preço Preço Por Núcleo Demanda Reserva P 1 2 $0.15 $0.052 M 2 2 $0.25 $0.088 G $0.50 $0.176 EG $0.80 $0.281 Tabela 4 : Máquinas virtuais reservadas para provedor de SaaS Tipo IaaS VM Quantidade Reservada A P 1 Reservada A M 1 Reservada B P 1 Reservada B M 1
Escalonamento de Workflows com Uso Intensivo de Dados em Nuvens
Escalonamento de Workflows com Uso Intensivo de Dados em Nuvens Thiago A. L. Genez 1, Luiz F. Bittencourt 1, Edmundo R. M. Madeira 1 1 Instituto de Computação Universidade Estadual de Campinas (UNICAMP)
Leia maisEmparelhamentos Bilineares Sobre Curvas
Emparelhamentos Bilineares Sobre Curvas Eĺıpticas Leandro Aparecido Sangalli sangalli@dca.fee.unicamp.br Universidade Estadual de Campinas - UNICAMP FEEC - Faculdade de Engenharia Elétrica e de Computação
Leia maisDynamic Voltage Scaling in Multitier Web Servers with End-to-End Delay Control
Dynamic Voltage Scaling in Multitier Web Servers with End-to-End Delay Control Tibor Horvath and Tarek Abdelzaher and Kevin Skadron and Xue Liu Universidade Federal Fluminense Diego Passos Apresentação
Leia maisInteligência Artificial
Inteligência Artificial Aula 7 Programação Genética M.e Guylerme Velasco Programação Genética De que modo computadores podem resolver problemas, sem que tenham que ser explicitamente programados para isso?
Leia maisPESQUISA OPERACIONAL -PROGRAMAÇÃO LINEAR. Prof. Angelo Augusto Frozza, M.Sc.
PESQUISA OPERACIONAL -PROGRAMAÇÃO LINEAR Prof. Angelo Augusto Frozza, M.Sc. ROTEIRO Esta aula tem por base o Capítulo 2 do livro de Taha (2008): Introdução O modelo de PL de duas variáveis Propriedades
Leia maisT.I. para o DealerSuite: Servidores Versão: 1.1
T.I. para o DealerSuite: Servidores Versão: 1.1 Lista de Figuras T.I. para o Dealer Suite: Servidores Figura 1 Tela Principal do ESXi...4 Figura 2 Tela VMware Player...5 Figura 3 Arquivo /etc/exports do
Leia maisEventos, Tarefas,Tempos e Prazos
Eventos, Tarefas,Tempos e Prazos Um STR reage a eventos Evento do ambiente Eventos de um relógio do sistema Cada evento é processado por uma tarefa Eventos ocorrem em instantes de Tarefas ocupam do processador
Leia maisUnidade 1: O Computador
Unidade : O Computador.3 Arquitetura básica de um computador O computador é uma máquina que processa informações. É formado por um conjunto de componentes físicos (dispositivos mecânicos, magnéticos, elétricos
Leia maisFundamentos de Teste de Software
Núcleo de Excelência em Testes de Sistemas Fundamentos de Teste de Software Módulo 1- Visão Geral de Testes de Software Aula 2 Estrutura para o Teste de Software SUMÁRIO 1. Introdução... 3 2. Vertentes
Leia maisSistemas Operacionais. Rodrigo Rubira Branco rodrigo@kernelhacking.com rodrigo@fgp.com.br. www.fgp.com.br
Sistemas Operacionais Rodrigo Rubira Branco rodrigo@kernelhacking.com rodrigo@fgp.com.br Questões do Provão de Fevereiro/2005 Disciplina: Sistemas Operacionais 1. Um sistema operacional é um programa que
Leia maisAula 10: Escalonamento da CPU
Aula 10: Escalonamento da CPU O escalonamento da CPU é a base dos sistemas operacionais multiprogramados. A partir da redistribuição da CPU entre processos, o sistema operacional pode tornar o computador
Leia maisProgramação Orientada a Objetos SANTOS, Rafael
Programação Orientada a Objetos SANTOS, Rafael É parte do software, e deve atender os requisitos do usuário Controla o hardware, incluindo periféricos de entrada e saída Usa um conjunto de comandos e regras:
Leia maisARQUITETURA DE COMPUTADORES. Professor: Clayton Rodrigues da Siva
ARQUITETURA DE COMPUTADORES Professor: Clayton Rodrigues da Siva OBJETIVO DA AULA Objetivo: Conhecer a estrutura da arquitetura da Máquina de Von Neumann. Saber quais as funcionalidades de cada componente
Leia maisREGULAMENTO ESPECÍFICO DE BASQUETEBOL 2009-2013 DESPORTO ESCOLAR
REGULAMENTO ESPECÍFICO DE BASQUETEBOL 2009-2013 DESPORTO ESCOLAR ÍNDICE 1. INTRODUÇÃO...3 2. ESCALÕES ETÁRIOS/ BOLA DE JOGO/DURAÇÃO DE JOGO...4 3. CONSTITUIÇÃO DA EQUIPA...5 4. ARBITRAGEM...6 5. CLASSIFICAÇÃO/
Leia maisADMINISTRAÇÃO DE BANCOS DE DADOS MÓDULO 8
ADMINISTRAÇÃO DE BANCOS DE DADOS MÓDULO 8 Índice 1. Modelagem de Dados - Continuação...3 1.1. Modelo Entidade-Relacionamento (MER) - II... 3 1.1.1. Entidades fortes e entidades fracas... 3 1.2. Dicionário
Leia maisM =C J, fórmula do montante
1 Ciências Contábeis 8ª. Fase Profa. Dra. Cristiane Fernandes Matemática Financeira 1º Sem/2009 Unidade I Fundamentos A Matemática Financeira visa estudar o valor do dinheiro no tempo, nas aplicações e
Leia maisIntrodução à Informática
Introdução à Informática Alexandre Meslin (meslin@nce.ufrj.br) Objetivo do Curso Apresentar os conceitos básicos de informática, de software e de hardware. Introduzir os conceitos relativos à representação
Leia maisMétricas de Software
Métricas de Software Plácido Antônio de Souza Neto 1 1 Gerência Educacional de Tecnologia da Informação Centro Federal de Educação Tecnologia do Rio Grande do Norte 2006.1 - Planejamento e Gerência de
Leia maisIniciação Científica no INATEL
Iniciação Científica no INATEL 2016 / 1º. Semestre Profa. Rosanna Coordenadora do Programa de IC Inatel rosannas@inatel.br ic@inatel.br Objetivo O que é Iniciação Científica? Quais são as oportunidades
Leia mais10. CPU (Central Processor Unit)... 10 2 10.1 Conjunto das instruções... 10 2 10.2 Estrutura interna... 10 4 10.3 Formato das instruções...
10. CPU (Central Processor Unit)... 10 2 10.1 Conjunto das instruções... 10 2 10.2 Estrutura interna... 10 4 10.3 Formato das instruções... 10 4 10. CPU (CENTRAL PROCESSOR UNIT) Como vimos no capítulo
Leia maisGerenciamento do Escopo do Projeto (PMBoK 5ª ed.)
Gerenciamento do Escopo do Projeto (PMBoK 5ª ed.) De acordo com o PMBok 5ª ed., o escopo é a soma dos produtos, serviços e resultados a serem fornecidos na forma de projeto. Sendo ele referindo-se a: Escopo
Leia maisDISTRIBUIÇÕES ESPECIAIS DE PROBABILIDADE DISCRETAS
VARIÁVEIS ALEATÓRIAS E DISTRIBUIÇÕES DE PROBABILIDADES 1 1. VARIÁVEIS ALEATÓRIAS Muitas situações cotidianas podem ser usadas como experimento que dão resultados correspondentes a algum valor, e tais situações
Leia maisTítulo da Apresentação
Título da Apresentação Gerenciamento de infraestrutura escalável para websites Fabiano Castro Pereira fabiano.pereira@serpro.gov.br 00/00/0000 Gerenciamento de infraestrutura escalável para websites 1
Leia maisREGULAMENTO ESPECÍFICO DE BASQUETEBOL
REGULAMENTO ESPECÍFICO DE BASQUETEBOL 2009-2013 ÍNDICE 1. INTRODUÇÃO... 3 2. ESCALÕES ETÁRIOS/ BOLA DE JOGO/DURAÇÃO DE JOGO... 4 3. CONSTITUIÇÃO DA EQUIPA... 5 4.ARBITRAGEM... 6 5. CLASSIFICAÇÃO/ PONTUAÇÃO/DESEMPATE...
Leia maisCurso de Formação de Oficiais Conhecimentos Específicos ENGENHARIA DE COMPUTAÇÃO CADERNO DE QUESTÕES
Curso de Formação de Oficiais Conhecimentos Específicos ENGENHARIA DE COMPUTAÇÃO CADERNO DE QUESTÕES 2014 1 a QUESTÃO Valor: 1,00 a) (0,30) Defina gramáticas livre de contexto. b) (0,30) Crie uma gramática
Leia maisArquitetura de referência de Streaming sob demanda para desktop (ODDS) DELL
Arquitetura de referência de Streaming sob demanda para desktop (ODDS) DELL Um informativo técnico da Dell Dell Mohammed Khan Kailas Jawadekar ESTE INFORMATIVO É APENAS PARA FINS INFORMATIVOS E PODE CONTER
Leia maisFundamentos de Programação. Diagrama de blocos
Fundamentos de Programação Diagrama de blocos Prof. M.Sc.: João Paulo Q. dos Santos E-mail: joao.queiroz@ifrn.edu.br Página: http://docente.ifrn.edu.br/joaoqueiroz/ O processo de desenvolvimento (programação),
Leia maisProf. Daniela Barreiro Claro
O volume de dados está crescendo sem parar Gigabytes, Petabytes, etc. Dificuldade na descoberta do conhecimento Dados disponíveis x Análise dos Dados Dados disponíveis Analisar e compreender os dados 2
Leia maisAnálise Qualitativa no Gerenciamento de Riscos de Projetos
Análise Qualitativa no Gerenciamento de Riscos de Projetos Olá Gerente de Projeto. Nos artigos anteriores descrevemos um breve histórico sobre a história e contextualização dos riscos, tanto na vida real
Leia maisENGENHARIA DE SOFTWARE
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE Curso Técnico em Informática : ENGENHARIA DE SOFTWARE Prof.: Clayton Maciel Costa clayton.maciel@ifrn.edu.br Um conjunto estruturado
Leia maisOtimização Linear Aplicada a Problemas de Planejamento de Produção
Otimização Linear Aplicada a Problemas de Planejamento de Produção Rafaela Schuindt Santos¹, Daniela Renata Cantane² ¹Escola Estadual Luiz Campacci Laranjal Paulista SP - Brasil ²Universidade Estadual
Leia maisREGULAMENTO ESPECÍFICO BASQUETEBOL. (Revisto em Setembro de 2014)
REGULAMENTO ESPECÍFICO BASQUETEBOL 2013 2017 (Revisto em Setembro de 2014) Índice 1. Introdução 2 2. Escalões etários 3 3. Constituição das Equipas 4 4. Regulamento Técnico Pedagógico 5 5. Classificação,
Leia maisMDS II Aula 04. Concepção Requisitos Diagrama de Casos de Uso (Use Cases)
MDS II Aula 04 Concepção Requisitos Diagrama de Casos de Uso (Use Cases) 55 DIAGRAMA DE CASOS DE USO BENEFÍCIOS DOS CASOS DE USO ILUSTRAR POR QUE O SISTEMA É NECESSÁRIO OS REQUISITOS DO SISTEMA SÃO COLOCADOS
Leia maisAula 03. Processadores. Prof. Ricardo Palma
Aula 03 Processadores Prof. Ricardo Palma Definição O processador é a parte mais fundamental para o funcionamento de um computador. Processadores são circuitos digitais que realizam operações como: cópia
Leia maisArquitecturas de Software Enunciado de Projecto 2007 2008
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Arquitecturas de Software Enunciado de Projecto 2007 2008 1 Introdução Na primeira metade da década de 90 começaram a ser desenvolvidas as primeiras
Leia maisUniversidade Estadual de Goiás Biblioteca UnUCET. Regulamento
Universidade Estadual de Goiás Biblioteca UnUCET Regulamento Janeiro/2007 UNIVERSIDADE ESTADUAL DE GOIÁS Unidade Universitária de Ciências Exatas e Tecnológicas - UnUCET Regulamento Da Constituição Art.
Leia maisConceitos básicos sobre computadores
SSC0101 - ICC1 Teórica Introdução à Ciência da Computação I Conceitos básicos sobre computadores Prof. Vanderlei Bonato: vbonato@icmc.usp.br Sumário O que é um computador e onde podemos encontrá-los? Divisão:
Leia maisTOP 20 ROTINAS QUE VOCÊ PODE AUTOMATIZAR HOJE!
TOP 20 ROTINAS QUE VOCÊ PODE AUTOMATIZAR HOJE! Erro Zero; Mais barato que um administrador de redes; Faz qualquer tarefa repetitiva e manual; Flexibilidade para mudar processos automatizados dentro do
Leia maisData Envelopment Analysis in the Sustainability Context - a Study of Brazilian Electricity Sector by Using Global Reporting Initiative Indicators
Data Envelopment Analysis in the Sustainability Context - a Study of Brazilian Electricity Sector by Using Global Reporting Initiative Indicators Análise Envoltória de Dados no contexto da sustentabilidade
Leia maisApresentação dos Requisitos Do Edital Inmetro nº 01/2011
Apresentação dos Requisitos Do Edital Inmetro nº 01/2011 Anexo B Especificações do simulador Eduardo Lopes Pesquisador-Tecnologista em Metrologia e Qualidade Objetivos Apresentar o simulador de pista com
Leia maisTipos de problemas de programação inteira (PI) Programação Inteira. Abordagem para solução de problemas de PI. Programação inteira
Tipos de problemas de programação inteira (PI) Programação Inteira Pesquisa Operacional I Flávio Fogliatto Puros - todas as variáveis de decisão são inteiras Mistos - algumas variáveis de decisão são inteiras
Leia maisDOCUMENTO DE REQUISITO DE SOFTWARE
DOCUMENTO DE REQUISITO DE SOFTWARE PARTICIPANTES Belo Horizonte - 1
Leia maisDeswik.Sched. Sequenciamento por Gráfico de Gantt
Deswik.Sched Sequenciamento por Gráfico de Gantt SOLUÇÕES EM SEQUENCIAMENTO DE LAVRA QUE NOS DIFERENCIAM Uma abordagem dinâmica e moderna para o sequenciamento de lavra Desde gráficos de Gantt interativos
Leia maisArquitetura TCP/IP. Apresentado por: Ricardo Quintão
Arquitetura TCP/IP Apresentado por: Ricardo Quintão Roteiro Conexões Inter-redes Serviço Universal Rede Virtual (inter-rede ou internet) Protocolos para ligação inter-redes (TCP/IP) Divisão em camadas
Leia maisRegulamento das Bolsas PARSUK Xperience 2014
Regulamento das Bolsas PARSUK Xperience 2014 1. Parte 1 Objectivos, valor e designação das bolsas 1.1. O programa PARSUK Xperience pretende dar a oportunidade a alunos de licenciatura ou mestrado em Portugal
Leia maisOrganização e Arquitetura de Computadores. Ivan Saraiva Silva
Organização e Arquitetura de Computadores Hierarquia de Memória Ivan Saraiva Silva Hierarquia de Memória A Organização de Memória em um computador é feita de forma hierárquica Registradores, Cache Memória
Leia maisIFRS 13 Mensuração do valor justo
www.pwc.com/br IFRS 13 Mensuração do valor justo Equivalente ao CPC 46 Tadeu Cendón Introdução IFRS 13 emitido em maio de 2011 Vigência a partir de 1/1/2013 aplicação prospectiva Objetivos Proporciona
Leia maisModelo Entidade Relacionamento (MER) Professor : Esp. Hiarly Alves
Tópicos Apresentação Entidade, Atributo e Relacionamento Cardinalidade Representação simbólica Generalizações / Especializações Agregações Apresentação O Modelo Entidade-Relacionamento tem o objetivo de
Leia maisDIMENSÕES DE PESQUISA EM ENGENHARIA DE SOFTWARE
ESPECIAL Engenharia de Software DIMENSÕES DE PESQUISA EM ENGENHARIA DE SOFTWARE por Paulo Borba DECISÕES IMPORTANTES A SEREM TOMADAS NOS PROJETOS E NA CARREIRA DE UM PESQUISADOR EM ENGENHARIA DE SOFTWARE.
Leia maisHardware: Componentes Básicos. Sistema de Computador Pessoal. Anatomia de um Teclado. Estrutura do Computador. Arquitetura e Organização
Hardware: Componentes Básicos Arquitetura dos Computadores Dispositivos de Entrada Processamento Dispositivos de Saída Armazenamento Marco Antonio Montebello Júnior marco.antonio@aes.edu.br Sistema de
Leia maisBPMN - Business Process Modeling Notation Uma Notação para a Modelagem de Processos. Renata Guanaes
BPMN - Business Process Modeling Notation Uma Notação para a Modelagem de Processos Renata Guanaes Tópicos Motivação - Porque modelar processos Como definir Nível de Detalhe (Granularidade do Processo)
Leia maisREGULAMENTO ESPECÍFICO DE BASQUETEBOL
Índice 1. Introdução 3 2. Escalões Etários/Bola de Jogo/Duração de Jogo 3 3. Constituição da Equipa 4 4. Classificação/Pontuação 4 5. Arbitragem 5 6. Mesa de Secretariado 6 7. Regulamento Técnico-Pedagógico
Leia maisFlávia Rodrigues. Silves, 26 de Abril de 2010
Flávia Rodrigues STC5 _ Redes de Informação e Comunicação Silves, 26 de Abril de 2010 Vantagens e Desvantagens da Tecnologia Acessibilidade, quer a nível pessoal quer a nível profissional; Pode-se processar
Leia mais03-07-12 - Prospeto a publicar nas ofertas públicas de valores mobiliários
03-07-12 - Prospeto a publicar nas ofertas públicas de valores mobiliários A Comissão Europeia (CE) emitiu novas regras quanto ao formato e ao conteúdo do prospeto, do prospeto de base, do sumário, das
Leia maisGSCI - GSIG. 2 Programação Linear. Prof. Ricardo Villarroel Dávalos, Dr. Eng.
GSCI - GSIG 2 Programação Linear Prof. Ricardo Villarroel Dávalos, Dr. Eng. E-mail: ricardo.davalos@unisul.br Fpolis, Setembro de 2012 2.4 Modelagem do Problema Problema MODELO: * Restrições =; =
Leia maisArquitetura de Conectividade para Ambientes de Computação em Nuvem. Palestrante: Herlon Hernandes
Arquitetura de Conectividade para Ambientes de Computação em Nuvem Palestrante: Herlon Hernandes Sumário Evolução dos Ambientes Computacionais Estrutura Tradicional Tecnologias Virtualização Requisitos
Leia maisCENTRAIS ELÉTRICAS DE RONDÔNIA S.A. CERON PREGÃO MINISTÉRIO DE MINAS E ENERGIA ANEXO XIII DO EDITAL
Eletrobrás MINISTÉRIO DE MINAS E ENERGIA ANEXO XIII DO EDITAL Anexo XIII do Pregão Eletrônico n 029/2009 Página 1 de 11 ESPECIFICAÇÃO TÉCNICA TRANSFORMADORES DE CORRENTE AUXILIARES 0,6 KV USO INTERIOR
Leia maisAula 8 21/09/2009 - Microeconomia. Demanda Individual e Demanda de Mercado. Bibliografia: PINDYCK (2007) Capítulo 4
Aula 8 21/09/2009 - Microeconomia. Demanda Individual e Demanda de Mercado. Bibliografia: PINDYCK (2007) Capítulo 4 Efeito de modificações no preço: Caso ocorram modificações no preço de determinada mercadoria
Leia maisGUIA DE DIGITALIZAÇÃO ÓTIMA
Condições para obter os melhores resultados de digitalização O processo de digitalização é afetado por fatores ambientais, pela configuração e calibração do digitalizador, bem como pelo objeto a digitalizar.
Leia maisOPERAÇÕES COM FRAÇÕES
OPERAÇÕES COM FRAÇÕES Adição A soma ou adição de frações requer que todas as frações envolvidas possuam o mesmo denominador. Se inicialmente todas as frações já possuírem um denominador comum, basta que
Leia maisMBA em Gerenciamento de Projetos. Teoria Geral do Planejamento. Professora: Maria Erileuza do Nascimento de Paula
MBA em Gerenciamento de Projetos Teoria Geral do Planejamento Professora: Maria Erileuza do Nascimento de Paula SOBRAL - CE 2014 O que é Planejamento É um processo contínuo e dinâmico que consiste em um
Leia maisProgramação de Computadores I Estruturas de Repetição PROFESSORA CINTIA CAETANO
Programação de Computadores I Estruturas de Repetição PROFESSORA CINTIA CAETANO Introdução Existem situações onde é necessário repetir um determinado trecho de um programa um certo número de vezes. Assim,
Leia maisSISTEMAS OPERACIONAIS. 3ª. Lista de Exercícios
SISTEMAS OPERACIONAIS INF09344 - Sistemas Operacionais / INF02780 - Sistemas Operacionais / INF02828 - Sistemas de Programação II Prof a. Roberta Lima Gomes (soufes@gmail.com) 3ª. Lista de Exercícios Data
Leia maisREGIMENTO ESPECÍFICO BASQUETEBOL. Câmara Municipal de Lisboa e Juntas de Freguesia Olisipíadas 2ª edição
REGIMENTO ESPECÍFICO BASQUETEBOL Câmara Municipal de Lisboa e Juntas de Freguesia Olisipíadas 2ª edição Índice Preâmbulo 5 Artigo 1.º Escalões Etários, Dimensões do Campo, Bola, Tempo de Jogo e Variantes
Leia maisInsight for a better planet SOLUÇÕES EM PLANEJAMENTO, AGENDAMENTO E OTIMIZAÇÃO FLORESTAL
Insight for a better planet SOLUÇÕES EM PLANEJAMENTO, AGENDAMENTO E OTIMIZAÇÃO FLORESTAL www.remsoft.com 1 Excelência em planejamento e otimização de processos decisórios Líder em tecnologias de otimização
Leia maisRoteiro... Sistemas Distribuídos Aula 4. Troca de mensagens. Comunicação entre processos. Conceitos de SD, vantagens e desvantagens
Roteiro... Conceitos de SD, vantagens e desvantagens Infra-estrutura de um SD Considerações de projeto Sistemas Distribuídos Aula 4 Karine de Pinho Peralta Modelos de Comunicação - comunicação entre processos
Leia maisEstudo sobre a dependência espacial da dengue em Salvador no ano de 2002: Uma aplicação do Índice de Moran
Estudo sobre a dependência espacial da dengue em Salvador no ano de 2002: Uma aplicação do Índice de Moran Camila Gomes de Souza Andrade 1 Denise Nunes Viola 2 Alexandro Teles de Oliveira 2 Florisneide
Leia mais2 Workshop processamento de artigos em serviços de saúde Recolhimento de artigos esterilizados: é possível evitar?
2 Workshop processamento de artigos em serviços de saúde Recolhimento de artigos esterilizados: é possível evitar? 3 Farm. André Cabral Contagem, 19 de Maio de 2010 Rastreabilidade É definida como a habilidade
Leia maisISS Eletrônico. Formato de Arquivos para Transmissão de Documentos Declarados através do aplicativo OFFLINE. Extensão do Arquivo JUNHO2006.
ISS Eletrônico Formato de Arquivos para Transmissão de Documentos Declarados através do aplicativo OFFLINE Caro contribuinte. A transmissão de arquivos é uma facilidade fornecida pelo sistema de ISS Eletrônico
Leia maisObtenção Experimental de Modelos Matemáticos Através da Reposta ao Degrau
Alunos: Nota: 1-2 - Data: Obtenção Experimental de Modelos Matemáticos Através da Reposta ao Degrau 1.1 Objetivo O objetivo deste experimento é mostrar como se obtém o modelo matemático de um sistema através
Leia maisUNIVERSIDADE ESTADUAL DE CAMPINAS FACULDADE DE EDUCAÇÃO. Elaborado por Gildenir Carolino Santos Grupo de Pesquisa LANTEC
UNIVERSIDADE ESTADUAL DE CAMPINAS FACULDADE DE EDUCAÇÃO Elaborado por Gildenir Carolino Santos Grupo de Pesquisa LANTEC Campinas Fevereiro 2014 2 opyleft Gildenir C. Santos, 2014. Biblioteca - Faculdade
Leia maisPlano Pós-Pago Alternativo de Serviço
1 - Aplicação Plano Pós-Pago Alternativo de Serviço Plano Nº 030 - Plano Online 500MB Requerimento de Homologação Nº 8886 Este Plano Pós-Pago Alternativo de Serviço é aplicável pela autorizatária CLARO
Leia maisGUIA SOBRE A APLICAÇÃO DOS ASPECTOS LINGUÍSTICOS DA CARTILHA DE ADESÃO À AGENCE UNIVERSITAIRE DE LA FRANCOPHONIE
GUIA SOBRE A APLICAÇÃO DOS ASPECTOS LINGUÍSTICOS DA CARTILHA DE ADESÃO À AGENCE UNIVERSITAIRE DE LA FRANCOPHONIE Adotado pelo conselho associativo da Agence universitaire de la Francophonie 13 de setembro
Leia maisManual Remessa Bancária
Manual Remessa Bancária SUPERANDO DESAFIOS Identificação: 12.06a Autora: Laila M G Gechele Doc. Vrs. 01 Aprovado em: Revisores: Nota de copyright Copyright 2012 Teorema Informática, Guarapuava. Todos os
Leia maisPARECER Nº, DE 2008. RELATORA: Senadora ADA MELLO I RELATÓRIO
PARECER Nº, DE 2008 Da COMISSÃO DE ASSUNTOS SOCIAIS, sobre o Projeto de Lei do Senado nº 364, de 2008, que altera o art. 8º da Lei n 9.250, de 26 de dezembro de 1995, para permitir a dedução de despesa
Leia maisScheduling and Task Allocation ADVANCED COMPUTER ARCHITECTURE AND PARALLEL PROCESSING Hesham El-Rewini 2005 Capítulo 10 Autor...: Antonio Edson Ceccon Professor..: Prof. Heitor Silvério Lopes Apresentação
Leia maisCONTRATO DE LICENÇA DO UTILIZADOR PARA PRODUTOS DE SOFTWARE DA STONERIDGE ELECTRONICS LTD
CONTRATO DE LICENÇA DO UTILIZADOR PARA PRODUTOS DE SOFTWARE DA STONERIDGE ELECTRONICS LTD AO OBTER UM CÓDIGO DE ACTIVAÇÃO E AO INTRODUZIR O MESMO PARA ACTIVAR A LICENÇA DO PROGRAMA DE SOFTWARE E AO INSTALAR
Leia maisÁlgebra Linear Aplicada à Compressão de Imagens. Universidade de Lisboa Instituto Superior Técnico. Mestrado em Engenharia Aeroespacial
Álgebra Linear Aplicada à Compressão de Imagens Universidade de Lisboa Instituto Superior Técnico Uma Breve Introdução Mestrado em Engenharia Aeroespacial Marília Matos Nº 80889 2014/2015 - Professor Paulo
Leia maisEngenharia de Software II
Engenharia de Software II Aula 26 http://www.ic.uff.br/~bianca/engsoft2/ Aula 26-21/07/2006 1 Ementa Processos de desenvolvimento de software Estratégias e técnicas de teste de software Métricas para software
Leia maisCOBRANÇA BANCÁRIA CAIXA
COBRANÇA BANCÁRIA CAIXA ESPECIFICAÇÃO DE CÓDIGO DE BARRAS PARA BLOQUETOS DE COBRANÇA COBRANÇAS RÁPIDA E SEM REGISTRO GESER NOVEMBRO/2000 ÍNDICE PÁGINA 1 INTRODUÇÃO... 3 2 ESPECIFICAÇÕES...4 2.1 FORMATO......
Leia maisAnálise de Sistemas 3º Bimestre (material 2)
Análise de Sistemas 3º Bimestre (material 2) Professor: José Ronaldo Leles Júnior Turma: 2º ano do curso de Sistemas de Informação UEG Universidade Estadual de Goiás Campus Posse POO Paradigma Orientado
Leia maisTratores. Informações gerais sobre tratores. Recomendações. Distância do eixo
Informações gerais sobre tratores Informações gerais sobre tratores Os tratores foram projetados para puxar semirreboques e são, portanto, equipados com uma quinta roda para possibilitar a fácil troca
Leia maisDestaques do Concurso de Bolsas Individuais 2015
Destaques do Concurso de Bolsas Individuais 2015 O que há de diferente no concurso de 2015 Bolsas de Doutoramento Bolsas de Doutoramento em Empresas Bolsas de Pós- Doutoramento 1 de abril de 2015 Este
Leia maisI TORNEIO DE INTEGRAÇÃO CIENTÍFICA TIC
I TORNEIO DE INTEGRAÇÃO CIENTÍFICA TIC Edital do Desafio Área: Petróleo, Gás e Biocombustíveis Tema: Produção de Biocombustíveis Maceió 2012 1. INTRODUÇÃO As razões para o interesse pelos biocombustíveis
Leia maisCursos Profissionais - nível Curso Técnico de Turismo Ambiental e Rural
Cursos Profissionais - nível Curso Técnico de Turismo Ambiental e Rural REGULAMENTO DA FORMAÇÃO EM CONTEXTO DE TRABALHO Despacho nº 14758/2004 (2ª série), de 23 de Julho, Portaria nº 550-C/2004, de 21
Leia maisA dissertação é dividida em 6 capítulos, incluindo este capítulo 1 introdutório.
1 Introdução A escolha racional dos sistemas estruturais em projetos de galpões industriais é um fator de grande importância para o desenvolvimento de soluções padronizadas e competitivas. No mercado brasileiro
Leia maisEDITAL PARA INSCRIÇÃO DE TRABALHOS NO III CURSO DE EXTENSÃO SOBRE O TRABALHO DO ASSISTENTE SOCIAL NA EDUCAÇÃO DO IFMG
EDITAL PARA INSCRIÇÃO DE TRABALHOS NO III CURSO DE EXTENSÃO SOBRE O TRABALHO DO ASSISTENTE SOCIAL NA EDUCAÇÃO DO IFMG 1. DO OBJETIVO Promover concurso de trabalhos a serem apresentados nas formas de pôster
Leia maisII Semana de Ciência e Tecnologia do IFMG campus Bambuí II Jornada Científica 19 a 23 de Outubro de 2009
SOFTWARE DE CONTROLE DE USO DOS LABORATÓRIOS DO DEPARTAMENTO DE CIÊNCIAS AGRÁRIAS DO IFMG CAMPUS BAMBUÍ Alex Daniel CASTANHA ¹; Bruno FERREIRA ² ¹ Estudante do Curso Superior de Tecnologia em Análise e
Leia maisComo Elaborar uma Proposta de Projeto
Como Elaborar uma Proposta de Projeto Prof. Tiago Garcia de Senna Carneiro tiago@iceb.ufoop.br TerraLAB Laboratório INPE/UFOP para Modelagem e Simulação dos Sistemas Terrestres Departamento de Computação
Leia maisI. Conjunto Elemento Pertinência
TEORI DOS CONJUNTOS I. Conjunto Elemento Pertinência Conjunto, elemento e pertinência são três noções aceitas sem definição, ou seja, são noções primitivas. idéia de conjunto é praticamente a mesma que
Leia maisProjeto de Desenvolvimento de Software
Projeto de Desenvolvimento de Software Introdução a Engenharia de Software (continuação) Msc. Eliezio Soares eliezio.soares@ifrn.edu.br http://docente.ifrn.edu.br/elieziosoares Engenharia de Software Definição
Leia maisMUNICÍPIOS DA PENÍNSULA DE SETÚBAL ASSOCIAÇÕES ESCOLAS JOGOS DO FUTURO DA REGIÃO DE SETÚBAL 2016 BASQUETEBOL REGULAMENTO
JOGOS DO FUTURO DA REGIÃO DE SETÚBAL 2016 BASQUETEBOL REGULAMENTO 1. Organização A organização da competição de Basquetebol dos Jogos do Futuro da Região de Setúbal 2016 é da responsabilidade da Câmara
Leia maisFUNDAÇÃO DE AMPARO AO ENSINO E PESQUISA
e-mail: faep@faep.org.br - CEP: 08780-2 - Mogi das Cruzes SP CONVOCAÇÃO PARA SELEÇÃO DE PESQUISADORES- BOLSISTAS Nº001 /2014 POR FORÇA DO CONVÊNIO CELEBRADO ENTRE A UNIVERSIDADE DE MOGI DAS CRUZES E A
Leia maisLógica de Programação. Profas. Simone Campos Camargo e Janete Ferreira Biazotto
Lógica de Programação Profas. Simone Campos Camargo e Janete Ferreira Biazotto O curso Técnico em Informática É o profissional que desenvolve e opera sistemas, aplicações, interfaces gráficas; monta estruturas
Leia maisEstruturas de Repetição
Estruturas de Repetição Lista de Exercícios - 04 Algoritmos e Linguagens de Programação Professor: Edwar Saliba Júnior Estruturas de Repetição O que são e para que servem? São comandos que são utilizados
Leia maisD-Francoforte no Meno: Aluguer de salas de reuniões e conferências 2013/S 059-096665. Anúncio de concurso. Serviços
1/5 O presente anúncio no sítio web do TED: http://ted.europa.eu/udl?uri=ted:notice:96665-2013:text:pt:html D-Francoforte no Meno: Aluguer de salas de reuniões e conferências 2013/S 059-096665 Anúncio
Leia mais