Upload
internet
View
107
Download
0
Embed Size (px)
Citation preview
Programa de Engenharia de Programa de Engenharia de Sistemas e ComputaçãoSistemas e Computação
Linhas de PesquisaLinhas de Pesquisa
LaboratórioLaborató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
(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
(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
Arquitetura de Arquitetura de MicroprocessadoresMicroprocessadores
Professores envolvidos:Professores envolvidos:• Edil S. T. FernandesEdil S. T. Fernandes• Eliseu M. Chaves FilhoEliseu M. Chaves Filho
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
Arquiteturas MultimídiaArquiteturas Multimídia
Professores envolvidos:Professores envolvidos:• Claudio AmorimClaudio Amorim
Sistemas DistribuídosSistemas Distribuídos
Professores envolvidos:Professores envolvidos:• Felipe FrançaFelipe França• Valmir BarbosaValmir Barbosa• Ricardo BianchiniRicardo Bianchini
Aplicações ParalelasAplicações Paralelas
Professores envolvidos:Professores envolvidos:• Inês DutraInês Dutra• Vítor Santos CostaVítor Santos Costa
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
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
(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
(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
Neurociência ComputacionalNeurociência Computacional
Professores envolvidos:Professores envolvidos:• Luis Alfredo Vidal de CarvalhoLuis Alfredo Vidal de Carvalho
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
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
Programação Lógica IndutivaProgramação Lógica Indutiva
Professores envolvidos:Professores envolvidos:• Gerson ZaveruchaGerson Zaverucha• Vítor Santos CostaVítor Santos Costa
Sistemas HíbridosSistemas Híbridos
Professores envolvidos:Professores envolvidos:• Felipe FrançaFelipe França• Gerson ZaveruchaGerson Zaverucha
Sistemas Concorrentes e Sistemas Concorrentes e DistribuídosDistribuídos
Professores envolvidos:Professores envolvidos:• Felipe FrançaFelipe França• Mario BenevidesMario Benevides• Valmir BarbosaValmir Barbosa
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
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
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
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
Lab-PESC - EstruturaLab-PESC - Estrutura
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
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)
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