Universidade estadual de campinas

EMBRAPA - Empresa Brasileira de Pesquisa Agropecuária

E0315

ZONEAMENTO AGRO-CLIMÁTICO DA VITIVINICULTURA DE QUALIDADE NO ESTADO DE SÃO PAULO

Bruno Machado Brandão (Bolsista EMBRAPA) e Prof. Dr. Fábio Ricardo Marin (Orientador), Empresa Brasileira de Pesquisa Agropecuária, EMBRAPA
A viticultura é uma atividade de importância histórica e sócio-econômica para o Estado de São Paulo, sendo o segundo maior produtor de uvas de mesa e o maior consumidor de uvas e vinhos no Brasil. O zoneamento, neste sentido, é peça chave para as tomada de decisão e planejamento do agronegócio, uma ferramenta eficaz para a análise das áreas aptas à atividade produtiva. O estudo propôs-se a analisar as áreas propícias à produção de vinhos de qualidade em São Paulo, relacionando o clima à produção de uvas. Foi utilizado para este estudo a Classificação Climática Multicritério que, com base em 3 índices: índice de seca; índice heliotérmico; índice de frio noturno, tem por objetivo classificar os tipos climáticos das regiões produtoras, e inferir sobre a qualidade dos vinhos produzidos quanto ao sabor, coloração, aroma e tipicidade de vinho. Os índices climáticos foram tratados no ARC/INFO utilizando-se dois métodos para a geração dos mapas de zoneamento. A primeira utilizou o inverso do quadrado das distâncias como interpolador, o segundo método baseou-se no uso de um modelo digital de elevação, a partir de imagens SRTM, para o mapeamento dos índices. Os resultados obtidos com este último indicam melhor coerência geográfica, e apontam 6 zonas climáticas para produção de vinhos no Estado de São Paulo.

Zoneamento - Vinho de qualidade - Índices climáticos

Faculdade de Educação

E0316

EXPLORANDO E INVESTIGANDO OS NÚMEROS REAIS

Thaís de Oliveira (Bolsista FAPESP) e Prof. Dr. Dario Fiorentini (Orientador), Faculdade de Educação - FE, UNICAMP
O trabalho desenvolvido neste relatório partiu da hipótese que a prática exploratório-investigativa, envolvendo números reais, pode construir um contexto favorável à produção de significados para estes números nas duas últimas séries do Ensino Fundamental. Buscamos, nesta pesquisa, responder à seguinte questão investigativa: Que significados e produções matemáticas sobre Números Racionais e Irracionais são produzidos por alunos de 7ª e 8ª séries do Ensino Fundamental diante de tarefas exploratório-investigativas? Esta questão foi tratada após trabalho de campo em um Escola Pública de Campinas, com quatro séries (duas de sétima e duas de oitava). Trata-se de um trabalho de natureza qualitativa e sobretudo interpretativa sobre o assunto e desempenho dos alunos.

Números reaisl - Educação matemática - Escola pública de Campinas

Faculdade de Engenharia Civil, Arquitetura e Urbanismo

E0317

SELEÇÃO DE CONTRATOS DE SUPRIMENTOS DE ENERGIA ELÉTRICA PARA CONSUMIDORES LIVRES VIA ANÁLISE MULTICRITERIAL

Rodolfo Molinari Filho (Bolsista SAE) e Prof. Dr. Paulo Sérgio Franco Barbosa (Orientador), Faculdade de Engenharia Civil, Arquitetura e Urbanismo - FEC, UNICAMP.
No mercado livre de energia do Brasil, há uma série de condicionantes comerciais e legais para a compra de energia por parte do consumidor final, das classes industrial e comercial. Neste contexto, meta da pesquisa em questão é, através da Análise Multicriterial, dar suporte ao tomador de decisão, a fim de otimizar a escolha contratual dentre o leque de oportunidades existentes. A Análise Multicriterial se baseia na definição de critérios de seleção, bem como suas respectivas ponderações, estabelecendo o que se pode definir como solução ótima. Os métodos de análise selecionados para aplicação prática enfocam a metodologia do grupo ELECTRE (I e II) bem como a Programação de Compromisso, concomitantemente foi feito uso do Software VIP Analysis. O trabalho especificou situações hipotéticas, utilizando os critérios mais importantes para uma seleção contratual, a fim de, com os resultados obtidos, estabelecer uma confrontação de resultados, comparando cenários hipotéticos com resultados reais obtidos por empresas brasileiras que efetivaram seus contratos energéticos por meio de comercializadoras de energia.

Análise multicriterial - Comercialização de energia - Suporte à decisão

Faculdade de Engenharia Mecânica

E0318

PROJETO, CONSTRUÇÃO E TESTE DE MICRO-VÁLVULA DE ELASTÔMEROTÍTULO DO TRABALHO

Márcio Santos Maciel (Bolsista FAPESP) e Prof. Dr. Luiz Otávio Saraiva Ferreira (Orientador), Faculdade de Engenharia Mecânica - FEM, UNICAMP
Micro-Válvulas são elementos essenciais para manipulação de pequenos volumes de gás ou fluídos, e por isso, com muitas aplicações em micro-sistemas químicos e biológicos (Lab-On-a-Chip). Á válvula foi projetada, simulada, construída e testada. O dispositivo tem acionamento pneumático, foi construída por litografia profunda de resina elastomérica e adesão de camadas. A versão final tem 1cm2, canais de 2 mm de largura e 0,43mm de profundidade e pressão de atuação de 0,25 bar. Valores satisfatórios se comparados com outros similares da literatura. O objetivo central do projeto foi atingido e abre perspectivas de projeto de acionamento eletro-pneumático, construção de micro-bombas peristálticas e outros.

Micro-válvula - Microfluídica - Litografia

Instituto de Computação

E0319

ESPECIFICAÇÃO E DESENVOLVIMENTO DE MÓDULOS PARA O SISTEMA WEBMAPS

Felipe Camilo e Silva Martins (Bolsista PIBIC/CNPq) e Profa. Dra. Claudia M. Bauzer Medeiros (Orientadora), Instituto de Computação - IC, UNICAMP
O WEBMaps (Sistema baseado na WEB Semântica para Monitoramento Agrícola e Previsão de Safras) é um sistema de informação Web em desenvolvimento no Instituto de Computação (IC) cujo objetivo é servir de apoio ao monitoramento e planejamento de safras agrícolas no Brasil.
Este projeto foi apoiado por um edital Universal do CNPq, envolvendo docentes do IC e pesquisadores da FEAGRI e do CEPAGRI. O projeto requer pesquisa multidisciplinar em Computação e em Ciências Agrárias. Na Computação, envolve esforços em bancos de dados, processamento de imagens, redes de computadores, engenharia de software e interfaces homem-computador. O trabalho de iniciação científica teve por objetivo o estudo, a especificação, projeto e desenvolvimento dos módulos de comunicação com os bancos de dados, de cadastro e gerenciamento de usuários e privilégios de acesso, e de gerenciamento de bancos de dados e conjuntos de arquivos de imagens de satélite, através de estruturas de indexação especialmente projetadas e desenvolvidas para esse sistema. Estes módulos foram desenvolvidos em linguagem de programação JAVA (J2EE), para processamento de controle central e JSP, como interface voltada à Internet. Esses módulos seguem o padrão Model-View-Controller (MVC) proporcionado pelo framework de aplicação utilizado no desenvolvimento do projeto. Os principais resultados já obtidos são a disponibilização, via Web, dos primeiros módulos, envolvendo vários tipos de interação do usuário com os sistemas de armazenamento subjacentes.

Sistemas Web - Imagens de satélite - Desenvolvimento de software

E0320

Fichário Online móvel: Criando uma interface wap para um sistema de comunidades virtuais

Wilton Pinheiro de Lima Neto (Bolsista PIBIC/CNPq) e Profa. Dra. Heloisa Vieira da Rocha (Orientadora), Instituto de Computação - IC, UNICAMP
O projeto tem por meta criar uma interface móvel em uma plataforma já existente, o site Fichário Online (www.ficharionline.com), criado pelo bolsista e com uma pesquisa já financiada por essa mesma instituição em comunidades virtuais. O site é voltado para estudantes do ensino médio com vistas à preparação ao vestibular trabalhando sobre uma comunidade virtual. Assim, o sistema a ser desenvolvido parte de uma base de conteúdo já existente, com uma grande comunidade de usuários e uma arquitetura computacional estabelecida. Como solução para a criação da interface móvel, será adotado o protocolo WAP, seguindo as idéias, projetos e teorias existentes hoje para se implementar uma comunidade virtual móvel (m-Learning). Almejamos ter o projeto Fichário Online com uma extensão móvel funcional e inteligente, agregando valor ao mesmo e proporcionando uma melhor experiência aos seus usuários. Para o bolsista, os conhecimentos buscados e agregados com a pesquisa são fundamentais para sua formação acadêmica e profissional.

Comunidades virtuais - WAP - Educação

E0321

MODELOS ECONÔMICOS PARA ESCALONAMENTO EM GRADES COMPUTACIONAIS

Donato Domingues de Brito (Bolsista PIBIC/CNPq) e Profa. Dra. Maria Beatriz Felgar de Toledo (Orientadora), Instituto de Computação - IC, UNICAMP
Grade computacional trata-se de uma infra-estrutura de computação distribuída capaz de coordenar o compartilhamento, seleção e agregação de uma larga variedade de recursos entre instituições dispersa geograficamente. Tais recursos tratam-se de processadores, armazenamento, licenças, equipamentos entre outros, disponíveis pelos usuários da grade. Dada esta grande quantidade de recursos, a grade computacional obtém o poder computacional semelhante ou superior a supercomputadores, porém, sem tantos gastos. Devido a grande quantidade de recursos e de usuários que os requerem, são necessários estudos dirigidos de modo a organizar e otimizar o funcionamento da grade. O escalonamento de recursos na grade é um deles. O desenvolvimento na política e alocação de recursos permite um sistema com mais capacidade e mais eficiente. Fazendo analogia da grade com modelos econômicos, desenvolvem-se estudos de modelos econômicos no escalonamento de recursos, de modo a otimizar o sistema. Neste estudo, será verificada eficiência de diferentes modelos de leilões econômicos para a alocação de recursos. Será desenvolvida uma simulação de leilão na grade, em linguagem Java, que servirá de apoio ao estudo dos modelos. Tal simulação mostrará o processo de aquisição, oferta e reaproveitamento de recursos. Verificar-se-á as aplicações dos modelos em ambientes diferentes.

Grade computacional - Leilões econômicos - Alocação de recursos

E0322

ALGORITMOS DE APROXIMAÇÃO PARA PROBLEMAS DE MULTICORTES EM GRAFOS

Mário César San Felice (Bolsista PIBIC/CNPq) e Prof. Dr. Orlando Lee (Orientador), Instituto de Computação – IC, UNICAMP
Neste projeto são estudados algoritmos de aproximação para problemas de otimização envolvendo multicortes em grafos. Para tanto, foram estudados conceitos de complexidade computacional, técnicas de programação linear e algoritmos de fluxos em redes que serão essenciais para o entendimento dos algoritmos. Depois, foram estudadas técnicas e métodos típicos de algoritmos de aproximação. Na fase final, estamos estudando os algoritmos de aproximação para os problemas de multicorte. Como um produto final, escreveremos uma monografia sobre esses algoritmos.

Algoritmos de aproximação - Teoria de grafos - Multicortes

E0323

ANÁLISE DA SEGURANÇA DE SERVIDORES VIRTUAIS BASEADOS EM LINUX-VSERVER

João Paulo Rechi Vita (Bolsista SAE/UNICAMP) e Prof. Dr. Paulo Lício de Geus (Orientador), Instituto de Computação - IC, UNICAMP
A separação dos serviços de uma rede em diferentes servidores provê um aumento de sua segurança, pois se algum serviço for comprometido os outros serviços não são afetados. Além disso, cada serviço pode ter sua base de usuários completamente independente, inclusive o usuário administrador. Separar esses serviços em diferentes computadores geralmente causa uma sub-utilização de sua capacidade de processamento, já que as máquinas atuais têm poder computacional suficiente para executar bem mais do que um único serviço de rede. Uma maneira de fazer essa separação sem o desperdício mencionado é através do uso de servidores virtuais. Assim, os serviços são vistos em diferentes servidores a partir da rede, porém estão compartilhando um mesmo servidor real (hardware). Contudo, essa separação só traz benefícios se for garantido o isolamento entre diferentes servidores virtuais que compartilham um mesmo servidor real. Uma implementação de servidores virtuais bem interessante sobre o sistema operacional GNU/Linux é a do projeto Linux-VServer. A separação é feita dentro do próprio kernel, o que faz que a carga adicional de processamento seja mínima. Este trabalho apresenta um estudo de como é garantido o isolamento entre os diferentes servidores virtuais no Linux-VServer.

Servidores virtuais - Linux - Segurança

E0324

REIMPLEMENTAÇÃO DE UM COMPONENTE DE BUSCA DE IMAGEM POR CONTEÚDO

Roberto Breglio Marchesini (Bolsista FAPESP) e Prof. Dr. Ricardo da Silva Torres (Orientador), Instituto de Computação - IC, UNICAMP
Inovações na área de software e hardware fizeram com que o número de coleções de imagens crescesse muito rapidamente nos últimos anos. A partir daí, a implementação de sistemas capazes de recuperar imagens por conteúdo (através das propriedades visuais dos seus pixels como cor, textura e forma) vem se tornando cada vez mais comuns. Recentemente, foi desenvolvido no Instituto de Computação da Unicamp um componente de busca de imagem por conteúdo (Content-Based Image Search Component – CBISC) adaptável às mais diversas aplicações. Tendo em vista que o CBISC apresenta algumas limitações, o objetivo desse projeto de iniciação científica é o reprojeto desse componente e sua reimplemenentação. As principais contribuições esperadas são: revisão e documentação das classes já desenvolvidas, adição de novos recursos (interfaces de configuração e de consulta) bem como a realização de experimentos para avaliar a eficiência do componente. Até o momento, a estrutura do componente foi modificada adotando-se a tecnologia de RMI para comunicação entre seus módulos. Os resultados iniciais obtidos mostram que a reestruturação das classes aumentou a eficiência do componente. No momento, experimentos vêm sendo conduzidos visando a utilização deste componente na criação de sistemas de informação de biodiversidade.

Banco de dados - Recuperação de imagens - Processamento de imagens

E0325

VERIFICAÇÃO DE PROTOCOLOS DE TROCAS JUSTAS UTILIZANDO O MÉTODO DE ESPAÇOS DE FITAS

Fabio Rogério Piva (Bolsista SAE/UNICAMP) e Prof. Ricardo Dahab (Orientador), Instituto de Computação - IC, UNICAMP
Os protocolos criptográficos de trocas justas propõem-se a permitir que dois ou mais usuários possam trocar conteúdo eletrônico sem que algum deles possa ter nenhuma vantagem sobre os demais. O método de espaços de fitas é uma técnica de verificação formal de protocolos que baseia-se na formulação e prova de teoremas que refletem as propriedades intencionadas pelo protocolo. Adaptando o método de espaços de fitas às propriedades de trocas justas propostas por Asokan, podemos verificar a segurança provida por estes protocolos às aplicações de comércio eletrônico que os implementam. Neste trabalho introduzimos uma maneira de utilizar o método de espaços de fitas na análise de protocolos de trocas justas, bem como teoremas gerais que representam suas propriedades. Utilizando a adaptação proposta, produzimos demonstrações de dois protocolos otimistas de certificação de correio eletrônico: o protocolo FPH (Ferrer-Gomila et al. 2000) e o protocolo ZDB (Zhou et al. 1999). As demonstrações reproduziram ataques previamente documentados, bem como um ataque desconhecido até o momento.

Verificação formal - Espaços de fitas - Trocas justas

E0326

ANÁLISE E COMPARAÇÃO DE ALGORITMOS PARA RESOURCE DISCOVERY E SEUS USOS EM REDES PEER-TO-PEER

Henrique Przibisczki de Oliveira (Bolsista PIBIC/CNPq) e Prof. Dr. Ricardo de Oliveira Anido (Orientador), Instituto de Computação - IC, UNICAMP
Para uma rede P2P operar de maneira eficaz, a busca de informação através de seus nós deve ser um dos principais objetivos na implementação de um sistema neste modelo, já que a informação não se encontra centralizada em servidores. Os algoritmos que realizam esta busca de maneira dinâmica através dos pontos da rede encontram-se bem difundidos nos softwares de compartilhamento de arquivos tão popularizados pela Internet, mas ainda existe a necessidade de elucidar como cada algoritmo pode ser utilizado para criar ou adaptar aplicações para ambientes P2P. Uma melhor adaptação é feita quando melhor se soluciona o problema de "resource discovery". O presente projeto visou o estudo e comparação dos principais algoritmos utilizados para a busca de informação em redes "peer-to-peer". A reunião dos algoritmos e análises, feitas em um único documento, visa também atender à necessidade de pesquisa por parte dos desenvolvedores para a criação de aplicações baseadas em P2P, tais como jogos para computadores e celulares. O projeto final fornece o estudo dos principais conceitos e paradigmas para que seja facilitado o estudo dos algoritmos para uso em sistemas computacionais. Dessa forma, o projeto pretende dar suporte à novas tecnologias.

Sistemas distribuídos - Peer-to-peer - Resource discovery

E0327

APERFEIÇOAMENTO DA DESCRIÇÃO DO PROCESSADOR INTEL XSCALE EM ARCHC

Danilo Marcolin Caravana (Bolsista PIBIC/CNPq) e Prof. Dr. Rodolfo Jardim de Azevedo (Orientador), Instituto de Computação - IC, UNICAMP
A descrição de processadores proporciona uma poderosa ferramenta para desenvolvedores e pessoas interessadas em determinado hardware, fornecendo uma alternativa, a emulação, porém em uma emulação sempre há duvidas sobre a confiabilidade, já que não se tem completa certeza que um modelo segue a risca o hardware original o qual emula. Visando justamente atingir esta confiabilidade a linguagem ArchC (Linguagem de Descrição de Arquitetura desenvolvida pelo Laboratório de Sistemas de Computação, do IC – UNICAMP) possui um Roadmap de numeração de versões, que informa gradativamente a estabilidade e confiança do modelo descrito. Neste trabalho, houve a continuidade da descrição do processador Intel XScale (ARM v5TE) em ArchC, seguindo o cronograma de desenvolvimento até a versão 0.7, que permite a execução de diversos aplicativos reais com grau elevado de complexidade. O conjunto de programas do Benchmark MiBench (Small e Large) foi usado como base de testes para essa versão. A linguagem ArchC está em constante melhora, cabendo aos modelos descritos a função de avaliar e auxiliar a evolução da linguagem, fato o qual, este modelo exerce por sua alta complexidade e particularidade.

Intel XScale - ArchC - Processadores

E0328

CRIAÇÃO DE AMBIENTES COLABORATIVOS UTILIZANDO GAME ENGINES

Edgar Vilela Gadbem (Bolsista PIBIC/CNPq) e Prof. Dr. Siome Klein Goldenstein (Orientador), Instituto de Computação - IC, UNICAMP
A simulação virtual de ambientes é de grande utilidade para profissionais e estudantes de arquitetura e engenharia para que estes possam visualizar com facilidade o resultado de seus projetos e fazer alterações que julguem necessárias. Este trabalho trata-se do desenvolvimento de uma ferramenta para a criação e alteração de ambientes virtuais utilizando game Engines e suas facilidades para a criação e visualização de modelos virtuais. Foram estudadas diversas engines para que a escolhida para o desenvolvimento da ferramenta possibilitasse a liberdade de mudanças no ambiente e a visualização realista do mesmo com simulação da iluminação e dos objetos. Com esta ferramenta é possível que o usuário crie um modelo de ambiente qualquer e possa andar virtualmente por ele para melhor visualização do projeto além de ter total interação com o ambiente e seus objetos. Como exemplo das interações com o ambiente pode-se destacar a alterações no modelo como remoção de paredes, a inclusão ou alteração de iluminação como cor e intensidade, inserção, remoção ou simples movimentação de objetos. É possível ainda a interação de mais de um usuário num mesmo ambiente via rede (local ou internet) para que vários participantes de um mesmo projeto possam visualizar o modelo do ambiente e avalia-lo conjuntamente, tanto quanto altera-lo de acordo com estas avaliações.

Game Engine - Simulação - Criação de Ambiente