ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos

A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade de algoritmos é muito dependente da classe dos algoritmos analisados. O cálculo depende da função tamanho e das operações fundamentais. Alguns aspectos do cálculo da complexidade, entretanto, não dependem do tipo de problema que o algoritmo resolve, mas somente das estruturas que o compõem, podendo, desta maneira, ser generalizados. Com base neste princípio, surgiu um método para o cálculo da complexidade de algoritmos no pior caso. Neste método foi definido que cada estrutura algorítmica possui uma equação de complexidade associada. Esse método propiciou a análise automática da complexidade de algoritmos. A análise automática de algoritmos tem como principal objetivo tornar o processo de cálculo da complexidade mais acessível. A união da metodologia para o pior caso, associada com a idéia da análise automática de programas, serviu de motivação para o desenvolvimento do protótipo de sistema ANAC, que é uma ferramenta para análise automática da complexidade de algoritmos não recursivos. O objetivo deste trabalho é implementar esta metodologia de cálculo de complexidade de algoritmos no pior caso, com a utilização de técnicas de construção de compiladores para que este sistema possa analisar algoritmos gerando como resultado final a complexidade do algoritmo dada em ordens assintóticas.

Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Anéis de fatoração única

Este trabalho tem por objetivo estudar condições necessárias e sufi- cientes sobre um determinado anel R, não necessariamente comutativo, para que suas extensões polinomiais apresentem fatoração única. O estudo de tal propriedade é feito para anéis primos Noetherianos e para anéis primos não necessariamente Noetherianos.

Extensão do padrão ODMG para suportar tempo e versões

Este trabalho apresenta uma extensão do padrão ODMG para o suporte ao versionamento de objetos e características temporais. Essa extensão, denominada TV_ODMG, é baseada no Modelo Temporal de Versões (TVM), que é um modelo de dados orientado a objetos desenvolvido para armazenar as versões do objeto e, para cada versão, o histórico dos valores dos atributos e dos relacionamentos dinâmicos. O TVM difere de outros modelos de dados temporais por apresentar duas diferentes ordens de tempo, ramificado para o objeto e linear para cada versão. O usuário pode também especificar, durante a modelagem, classes normais (sem tempo e versões), o que permite a integração desse modelo com outras modelagens existentes. Neste trabalho, os seguintes componentes da arquitetura do padrão ODMG foram estendidos: o Modelo de Objetos, a ODL (Object Definition Language) e a OQL (Object Query Language). Adicionalmente, foi desenvolvido um conjunto de regras para o mapeamento do TV_ODMG para o ODMG a fim de permitir o uso de qualquer ODBMS para suportar a extensão proposta.

Uma Proposta de uso da Arquitetura Trace como um sistema de detecção de intrusão

Este trabalho propõe a utilização da arquitetura Trace como um sistema de detecção de intrusão. A arquitetura Trace oferece suporte ao gerenciamento de protocolos de alto nível, serviços e aplicações através de uma abordagem baseada na observação passiva de interações de protocolos (traços) no tráfego de rede. Para descrever os cenários a serem monitorados, é utilizada uma linguagem baseada em máquinas de estado. Esta linguagem permite caracterizar aspectos observáveis do tráfego capturado com vistas a sua associação com formas de ataque. O trabalho mostra, através de exemplos, que esta linguagem é adequada para a modelagem de assinaturas de ataques e propõe extensões para permitir a especificação de um número maior de cenários ligados ao gerenciamento de segurançaa. Em seguida, é descrita a implementação do agente de monitoração, componente-chave da arquitetura Trace, e sua utilização para detectar intrusões. Esse agente (a) captura o tráfego da rede, (b) observa a ocorrência dos traços programados e (c) armazena estatísticas sobre a sua ocorrência em uma base de informações de gerenciamento (MIB { Management Information Base). O uso de SNMP permite a recuperação destas informações relativas µa ocorrências dos ataques. A solução apresentada mostrou ser apropriada para resolver duas classes de problemas dos sistemas de detecção de intrusão: o excesso de falsos positivos e a dificuldade em se modelar certos ataques.

Dinâmica estocástica de íons sujeitos a um conjunto quase-monocromático de ondas do tipo híbrida inferior

Neste trabalho, estudamos a interação de íons com um conjunto quase-monocromático de ondas eletrostáticas de frequência na faixa das frequências híbridas inferiores, propagando-se perpendicularmente a um campo magnético uniforme. Consideramos que as fases das ondas são aleatoriamente distribuídas (ondas incoerentes), tratando o caso de ondas de fases coerentes (ondas coerentes) como um caso particular. Derivamos o Hamiltoniano adequado a esse sistema, e deduzimos as equações de movimento, cujas soluções são analisadas numericamente, mostrando a ocorrência de difusão estocástica no espaçoo de fase ângulo-ação, para amplitudes de onda suficientemente grandes. Também fazemos estimativas sobre a amplitude mínima (threshold) para o aparecimento de ilhas de primeira ordem no espaço de fase. Estimamos, também, o limiar para as ilhas de segunda ordem e de ordens maiores, bem como o limiar de estocasticidade. A análise mostra que para o caso de várias ondas o comportamento estocástico ocorre antes do limiar de estocasticidade comparado com o caso de uma onda. No caso de ondas coerentes, observa-se que o limiar de estocasticidade diminui com o aumento do número de ondas que comp˜oem o conjunto de ondas, proporcionalmente ao inverso da raiz quadrada deste número, portanto, tendendo a ser nulo no limite em que o número de ondas no pacote tende a infinito. No caso de ondas incoerentes, observa-se também uma diminuição do limiar de estocasticidade com o aumento do número de ondas, mas nesse caso, saturando com valor até um terço do valor do limiar de estocasticidade para o caso de uma onda. Observa-se também que o limite superior da região de estocasticidade no espaço de fase aumenta com o aumento do número de ondas. No caso de ondas coerentes, esse aumento é proporcional à raiz cúbica do número de ondas que compõem o conjunto de ondas. No caso de ondas incoerentes o limite superior da região de estocasticidade têm um aumento de até o dobro em relação ao caso de uma onda. A análise também mostra que o mecanismo da estocasticidade para o caso de várias ondas é diferente do mecanismo atuante no caso de uma onda. No caso de uma onda, a estocasticidade ocorre por superposição de ilhas de ordens maiores do que um, com o aumento da intensidade da onda. No caso de várias ondas, a presençaa de ondas de frequências próximas à frequência de ressonância causa pequenas perturbações na trajetória principal das partículas, causada pela onda central, espalhando-a pelo espaço de fase de forma mais eficiente que o mecanismo de estocasticidade para o caso de uma onda.

Escalonamento de um Job Shop : análise de um algoritmo com regras heurísticas

O presente trabalho visa definir um modelo de alocação dos recursos da produção para centros de trabalho em sistemas baseados em job shop, usando a abordagem heurística para garantir uma boa alocação dos recursos. São levados em conta a complexidade de um ambiente de produção, seus aspectos temporais e os modelos de Job Shop Scheduling atualmente em uso. Com isso são examinados os aspectos conceituais deste ambiente e proposto um modelo de alocação de recursos para auxiliar no planejamento operacional do mesmo. Pode-se definir os recursos como todos os elementos necessários à execução das diversas atividades de um processo produtivo, tais como equipamentos, máquinas, mão-de-obra, etc. Por sua vez, os recursos são limitados por natureza, quanto à quantidade de unidades disponíveis, às suas funcionalidades e à capacidade produtiva. O processo de alocação dos recursos pressupõe a designação dos recursos mais satisfatórios para a execução de cada uma das atividades que fazem parte de um projeto. O modelo proposto é baseado no uso de heurísticas para resolver o escalonamento nos centros de trabalho, também chamados de células de produção, usando restrições e regras entre as ordens de fabricação (peças) e as máquinas, para encontrar uma solução satisfatória ao problema. O resultado final é uma ferramenta de apoio à decisão no processo de manufatura, permitindo a visualização do melhor escalonamento de produção, visando a redução do ciclo e setup de produção no processo, com base nas informações locais do ambiente fabril. O sistema está implementado numa empresa de componentes hidráulicos, inicialmente no centro de trabalho de corte, composto por quatro máquinas que realizam o corte de diversos tipos de matérias-primas.

Avaliação de abordagens para captura de informações da aplicação

Numerosas pesquisas estão introduzindo o conceito de grupo em padrões abertos para programação distribuída. Nestas, o suporte a grupo de objetos por meio de middlewares, apresentam diferentes abordagens de interligação com a aplicação. Segundo princípios defendidos na tese de Felber, essas abordagens vão ao encontro do objetivo de facilitar o desenvolvimento e proporcionar confiabilidade e desempenho. Neste contexto, localizou-se três enfoques básicos para a interligação com a aplicação, denominados integração, serviço, e interceptação, que utilizam a captura de mensagens para obtenção de informações ou como meio para adicionar novas funcionalidades às aplicações. A utilização dessas informações pode auxiliar no ajuste de parâmetros funcionais de serviços relacionados, na escolha de mecanismos, influindo em aspectos como, desempenho e segurança. Ao longo do estudo dessas abordagens, sentiu-se a necessidade de estudar detalhes e testar aspectos de implementação, suas premissas de uso e as conseqüências advindas da incorporação de seus mecanismos junto à aplicação. Este trabalho visa apresentar uma análise do comportamento das referidas abordagens por meio da implementação de protótipos, possibilitando assim, investigar problemas relacionados ao emprego da técnica e suas conseqüências quando integradas à aplicação. Os objetivos específicos reúnem a busca de informações qualitativas, tais como: modularidade, transparência, facilidade de uso e portabilidade; e informações quantitativas, fundamentalmente traduzidas pelo grau de interferência no desempenho da aplicação. O desenvolvimento dos protótipos teve como início a busca por um ambiente que ofereceria suporte as condições necessárias para a implementação das diferentes abordagens. Percebeu-se que definir os mecanismos diretamente sobre uma linguagem de programação, como C ou C++, não era viável. As versões padrões dessas linguagens não oferecem mecanismos capazes de suportar algumas características de implementação como, por exemplo, a captura de mensagens na abordagem de interceptação. A possibilidade é introduzida apenas por extensões dessas linguagens. Assim, a investigação de um ambiente de implementação voltou-se para mecanismos disponíveis em sistemas operacionais. A opção pela utilização do Linux visou atender alguns requisitos importantes para o desenvolvimento dos protótipos tais como: facilidade de instalação, boa documentação e código aberto. Este último é um ponto essencial, pois a construção de parte dos protótipos explora a programação em nível do sistema operacional. A linguagem de programação C foi escolhida como base para a implementação, já que as diferentes abordagens exploram tanto o nível do kernel como o nível do usuário, e é compatível com o Linux. A etapa de desenvolvimento dos protótipos possibilitou a coleta de informações sobre aspectos qualitativos. As demais informações que fazem parte do perfil levantado por este trabalho sobre as abordagens, foram obtidas através da utilização dos protótipos em experimentos com duas aplicações distribuídas denominadas de “Ping-Pong” e “Escolha de Líderes”, que têm como característica geral à troca de mensagens, utilizando comunicação através de sockets. A realização de medidas em múltiplas execuções, avaliadas após o tratamento estatístico necessário, permitiu definir um perfil das diferentes abordagens.

Linguagem de consulta temporal : definição e implementação

Até hoje, não existem implementações de SGBDs Temporais disponíveis no mercado de software. A tradução de linguagens de consulta temporais para o padrão SQL é uma alternativa para implementação de sistemas temporais com base em SGBDs comerciais, os quais não possuem linguagem e estrutura de dados temporais. OASIS (Open and Active Specification of Information Systems) é uma linguagem que serve como repositório de alto nível para especificação formal orientada a objetos e geração automática de software, em diversas linguagens, através da ferramenta CASE OO-Method. As aplicações geradas desta forma utilizam, como meio de persistˆencia de objetos, SGBDs comerciais baseados na abordagem relacional. A linguagem OASIS foi estendida com aspectos temporais. A extensão de OASIS com aspectos temporais requer a especificação de um modelo de dados e de uma linguagem de consulta temporais que possam ser utilizados em SGBDs convencionais. Há duas abordagens para resolver o problema. A primeira baseia-se em extensões da linguagem e/ou do modelo de dados de modo que o modelo não-temporal é preservado. A segunda, abordagem de generalização temporal, é mais radical e não preserva o modelo não-temporal. A linguagem ATSQL2 fornece recursos adequados aos conceitos encontrados na abordagem de generalização temporal. Neste trabalho utiliza-se os conceitos de generalização temporal preservando o modelo não-temporal. A presente dissertação tem por finalidade propor um modelo de dados para suporte à extensão temporal da linguagem OASIS, bem como estender a linguagem ATSQL2 para facilitar as consultas a eventos temporais. O sistema de tradução da linguagem de consulta temporal para SQL é também adaptado ao modelo de dados proposto.

Considerações sobre programas de inseminação artificial e cistos ovarianos em suínos

Esta tese foi dividida em 4 capítulos: 1) Influência do intervalo desmame estro sobre a duração de Estro e o momento da ovulação de pluríparas suínas e seu uso como base de um programa de inseminação artificial; 2) Intervalo entre a inseminação e a ovulação e desempenho reprodutivo de pluríparas suínas submetidas a uma ou duas inseminações artificiais por dia; 3) Desempenho reprodutivo de fêmeas suínas submetidas ou não a inseminações artificiais pós-ovulatórias e 4) Cistos ovarianos e suas conseqüências no desempenho reprodutivo de rebanhos suínos. Para a realização do primeiro capítulo, foram conduzidos 6 experimentos, em 2 granjas, quando foram observadas 3291 pluríparas suínas, com o objetivo de avaliar a relação entre o intervalo desmame estro com a duração de estro e o momento da ovulação e a possibilidade do uso do intervalo desmame estro como preditor do momento da ovulação. O intervalo desmame estro influenciou a duração de estro em quase todas as avaliações, embora as associações observadas entre essas variáveis tenham sido fracas. O mesmo ocorreu com a associação do intervalo desmame estro com o momento da ovulação. Devido à grande variabilidade do momento da ovulação, não é possível observar uma associação forte com o intervalo desmame estro. Uma mesma granja pode apresentar comportamento estral diferenciado quanto ao intervalo entre o desmame e o estro em diferentes momentos. Para a realização do capítulo 2 foram avaliadas 2230 pluríparas suínas submetidas a uma ou duas inseminações artificiais diárias. As fêmeas estavam alojadas em duas granjas, que foram observadas em dois momentos cada. Foram avaliados o comportamento estral, desempenho reprodutivo, intervalo entre a inseminação e a ovulação e o número de inseminações pós-ovulatórias com o uso de cada estratégia. O uso de uma inseminação diária reduziu em pelo menos 0,92 doses inseminante por estro. A duração de estro, momento da ovulação, taxa de retorno ao estro e taxa de parto ajustada não foram influenciados pelo número de inseminações recebidas diariamente. O tamanho de leitegada foi influenciado em somente uma das avaliações, sendo menor nas fêmeas que receberam inseminações com intervalo de 24 horas. A redução no número de inseminações diárias causou um aumento no intervalo entre a inseminação e a ovulação. A freqüência de inseminações não promoveu diferenças na percentagem de fêmeas que receberam todas as inseminações antes da ovulação, mas aumentou o número de inseminações pós-ovulatórias recebidas. Para o capítulo 3, foram analisadas 1298 fêmeas suínas de duas granjas, com o objetivo de determinar a percentagem de fêmeas que receberam uma ou mais inseminações pós-ovulatórias e seus efeitos sobre o desempenho reprodutivo. Foi observado que mais de 70% das fêmeas receberam pelo menos uma inseminação pós-ovulatória e, aproximadamente 20% receberam duas ou mais. Não foi observado efeito das inseminações realizadas após a ovulação sobre a taxa de retorno ao estro, taxa de parto e tamanho de leitegada. Para a realização do capítulo 4, foram avaliadas por meio de ultra-sonografia transcutânea, 1990 fêmeas cíclicas de duas granjas, de diferentes ordens de parto, duração de lactação e intervalo desmame estro. O objetivo deste trabalho foi determinar a incidência de cistos ovarianos em fêmeas suínas cíclicas em produção e as suas conseqüências no desempenho reprodutivo do plantel. A incidência de cistos foi de 2,36%. Os cistos influenciaram a taxa de retorno ao estro, estando associados a cerca de 10% de todos os retornos, em ambas as granjas. A taxa de parto e a taxa de fêmeas vazias ao parto também foi influenciada pelo aparecimento de cistos, mas estes não influenciaram o tamanho de leitegada. O aparecimento de cistos não foi influenciado pela ordem de parto. Fêmeas que tiveram duração de lactação menor apresentaram maior incidência de cistos. Fêmeas que apresentaram intervalo desmame estro menor que 3 dias apresentaram maior incidência de cistos. A época do ano não influenciou o aparecimento de cistos.

Icthyus : poética de uma re-visão

Esta pesquisa é sobre pintura, considerada como uma poética em si, que resulta em uma análise do que seja a instauração de sentidos. Enquanto poética, a pesquisa constitui-se de 29 telas de diversos tamanhos, pintadas em acrílico sobre lona, série designada com o título de Icthyus. E enquanto análise, reflexão estética e teórica, histórico-crítica, está constituída de uma tese do qual o presente texto faz parte. Esta investigação foi proposta como uma revisão epistemológica de pressupostos conceituais e práticos, em função de um contexto que se deriva da poética Icthyus. E das particularidades do imaginário de um determinado artista, considerando a este como um reflexo da coletividade na qual está inserido e, especificamente, a partir de uma determinada intencionalidade, de identificação cultural. Em função da abordagem escolhida, tratamos de identificar alguns paradigmas entre o fazer e o pensar com respeito à série Icthyus; os conceitos de forma e imagem foram propostos como referentes paradigmáticos dos quais outros conceitos ainda derivam ou permitem desdobramentos, que nos levam a considerar a problemática da arte como linguagem. Finalmente, a teoria da semiose de Peirce é proposta como um instrumento epistemológico, capaz de considerar numa mesma ordem de igualdade cognoscitiva as ordens da sensação e do pensamento, da análise e do fazer, da criação e da reflexão, a procura de entendimento, do acesso ao conhecimento do modo de funcionamento da articulação entre os universos; cognoscitivo, fenomenológico e intuitivo, que estão imbricados em todo processo poético.

Modelagem estratigráfica de clinoformas deposicionais : construção e aplicação de um modelo computacional baseado em mecânica estatística

Sob a premissa de que a geometria do perfil deposicional das clinoformas pode conter informações sobre a composição textural dos sedimentos que as compõem, bem como sobre a energia da coluna d’água, foi desenvolvido um modelo computacional para a análise teórica dos fatores controladores do tipo de curvatura dos foresets das clinoformas, e, por extensão dos taludes submarinos. Um modelo análogo de suspensão dinâmica foi implementado experimentalmente com um programa em código Matlab, denominado MAXWELL, e é classificado como um modelo estratigráfico, bidimensional, analítico, determinístico, dinâmico, parcialmente dedutivo e parcialmente baseado em regras. Contém um modelo de escoamento de fluido em linhas de corrente, e trata indiretamente a tensão de cisalhamento no domínio de um sistema fechado bifásico líquido-vapor análogo, a partir a proposta de analogias entre os processos de evaporação e de suspensão de sedimentos. É uma abordagem baseada na competência de transporte do fluxo d’água, pois considera temperatura e velocidade de fluxo combinado onda-corrente como variáveis controladoras análogas da intensidade de transferência de energia. Os processos deposicionais marinhos são reduzidos a um fenômeno da superfície deposicional, que é considerada análoga a uma interface líquidovapor dentro de um sistema fechado. A equação de distribuição estatística de velocidades moleculares de Maxwell é usada para calcular a proporção de moléculas na fase líquida, considerada análoga à proporção de sedimentos depositados, bem como a proporção na fase vapor, tomada como análoga à proporção de sedimentos em suspensão. O estado energético do sistema é parametrizado por três potenciais: energia interna, como função do tamanho de grão (areia, silte ou argila); energia térmica do meio, como função da energia hidrodinâmica, e energia gravitacional, como função do declive topográfico As simulações indicam que os principais fatores controladores do perfil deposicional das clinoformas, e por extensão, dos taludes submarinos em geral, são a energia hidrodinâmica da coluna d’água e a granulometria (ou coesão) do sedimento, que podem ser consideradas dois parâmetros comutáveis, isto é, grãos grossos ou coesos podem produzir sobre a geometria das clinoformas o mesmo efeito da baixa energia hidrodinâmica, e vice-versa. Com base no fator de decaimento da energia hidrodinâmica com o aumento da batimetria, foram definidas três ordens de grandeza da intensidade da energia da coluna d’água: baixa energia (10–1), alta x energia (10-2) e muito alta energia (10-3). Com base nesse critério, foram caracterizados quatro tipos de perfis deposicionais de clinoformas: dois tipos sigmoidais e dois tipos exponenciais. Os tipos sigmoidais podem ser de alta energia ou de muito alta energia, e distinguem-se pela granulometria do sedimento e pela distribuição de declividades em relação à dimensão na direção horizontal. Os perfis de tipo exponencial podem ser tanto de baixa energia, quanto de alta energia. A subida relativa do nível do mar afeta o tipo geométrico do perfil deposicional apenas de forma indireta, a partir da retenção da fração grossa do influxo sedimentar na plataforma ou topset. Os principais fatores controladores do ângulo de declividade do perfil das clinoformas são a granulometria do sedimento, a energia hidrodinâmica, a profundidade d’água da bacia e o desvio lateral da corrente de fundo. A dedução da litofácies a partir da geometria das clinoformas parece promissora apenas para os tipos teóricos sigmoidais, que são distintos na forma e no conteúdo sedimentar.

Produção de quarkonium : aspectos perturbativos e não-perturbativos da QCD

Neste trabalho de tese investigamos o papel de dinâmica perturbativa e não-perturbativa da Cromodinâmica Quântica, a teoria das interações fortes, em processos de produção de quarks pesados e de quarkonium-estados ligados de um par de quarks pesados. Um aspecto importante na produção de quarks pesados consiste no tratamento de ordens mais altas em QCD perturbativa, que abordamos por meio de elementos de matriz QCD em segunda ordem dominante (NLO) e através de um gerador de eventos Monte Carlo, mais útil fenomenologicamente, onde a produção perturbativa de pares Q Q e obtida utilizando elementos de matriz em ordem dominante e a aproximação de chuveiros partônicos de processos em ordens mais altas. Os processos suaves formando estados ligados de quarkonium são descritos em termos do modelo de evaporação de cor (CEM), ou alternativamente através do modelo de interações suaves de cor (SCI) e do modelo da lei das áreas generalizado (GAL). Neste trabalho, calculamos as distribuições em xF e p? para o J= e 0 em hadroprodução em alvo xo e no colisionador p p do Tevatron. Outros observáveis como a seção de choque total para J= , 0 e charme aberto tamb em são reproduzidos. Além disso, extrapolamos os modelos para descrever a produção de J= e no futuro colisionador LHC, onde as taxas de produção de J= estão at e uma ordem de magnitude acima de outra predição da literatura, o qual pode implicar em J= ser um ru do não negligenciável para estudos de violação da simetria CP no LHC. Além disso, com o objetivo de descrever as taxas de produção relativas entre os vários estados de charmonium, desenvolvemos um modelo para o mapeamento do espectro contínuo de massas do par c c produzido perturbativamente, nas ressonâncias de charmonium, onde introduzimos uma correlação entre a massa invariante do par produzido perturbativamente e a massa física do estado de charmonium. Outra abordagem importante ao estudo dos aspectos perturbativos e não-perturbativos da QCD na produção de quarks pesados e o formalismo de fatorização k?, o qual investigamos em processos de fotoprodução de charme e bottom, com ênfase em resultados de um modelo de saturação. Efeitos de evolução DGLAP tamb em são estudados, considerando a derivada da distribuição de glíuons. Analisamos em detalhe seções de choque totais e distribuições em pT , mostrando as regiões de validade de cada descrição. Através do estudo de vários aspectos perturbativos e não-perturbativos da QCD, este trabalho de tese contribui para um melhor entendimento da conexão entre essas duas dinâmicas.

Parasitóides associados a insetos minadores presentes em vegetação espontânea em pomar de citros

O minador-das-folhas-dos-citros, Phyllocnistis citrella (Stainton, 1856) (Lepidoptera: Gracillariidae) é uma das principais pragas da citricultura. Outros minadores e seus parasitóides têm sido estudados, e a análise das comunidades destes insetos poderá fornecer subsídios para a compreensão da regulação biótica de P. citrella. Este trabalho teve como objetivos verificar se os parasitóides de outros insetos minadores presentes na vegetação de crescimento espontâneo de um pomar de citros são os mesmos relatados para P. citrella; identificando os insetos minadores, seus parasitóides e suas plantas hospedeiras. O trabalho foi conduzido no município de Montenegro (29° 68`S e 51° 46`W), RS, em um pomar do híbrido tangor ‘Murcott’. Realizaram-se amostragens quinzenais, de maio de 2003 a maio de 2004, coletando-se em cada ocasião, todas as folhas com minas, contidas na área delimitada por um aro de 0,26 m2 , que era jogado nas linhas e nas entrelinhas de 30 árvores sorteadas. No laboratório registrou-se o número de larvas e pupas por folha e o tipo de mina. Durante o estudo foram registradas 29 espécies de insetos minadores de três ordens, 26 espécies de plantas hospedeiras, distribuídas em 13 famílias, e 24 espécies de microhimenópteros parasitóides, distribuídos em três famílias. Alguns gêneros identificados neste estudo, já haviam sido relatados, em várias regiões do mundo, com espécies parasitando P. citrella como: Closterocerus, Chrysocharis, Neochrysocharis, Bracon e Sympiesis. Estudos sobre a comunidade de inimigos naturais associados aos minadores são, portanto, necessários devido à importância da diversidade para o equilíbrio dos agroecossistemas. Um manejo adequado da vegetação espontânea do pomar poderá favorecer o estabelecimento e a multiplicação de inimigos naturais de insetos minadores e de outros insetos praga.

O discurso de divulgação científica : um espaço discursivo intervalar

O presente trabalho investiga o funcionamento do discurso de Divulgação Científica, tomando como corpus de análise as revistas Superinteressante e Ciência Hoje. Partindo da concepção de ciência enquanto prática social e ideológica e tendo como referencial teórico a Análise de Discurso de linha francesa, a preocupação central dessa investigação está pautada no modo como os diferentes sujeitos - o cientista, o jornalista e o leitor - se movimentam, isto é, se constituem no discurso de Divulgação Científica, sendo interpelados tanto pelo poder/verdade da ciência quanto pelo poder/verdade da mídia. Para investigar, então, o funcionamento de tal discurso, a tese está dividida em seis capítulos. O primeiro capítulo aborda a concepção de ciência, de forma a marcar os limites entre a ciência e a não-ciência, bem como trata dos deslocamentos sociais produzidos a partir do conhecimento científico. Entre esses deslocamentos, está o Jornalismo Científico e, por sua vez, o discurso de Divulgação Científica, que também é caracterizado nesse primeiro capítulo. No segundo capítulo, trava-se um diálogo entre três autores: Mikail Bakhtin, Michel Foucault e Michel Pêcheux, havendo um destaque para Pêcheux, que é o fundador da Análise do Discurso. A partir desse diálogo, são apresentadas as principais noções da teoria do discurso que sustentarão as análises sobre o funcionamento discursivo da Divulgação Científica. O terceiro capítulo trata da constituição do corpus e da explicitação da metodologia a ser adotada durante as análises. No quarto capítulo, são apresentadas as primeiras análises sobre o modo como são representadas as imagens da ciência e do cientista no discurso de Divulgação Científica. O quinto capítulo privilegia a discussão acerca do lugar discursivo em que se inscrevem tanto o jornalista quanto o cientista no discurso de Divulgação Científica. Ainda são analisadas as posições-sujeito que operam nesse discurso, a partir da inscrição do jornalista e/ou do cientista em um determinado lugar discursivo. No sexto e último capítulo da tese, as análises estão centradas no sujeito-leitor, enfocando a construção do efeito-leitor e da imagem projetada à ciência, a partir de seqüências selecionadas das Cartas de Leitores de ambas as revistas - Superinteressante e Ciência Hoje. Tais análises focalizam a distinção entre leitor real e leitor virtual. Dessa forma, essa tese enfoca a caracterização do discurso de Divulgação Científica como um espaço discursivo intervalar, no qual se entrecruzam diferentes sujeitos, mas também as diferentes ordens de saberes/as diferentes vozes que esses sujeitos mobilizam, bem como as instituições que eles representam, o que atesta a constituição eminentemente heterogênea desse discurso.