Matéria: Exame de Proposta de Tese (INF 3007)
Período: 2007-1 (doutorado)
Autora: Juliana Carpes Imperial
Descrição:
Proposta de defesa de tese.
Resumo:
Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela está no núcleo de todas as interações entre as entidades que precisam operar em ambientes com muita incerteza e que se modificam constantemente. Dada a complexidade das interações, esses componentes, e o sistema resultante, são cada vez mais contextualizados, projetados e construídos usando técnicas baseadas em agentes. Portanto, confiança é fundamental em um multi-agentes (MAS) aberto. Logo, este trabalho investiga como se ter um modelo de confiança explicitamente em um agente inteligente, que possui crenças (Beliefs), desejos (Desires) e intenções (Intentions), chamado de agente BDI. Ou seja, o agente passa a ter um quarto componente chamado confiança (Trust). Dessa forma, é interessante haver uma lógica para englobar o conceito de confiança em um MAS BDI aberto, para que os diferentes aspectos de um modelo de confiança sejam expressos de forma precisa e formal. Isso é feito usando uma lógica multi-modal indexada, onde os mundos possíveis que modelam um sistema multi-agentes representam quais agentes estão presentes em um dado instante de tempo. E, para cada uma das três componentes originais de um agente BDI, há também uma representação de mundos possíveis, pois as mesmas são tratadas como modalidades. Já a confiança é modelada como um predicado, e não uma modalidade.
Download:
- Proposta de defesa de teste em formato postscript (zipado)
- Apresentação da proposta de defesa de teste em formato formato Power Point XP (zipado)
Matéria: Tópicos em Complexidade
Período: 2004-2 (doutorado)
Autora: Juliana Carpes Imperial
Descrição:
Apresentação de um contra-exemplo para provar que nem toda configuração possível do jogo freecell é solúvel. A imagem abaixo é um contra-exemplo. Lembrando que, aparentemente, nem todas as configurações disponíveis no jogo do Windows são solúveis, embora isso precise ser provado. Outros contra-exemplos podem ser encontrados selecionando os jogos -1 e -2. As cartas mais acima são as que ficam mais embaixo na pilha.
 |
Matéria: Tópicos em Complexidade
Período: 2004-2 (doutorado)
Autora: Juliana Carpes Imperial
Descrição:
Apresentação de um artigo que mostra a complexidade do jogo Clickomania.
Download:
Matéria: Compiladores (INF 2107)
Período: 2003-2 (doutorado)
Autora: Juliana Carpes Imperial
Descrição:
Um compilador, com análises léxica, sintática, semântica, e geração e otimização de código para o processador Pentium da Linguagem Monga 99.
Download: As Monografias de cada parte do trabalho em formato MS Word XP (zipado):
- Trabalho 1: Análise léxica
- Trabalho 2: Análise sintática
- Trabalho 3: Construção da árvore sintática abstrata e verificação de tipos
- Trabalho 4: Geração de Código
- Trabalho 5: Otimização de código (contém junto uma tabela de comparações)
Matéria: Exame de Proposta de Dissertação (INF 3006)
Período: 2002-2 (mestrado)
Autora: Juliana Carpes Imperial
Descrição:
Proposta de defesa de dissertação.
Resumo:
Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança, contudo, isso pode consumir muito tempo. Uma outra alternativa é fazer com que o próprio código prove ser seguro. O conceito de proof-carrying code (PCC) é baseado nessa idéia: um programa carrega consigo uma prova de sua conformidade com certas políticas de segurança. Ou seja, ele carrega uma prova a respeito de propriedades do próprio código. Portanto, os mesmos métodos formais usados para a verificação de programas podem ser utilizados para esta tecnologia. Considerando este fato, neste trabalho é estudado como o cálculo de Hoare, um método formal para realizar a verificação de programas, aplicado a códigos-fonte escritos em uma linguagem de programação imperativa, pode ser útil à técnica de PCC. Conseqüentemente, são pesquisados métodos para a geração de provas de correção de rogramas utilizando o método citado, para tornar possível a geração de provas de segurança para PCC utilizando o cálculo de Hoare.
Download:
- Proposta de defesa de dissertação em formato Word XP (zipado)
- Apresentação da proposta de defesa de teste em formato formato Power Point XP (zipado)
- Exemplo usado na apresentação
Matéria: Projeto Final de Programação (INF 2102)
Período: 2002-1 (mestrado)
Autora: Juliana Carpes Imperial
Descrição:
Implementação de um corretor formal de programas utililizando o cálculo de Hoare na linguagem Prolog. Ele é interativo com o usuário, já que parte deste processo não é decidível ou ineficiente.
Obs: Precisa de um interpretador Prolog para executar o programa.
Download:
- Monografia em formato MS Word 2000 (zipado)
- Fontes de Prolog (zipado)
- Casos teste e seus resultados (zipado)
Matéria: Lógica e Especificação (INF 2217)
Período: 2002-1 (mestrado)
Autores: Juliana Carpes Imperial e Renato Figueiró Maia
Descrição:
Considere uma pizzaria com 3 fornos. Por razões de segurança, somente dois fornos podem ser abertos por vez. Mesmo assim, toda vez que dois fornos são abertos, para evitar sobrecarga, o terceiro forno deve estar em pré-aquecimento. Ainda, uma pizza leva 30 min para estar pronta após 5 minutos de pré-aquecimento do forno. Se o tempo passar de 30 min a pizza fica queimada.
Neste trabalho, este ambiente é descrito em modelo de Kripke e em CCS, e as suas propriedades são descritas utilizando CTL e µ-calculus e a lógica de Henessy-Milner, respectivamente. As ferramentas utilizadas para as checagens das propriedades dos modelos são SMV (para o modelo de Kripke) e Workbench (para CCS).
Download: Formato MS Word 2000 (zipado)
Matéria: Projeto e Análise de Algoritmos (INF 2128)
Período: 2002-1 (mestrado)
Autores: Cláudio Nogueira Sant'Anna, Juliana Carpes Imperial e Renato Figueiró Maia
Descrição:
O objetivo deste trabalho é analisar diferentes algoritmos que calculam o n-ésimo termo da Seqüência de Fibonacci dado a sua posição na seqüência, ou seja, n. Isto será feito em termos da complexidade de cada algoritmo e do tempo que eles levam para completar as suas execuções nas implementações dos mesmos.
Download: Formato MS Word 2000 (zipado)
Matéria: Projeto e Análise de Algoritmos (INF 2128)
Período: 2002-1 (mestrado)
Autores: Cláudio Nogueira Sant'Anna, Juliana Carpes Imperial e Renato Figueiró Maia
Descrição:
Análise de alguns algoritmos de ordenação, que foram estudados analítica e empiricamente.
Download: Formato MS Word 2000 (zipado)
Matéria: Projeto e Análise de Algoritmos (INF 2128)
Período: 2002-1 (mestrado)
Autores: Juliana Carpes Imperial e Renato Figueiró Maia
Descrição:
Foi feita a análise analítica e empírica de três algoritmos diferentes para a multiplicação de matrizes e eles foram comparados entre si em termos de tempo de resposta. Estes algoritmos são o clássico (produto interno entre as linhas de uma matriz e as colunas de outra), e dois que utilizam a técnica de divisão de conquista: o de Strassen e o de Winograd, sendo este último uma variação do segundo algoritmo.
Download: Formato MS Word 2000 (zipado)
Matéria: Projeto e Análise de Algoritmos (INF 2128)
Período: 2002-1 (mestrado)
Autores: Juliana Carpes Imperial, Karina Longo Rocha e Renato Figueiró Maia
Descrição:
O problema do caixeiro viajante, por ser NP-difícil, para ser resolvido em tempo viável para grafos gerais, deve utilizar métodos aproximativos que, embora não garantam a solução ótima, possuem um tempo de resposta bem mais rápido do que os métodos exatos. O que se fez neste trabalho é analisar alguns destes métodos, observando o tempo de resposta e a qualidade da solução obtida.
Download:
Matéria: Projeto e Análise de Algoritmos (INF 2128)
Período: 2002-1 (mestrado)
Autores: Juliana Carpes Imperial e Renato Figueiró Maia
Descrição:
O objetivo deste trabalho é fazer um estudo aprofundado do problema da coloração de grafos.
Download: Formato MS Word 2000 (zipado)
Matéria: Simulação de Sistemas e Aplicações
Período: 2001-2 (mestrado)
Autora: Juliana Carpes Imperial
Descrição:
Slides de uma apresentação de dois artigos sobre simulações paralelas e distribuídas.
Download: Formato MS Power Point 2000 (zipado)
Matéria: Simulação de Sistemas e Aplicações
Período: 2001-2 (mestrado)
Autora: Juliana Carpes Imperial
Descrição:
Neste relatório são apresentados os modelos, as implementações, as saídas, as estatísticas e análise das mesmas com relação as entradas para as simulações de fila de banco e de processos em um sistema operacional.
Download: Formato MS Word 2000 (zipado)
Matéria: Semântica de Linguagens de Programação
Período: 2001-2 (mestrado)
Autora: Juliana Carpes Imperial
Descrição:
Este trabalho possui duas partes. Na primeira, o objetivo é implementar a semântica operacional estrutural (em inglês, structural operational semantics - SOS) em PROLOG para um sub-conjunto desta mesma linguagem, com predicados sem variáveis, corte e falha, supondo uma semântica fixa e arbitrária para certos predicados.
Já na segunda parte, o objetivo é fazer o SOS para o comando goto, comum em várias linguagens de programação, de modo elegante.
Download: Formato MS Word 2000 (zipado)
Matéria: Redes de Alta Velocidade
Período: 2001-2 (mestrado)
Autores: Carlos de Salles Soares Neto e Juliana Carpes Imperial
Descrição:
Neste trabalho, busca-se apresentar uma visão geral sobre o atual estado de desenvolvimento de Linguagens de Descrição de Arquitetura (ADLs) com suporte à Qualidade de Serviço (QoS). Para tal fim, a base de conhecimento necessária sobre ADLs é introduzida, consistindo em tópicos sobre blocos de descrição arquitetural (componentes, conectores e configurações), comparações com outras linguagens, classificação, exemplos e aplicações.
Como forma de comparação, são relacionados exemplos de ADLs com suporte à QoS (ASTER, Xelha e Cbabel), bem como outras linguagens de especificação de QoS (QuAL e QML). Procura-se, também, levar em consideração tópicos sobre máquinas de estados, model checking e algumas de suas ferramentas (SMV, Verus e Prob Verus).
Download: Formato MS Word 2000 (zipado)
Matéria: Projeto Final (INF 1910)
Período: 2001-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Um programa que analisa a consistência de métodos lineares de passo múltiplo para equações diferenciais ordinárias de ordem 1, que podem ser equações simples ou sistemas. Estes métodos poderão ser simples, compostos (genéricos) ou cíclicos. No caso de métodos simples, também é feita a análise da consistência para equações diferenciais ordinárias especiais de ordem maior do que 1.
Download:
Matéria: Projeto de Programação (INF 1909)
Período: 2001-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Foi feito, em Java, um aplicativo que simula o funcionamento de uma Máquina de Turing, podendo ela ser determinística ou não. Este programa foi desenvolvido para auxiliar os alunos de graduação da cadeira de Linguagens Formais e Autômatos (INF 1626), para que possam entender na prática o funcionamento de uma Máquina de Turing. Com o aplicativo, eles podem testar e visualizar o funcionamento de Máquinas de Turing semi-automaticamente (semi-automaticamente pois a MT pode ser não determinística).
Download: Monografia em MS Word 2000 (zipado)
Matéria: Projeto Orientado
Período: 2001-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Neste texto é realizada uma análise de dois provadores de teorema (HOL e PVS) e feita uma comparação entre eles. Observa-se a facilidade de instalação, a eficiência, a interface com o usuário, a facilidade em se provar um teorema, o que cada provador é capaz de provar, que facilidades cada um provê e exemplos.
Download: Formato MS Word 2000 (zipado)
Matéria: Tecnologias da Informação Aplicadas à Educação
Período: 2001-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
O objetivo deste trabalho é mostrar a importância do treinamento baseado em computador (TBC) para educação a distância (EAD). O TBC é um método de treinamento que utiliza a interação direta entre o aprendiz e o computador, sendo um dos muitos métodos de treinamento utilizados hoje em dia. O TBC não é algo recente, porém só veio a ganhar importância atualmente devido ao aumento da aceitação dos computadores pessoais e à evolução tecnológica, a qual permite que várias mídias diferentes possam ser usadas de modo integrado para o aprendizado.
Download: Formato MS Word 95 (zipado)
Matéria: Projeto de Aplicações de Bancos de Dados
Período: 2001-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Neste texto são explicados, em linhas gerais, alguns aspectos importantes sobre cenários. Cenários são usados em disciplinas distintas e de várias formas, não existindo, portanto, uma maneira uniforme de produção e uso dos mesmos, com abordagens, sintaxes e interpretações distintas. Recentemente, os cenários ganharam a atenção da Engenharia de Requisitos (ER), sub-área da Engenharia de Software (ES), pois acredita-se que eles auxiliem no entendimento das situações que ocorrem no universo de informação onde será implantado um dado sistema, facilitando, assim, o levantamento dos requisitos.
Download: Formato MS Word 2000 (zipado)
Matéria: Engenharia de Requisitos
Período: 2001-1 (graduação)
Autores: Elton José Silva, Juliana Carpes Imperial e Paulo Roberto Bastos
Descrição:
Neste documento foram aplicados vários dos conceitos aprendidos na disciplina Engenharia de Requisitos no levantamento de requisitos para um Sistema de Gerenciamento de Bibliotecas.
Apresenta-se uma breve descrição desse universo de informação, uma descrição geral do Sistema de Gerenciamento de Biblioteca, a descrição do processo de Engenharia de Requisitos adotado pelo grupo, a descrição dos cenários de uso, a descrição do Léxico Ampliado da Linguagem, a lista de requisitos resultante e um resumo dos principais tópicos discutidos no curso.
OBS: Os anexos com os cenários, LAL e requisitos na ferramenta DOORS e os processos na Ferramenta de Reutilização de Processos de Software foram omitidos do documento abaixo.
Download: Formato MS Word 2000 (zipado)
Matéria: Engenharia de Requisitos
Período: 2001-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Relatórios quinzenais sobre as aulas dadas e seus conteúdos.
Download: Arquivos em formato Word 2000 zipados
Matéria: Programação Concorrente
Período: 2001-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Os programas realizados nas aulas de laboratório de programação concorrente descritos em http://www.inf.puc-rio.br/~noemi/pc-01/
Download: Códigos em C zipados compatíveis com o Red Hat Linux em versões superiores a 6.0:
- Laboratório 1
- Laboratório 2
- Laboratório 3
- Laboratório 4
- Laboratório 5
- Laboratório 6
- Laboratório 7
- Laboratório 8
- Laboratório 9
- Laboratório 10
- Laboratório 11
- Laboratório 12
- Laboratório 13
Matéria: Construção de Sistemas de Gerência de Bancos de Dados (INF 1732)
Período: 2001-1 (graduação)
Autores: Juliana Carpes Imperial e Sergio Coutinho de Biasi
Descrição:
Os objetivos deste texto são estudar alguns detalhes do armazenamento de dados do Oracle8i e seus principais mecanismos de indexação.
Sobre o armazenamento de dados, é visto, em linhas gerais, como o Oracle aloca, utiliza, divide e interpreta o espaço para dados. Também, é explicado como o Oracle armazena tabelas e visões.
Já sobre índices, é dada uma descrição geral de como o Oracle os gerencia, que tipos de índice ele provê, alguns detalhes sobre alguns destes tipos de índice e suas aplicações.
Ainda sobre índices, é explicado como funciona e o que é uma tabela organizada em índice e aplicações que se beneficiam disto.
Download:
- Monografia em formato MS Word 2000 (zipado)
- Slides da apresentação da parte de estruturas de armazenamento no formato MS Power Point 2000 (zipado)
Matéria: Construção de Sistemas de Gerência de Bancos de Dados (INF 1732)
Período: 2001-1 (graduação)
Autores: Juliana Carpes Imperial e Sergio Coutinho de Biasi
Descrição:
Neste trabalho são discutidos alguns pontos sobre como o otimizador do Oracle escolhe como executar as declarações SQL.
Download: Monografia em formato MS Word 2000 (zipado)
Matéria: Gerência de Projetos em Informática I (INF 1633)
Período: 2001-1 (graduação)
Autores: André Coelho de Mattos, Carolina Guimarães de Souza Dia, Juliana Carpes Imperial e Márcio de Almeida Monteiro da Costa
Descrição:
Protótipo de um simulador de um sistema de controle automático de luz para o andar de uma universidade em Delphi 5.0.
Download: Protótipo do simulador em Delphi 5.0 (zipado)
Matéria: Gerência de Projetos em Informática I (INF 1633)
Período: 2001-1 (graduação)
Autores: André Coelho de Mattos, Carolina Guimarães de Souza Dia, Juliana Carpes Imperial e Márcio de Almeida Monteiro da Costa
Descrição:
Apresentações, cronograma, relatórios e documento final descrevendo o desenvolvimento de um sistema de controle automático de luz para o andar de uma universidade.
Download: Documentos em formato MS Word 2000, MS PowerPoint 2000 e MS Project 98 (zipados)
Matéria: Gerência de Projetos em Informática I (INF 1633)
Período: 2001-1 (graduação)
Autores: André Coelho de Mattos, Carolina Guimarães de Souza Dia, Juliana Carpes Imperial e Márcio de Almeida Monteiro da Costa
Descrição:
Apresentações, cronograma, relatórios e documento final descrevendo uma pesquisa feita com empresas de como elas levam a saúde de seus funcionários em consideração de forma a aumentar a produtividade dos mesmos.
Download: Documentos em formato MS Word 2000, MS PowerPoint 2000 e MS Project 98 (zipados)
Matéria: Gerência de Projetos em Informática I (INF 1633)
Período: 2001-1 (graduação)
Autores: André Coelho de Mattos, Carolina Guimarães de Souza Dia, Juliana Carpes Imperial e Márcio de Almeida Monteiro da Costa
Descrição:
Uma proposta para a pesquisa acima e para o projeto de uma empresa para jogos na Internet, que foi modificado para o projeto do simulador de sistema de controle automático de luz.
Download: Documentos em formato MS Word 2000 (zipados)
Matéria: Gerência de Projetos em Informática I (INF 1633)
Período: 2001-1 (graduação)
Autores: Juliana Carpes Imperial
Descrição:
Apresentação do livro Administração do Tempo - Um recurso para melhorar a qualidade de vida pessoal e profissional de Renato Bernhoeft.
Download: Transparências em formato MS Power Point 2000 (zipado)
Matéria: Banco de Dados (INF 1731)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Exemplos de SQLs usados em uma base no SQLServer.
Download: Arquivo texto com os SQLs (zipado)
Matéria: Banco de Dados (INF 1731)
Período: 2000-2 (graduação)
Autores: Juliana Carpes Imperial e Sergio Coutinho de Biasi
Descrição:
Projeto conceitual de um banco de dados simplificado de uma instituição de ensino.
Download: Documento em formato MS Word 2000 (zipado)
Matéria: Métodos Numéricos para Equações Diferenciais (INF 1738)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Um programa em C que calcula a consistência de métodos de passo múltiplo para equações diferenciais especiais.
Download: Código-fonte em C (zipado)
Matéria: Comunicação de Computadores (ELE 1728)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Um programa em C que permite a comunicação serial entre 2 computadores juntamente com o relatório explicando as atividades realizadas e o programa em si.
Download:
- Enunciado do trabalho em PDF (zipado)
- Código-fonte em C (zipado)
- Relatório em formato MS Word 97 (zipado)
Matéria: Comunicação de Computadores (ELE 1728)
Período: 2000-2 (graduação)
Autores: André Coelho de Mattos, Juliana Carpes Imperial e Renato Lage Ferro
Descrição:
Arquivo de lotes e configurações que permitem a comunicação entre 2 computadores via FTP presentes no relatório, que também explica as atividades realizadas.
Observação: A segunda parte do trabalho, a visita ao provedor de Internet, foi cancelada.
Download:
Matéria: Planejamento de Negócios em Informática (INF 1901)
Período: 2000-2 (graduação)
Autores: Cristiano Braz Rocha, Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Resumo e apresentação do livro "Como fazer Marketing sem Dinheiro (ou quase...)" de Nicholas E. Bade.
Download:
Matéria: Planejamento de Negócios em Informática (INF 1901)
Período: 2000-2 (graduação)
Autores: André Coelho de Mattos, Arthur Carneiro Felippe dos Santos, Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Resumo e apresentação da palestra de Alberto Bastos, sócio da Módulo.
Download:
Matéria: Planejamento de Negócios em Informática (INF 1901)
Período: 2000-2 (graduação)
Autores: André Coelho de Mattos, Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Apresentações intermediárias e final, e plano de negócios da empresa fictíca NetGames.
Download:
- Informações apresentadas na 1º apresentação em formato MS Word 97 (zipado)
- Informações apresentadas na 2º apresentação em formato MS Word 97 (zipado)
- Transparências da apresentação final em formato MS Power Point 97 (zipado)
- Versão final do plano de negócios em formato MS Word 97 (zipado)
Matéria: Lógica e Especificação (INF 1632)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Códigos-fonte de Prolog.
Download:
Matéria: Lógica e Especificação (INF 1632)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Programa em Prolog que mede volumes com baldes de 7 e 11 L, juntamente com as saídas para diferentes entradas.
Download:
Matéria: Lógica e Especificação (INF 1632)
Período: 2000-2 (graduação)
Autores: Daniel de Oliveira Valente, João Henrique Arienti e Juliana Carpes Imperial
Descrição:
Considere uma pizzaria com 3 fornos. Por razões de segurança, somente dois fornos podem ser abertos por vez. Mesmo assim, toda vez que dois fornos são abertos, para evitar sobrecarga, o terceiro forno deve estar em pré-aquecimento. Descreve-se em modelo de Kripke esse ambiente, levando em conta que uma pizza leva 30 min para estar pronta após 5 minutos de pré-aqueciemento do forno. Se o tempo passar de 30 min, a pizza fica queimada. O sistema é feito de forma a verificar que nenhuma pizza queimará e que o sistema elétrico da padaria nunca ficará sobrecarregado (2 fornos abertos e o outro ligado em assar). Essa propriedade é provada usando CTL. O sistema e a verificação foram feitos usando o SMV - System Model Verifier.
Download: Documento no formato MS Word 97 (zipado)
Matéria: Sistemas Digitais 2 (ELE 1724)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Enunciado e esquema do circuito no Circuit Maker da experiência.
Download:
Matéria: Sistemas Digitais 2 (ELE 1724)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Enunciado, preparatório, esquema do circuito no Circuit Maker e relatório da experiência.
Download:
- Enunciado no formato MS Word 97 (zipado)
- Preparatório, esquema do circuito e relatório da experiência (zipado)
Matéria: Sistemas Digitais 2 (ELE 1724)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Enunciado, preparatórios, esquemas dos circuitos no Circuit Maker e programas em assembly da experiência.
Download:
- Enunciado no formato MS Word 97 (zipado)
- Preparatório, esquema do circuito e programa em assembly da 1º semana (zipado)
- Preparatório, esquema do circuito e programa em assembly da 2º semana (zipado)
- Preparatório, esquema do circuito e programa em assembly da 3º semana (zipado)
Matéria: Sistemas Digitais 2 (ELE 1724)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Enunciado, preparatórios, esquemas dos circuitos no Circuit Maker e programas em assembly da experiência.
Download:
- Enunciado no formato MS Word 97 (zipado)
- Preparatório, esquema do circuito e programa em assembly da 1º semana (zipado)
- Preparatório, esquema do circuito e programa em assembly da 2º semana (zipado)
Matéria: Sistemas Digitais 2 (ELE 1724)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Enunciado, preparatório, esquema do circuito no Circuit Maker e programa em assembly da experiência.
Download:
- Enunciado no formato MS Word 97 (zipado)
- Preparatório, esquema do circuito e programa em assembly da experiência (zipado)
Matéria: Sistemas Digitais 2 (ELE 1724)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Enunciado, preparatórios, esquemas dos circuitos no Circuit Maker e programas em assembly da experiência.
Download:
- Enunciado no formato MS Word 97 (zipado)
- Preparatório, esquema do circuito e programa em assembly da 1º semana (zipado)
- Preparatório, esquema do circuito e programa em assembly da 2º semana (zipado)
Matéria: Computação Gráfica (INF 1761)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Programa que reduz as cores de uma imagem em um formato especial para no máximo 256 cores.
Download: Enunciado, exemplos e programa em C (zipado)
Matéria: Computação Gráfica (INF 1761)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Programa que gera uma imagem tridimensional baseada em uma entrada textual.
Download: Enunciado, exemplos e programa em C (zipado)
Matéria: Computação Gráfica (INF 1761)
Período: 2000-2 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Editor gráfico iterativo para criar, editar e apagar figuras geométricas.
Download: Enunciado, exemplos, bibliotecas, dicas e programa em C (zipado)
Matéria: Métodos Numéricos para Álgebra Linear (INF 1739)
Período: 2000-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Programas que resolvem determinados sistemas lineares usando o método exato por decomposição LU, o método iterativo de Jacobi e o método iterativo de Gauss-Sidel.
Download: Programas em C, suas saídas e análises (zipado)
Matéria: Métodos Numéricos para Álgebra Linear (INF 1739)
Período: 2000-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Programa que calcula os auto-valores de uma matriz usando o método iterativo de Jacobi.
Download: Programa em C, sua saída e análise (zipado)
Matéria: Sistemas de Computação I (INF 1627)
Período: 2000-1 (graduação)
Autores: Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Implementação de uma biblioteca de semáforos para o Linux.
Download:
Matéria: Sistemas de Computação I (INF 1627)
Período: 2000-1 (graduação)
Autores: Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Implementação de uma biblioteca de monitores para o Minix 2.0.
Download:
- Enunciado do trabalho
- Implementação do trabalho em C junto com explicações de como compilar (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Modelo de documento para todos os documentos gerados no projeto.
Download: Arquivo com o modelo em Word 97 (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Proposta de projeto para o desenvolvimento de um simulador de controle de luz.
Download: Arquivo com o modelo em Word 97 (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Contrato de prestação de serviços tecnológicos para o desenvolvimento de um simulador de controle de luz.
Download: Arquivo com o modelo em Word 97 (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Planejamento do projeto para o desenvolvimento de um simulador de controle de luz.
Download: Arquivo com o modelo em Word 97 (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Atas de reunião entre o grupo (equipe de desenvolvimento) e o professor (cliente).
Download: Arquivo com o modelo em Word 97 (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial
Descrição:
Minha lista de atividades no projeto.
Download: Arquivo texto (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Modelagem do sistema em UML.
Download: Arquivos em Word 97 com a modelagem UML e o arquivo do Relational Rose onde a modelagem foi feita (zipados)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Implementação das classes de negócio derivadas da modelagem UML em Delphi.
Download: Arquivos de código-fonte para o Delphi (zipados)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Descrição:
Biblioteca de led para o simulador do controle de luz para ser instalada no Delphi.
Download: Arquivos para serem importados no Delphi (zipados)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Protótipo do simulador de controle de luz em Delphi.
Download: Arquivos de código-fonte, objetos, imagens e executável (zipados)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Versão final do simulador de controle de luz (não funciona!).
Download: Arquivos de código-fonte, objetos, imagens e executável (zipados)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Recibos de pagamentos (notas) para duas etapas do projeto.
Download: Arquivo com os detalhamentos das notas em Word 97 (zipado)
Matéria: Projeto de Sistemas de Software (INF 1624)
Período: 2000-1 (graduação)
Autores: Eduardo Bernardes de Carvalho, Flavio Alexandre da Rocha Magacho Filho, Juliana Carpes Imperial e Pedro Ivo
Descrição:
Notas (pagamentos) para cada uma das etapas do projeto.
Download: Arquivo com os detalhamentos das notas em Word 97 (zipado)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Enunciado, preparatório e esquema do circuito no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e preparatório em texto (zipados)
Matéria: Sistemas Digitais I (ELE 1723)
Período: 2000-1 (graduação)
Autores: Juliana Carpes Imperial e Silvia Carla Bastos Moreira
Descrição:
Projeto de um computador rudimentar no Circuit Maker.
Download: Enunciado em PDF, esquema no formato do Circuit Maker e relatório em Word 97 (zipados)
Matéria: Introdução à Engenharia Ambiental (CIV 1711)
Período: 2000-1 (graduação)
Autores: Jorge Brantes Ferreira, Juliana Carpes Imperial e mais 2
Descrição:
Seminário sobre poluição dos mares.
Download: Documento no formato MS Word 97 (zipado)
Matéria: Introdução à Engenharia Ambiental (CIV 1711)
Período: 2000-1 (graduação)
Autores: Jorge Brantes Ferreira, Juliana Carpes Imperial e mais 2
Descrição:
Seminário sobre o impacto ambiental na geração de energia.
Download: Documento no formato MS Word 97 (zipado)
Matéria: Administração para Engenharia (ADM 1004)
Período: 2000-1 (graduação)
Autora: Juliana Carpes Imperial
Descrição:
Leitura, análise, comentários e conclusões a respeito do texto "O Impasse da 'Formação Nacional'" de Plínio de Arruda Sampaio Jr.
Download: Documento no formato MS Word 97 (zipado)