Faculdade de Engenharia Elétrica e Computação - PRPG
Transcrição
Faculdade de Engenharia Elétrica e Computação - PRPG
GOVERNO DO ESTADO DE SÃO PAULO UNIVERSIDADE ESTADUAL DE CAMPINAS FACULDADE DE ENGENHARIA ELÉTRICA E DE COMPUTAÇÃO CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO 2003 FICHA CATALOGRÁFICA (Preparada pela Biblioteca Central da Unicamp) Universidade Estadual de Campinas Faculdade de Engenharia Elétrica e de Computação Catálogo dos Cursos de Pós-Graduação 2003. Campinas, 2003. 41 p. 1. Catálogos. I. Título. Este Catálogo é editado anualmente pela Comissão Central de Pós-Graduação Universidade Estadual de Campinas Cidade Universitária Zeferino Vaz - Barão Geraldo Caixa Postal 1170 13.081-970 - Campinas - SP - Brasil Fone: (019) 3788-4955/3788-4959 Fax: (019) 3788-4885 http://www.prpg.unicamp.br Faculdade de Engenharia Elétrica e de Computação Caixa Postal 6101 CEP 13.083-970 Fone: (019) 3289-5242/3788-3869 Fax: (019) 3289-5242 E-mail: [email protected] http://www.fee.unicamp.br UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 FEEC CALENDÁRIO ESCOLAR DOS CURSOS DE PÓS-GRADUAÇÃO UNICAMP/2003 10 a 12 - Cancelamento de matrícula em disciplinas oferecidas na 1ª metade do 1º período letivo de 2003 26 a 28 - Cancelamento de matrícula em disciplinas do 1º período letivo de 2003 JANEIRO/2003 01 - Confraternização Universal 02 - Início das atividades das disciplinas oferecidas nas Férias de Verão 02 e 03 - Período suplementar de matrícula em disciplinas oferecidas nas Férias de Verão 09 e 10 - Alteração de matrícula em disciplinas oferecidas nas Férias de Verão 20 e 21 - Cancelamento de matrícula em oferecidas nas Férias de Verão 20 a 24 - Estudante especial - pré-inscrição para cursar disciplinas isoladas de Pós-Graduação, nas unidades de ensino. - Término das atividades das oferecidas nas Férias de Verão 06 e 07 11 14 17 08 - Último dia para substituição, nos boletins de conceitos e freqüências das disciplinas oferecidas nas Férias de Verão, do Especificador "I". 12 - Prazo Final para o cumprimento da Carga Horária e Programas das Disciplinas da 1ª metade do 1º período letivo de 2003 14 a 24 - Período de reposição de atividades e estudos da 1ª metade do 1º período letivo de 2003 disciplinas - Último dia para solicitação de Abandono Justificado em disciplinas oferecidas nas Férias de Verão 05 a 07 ABRIL/2003 disciplinas FEVEREIRO/2003 05 31 a 27/06 - Período para solicitação de Abandono Justificado do 1º período letivo de 2003 - Matrícula em disciplinas que serão oferecidas na 2ª metade do 1º período letivo de 2003 17 a 21 - Não haverá atividades 24 - Último dia para solicitação de Abandono Justificado em disciplinas oferecidas na 1ª metade do 1º período letivo de 2003 - Matrícula para o 1º período letivo de 2003 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 1º período letivo de 2003 - alunos ingressantes - Exames finais das disciplinas oferecidas nas Férias de Verão - Término das disciplinas oferecidas na 1ª metade do 1º período letivo de 2003 25 - Início das atividades das disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 - Prazo Final para entrega de conceitos e freqüências das disciplinas oferecidas nas Férias de Verão 30 - Prazo Final para entrega de conceitos e freqüências das disciplinas oferecidas na 1ª metade do 1º período letivo de 2003 - Último dia para substituição, nos boletins de conceitos e freqüências do 2º período letivo de 2002 e de disciplinas oferecidas na 2ª metade do 2º período letivo de 2002, do Especificador "I". MAIO/2003 01a 03 - Não haverá atividades - Início das atividades do 1º período letivo de 2003 05 e 06 - Alteração de matrícula em disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 13 - Último dia para licenciamento do 1º período letivo de 2003 19 e 20 - Cancelamento de matrícula em disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 - Matrícula suplementar para o 1º período letivo de 2003 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 1º período letivo de 2003 alunos ingressantes 18 e 19 - Estudante especial - inscrição em disciplinas isoladas de Pós-Graduação, na DAC. 26 a 28 - Alteração de disciplinas na matrícula do 1º período letivo de 2003 e em disciplinas oferecidas nas 1ª e 2ª metades do 1º período letivo de 2003 JUNHO/2003 18 - Prazo Final para o cumprimento da Carga Horária e Programas das Disciplinas do 1º período letivo de 2003 e disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 19 a 21 - Não haverá atividades MARÇO/2003 01 a 05 - Não haverá atividades 3 FEEC 23 UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 - Início das atividades das disciplinas oferecidas nas Férias de Inverno 23 a 10/07 - Renovação de Matrícula do 2º período letivo de 2003 e matrícula em disciplinas a serem oferecidas nas 1ª e 2ª metades do 2º período letivo de 2003 23 a 13/10 - Licenciamento de Matrícula do 2º período letivo de 2003 - Matrícula suplementar para o 2º período letivo de 2003 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 2º período letivo de 2003 alunos ingressantes 29 - Prazo Final para entrega de Conceitos e Freqüências das disciplinas oferecidas nas Férias de Inverno 29 e 30 - Estudante especial - inscrição em disciplinas isoladas de Pós-Graduação, na DAC. 23 a 27 - Estudante Especial - pré-Inscrição para cursar disciplinas isoladas de Pós-Graduação, nas unidades de ensino. 23 a 28 - Período de reposição de atividades e estudos do 1º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 11 a 13 - Alteração de disciplinas na matrícula do 2º período letivo de 2003 e em disciplinas oferecidas nas 1ª e 2ª metades do 2º período letivo de 2003 24 - Último dia para substituição, nos boletins de conceitos e freqüências de disciplinas oferecidas na 1ª metade do 1º período letivo de 2003, do Especificador "I". 14 e 15 - Cancelamento de matrícula em disciplinas oferecidas na 1ª metade do 2º período letivo de 2003 27 - Último dia para solicitação de Abandono Justificado do 1º período letivo e em disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 SETEMBRO/2003 27 e 30 28 - Matrícula em Disciplinas Oferecidas nas Férias de Inverno - Término do 1º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 30 a 05/07 - Exames finais do 1º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 JULHO/2003 05 - Último dia para realização de exames finais do 1º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 07 e 08 - Cancelamento de matrícula em oferecidas nas Férias de Inverno 08 - Prazo Final para entrega de Conceitos e Freqüências do 1º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 1º período letivo de 2003 - Não haverá atividades 09 10 16 a 18 25 03 - Último dia para substituição, nos boletins de conceitos e freqüências do 1º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 1º período letivo de 2003, do Especificador "I". 03 a 05 - Cancelamento de matrícula em disciplinas do 2º período letivo de 2003 17 - Prazo Final para o cumprimento da Carga Horária e Programas das Disciplinas oferecidas na 1ª metade do 2º período letivo de 2003 18 a 24 - Período de reposição de atividades e estudos da 1ª metade do 2º período letivo de 2003 18 a 25 - Matrícula em disciplinas que serão oferecidas na 2ª metade do 2º período letivo de 2003 24 - Último dia para substituição, nos boletins de conceitos e freqüências das disciplinas oferecidas nas Férias de Inverno, do Especificador "I". disciplinas - Último dia para Renovação de Matrícula do 2º período letivo de 2003 e matrícula em disciplinas a serem oferecidas nas 1ª e 2ª metades do 2º período letivo de 2003 - Matrícula para o 2º período letivo de 2003 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 1º período letivo de 2003 - Alunos Ingressantes - Último dia para solicitação de Abandono Justificado das disciplinas oferecidas nas Férias de Inverno 26 - Término das atividades das oferecidas nas Férias de Inverno 28 - Início das atividades do 2º período letivo de 2003 4 AGOSTO/2003 disciplinas - Término das disciplinas oferecidas na 1ª metade do 2º período letivo de 2003 25 - Início das atividades das disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 29 e 30 - Alteração de matrícula em disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 30 - Prazo final para entrega de conceitos e freqüências das disciplinas oferecidas na 1ª metade do 2º período letivo de 2003 OUTUBRO/2003 13 e 14 - Cancelamento de Matrícula em Disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 24 - Último dia para Licenciamento do 2º período letivo de 2003 UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 NOVEMBRO/2003 14 - Prazo Final para o cumprimento da Carga Horária e Programas das Disciplinas oferecidas no 2º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 15 - Não haverá atividades 17 - Início do período para Licenciamento do 1º período letivo de 2004 17 a 22 - Período de reposição de atividades e estudos do 2º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 17 a 03/12 - Renovação de Matrícula para o 1º período letivo de 2004 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 1º período letivo de 2004 21 - Último dia para solicitação de Abandono Justificado do 2º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 22 - Término do 2º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 24 - Prazo Final para substituição do Especificador I, das disciplinas oferecidas na 1ª metade do 2º período letivo 2003 24 a 29 - Exames finais do 2º período letivo de 2003 05 e 06 - Período suplementar de matrícula em disciplinas oferecidas nas Férias de Verão 08 e 09 - Alteração de matrícula em disciplinas oferecidas nas Férias de Verão - Cancelamento de Matrícula em Disciplinas Oferecidas nas Férias de Verão 15 e 16 19 a 23 - Estudante especial - pré-Inscrição para cursar disciplinas isoladas de Pós-Graduação, nas unidades de ensino. 28 - Último dia para substituição, nos boletins de conceitos e freqüências do 2º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 2º período letivo de 2003, do Especificador "I". FEVEREIRO/2004 04 a 06 - Matrícula para o 1º período letivo de 2004 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 1º período letivo de 2004 - Alunos Ingressantes 06 - Último dia para solicitação de Abandono Justificado em disciplinas oferecidas nas Férias de Verão 07 - Término das atividades das oferecidas nas Férias de Verão 09 e 10 - Exames Finais das disciplinas oferecidas nas Férias de Verão 12 - Prazo Final para entrega de Conceitos e Freqüências das Disciplinas Oferecidas nas Férias de Verão 21 a 25 - Não haverá atividades DEZEMBRO/2003 02 03 - Prazo final para entrega de conceitos e freqüências do 2º período letivo de 2003 e de disciplinas oferecidas na 2ª metade do 2º período letivo de 2003 - Último dia para renovação de matrícula para o 1º período letivo de 2003 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 1º período letivo de 2003 08 - Não Haverá atividades 09 e 10 - Matrícula em disciplinas oferecidas nas Férias de Verão 24 a 03/01 - Não haverá atividades FEEC disciplinas MARÇO/2004 01 - Início das atividades do 1º período letivo de 2004 - Matrícula Suplementar para o 1º período letivo de 2004 e em disciplinas a serem oferecidas nas 1ª e 2ª metades do 1º período letivo de 2004 Alunos Ingressantes 02 e 03 - Estudante especial - inscrição em disciplinas isoladas de Pós-Graduação, na DAC JANEIRO/2004 01 - Confraternização Universal 05 - Início das atividades das disciplinas oferecidas nas Férias de Verão 5 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Rafael Santos Mendes, MS-5, RDIDP FACULDADE DE ENGENHARIA ELÉTRICA E DE COMPUTAÇÃO Diretor:Léo Pini Magalhães Diretor Associado:Sigmar Maurer Deckmann Secretária:Ademilde Felix DEPARTAMENTO DE COMUNICAÇÕES (DECOM) Fábio Violaro, MS-6, RDIDP Helio Waldman, MS-6, RDIDP João Marcos Travassos Romano, MS-6, RDIDP Michel Daoud Yacoub, MS-6, RDIDP Amauri Lopes, MS-5, RDIDP Celso de Almeida, MS-5, RDIDP (Chefe de Departamento) Jaime Portugheis, MS-5, RDIDP João Baptista T. Yabu-uti, MS-5, RDIDP Lee Luan Ling, MS-5, RDIDP Leonardo de Souza Mendes, MS-5, RDIDP Max Henrique Machado Costa, MS-5, RDIDP Renato Baldini Filho, MS-5, RDIDP Yuzo Iano, MS-5, RDIDP Wu Shin-Ting, MS-5, RDIDP Alice Maria Bastos H. Tokarnia, MS-3, RDIDP Fernando José Von Zuben, MS-3, RDIDP José Raimundo de Oliveira, MS-3, RDIDP (Chefe de Departamento) Ricardo Ribeiro Gudwin, MS-3, RDIDP Daniel Camilo, MS-2, RDIDP José Mario De Martino, MS-2, RDIDP DEPARTAMENTO (DENSIS) DE ENGENHARIA DE SISTEMAS José Geraldo Chiquito, MS-3, RDIDP Luis Geraldo Pedroso Meloni, MS-3, RDIDP Luiz Cesar Martini, MS-3, RDIDP Anésio dos Santos Jr., MS-6, RDIDP Christiano Lyra Filho, MS-6, RDIDP Paulo Morelato França, MS-6, RDIDP (Chefe de Departamento) Secundino Soares Filho, MS-6, RDIDP Vinicius Amaral Armentano, MS-6, RDIDP Afonso de Oliveira Alonso, MS-2, RDIDP Clayton Bezzan, MS-2, RDIDP José Augusto Fernandes Afonso, MS-2, RDIDP Jurandir Fernando Ribeiro Fernandes, MS-5, RDIDP Raul Vinhas Ribeiro, MS-5, RDIDP Takaaki Ohishi, MS-5, RDIDP DEPARTAMENTO DE ELETRÔNICA E MICROELETRÔNICA (DEMIC) Alberto Martins Jorge, MS-5, RDIDP Edmundo da Silva Braga, MS-5, RDIDP José Antonio Siqueira Dias, MS-5, RDIDP Oséas Valente de Avilez Filho, MS-5, RDIDP Elnatan Chagas Ferreira, MS-5, RDIDP (Chefe de Departamento) DEPARTAMENTO DE MÁQUINAS, SISTEMAS INTELIGENTES (DMCSI) COMPONENTES E Celso Pascoli Bottura, MS-6, RDIDP Ioshiaki Doi, MS-6, RDIDP (Chefe de Departamento) Yaro Burian Júnior, MS-6, RDIDP Cesar José Bonjuan Pagan, MS-5, RDIDP DEPARTAMENTO DE ENGENHARIA BIOMÉDICA (DEB) José Wilson Magalhães Bassani, MS-6, RDIDP Eduardo Tavares Costa, MS-5, RDIDP Saide Jorge Calil, MS-5, RDIDP Antonio Augusto Fasolo Quevedo, MS-3, RDIDP Sérgio Santos Mühlen, MS-3, RDIDP Vera Lúcia da Silveira Nantes Button, MS-3, RDIDP (Chefe de Departamento) DEPARTAMENTO DE ENGENHARIA DE COMPUTAÇÃO E AUTOMAÇÃO INDUSTRIAL (DCA) Clésio Luis Tozzi, MS-6, RDIDP Fernando Antonio Campos Gomide, MS-6, RDIDP Léo Pini Magalhães, MS-6, RDIDP (Diretor) Luis Gimeno Latre, MS-6, RDIDP Marcio Luiz Andrade Neto, MS-6, RDIDP Mario Jino, MS-6, RDIDP Maurício Ferreira Magalhães, MS-6, RDIDP Roberto de Alencar Lotufo, MS-6, RDIDP Wagner Caradori do Amaral, MS-6, RDIDP Eleri Cardozo, MS-5, RDIDP Ivan Luiz Marques Ricarte, MS-5, RDIDP Marco Aurélio Amaral Henriques, MS-5, RDIDP (Coordenador de Graduação da Engenharia de Computação) 6 Ana Cristina Cavalcanti Lyra, MS-3, RDIDP Gilmar Barreto, MS-2, RDIDP DEPARTAMENTO DE MICROONDA E ÓPTICA (DMO) Evandro Conforti, MS-6, RDIDP Hugo Enrique Hernandez Figueroa, MS-5, RDIDP (Chefe de Departamento) Luiz Carlos Kretly, MS-5, RDIDP Aldário Chrestani Bordonalli, MS-3, RDIDP DEPARTAMENTO DE SEMICONDUTORES, INSTRUMENTOS E FOTÔNICA (DSIF) Vitor Baranauskas, MS-6, RDIDP Jacobus Willibrordus Swart, MS-5, RDIDP Carlos Alberto dos Reis Filho, MS-5, RDIDP Edson Moschim, MS-5, RDIDP Furio Damiani, MS-5, RDIDP (Chefe de Departamento) Peter Jurgen Tatsch, MS-5, RDIDP DEPARTAMENTO ENERGIA (DSCE) DE SISTEMAS E CONTROLE Álvaro Geraldo Badan Palhares, MS-6, RDIDP Ernesto Ruppert Filho, MS-6, RDIDP DE UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 José Cláudio Geromel, MS-6, RDIDP Mestrado.................................................................. 1.195 Doutorado ................................................................... 457 Carlos Rodrigues de Souza, MS-5, RDIDP Edson Bim, MS-5, RDIDP (Chefe de Departamento) José Antenor Pomilio, MS-5, RDIDP José Pissolato Filho, MS-5, RDIDP Vivaldo Fernando da Costa, MS-5, RDIDP Sigmar Maurer Deckmann, MS-5, RDIDP (Diretor Associado) Marconi Kolm Madrid, MS-3, RDIDP DEPARTAMENTO DE SISTEMAS DE ENERGIA ELÉTRICA (DSEE) André Luiz Morelato França, MS-6, RDIDP (Chefe de Departamento) Ariovaldo Verândio Garcia, MS-6, RDIDP (Coordenador da Pós-Graduação) Carlos Alberto de Castro Júnior, MS-5, RDIDP Carlos Alberto Favarin Murari, MS-5, RDIDP Fujio Sato, MS-3, RDIDP O corpo docente é constituído de professores que trabalham em regime de tempo integral e dedicação exclusiva, possuindo no mínimo o título de Doutor. A Pós-graduação conta ainda com um número expressivo de professores participantes, credenciados para co-orientar pesquisas específicas, em geral de caráter multidisciplinar. Em 24 de abril de 2000 foi aprovada a tese de número 1500 na FEEC, primeira unidade da Unicamp a atingir esta marca. Nos últimos anos a média de titulações tem sido de 100 teses por ano, sendo 1/3 de doutorado e 2/3 de mestrado. Estes números correspondem a aproximadamente 40% dos doutores e 20% dos mestres titulados em Engenharia Elétrica por ano no Brasil. A FEEC está situada no CAMPUS da Unicamp, no distrito de Barão Geraldo, a 12 quilômetros da cidade de Campinas, SP. Ocupa uma área de 15 mil m2 que abriga salas de professores, administração, salas de aula e laboratórios de ensino e pesquisa. Há dois cursos de graduação sob sua responsabilidade: Engenharia Elétrica e Engenharia de Computação. A FEEC é constituída por 11 departamentos e conta atualmente com 23 laboratórios onde se concentram as atividades de pesquisa. DEPARTAMENTO DE TELEMÁTICA (DT) Ivanil Sebastião Bonatti, MS-6, RDIDP Reginaldo Palazzo Júnior, MS-6, RDIDP Akebo Yamakami, MS-5, RDIDP Basílio Ernesto de Almeida Milani, MS-5, (Coordenador da Graduação de Engenharia Elétrica) João Bosco Ribeiro do Val, MS-5, RDIDP Shusaburo Motoyama, MS-5, RDIDP Walter da Cunha Borelli, MS-5, RDIDP FEEC RDIDP Paulo Augusto Valente Ferreira, MS-5, RDIDP Pedro Luis Dias Peres, MS-5, RDIDP (Chefe de Departamento) A FEEC tem investido fortemente na aquisição de recursos de informática para pesquisa e ensino. Presentemente as facilidades de computação compreendem 6 servidoras SUN, 150 estações de trabalho SUN, 20 estações RISC6000 IBM, uma configuração N Cube de 64 processadores, 400 micros PC e 65 impressoras interconectados em uma rede local ETHERNET, além da conexão ao CENAPAD/Unicamp Centro Nacional de Processamento de Alto Desempenho. Brevemente será instalado como backbone uma rede FDDI de 100 Mbs. Em nível de Pós-graduação, a FEEC forma Mestres e Doutores em Engenharia Elétrica, nas Áreas de Concentração: 1. Automação COMISSÃO DE PÓS-GRADUAÇÃO 2. Eletrônica, Microeletrônica e Optoeletrônica Ariovaldo Verândio Garcia, Coordenador Rafael Santos Mendes, Vice-Coordenador Ioshiaki Dói, DMCSI Carlos Alberto Favarin Murari, DSEE Vivaldo Fernando da Costa, DSCE 3. Engenharia Biomédica Wu Shin-Ting, DCA Furio Damiani, DSIF Alberto Martins Jorge , DEMIC Celso de Almeida, DECOM Aldário Chrestani Bordonalli,DMO Pedro Luis Dias Peres, DT Sérgio Santos Mühlen, DEB Paulo Morelato França, DENSIS André Luis V.Coelho, Representante Discente Fabiano de Oliveira Luchese, Representante Discente Romis Ribeiro Faissol Attux, Representante Discente Lucas Barbosa, Representante Discente _ INTRODUÇÃO Os Programas de Pós-graduação de Mestrado e Doutorado da Faculdade de Engenharia Elétrica e de Computação (FEEC) tiveram início em 1972. Atualmente a Pós-graduação da FEEC apresenta o seguinte quadro: Corpo Docente - professores plenos ............................92 Corpo Discente - alunos regulares..............................562 Mestrandos: ..............................................................276 Doutorandos: ............................................................286 Teses apresentadas até 31.12.01 4. Engenharia de Computação 5. Energia Elétrica 6. Telecomunicações e Telemática Os cursos de Pós-graduação são dirigidos pela Comissão de Pós-graduação (CPG), formada por representantes dos 11 departamentos da FEEC e 4 membros do corpo discente. A CPG é presidida pelo Coordenador de Pósgraduação. _ CORPO DOCENTE Professores Plenos Akebo Yamakami, Eng. Elétr. (PUC, RJ, 1973); Mestre (Unicamp, 1977); Doutor (Unicamp, 1985). Alberto Martins Jorge, Eng. Elétr. (USP, 1968); Mestre (USP, 1974); Doutor (Unicamp, 1982). Aldário Chrestani Bordonalli, Física Aplicada (Unicamp, 1989); Mestre (Unicamp, 1992); Doutor (University College London, Inglaterra, 1996). Alice Maria Bastos H. Tokarnia, Eng. Elétr. (Unb, 1979); Mestre (Unicamp, 1982); Doutor (Stanford Univ., EUA, 1993). Álvaro Geraldo Badan Palhares, Eng. Elétr. (Unicamp, 1972); Mestre (Unicamp, 1976); Doutor (Unicamp, 1980). Amauri Lopes, Eng. Elétr. (Unicamp, 1972); Mestre (Unicamp, 1974); Doutor (Unicamp, 1982). Ana Cristina Cavalcanti Lyra, Eng. Elétr. (UFPE, 1974); Mestre (Unicamp, 1984); Doutor (Unicamp, 1992). 7 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 André Luiz Morelato França, Eng. Elétr. (ITA, 1970); Mestre (UFPB, 1972); Doutor (Unicamp, 1982); Prof.Titular (Unicamp,1999).. Anésio dos Santos Júnior, Eng. Elétr. (Unicamp, 1977); Mestre (Unicamp, 1981); Doutor (Unicamp, 1986). Antonio Augusto Fasolo Quevedo, Eng. Elétr. (Unicamp, 1991); Mestre (Unicamp, 1993); Doutor (Unicamp, 1996). Ariovaldo Verândio Garcia, Eng. Elétr. (Unicamp, 1974); Mestre (Unicamp, 1977); Doutor (Unicamp, 1981). Attílio José Giarola, Professor Emérito, Eng. Mec. Elétr. (USP, 1954); Mestre (Univ.Washington, USA, 1959); Doutor (Univ. Washington USA, 1963); Livre-docente (Unicamp, 1979); Prof. Adjunto (Unicamp, 1983); Prof. Titular (Unicamp, 1987). Basílio Ernesto de Almeida Milani, Eng. Aer. (ITA, 1971); Mestre (Unicamp, 1974); Doutor (Unicamp, 1980). Beatriz Mascia Daltrini, Eng. Elétr. (Unicamp, 1971); Mestre (Unicamp, 1976); Doutor (Unicamp, 1986). Carlos Alberto de Castro Júnior, Eng. Elétr. (Unicamp, 1982); Mestre (Unicamp, 1985); Doutor (Arizona State Univ., EUA, 1993). Carlos Alberto dos Reis Filho, Eng. Elétr. (USP, S.Carlos, 1974); Mestre (Unicamp, 1978); Doutor (Unicamp, 1982). Carlos Alberto Favarin Murari, Eng. Elétr. (Unicamp, 1975); Mestre (Unicamp, 1980); Doutor (Unicamp, 1986). Carlos Rodrigues de Souza, Eng. Elétr. (Unicamp, 1972); Mestre (Unicamp, 1977); Doutor (Unicamp, 1987). Celso de Almeida, Eng. Elétr. (Unicamp, 1980); Mestre (Unicamp, 1983); Doutor (Unicamp, 1990); Livre-docente (Unicamp, 1998). Celso Pascoli Bottura, Eng. Aeron. (ITA, 1962); Mestre (Purdue Univ. Indiana, EUA, 1964); Doutor (Unicamp, 1973); Prof.Titular (Unicamp, 1999). Cesar José Bonjuani Pagan, Física (Unicamp, 1984); Mestre (Unicamp, 1987); Doutor (Unicamp, 1991);Livre Docente (Unicamp, 1999). Christiano Lyra Filho, Eng. Elétr. (UFPE, 1975); Mestre (Unicamp, 1979); Doutor (Unicamp, 1984); Prof. Titular (Unicamp, 2001). Clésio Luis Tozzi, Eng. Elétr. (Unicamp, 1972); Mestre (Unicamp, 1975); Doutor (Unicamp, 1979). Dalton Soares Arantes, Eng. Elétr. (UFRJ, 1969); Mestre (Unicamp, 1972); Doutor (Cornell Univ. EUA, 1976). Edmundo da Silva Braga, Física (1973); Mestre (Univ. Est. Lomonossov, URSS, 1975); Doutor (Unicamp, 1983). Edson Bim, Eng. Elétr. (Unicamp, 1976); Mestre (Unicamp, 1981); Doutor (Unicamp, 1993). Edson Moschim, Eng. Elétr. (Unicamp, 1977); Mestre (Unicamp, 1983); Doutor (Université Paris XI, França, 1989). Eduardo Tavares Costa, Eng. Elétr. (USP, S.Carlos, 1978); Mestre (Unicamp, 1985); Doutor (Univ. of London, Inglaterra, 1989). Eleri Cardozo, Eng. Elétr. (USP, 1978); Mestre (ITA, 1981); Doutor (Carnegie Mellon Univ., EUA, 1987); Livre-docente (Unicamp, 1997). Elnatan Chagas Ferreira, Bach. Fís. (UFCe, 1981); Mestre (Unicamp, 1984); Doutor (Unicamp, 1991). Ernesto Ruppert Filho, Eng. Elétr. (Unicamp, 1972); Mestre (Unicamp, 1974); Doutor (Unicamp, 1983). Evandro Conforti, Eng. Elétr. (ITA, 1970); Mestre (UFPB, 1972); Mestre. (Univ. Toronto, Canadá, 1978); Doutor (Unicamp, 1983); Livre-docente (Unicamp, 1987); Prof. Adjunto (Unicamp, 1990). Fábio Violaro, Eng. Elétr. (Unicamp, 1973); Mestre (Unicamp, 1975); Doutor (Unicamp, 1980); Prof. Titular (Unicamp, 2001). Fernando Antonio Campos Gomide, Eng. Elétr. (PUC, MG, 1975); Mestre (Unicamp, 1979); Doutor (Case Western Reserve Univ., EUA, 1983). 8 Fernando José Von Zuben, Eng. Elétr. (Unicamp, 1991); Mestre (Unicamp, 1993); Doutor (Unicamp, 1996). Fujio Sato, Eng. Elétr. (Unicamp, 1974); Mestre (Unicamp, 1979); Doutor (Unicamp, 1995). Furio Damiani, Eng. Elétr. (USP, 1969); Mestre (Unicamp, 1976); Doutor (Unicamp, 1982). Helio Waldman, Eng. Elétr. (ITA, 1966); Mestre (Stanford Univ., USA, 1968); Doutor (Stanford Univ., EUA, 1972). Hugo Enrique Hernandez Figueroa, Eng. Elétr. (UFRS, 1983); Mestre (PUC, RJ, 1986); Mestre (PUC, RJ, 1988); Doutor (Imperial College, Inglaterra, 1992); Livre-docente (Unicamp, 1999). Ioshiaki Doi, Física (USP, 1970); Mestre (USP, 1972); Doutor (Univ. Tokio, Japão, 1977). Ivan Luiz Marques Ricarte, Eng. Elétr. (Unicamp, 1984); Mestre (Unicamp, 1987); Doutor (Univ. of Maryland, EUA, 1994). Ivanil Sebastião Bonatti, Eng. Elétr. (Unicamp, 1975); Mestre (Unicamp, 1975); Doutor (Univ. Paul Sabatier, Toulouse, França, 1981). Jacobus Willibrordus Swart, Eng. Elétr. (USP, 1975); Doutor (USP, 1981); Livre-docente (Unicamp, 1990). Jaime Portugheis, Eng. Elétr. (UFPE, 1983); Mestre (Unicamp, 1987); Doutor (T.H. Darmstadt, Alemanha, 1992); Livre-docente (Unicamp, 1998). João Baptista Tadanobu Yabu-uti, Eng. Elétr. (Unicamp, 1972); Mestre (Unicamp, 1975); Doutor (Unicamp, 1983). João Bosco Ribeiro do Val, Eng. Elétr. (Unicamp, 1977); Mestre (Unicamp, 1981); Doutor (Imperial College, Inglaterra, 1985). João Marcos Travassos Romano, Eng. Elétr. (Unicamp, 1981); Mestre (Unicamp, 1984); Doutor (Univ. de Paris-XI, França, 1987); Livre-docente (Unicamp, 1992); Prof. Adjunto (Unicamp, 1996); Prof. Titular (Unicamp, 1999). José Antenor Pomilio, Eng Elétr. (Unicamp, 1983); Mestre (Unicamp, 1986); Doutor (Unicamp, 1991), Livre-docente (Unicamp, 1998). José Antonio Siqueira Dias, Eng. Elétr. (Unicamp, 1979); Mestre (Unicamp, 1982); Doutor (Unicamp, 1985). José Cláudio Geromel, Eng. Elétr. (Unicamp, 1975); Mestre (Unicamp, 1976); Doutor (Univ. Paul Sabatier, Toulouse, França, 1979); Livre Docência (Unicamp, 1987). José Geraldo Chiquito, Eng. Elétr. (ITA, 1974); Doutor (Unicamp, 1983). José Pissolato Filho, Eng. Elétr. (UFUB, 1977); Mestre (Unicamp, 1982); Doutor (Univ. Paul Sabatier, Toulouse, França, 1986). José Raimundo de Oliveira, Eng. Elétr. (Unb, 1975); Mestre (Unicamp, 1979); Doutor (Unicamp, 1995). José Wilson Magalhães Bassani, Bach.Ciên. da Computação. (Unicamp, 1976); Mestre (Unicamp, 1979); Doutor (Unicamp, 1987). Jurandir Fernando Ribeiro Fernandes, Eng. Mec. (ITA, 1972); Mestre (Unicamp, 1974); Doutor (Unicamp, 1979). Lee Luan Ling, Eng. Elétr. (USP, S.Carlos, 1980); Mestre (Unicamp, 1984); Doutor (Cornell Univ., EUA, 1991); Livredocente (Unicamp, 1997). Léo Pini Magalhães, Eng. Elétr. (Unicamp, 1974); Mestre (Unicamp, 1977); Doutor (T. H. Darmstadt, Alemanha, 1981). Leonardo de Souza Mendes, Eng. Elétr. (Univ. Gama Filho, 1985); Mestre (PUC, RJ, 1987); Doutor (Syracuse University, EUA, 1991); Livre-docente (Unicamp, 1997). Luis Geraldo Pedroso Meloni, Eng. Elétr. (Unicamp, 1980); Mestre (Unicamp, 1982); Doutor (Univ. Nancy I, França, 1985). Luis Gimeno Latre, Eng. Ind. (Univ. Politécnica, Barcelona, 1968); Doutor (Univ. Toulouse, França, 1972). Luiz Carlos Kretly, Eng. Elétr. (UnB, 1974); Mestre (Unicamp, 1978); Doutor (Unicamp, 1992). UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Luiz Cesar Martini, Eng. Elétr. (Unicamp, 1976); Mestre (Unicamp, 1981); Doutor (Unicamp, 1989). Manuel de Jesus Mendes, Eng. Elétr. (Univ. Tec. Berlim, Alemanha, 1965); Doutor (Univ. Tec. Berlim, Alemanha, 1968). Marcio Luiz de Andrade Neto, Eng. Mec. (ITA, 1970); Mestre (Unicamp, 1973); Doutor (Unicamp, 1976). Marco Aurélio Amaral Henriques, Eng. Elétr. (UFJF, 1986); Mestre (Univ. Chiba, Japão, 1990); Doutor (Univ. Chiba, Japão, 1993). Marconi Kolm Madrid, Eng. Elétr. (PUC, RS, 1985); Mestre (Unicamp, 1988); Doutor (Unicamp, 1994). Mario Jino, Eng. Elétr. (ITA, 1967); Mestre (Unicamp, 1974); Doutor (Univ. Illinois EUA, 1978). Maurício Ferreira Magalhães, Eng. Elétr. (UnB, 1975); Mestre (Unicamp, 1979); Doutor (INPG, França, 1983). Mauro Sérgio Miskulin, Eng. Eletr. (Unicamp, 1971), Mestre (Unicamp, 1974); Doutor (Cranfield, Inst. of Tecnology, Inglaterra, 1980) Max Henrique Machado Costa, Eng. Elétr. (UnB, 1974); Mestre (Unicamp, 1977); Mestre (Stanford Univ., EUA; 1979); Doutor (Stanford Univ., EUA, 1983); Livre-docente (Unicamp, 1998). Michel Daoub Yacoub, Eng. Elétr. (Unicamp, 1978); Mestre (Unicamp, 1983); Doutor (Univ. of Essex, Inglaterra, 1988); Livre-docente (Unicamp, 1992); Prof. Adjunto (Unicamp, 1997); Prof. Titular (Unicamp, 1999). Oséas Valente de Avilez Filho, Eng. Elétr. (UnB, 1974); Mestre (Unicamp, 1978); Doutor (Unicamp, 1986). Paulo Augusto Valente Ferreira, Eng. Elétr. (UFPa, 1981); Mestre (Unicamp, 1983); Doutor (Unicamp, 1986); Livre-docente (Unicamp, 1998). Paulo Morelato França, Eng. Mec. (ITA, 1972); Mestre (Unicamp, 1974); Doutor (Unicamp, 1979). Pedro Luis Dias Peres, Eng. Elétr. (Unicamp, 1982); Mestre (Unicamp, 1985); Doutor (Univ. Paul Sabatier, Toulouse, França, 1989); Livre-docente (Unicamp, 1997). Peter Jurgen Tatsch, Eng. Elétr. (USP, 1975); Mestre (Unicamp, 1982); Doutor (Unicamp, 1988). Rafael Santos Mendes, Eng. Elétr. (Unicamp, 1981); Mestre (Unicamp, 1984); Doutor (Univ. Paul Sabatier, Toulouse, França, 1988). Raul Vinhas Ribeiro, Eng. Elétr. (ITA, 1973); Mestre (Unicamp, 1977); Doutor (Unicamp, 1980). Reginaldo Palazzo Junior, Eng. Elétr. (Unicamp, 1975); Mestre (Unicamp, 1977); Doutor (Univ. of Califórnia, EUA, 1984); Livre-docente (Unicamp, 1987). Renato Baldini Filho, Eng. Elétr. (Unicamp, 1980); Mestre (Unicamp, 1983); Doutor (Univ. of Manchester, Inglaterra, 1992); Livre-docente (Unicamp, 1998). Ricardo Ribeiro Gudwin, Eng. Elétr. (Unicamp, 1989); Mestre (Unicamp, 1992); Doutor (Unicamp, 1996). Roberto de Alencar Lotufo, Eng . Elétr. (ITA, 1978); Mestre (Unicamp, 1981); Doutor (Univ. Bristol, Inglaterra, 1990). Saide Jorge Calil, Eng. Elétr. (Mackenzie, 1974); Mestre (Univ. of London, Inglaterra 1980); Doutor (Univ. of London, Inglaterra, 1984). Secundino Soares Filho, Eng. Mec. (ITA, 1972); Mestre (Unicamp, 1974); Doutor (Unicamp, 1978), Prof.Titular (Unicamp,2001). Sérgio Santos Mühlen, Eng. Elétr. (Unicamp, 1982); Mestre (Unicamp, 1985); Doutor (Ensem, INPL, Nancy, França, 1989). Shusaburo Motoyama, Eng. Elétr. (USP, 1972); Mestre (Unicamp, 1975); Doutor (Univ. Tokio, Japão, 1982). Sigmar Maurer Deckmann, Eng. Elétr. (Unicamp, 1973); Mestre (Unicamp, 1976); Doutor (Unicamp, 1980). Takaaki Ohishi, Eng. Elétr. (USP, 1978); Mestre (Unicamp, 1981); Doutor (Unicamp, 1990). Vera Lúcia da Silveira Nantes Button, Eng. Elétr. (Unicamp, 1981); Mestre (Unicamp, 1989); Doutor (Unicamp, 1998). FEEC Vinicius Amaral Armentano, Eng. Elétr. (Mackenzie, 1974); Mestre (Unicamp, 1979); Doutor (Imp. College, Inglaterra, 1983). Vitor Baranauskas, Eng. Elétr. (USP, 1975); Lic. Fís. (USP, 1976); Mestre (Unicamp, 1979); Doutor (Unicamp, 1982); Livre-docente (Unicamp, 1987). Vivaldo Fernando da Costa, Eng. Elétr. (Unicamp, 1976); Mestre (Unicamp, 1981); Doutor (Unicamp, 1992). Wagner Caradori do Amaral, Eng. Elétr. (Unicamp, 1974); Mestre (Unicamp, 1976); Doutor (Unicamp, 1981). Walter da Cunha Borelli, Eng. Elétr. (USP, 1972); Mestre (Unicamp, 1975); Doutor (Univ. Kent, Inglaterra, 1983). Wu Shin-Ting, Eng. Elétr. (UFMG, 1981); Mestre (Unicamp, 1984); Doutor (T.H. Darmstadt, Alemanha, 1991). Yaro Burian Júnior, Eng. Elétr. (ITA, 1962); Mestre (ITA, 1964); Doutor (Doutor de Estado, Univ. Toulouse, França, 1968), Prof.Titular (Unicamp,1999). Yuzo Iano, Eng. Elétr. (Unicamp, 1972); Mestre (Unicamp, 1974); Doutor (Unicamp, 1986). Wilmar Bueno de Moraes, Eng. Elétr. (Univ. Federal R.J.,1966); Mestre (Unicamp, 1975); Doutor (Unicamp, 1982). _ ADMISSÃO NOS CURSOS DE PÓS-GRADUAÇÃO DA FEEC Os alunos de Pós-graduação podem ser tanto regulares como especiais. Os regulares passam por um processo seletivo de admissão e se candidatam aos títulos de Mestre e Doutor em Engenharia Elétrica. Especiais são os que se matriculam em uma ou mais disciplinas, bastando para isso ser portador de um diploma de curso superior. Caso um estudante especial venha a ser admitido como regular, ele pode solicitar a convalidação dos créditos obtidos anteriormente na condição de especial. A admissão de novos alunos regulares no Programa de Pós-graduação da FEEC dá-se nos meses de março e agosto. O período de inscrição para admissão em março é de 1 de agosto a 30 de setembro e, para admissão em agosto, é de 1 de março a 20 de abril. A documentação exigida para a inscrição é a seguinte: - Formulário de Inscrição (em anexo) - Diploma de Curso Superior ou Equivalente (Mestrado); Diploma de Mestre ou equivalente (Doutorado) - Histórico Escolar - Curriculum Vitae - 2 cartas de recomendação (em anexo) Pede-se que a documentação não seja encadernada. Sugere-se que as cartas de recomendação sejam enviadas à CPG/FEEC diretamente pelos seus signatários e com a antecedência necessária para análise. O endereço da CPG/FEEC é: Faculdade de Engenharia Elétrica e de Computação Comissão de Pós-graduação Unicamp - Barão Geraldo - C.P. 6101 Campinas - SP - CEP: 13.083-970 Fone: (19)3788-3869; Fax: (19) 3289-5242 E-mail: [email protected] http://www.fee.unicamp.br/cpg/ Seleção A seleção dos alunos regulares é feita de forma independente em cada Departamento da FEEC. Por isso, os candidatos devem se inscrever para, no máximo, dois Departamentos que melhor abriguem os seus interesses de pesquisa, assinalando na ficha de inscrição os Departamentos escolhidos em ordem de prioridade. O processo de seleção é 9 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 baseado na documentação apresentada, ou eventualmente na realização de provas. A CPG/FEEC recomenda fortemente que os candidatos entrem em contato pessoal com professores do(s) departamento(s) escolhido(s), visando prover informações adicionais que auxiliem no processo de seleção. Vagas O número de vagas varia a cada período letivo segundo a disponibilidade de orientação existente em cada Departamento. A CPG impõe um limite de orientandos por docentes. Os candidatos admitidos poderão eventualmente estar sujeitos a um regime de adaptação, incluindo disciplinas de Graduação, conforme determinação do seu orientador. Bolsas de Estudo Aos alunos regulares em dedicação exclusiva e tempo integral podem ser atribuídas bolsas da cota CNPq/CAPES. As bolsas disponíveis são atribuídas aos alunos sob critérios próprios dos Departamentos. A cota de bolsas CNPq/CAPES da FEEC é de aproximadamente 230, sendo 110 de Doutorado e 120 de Mestrado. Bolsas da FAPESP devem ser solicitadas individualmente pelos orientadores. A disponibilidade de bolsas em cada período, para alunos novos admitidos, depende fundamentalmente do número de bolsas liberadas pelos alunos que concluem seus programas e da cota anualmente corrigida pelas instituições financiadoras. Candidatos que sejam professores de instituições de ensino superior brasileiras devem pleitear uma bolsa PICDT da CAPES. Aos candidatos estrangeiros provenientes da América Latina e África recomenda-se entrar em contato com as respectivas Embaixadas do Brasil de seus países e solicitar informações sobre o Programa de Estudantes Convênio de Pós-graduação - PEC/PG - da CAPES. Este programa fornece bolsas para alunos estrangeiros dos países conveniados. O período de inscrição dos candidatos é durante os meses de março e abril e a prova de português no mês de maio. Candidatos desses países também têm o direito de concorrer a uma bolsa da cota CNPq/CAPES, desde que tenham vistos válidos e comprovem ter concorrido para uma bolsa PEC/PG para o mesmo ano da inscrição. A documentação atestando estar concorrendo a uma bolsa ou o resultado da sua rejeição/concessão deve ser enviada junto com o formulário de inscrição à CPG da FEEC. Os alunos ingressantes nos Cursos de Mestrado ou Doutorado serão orientados por um professor do Departamento que o acolher. Para a defesa de Tese de Mestrado, o aluno deve completar 60 créditos, sendo pelo menos 48 créditos em disciplinas regulares e até 12 créditos em disciplinas de estudos especiais. Estas últimas correspondem a assuntos não cobertos pelas disciplinas regulares e, de acordo com o orientador, necessários para o adequado desenvolvimento da tese. No Mestrado o limite de créditos obtidos em estudos especiais é 12 para o adequado desenvolvimento da tese. Para o Doutorado, são necessários 60 créditos, sendo que, pelo menos 48 deverão ser completados em disciplinas regulares e até 12 créditos em disciplinas de estudos especiais. Para se inscrever no doutorado o candidato tem que ter concluído o mestrado. Os alunos regulares que tenham cursado disciplinas de Pós-graduação em cursos stricto sensu de outras Instituições na condição de aluno regular, ou em qualquer curso de Pós-graduação da Unicamp na condição de aluno especial, poderão solicitar a convalidação dos créditos correspondentes, para efeito de incorporação a seus Programas de Pós-graduação. O limite para convalidar créditos obtidos fora da FEEC é de 50% dos créditos exigidos. Consequentemente, um aluno de Doutorado que tenha obtido o título de Mestre fora da FEEC, deverá cumprir o restante dos créditos em disciplinas oferecidas na FEEC. A convalidação de créditos cursados na Unicamp é automática. Créditos e títulos obtidos fora da Unicamp devem passar pela aprovação da CPG/FEEC. Aproveitamento: Há disciplinas de 6 e de 12 créditos. O conceito obtido pelo aluno em uma disciplina pode ser: Conceitos Significado A Excelente B Bom C Regular D Insuficiente (Reprovado) E Abandono (Reprovado por Frequência) S Suficiente (Aprovado) A cada período letivo é calculado o rendimento do aluno, que consiste na razão ponderada dos créditos obtidos em disciplinas unidades de créditos a elas correspondentes disciplinas com conceito ÞSþ). Peso 4 3 2 1 0 coeficiente de entre a soma e a soma das (não inclui as Reafirmamos que é facultado a todo portador de diploma superior cursar disciplinas isoladas de Pós-graduação na Unicamp na categoria de estudante especial, desde que existam vagas disponíveis. A partir do 2º período letivo, o aluno de Pós-graduação será desligado do Programa caso seja reprovado duas vezes na mesma disciplina ou seu coeficiente de rendimento seja inferior a 3. Haverá desligamento automático do aluno que não efetuar sua matrícula a cada semestre. _ NORMAS DO CURSO Alunos bolsistas estão sujeitos ao cancelamento da bolsa se seu coeficiente de rendimento for inferior a 3, calculado sobre o primeiro período, ou não tenham completado um mínimo de créditos após um ano de bolsa. Credenciamento: Os Cursos de Pós-graduação em Engenharia Elétrica, no Processo Avaliatório CAPES referente ao Triênio 1998/2000, nos níveis de Mestrado e Doutorado, receberam ambos conceito Þ7þ, que corresponde à nota máxima atribuída na área de Engenharia Elétrica. Todo estudante poderá solicitar licença por até dois anos de suas atividades no Programa de Pós-graduação. O pedido devidamente justificado deve ser aprovado pelo orientador e pela CPG. Defesa da Tese Integralização: A FEEC impõe uma duração máxima de 30 meses para o Mestrado e de 60 meses para o Doutorado. Entretanto, recomenda-se fortemente que os respectivos programas sejam concluídos em 24 meses e 48 meses. 10 Uma vez concluídos os créditos em disciplinas, para estar habilitado a defender uma Tese, o estudante deverá ser aprovado no Exame de Qualificação e no Exame de Capacitação em Língua Estrangeira. No Mestrado exige-se capacitação para leitura na língua inglesa e no Doutorado exige-se capacitação para leitura e para escrita na língua inglesa. No caso do Mestrado o Exame de Capacitação é feito UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 no transcorrer do curso, enquanto no Doutorado a verificação da capacitação é feita no ingresso do aluno. Esta capacitação pode ser atestada por meio de exames (TOEFL, ESLAT ou IELTS). - Técnicas de Controle de Robôs - Projeto de Estruturas de Robôs 4. Modelagem e Otimização de Sistemas - DENSIS, DT, DMCSI - Programação Linear e Não-Linear Requisito para Obtenção do Título - Otimização em Redes O requisito final para obtenção do título de Mestre ou de Doutor em Engenharia Elétrica é a apresentação pública e aprovação de uma Tese redigida em português. - Programação Inteira É de fundamental importância que os alunos tenham pleno conhecimento dos regulamentos que regem os cursos de pós-graduação. Para os bolsistas, é de grande importância o conhecimento das regras e serviços dos organismos financiadores. Estas informações constam do Guia do Aluno de Pós-graduação da FEEC. _ LINHAS DE PESQUISA E PROJETOS ASSOCIADOS Encontram-se atualmente em desenvolvimento na FEEC 36 Linhas de Pesquisa que se enquadram em seis Áreas de Conhecimento: .Automação .Eletrônica, Optoeletrônica e Microeletrônica .Engenharia Biomédica - Métodos Heurísticos para Otimização Combinatorial - Otimização e Controle Multicritério de Sistemas - Síntese de Sistemas de Controle via Otimização Convexa - Problemas de Fluxo Multiproduto - Algoritmos de Pontos Interiores para Otimização - Modelagem Multivariada no Espaço de Estado 5. Sistemas de Manufatura - DENSIS, DCA, DT - Scheduling de Operações na Produção em Bateladas - Planejamento em Plantas Multipropósito - Técnicas Interativas de Sequenciamento e Planejamento - Programação da Produção em Sistemas de Manufatura - Planejamento e Controle de Sistemas de Manufatura .Engenharia de Computação - Aspectos Estocásticos em Sistemas Discretos .Energia Elétrica .Telecomunicações e Telemática A seguir, encontram-se listadas as Linhas de Pesquisa com as siglas dos Departamentos atuantes nas mesmas, bem como os Projetos de Pesquisa associados. 1. Identificação de Sistemas - DT - Solução de Problemas de Mínimos Quadrados Utilizando Fatoração QR - Identificação e Otimização Conjuntas 2. Controle de Sistemas Dinâmicos - DSCE, DT, DCA, DMCSI - Análise de Sistemas Caóticos - Análise Convexa de Sistemas Dinâmicos - Controle com Alocação de Pólos em Sub-regiões - Análise e Controle de Sistemas Dinâmicos via Desigualdades Matriciais Convexas - Análise de Sistemas Discretos via Tableaux Semântico - Sequenciamento em Malha Fechada - Especificação e Validação Formal de Sistemas de Manufatura orientação a objetos e Linguagem Formal SDL do ITU-T - Logística em sistemas de produção 6. Instrumentação e Medidas - DSCE, DEMIC - Sistemas de Medição e Análise Digital - Sistemas de Controle Digital - Medidores e Controladores para Aplicação Industrial e em Laboratórios - Sistemas de Aquisição de Dados para Aplicações Automotivas e Agrícolas 7. Novos Materiais - DEMIC, DSIF, DMCSI, DMO - Propriedades Ópticas de Semicondutores - Controle H-Infinito de Sistemas Contínuos - Filmes Finos de Diamante - Controle e Jogos Estocásticos de Sistemas Sujeitos a Falhas - Controle de Sistemas Sujeitos a Restrições - Controle, Estimação e Modelagem FEEC - Materiais para Microeletrônica 8. Tecnologia de Microeletrônica e Fotônica - DEMIC, DSIF, DT, DMCSI, DMO - Deposição de Filmes através de Plasma - Controle e Processamento de Sinais no Espaço de - Microlitografia Holográfica Estado - Implantação de Íons - Aplicações de Processos Determinísticos por - Desenvolvimento de Etapas de Processos de Fabricação de Circuitos Integrados - Logística em Sistema de Produção - Desenvolvimento de Processos MESFET e HBT para Fabricação de Circuitos Integrados Partes - Logística, Informação e Decisão - Controle Inteligente - Fotônica Integrada - Modelagem e Controle de Sistemas a Eventos Discretos - Controle Multivariável - Controle Robusto da Máquina de Indução - Controle e Sistemas Inteligentes - CAD para Controle de Processos - Modelagem de Processos - Controle Preditivo Robusto 3. Robótica - DSCE - Desenvolvimento de Lasers - Decapagem e Deposição de Filmes para Plasma de RF e de Ressonância Ciclotrônica - Litografia por Feixe de Elétrons e Dispositivos Optoeletrônicos 9. Dispositivos Semicondutores- DEMIC, DSIF, DMO - Dispositivos MOS e Bipolares de Potência - Projeto e Modelamento de Dispositivos MOS e Bipolares 11 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 - Projeto e Modelamento de Dispositivos de GaAs: MESFET, HEMT e HBT 10. Projeto de Circuitos Integrados - DEMIC, DSIF, DCA, DMO - Circuitos Integrados de Conversão A/D e D/A - Visualização volumétrica 17. Engenharia de Software - DCA, DT - Ambientes de Desenvolvimento e Manutenção de Software - Interação Homem-Computador/Interfaces com o - Circuitos Integrados Digitais VLSI Usuário - Circuitos Integrados Analógicos em Modo de - Especificação e Validação Formal de Ambientes de Software e Banco de Dados usando Técnicas de Orientação a Objetos Combinada com a Linguagem SDL do ITU-T Corrente - Circuitos Integrados Analógicos de Alta Velocidade - Circuitos Integrados Analógicos para Proces. de Sinais Discretizados no Tempo 18. Sistemas Distribuídos - DT, DCA - Comutação Digital Distribuída e Sistemas de Comutação de Alto Desempenho - Circuitos Analógicos de Precisão (bipolares e MOS) - Implementação de Redes Neurais em Circuitos Integrados - Projeto de Circuitos Integrados - Projeto de Sistemas Digitais: Sistemas Tolerantes a Falhas, Sistemas Testáveis, Co-Projeto de Hardware e Software - Sistemas Distribuídos Abertos - Sistemas de Tempo Real e Interconexão de Redes - Redes de Interconexão em Sistemas Multicomputadores - Especificação e Validação Formal de Sistemas Distribuídos usando SDL e CORBA - Sistemas Paralelos Baseados na Internet - Circuitos Analógicos e Digitais para Processamento e Filtragem - Ambientes Educacionais Distribuídos 11. Sensores e Atuadores - DEMIC, DCA, DSCE - Sensores para Aplicações Agrícolas e Automotivas 19. Sistemas Inteligentes - DMCSI, DCA - Circuitos Evolutivos (EHW - Evolvable Hardware) - Estudo de Características de Cerâmicas Semicondutoras para Aplicações em Sensores - Sistemas Inteligentes em Automação, Decisão e Análise de Dados - Banco de Dados para Aplicações não Conven- - Sensores, Atuadores, Acionadores e Controle cionais Digital - Redes Neurais 12. Bioengenharia - DEB - Estimulação Elétrica do Coração - Lógica Nebulosa e Sistemas Neurofuzzy - Transporte e Regulação do Cálcio no Músculo - Agentes Autônomos Inteligentes Cardíaco - Computação Evolutiva 13. Engenharia Médica e Biológica - DEB - Instrumentação Biomédica - Desenvolvimento de Transdutores, Instrumentação e Investigação da Interação de Ultra-Som com Tecidos e Líquidos Biológicos - Processamento Digital de Sinais Biológicos e de Imagens Médicas 14. Engenharia Clínica e Hospitalar - DEB - Gerenciamento de equipamentos médico-hospitalares - Procedimentos de segurança na área de saúde - Avaliação de tecnologias - Desenvolvimento de métodos para aquisição de equipamentos médico-hospitalares 15. Engenharia de Reabilitação - DEB - Sistemas homem-máquina para restauração de movimentos através de estimulação elétrica neuromuscular (EENM) - Avaliação e acompanhamento de pacientes com déficit motor: projeto e construção de sistemas de aquisição de variáveis biomecânicas de baixo custo; definição de parâmetros quantitativos adequados ao acompanhamento no tratamento de diversas patologias. - Desenvolvimento de sensores para EENM e avaliação de movimentos - Estudo em controle motor 16. Computação Gráfica - DCA, DECOM - Síntese de Imagens - Animação - Qualidade de Energia Elétrica - Planejamento da Expansão e da Operação de Sistemas de Transmissão e Distribuição de Energia Elétrica - Estimação Generalizada de Estado em Sistemas de Energia Elétrica - Métodos de Otimização Baseados em Princípios Físicos e Biológicos Aplicados a Sistemas de Energia Elétrica - Estudo, Desenvolvimento e Aplicação de Métodos Fundamentados em ÞFuzzy Setsþ para a Operação e o Controle de Sistemas de Energia Elétrica - Elaboração de Algoritmos Computacionais para a Avaliação de Desempenho de Redes de Transmissão e Distribuição de Energia Elétrica - Planejamento de Reativos em Sistemas de Energia Elétrica - Operação e Controle de Sistemas Elétricos Industriais - Estabilidade Transitória e Análise de Segurança Dinâmica Usando Processamento Paralelo e Distribuído - Sistemas Especialistas e Inteligência Artificial Aplicada a Sist. de Energia Elétrica - Computação Paralela e Distribuída Aplicada a Sistemas de Energia Elétrica - Índices de Estabilidade em Tensão em Redes - Modelagem Geométrica Elétricas - Interface Gráfica Interativa - Centros de Operação e Controle de Sistemas de Energia Elétrica - Visualização Científica - Visualização, Aquisição e Manipulação de Imagens - Caracterização de Textura 12 - Semiótica Computacional 20. Sistemas de Energia Elétrica - DSCE, DSEE, DENSIS, DMCSI - Estabilidade de Sistemas de Potência - Planejamento Energético Multisetorial e Uso de Recursos Naturais UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 - Planejamento da Operação Energética de Sistemas de Energia Elétrica FEEC - Simulador para Protocolos de Comunicação Baseado em Redes de Petri - Planejamento da Operação Elétrica de Sistemas de Energia Elétrica - Teoria da Informação - Planejamento e Automação de Sistemas de Distribuição de Energia Elétrica - Códigos Turbo e Decodificação Iterativa 21. Compatibilidade Eletromagnética - DSCE, DECOM - Transitórios Eletromagnéticos - Codificação de Linha - Interferências EMI, EMC para Equipamentos de Telecomunicações - Códigos Corretores de Erros - Criptografia - Fundamentos Algébricos e Geométricos dos Códigos Geometricamente Uniformes - Sistema ARQ 22. Conversão Eletromêcanica de Energia - DSCE, DMCSI - Modelagem de Máquinas Elétricas - Controle de Máquinas Elétricas - Projeto de Máquinas Elétricas - Tração Elétrica em Sistemas Ferroviários - Análise do Comportamento Dinâmico da Máquina Síncrona 23. Eletrônica de Potência - DSCE, DEMIC - Conversores e Reguladores Eletrônicos - Gravação Digital 30. Processamento Digital de Sinais - DECOM, DT, DCA, DMCSI - Processamento de Sinais Multivariados no Espaço de Estado - Estudo Transmissão Digital 25. Dispositivos e Circuitos de Microondas - DMO - Programas Computacionais para Microondas e Óptica - Caracterização de Dispositivos, Circuitos e Meios de Transmissão de Microondas Equalização de Receptores em - Sistemas Adaptativos - Análise Tempo-Frequência - Circuitos de Potência Chaveados 24. Antenas e Propagação - DMO - Antenas Impressas de - Detecção e Estimação de Frequências - Processamento Digital de Imagens de Microscopia Óptica - Análise de Reverberação em Ambientes Acústicos - Sistema para Manipulação Timbral - Processamento Digital de Sinais em Sistemas Paralelos 26. Comunicações Ópticas - DMO, DECOM, DT - Dispositivos, Circuitos e Sistemas de Comunicações Ópticas - Processamento de Sinais Multivariados no Espaço de Estado - Análise de Desempenho de Sistemas de Comunicações Ópticas Sinais - Estudo da Propagação de Pulsos Ópticos Usando Técnicas Numéricas - Simulação de Enlaces Ópticos - Estudo da Interação de Ondas com Meios Materiais - Comunicações Ópticas em Meios Não Confinados - Transmissão Digital em Enlaces Ópticos - Redes Fotônicas 27. Modulação Digital - DECOM, DT - Modulação Codificada - Transmissão por Satélite - Comunicações Multiusuários - Sistemas de Transmissão Digital 28. Comunicações Móveis - DECOM, DMO - Sistemas de Rádio Móvel - Ferramentas de Ensino de Processamento de - Processamento de Sinais de Audio 31. Processamento Digital de Fala - DECOM - Análise de Sinais de Fala - Codificação em Baixas Taxas - Síntese de Fala - Reconhecimento de Fala - Síntese de Voz pelo Método da Síntese por Formantes de Klatt - Redução de Ruído de Sinais de Voz 32. Processamento de Imagens e Visão Computacional DECOM, DCA - Digitalização e Visualização de Imagens - Codificação e Transmissão de Imagens - Processamento de Imagens - Processamento de Imagens e Visão Computacional - Interferência - Processamento de Imagens - Propagação - Sistemas de Alta Definição - Transmissão - Equalização - Sistema de Comunicação Pessoal - Esquemas de Múltiplo Acesso - Reuso Múltiplo de Frequências - Detecção Multiusuários - Arranjo de Antenas - WCDMA - Redes de Dados sem Fio 29. Teoria da Informação, Codificação e Criptografia DECOM, DT,DCA e - Estruturas Algébricas e sua Aplicação à Teoria de Códigos: TCM e BCM - Uma Nova Classe de Códigos Corretores de Erros para o Canal Aditivo T-Usuários - Reconhecimento de Padrões e Visualização de Dados Multidimensionais - Desenvolvimento de Ferramentas para o Ensino de Processamento de Imagens - Transmissão de Imagens e, 2 Tons J BIG - Qualidade e Padrões em CTV/HDTV - Comunicações Visuais - Compressão de Imagens - Processamento Automático de Imagens de Documentos - Processamento de Imagens Médicas - Visão Computacional em Aplicações Industriais - Processamento Morfológico de Imagens - Reconhecimento de Imagens de Documentos 13 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 - Segmentação de Imagens de Vídeo - Visualização e Processamento de Dados Tomográficos - Desenvolvimento de Algoritmos de Processamento e Análise de Imagens - Desenvolvimento de Software de Processamento e Análise de Imagens - Arquitetura para Processamento de Imagens 33. Reconhecimento de Padrões - DECOM - Reconhecimento de Manuscritos - Identificação Pessoal: Impressões Digitais, Rostos, Assinaturas e Voz - Redes de Identificação Pessoal - Reconhecimentos Estatísticos de Padrões - Reconhecimento Neural de Padrões - Reconhecimento Automático de Documentos - Análise de Documentos 34. Redes de Comunicações - DECOM, DT - Tratamento de Dados em Protocolos para Redes de Comunicação - Simulação de Redes ATM _ C - Total de créditos. Cada crédito corresponde a 15 (quinze) horas de atividades. _ P - Período mais provável da oferta da disciplina, de acordo com a convenção: 1 - 1º período letivo 2 - 2º período letivo 3 - qualquer período letivo _ Os pré-requisitos (PR): exigidos para a matrícula na disciplina. AA200 - Significa Autorização da respectiva CPG. _ A ementa descreve sucintamente o assunto relacionado com a disciplina. Em algumas disciplinas, principalmente aquelas relacionadas com Tópicos Especiais, as ementas serão oferecidas pelas Unidades de Ensino correspondentes, na época da oferta dessas disciplinas. _ O livro onde se encontra o material básico (texto) pode também constar da informação de cada disciplina. No caso do material se encontrar em várias fontes, a lista bibliográfica será oportunamente fornecida pelo Professor Responsável pela disciplina. _ EMENTAS DAS DISCIPLINAS IA001 Tese de Mestrado T:0 E:0 L:0 S:0 I:0 C:72 P:3 - LANPHONET - Uma Rede Fotônica de Comunicação Usando a Tecnologia WDM IA002 Tese de Doutorado T:0 E:0 L:0 S:0 I:0 C:144 P:3 - SIMPHONET - Um Ambiente Computacional para Avaliar e Projetar Dispositivos e Redes Fotônicas de Comunicação IA003 Interconexão de Redes de Computadores T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução; Conceitos Básicos de Interconexão de Redes de Computadores; Revisão da Arquitetura TCP/IP; Redes ATM - Conceitos Básicos ; Operação de redes ATM; modelos de Interconexão Internet/ATM: Modelo Overlay & Modelo Peer; Emulação de redes (LANE - Lan Emualation); Protocolos em modo nativo: IP-Clássico, NHRP, MPOA; MPLS: Multiprotocol Label Switching; Qualidade de Serviço: Arquitetura de Serviço Integrados, Arquitetura de Serviços Diferenciados, MPLS e CBR (Constant Based Routing); Conceitos de Engenharia de Tráfego na Internet. Bibliografia: Texto fornecido pelo Professor e Artigos disponíveis na Literatura. IA004 Redes Neurais II T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Métodos de aprendizagem; Estimação de probabilidades; Métodos paramétricos e não paramétricos; Técnicas Bayesianas; Generalização; Otimização dos parâmetros das redes; Aplicações: Reconhecimento de padrões; ÞClusteringþ e problemas de classificação; Identificação e previsão de séries temporais; Controle de processos. Bibliografia: Bishop, C. M. - Neural Networks for Pattern, Recognition, Oxford-1995; Haykin, S. - Neural Networks: A comprehensive foundation, 2nd Edition, MacMillan - 1998; Kohomen, T. - Self-Organizing Maps, 2nd Editions, Springler 1997; Mackay, D. J. C. - Information Theory, Probality and Neural Networks - 1997. (Pre-Print disponível na Internet) IA005 Semiótica e Sistemas Inteligentes T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Estudo do envolvimento entre a Semiótica e os Sistemas Inteligentes; Elementos Básicos de Semiótica: Cognição e Comunicação, Categorias Ceno-Pitagóricas, Semiosis, Signos e suas representações, Classes de Signos; Semiótica e Sistemas Inteligentes: A influência da Semiótica para a Representação do Conhecimento; Introdução à Teoria Matemática dos Objetos: Classes e Objetos, Sistemas de Objetos, Redes de Objetos; Semiótica Computacional: Representando o Conhecimento em Redes de Objeto, Arquiteturas de Sistemas Inteligentes; Semiótica Computacional e o Futuro; Agentes Inteligentes, Robótica Autônoma. Bibliografia: Gudwin, R. R. ÞContribuições ao Estudo Matemático de Sistemas Inteligentesþ - Tese de Doutorado FEEC/UNICAMP, maio/1996. Noth, W. - ÞHandbook of Semioticsþ - Indiana University Press, 1995. Meystel, A. ÞSemiotic Modeling and Situation Analysis - An Introductionþ AdRem, Inc, 1995. Pospelov, D. - ÞSituational Control: Theory and Practiceþ - Unpublished english translation, 1991, based - Especificação, Validação e Simulação de Protocolos de Comunicação Usando Metodologia Combinada de Orientação a Objetos e Linguagem ITU-T para Redes ATM e BISDN - Especificação e Simulação de Protocolos para Redes Metropolitanas Multiserviços: Camadas de Sinalização - Rede Síncrona - Comutação ATM de Alta Velocidade - Topologias das Redes de Alta Velocidade - Supervisão e Gerenciamento de Redes - Análise do Desempenho de Redes de Comunicações - Rede Fotônica de Comunicação Usando a Tecnologia WDM - Ambiente Computacional para Avaliar Redes Fotônicas de Comunicação - Caracterização de Tráfego 35. Planejamento e Gerência de Sistemas de Telecomunicações - DENSIS, DT - Planejamento da Rede Externa de Sistemas de Telecomunicações - Planejamento da Transmissão de Sistemas de Telecomunicações _ IDENTIFICAÇÃO DAS DISCIPLINAS _ LEGENDA As disciplinas oferecidas pela unidade encontram-se a seguir identificadas. As informações são, na ordem em que aparecem, as seguintes: _ Código da Disciplina _ Nome da Disciplina _ T - Total de horas de aulas teóricas. _ E - Total de horas de aulas de exercícios. _ L - Total de horas de laboratório ou de campo. _ S - Total de horas de estudos dirigidos ou de seminários. _ I - Total de horas de estudo em casa. 14 UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 on the russian edition originally from Nauka publishers, 1986. Peirce, C. S. - ÞCollected Papers of Charles Sanders Peirceþ vol.I - Principles of Philosophy; vol.II - Elements of Logic; vol.III - Exact Logic; vol.IV - The Simplest Mathematics; vol. V Pragmatism and Pragmaticism; vol.VI - Scientific Metaphysics Edited by Charles Hartshorne and Paul Weiss - Belknap Press of Harvard University Press - Cambridge, Massachussets, 2nd printing, 1960. - Artigos selecionados na literatura. IA006 Tópicos em Sistemas Inteligentes II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA007 Estágio Docente I T:0 E:0 L:0 S:0 I:180 C:12 P:3 Pré-Req.: AA200 Ementa: Esta atividade faz parte do Programa de Estágio Docente (PED) e visa aperfeiçoar os estudantes regularmente matriculados em cursos de Doutorado da Unicamp, no exercício de atividade de docência plena, abrangendo planejamento, desenvolvimento e avaliação de disciplinas de graduação. IA008 Estágio Docente II T:0 E:0 L:0 S:0 I:135 C:9 P:3 Pré-Req.: AA200 Ementa: Esta atividade é parte integrante do Programa de Estágio Docente (PED) e visa aperfeiçoar os estudantes de Mestrado e Doutorado da Unicamp, no exercício de atividade de apoio à docência, abrangendo a elaboração ou correção de listas de exercícios, auxílio ao professor em aulas práticas, aulas teóricas ou de exercícios de reforço, plantão de dúvidas ou outras consideradas correlatas que tenham sido explicitadas no Projeto de Participação no PED. IA009 Introdução à Teoria de Agentes T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Agentes: conceitos básicos. Atributos e usos de agentes; categorias de agentes; agentes e objetos; agentes, processos, threads e programação distribuída; agentes de internet; agentes de interface; agentes móveis; sistemas multiagentes; ontologias e linguagens de agentes; redes de agentes. Bibliografia: BRADSHAW, J.M. ÞSoftware Agentsþ, AAAI Press/MIT Press, 1997; MURCH, R., JOHNSON, T. ÞIntelligent Software Agentsþ, Prentice Hall, 1999; CHEONG, F.C. ÞInternet Agents - Spiders, Wanderers, Brokers and Botsþ, New Riders Publishing, 1996; RUSSEL, S., NORVIG, P. ÞArtificial Intelligence - A Modern Approachþ, Prentice Hall, 1995; PICARD, R. ÞAffective Computingþ, MIT Press, 1997; Artigos em periódicos especializados. IA010 Tecnologia para Ambientes Colaborativos de Ensino T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Requisitos funcionais e tecnológicos das aplicações colaborativas e das aplicações educacionais. Plataformas Computacionais para aprendizagem colaborativa. Comunicação mediada por computador. Arquiteturas distribuídas para disponibilização de material educacional. Representação e manipulação de documentos hipermídia. Interação em realidades virtuais. Estudo de casos. Bibliografia: Texto oferecido pelo professor e artigos disponíveis na literatura. IA011 Sistemas Operacionais Distribuídos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200 Ementa: Introdução: objetivos, conceitos de hardware e software, características principais. Comunicação: protocolos, modelo cliente-servidor, procedimentos remotos, comunicação de grupo. Sincronização: clock, exclusão mútua, coordenação, transações atômicas, travamentos. Processos: threads, modelos de sistemas, alocação de processadores, escalonamento, tolerância a falhas, sistemas de tempo-real distribuídos. Sistemas de Arquivos Distribuídos: projeto, implementação, tendências. Memória Compartilhada: conceito, modelo de consistência, paginação. Estudo de casos. Bibliografia: Andrew S. Tanenbaum ÞDistributed Operating Systemsþ, 1ª. ed., Prentice Hall, 1995, ISBN 0-13-219908-4; Andrew S. Tanenbaum ÞModern Operating Systemsþ, 1ª. ed., Prentice Hall, 1992; William Stallings ÞOperating Systemsþ, 2ª. ed., Prentice Hall, 1995, ISBN 0-02-415493-8; Abraham Silberschatz, Peter Baer Galvin ÞOperating System FEEC Conceptsþ, 5ª. ed., John Wiley & Sons, ISBN 0471364142; Artigos em revistas especializadas. Notas de aulas. Obs.: Disciplina faz parte do certificado de estudos em redes. IA012 Segurança em Comunicação de Dados T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Criptografia Simétrica: Técnicas, Algoritmos e Usos. Criptografia Assimétrica: Logaritmos Discretos, Fatoração de Inteiros, Curvas Elípticas, Protocolos de Autenticação e Assinaturas Digitais; Aplicações de Segurança para e-mail, Web e IP; Segurança de Sistemas : Invasões , Vírus, Firewalls. Bibliografia: William Stallings, "Cripthography and Network Security", 2a. edição, Prentice Hall, ISBN 0-13-869017-0, 1999; Richard E. Smith, "Internet Cryptography", Addison Wesley, ISBN 0-201-92480-3, 1997; Simson Garfinkel e Gente Spafford, "Web Security & Commerce ", O'Reilly & Associates , ISBN 1-56592-269-7, 1997. IA310 Tópicos em Sistemas de Grande Porte T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA316 Tópicos em Engenharia de Sistemas T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA321 Tópicos em Otimização de Sistemas I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA322 Tópicos em Otimização de Sistemas II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA331 Controle em Tempo Real por Computadores T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Funções de automação, aquisição de dados, controle digital direto, supervisão e monitoramento, interfaces com processos e operadores, controle hierárquico. Conceitos básicos: hardware para sistemas de tempo real, sistemas baseados em microprocessadores, software para sistemas de tempo real, estruturas de dados, processamento síncrono e assíncrono. Projeto, implementação e testes de sistemas de tempo real. Organização e seqüenciamento de tarefas. Técnicas e exemplos: sistemas mono e multiprocessadores, sistemas com múltiplas tarefas, algoritmos de controle digital. Aplicações. Bibliografia: S.R. Savitzky, ÞReal Time Microprocessor Systemsþ, Van Nostrand Reinhold Co., 1985. D.M. Auslander, C.H. Thaur, ÞReal-Time Software for Controlþ, Prentice-Hall, 1990 ÞReal-Time Computer Controlþ; S.Bernett, Prentice-Hall, 1994. IA333 Tópicos em Controle de Processos I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA334 Tópicos em Controle de Processos II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA340 Tópicos em Engenharia Biomédica I T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA341 Tópicos em Engenharia Biomédica II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA342 Tópicos em Otimização de Sistemas III T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA343 Tópicos em Otimização de Sistemas IV T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA344 Dinâmica Caótica em Sistemas de Engenharia T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Conceitos básicos de dinâmica não linear, fluxo, órbita, pontos de equilíbrio, movimento caótico e sua identificação, fractal e suas dimensões, estabilidade estrutural e bifurcação, bifurcação global - homoclínica e heteroclínica. Mapas de Poincaré, Expoentes de Liapunov, espectro de frequência por FFT. Aplicações em Sistemas de Controle: Controle de Máquinas, Robótica Bibliografia: J.M.T. Thompson; S.R. Bishop, ÞNonlinearity and Chaos in Engineering Dinamcsþ, John Wiley & Sons, 1994. N.B. Tufillaro; T.Abbott; J.Reilly; ÞAn Experimental Approach to Nonlinear Dynamics and Chaosþ, Addison-Wesley Publishing Company, 1992. Badan Palhares, A.G. ÞControle por Chaveamentoþ Apostila FEE, 1992. IA345 Planejamento e Seqüenciamento em Plantas Multiproduto T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Técnicas de Programação linear mista. Técnicas de busca em árvore tipo Branch and Bound. Extensões para 15 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 recursos compartilhados limitados, restrições temporais e estruturas de processamento complexas. Técnicas de busca orientadas pelas Restrições. Bibliografia: L. Gimeno Latre, M. T. M. Rodrigues, Planejamento e Sequenciamento em Plantas Multiproduto. Notas de aula, 1997 . N. Sadeh, Look-Ahead Techniques for MicroOpportunistic Job Shop Schedulling. Report CMU-CS-91-102, 1991. R. Mah, Schedulling of Batch Plants, in: Chemical Process Structures and Information Flows, Butter Worths, 1990. Artigos. IA346 Controle de Sistemas Dinâmicos com Expectativas Racionais T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Incerteza. predição. Processos e sistemas estocásticos. Propriedades de sistemas lineares estocásticos. Modelos no espaço de estado. Realizações Markovianas. Estimação e controle. Otimização. Incerteza e o processo de formação de expectativas. O Processo de aprendizagem e a hipótese de expectativas racionais. Análise dinâmica e controle de sistemas com expectativas racionais. Controle ótimo de sistemas com expectativas racionais. Identificação de sistemas com expectativas racionais. Coordenação de políticas. Bibliografia: Pesaran, M.H., The Limits to Rational Expectations, Basil Blackwell, 1987. Bottura, C.P. & Ferreira, N.A., Sistemas Discretos Lineares com Expectativas Racionais: Análise Dinâmica e Controle, Anais do 1º IERNNA-SBA, Belém, 1987. Bottura, C.P. & Ferreira, N.A., On the Optimal Control of Linear Discrete - Time Systems with Rational Expectations, M. Jamshidi; B.D.O. Anderson (Eds.), Fundamentals of Discrete - Time Systems, TSI Press, 1993. Kendrick. Stochastic Control for Economic Models, McGraw Hill, 1981. IA347 Controle, Estimação e Modelamento: Temas Selecionados T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Controle e estimação para sistemas multivariáveis: Alguns aspectos teóricos, computacionais e aplicações. Decomposição. Incertezas. Aspectos determinísticos e estocásticos. Controle robusto. Modelo interno. Valor singular estruturado. Transformação linear fracional. Estabilidade e desempenho robustos. Projeto de controladores robustos. Aplicações em controle de máquinas e de processos. Estimação robusta e modelamento de sistemas incertos. Sistemas com múltiplos controladores e ou com múltiplos sensores distribuídos. Controle de sistemas com expectativas racionais. Aplicações a sistemas de grande porte de engenharia, economia e ecologia. Bibliografia: Teses recentes da FEE. Bertsekas, D.& J. Tsitsiklis, Parallel and Distributed Computations, Prentice-Hall, 1989. Caines, P.E., Linear Stochastic Systems, Wiley, 1988. Basar, T. & G.J. Olsder, Dynamic Noncooperative Game Theory, Academic Press, 1982. Morari, M. & E. Zafiriou, Robust Process Control, Prentice-Hall, 1989. Blanchard, O.J. & S. Fischer, Lectures on Macroeconomics. The MIT Press, 1989. Harvey, A.C., Forecasting Structural Time Series Models and The Kalman Filter, Cambridge University Press, 1989. IA348 Estudos Especiais I T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA349 Estudos Especiais II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA350 Estudos Especiais III T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA351 Tópicos em Sistemas T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA353 Redes Neurais T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Paradigmas computacionais. Ciências da cognição. Modelos elementares de neurônios: discretos e contínuos. Estruturas de processamento com alto grau de conexão. Redes neurais; arquiteturas básicas. Aprendizado através de redes neurais: estratégias e algoritmos. Redes multicamadas. Redes auto-organizadas. Aplicações: reconhecimento de padrões, controle, séries temporais. Laboratório. 16 Bibliografia: S. Haykin, Neural Networks-Mac Millan, 1994. T. Kohonen, ÞSelf Organization and Associative Memoriesþ, 2nd. Edition, Springer, 1989. IA357 Otimização de Redes T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Problemas de fluxo em rede. Noções básicas de grafos: caminho, ciclo, corte, árvore. Caminho mínimo. Fluxo máximo. Fluxo de custo mínimo. Árvore varredora mínima. Fluxo de custo mínimo com perda. Fluxo com múltiplos produtos. Bibliografia: R.K. Ahuja, T.L. Magnanti, J.B. Orlin, ÞNetwork Flowsþ, Prentice Hall, 1993. IA358 Planejamento de Produção e Seqüenciamento Orientado por Restrições T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Técnicas de planejamento de produção tipo MRP. Análise de problemas de capacidade. Aplicação na indústria de processos utilizando a representação State Task Network. Formulação do problema de planejamento utilizando técnicas de Programação Matemática. Planejamento da produção em forma de campanhas. Bibliografia: J. Orlicky, Material Requerements Planning, McGraw Hill, 1975, Artigos de periódicos. IA360 Tópicos em Controle I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA361 Tópicos em Controle II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA362 Tópicos em Controle III T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA363 Tópicos em Controle IV T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA364 Tópicos em Engenharia de Computação I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA365 Tópicos em Engenharia de Computação II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA366 Tópicos em Engenharia de Computação III T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA367 Tópicos em Engenharia de Computação IV T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA368 Tópicos em Engenharia de Computação V T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA369 Tópicos em Engenharia de Computação VI T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA370 Tópicos em Circuitos e Máquinas T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA371 Tópicos em Engenharia de Plasma I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA372 Tópicos em Energia T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA373 Tópicos em Sistema e Ecologia T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA374 Tópicos em Sistemas e Economia T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA375 Tópicos em Engenharia de Plasma II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA448 Estudos Especiais IV T:60 E:0 L:0 S:0 I:120 C:12 P:3 IA449 Estudos Especiais V T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA450 Estudos Especiais VI T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA451 Estudos Especiais VII T:45 E:0 L:0 S:0 I:90 C:9 P:3 IA505 Circuitos Elétricos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Modelos a Parâmetros Concentrados. Leis de Kirchhoff. Modelos no Domínio do Tempo e Modelos Transformados (Fasores, Laplace, Fourier). Sistematização de UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Métodos Gerais. Topologia. Equações de Estado. Soluções de Equações de Circuitos. Bibliografia: Circuitos Elétricos, Magnéticos e Teoria Eletromagnética, Yaro Burian Jr., Ed. do autor; 1996, Circuitos Elétricos, Yaro Burian Jr., 1993. IA507 Métodos Geométricos para Engenharia de Sistemas T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Revisão de espaços vetoriais. Subespaços invariantes. Projeções. Espaço quociente. Estrutura geométrica de transformações lineares (mapas). Espaços duais. Subespaços anuladores. Mapa dual. Espaços vetoriais com produto interno. Mapas hermitianos. Bibliografia: GREUB, W. ÞLinear Algebraþ, Springer-Verlag, 4 5 ed. 1981. F.R. GANTMACHER, ÞThe Theory of Matricesþ, vol. I, Chelsea, 1959. IA525 Programação Inteira e Combinatória T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução: formulação de problemas de progra-mação inteira. Grafos e redes. Algoritmos de planos de corte. Métodos enumerativos: programação inteira. Métodos enumerativos: programação binária. Métodos de decomposição. Métodos não-exatos. Complexidade de algoritmos. Bibliografia: G.L. Nemhauser e L.A. Wolsey, ÞInteger and Combinatorial Optimizationþ, John Wiley, 1988. IA526 Introdução a Algoritmos de Otimização T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Introdução a algoritmos e programação. Análise de algoritmos. Estruturas de dados elementares. Algoritmos de busca. Algoritmos de Ordenamento. Recursão. Algoritmos elementares em grafos. Decomposição em Grafos. Grafos ponderados. Árvore geradora mínima, caminho mínimo, fechamento transitivo. Problemas de fluxo em redes. Problemas de emparelhamento e emparelhamento bipartido. Bibliografia: U. Manber ÞIntroduction to Algorithmsþ, Addison Wesley, 1989. R. Sedgewick ÞAlgoritms in Cþ, Addison Wesley, 1990. IA527 Programação Multiobjetivo T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Introdução aos processos de decisão, fundamentos matemáticos, caracterização analítica da soluções de Pareto, Simplex multiobjetivo, elementos de teoria de decisão, métodos com indicação de preferência "a priori", métodos interativos e métodos com indicação a "posteriori". Bibliografia: Hwang, C.L. & A.S. Md. Masud, Multiple Objective Decision-Making-Methods and Applications, Springer, 1979. Cohon, J.L., Multiobjective Programing and Planning, Academic, Press 1978. Zeleny, M., Multiple Criteria Decision Making, McGraw Hill, 1982. Chankong, V. & Y.Y. Haimes, Multiobjetive Decison-Making Theory and Methodology, Elsevier, 1983 IA528 Programação Dinâmica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Conceitos fundamentais: princípio de otimalidade, equação recursiva de otimalidade, solução no sentido inverso (Backward) e direto (Forward), imersão. Problemas de caminho mínimo. Controle ótimo. Alocação de recursos. Aspectos computacionais. Complexidade e ÞMaldição da Dimensãoþ. Programação dinâmica estocástica. Aplicações. Bibliografia: S.E. Dreyfus and A.M. Law, ÞThe Art and Theory of Dynamic Programmingþ, Academic Press, 1977. Larson and Casti, ÞPrinciples of Dynamic Programming (vol. 1, vol. 2)þ, Marcel Dekker, 1978. D.P. Bertsekas, ÞDynamic Programming: Deterministic and Stochastic Modelsþ, PrenticeHall, 1987. IA533 Métodos Matemáticos para Engenharia I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Espaços e transformações lineares. Cálculo matricial. Autovalores e autovetores. Diagonalização. Funções de matrizes. Formas quadráticas. Teoria de probabilidade: Espaço de probabilidades, álgebras, variável aleatória, esperança matemática. Processos estocásticos: processos estacionáveis e Markov. Cálculo numérico. Bibliografia: Brockett, R., ÞFinite Dimensional Linear Systemsþ, Willey, 1970. Wong, E., ÞStochastic Processes in Information and Dynamical Systemsþ, McGraw Hill, 1971. FEEC Isaacson, E. Keller, H., ÞAnalysis of Numerical Methodsþ, Willey, 1966. IA534 Métodos Matemáticos para Engenharia II T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução. Conjuntos, relações e linguagens. Autômatos finitos. Linguagens independentes de contexto. Máquinas de Turing. Noções de computabilidade e complexidade computacional. Lógica proposicional e noções de cálculo de predicados. Grafos. Estruturas de dados. Bibliografia: M.A. Arbib, A.J. Kfoury, R.N. Moll, ÞA Basis for Theoretical Computer Scienceþ, Springer Verlag, 1981. J. E. Hopcroft, J. D. Ullman: Introduction to Automata Theory, Languages and Computation. Addison Wesley, 1979. IA535 Teoria de Sistemas Não-Lineares T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Introdução. Sistemas de 2ª ordem. Equações diferenciais não-lineares. Métodos aproximados. Estabilidade. Bibliografia: M. Vidyasagar, ÞNonlinear Systems Analysisþ, Prentice-Hall Inc, 1978. IA536 Teoria de Sistemas Lineares T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Espaços lineares. Modelos matemáticos. Equações dinâmicas e respostas ao impulso. Controlabilidade e observabilidade. Realimentação e observadores de estado. Estabilidade de sistemas lineares. Projetos. Bibliografia: C.T. Chen, Linear System Theory and Design,3 rd Edition, Oxford University Press, 1999 IA538 Organização de Computadores: Software T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Noções de linguagens e compiladores. Estruturas de sistemas operacionais. Processos concorrentes. Escalonamento de processadores. "Deadlocks". Gerenciamento de memória. Memória virtual. Sistemas de arquivos. Sistemas de Entrada e Saída. Proteção. Sistemas distribuídos. Estudo de casos. Bibliografia: A. Silberschatz, P.B. Galvin, Operating System Concepts, 4th Ed., Addison Wesley, 1994; E.G. Coffman Jr., P.J. Denning, Operating Systems Theory, Prentice Hall, 1973. IA539 Dinâmica de Robôs T:30 E:0 L:30 S:0 I:120 C:12 P:1 Pré-Req.: IA536/AA200 Ementa: Análise Cinemática: Transformações homogêneas. Representação de Denavit-Hartenberg. Cinemática inversa. Jacobiano: Análise dinâmica: Formulação de Euler-Lagrange. Formulação de Newton-Euler. Princípio de D'Alembert. Estratégias de controle: Controle de juntas independentes. LQR. Controle multivariável. Bibliografia: M.W. Spong, M. Vidyasagar, "Robot Dynamics and Control", John Wiley & Sons, Inc., 1989. K.S. Fu, R.C. Gonzalez, C.S.G. Lee, "Robotics: Control, Sensing, Vision and Intelligence. McGraw Hill, 1987. IA540 Organização de Computadores: Arquitetura T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Evolução de computadores. Metodologias de projeto: níveis de portas lógicas, de registradores, de processadores. Processadores: repertório de instruções, unidades aritméticas, unidades lógicas, pipelines, processador superescalar. Unidades de controle: controle hardwired, controle microprogramado. Organização de memórias: tecnologia de dispositivos de memórias, memória virtual, memórias de alta velocidade. Organização de sistemas: barramento, entrada e saída. Redes de computadores. Bibliografia: J.P. Hayes, Computer Architecture and Organization, 2nd Ed., McGraw Hill, 1988; K. Hwang, Advanced Computer Architecture, McGraw Hill, 1993. IA541 Especificação e Projeto de Sistemas Computacionais Embutidos T:30 E:0 L:0 S:30 I:120 C:12 P:3 Ementa: Introdução às técnicas para projetos a nível de sistema, modelos e arquiteturas, linguagens de especificação, métodos de particionamento, métodos de avaliação da qualidade de projetos, detalhamento da especificação, exemplo de projeto. 17 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Bibliografia: D.D.Gajski, F. Vahid, S. Narayan, J. Gong, Specification and Design of Embedded Systems, Prentice-Hall, 1994 IA542 Co-projeto de Hardware-Software em Sistemas Embutidos T:30 E:0 L:0 S:30 I:120 C:12 P:3 Pré-Req.: IA541/AA200 Ementa: Introdução às técnicas de co-projeto de hardwaresoftware. Estudo de um projeto. Particionamento em hardwaresoftware. Co-simulação. Verificação formal. Estimativa de desempenho. Aplicações. Bibliografia: Alguns artigos analisados durante o curso: M.F.Jacome G. de Veciana "Design Challegens for New AplicationS. Barkshi, D. Gasjki "A Scheduling and pipelining algorithm for hardware/software systems, "S. Bakshi, D. Gajski; Proceedings of the 10 th Intern. Symp. on System Synthesis, 1997; D.Dave G. Lakshiminarayana, N.Jha, COSYN: Hardware-Software CoSynthesis of Embedded Systems, in Proc. ACM/IEEE Design Automation Conference, Anaheim, 1997; F. Slomka, M.Dorfel, R.Munzenberger, R. Holfmann, "Hardware/Software Codesign and Rapid Prototyping of . Embedded Systems,IEEE Design & Test of Computers, June 2000, M. Eisering, L. Thiele, E. Zitzler, "Coflicting Criteria in Embedded System Design," IEEE Design & Test of Computers, June 2000. IA543 Otimização Não Linear T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Funções, gradiente e Hessiano. Teorema de Taylor. Condições de otimalidade. Teorema de Kuhn-Tucker. Lagrange e dualidade. Método do Gradiente e Newton. Método das direções conjugadas. Métodos Quasi-Newtonianos, métodos do gradiente projetado e gradiente reduzido. Métodos de penalidade e lagrangeano aumentado. Programação quadrática e métodos de Lagrange. Programação convexa. Bibliografia: D.G. Luenberger, Linear and Nonlinear Programming, 2nd Ed., Addison Wesley, 1984. M.S. Bazaraa, H.D. Sherali, C.M. Shetty, Nonlinear Programming, 2nd Ed., John Wiley, 1993. IA546 Controle, Estimação e Processamento de Sinais Discretos no Espaço de Estado T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IA536 Ementa: Introdução. Controle por computador. Estimação de estado e de parâmetros. Breve revisão de análise de sistemas dinâmicos discretos lineares nos espaços de tempo e de freqüência. Sistemas amostrados. Filtros digitais. Processamento de sinais discretos estocásticos no espaço de estado. Análise e projeto de sistemas de controle digital nos espaços de freqüência e de estado. Filtro de Kalman. Identificação de sistemas e modelamento de séries temporais. Controle ótimo. Controle multivariável. Aplicações a controle de máquinas e de processos. Introdução ao controle robusto de sistemas discretos no tempo. Bibliografia: Franklin G.F., Powell, I.D. & Workman, M.L., Digital Control of Dynamic Systems, 3rd Ed., Addison-Wesley, 1998. Astrom, K.J. & Wittenmark B., Computer-Controlled Systems, 3rd Ed., Prentice-Hall, 1997. Aoki, M., State Space Modeling of Time Series, 2nd Ed. Springer Verlag, 1990. Oppenheim, A.V. & Schafer, R.W., Discrete Time Signal Processing, Prentice Hall, 1989. IA600 Controle Ótimo I T:30 E:0 L:0 S:0 I:60 C:6 P:2 Ementa: Cálculo variacional, Condições de otimalidade, Problemas clássicos de controle ótimo. Estabilidade e robustez. Problema Linear quadrático. Bibliografia: Athans, M. e Falb, P. ÞOptimal Control: An Introduction to the Theory and Its Applicationsþ, McGraw Hill, 1966. Kwakernaak, H. and Sivan, R. - Linear Optimal Control Systems - Wiley Interscience, 1972. Luenberguer, D.G. Introduction to Dynamic Systems, John Wiley & Sons, 1979. IA601 Sistemas Dinâmicos Estocásticos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IA533/IA536/IE509 Ementa: Processos estocásticos. Sistemas lineares estocásticos. Decomposição de Wold. Representações de estado 18 e entrada saída. Cadeias de Markov controladas. Teoria de estimação. Teoria de realização estocástica. Identificação. Realimentação, Causalidade e Identificação de Sistemas de Malha Fechada. Controle estocástico linear quadrático. Controle adaptativo estocástico. Bibliografia: Caines, P.E., ÞLinear Stochastic Systemsþ Willey, 1988. Kumar, P.R. & Varaya, P., ÞStochastic Systemsþ, Prentice-Hall, 1986. Jazwinski, A.H., ÞStochastic Processes and Filtering Theoryþ Academic Press, 1970. IA602 Teoria e Projeto de Sistemas Lineares Multivariáveis T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Aspectos analíticos e computacionais da teoria de sistemas lineares multivariáveis nos espaços de estado e de freqüência. Complementos algébricos. Polinômios e matrizes polinomiais. Formas canônicas de sistemas multivariáveis nos espaços de estado e de freqüência. Decomposição em valores singulares. Frações coprimas. Equivalência sistêmica estrita. Controle multivariável por realimentação. Controle robusto. Projeto de compensadores. Controle por realimentação de estado e observadores de estado nos espaços de estado e de freqüência. Controle por modelo interno. Sistemas inversos. Sistemas não-estacionários. Bibliografia: Chen, C.T., ÞLinear System Theory and Designþ, Holt, Rinehart & Winston, 1984. Kailath, T., ÞLinear Systemsþ, Prentice-Hall, 1980. Petkov, P.H., Christov, N.D. & Konstatinov, M.M., ÞComputational Methods for Linear Control Systemsþ, Prentice Hall, 1991. IA604 Otimização em H2 e HSinf T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Representação de sistemas lineares via variáveis de estado e função de transferência. Estabilidade e desempenho robustos. Normas. Controle ótimo em espaços H2 e HSinf. Estimação de estado em espaços H2 e HSinf. Robustez de sistemas não lineares. Bibliografia: P. Colaneri, J. C. Geromel and A. Locatelli, "Control Theorey and Design: An RH2 e RHSinf viewpoint", Academic Press Inc., ISBN 0-12-179194-4, London, UK, 1997. IA605 Análise Convexa T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Conceitos básicos. Dualidade. Diferenciabilidade. Problemas com restrições. Teoria Min/Max. Bibliografia: R.T. Rockafellar, ÞConvex Analysisþ, Princeton University Press, 1972. IA612 Controle e Teoria de Sistemas Econômicos T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Modelos dinâmicos lineares determinísticos e estocásticos em economia. Conceitos básicos de teoria de sistemas de controle com realimentação. Representação Markoviana. Modelamento de séries temporais no espaço de estado, controle ótimo discreto, estimação de estado. Alguns modelos úteis. Bibliografia: Aoki,M ÞOptimal Control and System Theory in Dynamic Economic Analysisþ, North-Holland, 1974; Aoki, M. ÞState Space Modeling of Time Series, Springer-Verlag, 2nd edition, 1990. IA623 Controle de Acionamento para Robôs T:30 E:0 L:15 S:15 I:75 C:9 P:3 Ementa: Controle por Modulação ÞDitherþ. Linearização por realimentação. Estabilidade. Controle hierárquico a multiprocessadores. Critérios de seleção de atuadores. Controle Desacoplado. Análise e compensação do modelo dinâmico. Compensação por realimentação de estado do servo de juntas. Acionamento direto. Bibliografia: Ferraté, G., ÞRobótica Industrialþ, Marcombo Editores, Barcelona-Espanha, 1986; Dias, M.A., ÞControlador Programável a Multi-Microprocessadores para Hierárquico de Robôsþ, Tese de Mestrado, FEE/UNICAMP, 1991. IA631 Métodos Numéricos em Sistemas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Erros. Equações algébricas lineares. Equações algébricas não lineares. Equações de Lyapunov e Riccati. Autovalores e autovetores. Equações diferenciais ordinárias. Equações a derivadas parciais. UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Bibliografia: W. Press, B.P. Flannery, e outros, ÞNumerical Recipes - The Art of Scientific Computingþ, Cambridge University Press, Cambridge; J.H. Wilkinson, ÞThe Algebraic Eigenvalue Problemþ, Oxford University Press, 1965. IA636 Visão Computacional T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Imagens digitais. Dispositivos de exibição e aquisição de imagens. Cor. Transformações espaciais e interpolação em intensidade. Transformadas de imagens. Melhoramento de imagens. Filtros. Segmentação de imagens. Descritores. Reconhecimento de padrões. Aplicações. Bibliografia: Gonzalez e Woods - ÞDigital Image Processingþ, Addison Wesley, 1992. Schalkoff - ÞDigital Image Processing and Computer Visionþ, John Wiley & Sons, 1989. Jordan e Lotufo - ÞHands-on Digital Image Processing with Khorosþ, Apostila DCA, 1996. IA638 Métodos de Projeto e Controle de Robôs T:30 E:0 L:30 S:0 I:120 C:12 P:2 Pré-Req.: IA539/AA200 Ementa: Controle de torque/força, linearização por realimentação. Vetor de campo variante. Controle adaptativo, Planejamento e controle de trajetórias. Sensoriamento. Linguagem de programação. Bibliografia: K.S. Fu, R.C. Gonzalez, C.S.G. Lee, "Robotics: Control, Sensing, Vision and Intelligence", McGraw Hill Company, 1987. M.W. Spong, M. Vidyasagar, "Robot Dynamics and Control", John Wiley & Sons, Inc., 1989. IA701 Controle de Sistemas Lineares Multivariáveis T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Breve revisão de controle monovariável, controle multivariável por realimentação, pólos, zeros, estabilidade, controlabilidade e observabilidade de sistemas multivariáveis com realimentação. Estabilidade interna e robustez. Descrições polinomial e por fração matricial. Forma de SmithMcMillan. Funções algébricas. Discriminante. Superfícies de Riemann. Funções ganho característicos e freqüência característica. Critério de Nyquist generalizado. Lugar das raízes multivariável. Diagramas de ganho. Compensação multivariável controle robusto. Bibliografia: Postlethwaite, T & MacFarlane, A.G., ÞA Complex Variable Approach to the Analysis of Linear Multivariable Feedback Systemsþ, Springer-Verlag, 1979. Maciejowski, J.M., ÞMultivariable Feedback Designþ, AddisonWesley, 1989. Rosenbrock, H.H., ÞComputer-Aided Design of Control Systemsþ, Academic-Press, 1974. IA703 Controle Adaptativo e Estocástico T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Identificação de parâmetros em modelos dinâmicos. Introdução à programação dinâmica. Controle de sistemas lineares estocásticos: Problema linear-quadrático Gaussiano. Função dual de controle. Controladores adaptativos. Controlador autoajustável. Controlador preditivo. Bibliografia: K.J. Astrom, B. Wittemmak - ÞAdaptive Controlþ, Addison-Wesley, 1989. IA705 Controle Hierárquico de Sistemas Dinâmicos T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Controle de sistemas de grande porte interconectados: métodos ótimos, sub-ótimos e estimação de estado. Controle ótimo. Decomposição e coordenação. Métodos de controle hierárquico ótimo para sistemas dinâmicos. Controladores de segundo nível. Aplicações. Bibliografia: Mesarovic, M. D., Macko, D. e Takahara, Y. ÞTheory of Hierarchical Multilevel Systemsþ, Academic Press, 1970. IA707 Computação Evolutiva T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução a técnicas de solução de problemas inspiradas na natureza. Representação do conhecimento e métodos de raciocínio. Algoritmos genéticos. Diversidade populacional. Geradores de números aleatórios. Sistemas FEEC classificadores. Programação genética. Vida artificial. Sistemas híbridos. Bibliografia: Goldberg, D.E. ÞGenetic Algorithms in Search, Optimization, and Machine Learningþ, Addison-Wesley, 1989; HOLLAND, J.H. ÞAdaptation in Natural and Artificial Systemsþ, MIT PRESS, 1992; KOZA, J.R. ÞGenetic Programming: on the programming of Computers by means of Natural Selectionþ, MIT PRESS, 1992; MICHALEWICZ, Z. ÞGenetic Algorithms + Data Structures= Evolution Programsþ, Springer-Verlag, 1994; Artigos selecionados em periódicos especializados. IA709 Teoria Geométrica de Controle T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Atingibilidade, controlabilidade, alocação de pólos, Observabilidade, possibilidade de estabilização. Observadores, compensação dinâmica. Rejeição de perturbações. Subespaço (A,B)- invariante. Zeros de transmissão. Estabilidade interna. Sínteses estruturalmente estáveis. Bibliografia: Wonham W. M., ÞLinear Multivariable Systemsþ, Springer-Verlag, 1974. IA710 Otimização em Espaços Vetoriais T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Espaços lineares normados. Espaços de Banach. Espaço de Hilbert. Espaços duais. Teorema de Hahn-Banach. Dualidade em problemas de norma mínima. Operadores lineares e adjuntos. Otimização em espaços de Hilbert. Técnicas globais e locais de otimização sob restrições. Bibliografia: Luenberger, D. G. ÞOptimization by Vector Space Methodsþ, John Wiley, 1968. IA715 Sistemas Dinâmicos de Grande Porte T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Modelos dinâmicos de sistemas de grande porte. Decomposição. Agregação. Descentralização. Estabilidade. Controle descentralizado. Aspectos estruturais de controlabilidade e observabilidade. Decomposição de dígrafos. Controle descentralizado por realimentação de estado. Bibliografia: Siljak, D. D., ÞLarge Scale Dynamic Systemsþ, North-Holland, 1978. IA718 Tópicos em Sistemas Inteligentes T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA720 Tópicos em Controle Inteligente T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA722 Tópicos em Máquinas Inteligentes T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA724 Controle e Economia de Recursos Naturais T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Breve revisão de teorias microeconômica e de controle. Competição. Economia de mercados competitivos, falhas de mercado: custos sociais versus custos privados, externalidades, bens públicos. Dinâmica do valor monetário. Recursos renováveis e não renováveis. A dinâmica do uso de recursos. Desenvolvimento auto-sustentado. Custos ambientais do desenvolvimento tecnológico. Poluição e preservação ambiental: controle e economia. Cooperação. Decomposição. Agregação. Descentralização. Hierarquização. Hetrarquização. Políticas para proteção e controle ambiental. Controle ótimo descentralizado da qualidade de água de rios. Controle em tempo real da poluição de rios. Bibliografia: Siljak, D., ÞLarge Scale Dynamic Systemsþ, Noth Holland, 1978. Luenberger, D.G. ÞDynamic Systemsþ, Willey, 1969. Dorfman, R. & Dorfman, N.S., ÞEconomics of the Environment: Selected Readingsþ, 2nd ed., Norton, 1977. Hartwick, J. & Olewifer, N., ÞThe Economics of Natural Resource Useþ, Harper & Row, 1986. IA725 Computação Gráfica I T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Dispositivos Gráficos. Visão introdutória à modelagem geométrica. Noções básicas de cor. Transformações Geométricas. Transformações de Visualização. Recortes. Técnicas de Rasterização. Visibilidade. Noções básicas de modelos de iluminação. Tonalização. Princípios básicos de Rendering. Visão introdutória à textura. Bibliografia: J.D. Foley, A. van Dam, S.K. Feiner, J.F. Hughes, ÞComputer Graphics: Principles and Practiceþ, Addison-Wesley Publ; Co. D. F. Rogers, ÞProcedural Elements for Computer Graphicsþ, McGraw Hill; D.F. Rogers e J.A. 19 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Adams, ÞMathematical Elements for Computer Graphicsþ, McGraw Hill. Jonas Gomes e Luiz Velho, ÞComputação Gráfica: Volume 1þ, IMPA/SBM, 1998; J. Neider, T. Davis e M. Woo, ÞOpenGL Programming Guideþ, Addison-Wesley Publ, Co. IA727 Computação Gráfica II T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Discussão do estado da arte em Síntese de Imagens: Aspectos físicos da interação luz-objetos; Percepção humana; Modelos para representação de cor; Detalhamento das diferentes possibilidades de modelagem (aproximação) da interação luz-objetos; Recentes avanços em Rendering. Bibliografia: R. Hall, ÞIllumination and Color in Computer Generated Imageryþ, Springer - Verlag ISBN 3-540-967745; A. S. Glassner, ÞPrinciples of Digital Image Synthesisþ, Vols. 1 e 2, Morgan-Kaufmann Publishers, ISBN 1-55860-276-3; Artigos de revistas: IEEE Computer Graphics and Applications; ACM Transactions on Graphics; ACM Computer Graphics (Siggraph); Computer Graphics Forum (Eurographics); Computer & Graphics (Pergamon Press); Congresso Sibgrapi (SBC). IA728 Jogos Dinâmicos Não Cooperativos T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200/IA536 Ementa: Introdução. Breve revisão de teorias de controle e de programação matemática. Jogos não cooperativos, jogos finitos de soma zero, duas pessoas, N pessoas. Equilíbrios de Nash e Stackelberg. Jogos infinitos. Jogos dinâmicos: discretos e contínuos, Equilíbrio de Nash em malha aberta e em malha fechada. Jogos hierárquicos. Equilíbrio de Stackelberg em malha aberta e em malha fechada. Jogos com expectativas racionais. Aplicações a sistemas: engenharia, economia e ecologia. Bibliografia: Basar, T & Olsder, G.J., ÞDynamic Noncooperative Game Theoryþ, Academic Press, 1982. Intriligator, M. D., ÞMathematical Optimization and Economic Theoryþ, Prentice Hall, 1971. IA729 Tópicos em Circuitos e Redes T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA739 Engenharia de Software I T:30 E:30 L:0 S:0 I:120 C:12 P:3 Ementa: Software: crise, mitos e paradigmas da engenharia de software. Análise de sistemas: hardware, software, fatores humanos e base de dados. Planejamento de software: recursos, métricas e modelos Empíricos de custo. Análise de software: princípios, prototipação, metodologias orientadas a fluxo e estruturas de dados. Projeto de software: projeto preliminar, projeto detalhado, projeto orientado a fluxo e estrutura de dados. Bibliografia: Pressman, R.S., ÞSoftware Engineering: A Practitioner's Approachþ, 3rd Ed., McGraw Hill, 1992. IA740 Neurofisiologia Quantitativa T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Visão geral do sistema nervoso. Fisiologia de membrana. Fisiologia das sinapses. Conceitos de receptores como transdutores. Conceito de via sensorial. Bibliografia: S.L. Wolfw (ed.) ÞMolecular and Celular Biologyþ, Wadsworth Publishing Co., Belmont, Califórnia, ISBN: 0-534-12408-9, 1993. Shepherd, G.M. ÞThe Synaptic Organization of the Brainþ, 2nd ed., Oxford Academic Press, 1976. Patton, H.D.; Fuchs, A.; Sher, A. Steimer, R. (ed.) ÞTextbook of Physiology Excitable Cells and Neurophysiologyþ, W.B.V. Saunders Co., 21 ed., 1989. ISBN: 0-7216-1990-8. IA741 Estudo Quantitativo dos Sistemas Sensoriais e Motor T:45 E:0 L:15 S:0 I:120 C:12 P:3 Ementa: Análise quantitativa e modelos matemáticos dos seguintes sistemas sensoriais periféricos: tato, audição, visão e equilíbrio. Modelos matemáticos de contração muscular. Teoria de controle aplicada ao controle neuromuscular. Projetos e laboratórios. Bibliografia: Mountcastle, V. B., ÞMedical Physiologyþ, Vol. I, C. V. Masby, Saint Louis, 1980. 20 IA742 Estudo Quantitativo do Sistema Cardiovascular T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Estrutura e função da célula cardíaca. Bioquímica e ultraestrutura. Atividade elétrica do coração (eletrofisiologia, teoria do dipolo e ECG). Atividade contrátil (acoplamento excitação-contração e modelos da contração muscular). O sistema circulatório. Energia total na circulação. Mecânica de fluidos e a hemodinâmica. Modelos matemáticos da circulação e do coração para regulação do débito cardíaco. Correlatos clínicos. Origem do batimento cardíaco. Eletrofisiologia da célula cardíaca. O eletrocardiograma. Modelo do dipolo. Arritmias. O ciclo cardíaco. Circulação coronariana. Metabolismo do Músculo cardíaco. Função ventricular. Modelos elétricos do coração e da circulação. Regulação da pressão arterial. Fisiologia do exercício. Gasto energético. Bibliografia: Burton, A.C., ÞPhysiology and Biophysics of the Circulationþ, 2nd Edit., Year Book Publ., New York, 1972. Shepherd, J.T.; Vanhoutte, P.M., ÞThe Human Cardiovascular Systemþ, Raven Press, New York, 1979. Bassani, J.W.M. Notas de aula, (UNICAMP, 1995), Sperelakis, N.; Banks, R.O. (ed.) ÞPhysiologyþ, Little Brown & Co., Boston, USA, 1993. IA743 Transdução de Grandezas Biomédicas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Sistema de instrumentação eletrônica. Instrumentos de medidas analógicos e digitais. Minimização do erro experimental. Sensores para transdutores. Medições de força, torque, pressão, fluxo, deslocamento, velocidade, aceleração, temperatura. Eletrodos para biopotenciais. Métodos estatísticos. Bibliografia: Dally, W.F.; Riley, K.G. McConnell ÞInstrumentation for Engineering Measurementsþ, John Wiley & Sons, N.Y., 1993. Webster, J.G. ÞMedical Instrumentation Application and Designþ, 2nd ed., Houghton Mifflin Co., Boston, USA, 1992. Cobbold, R.S.C. ÞTransducers for Biomedical Measurementsþ, Wiley Interscience, 1976. IA744 Aplicações da Engenharia ao Estudo de Fenômenos Biológicos T:45 E:0 L:15 S:0 I:120 C:12 P:3 Ementa: Anatomia com aulas práticas em animais e ou modelos. Biologia celular. Biofísica básica e a fisiologia dos tecidos excitáveis: Nervos e músculos estriados, cardíaco e esquelético. Aplicações específicas das ciências exatas no estudo de fenômenos biológicos (sistema nervoso, sistema auditivo, sistema visual, sistema cardiovascular). Bibliografia: Devlin, T.M., (ed.) ÞText book Biochemistry with Clinical Correlationsþ, 3ª ed., Wiley-Liss Inc., USA, 1992. Aidley, D.J., ÞThe Physiology of Excitable Cellsþ, 4ª ed., Cambridge University Press, N.Y., 1988. Hile, B., ÞIonic Channels of Excitable MembranesÞ, 2nd. ed., Sinaner Associations Inc., Sunderlands, MA, USA, 1992. Bassani, J.W.M., ÞMecânica de Fluídos e a Circulação e Modelo do Núcleo Condutor e a Atividade das Células Nervosasþ, Material didático, Março, 2000. IA745 Seminários de Fisiologia para Engenheiros T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Noções de anatomia de sistemas. Biologia celular. Fisiologia de células excitáveis. Neurofisiologia. Fisiologia de sistemas de transportes e trocas (cardiovascular, respiratório, renal e digestivo). Fisiologia endócrina e da reprodução. Bibliografia: Aidley, D.J., ÞThe Physiology of Excitable Cellsþ, 3ª ed., Cambridge University Press, N.Y., USA, 1989. Sperelakis, N.; Banks, R.O., ÞPhysiologyþ, Little, Brown & Co., Boston, USA, 1993. Guyton, A.C., ÞTratado de Fisiologia Médicaþ, Guanabara-Koogan 8ª ed., 1992. Katz, B., ÞNerve, Muscle and Synapseþ, McGraw Hill, 1966. Vander Sherman & Luciano, ÞFisiologia Humanaþ, McGraw Hill, 1981. (lista adicional de livros fornecida no início do curso). IA746 Instrumentação Eletrônica para Médicos e Biólogos T:45 E:0 L:15 S:0 I:120 C:12 P:3 Ementa: Conceitos básicos de instrumentação. Revisão de conceitos de matemática e de eletricidade básica. Dispositivos eletrônicos e suas aplicações básicas. Equipamentos para medição de variáveis elétricas. Conceitos de segurança contra choques elétricos. Conceitos sobre radiações ionizantes e não ionizantes. Princípios físicos, funcionamento e utilização de equipamentos biomédicos para diagnóstico e terapia. UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Bibliografia: Webster, J. G. (Ed) ÞMedical Instrumentation Application and design þ, 3rd ed., Hongton Mifflin, Boston, 1998. IA747 Introdução à Engenharia Hospitalar T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Organização hospitalar. Segurança hospitalar. Aquisição e controle de equipamentos médico-hospitalares. Manutenção preventiva e corretiva. Planejamento e instalação. Gerenciamento, supervisão e educação. Bibliografia: Webster, J.G.; Cook, A.M. ÞClinical Engineering - Principles and Practicesþ, Prentice-Hall, 1979. Bronzino, J.D. ÞManagement of Medical Technology: a Primer for Clinical Engineersþ, Buttorworth-Heinemann, 1992. IA748 Instrumentação Biomédica T:45 E:0 L:15 S:0 I:120 C:12 P:3 Ementa: Conceitos básicos de Introdução Biomédica. Teoria da Medida. Revisão de Conceitos de Eletrônica. Circuitos de Condicionamento de sinais. Segurança Elétrica de equipamentos Biomédicos. Instrumentos Biomédicos para diagnóstico, monitoração e terapia ( eletroencefalógrafo , eletroecardiógrafo, eletromiógrafo monitores de EEG, de ECG, e de concentração gasosa do sangue, rim artificial, marca-passo cardíaco, desfibrilador, cardioversor, incubadora neonatal, ventilador pulmona, sistema de anestesia, bomba de infusão, equipamentos de eletrocirurgia, etc) Bibliografia: Medical Instrumentation. Application and Design, John Webster, Editor, third edition, John Wiley & Sons, Inc., 1998; Applied Clinical Engineering, Barry N. Feinberg. Prentice-Hall, Inc., 1986; Introduction to Biomedical Engineering, John Enderle, Susan Blanchard e Joseph Bronzino, Academic Press, 1999; Encyclopedia of Medical Devices and Instrumentation, John Enderle, Susan Blanchard e Joseph Bronzino, Academic Press, 1999; Encyclopedia of Medical Devices and Instrumentation, John G. Webster, Wiley Interscience,1988; Transducer for Biomedical Measurements: Principles and Applications, Richard S.C. Cobbold, John Wiley & Sons,1974; Textos do ECRI; Catálogos de Equipamentos Biomédicos. IA749 Informática Biomédica T:45 E:0 L:15 S:0 I:120 C:12 P:3 Ementa: Sistemas de auxílio à decisão médica. Inteligência Artificial. Sistemas de apoio à terapia e cirurgia. Processamentos de sinais biológicos por computador (ECG, EEG, etc.). Processamento de imagens biológicas (CT, US, NMR, PET, Medicina Nuclear, etc.). Aplicações no ensino médico. Modelagem e simulação. Aplicações na pesquisa médica. Aplicações na gestão de consultórios, clínicas e hospitais. Aplicações em saúde pública. Medicina social e preventiva, epidemiologia e estatística. Visão geral sobre as aplicações da informática na área de saúde. Natureza da informação em medicina. Evolução histórica. Áreas de aplicação. Aplicações na coleta e armazenamento de dados. Anamnese automatizada. Registro médico. Bancos de dados clínicos. Sistemas de codificação médica. Apoio aos exames complementares e diagnósticos, aplicações no laboratório. Emissão e interpretação de laudos. Bibliografia: Shortliffe, E.H.; Perreault, L.E. - ÞMedical Informatics: Computer Applications in Health Careþ, Addison Wesley, 1990. Sabbatini, R.M.E. - ÞInformática em Medicinaþ, São Paulo: São Paulo, Editora McGraw Hill, 1992. Javitt, J. ÞComputers in Medicine. Applications and Possibilitiesþ. Saunders, 1986. Kember, F. - ÞAplicação do Computador em Medicinaþ, Rio de Janeiro, Editora Campus, 1983. Norris, F. et al. - ÞO Microcomputador na Prática Clínicaþ, São Paulo: Editora Rocca, SP. IA750 Engenharia de Reabilitação T:45 E:0 L:15 S:0 I:120 C:12 P:3 Ementa: Locomoção normal e patológica. Análise da marcha humana. Eletromiografia. Biomecânica. Dispositivos ortóticos e protéticos. Estimulação elétrica neuromuscular. Geração e controle de sinais. Aplicações clínicas. Modelamento e controle dos sistemas neuro-muscular e músculo-esquelético. Bibliografia: Artificial Organs, ÞJournal of the International Society for Artificial Organsþ, Blackwell Sci., Inc., Boston, EUA. ÞIEEE Transactions on Biomedical Engineering, EUAþ. ÞIEEE Transactions on Rehabilitation Engineeringþ, EUA. IA751 Instrumentação Biomédica Avançada T:45 E:0 L:15 S:0 I:120 C:12 P:3 FEEC Ementa: Sistemas de imagem para uso em medicina (raio-x, medicina nuclear, ultra-sonografia, tomografia, RMN). Equipamentos de radioterapia. Bibliografia: Webster, J.G. (ed), ÞMedical Instrumentation: Applications and Designþ, 3rd ed., Houghton Mifflin Co., 1998. Webb, S. (ed), ÞThe Physics of Medical Imagingþ, Adam Hilger, Bristol, 1988. IA810 Otimização de Sistemas de Grande Porte T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Dualidade e decomposição em programação matemática. Métodos de decomposição. Coordenação de modelos estáticos: viável, inviável e misto. Programas matemáticos lineares e não lineares de grande dimensão. Decomposição e relaxação em programação linear. Bibliografia: Lasdon, L. S., ÞOptimization Theory for Large Systemsþ, Mc-Millan, 1970. IA841 Introdução à Modelagem de Sólidos T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Esquemas de Representação: Instanciação, CSG, Representação por bordo e Enumeração espacial. Noções elementares de Geometria Afim e Geometria Diferencial. Representações de curvas e superfícies por Heormite, Bézier e B-Spline. Bibliografia: Gerald Farin, ÞCurves and Surfaces for Computer Aided Geometric Design: A Practical Guideþ, Academic Press Inc. D. F., 1990; Rogers, J. A. Adams, ÞMathematical Elements for Computer Graphicsþ, McGrawHill, 1990; M. Mortenson, ÞGeometric Modelingþ, John Wiley & Sons, 1985. IA842 Animação por Computador T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Animação sem auxílio computacional. Introdução do computador no apoio à animação. Modelos para definição de animação. Cinemática e dinâmica. Estudo de Casos. Bibliografia: N. Magnenat-Thalmann, D. Thalmann, ÞComputer Animation: Theory and Practiceþ, Springer-Verlag, 1985, ISBN 3-540-70005-6. R. Barzel, ÞPhysically - Based Modeling for Computer Graphicsþ, Academic Press, 1992, ISBN 0-12-079880-8. Artigo da literatura. IA843 Engenharia de Software II T:30 E:30 L:0 S:0 I:120 C:12 P:3 Ementa: Análise e projeto orientado a objetos: princípios e metodologia. Análise e projeto de sistemas tempo real: análise para sistemas tempo real, metodologias de projeto. Codificação de linguagens de programação: características e fundamentos de uma linguagem, classes de linguagens, codificação, eficiência. Qualidade do software: fatores de qualidade, revisões, técnicas formais, métricas de qualidade, confiabilidade. Técnicas e estratégias de teste: fundamentos, teste de unidade, de integração, de validação e do sistema, depuração. Manutenção de software: características, tarefas, efeitos colaterais, gerenciamento de configuração. Bibliografia: Pressman, R.S., ÞSoftware Engineering: A Practitioner's Approachþ, 3rd Ed., McGraw Hill, 1992. IA844 Redes e Sistemas Abertos de Comunicação T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Revisão de Redes de Computadores: Modelo OSI e Arquitetura TCP/IP. Redes de Faixa Larga: Frame Relay, DQDB e ATM. Introdução ao Processamento Distribuído Aberto. Esforços de Padronização. O modelo ISO/ODP. A Arquitetura OMG/OMA (CORBA). A Arquitetura TINA-C. Evolução dos padrões TCP/IP. Bibliografia: Documentação ISO/CCITT de Padronização de protocolos. Notas de aula e artigos. IA845 Especificação e Validação Sistemas Abertos Distribuídos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Sistemas distribuídos e protocolos de comunicação. Especificação e validação de sistemas distribuídos. Autômatos e autômatos estendidos. Análise de alcançabilidade. Redes de Petri. Linguagens de programação. Provas de programas. Álgebras de processos. Tipos abstratos de dados. Lógica temporal. Bibliografia: G.V. Bochmann, ÞDistributed Systems Designþ, Springer-Verlag. 1983. J.E. Hopcroft, J.D. Ullman, ÞIntroduction to Automata Theory, Languages and 21 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Computationþ, Addison Wesley, 1979. R. Milner, ÞCommunication and Concurrencyþ, Prentice Hall, 1989. H. Ehrig, B. Mahr, ÞFundamentals of Algebraic Specification 1þ, Springer-Verlag, 1985. F. Kroger, ÞTemporal Logics for Programsþ, Springer-Verlag. IA847 Projetos em Sistemas Abertos Distribuídos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Realização de projetos sobre temas abordados nos cursos redes e sistemas abertos de comunicação, especificação e validação de sistemas abertos distribuídos, e sistemas de tempo-real. Bibliografia: Documentação ISO/CCITT, artigos. IA850 Introdução à Lógica e Aplicações à Engenharia T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Lógica elementar. Sistemas formais. Cálculo proposicional. Cálculo de predicados de primeira ordem. Correção e completude. Lógica modal. Lógica temporal. Aplicação à modelagem de sistemas em engenharia. Bibliografia: B. Mates, ÞElementary Logicþ; Hughes and Cresswell ÞIntroduction to Modal Logicþ; F.Kroger, ÞTemporal Logic for Programsþ IA851 Modelagem e Controle de Sistemas a Eventos Discretos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Sistemas e modelos de sistemas. Modelos dinâmicos para sistemas a eventos discretos. Linguagens e automata. Teoria de controle supervisório. Redes de Petri. Álgebra de dióides e modelos lineares para sistemas de modelos de filas. Análise de perturbações. Bibliografia: C. Green ÞMin-Max Algebraþ; C. Cassandras, ÞDiscrete event Systemsþ; Cohen et al ÞSynchronization and Linearityþ; Y.C.Ho e X.R. Cao ÞPertubation Analysis of Discrete Event Dynamic Systemþ; artigos diversos. IA854 Técnicas de Controle por Alocação de Pólos T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Realimentação de estado e observadores. Problema de regulador. Introdução do sinal de referência. Alocação de pólos e zeros através de modelos entrada/saída. Robustez da estabilidade do sistema em malha fechada. Bibliografia: G. Franklin, J. Powell, A. Emani-Naeimi, ÞFeedback Control of Dynamic Systemsþ, Addison Wesley, 1986. K. Astrom. B. Wittenmark, ÞComputer Controlled Systemsþ, Prentice Hall, 1984. IA856 Identificação e Filtragem T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Modelos tipo entrada/saída e de estado. Estimador de máxima verossimilhança. Estimador de Bayes. Estimador de mínimos quadrados. Filtro de Kalman. Identificação de sistemas variantes no tempo. Métodos de validação de modelos. Identificação de sistemas multivariáveis. Bibliografia: L. Ljung and T. Soderstron, ÞTheory and Practice of Recursive Identificationþ, MIT Press, 1983. L. Ljung, ÞSystem Identification: Theory for the Userþ, Prentice Hall, 1987. B.O. Anderson, J.B. More, ÞOptimal Filteringþ, Prentice Hall, 1979. K.J. Astron, ÞIntroduction to Stochastic Control Theoryþ, 1970. R.H. Middleton, G.C. Goodwin, ÞDigital Control and Estimationþ, Prentice Hall, 1990. G.C. Goodwin, R.L. Pagne, ÞDynamic System Identification: Experimental Design and Data Analysisþ. G.C. Goodwin and K.S. Sin, ÞAdaptive Filtering Prediction and Controlþ, Prentice Hall. 1984. IA857 Controle Adaptativo T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Técnicas de controle de variância mínima e variância mínima generalizada. Controladores preditivos. Controlador linear - quadrático - gaussiano. Controle dual. Controlador ÞOpen-loop feedbackþ. Controle Þself-tuningþ. Controle cauteloso. Bibliografia: K.J. Astrom, B. Wittenmark, ÞAdaptive Controlþ, Addison-Wesley, 1989. K.J. Astrom, ÞIntroduction to Stochastic Control Theoryþ, Addison-Wesley, 1970. K. Warwick, ÞImplementation of Self-Tuning Controllersþ, IEE. IA859 Inteligência Artificial T:60 E:0 L:0 S:0 I:120 C:12 P:3 22 Ementa: Histórico. Sistemas de produção. Métodos de busca heurística. Jogos. Lógica proposicional e lógica de predicador de 1ª ordem. Refutação e resolução. Fundamentos de PROLOG. Sistemas baseados em regras. Raciocínio probabilístico. Lógica difusa. Sistemas especialistas. Rede semântica e Þframesþ. Bibliografia: N.I. Nilsson, ÞPrinciples of Artificial Intelligenceþ, Tioga Press, 1980. Luger e Stubblefield, ÞArtificial Intelligence and the Design of Expert Systemsþ, Benjamin & Cummings, 1989. IA860 Inteligência Artificial Distribuída T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Introdução: computação distribuída, inteligência artificial distribuída. Agentes inteligentes. Sistemas multiagentes e sociedade de agentes. Comunicação, coordenação, cooperação e negociação. Resolução distribuída de problemas. Algoritmos de busca em sistemas multiagentes. Agentes racionais e aprendizagem. Modelos distribuídos de decisão. Sistemas multiagentes em logística, processamento de informação e automação. Estudos de caso e aplicações. Bibliografia: Weiss, G. ÞMultiagent Systems: A Modern Approach to Distributed Artificial Intelligenceþ, MIT Press, 1999. IA861 Sistemas Nebulosos T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Introdução. Noções básicas, conceitos e definições. Operações com conjuntos nebulosos. Relações nebulosas e seu cáculo. Números nebulosos. Variáveis lingüísticas. Sistemas baseados em regras nebulosas; representação, inferência e consistência. Lógica nebulosa e raciocínio aproximado. Teoria da possibilidade e inferência possibilística.Rough sets. Modelagem de sistemas e processos. Redes neurais nebulosas; sistemas evolutivos. Metodologia e técnicas de desenvolvimento de aplicações. Estudos de casos. Aplicações. Bibliografia: Pedrycz, W. and Gomide, F. ÞAn Introduction to Fuzzy Sets: Analysis and Designþ , MIT Press, 1998. Yager and Filev, ÞEssentials of Fuzzy Modeling and Controlþ, Wiley, 1994. IA862 Inteligência Artificial em Automação T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Introdução. Características, propriedades e requisitos de sistemas inteligentes em problemas de processamento de informação e decisão. Arquiteturas, metodologias e algoritmos de inteligência computacional em sistemas de suporte a tomada de decisão. Conceitos e abordagens de raciocínio e inferência temporal e aplicações em sistemas de tempo real. Arquiteturas e aplicações em logística, automação industrial, controle de tráfego e sistemas hídricos. Bibliografia: Turban, E and Aronson, J. ÞDecision Support Systems and Intelligent Systemsþ, Prentice-Hall, 1998; Olliff, M., ÞExpert Systems and Intelligent Manufacturingþ, NorthHolland, 1988; Artigos de periódicos indicados pelo instrutor. IA863 Sistemas de Manufatura T:30 E:0 L:30 S:0 I:120 C:12 P:3 Ementa: Introdução. Conceituação, descrição, estrutura organizacional, problemas de decisão em sistemas de manufatura. Modelagem e controle de sistemas a eventos discretos. Metodologias de projeto de sistemas de controle, otimização e técnicas de inteligência artificial. Arquiteturas híbridas de controle e aplicações a sistemas discretos de manufatura. Sistemas inteligentes de manufatura: noções e áreas de aplicação. Bibliografia: A. Villa, ÞHybrid Control Systems in Manufacturingþ, G & B Science Publ., 1992; Banks, J., Carson II, J., Nelson, B. ÞDiscrete-Event Systems Simulationþ, Prentice-Hall, 1996. IA864 Arquitetura de Computadores T:30 E:0 L:0 S:0 I:60 C:6 P:3 UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Ementa: Introdução à Arquitetura e Histórico da Computação, Estrutura de Interconexão (barramentos), Memória Interna, Memória Externa, Sub-sistema de Entrada/Saída, Suporte a Sistema Operacional, Estrutura da Unidade Central de Processamento, Processamento aritmético, Jogo de Instrução (Funções e Modos de endereçamento), RISC, Unidade de controle, Processadores Super-escalares, Introdução a Processamento Paralelo. Bibliografia: Livro Texto: Stallings, Willian, Computer Organization and Archtecture, Principles of Structure and Function, 3rd edition, Macmilliam, 1996. Livros para consulta: David A. Patterson and John L. Hennessy, Computer Organization and Design, The Hardware/Software Interface, Morgan Kaufmann Publishers, Inc. San Francisco, California, 1998. Hayes, John P., Computer Archtecture and Organization, McGraw-Hill, Second Edition, 1988. Hwang, Kai, 1993, Advanced Computer Architecture - Parallelism, Scalability, Programmability, McGraw-Hill International Edition. Hwang, Kai and Fayé A. Briggs, 1987, Computer Architecture and Parallel Processing, McGraw-Hill International Edition, 3rd printing. Stone, Harold S., 1993, High-Performance Computer Architecture, 3rd edition, Addison-Wesley Publishing Company, Inc. IA865 Introdução à Análise de Imagens e Reconhecimento de Padrões T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Fundamentos de segmentação de imagens. Representação de contornos e regiões. ÞTemplate Matchingþ. Modelos de classificação. Introdução aos métodos de análise sintática. Classificação estatística. Teoria da decisão de Bayes. Estimativa de parâmetros e aprendizagem supervisionada. Aprendizado sem supervisão. ÞClusteringþ. Bibliografia: Duda, R. and Hart, P., ÞPattern Classification and Scene Analysisþ, Wiley, 1973. Pavlidis, T., ÞStructural Pattern Recognitionþ. Rosenfeld and Kak, ÞDigital Picture Processingþ, Academic Press, 2nd Ed., 1982. IA867 Visão Robótica T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Aspectos geométricos e fotométricos da formação da imagem. Calibração de câmeras: parâmetros extrínsecos e intrínsecos. Perspectiva inversa. Estéreo visão. Localização (posição e orientação) de objetos no espaço 3D. Mapa de reflectância. Estéreo fotometria. Shape from shading. Shape from motion. Bibliografia: Horn, V.K.P., ÞRobot Visionþ, MIT Press, McGraw Hill, 1986, Sanz, J.L., ÞAdvance in Machine Visionþ, Springer, 1988. IA868 Sistemas de Tempo-Real I T:30 E:0 L:0 S:0 I:60 C:6 P:1 Ementa: Definição de sistemas de tempo real e exemplos. Software para sistemas de tempo real: programação concorrente: comunicação e sincronização entre processos. Comparação: possibilidade de concorrência usando linguagens de programação (Ada, Occam2, Java) ou sistemas operacionais (Posix e C). Gerenciamento do tempo de resposta: a questão do relógio, gerenciador cíclico, escalonamento estático e dinâmico de processos. Estratégias para atingir as metas de confiabilidade: conceitos básicos sobre tolerância e faltas, redundância estática e dinâmica de software. Introdução a sistemas distribuídos de tempo real. Bibliografia: A. Burns, A. Wellings, Real-Time Systems and Programming Languages, Addison-Wesley Longman Limited, 2nd edition, 1997; K. G. Shin, P. Ramanathan, ÞReal-Time Computing: A New Discipline of Computer Science and Engineeringþ, in Proceedings of the IEEE, Jan. 1994, vol. 82, no. 1, pp-6-24.; J. Tsai, Y. Bi, S. Yang, R. Smith, ÞDistributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysisþ, John Wiley & Sons, Inc., 1996 IA869 Sistemas de Tempo-Real II T:30 E:0 L:0 S:0 I:60 C:6 P:2 Ementa: Sistemas distribuídos de tempo real: conceitos e exemplos. A questão da linguagem de programação: transparência da distribuição versus possibilidade de configuração pela aplicação. Exemplos de linguagens e modelos de distribuição. Algoritmos em sistemas distribuídos: ordenação de eventos, implementação de tempo global, implementação de memória estável, tomada de decisões (algoritmo dos ge- FEEC nerais bizantinos), gerenciamento de recursos (detecção de deadlock), consistência de dados (transações atômicas). Escalonamento em sistemas distribuídos. Rede de interconexão. Bibliografia: Zedan, H. S. M., ed., Distribuited Systems Theory and Practice. Butterworth Scientific, 1989. A. Burns, A. Wellings, Real-Time Systems and Programming Languages, Addison-Wesley Longman Limited, 2nd edition, 1997. IA870 Análise de Imagens por Morfologia Matemática T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução à morfologia matemática. operadores elementares; dilatações e erosões. Função distância, distância geodésica; filtros morfológicos. Aberturas e fechamentos. filtros alternantes seqüenciais. Sub-geradores, afinamento e homotopia. Reconstrução algoritmo de ÞLinhas Divisoras de Águaþ. Exemplo de segmentação de imagens usando morfologia matemática. Bibliografia: Salembier e Serra, ÞCurso de Morfologia Matemáticaþ. Apostila. Dougherty, ÞIntroduction to Morphological Image Processingþ, SPIE, 1992. Barrera, Banon, Lotufo, ÞMathematical Morphology Toolbox for the Khoros Systemsþ. SPIE Conference on Image Algebra and Morphological Image Processing, San Diego, 1994. IA871 Seminários em Sistemas Digitais T:30 E:0 L:0 S:0 I:60 C:6 P:3 IA872 Análise e Projeto de Sinais Digitais Tolerantes a Falhas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Objetivos de projeto de sistemas tolerantes a falhas, definições básicas. Técnicas de projeto de sistemas tolerantes a falhas. Técnicas de avaliação, considerações sobre sistemas distribuídos. Bibliografia: Johnson, B.W., ÞDesign and Analysis of Fault Tolerant Digital Systemsþ, Addison-Wesley Publishing Company; Publicações em revistas especializadas. IA873 Síntese de Circuitos Digitais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Desenvolvimento de projeto de circuitos digitais. Aspectos teóricos sobre síntese de circuitos digitais. Bibliografia: Srinivas Devadas, Abhijit Ghost, and Kurt Keutzer, ÞLogic Synthesisþ, McGraw Hill, 1994. James J. Licari, ÞMultichip Module Design, Fabrication and Testingþ, McGraw Hill, 1994. Manuais de Ferramentas de Síntese Disponíveis no Laboratório. Publicações em revistas especializadas. IA874 Ferramentas de Apoio a Projetos Digitais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Curso de laboratório com desenvolvimento de pequenos projetos digitais que destaquem aspectos específicos de simulação. Antes da cada atividade prática os aspectos teóricos de simulação digital serão apresentados aos alunos. Bibliografia: Manuais de Ferramentas Disponíveis no Laboratório. Publicações em periódicos especializados. IA875 Sistemas Paralelos em Processamento de Informação T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Dados em sistemas computacionais: organização, representação, estruturas. Mecanismos de persistência: arquivos, documentos semi-estruturados, bancos de dados. Aspectos de processamento:varreduras e algorítmos de busca. Impactos de distribuição e paralelismo. Aplicações. Bibliografia: Texto oferecido pelo professor e artigos disponíveis na literatura. IA876 Arquiteturas Paralelas T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Modelos de computação paralela; métricas de desempenho; multiprocessadores: redes de interconexão, coerência, sincronização; multicomputadores: interconexão, mecanismos de troca de mensagens; arquiteturas alternativas; modelos de programação paralela. Bibliografia: Kai Hwang, Advance Computer Architecture, McGraw Hill International Editions, 1993. Publicações em revistas especializadas. 23 FEEC IA878 UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Modelamento de Séries Temporais no Espaço de Estado T:30 E:0 L:0 S:0 I:60 C:6 P:3 Pré-Req.: AA200 IA536 Ementa: Processos geradores de dados. Séries temporais. Processos estocásticos. Sistemas lineares e processos estocásticos estacionários. Modelos no espaço de estado. Realização Markoviana. Propriedades de modelos no espaço de estados. Matrizes de covariância e resposta ao impulso. Matriz de Hankel e decomposição em valores singulares. Gramianos. Realizações balanceadas. Decomposição em valores singulares no domínio Z. Filtro de Kalman. Modelos de inovação. Equações de Ricatti e de Liapunov. Modelamento estrutural. Vetores de estado e medidas de otimalidade. Estimação das matrizes do sistema. Análise de erros. Aplicações em engenharia, economia e ecologia. Bibliografia: Aoki, M., State Space Modeling of Time Series, 2nd. ed., Springer-Verlag, 1990. Harvey, A.C., Forecasting Structural Time Series Models and the Kalman Filter, Cambridge University Press, 1989. Hannan, E.J., Deistler, M., The Statistical Theory of Linear Systems, Wiley, 1988. IA879 Metodologia de Projeto em Engenharia Biomédica T:30 E:0 L:15 S:0 I:135 C:12 P:3 Ementa: Os alunos serão orientados sobre a metodologia científica. Revisão bibliográfica. Projeto. Análise dos dados. Técnicas estatísticas de análise. Apresentação dos resultados. Discussão adequada e documentada dos resultados. Bibliografia: Steel, G.D.R. & Torrie, J.H., ÞPrinciples and Procedures of Statistics. A Biomedical Approachþ, 2nd ed., McGraw Hill Book Company, Singapore, 1986. IA880 Estudo Quantitativo do Sistema NeuroMuscular T:45 E:0 L:15 S:0 I:120 C:12 P:3 Ementa: Anatomia e fisiologia do músculo esquelético. Ultraestrutura do músculo. Contração muscular. Unidades motoras. Controle neural dos movimentos. Controles periféricos e central. Modelos matemáticos de circuitos neurais. Bibliografia: Patton, H.D.; Fuchs, A.; Hille, B.; Scher, A.; Steimer, R. (eds.), ÞTexbook of Physiology Excitable Cells and Neurophysiologyþ, W.B.V. Saunders Co., 21ª ed., vols. I e II, 1989. ISBN: 0-7216-1990-8. Wolfw, S.L.(ed.), ÞMolecular and Celular Biologyþ, Wadsworth Pub. Co., Belmont, California, 1993. ISBN: 0-534-12408-9. Leibovic, K.N., ÞNervous System Theory: An Introductory Studyþ, Academic Press, USA, 1972. ISBN: 0-12-441250-3. IA881 Otimização Linear T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Algoritmo simplex. Método de duas fases. Simplex revisado. Simplex canalizado. Dualidade. Algoritmo dual simplex. Análise de sensibilidade. Algoritmos de pontos interiores. Problemas de fluxo em rede via simplex. Bibliografia: Bazaraa, M.S.; Jarvis, J.J.; Sherali, H.D., ÞLinear Programming and Network Flowsþ, 2nd edition, John Wiley, 1990. Sakarovitch, M., ÞLinear Programmingþ, SpringerVerlag, 1983. IA882 Métodos Heurísticos para Otimização Combinatória T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Generalidades sobre heurísticas. Avaliação de heurísticas: comportamento médio, análise de pior caso, análise probabilística. Heurísticas de construção. Heurísticas de melhoria. Heurísticas com relaxação. Metaheurísticas: Busca Tabu, Simulated Annealing, Algoritmos Genéticos. Outras Metaheurísticas. Bibliografia: Reeves, C.R., ÞModern Heuristic Techniques for Combinatorial Problemsþ, Blackwell, 1993. Michalewicz, Z., ÞGenetic Algorithms + Data Structures = Evolution Programsþ, Springer-Verlag, 1992. IA883 Tópicos em Otimização de Sistemas T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE001 Tese de Mestrado T:0 E:0 L:0 S:0 I:0 C:72 P:3 IE002 Tese de Doutorado T:0 E:0 L:0 S:0 I:0 C:144 P:3 IE007 Enlaces Ópticos T:60 E:0 L:0 S:0 I:120 C:12 P:3 24 Ementa: Fibras ópticas: mecanismos de propagação do sinal. Fontes ópticas: comportamento dinâmico e espectral. Fotodetectores: ruído balístico (Þshotþ) e de multiplicação. Desempenho de receptores elétricos: limite quântico, sensitividade, análise de penalidades, limitações por ruído térmico em receptores simples, otimização de Personick, receptores a APD. Desempenho do enlace óptico: evolução tecnológica, limitações por perdas e poe dispersão, por partição modal em lasers Fabry-Perot e por gorjeio em lasers monomodo. Códigos de linha. Enlaces analógicos> CATV, SCM, intermodulação, requisitos sobre lasers. Pré-amplificação óptica: emissão espontânea amplificada (ASE), ruídos de batimento, desempenho. Enlaces opticamente amplificados: cascateamento de amplificadores, modelo de Olsson. Enlaces WDM: não-linearidades, gargalo de comprimentos de onda, problemas sistêmicos. Ambientes PDH, SDH e de conexão em rede (Þoptical networkingþ). Alternativas futuras para o enlace óptico: detecção coerente, solitons. Bibliografia: G. P. Agrawal, Fiber-Optic Communication Systems, 2nd. Ed., John Wiley, 1997. R. Ramaswami e K. N. Sivarajan, Optical Networks: a Practical Perspective, Morgan Kauffmann, 1998. IE008 Redes Ópticas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Redes ópticas de primeira geração: SONET/SDH, FDDI, ATM, IP. Modelo de camadas hierárquicas. Redes WDM sem roteamento de comprimento de onda: topologias físicas, arquiteturas single-hop e multihop, requisitos tecnológicos, sincronização e desempenho. Redes com roteamento de comprimento de onda: arquiteturas de nó, redes de caminhos ópticos, modelos de tráfego offline e online, modelos de atendimento com e sem bloqueio, ganhos de conversão de comprimento de onda. Anéis de ADM's ópticos, Níveis de transparência. Minimização de equipamentos via encaminhamento do tráfego (Þgroomingþ). Monitoramento, controle, gerenciamento, proteção e restauração na camada óptica. Comutação de pacotes ópticos, camadas eletrônicas focadas em WDM. Bibliografia: R. Ramaswami e K. N. Sivarajan, Optical Networks: a Practical Perspective, Morgan Kauffmann, 2nd. 2002 IE009 Processamento Adaptativo de Sinais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução, Fundamentos de Filtragem Adaptativa, Filtragem de Wiener, Métodos de Otimização de Newton e do Gradiente, Algoritmos Tipo LMS, Método dos Mínimos Quadrados, Algoritmos de Mínimos Quadrados Recursivos (RLS), Algoritmos RLS em Treliça, Algoritmos Q-R, Filtros Adaptativos IIR, Estruturas Alternativas, Equalização Adaptativa, Antenas Adaptativas, Predição Adaptativa. Bibliografia: Diniz, P. S. R. Adaptive Filtering: Algorithms and Practical Implementation, Kluwer Academic, 1997; Haykin, S.: Adaptative Filter Theory, Prentice hall; Bellanger, M. G. : Adaptative Digital Filters and Signal Analysis, M. Dekker, 2001. IE010 Projeto de Circuitos Integrados Analógicos Laboratório T:0 E:0 L:30 S:0 I:60 C:6 P:3 Ementa: Treinamento em ferramentas computacionais dedicadas ao projeto de CI's. Exercícios de dimensionamento, seguindo uma metodologia pré-estabelecida, de circuitos integrados analógicos. Projeto completo de um circuito integrado analógico: da especificação até a geração de máscaras. Bibliografia: Muller, R.S. and Kamins, T.L. ÞDevice Electronics for Integrated Circuitsþ, Wiley, New York, 1977; Grebene, A.B. ÞBipolar and MOS Analog Integrated Circuit Designþ, Wiley, New York, 1984; Gray, P.R. and Meyer, R.G. ÞAnalysis and Design of Analog Integrated Circuitsþ, Wiley, New York, 1984; Gregorian, R. and Temes, G.C. ÞAnalog MOS Integrated Circuits for Signal Processingþ, Wiley, New York, 1986; Allen, P.A. and Holberg, D.R. ÞCMOS Analog Circuit Designþ, Holt, Rinehart and Winston, New York, 1987; Sedra, A.S. and Smith, K.C. ÞMicroelectronic Circuitsþ, Oxford, New York, 1991; Davidse, J. ÞAnalog electronic Circuit Designþ, Prentice Hall, New York, 1991; Tsividis, T. ÞOperation and Modeling of the MOS Transistorþ, McGraw Hill,New York, 1987; Apostilas de aula. UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 IE011 Projeto de Circuitos Integrados Analógicos Teoria T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Características dos dispositivos disponíveis na tecnologia CMOS standard. Células básicas para condicionamento de sinais. Espelhos de corrente. Circuitos translineares. Arquitetura dos amplificadores operacionais. Transcondutores MOS. Referências de tensão. Sensores inteligentes. Chaves analógicas MOS. Técnicas de capacitor chaveado e de corrente chaveada. Etapas de fabricação da tecnologia CMOS standard e interface projetista-foudry. Bibliografia: Muller, R.S. and Kamins, T.L. ÞDevice Electronics for Integrated Circuitsþ, Wiley, New York, 1977; Grebene, A.B. ÞBipolar and MOS Analog Integrated Circuit Designþ, Wiley, New York, 1984; Gray, P.R. and Meyer, R.G. ÞAnalysis and Design of Analog Integrated Circuitsþ, Wiley, New York, 1984; Gregorian, R. and Temes, G.C. ÞAnalog MOS Integrated Circuits for Signal Processingþ, Wiley, New York, 1986; Allen, P.A. and Holberg, D.R. ÞCMOS Analog Circuit Designþ, Holt, Rinehart and Winston, New York, 1987; Sedra, A.S. and Smith, K.C. ÞMicroelectronic Circuitsþ, Oxford, New York, 1991; Davidse, J. ÞAnalog electronic Circuit Designþ, Prentice Hall, New York, 1991; Tsividis, T. ÞOperation and Modeling of the MOS Transistorþ, McGraw Hill,New York, 1987; Apostilas de aula. IE300 Tópicos em Comunicações I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE301 Tópicos em Comunicações II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE306 Tópicos em Comunicações III T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE307 Tópicos em Comunicações IV T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE308 Tópicos em Comunicações V T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE309 Tópicos em Comunicações VI T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE310 Tópicos em Microondas I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE311 Tópicos em Microondas II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE320 Tópicos em Eletrônica I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE321 Tópicos em Eletrônica II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE325 Tópicos Especiais em Microeletrônica I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE326 Tópicos Especiais em Microeletrônica II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE327 Tópicos Especiais em Microeletrônica III T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE330 Tópicos em Telemática I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE331 Tópicos em Telemática II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IE332 Tópicos em Telemática III T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE333 Tópicos em Telemática IV T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE342 Tópicos em Comunicações I T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE343 Tópicos em Comunicações II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE344 Tópicos em Comunicações III T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE345 Tópicos em Comunicações IV T:60 E:0 L:0 S:0 I:120 C:12 P:3 IE346 Dispositivos e Circuitos Integrados em GaAs T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução e propriedades de GaAs; Física e modelos de transistores MESFET, HEMT, HBT; Conceitos de FEEC projetos de CIs digitais; Análise de portas lógicas; Conceitos de projeto de MMICs. Bibliografia: 1º ÞGaAs Devices and Circuitsþ; M. Shur, Plenum Press, 1986; 2º ÞHEMT and HBTs: Devices, Fabrication and Circuitsþ Ed. F. Ali and A. Gupta; Artech House, 1991; 3º ÞGallium Arsenide Digital Integrated Circuit Designþ, S.I. Long e S.E. Butner, McGraw Hill, 1990. IE347 Processos de Fabricação de CIs em GaAs T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução e propriedades de GaAs; obtenção de lâminas de GaAs; crescimento epitaxial; difusão de impurezas; implantação iônica; fotolitografia; limpeza; decapagem úmida; conceitos sobre plasma; decapagem por plasma; deposição de filmes finos isolantes e condutores; isolação entre dispositivos; contatos ôhmicos; metalização de contatos Schottky; interconexões. Bibliografia: 1º ÞModern GaAs Processing Methodsþ, by R. Williams, Artech House, 1990 ; 2º ÞGalium Arsenide Technologyþ, by D.K. Ferry, Howard W. Sams & Com., Inc, 1985; 3º ÞGallium Arsenide Technology þVol.II, by D.K. Ferry, Howard W. Sams & Co., Ins, 1992. IE348 Fundamentos de Processamento de Sinais Bidimensionais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Sinais e sistemas bidimensionais; teoria de matrizes, campos e espectros bidimensionais; transformada de fourier bidimensional e suas propriedades; transformada - Z bidimensional e equações diferenças lineares com coeficientes constantes; transformada discreta de Fourier bidimensional e suas propriedades; especificação, análise e projeto de filtros bidimensionais; estimação espectral de sinais bidimensionais; aplicações de processamento digital de sinais bidimensionais. Bibliografia: Dudgeon & Mersereau - ÞMutidimensional Digital Signal Processingþ, Prentice-Hall, 1984; Wahl, F.M. - ÞDigital Image Signal Processingþ, Artech-House, 1987; Oppenheim & Schafer - ÞDigital Signal Processingþ, Prentice-Hall, 1975; Gonzales & Woods - ÞDigital Image Processingþ, Addison Wesley, 1992; Lim, J.M. - ÞTwo-Dimensional Signal and Image Processingþ, Prentice-Hall, 1990; Jain, A.K. - ÞFundamentals of Digital Image Processingþ, Prentice-Hall, 1989. IE400 Computação Fotônica T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução à computação fotônica. Necessidade do processamento rápido de sinais de 2 e 3 dimensões. Conceitos de processamento paralelo e cúbico. Estruturas tipo neurônio. Memórias associativas. A natureza do fóton. O efeito laser. Lasers de poço quântico. Fotosensores. ChargeCoupled Devices. Liquid-Light-Crystal-Valves. Moduladores ópticos espaciais. Hologramas de transformada de Fourier para memória associativa. Máquinas de Boltzmann. Lógica binária com filtragem espacial. Substituição simbólica com filtros de interferência. Computadores fotônicos analógicos. Circuitos fotônicos digitais. Processadores fotônicos digitais neurais. Bibliografia: Publicações em revistas especializadas (Intl. J. of Optoelectronics, Optical Computing & Processing, J. of Modern Optics, etc.). IE410 Dispositivos de Alta Frequência T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Ruído em componentes e sistemas. Diodos ativos tipo Gunn, Impatt, Baritt e túnel. Transistores bipolares e FET. Diodos passivos tipo varicap, pin e barreira Schottky. Aplicações dos dispositivos em radar, amplificadores, osciladores, misturadores, detectores, limitadores, defasadores e outros. Válvulas de microonda. Bibliografia: Davis W.A., ÞMicrowave Semiconductor Circuit Designþ, Van Nostrand Reinhold Co., 1984. IE509 Processos Estocásticos para Engenharia T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: PARTE I. Probabilidade: experimentos, espaço amostral. Eventos, conjuntos, álgebras e σ-álgebras. Definição axiomática e freqüencial de probabilidade. Probabilidade condicional e independência. Variável aleatória e função de distribuição. Classificação e função de variável aleatória. Distribuição conjunta e função de variável aleatória. Esperança matemática e momento. esperança condicional. Função característica e geração de momentos. Teorema do limite central. Lei dos grandes números. PARTE II. Processos 25 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Markovianos e filas: Processo de Poisson. Processos aleatórios e propriedade de Markov. Cadeia de Markov discreta. Cadeia de Markov à tempo contínuo. Sistemas de filas. Notação de Kendall, cadeia de Markov, processo de nascimento e morte, propriedades de chegadas poissonianas. Filas M/M/1. Solução geral de equilíbrio. Teorema de Little. Filas com vários servidores. Filas com capacidade de armazenamento finito. Filas Markovianas. Métodos de estágios. Filas M/E - r/1 e E - r/M/1, estágios série-paralelos. Sistemas com chegadas em lotes. PARTE III. Correlação e covariância. Estimação linear e ortogonalidade. Distribuição Gaussiana multivariada. Processos estacionários e ergódicos. Densidade espectral e autocorrelação. Sinal telegráfico e ruídos. Filtros lineares à tempo contínuo. Filtros lineares discretos. Transmissão digital e teorema de Bennett. Filtro casado e detecção de sinal. Filtro de Wiener e extração de sinais. Estimação de erro quadrático mínimo. Bibliografia: Parte I: A.B. Clarke e R.L. Disney; ÞProbability and Random Processes: A First Course with Applicationsþ, John Wiley, 1985. PARTE II: D. Gross, C.M. Harris; ÞFundamentals of Queueing Theoryþ, John Wiley & Sons, 1974. S.M. Ross; ÞIntroduction to Probability Modelsþ, Academic Press, 1985, 3ª Ed. PARTE III: A. Papoulis; ÞProbability, Random Variables and Stochastic Processesþ, McGraw Hill, 1991 (3ª Ed.). IE511 Teoria das Ondas Guiadas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Conceitos e teoremas fundamentais da teoria eletromagnética. Funções de Green e diáticas. Métodos variacionais e perturbativos. Guias de ondas fechados: propriedades gerais, expansão modal, guias retangulares e circulares, homogêneos e inomogêneos, excitação. Guias de onda abertos, espectro modal, Guias retangulares e cilíndricos semiabertos, guias planares. Modos complexos e de fuga. Análise de descontinuidades. Estruturas periódicas. Métodos assintóticos e técnica WKB. Ondas de superfície. Dispersão e difração. Bibliografia: Collin, R.E., ÞField Theory of Guided Wavesþ, IEEE Press, 1991. Tyras, G., ÞRadiation and Propagation of Electromagnetic Wavesþ, Academic Press, 1969. Balanis, C.A., ÞAdvanced Engineering Electromagneticsþ, John Wiley & Sons, 1989. Jackson, J.D., ÞElectrodynamicsþ, John Wiley & Sons, 1975. ÞArtigos em revistas técnicas especializadasþ. IE512 Ferritas e Aplicações em Microondas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Propagação de ondas eletromagnéticas em ferritas. Ondas de Spin e ondas magnetostáticas. Propagação em guias cilíndricos e retangulares com ferritas. Circulador de junção, Filtro sintonizável usando YIG. Chaveamento com ferritas. Teorias de onda acoplada e não linear. Bibliografia: Helzjan, J. ÞPrinciples of Microware Ferrite Engineeringþ, Wiley, 1969. Revistas, periódicos e publicações recentes na área. IE513 Teoria de Antenas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Parâmetros de antenas. Antenas longas, de abertura, de fenda e Þarraysþ de antenas. Antenas refletoras e de onda progressiva. Lentes em antenas. Bibliografia: Balanis, C.A., ÞAntenna Theory: Analysis and Designþ, Harper and Row, 1982. IE514 Circuitos Integrados em Microondas T:45 E:0 L:30 S:0 I:105 C:12 P:3 Ementa: Linhas de fita e microfita. Impedâncias características de linhas simples e acopladas. Curvas, tocos e transformadores. Acopladores híbridos, divisores de potência e acopladores direcionais. Filtros. Aplicações práticas. Tópicos gerais. Bibliografia: Howe Jr., H. ÞStripline Circuit Designþ, Artech House, 1974. IE515 Teoria Eletromagnética Avançada I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução das funções de Green. Funções de Green para equações de onda escalar. Funções diádicas de Green. Aplicações em propagação sobre terra plana e de ondas na presença de esferas, cilindros e cones metálicos. Cunhas e semiplanos condutores. Meios não homogêneos. Bibliografia: Chen-to Tai; ÞDyadic Green Functions in Electromagnetic Theoryþ, Second Edition, IEEE Press, 1993. 26 IE521 Tecnologia de Circuitos Integrados T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Microcircuitos dedicados, semidedicados e de uso geral. Tecnologias bipolar, versões NMOS e CMOS. Modelamento dos processos de epitaxia, oxidação, difusão, processos com plasma, implantação de íons, fotolitografia, geração de máscaras. Controle e otimização. Testes e avaliação de controle e otimização. Testes e avaliação de confiabilidade. Bibliografia: ÞIntegrated Circuit Engineering design, fabrication and applicationsþ, Arthur B. Glaser, Gerald E. Subak - Sharpe Addison Wesley Publishing Co., 1977 IE523 Física de Dispositivos Semicondutores I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução à mecânica quântica e funções de distribuição. Teoria das bandas. Barreiras. Condutividade. Efeito Hall. Níveis de impurezas. Tempo de vida. Efeitos cinéticos e de superfície. Contatos metálicos. Contatos metalsemicondutor. Diodos Zener. Diodos túnel. Homo e heterojunções. Dispositivos fotovoltaicos. Efeitos térmicos e magnéticos em semicondutores. Bibliografia: Shalimova CV. - ÞFísica dos Semicondutoresþ, Mir, 1970. Sze S.M. - ÞPhysics of Semiconductorþ - John Wiley & Sons. IE524 Física de Dispositivos Semicondutores II T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Capacitores MOS. Transistores MOS, V-MOS, UMOS, MESFET, J-FET, bipolares, CCD's. Estudos dos defeitos oriundos e causados pelos processos de fabricação. Bibliografia: Shalimova, C.V. - ÞFísica dos Semicondutoresþ, Mir, 1970; Sze, S.M. - ÞPhysics of Semiconductorþ - John Wiley & Sons. IE526 Células Solares I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: A radiação solar. Propriedades dos semicondutores. Dopantes dos Grupos III e V. Efeitos de outros tipos de impurezas. Geração, recombinação e as equações básicas da física dos dispositivos. Interação da luz com semicondutores. Diodos de junção. Parâmetros de desempenho de células solares. Limites de eficiência, perdas e caracterização. Efeito da temperatura. Tecnologia de células solares de silício. Da areia ao silício mono e policristalino. Da célula ao módulo. Balanço energético. Tecnologia avançada. Projeto de células solares. Ética para uma era solar. Seminários sobre a pesquisa de fronteira. Bibliografia: ÞCélula Solar Simplificadaþ - Tese de Doutorado, Anne Corinna, LED/FEE/UNICAMP - 1987 - Introdução, Graduação. ÞSolar Cells - Operating Principles, Technology and System Applicationsþ Martin A Green, Prentice Hall, 1982 - Texto base. ÞAmorphous Silicon Solar Cellsþ, K. Takahashi e M. Konagai, North Oxford Academic - 1986- extensão. IE527 Células Solares II T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Potencial solar. Técnicas de redução de custo. Estruturas diversificadas. Materiais semicondutores diversificados. Células solares para radiação concentrada. Sistemas de concentradores. Sistemas fotovoltaicos, componentes e aplicações. Projeto de sistemas isolados para iluminação, irrigação e veículos solares. Fundamentos das células solares de silício amorfo. O silício semicristalino brasileiro. As indústrias. Seminários sobre a fronteira de pesquisa. Bibliografia: Þ Amorphous Silicon Solar Cells, K. Takahashi e M. Konagai, North Oxford Academic, 1986 - extensão. ÞSolar Cellsþ - Operating Principles, technology and System Aplicationsþ, Martin A Green, Prentice Hall, 1982 - Texto base. ÞSolares Stromversorgung: für Geräte, Fahrzeuge und Häuserþ, Heinz Ladener, Okobuch Verlag, Freiburg (Breisgau) - 1986 - Extensão. IE533 Introdução às Comunicações Digitais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Sinais e sistemas, análise espectral, detecção de sinais. Modulação com e sem memória, demodulação coerente e não-coerente. Modulações PAM, PSK, QAM, FSK, CPM. Interferência intersimbólica, critério de Nyquist, equalização linear, algoritmo de Viterbi, receptores de máxima verossimilhança. Sincronização, recuperação da portadora e do relógio. Introdução à modulação codificada. Técnicas de acesso múltiplo, TDMA, FDMA, CDMA. UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Bibliografia: E. A. Lee, D.G. Messerschmitt. Digital Communication, 2ª Ed., Kluwer, 1994. J. G. Proakis, Digital Communications, 3ª Ed., McGraw Hill, 1995. S. Benedetto, E. Biglieri e V. Castellani, Digital Transmission Theory, PrenticeHall, 1987. IE541 Tratamento Digital de Sinais de Voz T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IE550 Ementa: Modelagem da produção de sinais de fala, fonética acústica. Codificação de sinais de fala, codificadores: ADPCM, em sub-bandas, LPC, multi-pulsos, CELP, VSELP e ACELP. Reconhecimento de sinais de fala: parametrização do sinal, DTW, modelos ocultos de Markov e redes neurais. Síntese da fala : sintetizador por regras, sintetizador concatenativo e sintetizador de formantes. Bibliografia: ÞDigital Coding of Waveforms, Principles and Applications to Speech and Videoþ, N. S. Jayant e P. Noll, Prentice Hall, 1984, ÞFundamentals of Speech Recognitionþ, L. Rabiner e B. H. Juany, Prentice Hall, 1993; ÞAn Introduction to Text-to-Speech Synthesisþ, Thierry Dutoit, Kluwer Academic Pub., 1997. IE542 Transmissão Digital de Imagens T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IE550 Ementa: Características do sinal de vídeo, digitalização do sinal de imagens. Sinais e sistemas 2-D, transformada de Fourier, transformada Z/2-D, transformada de Fourier 2-D discreta, filtros de resposta impulsiva finita 2-D, filtros de resposta impulsiva infinita 2-D. Bibliografia: Lim, J.S., ÞTwo-Dimensional Signal and Image Processingþ, Prentice-Hall International Edition, 1990. Netravali, A.N. and Haskeell, B.G. - ÞPicture/Representation and Compressionþ, Plenum Press Edition, N.Y., 1988. Pratt, W.K., ÞDigital Image Processingþ, Wiley & Sons, N.Y., 1978. Ekstron, M.P., ÞDigital Image Processing Techniquesþ, Academic Press, N.Y., 1984. ÞDigital Image Processingþ, Prentice-Hall, Englewood Cliffs, Kenoeth R. Castleman, 1996, ÞImage and Video Compression Standardsþ, Kluwer Academic Publishers, Vasuder Bhaskaram and Konstantinos Konstantinidos. IE550 Processamento Digital de Sinais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Transformada de Fourier e amostragem de sinais; Sistemas discretos lineares; transformada Z; função sistema racional; transformada de Fourier discreta; convolução circular; algoritmos de transformada rápida de Fourier; estruturas de realização de sistemas discretos; efeitos de quantização de coeficientes e variáveis; métodos de projeto de filtros digitais. Bibliografia: A.V. Oppenheim e R.W. Schafer, ÞDiscrete Time Signal Processingþ, Prentice Hall, 1989. A.V. Oppenheim e R.W. Schafer, ÞDigital Signal Processingþ, Prentice Hall, 1975. L.B. Jackson, ÞDigital Filters and Signal Processingþ, Kluwer Academic Publishers, 1986. M. Bellanger, ÞDigital Processing of Signals - Theory and Practiceþ, Willey, 1980. IE561 Introdução à Teoria de Informação e Codificação T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Conceitos básicos de teoria da informação, codificação de fontes discretas sem memória, capacidade de canal, teorema da codificação de canal, capacidade do canal Gaussiano; conceitos básicos de códigos de bloco lineares, códigos convolucionais, algoritmo de Viterbi. Bibliografia: Simon Haykin, ÞDigital Communication Systems", Wiley, 1993. Shu Lin e Daniel Costello Jr., ÞError Control Coding: Fundamental and Applicationsþ, Prentice-Hall, 1983. W.W. Peterson e E.J. Weldon Jr., ÞError Correcting Codesþ, MIT Press 2nd Edition, 1972. IE601 Comunicações Ópticas: Fibras e Dispositivos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Faixas ópticas. Propagação da luz em fibras: modelo geométrico e teoria modal. Atenuação. Fibras multímodo: perfis, dispersão intermodal, mistura de modos. Fibras monomodo: dispersão do material e de guiagem, dispersão deslocada e aplainada. Estruturas e mecanismos básicos em dispositivos eletroópticos: bandas de energia, recombinações espontâneas e estimuladas, junções PN, heterojunções. LEDs e Lasers: eficiência, comportamento estático e dinâmico, FEEC espectros ópticos. Lasers Fabry-Perot e monomodais. Moduladores externos. Acoplamento fonte-fibra. Diodos Pin e APDs. Amplificadores ópticos a semicondutor e a fibra. Bibliografia: H.A. Haus, ÞWaves and Fields in Optoelectronicsþ, Prentice Hall, 1984. I Agrawal, ÞFiber Optic Comunication Systems, John Wileyþ, 2nd Ed., 1997. IE603 Introdução à Rede Síncrona T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução às novas tecnologias de redes, SDH, ATM, Transmissão digital por fibra óptica (sintético); novas tendências. Multiplexagem de sinais plesiócronos, DSO, DS1, DS2, DS3 e DS4; análise de Þjitterþ. Rede síncrona: sincronização da rede, vantagens da rede síncrona, princípios da multiplexagem síncrona, supervisão de seção, rotas de alta ordem, concatenação, estruturas dos containers, unidades afluentes de baixa ordem, containers de baixa ordem, mapeamento de cargas úteis, interfaces físicas. Equipamentos e aplicações; estrutura funcional dos equipamentos (terminações, adaptações, conexões semi-permanentes, interfaces físicas, gerenciamento, temporização); multiplexadores: Terminal de linha, Multiplexador de inserção e derivação (ADM), equipamentos de conexão transversal (SDXC). Aplicações sistêmicas. Bibliografia: ÞTransmission Networking: Sonet & The Synchronous Digital Hierarchyþ, M. Sexton And A. Reid, Artech House, USA, 1992. ÞPCM and Digital Transmission Systemsþ, F.F.E. Owen, McGraw Hill, 1982. ÞJitter in Digital Transmissionþ, P.R., Trischitta and E.L., Varma, Artech House, USA, 1989. ÞFibras Ópticas-Tecnologia e Projeto de Sistemasþ, W.F., Giozza, E. Conforti e H. Waldman, Makron Books, McGraw Hill, 1991. ÞOptical Fiber Telecommunications IIþ, edited by S.E. Miller and I.P. Kaminow, Academic Press, 1988. IE606 Tecnologia Fotônica Aplicada às Redes de Comunicação T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Tecnologia fotônica e sistemas de comunicação multiponto. Componentes fotônicos para as redes fotônicas de Comunicação. Configurações e aplicações de redes fotônicas WDM, Redes Estáticas, Dinâmicas e Roteadas em WDM. Proteção e Restauração de Redes Fotônicas WDM. Bibliografia: E. Moschim, "Redes Fotônicas de Comunicação"- notas de aula. T.E.Stern, K Bold - Multiwavelenght Optical Networs: A Layered Approach, Prentice Hall, 2000. IE607 Medidas para Caracterização e Análise de Materiais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Estudo das principais técnicas de caracterização para microeletrônica, como AES (Auger Electron Spectroscopy), SEM (Scanning Electron Microscopy), STM (Scanning Tunneling Microscopy), SIMS (Second Ion Mass Spectroscopy), RBS (Rutherford BackScattering), TEM (Transmission Electron Microscopy), ESCA (Electron Spectroscopy for Chemical Analysis), SEM-EBIC (Electron Beam Induced Currents), DLTS (Deep Level Transient Spectroscopy), HREM (High Resolution Electron Microscopy), Spreading resistance probe, fotoluminescência, espectroscopia de infravermelho, elipsometria, interferometria e microscopia óptica. Bibliografia: Resenha de artigos e Livros especializados. IE608 VHDL como Ferramenta de Projeto de Circuitos T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Modelamento de estruturas em VHDL apresentando os elementos básicos da linguagem com a utilização do software VHDL Mentor Graphics. Desenvolvimento de modelos. Estrutura de modelos. Teste de modelos. Objetos, tipos, sinais e atributos. Operações lógicas, operadores e atrasos. Arquiteturas múltiplas. Concorrência. Operações seqüenciais. Subprogramas. Packages e Libraries. Bibliografia: Douglas L. Perry, McGraw Hill, 1991. V8.0 An Introduction to Modeling in VHDL, Mentor Graphics, 1991. IE609 VHDL Linguagem para Modelamento de Circuitos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução à VHDL. Modelamento comportamental. Processamento seqüencial. Tipos e atributos. Subprogramas e 27 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Packages. Atributos pré-definidos. Configuração. Tópicos avançados. Considerandos para o modelamento. Projeto de sistema TOP-DOWN. Exemplos extensos de utilização. Bibliografia: Douglas L. Perry, VHDL, McGraw Hill, 1991. IE610 Mecânica Quântica I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Ondas de matéria, fótons, descrição quântica de uma partícula. Notação de Dirac. Equações de autovalores observáveis. Os postulados da mecânica quântica. O princípio da superposição. Spin. Quantização do momento angular. O oscilador harmônico. O átomo de Hidrogênio. Orbitais atômicos e acoplamento de momento angular. Transições radiativas. Moléculas. Introdução à física do estado sólido. Bibliografia: C. Cohen-Tannoudji, B. Diu e F. Laloë, Quantum Mechanics, vol. I e II, John Wiley & Sons, NY, 1977. David Park, Introduction to the Quantum Theory, 3ª Ed., McGraw Hill, Inc., NY, 1992. IE611 Eletromagnetismo I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Força elétrica, vetores, campos. Revisão de cálculo diferencial e integral vetorial. Eletrostática. Lei de Gauss. Potencial eletrostático. Dipolo elétrico. Energia eletrostática. Dielétricos. magnetostática. Potencial vetor. Correntes induzidas. Leis da indução. Equações de Maxwell. Mínima ação. Circuitos de corrente alternada. Cavidades ressonantes. Guias de onda. Quadrivetores. Relatividade. Momentum e energia dos campos eletromagnéticos. Bibliografia: R.P. Feynman, R.B. Leighton e M. Sands, The Feynman Lectures on Physics, vol. II; J.D. Jackson, Classical Electrodynamics. IE612 Laboratório de Processamento Digital de Sinais T:0 E:0 L:60 S:0 I:120 C:12 P:3 Pré-Req.: IE550/AA200 Ementa: Atividades práticas de implementação de aplicações digitais de processamento de sinais. Para isso são utilizados recursos de simulação digital, processadores dedicados (DSP) e dispositivos lógicos programáveis. As atividades cobrem os temas: análise de sinais (FFT, DCT), filtragens FIR, IIR e adaptativa. IE650 Análise e Processamento Digital de Sinais Aleatórios T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IE509/IE550 Ementa: Caracterização de processos aleatórios discretos, modelos paramétricos de sinais, filtragem de Wiener, predição linear, métodos de mínimos quadrados, algoritmos de Levinson Durbin, filtragem adaptativa, aplicações. Bibliografia: S. Haykin, ÞModern Filtersþ, MacMillan, 1989. S. Haykin, ÞAdaptive Filter Theory, 3ª Ed.þ, Prentice Hall, 1996. M. Bellanger, ÞAdaptive Digital Filter and Signal Analysisþ, Marcel Dekker, 2001, Steven M. Kay: Þ Modern Spectral Estimation: Theory and Applicationþ, Prentice Hall, 1987. Hoyes, M.H., "Statistical Digital Signal Processing and Modeling", John Wiley, 1966. IE660 Teoria da Informação T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução: informação e comunicação; entropia, entropia relativa e informação mútua; a propriedade da equipartição assintótica; compressão de dados; informação e teoria de jogos; capacidade de canal; entropia diferencial; o canal gaussiano; máxima entropia e análise espectral; teoria de taxa versus distorção; teoria de informação em redes de comunicação; teoria de informação e o mercado de capitais. Bibliografia: Thomas Cover e Joy Thomas, ÞElements of Information Theoryþ, Wiley, 1991. Richard E. Blahut, ÞPrinciples and Practice of Information Theoryþ, AddisonWesley, 1987. IE661 Codificação I: Álgebra e Códigos de Bloco T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IE561 28 Ementa: Grupos, anéis, corpos finitos, módulos, Álgebra de polinômios, corpos de Galois, espaços vetoriais, reticulados; códigos de grupo, códigos lineares; códigos cíclicos, códigos reticulados; decodificação com decisão abrupta; decodificação de códigos BCH, decodificação por lógica majoritária; decodificação com decisão suave; modulação codificada de bloco. Bibliografia: John B. Fraleigh, ÞA First Course in Abstract Algebraþ, Addison-Wesley, 1977. W.W. Peterson e E.J. Weldon Jr., ÞError Correcting Codesþ, MIT Press, 2nd Edition, 1972. Shu Lin e Daniel Costello Jr., ÞError Control Coding: Fundamentals and Applicationsþ, Prentice-Hall, 1983. G.C. Clark, Jr. e J.B. Cain, ÞError Correction Coding for Digital Communicationsþ, Plenum, 1981. J.H. Conway e N.J.A. Sloane, ÞSphere Packings, Lattices and Groupsþ, SpringerVerlag, 1988. IE662 Codificação II: Códigos Convolucionais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IE561 Ementa: Códigos de árvore, treliça, convolucionais invariantes, periodicamente variantes e variantes no tempo; propriedades estruturais e de distância; códigos de memória unitária; códigos de memória parcial; códigos convolucionais ortogonais; códigos concatenados para canais com surto; códigos de treliça não-lineares; proteção desigual de erros; decodificação de máxima verossimilhança (Viterbi) com decisão abrupta e decisão suave; decodificação seqüencial; códigos de classes laterais usando códigos convolucionais. Bibliografia: Shu Lin e Daniel Costello Jr., ÞError Control Coding: Fundamentals and Applicationsþ, Prentice-Hall, 1983. A.J. Viterbi e J.K. Omura, ÞPrinciples of Digital Communication and Codingþ, McGraw Hill, 1979. R Palazzo Jr., ÞCódigos de Treliças Fixos e Variantes no Tempoþ, Tese de LivreDocência, 1987. Artigos Técnicos Especializados. IE670 Análise e Desempenho de Redes de Comunicações T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Filas Markovianas, Fila M/Gl. Filas com prioridades. Redes de filas. Análise de bloqueio em redes telefônicas. Desempenho das redes locais CSMA/CD, taken ring e serviços cíclicos (polling). Análise da rede metropolitana FDDI. RDSI de faixa estreita (RDSI-FE) e dimensionamento dos enlaces digitais. Redes ATM: policiamento de tráfego e controle de admissão de chamadas. Comutação ATM: estruturas de comutação e desempenho das estruturas de comutação. Bibliografia: T. G. Robertazzi, ÞComputer Networks and Systems: Queueing Theory and Perfomance Evaluationþ, Second Edition, Springer-Verlag, 1994. J. L. Hammond and J. P. O'Reilly, ÞPerformance Analysis of Local Computer Networksþ, Addison-Wesley Publishing Company, 1986. M. de Prycker, ÞAsynchronous Transfer Mode: Solution for Broadband ISDNþ, Second Edition, Ellis Horwood, 1993. A. S. Acampora, ÞAn Introduction to Broadband Networksþ, Plenum Press, 1994. IE700 Decisão, Detecção e Estimação T:60 E:0 L:0 S:0 I:120 C:12 P:3 Pré-Req.: AA200/IE509 Ementa: Probabilidade, processos estocásticos, testes de hipóteses, detecção de sinais conhecidos e de parâmetros aleatórios, decisão seqüencial, composta e não-paramétrica. Estimação, propriedades de estimadores. Bibliografia: Anthony D. Whalen, ÞDetection of Signals in Noiseþ. James L. Melsa and David L. Cohn, ÞDecision and Estimations Theoryþ. IE708 Comunicações Móveis T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Sistemas convencionais de rádio móvel. Rádio móvel celular. O canal de rádio móvel. Modelos de perdas de percurso. Distribuição estatística de sinal de rádio móvel. Área de cobertura. Efeitos de propagação de multipercurso. Medidas de Campo. Simulação de canal. Técnicas de diversidade. Esquemas de combinação. Interferência cocanal. Interferência de canal adjacente. Ruído. Modulação para comunicações móveis. Técnicas de múltiplo acesso. Transmissão de dados e sinalização. Protocolos de acesso. Téc- UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 nicas de alocação de canais. Técnicas de encaminhamento alternativo. Técnicas de Handoff. Comutação e controle. Serviços de rádio móvel. Sistemas analógicos e digitais Bibliografia: M.D. Yacoub, ÞFoundations of Mobile Radio Engineeringþ, CRC Press, Boca Raton, USA, 1993. W.C. Jakes Jr., ÞMicrowave Mobile Communicationsþ, John Wiley & Sons, 1974. W.C.Y. Lee, ÞMobile Cellular Telecommunications Systemþ, McGraw Hill, 1989. J.D. Parsons, J.G. Gardiner, ÞMobile Communications Systemsþ, Blackie & Sun, 1989, T.S. Rapport, Wireless Communications Principles and Practice, Prentice Hall, 1996. M.D.Yacoub, Wireless Technology: Protocols, Standards and techniques, CRC Press, Boca Raton, USA, 2002. IE718 Modelos de Componentes Bipolares I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Fenômenos físicos de condução de corrente. Análise de características de junções PN. Mobilidade e coeficientes de difusão; tempos de vida médios. Ruído. Estrutura do transistor bipolar. Modelos clássicos de funcionamento estático: EbbersMoll. Fenômenos adicionais. Transistor de potência. Bibliografia: Leturcq. P., e Rey, G. - ÞThéorie Approfondie du Transitor Bipolaireþ. Sze, W. - ÞPhysics of Semiconductor Devicesþ. IE719 Modelos de Componentes Bipolares II T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Junção PN ideal em regime dinâmico. Transistor bipolar ideal em regime transitório. Análise com sinais senoidais. Transistor real em regime dinâmico; desfocalização. Regime de chaveamento. Freqüência máxima de operação. Chaveamento de transistores de potência. Bibliografia: Leturcq, P., e Rey, G. - ÞThéorie Approfondie du Transistor Bipolaireþ. Sze, W. - ÞPhysics of Semiconductor Devicesþ. Shockley, W. - ÞElectrons and Holes in Semiconductorsþ. Antognetti, P., e Massolino, G. ÞSemiconductor Device Modelling with SPICEþ. IE723 Circuitos Eletrônicos Integrados T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Resenha das tecnologias. Transistores unipolares e bipolares. Componentes passivos. Circuitos analógicos: amplificadores operacionais, etc. Circuitos lógicos. Problemas de projeto. Circuitos MSI e LSI. Bibliografia: Hamilton e Howard, ÞBasic Integrated Circuit Engeneeringþ, McGraw Hill, 1975. IE724 Projeto de Circuitos Integrados Digitais T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Descrição de sistema de projeto e confecção de c. integrados; dispositivos para uso em c. integrados; regras de projeto e técnicas de ataque ao projeto de circuitos digi-tais em LSI e VLSI. Bibliografia: Publicações em revistas especializadas. IE725 Projetos de Circuitos Integrados Analógicos (Bipolar) T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Características fundamentais dos componentes (ativos e passivos) integrados implementados em tecnologia bipolar; células analógicas; topologias de amplificadores operacionais; circuitos translineares; técnicas de processamento de sinais analógicos. Bibliografia: Grebene, A.B. - ÞBipolar and MOS Analog Integrated Circuit Designþ, John Wiley & Sons, 1984. Gray, P. R., e Meyer, R.G. - ÞAnalog Integrated Circuitsþ, 2ª Edição, John Wiley & Sons, 1984. IE726 Processos de Filmes Finos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Nucleação e crescimento de filmes; coalescência; epitaxia. Medidas físicas e elétricas: espessura, estrutura, tensão mecânica, resistividade, etc.. Métodos de obtenção: evaporação térmica e por canhão de elétrons, pulverização catódica, deposição química, MBE, etc. Técnicas de análise química. Bibliografia: Publicações em Revistas Especializadas (Thin Solid Films, J. of Electrochemical Soc., J. of Vacuum Science and Technology, etc.). IE730 Dispositivos MOS I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Propriedades elétricas das estruturas MOS. Diagramas de faixas de energias e de cargas nas regiões: de FEEC acumulação, de banda plana, de depleção e de inversão. Comportamento da capacitância MOS em função da tensão, da freqüência e da temperatura. Interpretação da curva CxV para a avaliação da qualidade de dióxido de silício (SiO(2)). Bibliografia: Nicolian. E.H., e Brews, J.R. - ÞMOS Physics and Technologyþ, John Wiley & Sons, 1982. IE733 Modelagem do Transistor MOS T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Estruturas de transistores MOS (TEC-MOS): coplanares, não-coplanares. V-MOS e D-MOS. Propriedades elétricas do TEC-MOS: comportamento tensão x corrente nas 3 regiões de operação (linear, triodo e saturação). Fenômenos de saturação de velocidade dos portadores. Modelos dinâmicos, propriedades fundamentais e circuitos básicos com esses dispositivos. Comportamento em temperatura do TECMOS. Bibliografia: Tsividis, Y.P. - ÞOperations and Modeling of the MOS Transistorþ, McGraw Hill, 1987. Apostila. IE734 Circuitos Analógicos MOS: Células Básicas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Efeitos da temperatura nos parâmetros do transistor MOS (TEC-MOS). O TEC-MOS simulando resistor. Amplificadores básicos com TEC-MOS e suas propriedades fundamentais: ganho de tensão, impedâncias de entrada e de saída, comportamento em freqüência, etc.. Células básicas de circuitos analógicos: amplificador diferencial (análise D.C. e A.C.) deslocadores de níveis D.C.; circuitos que convertem saída dupla em saída simples; espelhos de corrente e carga ativa; circuitos de polarização; estágios de Þpotênciaþ de saída e, outros. Multiplicadores de sinais analógicos. Bibliografia: Allen, P.E., e Holberg, D.R. - ÞC-MOS Analog Circuit Designþ, Holt, 1987. Gray, P.R. e Meyer, R.G. ÞAnalysis and Design of Analog Integrated Circuitsþ, John Wiley & Sons, 1984. Revistas do IEEE e outras especializadas no assunto. IE735 Projetos de Circuitos Integrados Analógicos (MOS) T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Características fundamentais dos componentes (ativos e passivos) integrados implementados em tecnologia MOS; células analógicas; topologias de amplificadores operacionais; chaves analógicas; capacitores chaveados; técnicas de processamento de sinais analógicos. Bibliografia: Notas de Aula e Revista IEEE - Journal of Solid States Circuits. IE761 Óptica Integrada T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Visão geral da área. Reflexão e transmissão em interfaces dielétricas. Guias dielétricos planares (ou guias 2D): modos guiados e de radiação. Expansão modal de campos arbitrários. Guias planares inomogêneos: método WKB. Perdas por curvaturas. Acoplamento por prisma. Teoria dos modos acoplados. Espalhamento Bragg. Guias dielétricos 3D: o método do índice efetivo. Introdução aos guias não-lineares. Técnicas de fabricação e medidas. Métodos numéricos para análise modal e de propagação: códigos em diferenças finitas e elementos finitos. Linhas de pesquisa atuais e tendências futuras. Bibliografia: Básica Livros: (a) Lee, D.L., ÞElectromagnetic Principles of Integrated Opticsþ, John Wiley, 1986. (b) Syms, R. e Cozens, J., ÞOptical Guided Waves and Devicesþ, McGraw Hill, 1992. Artigos: (a) Hernández, H., ÞImproved Split-Step Schemes for Nonlinear-Optical Propagationþ, Journal of the Optical Society of America B (JOSA B), Vol. II, nº 5, pp. 798-803, maio 1994. (b) Hernández, H. ÞSimple Nonparaxial Beam-Propagation Scheme for Integrated Opticsþ, IEEE/OSA Journal of Ligthwave Technology, Vol. 12, nº 4, pp. 644-649, abril, 1994; e outros. IE762 Introdução a Codificação Digital de Sinais T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução; caracterização de sinais; modelamento de sinais; amostragem; quantização escalar; PCM; predição linear; PCM diferencial (DPCM); modulação delta e sigmadelta; sistemas adaptativos; codificação por sub-bandas; codificação por Wavelets; codificação por transformadas ortogonais; alocação de bits; quantização vetorial; codificação por árvores e treliças; quantização vetorial adaptativa e de taxa 29 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 variável; codificação de entropia (Códigos de Huffman, runlength, aritméticos, e de Lempel-Ziv). Bibliografia: Allen Gersho e Robert Gray, Vector Quantization and Signal Compression, Kluwer, 1992. N.S. Jayant e Peter, Noll, Digital Coding of Waveforms: Principles and Applications to Speech and Video, Prentice Hall, 1984. IE763 Sensores e Condicionamento de Sinais T:60 E:0 L:0 S:0 I:120 C:12 P:1 Ementa: Fundamentos e aspectos gerais. Sensores térmicos. sensores mecânicos. Sensores óticos. Condicionamento de sinais analógicos. Condicionamento de sinais digitais, medidas das principais grandezas físicas e aplicações. Bibliografia: James W. Dally, William F. Riley e Kenneth G. Mc.Connell, ÞInstrumentation for Engineering Measurementsþ, 2º Edição, John Wiley & Sons, Inc. New York, 1993. Curtis Jonhson, ÞProcess Control Instrumentation Technologyþ, 4ª Edição, Prentice Hall Career & Technology, New Jersey, 1993. Peter H. Sydenham, ÞTranducers In Measurements And Controlþ, (ISA) Instrument Society of America, North Carolina, 1978. Willis J. Tompkins, Jonh G. Webster, ÞInterfacing Sensors to the IBM PCþ, Prentice Hall, New Jersey, 1988. J.Hesse, J.N. Zemel, VCH, ÞSensorsþ, Vol. 1, Vol. 4, Vol. 6 e Vol. 7, Editados por W. Göpel. Cobbold, R.S.C., ÞTranducers for Biomedical Measurementsþ, Wiley Interscience, 1976. IT001 Tópicos em Máquinas Elétricas T:60 E:0 L:0 S:0 I:120 C:12 P:3 IT002 Sobretensões em Sistemas de Energia Elétrica T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Origem das sobretensões, sobretensões provocadas por descargas atmosféricas e por manobras, fundamentos de ondas viajantes, propagação e descontinuidade das linhas de transmissão, diagrama de Lattice, método analítico e método de Bergeron para cálculo das sobretensões, ondas viajantes para sistemas polifásicos, teoria modal, modos de propagação, efeitos de atenuação, distorção e efeito corona, métodos de controle de sobretensões, introdução á coordenação de isolamento. Bibliografia: Naidu, S.R. ÞTransitórios Eletromagnéticos em Sistemas de Potênciaþ, Editora Grafset; Diversos Autores ÞTransitórios Elétricos e Coordenação de Isolamentoþ, Editora Furnas/Eletrobrás. IT003 Oscilações Eletromecânicas de Baixa Freqüência em Sistemas de Energia Elétrica T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Dinâmica de curta, média e longa duração. O princípio básico do CAG. Modelagem dinâmica do CAG. Estabilidade de pequenas pertubações. Torques sincronizante e de amortecimento. Influência do controle de excitação. Estabilizadores de sistemas de potência. Oscilações torsionais. Ressonância subsíncrona. Análise modal. Simulação de um sistema isolado. Representação de um sistema isolado. Representação de sistemas multimáquinas. IT004 Análise da Estabilidade de Tensão de Sistemas de Energia Elétrica T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Curvas PV e VQ. Características do sistema de transmissão, dos geradores das cargas e dos dispositivos de compensação reativa. Estabilidade transitória de tensão. Análises dinâmica e estática do problema. Análise modal. Margens de estabilidade. Colapso de Tensão. IT005 Introdução aos Acionamentos Elétricos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Fundamentos e Equações Dinâmicas das Máquinas de Corrente Contínua, Força Magnetomotriz: de Máquina CA, Representação das Variáveis das Máquinas CA por Vetores Espaciais, Expressões Básicas de Regime e da Dinâmica nas coordenadas & B0 e dqo das Máquinas de Indução e Síncronas, Introdução ao Controle Vetorial por Orientação de Fluxo. Bibliografia: Bim, Edson: "Introdução aos Acionamentos Elétricos" ( Apostila ); Vas, P. : "Ëlectrical Machines and Drives", Oxford S.P., 1992; Movotny D. W. e Lipo T.A. : "Vector Control and Dynamics of AC Drives", Oxford S.P., 1996. IT006 Compatibilidade Eletromagnética T:60 E:0 L:0 S:0 I:120 C:12 P:1 30 Ementa: Interferência Eletromagnética (Electromagnetic Interference-EMI) e Compatibilidade Eletromagnética (EMC). Conceituação de ambiente eletromagnético. Terminologia e aspectos de EMC, ruídos, emissões, perturbações, imunidade e suscetibilidade. Fontes e vítimas de perturbações que podem causar EMI. Tipos de acoplamento entre a fonte e a vítima. Exigências para assegurar as condições de EMC e suas implicações para o projeto de pro-dutos e sistemas. Interferências de modo comum (common-mode) e de modo diferencial (differential-mode). Interferência conduzida; interferência irradiada. Perturbações induzidas em circuitos pelos campos eletromagnéticos. Acoplamentos devido a campos elétricos e magnéticos. Tratamento de interferências no campo distante. Propriedades não antecipadas dos componentes dos sistemas e dos circuitos nas faixas regulamentares de frequência para EMC (parâmetros parasitas); efeitos parasitas dos terminais dos componentes dos circuitos e sistemas. Aplicação de métodos analíticos na abordageam de problemas de EMC. Abordagem via equações de Maxwell e aproximações para este enfoque; modelos de circuitos com parâmetros concentrados; modelos de linha de transmissão: estruturas de dois pares de terminais; matriz ABCD. Análise de interferências devidas a campos próximos; técnicas de aterramento e sua influência e importância em EMC. Considerações de EMC aplicadas ao projeto de placas de circuito impresso. Bibliografia: Introduction to Electromagnetic Compatibility, Clayton R. Paul; John Wiley & Sons, Inc., New York, N.Y., USA - 1992; Electromagnetic Compatibility, Jasper Goedbloed; Prentice Hall, New York, N.Y., USA - 1992; Engineering Electromagnetic Compatibility - Principles, Measurements and Technologies Prasad Kodali; IEEE Press, New York, N.Y. USA, 1996 IT010 Gerenciamento da Energia T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Aspectos gerais da eficiência energética. Conservação de energia. Fundamentos de qualidade de energia. Gerenciamento eficiente da energia. Análise econômica de projetos. Bibliografia: Publicações em revistas especializadas. Apostila da disciplina. IT011 Harmônicas em Sistemas de Energia Elétrica T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Distorções e harmônicas. Cargas não-lineares, especiais e geradoras de harmônicas. Potência instantânea em sistemas sob distorções harmônicas. Avaliação do fator de potência na presença de distorções. Conversores totalmente controlados por tiristores. Reatores de núcleo saturado. Fornos de arco. A matriz [Zbus (n)]. Modelagem de sistemas de energia elétrica sujeitos a frequências harmônicas. Injeções harmônicas e tensões harmônicas. Avaliação digital de distorções harmônicas. Limites de distorções e legislação. Alocação de filtro. IT012 Avaliação da Qualidade da Energia Elétrica T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Distúrbios que afetam a QEE. Caracterização e Classificação dos Distúrbios. Duração de Sub e Sobretensões. Oscilações de Tensão: Fenômeno de Cintilação (Flicker). Técnicas de Estimação e Medição de Flicker. Limites. Fenômeno da Distorção Harmônica. Técnicas de Análise e Medição. Limites. Transitórios de Chaveamento, Energização de Transformadores, Capacitores, Ressonâncias, Amortecimento de oscilações. Importância do Aterramento na QEE. Análise de Distúrbios no Domínio do Tempo. Análise de Distúrbios no Domínio da Frequência. Tratamento Estatístico. Bibliografia: Publicações em revistas especializadas. Normas internacionais. Apostila da disciplina. IT302 Eletrônica de Potência I T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Componentes Semicondutores de Potência: Diodos, Tiristores (GTO, MCT) Transistores (MOSFET, IGBT), dispositivos emergentes. Técnicas de modulação em potência: ciclos inteiros, controle de fase, largura de pulso, histerese. Conversores CA-CC: topologias, comutação, harmônicas e fator de potência. Conversores CC-CC: acionamento de máquinas CC em 1, 2 e 4 quadrantes; fontes de alimentação chaveadas. Conversores CC-CA: sistemas de alimentação UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 ininterrupta, acionamento de máquinas CA, filtros ativos de potência. Conversores CA-CA; ciclo-conversores, conversores diretos. Introdução de técnicas de comutação suave aplicadas aos conversores. Bibliografia: N. Mohan e outros: "Power Electronics: Converters, Applications and Design", John Wiley & Sons, 1995. J. A. Pomilio: "Eletrônica de Potência". Publicação FEE 01/98. IT304 Tópicos em Sistemas de Energia Elétrica I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IT305 Tópicos em Sistemas de Energia Elétrica II T:30 E:0 L:0 S:0 I:60 C:6 P:3 IT306 Tópicos em Sistemas de Energia Elétrica III T:60 E:0 L:0 S:0 I:120 C:12 P:3 IT307 Tópicos em Técnicas de Alta Tensão I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IT308 Tópicos em Técnicas de Alta Tensão II T:60 E:0 L:0 S:0 I:120 C:12 P:3 IT332 Tópicos em Eletrônica de Potência I T:30 E:0 L:0 S:0 I:60 C:6 P:3 IT333 Tópicos em Eletrônica de Potência II T:30 E:30 L:0 S:30 I:90 C:12 P:3 IT505 Fontes Chaveadas T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Dispositivos semicondutores rápidos de potência. Técnicas de modulação. Topologias básicas de fontes chaveadas. Comutação não-dissipativa. Componentes passivos. Modelamento e controle. Circuitos Integrados dedicados. Normas e caracterização de fontes chaveadas. Fontes de alimentação com correção de fator de potência. Bibliografia: N. Mohan e outros: ÞPower Eletronics: Converters, Applications and Designþ, John Wiley & Sons, 1995. J. A. Pomilio: ÞFontes Chaveadasþ, publicação FEE 13/95. J. A. Pomilio: ÞPré-reguladores de fator de potênciaþ. Publicação FEE 03/95. IT511 Operação Energética de Sistemas de Potência T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Introdução. Modelagem dos componentes do sistema. Formulação geral do problema. Técnica de agregação e decomposição. Princípios da operação energética econômica. Avaliação crítica das metodologias existentes. A proposta metodológica da UNICAMP. Bibliografia: El-Hawary, M.E. e Christensen, G.S., ÞOptimal Economic Operation of Electric Power Systemsþ, Academic Press, 1979. IT515 Dispositivos Elétricos e Magnéticos T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Equações de Maxwell. Campos. Densidades de energia associadas a campos. Vetor de Poynting. Efeito Joule. Dispositivos elétricos. Dielétricos. Acoplamento elétricomecânico. Dispositivos magnéticos. Materiais ferromagnéticos. Acoplamento magnético-mecânico. Coeficiente de mérito de dispositivos. Bibliografia: Slemon, G.R., ÞMagnetoelectric Devicesþ, John Willey, 1966; Hammond, P., ÞApplied Electromagneticsþ, Pergamon Press, 1971. IT516 Conversão Eletromecânica de Energia T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Fundamentos de conversão eletromecânica: enfoques microscópico e macroscópico da obtenção de forças e conjugados. Análise de máquinas elementares eletrostáticas e magnetostáticas; densidade de energia. Propriedades de materiais magnéticos. Sistemas lineares com excitação simples ou múltipla. A existência de conjugados síncronos ou assíncronos em função da conformação geométrica da máquina. Máquinas de corrente contínua. Máquinas de corrente alternada. Máquinas especiais. Bibliografia: Slemon, G.R., ÞEquipamentos Magnetelétricos: transdutores, transformadores e máquinasþ, Livros Técnicos e Científicos Editora. IT518 Máquinas Elétricas Corrente Alternada: Teoria e Aplicação FEEC T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Tipos de máquinas de corrente alternada, enrolamentos, força magnetomotriz em enrolamentos de corrente alternada, reatâncias, reação de armadura, máquinas síncronas como motor, gerador e compensador síncrono, máquinas de indução, aplicações especiais de máquinas síncronas e de indução. Bibliografia: Kostenko, M. e Piotrovsky, L., ÞElectrical Machinesþ, Peace Publishers - Moscou, ÞTheory of Alternating-Current Machineryþ, Alexander S. Langsdorf. IT551 Centros de Controle para Sistemas de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Funções avançadas de controle em tempo-real para sistemas de energia elétrica: configurador, observador, estimador. Controle supervisório e de segurança. Operação em tempo-real: restrições de carga, de operação e de segurança. Estados de operação. Bibliografia: Publicações em revistas especializadas. IT552 Proteção de Sistemas de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Filosofia da proteção em sistemas de energia elétrica. Métodos, esquemas e dispositivos de proteção. Proteção digital. Análise de eventos. Identificação de defeitos. Bibliografia: Publicações em revistas especializadas. IT600 Análise Matricial de Sistemas de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Solução de sistemas de equações com matrizes esparsas. Técnicas de exploração da esparsidade: armazenamento compacto, fatoração, solução via fatores triangulares, vetores esparsos, métodos de ordenação, refatoração parcial. Aplicações. Bibliografia: Alcir Monticelli, ÞFluxo de Carga em Redes de Energia Elétricaþ. Ed. Edgard Blucher, 1983; Publicações em revistas especializadas. IT601 Cálculo de Fluxo de Potência T:30 E:0 L:0 S:0 I:150 C:12 P:2 Ementa: Introdução, formulação básica do problema, métodos de solução: Newton e desaclopados, controles e limites, fluxo de carga linearizado, fluxo de carga para redes de distribuição, fluxo de carga c.a./c.c.. Bibliografia: Alcir Monticelli, ÞFluxo de Carga em Redes de Energia Elétricaþ. Ed. Edgard Blucher, São Paulo, 1983. Obs.: Esta disciplina inclui projetos envolvendo programação e simulações por computador. IT603 Cálculo Curto-Circuito Sistemas de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Modelo da rede para cálculo de curto circuito. Métodos de cálculo. Componentes simétricos. Curto desequilibrado. Bibliografia: Publicações em revistas especializadas. IT610 Técnicas Inteligência Artificial Aplicadas Sistemas Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Métodos da inteligência artificial. Sistemas especialistas. Redes neurais. Aplicações a sistemas de energia elétrica. Bibliografia: Publicações em revistas especializadas. IT611 Métodos Computação Paralela em Sistemas Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Computadores paralelos. Modelos computacionais e de programação. Métodos paralelos para solução de equações algébricas e diferenciais. Aplicações em sistemas de energia elétrica. Bibliografia: Publicações em revistas especializadas. IT615 Análise Alterações em Redes de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Análise estática de contingências. Simulação de alterações na rede. Técnicas de redução de circuitos. Métodos de obtenção de equivalentes estáticos. 31 FEEC UNICAMP - CATÁLOGO DOS CURSOS DE PÓS-GRADUAÇÃO - 2003 Bibliografia: Alcir Monticelli, ÞFluxo de Carga em Redes de Energia Elétricaþ. Ed. Edgard Blucher, São Paulo, 1983. Publicações em revistas especializadas. IT616 Planejamento Expansão Redes Transmissão de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Métodos de análise e síntese aplicados ao planejamento a longo prazo de sistemas de transmissão de energia elétrica: Métodos baseados em heurísticas, em programação linear e em métodos de decomposição. Bibliografia: Publicações em revistas especializadas. IT705 Estabilidade Transitória Sistemas de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Definição do problema de estabilidade, tipos de estabilidade. Modelos de máquinas síncronas, sistemas de excitação, estabilizador e regulador de velocidade adequados ao estudo de estabilidade transitória. Métodos de integração numérica. Equivalentes dinâmicos. Bibliografia: Publicações em revistas especializadas. IT715 Estimação de Estado em Sistemas de Energia Elétrica T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Formulação do problema de estimação de estado em sistemas de energia elétrica. Método das equações normais. Métodos ortogonais. Observabilidade topológica e numérica. Processamento de erros grosseiros. Bibliografia: Publicações em revistas especializadas. IT720 Controle Automático de Sistemas de Distribuição T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Conceitos básicos de automação de sistemas baseados em microcomputadores. Controle supervisório em sistemas de distribuição de energia elétrica. Funções avançadas de controle: detecção e isolamento de defeitos, restabelecimento automático de energia, reconfiguração automática rede e balanceamento de carga. Simulação do desempenho de redes de distribuição. Centros de controle em tempo real. Bibliografia: Publicações em revistas especializadas. IT740 Fluxo de Carga Ótimo T:30 E:0 L:0 S:0 I:60 C:6 P:3 Ementa: Formulação do problema. Métodos baseados em programação linear. Método de Newton e programação quadrática seqüencial. Restrições de segurança. Fluxo de carga ótimo com redespacho pós-contingência. Bibliografia: Publicações em revistas especializadas. IT741 Condicionamento de Energia Elétrica e Dispositivos FACTS T:60 E:0 L:0 S:0 I:120 C:12 P:3 Ementa: Condicionamento e qualidade de energia elétrica: necessidade de flexibilização do sistema elétrico; diagnóstico de distúrbios; normas e critérios de avaliação; qualidade da energia elétrica; novas tecnologias de controle. Dispositivos semicondutores de Potência: Diodo; Tiristor; GTO; MCT; IGBT: técnicas de modulação em potência: controle por ângulo de fase: modulações por largura de pulso; em freqüência e por histerese. Revisão das teorias de potência elétrica: teorias de Budeanu; Fryze; Czarnecki e Akagi; outras teorias. Estruturas básicas e aplicações de dispositivos FACTS: compensação shunt, série e mista; compensadores estáticos de reativos; reguladores de nível de tensão; controladores de fluxo de potência; filtros ativos de potência. Bibliografia: S.M. Deckmann e J.A. Pomilio: ÞCondicionamento de Energia Elétrica e Dispositivos FACTSþ, publicação FEE 02/98, Fev/98, Unicamp. N. Mohan, T.M. Undeland e W.P. Robbins: ÞPower Electronics: Converters, Applications and Designþ, Ed. John Wiley & Sons, 2ª. ed. 1995; T.J.E. Miller: ÞReactive Power Control in Electric Systemsþ, Ed. John Wiley & Sons, 1982. Artigos de congressos e revistas especializadas. 32 CÓLOFON Responsabilidade Pró-Reitoria de Pós-Graduação Projeto Prof. Carlos Roberto Fernandes - Instituto de Artes - Unicamp Composição Diretoria Acadêmica: Antonio Faggiani - Diretor Acadêmico Nilza Amasília Antonio Paulo José Moreira Wagner Luiz Amante Colaboração Prof. Dr. Nelson de Castro Machado Capa Luciane R. G. Gardezani - Centro de Comunicação - Unicamp Impressão Sub-Área de Serviços Gráficos - Unicamp.