Universidade estadual de campinas
|
|  Yüklə 2.5 Mb.
|
CPQBA - Centro Pluridisciplinar de Pesquisas Químicas, Biológicas e AgrícolasE190
Avaliação do teor e da composição química do óleo essencial de Calendula officinalis L. submetida a processos de secagem e armazenamentoMarina Pozitano (Bolsista SAE/PRG), Pedro Melillo Magalhães (Pesquisador), Franceli Silva Amorim (Pós-graduação) e Prof. Dr. Kil Jin Park (Orientador), Faculdade de Engenharia Agrícola - FEAGRI, UNICAMP O emprego terapêutico de plantas medicinais está cada vez mais difundido. Empresas utilizam matéria-prima vegetal na elaboração de seus medicamentos, o que torna indispensável o cultivo comercial e o beneficiamento destas espécies. Neste trabalho foram realizados a propagação, plantio, colheita, beneficiamento e armazenamento pós-colheita da espécie Calendula Officinalis L. Isotermas de dessorção foram determinadas através do método gravimétrico para as três temperaturas (30, 45 e 60ºC) para determinar a influência da temperatura na atividade de água. As curvas experimentais foram ajustadas usando modelos matemáticos comumente encontrados na literatura. A equação que melhor se ajustou aos dados experimentais foi o modelo PELEG. As curvas de secagem foram obtidas em um secador convectivo vertical para as três diferentes temperaturas (30, 45 e 60ºC) a uma velocidade do ar de 1m/s. Verificou-se que a difusividade efetiva aumentou com o aumento da temperatura. A extração do óleo essencial foi realizada pelo método de arraste por vapor d’água e correlacionada com a massa seca da planta. Difusividade efetiva - Isotermas - Extração CTL - Colégio Técnico de LimeiraE191
PORTABILIDADE PARCIAL DO MATHEMATIC PLOTTING PACKAGE (PARA WINDOWS)Carlos Henrique da Silva Santos (Bolsista SAE/PRG), Profa. MSc. Rosa Maria Machado (Orientadora), Colégio Técnico de Limeira – CTL, UNICAMP e Prof. Dr. André Franceschi de Angelis (Co-Orientador), Centro Superior de Educação Tecnológica – CESET, UNICAMP O objetivo deste software educacional matemático é a apresentação de gráficos das derivadas de funções reais com uma variável real. Contribui para a construção continuada do conhecimento de alunos e professores do ensino Médio e Superior, além de incentivar o ensino e aprendizagem da Matemática através de exemplos gráficos. O software foi desenvolvido seguindo as premissas de facilidade de uso, precisão nos resultados, bom desempenho e facilidade de manutenção. Em conseqüência destes pressupostos, escolheu-se a linguagem de programação C++, que é orientada a objetos, tem excelente integração com o ambiente do sistema operacional utilizado, é confiável em suas rotinas matemáticas e permite fácil manutenção de código fonte. Além disto, é uma linguagem bastante difundida e conhecida pela maior parte dos programadores, o que facilita futuras ampliações do projeto. O menu de ajuda que acompanha o software é desenvolvido em Hyper Text Markup Language (HTML), assim os usuários poderão adequá-lo as suas necessidades, agregando valor ao aplicativo. A aceitação do trabalho por parte dos usuários foi boa, visto as qualidades e resultados apresentados. O programa é distribuído gratuitamente, eliminando o problema concreto do ainda alto custo de licenças de softwares educacionais. Informática na Educação - Software Educacional Matemático - Engenharia de Software Faculdade de Engenharia CivilE192
Subsídios para a solução de conflitos relativos a enchentes e uso da terra. Estudo de caso: A APA Municipal de Campinas (SP)João Fasina Neto (Bolsista PIBIC/CNPq), Profa. Dra. Rozely Ferreira dos Santos (Orientadora) e Prof. Dr. Antonio Carlos Zuffo (Co-Responsável), Faculdade de Engenharia Civil - FEC, UNICAMP Os centros urbanos, nas últimas décadas, vêm tendo grandes problemas com as enchentes devido ao processo de degradação do meio ambiente, causado pela ocupação desordenada do solo e pela exploração irracional dos recursos ambientais. Objetivando encontrar o melhor equacionamento para o conflito sobre o problema das enchentes na região da APA Municipal de Campinas, criou-se uma estratégia para a conscientização da comunidade sobre os impactos que o processo de ocupação da terra e exploração dos recursos ambientais causaram sobre os recursos hídricos e suas margens. Foram realizadas pesquisas fotográficas, entrevistas com os moradores, pesquisas em hemerotecas, bibliotecas, museus, subprefeitura de Sousas e jornais. Esse material foi sistematizado e resumido em uma cartilha, que será distribuída à comunidade em palestras ministradas por lideranças de associações e organizações não governamentais. Através desse trabalho inferiu-se que o crescimento e os tipos de atividades antrópicas no decorrer do processo de ocupação estão diretamente relacionados à ocorrência de enchentes na região da APA. Dessa forma, a convivência com o processo natural de inundação dos rios, sem maiores transtornos para a comunidade, somente será atingida quando houver uma fiscalização rigorosa sobre o uso da terra e da água e as administrações públicas preocuparem-se com o planejamento ambiental do município, solucionando os problemas das populações ribeirinhas e evitando novas ocupações em APPs. Enchentes - Impactos Ambientais - Planejamento Ambiental Instituto de ComputaçãoE193
ATIFS – AMBIENTE DE TESTES POR INJEÇÃO DE FALHAS POR SOFTWARE: VALIDAÇÃO UTILIZANDO APLICAÇÕES ESPACIAISAnderson Nunes Paiva Morais (Bolsista PIBIC/CNPq) e Profa. Dra. Eliane Martins (Orientadora), Instituto de Computação - IC, UNICAMP O ATIFS (Ambiente de Testes por Injeção de Falhas por Software) é uma plataforma que possui um conjunto de ferramentas que testam implementações de protocolos de comunicação, apoiando as atividades de geração, execução e análise de resultados dos testes. A ferramenta de testes FSofist (Ferry-clip with Software Fault-Injection Support) é a parte do Sistema de Suporte a Execução (SSE) da arquitetura ATIFS, capaz de realizar testes nos protocolos de comunicação, injetando falhas por software. Neste trabalho apresentamos uma descrição da ferramenta e seu uso em dois estudos de caso. O primeiro caso é uma aplicação real da área espacial, o Software de Recepção e Armazenamento em Solo dos Dados de Telemetria do Telescópio MASCO - MAScara Codificada. O segundo caso é um Protocolo de Conferencia. O principal objetivo foi aplicar os testes por injeção de falhas nas duas aplicações para dar suporte à validação desses protocolos. Testes por injeção de falhas – Protocolos de comunicação - Arquitetura para Testes E194
VALIDAÇÃO DE UMA PLATAFORMA DE TESTES UTILIZANDO PROJETO-PILOTO DA ÁREA AEROESPACIALDeisy Christine Mazzini (Bolsista PIBIC/CNPq) e Profa. Dra. Eliane Martins (Orientadora), Instituto de Computação - IC, UNICAMP Todos os tipos de sistemas implementados são passíveis de falhas, principalmente quando se trata de um sistema reativo, ou seja, inter-relacionado fornecendo ou recebendo dados. Uma fase muito importante no desenvolvimento de um sistema refere-se aos testes aplicados a este sistema. A reação deste sistema deve ser avaliada e os resultados advindos de determinados testes devem ser comparados a um modelo formal. Neste contexto, a finalidade da ferramenta é de eliminar e prever erros, validando assim a ferramenta em desenvolvimento.Abordaremos neste estudo métodos de geração de falhas a partir de um modelo formal de um sistema, utilizando para isso o conceito de Autômatos Finitos e propriedades das Máquinas de Estado. A plataforma ATIFS (Ambiente de Testes para Injeção de Falhas por Software), será o ambiente para implementação dos testes a serem aplicados.O projeto-piloto utilizado é um sistema da área aeroespacial desenvolvido pelo INPE (Instituto de Pesquisas Espaciais). O MASCO (Máscara Codificada) é responsável pela verificação de integridade e ordenação dos frames recebidos pelo satélite de mapeamento do céu. A ferramenta de testes a ser validada é denominada CONDADO e está inserida no Ambiente ATIFS (Ambiente de Testes e Injeção de Falhas em Software). Testes - Máquinas de Estados - Sistemas Reativos E195
Validação do ATIFSLeonardo Pondian Tizzei (Bolsista PIBIC/CNPq) e Profa. Dra. Eliane Martins (Orientadora), Instituto de Computação - IC, UNICAMP O ATIFS (Ambiente integrado de Testes baseado em Injeção de Falhas por Software) tem por objetivo permitir ao usuário a aplicação semi-automática de testes de tolerância à falhas, conformidade e interoperabilidade para sistemas reativos a partir de uma especificação. A especificação deve ser dada na forma de máquina finita de estados estendida (MFEE), que permite descrever tanto o aspecto controle (ordem temporal das interações de entrada e saída) quanto o aspecto de dados (variáveis locais e de parâmetros das interações). Para validar o ATIFS será feito um estudo comparativo deste com as ferramentas desenvolvidas no projeto Côte de Resyste, que foi realizado pelas universidades de Twente e a de Tecnologia de Eindhoven. Entretanto, as ferramentas utilizadas nos dois projetos são diferentes e, por isso, os testes realizados pelo ATIFS precisaram ser adaptados. Como o ATIFS não lida com as guardas da especificação de protocolo, o modelo precisou ser achatado (unfolding) para se tornar equivalente. Para que a comparação pudesse ser realizada, foi desenvolvido um estudo sobre como ocorre a geração de testes pelo método T implementado pelo ATIFS, utilizando diferentes especificações. Para a geração dos testes serão usados mutantes disponíveis pelo projeto Côte de Resyste. Os resultados da comparação nos permitirão analisar o potencial de detecção de falhas apresentado pelos casos de testes gerados pelo ATIFS. ATIFS - Testes - Computação E196
AMBIENTE PARA VISUALIZAÇÃO DE PROTOCOLOS DE CHECKPOINTINGRaphael Marcos Menderico (Bolsista FAPESP) e Profa. Dra. Islene Calciolari Garcia (Orientadora), Instituto de Computação - IC, UNICAMP Soluções para vários problemas em sistemas distribuídos, em particular problemas relacionados a monitorização e recuperação por retrocesso de estado, estão baseadas na utilização de checkpoints. No entanto, entender o comportamento de um protocolo de checkpointing pode ser uma tarefa bastante complexa visto que o seu funcionamento pode depender da interação entre vários processos. Para facilitar a compreensão, muitas vezes as descrições dos protocolos presentes são acompanhadas de diagramas espaço-tempo. Neste trabalho, apresentamos um ambiente que permite a visualização gráfica de protocolos para checkpointing, ilustrando o resultado da execução de um algoritmo. Nesta fase do projeto implementamos o protocolo quase-síncrono proposto por Briatico, Ciuffoletti e Simoncini utilizando a linguagem C++ e o LAM/MPI para permitir a comunicação entre os processos. O ambiente gráfico foi implementado utilizando-se a linguagem Python. O código-fonte desenvolvido para o ambiente será disponibilizado de acordo com a filosofia de software-livre. Checkpointing – Protocolo - Visualização E197
DONNER: SIMULADOR DO PROCESSADOR DLX EM ARCHCMarcio Rogério Juliato (Bolsista FAPESP) e Prof. Dr. Paulo Cesar Centoducatte (Orientador), Instituto de Computação – IC, UNICAMP Atualmente o desenvolvimento de sistemas computacionais tem utilizado linguagens como C/C++ pelos engenheiros de sistemas e software, enquanto engenheiros de hardware trabalham em VHDL e Verilog, causando dessa forma problemas de integração e depuração. Torna-se assim interessante a utilização de uma linguagem única, como SystemC, a qual é uma biblioteca em C++ voltada para descrição de sistemas. Como extensão de SystemC está-se desenvolvendo no LSC – IC, ArchC, cujo propósito é servir como uma linguagem de descrição de processadores com nível de abstração suficientemente alto para poder guiar ferramentas de software no redirecionamento automático do back end de um compilador e gerar simuladores com precisão de ciclos (cycle-accurate). Para verificar as funcionalidades dessa biblioteca desenvolveu-se um modelo comportamental do processador DLX em ArchC, com o intuito de servir como referência para modelos mais apurados, sejam eles estruturais ou com precisão de ciclos. Modelou-se em seguida o DLX com precisão de ciclos, referenciando-se nos modelos em SystemC e ArchC anteriormente desenvolvidos. Além disso, foram iniciados os trabalhos de modelamento de arquiteturas mais complexas como as VLIW, tomando como base o DSP TMS320C62x. Esse trabalho teve como objetivo a proposição novas características de modelagem e a depuração da biblioteca. Arquitetura de Computadores – Compiladores - Simuladores E198
Integração de uma infra-estrutura de chaves públicas ao SLM.Eduardo Fernandes Piva (Bolsista PIBIC/CNPq) e Prof. Dr. Paulo Lício de Geus (Orientador), Instituto de Computação - IC, UNICAMP O IPSec é um protocolo que tem como objetivo prover segurança através de dois cabeçalhos, o AH e o ESP. Esta segurança é realizada através do estabelecimento de associações de segurança através do protocolo IKE, utilizando políticas pré-estabelecidas na configuração do IPSec. Estes parâmetros de segurança são complexos de serem mantidos e por isso surgiu o projeto SLM, que visa simplificar a manutenção e configuração de uma rede utilizando uma base LDAP para o armazenamento das políticas de segurança e alguns módulos de traduções de políticas de alto nível para políticas de baixo nível. Para que o sistema se torne mais seguro, é necessário que haja uma autenticação das máquinas. Tal autenticação pode ser obtida de forma segura e confiável através de uma infra-estrutura de chaves pública, que pode ser integrada na mesma base LDAP que o SLM, centralizando ainda mais a configurão do sistema. Através desta integração, foi possível garantir uma maneira mais eficiente e mais escalável de autenticação, visto que a confiança entre as máquinas deixou de ser através de um segredo pré-compartilhado. PKI - LDAP - IPSEC E199
Aritmética de Corpos Finitos Otimizada para Criptografia de Curvas ElípticasAlberto Alexandre Assis Miranda (Bolsista PIBIC/CNPq) e Prof. Dr. Ricardo Dahab (Orientador), Instituto de Computação – IC, UNICAMP A criptografia de chave pública é uma tecnologia imprescindível no provimento de requisitos de segurança em áreas como comunicação pessoal, comércio eletrônico e mais recentemente validade de documentos eletrônicos. Dentre os métodos existentes, um dos mais importantes é o baseado no grupo aditivo dos pontos de uma curva elíptica definida sobre corpos finitos GF(p^n). A eficiência das implementações de tal sistema depende diretamente do desempenho dos algoritmos da aritmética do corpo sobre o qual ele é definido. Este projeto implementou uma biblioteca em C para corpos finitos otimizada para criptografia de curvas elípticas. Como são poucas as restrições na escolha do corpo sobre o qual a curva é definida, há um grande grau de liberdade para se otimizar as implementações em determinadas classes de corpos. As aritméticas das seguintes classes de corpos finitos, interessantes do ponto de vista computacional, foram implementadas: - Corpos com características pouco menores do que a palavra do processador. - Corpos cujo grau n seja pouco menor do que uma potência de 2, para métodos Karatsuba e FFT. - Corpos cuja característica tenha raízes 2^k-ésimas de 1, k=log(n), para possibilitar o uso da FFT. As implementações obtidas fazem parte de um pacote completo de criptografia de curvas elípticas que está sendo implementado por este bolsista, o que inclui procedimentos para escolha de curvas e protocolos de ciframento e assinaturas digitais. Criptografia - Curvas elípticas - Implementação eficiente |