Decisões comportamentais em contexto de forrageamento de dinoponera quadriceps

The behavioral decisions of animals do not occur randomly, because behaviors are adjusted to ensure the survival and reproduction of the animal. In this research, I examined behavioral decisions in the foraging context of the ant Dinoponera quadriceps with regard to orientation, food avaliation and foraging dynamic to individual level. The study was conducted at the Laboratory of Behavioral Biology at UFRN and in an area of secondary Atlantic Forest in FLONA-ICMBio Nísia Floresta/RN. In all observations and experiments, ants were marked individually with an alphanumeric code label fixed on the thorax. In the first part of the study, I analyzed the orientation cues used by D. quadriceps. The tests were performed in a maze of 17 compartments. Each forager was tested for 10 min in three sessions for six different treatments. The treatments consisted of the presence or absence of odor and superior or frontal visual cues. The workers demonstrated that the presence of odor is indispensable and front visual cues are more effective than superior visual cues. In the second part, I investigated the discrimination of food, considering the parameters, size, weight and volume. In a 'cafeteria' experiment, I offered cylindrical pieces of food (mortadella) in a Petri dish, within an experimental arena 1m². Initially, the pieces were of four different sizes; in a second step, the pieces were of the same size but with different weight; in the last step, the pieces had the same weight but different volumes. The results showed the effect of the size and weight parameters for food choice. In the third part of the study, I evaluated the influence of the activity of active foragers on inactive ones. In this part, the colonies were observed in a natural environment. The observations took place on three consecutive days in 10 episodes, total of 30 days for each colony, 12 hours/day. On the first day, I registered the output and input of workers; on the second day, the most active ants on the first day were taken and given back at the end of the observations; on the third day, the observations were similar to the first day. As a result, the workers of D. quadriceps show autostimulation and they do not show social facilitation and the colony compensates the absence of the most active workers. Based on the stated, I conclude that workers of D. quadriceps use chemical, frontal and superior visual orientation cues during their displacements. They discriminate the chosen food by size and weight. The regulation of activity dynamics of foragers is by autostimulation, an active worker does not influence the activity of an inactive worker, the successful search previous is the stimulus to the successful worker itself to continue foraging activity.

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos