911 resultados para verification
Resumo:
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
Resumo:
This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed
Resumo:
This work treats of an implementation OFDMA baseband processor in hardware for LTE Downlink. The LTE or Long Term Evolution consist the last stage of development of the technology called 3G (Mobile System Third Generation) which offers an increasing in data rate and more efficiency and flexibility in transmission with application of advanced antennas and multiple carriers techniques. This technology applies in your physical layer the OFDMA technical (Orthogonal Frequency Division Multiple Access) for generation of signals and mapping of physical resources in downlink and has as base theoretical to OFDM multiple carriers technique (Orthogonal Frequency Division Multiplexing). With recent completion of LTE specifications, different hardware solutions have been developed, mainly, to the level symbol processing where the implementation of OFDMA processor in base band is commonly considered, because it is also considered a basic architecture of others important applications. For implementation of processor, the reconfigurable hardware offered by devices as FPGA are considered which shares not only to meet the high requirements of flexibility and adaptability of LTE as well as offers possibility of an implementation quick and efficient. The implementation of processor in reconfigurable hardware meets the specifications of LTE physical layer as well as have the flexibility necessary for to meet others standards and application which use OFDMA processor as basic architecture for your systems. The results obtained through of simulation and verification functional system approval the functionality and flexibility of processor implemented
Resumo:
This work proposes a computer simulator for sucker rod pumped vertical wells. The simulator is able to represent the dynamic behavior of the systems and the computation of several important parameters, allowing the easy visualization of several pertinent phenomena. The use of the simulator allows the execution of several tests at lower costs and shorter times, than real wells experiments. The simulation uses a model based on the dynamic behavior of the rod string. This dynamic model is represented by a second order partial differencial equation. Through this model, several common field situations can be verified. Moreover, the simulation includes 3D animations, facilitating the physical understanding of the process, due to a better visual interpretation of the phenomena. Another important characteristic is the emulation of the main sensors used in sucker rod pumping automation. The emulation of the sensors is implemented through a microcontrolled interface between the simulator and the industrial controllers. By means of this interface, the controllers interpret the simulator as a real well. A "fault module" was included in the simulator. This module incorporates the six more important faults found in sucker rod pumping. Therefore, the analysis and verification of these problems through the simulator, allows the user to identify such situations that otherwise could be observed only in the field. The simulation of these faults receives a different treatment due to the different boundary conditions imposed to the numeric solution of the problem. Possible applications of the simulator are: the design and analysis of wells, training of technicians and engineers, execution of tests in controllers and supervisory systems, and validation of control algorithms
Resumo:
In the last decades there was a significant increasing of the numbers of researchers that joint efforts to find alternatives to improve the development of low environmental impact technology. Materials based on renewable resources have enormous potentials of applications and are seen as alternatives for the sustainable development. Within other parameters, the sustainability depends on the energetic efficiency, which depends on the thermal insulation. Alternative materials, including vegetal fibers, can be applied to thermal insulation, where its first goal is to minimize the loss of energy. In the present research, it was experimentally analyzed the thermal behavior of fiber blankets of sisal (Agave sisalana) with and without surface treatment with oxide hidroxide (NaOH). Blankets with two densities (1100/1200 and 1300/1400 g/m2) were submitted to three rates of heat transfer (22.5 W, 40 W and 62.5 W). The analysis of the results allowed comparing the blankets treated and untreated in each situation. Others experiments were carried out to obtain the thermal conductivity (k), heat capacity (C) and the thermal diffusivity (α) of the blankets. Thermo gravimetric analyses were made to the verification of the thermal stability. Based on the results it was possible to relate qualitatively the effect of the heat transfer through the sisal blankets subjected to three heat transfer rates, corresponding to three temperature values (77 °C, 112 °C e 155 °C). To the first and second values of temperature it was verified a considerable reduction on the rate of heat transfer; nevertheless, to the third value of temperature, the surface of the blankets (treated and untreated) in contact with the heated surface of the tube were carbonized. It was also verified, through the analyses of the results of the measurements of k, C e α, that the blankets treated and untreated have values near to the conventional isolating materials, as glass wool and rock wool. It could be concluded that is technically possible the use of sisal blankets as constitutive material of thermal isolation systems in applications where the temperature do not reach values greater than 112 ºC
Resumo:
Cornitermes cumulans is a termite species often found in pastures of Brazil, mainly in the most degraded ones. Chemical control has been the most recommended method against this insect pest, but control measures are usually avoided by farmers. Biocontrol of termites with entomopathogenic fungi and possibly with entomopathogenic nematodes have been considered promising techniques, being recommended for use in several countries. This study aimed to evaluate the pathogenicity of Steinernema carpocapsae (an unidentified isolate) against C cumulans castes (workers and soldiers). Three experiments were done, one using Petri dishes, with daily evaluations, and two others in artificial colonies (with workers and soldiers). For one of the experiments in artificial colonies, nematode suspensions (167 and 333 infective juveniles (IJ) per insect) were applied over the food supplied to the termites. For the other experiment, nematode suspensions (133, 267 and 533 IJ per insect) were applied directly over the artificial termite colonies. In these two experiments evaluations were done 1, 5 and 9 days after nematode application. Each dead insect was dissected for nematode verification. S. carpocapsae was highly pathogenic to both castes of C cumulans in all experiments.
Resumo:
This research presents an approach to the addition of curauá fibers and licuri fibers in a polypropylene resin matrix, such as an alternative proposal to reinforce the polymeric composites. Fiber content of 0 %, 5 %, 10 %, and 20% were analyzed for verification of their mechanical properties comparing them, inclusive with the properties of polypropylene. The grainulated biocomposites had been prepared in an extrusora. The test bodies had been molded by injection and submitted to the mechanical essays uniaxial traction, flexion on three points, impact, in addition to thermal tests (HDT). These biocomposites had been also subjected the essay physicist-chemistry index of fluidity (IF). It was observed that the biocomposites of PP with 20% curauá, obtained bigger increase in the modulus of elasticity and a bigger reduction in the resistance to the impact. In the mechanical behavior, for all the biocomposites, these were increases in values of the limit of drainage and tension of rupture, when tested by uniaxial traction, as they added the fibers. Another important point was the increase of the resistance the flexion. It was also noted that the addition of fibers reduced the thermal degradation of the mixture natural fibers / polypropylene.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
This research study deals with the production and distribution of drinking water with quality and safety in order to meet the needs of the Man. Points out the limitations of the methodology for assessing water quality in use today. Approaches the recommendations of the World Health Organization (WHO) for adoption, by the companies responsible for producing and distributing water, of assessment methodologies and risk management (HACCP), in order to ensure the quality and safety of water drinking. Suggests strategies for implementing the plan for water safety plan. Uses the process of water production, composed by Maxaranguape river basin, the water treatment plant and distribution system, which is part of the Plan for Expansion of the Supply System of Natal, as case study. The results, it was possible to devise strategies for implementation of the Water Safety Plan (WSP), which comprises the following steps: a) a preliminary stage. b) assessment system. c) process monitoring. d) management plan and e) validation and verification of the PSA. At each stage are included actions for its implementation. The implementation of the PSA shows a new type of water production, in which the fountain as a whole (watershed and point of capture), the Water Treatment Plant (WTP) and distribution, shall compose the production process, over which to build quality and safety of the final product (drinking water)
Resumo:
In this paper is a totally automatic strategy proposed to reduce the complexity of patterns ( vegetation, building, soils etc.) that interact with the object 'road' in color images, thus reducing the difficulty of the automatic extraction of this object. The proposed methodology consists of three sequential steps. In the first step the punctual operator is applied for artificiality index computation known as NandA ( Natural and Artificial). The result is an image whose the intensity attribute is the NandA response. The second step consists in automatically thresholding the image obtained in the previous step, resulting in a binary image. This image usually allows the separation between artificial and natural objects. The third step consists in applying a preexisting road seed extraction methodology to the previous generated binary image. Several experiments carried out with real images made the verification of the potential of the proposed methodology possible. The comparison of the obtained result to others obtained by a similar methodology for road seed extraction from gray level images, showed that the main benefit was the drastic reduction of the computational effort.
Resumo:
Realizou-se exame microbiológico em 24 amostras de sorvetes não pasteurizados, todos preparados de maneira não industrial e à base de leite (creme, nata, chocolate), fabricados por 12 sorveterias diferentes da cidade de Araraquara, SP. Colheram-se duas amostras de cada sorveteria com intervalo de 15 dias entre as colheitas. Realizaram-se as seguintes provas: contagem de bactérias aeróbicas ou facultativas mesófilas e psicrófilas e de Staphylococcus aureus; determinação do Número Mais Provável (NMP) de coliformes totais e fecais e da presença de Salmonella. As técnicas utilizadas foram aquelas convencionalmente usadas para tais determinações. Não foi encontrada Salmonella em nenhuma das amostras e de cerca de 16,6% delas isolou-se Staphylococcus aureus. em proporções variáveis verificou-se a presença de microrgarnismos deteriorantes e daqueles indicadores de poluição de origem fecal.