Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

27
Programa de Engenharia Programa de Engenharia de Sistemas e de Sistemas e Computação Computação Linhas de Pesquisa Linhas de Pesquisa Laboratório Laboratório

Transcript of Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Page 1: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Programa de Engenharia de Programa de Engenharia de Sistemas e ComputaçãoSistemas e Computação

Linhas de PesquisaLinhas de Pesquisa

LaboratórioLaboratório

Page 2: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

PESC – Linhas de PesquisaPESC – Linhas de Pesquisa

(AC)(AC) Algoritmos e CombinatóriaAlgoritmos e Combinatória (ASO)(ASO) Arquitetura e Sistemas OperacionaisArquitetura e Sistemas Operacionais (BD)(BD) Banco de DadosBanco de Dados (CG)(CG) Computação GráficaComputação Gráfica (ES)(ES) Engenharia de SoftwareEngenharia de Software (IS)(IS) Informática e SociedadeInformática e Sociedade (IA)(IA) Inteligência ArtificialInteligência Artificial (OT)(OT) OtimizaçãoOtimização (RD)(RD) Redes de ComputadoresRedes de Computadores

Page 3: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

(ASO) Arquitetura e Sistemas (ASO) Arquitetura e Sistemas OperacionaisOperacionais

Arquitetura de MicroprocessadoresArquitetura de Microprocessadores Arquiteturas ParalelasArquiteturas Paralelas Arquiteturas MultimídiaArquiteturas Multimídia Sistemas DistribuídosSistemas Distribuídos Aplicações ParalelasAplicações Paralelas Sistemas de Memória Compartilhado-Sistemas de Memória Compartilhado-

DistribuídaDistribuída

Page 4: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

(ASO) Arquitetura e Sistemas (ASO) Arquitetura e Sistemas OperacionaisOperacionais

Professores:Professores: Claudio AmorimClaudio Amorim Edil S. T. FernandesEdil S. T. Fernandes Eliseu M. Chaves FilhoEliseu M. Chaves Filho Felipe FrançaFelipe França Inês DutraInês Dutra Ricardo BianchiniRicardo Bianchini Valmir BarbosaValmir Barbosa Vítor Santos CostaVítor Santos Costa

Page 5: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Arquitetura de Arquitetura de MicroprocessadoresMicroprocessadores

Professores envolvidos:Professores envolvidos:• Edil S. T. FernandesEdil S. T. Fernandes• Eliseu M. Chaves FilhoEliseu M. Chaves Filho

Page 6: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Arquiteturas ParalelasArquiteturas Paralelas

Professores envolvidos:Professores envolvidos:• Claudio AmorimClaudio Amorim• Ricardo BianchiniRicardo Bianchini• Inês DutraInês Dutra• Vítor Santos CostaVítor Santos Costa

Page 7: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Arquiteturas MultimídiaArquiteturas Multimídia

Professores envolvidos:Professores envolvidos:• Claudio AmorimClaudio Amorim

Page 8: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Sistemas DistribuídosSistemas Distribuídos

Professores envolvidos:Professores envolvidos:• Felipe FrançaFelipe França• Valmir BarbosaValmir Barbosa• Ricardo BianchiniRicardo Bianchini

Page 9: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Aplicações ParalelasAplicações Paralelas

Professores envolvidos:Professores envolvidos:• Inês DutraInês Dutra• Vítor Santos CostaVítor Santos Costa

Page 10: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Sistemas de Memória Sistemas de Memória Compartilhado-DistribuídaCompartilhado-Distribuída

Professores envolvidos:Professores envolvidos:• Claudio AmorimClaudio Amorim• Inês DutraInês Dutra• Ricardo BianchiniRicardo Bianchini• Vítor Santos CostaVítor Santos Costa

Page 11: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Aplicações Paralelas e Sistemas Aplicações Paralelas e Sistemas de Memória Compartilhado-de Memória Compartilhado-

DistribuídaDistribuída Gerenciamento de memóriaGerenciamento de memória Paralelização de algoritmos sequenciaisParalelização de algoritmos sequenciais Re-estruturação de algoritmos paralelosRe-estruturação de algoritmos paralelos Análise de desempenhoAnálise de desempenho Ferramentas de análise post-runFerramentas de análise post-run Suporte de bibliotecas paralelasSuporte de bibliotecas paralelas

Page 12: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

(IA) Inteligência Artificial(IA) Inteligência Artificial

Neurociência ComputacionalNeurociência Computacional Lógica ClássicaLógica Clássica Lógica Não MonotônicaLógica Não Monotônica Programação LógicaProgramação Lógica Programação Lógica IndutivaProgramação Lógica Indutiva Sistemas HíbridosSistemas Híbridos Sistemas Concorrentes e DistribuídosSistemas Concorrentes e Distribuídos

Page 13: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

(IA) Inteligência Artificial(IA) Inteligência Artificial

Professores:Professores: Felipe FrançaFelipe França Gerson ZaveruchaGerson Zaverucha Inês DutraInês Dutra José Carlos SilvaJosé Carlos Silva Luis Alfredo V. de CarvalhoLuis Alfredo V. de Carvalho Mario BenevidesMario Benevides Sheila VelosoSheila Veloso Valmir BarbosaValmir Barbosa Vítor Santos CostaVítor Santos Costa

Page 14: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Neurociência ComputacionalNeurociência Computacional

Professores envolvidos:Professores envolvidos:• Luis Alfredo Vidal de CarvalhoLuis Alfredo Vidal de Carvalho

Page 15: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Lógica Clássica e Não Lógica Clássica e Não MonotônicaMonotônica

Professores envolvidos:Professores envolvidos:• João Carlos Pereira da SilvaJoão Carlos Pereira da Silva• Sheila VelosoSheila Veloso

Page 16: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Programação LógicaProgramação Lógica

Professores envolvidos:Professores envolvidos:• Gerson ZaveruchaGerson Zaverucha• Inês DutraInês Dutra• Vítor Santos CostaVítor Santos Costa

Page 17: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Programação Lógica IndutivaProgramação Lógica Indutiva

Professores envolvidos:Professores envolvidos:• Gerson ZaveruchaGerson Zaverucha• Vítor Santos CostaVítor Santos Costa

Page 18: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Sistemas HíbridosSistemas Híbridos

Professores envolvidos:Professores envolvidos:• Felipe FrançaFelipe França• Gerson ZaveruchaGerson Zaverucha

Page 19: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Sistemas Concorrentes e Sistemas Concorrentes e DistribuídosDistribuídos

Professores envolvidos:Professores envolvidos:• Felipe FrançaFelipe França• Mario BenevidesMario Benevides• Valmir BarbosaValmir Barbosa

Page 20: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Programação LógicaProgramação Lógica

Sistemas baseados em Prolog:Sistemas baseados em Prolog:– Sistemas SequenciaisSistemas Sequenciais– Sistemas ParalelosSistemas Paralelos

CompilaçãoCompilação Ambiente de ExecuçãoAmbiente de Execução Ferramentas de análise post-runFerramentas de análise post-run

Page 21: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Programação LógicaProgramação Lógica

AplicaçõesAplicações– Sistemas especialistasSistemas especialistas– Sistemas de apoio à decisãoSistemas de apoio à decisão– Programação Lógica IndutivaProgramação Lógica Indutiva– Processamento de Linguagem NaturalProcessamento de Linguagem Natural– CompiladoresCompiladores– Meta-programação Meta-programação – Bancos de dadosBancos de dados– OtimizaçãoOtimização

Page 22: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Laboratório do PESCLaboratório do PESC

Pessoal responsável:Pessoal responsável:• Inês Dutra (até final de Fevereiro)Inês Dutra (até final de Fevereiro)• AdilsonAdilson• Carlos Carlos • Frederico Frederico • JulinhoJulinho• JulioJulio• MagnosMagnos

• Voluntários: Claudio Esperança, Claudson , Guilherme, Voluntários: Claudio Esperança, Claudson , Guilherme, Vera e VítorVera e Vítor

Page 23: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Lab-PESCLab-PESC

Equipamentos (aprox 300)Equipamentos (aprox 300) Máquinas Pentium com Solaris, Linux e Windows Máquinas Pentium com Solaris, Linux e Windows

9898 Máquinas Sun (sparc5, 20 e ultra 1 e 5) com Máquinas Sun (sparc5, 20 e ultra 1 e 5) com

SolarisSolaris Máquinas IBM r6k e PowerPC com AIXMáquinas IBM r6k e PowerPC com AIX Impressoras HP e CanonImpressoras HP e Canon ScannersScanners Switches, roteadores e hubsSwitches, roteadores e hubs

Page 24: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Lab-PESC - EstruturaLab-PESC - Estrutura

Page 25: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Lab-PESCLab-PESC

Todas as máquinas conectadas em redeTodas as máquinas conectadas em rede Conta individual (obter conta e senha com Julio)Conta individual (obter conta e senha com Julio) Serviços internos e externos: email, discos de “home” e Serviços internos e externos: email, discos de “home” e

aplicaçõesaplicações Serviços de acesso remoto: Serviços de acesso remoto:

– Open ssh (cada sw cliente deve ser configurado de forma Open ssh (cada sw cliente deve ser configurado de forma adequada)adequada)

– ftp (obter senha na secretaria ou com Julio)ftp (obter senha na secretaria ou com Julio)– httphttp– Mail (cada sw cliente deve ser configurado de forma Mail (cada sw cliente deve ser configurado de forma

adequada)adequada) Três senhas: ssh, ftp e conta de usuárioTrês senhas: ssh, ftp e conta de usuário

Page 26: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Lab-PESC-Serviço de emailLab-PESC-Serviço de email

Não há linha direta discadaNão há linha direta discada O acesso precisa ser feito através de O acesso precisa ser feito através de

provedorprovedor Configurar seu cliente para não deixar Configurar seu cliente para não deixar

emails já lidos no servidoremails já lidos no servidor .forward deve ser colocado no servidor de .forward deve ser colocado no servidor de

email (cos1)email (cos1)

Page 27: Programa de Engenharia de Sistemas e Computação Linhas de Pesquisa Laboratório.

Lab-PESC-Serviço de httpLab-PESC-Serviço de http

É possível criar home pagesÉ possível criar home pages Procurar o pessoal de suporteProcurar o pessoal de suporte