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

Interação de microorganismos na solubilização de fósforo e potássio de rochas para produção de biofertilizantes

he present model of agriculture is based on intensive use of industrial inputs, due to its rapid response, but it brings harmful consequences to the environment, and it is necessary the use of modern inputs. And an alternative is the use of rock biofertilizers in agriculture, a product easy to use, with higher residual effect and does not harm the environment. The objective of study was to evaluate the inoculation and co-inoculation of different microorganisms in the solubilization of rock phosphate and potash ground microbial evaluating the best performance in the production of biofertilizers comparing with rocks pure in soil chemical properties and, verify effect of inoculation of the bacterium Paenibacillus polymyxa in the absorption of minerals dissolved in the development of cowpea (Vigna unguiculata [L.] Walp.). The first bioassay was conducted in Laboratory (UFRN) for 72 days in Petri dishes, where the rock powder was increased by 10% and sulfur co-inoculated and inoculated with bacterial suspension of Paenibacillus polymyxa grown in medium tryptone soy broth, Ralstonia solanacearum in medium Kelman, Cromobacterium violaceum in medium Luria-Bertani and Acidithiobacillus thiooxidans in medium Tuovinen and Kelly,and fungi Trichoderma humatum and Penicillium fellutanum in malt extract. Every 12 days, samples were removed in order to build up the release curve of minerals. The second bioassay was conducted in a greenhouse of the Agricultural Research Corporation of Rio Grande do Norte in experimental delineation in randomized block designs, was used 10 kg of an Yellow Argissolo Dystrophic per pot with the addition of treatments super phosphate simple (SS), potassium chloride (KCl), pure rock, biofertilizers in doses 40, 70, 100 and 200% of the recommendation for SS and KCl, and a control, or not inoculated with bacteria P. polymyxa. Were used seeds of cowpea BRS Potiguar and co-inoculated with the bacterial suspension of Bradyrhizobium japonicum and P. polymyxa. The first crop was harvested 45 days after planting, were evaluated in the dry matter (ADM), macronutrients (N, P, K, Ca, Mg) and micronutrients (Zn, Fe, Mn) in ADM. And the second at 75 days assessing levels of macro end micronutrients in plants and soil, and the maximum adsorption capacity of P in soil. The results showed synergism in co-inoculations with P. polymyxa+R. solanacearum and, P. polymyxa+C. violaceum solubilizations providing higher P and K, respectively, and better solubilization time at 36 days. The pH was lower in biofertilizers higher doses, but there was better with their addition to P at the highest dose. Significant reduction of maximum adsorption capacity of phosphorus with increasing dose of biofertilizer. For K and Ca was better with SS+KCl, and Mg to pure rock. There was an effect of fertilization on the absorption, with better results for P, K and ADM with SS+KCL, and N, Ca and Mg for biofertilizers. Generally, the P. polymyxa not influence the absorption of the elements in the plant. In treatments with the uninoculated P. polymyxa chemical fertilizer had an average significantly higher for weight and number of grains. And in the presence of the bacteria, biofertilizers and chemical fertilizers had positive values in relation to rock and control. The data show that the rocks and biofertilizers could meet the need of nutrients the plants revealed as potential for sustainable agriculture

Sistema supervisório para poços de petróleo baseados no método de elevação artificial Plunger Lift

The several existing methods for oil artificial lifting and the variety of automation equipment for these methods many times lead the supervisory systems to be dedicated to a unique method and/or to a unique manufacturer. To avoid this problem, it has been developed the supervisory system named SISAL, conceived to supervise wells with different lifting methods and different automation equipments. The SISAL system is working in several Brazilian states but, nowadays, it is only supervising rod pump-based wells. The objective of this work is the development of a supervision module to the plunger lift artificial lift method. The module will have the same characteristics of working with automation hardware of many manufacturers. The module will be integrated to the SISAL system, incorporating the capacity to supervise the plunger lift artificial lift method.

Espaços transversais em educação matemática :uma contribuição para a formação de professores na perspectiva etnomatemática

This PH.D. thesis is an attempt to show the beginning, evolution and unfolding of the making of a pedagogical work proposal based on culturally-built knowings in the heart of a traditional community, having as one of its starting points the knowings and doings experienced by dish-making women from Maruanum living in the city of Macapá, State of Amapá, Brazil. This proposal is strongly associated with the need we have to think about the nature of (ethnological)-mathematical knowledge generated by particular communities and about the way such knowledge can be discussed, worked out, and validated in learning environments, regardless of the level of instruction and the constraints imposed by government programs and educational institutions. Among its theoretical foundations are studies on instrumental activities that are typical of the Maruanum ceramics and investigative studies from the point of view of ethnomathematics. Methodological development took place with the application of activities, where traditional and instrumental knowledge observed in the production of ceramics had been adapted for and brought into the school environment , participative observation, as well as data collecting and organization techniques, such as interviews, statements, and audio an visual recordings. Analysis of the data collected focused on the relationship between the data-generating potential and the purpose of this study. Our aim is to make and estimate of the potential contributions from local situations and/or problems it would possibly bring to the formative learning of people involved in the educational processes of these communities, with a view to a spatial and temporal transformation of reality

WI-BIO: redes de monitoramento de pacientes em ambientes de automação hospitalar utilizando o padrão IEEE 802.11

The monitoring of patients performed in hospitals is usually done either in a manual or semiautomated way, where the members of the healthcare team must constantly visit the patients to ascertain the health condition in which they are. The adoption of this procedure, however, compromises the quality of the monitoring conducted since the shortage of physical and human resources in hospitals tends to overwhelm members of the healthcare team, preventing them from moving to patients with adequate frequency. Given this, many existing works in the literature specify alternatives aimed at improving this monitoring through the use of wireless networks. In these works, the network is only intended for data traffic generated by medical sensors and there is no possibility of it being allocated for the transmission of data from applications present in existing user stations in the hospital. However, in the case of hospital automation environments, this aspect is a negative point, considering that the data generated in such applications can be directly related to the patient monitoring conducted. Thus, this thesis defines Wi-Bio as a communication protocol aimed at the establishment of IEEE 802.11 networks for patient monitoring, capable of enabling the harmonious coexistence among the traffic generated by medical sensors and user stations. The formal specification and verification of Wi-Bio were made through the design and analysis of Petri net models. Its validation was performed through simulations with the Network Simulator 2 (NS2) tool. The simulations of NS2 were designed to portray a real patient monitoring environment corresponding to a floor of the nursing wards sector of the University Hospital Onofre Lopes (HUOL), located at Natal, Rio Grande do Norte. Moreover, in order to verify the feasibility of Wi-Bio in terms of wireless networks standards prevailing in the market, the testing scenario was also simulated under a perspective in which the network elements used the HCCA access mechanism described in the IEEE 802.11e amendment. The results confirmed the validity of the designed Petri nets and showed that Wi-Bio, in addition to presenting a superior performance compared to HCCA on most items analyzed, was also able to promote efficient integration between the data generated by medical sensors and user applications on the same wireless network

Modelagem em SystemC-AMS de uma plataforma compatível com o sistema de coleta de dados brasileiro

This work presents simulation results of an identification platform compatible with the INPE Brazilian Data Collection System, modeled with SystemC-AMS. SystemC-AMS that is a library of C++ classes dedicated to the simulation of heterogeneous systems, offering a powerful resource to describe models in digital, analog and RF domains, as well as mechanical and optic. The designed model was divided in four parts. The first block takes into account the satellite s orbit, necessary to correctly model the propagation channel, including Doppler effect, attenuation and thermal noise. The identification block detects the satellite presence. It is composed by low noise amplifier, band pass filter, power detector and logic comparator. The controller block is responsible for enabling the RF transmitter when the presence of the satellite is detected. The controller was modeled as a Petri net, due to the asynchronous nature of the system. The fourth block is the RF transmitter unit, which performs the modulation of the information in BPSK ±60o. This block is composed by oscillator, mixer, adder and amplifier. The whole system was simulated simultaneously. The results are being used to specify system components and to elaborate testbenchs for design verification

Uma arquitetura para sistemas supervisórios industriais e sua aplicação em processos de elevação artificial de petróleo

The using of supervision systems has become more and more essential in accessing, managing and obtaining data of industrial processes, because of constant and frequent developments in industrial automation. These supervisory systems (SCADA) have been widely used in many industrial environments to store process data and to control the processes in accordance with some adopted strategy. The SCADA s control hardware is the set of equipments that execute this work. The SCADA s supervision software accesses process data through the control hardware and shows them to the users. Currently, many industrial systems adopt supervision softwares developed by the same manufacturer of the control hardware. Usually, these softwares cannot be used with other equipments made by distinct manufacturers. This work proposes an approach for developing supervisory systems able to access process information through different control hardwares. An architecture for supervisory systems is first defined, in order to guarantee efficiency in communication and data exchange. Then, the architecture is applied in a supervisory system to monitor oil wells that use distinct control hardwares. The implementation was modeled and verified by using the formal method of the Petri networks. Finally, experimental results are presented to demonstrate the applicability of the proposed solution