|
CURSO DE CAPACITAÇÃO EM PROTOTIPAGEM RÁPIDA |
|
(TEÓRICO E PRÁTICO)
EQUIPAMENTO: IMPRESSORA 3D FORTUS 400MC
PROMOVIDO POR: CENTRO DE P&D EM TECNOLOGIA ELETRÔNICA E DA INFORMAÇÃO
CONTEÚDO PROGRAMÁTICO:
- Princípios Gerais de Modelagem 3D, usando software Solid Edeg ou NX;
- Preparação de um modelo para a prototipagem 3D, calculo estimado do material e do Suporte a ser utilizado e do tempo estimado para a execução da impressão;
- Processo de controle e acompanhamento da modelagem.
PÚBLICO ALVO: Preferencialmente alunos de Graduação em Engenharia Mecânica e Design e todos que tiverem interesse em modelagem e prototipagem 3D.
CARGA HORÁRIA: 20 horas
INÍCIO: 03 de Maio de 2012
VAGAS: 15
INFORMAÇÕES E INSCRIÇÕES:
LOCAL: Secretaria do CETELI, telefone 3305-4695
PERÍODO: de 16 a 30 de Abril
Apresentar cópia do comprovante de matrícula e cópia do histórico escolar
|
|
|
Competição de Verificação de Software realizado no TACAS 2012, em Tallinn, Estónia |
|
 O artigo intitulado como “Context-Bounded Model Checking with ESBMC 1.17” do docente Lucas Cordeiro juntamente com os colaboradores Jeremy Morse, Denis Nicole e Bernd Fischer ganhou destaque ao conseguir duas medalhas de ouro nas categorias “SystemC” e “Concurrency” e uma medalha de bronze no ranking geral da Primeira Competição Internacional em Verificação de Software (SVCOMP'12) realizada pela 18◦Conferência Internacional sobre Ferramentas e Algoritmos para Construção e Análise de Sistemas (TACAS'12). Mais informações sobre a premiação em http://sv-comp.sosy-lab.org/.
|
|
|
|
|