974 resultados para Software requirements specifications
Resumo:
Neoseiulus baraki Athias-Henriot (Acari: Phytoseiidae) has been reported from the Americas, Africa and Asia, often in association with Aceria guerreronis Keifer (Acari: Eriophyidae), one of the most important pests of coconut (Cocos nucifera L.) in diVerent parts of the world. That phytoseiid has been considered one of the most common predators associated with A. guerreronis in Brazil. The objective of this study was to evaluate the feeding preference and the eVect of food items commonly present on coconut fruits and several temperature regimes on the life history of a Brazilian population of N. baraki. Completion of immature development was possible when N. baraki was fed A. guerreronis, Steneotarsonemus concavuscutum Lofego and Gondim Jr., and Tyrophagus putrescentiae (Schrank). Fecundity was highest on T. putrescentiae (39.4 eggs), followed by A. guerreronis (24.8 eggs). In choice tests, irrespective of the food on which N. baraki was reared, a larger number of adults of this predator chose leaf discs containing A. guerreronis than discs containing other food items, demonstrating a preference of the former for the latter as food. Egg to adult thermal developmental time was calculated as 84.2 degree-days, above a threshold of 15.8 degrees C. This lower developmental threshold is higher than previously published for phytoseiid species from higher latitudes. Neoseiulus baraki was shown to have higher biotic potential at 30 degrees C (r(m) 0.29). The results suggest N. baraki to be a promising biological control agent of A. guerreronis, well adapted to survive and develop in areas with relatively high temperatures, where that pest prevails.
Resumo:
A new strain of the parasitoid Trichogramma pretiosum, was collected in Rio Verde County, State of Goias, Central Brazil, and designated as T. pretiosum RV. This strain was then found to be the most effective one among several different strains of T. pretiosum tested in a parasitoid selection assay. Therefore, its biological characteristics and thermal requirements were studied, aiming at allowing its multiplication under controlled environmental conditions in the laboratory. The parasitoid was reared on eggs of Pseudoplusia includens and Anticarsia gemmatalis at different constant temperatures within an 18-32 degrees C temperature range. The number of annual generations of the parasitoid was also estimated at those temperatures. Results have shown that T. pretiosum RV developmental time, from egg to adult, was influenced by all temperatures tested within the range, varying from 6.8 to 20.3 days and 6.0 to 17.0 days on eggs of P. includens and A. gemmatalis, respectively. The emergence of T. pretiosum RV from eggs of A. gemmatalis was higher than 94% at all temperatures tested. When this variable was evaluated on eggs of P. includens, however, the figures were higher than that within the 18-30 degrees C range (more than 98%), and were also statistically higher than the emergence observed at 32 degrees C (90.2%). The sex ratio of the parasitoids emerged from eggs of A. gemmatalis decreased from 0.55 to 0.29 at 18-32 degrees C, respectively. However, for those emerged from eggs of P. includens, the sex ratio was similar (0.73, 0.72 and 0.71) at 20, 28 and 32 degrees C, respectively. The lower temperature threshold (Tb) and thermal constant (K) were 10.65 degrees C and 151.25 degree-days when the parasitoid was reared on eggs of P. includens; and 11.64 degrees C and 127.60 degree-days when reared on eggs of A. gemmatalis. The number of generations per month increased from 1.45 to 4.23 and from 1.49 to 4.79 when the parasitoid was reared on eggs of P. includens and A. gemmatalis, respectively, following the increases in the temperature. (C) 2009 Elsevier Inc. All rights reserved.
Resumo:
Crop evapotranspiration (ETc) was measured as evaporative heat flux from an irrigated acid lime orchard (Citrus latifolia Tanaka) using the aerodynamic method. Crop transpiration (T) was determined by a stem heat balance method. The irrigation requirements were determined by comparing the orchard evapotranspiration (ETc) and T with the reference evapotranspiration (ETo) derived from the Penman-Monteith equation, and the irrigation requirements were expressed as ETc/ETo (Kc) and T/ETo (Kcb) ratios. The influence of inter-row vegetation on the ETc was analyzed because the measurements were taken during the summer and winter, which are periods with different regional soil water content. In this study, the average Mc values obtained were 0.65 and 0.24 for the summer and winter, respectively. The strong coupling of citrus trees to the atmosphere and the sensitivity of citrus plants to large vapor pressure deficits and air/leaf temperatures caused variations in the Kcb in relation to the ETo ranges. During the summer, the Kcb value ranged from 0.34 when the ETo exceeded 5 mm d(-1) to 0.46 when the ETo was less than 3 mm d(-1). (C) 2011 Elsevier B.V. All rights reserved.
Resumo:
The aim of this study was to investigate how beaker size, basket assembly, use of disk, and immersion medium impact the disintegration time of dietary supplements. The disintegration times were determined for five tablet and two capsule products. A two-station disintegration tester was used with Apparatus A or Apparatus B as described in the United States Pharmacopeia (USP) chapters, < 701 > and < 2040 >. Two beakers complying with the harmonized specifications were used, one with a volume of 1,000 mL and one with a 1,500-mL volume. The disintegration data were analyzed using ANOVA for the following factors: beaker size, equipment (App A and B) and condition (with/without disk). Two tablet products were not sensitive to any changes in the test conditions or equipment configurations. One product was only partially sensitive to the test conditions. The other products showed impact on the disintegration time for all test conditions. The results revealed that these tablet products might pass or fail current USP disintegration requirements depending on the equipment configuration. Similar results were obtained for the two investigated capsule formulations. One product might fail current USP disintegration requirements if the large beaker was used, but might pass the disintegration requirements when the small beaker was used. Hydroxy propyl methyl cellulose capsules were mostly influenced if sodium instead of a potassium buffer was used as the immersion medium. The results demonstrate that the current harmonized ICH specifications for the disintegration test are insufficient to make the disintegration test into reliable test for dietary supplements.
Resumo:
This report describes recent updates to the custom-built data-acquisition hardware operated by the Center for Hypersonics. In 2006, an ISA-to-USB bridging card was developed as part of Luke Hillyard's final-year thesis. This card allows the hardware to be connected to any recent personal computers via a (USB or RS232) serial port and it provides a number of simple text-based commands for control of the hardware. A graphical user interface program was also updated to help the experimenter manage the data acquisition functions. Sampled data is stored in text files that have been compressed with the gzip for mat. To simplify the later archiving or transport of the data, all files specific to a shot are stored in a single directory. This includes a text file for the run description, the signal configuration file and the individual sampled-data files, one for each signal that was recorded.
Resumo:
The possibility of controlling vector-borne disease through the development and release of transgenic insect vectors has recently gained popular support and is being actively pursued by a number of research laboratories around the world. Several technical problems must be solved before such a strategy could be implemented: genes encoding refractory traits (traits that render the insect unable to transmit the pathogen) must be identified, a transformation system for important vector species has to be developed, and a strategy to spread the refractory trait into natural vector populations must be designed. Recent advances in this field of research make it seem likely that this technology will be available in the near future. In this paper we review recent progress in this area as well as argue that care should be taken in selecting the most appropriate disease system with which to first attempt this form of intervention. Much attention is currently being given to the application of this technology to the control of malaria, transmitted by Anopheles gambiae in Africa. While malaria is undoubtedly the most important vector-borne disease in the world and its control should remain an important goal, we maintain that the complex epidemiology of malaria together with the intense transmission rates in Africa may make it unsuitable for the first application of this technology. Diseases such as African trypanosomiasis, transmitted by the tsetse fly, or unstable malaria in India may provide more appropriate initial targets to evaluate the potential of this form of intervention.
Resumo:
The XSophe-Sophe-XeprView((R)) computer simulation software suite enables scientists to easily determine spin Hamiltonian parameters from isotropic, randomly oriented and single crystal continuous wave electron paramagnetic resonance (CW EPR) spectra from radicals and isolated paramagnetic metal ion centers or clusters found in metalloproteins, chemical systems and materials science. XSophe provides an X-windows graphical user interface to the Sophe programme and allows: creation of multiple input files, local and remote execution of Sophe, the display of sophelog (output from Sophe) and input parameters/files. Sophe is a sophisticated computer simulation software programme employing a number of innovative technologies including; the Sydney OPera HousE (SOPHE) partition and interpolation schemes, a field segmentation algorithm, the mosaic misorientation linewidth model, parallelization and spectral optimisation. In conjunction with the SOPHE partition scheme and the field segmentation algorithm, the SOPHE interpolation scheme and the mosaic misorientation linewidth model greatly increase the speed of simulations for most spin systems. Employing brute force matrix diagonalization in the simulation of an EPR spectrum from a high spin Cr(III) complex with the spin Hamiltonian parameters g(e) = 2.00, D = 0.10 cm(-1), E/D = 0.25, A(x) = 120.0, A(y) = 120.0, A(z) = 240.0 x 10(-4) cm(-1) requires a SOPHE grid size of N = 400 (to produce a good signal to noise ratio) and takes 229.47 s. In contrast the use of either the SOPHE interpolation scheme or the mosaic misorientation linewidth model requires a SOPHE grid size of only N = 18 and takes 44.08 and 0.79 s, respectively. Results from Sophe are transferred via the Common Object Request Broker Architecture (CORBA) to XSophe and subsequently to XeprView((R)) where the simulated CW EPR spectra (1D and 2D) can be compared to the experimental spectra. Energy level diagrams, transition roadmaps and transition surfaces aid the interpretation of complicated randomly oriented CW EPR spectra and can be viewed with a web browser and an OpenInventor scene graph viewer.
Resumo:
Using Landsat imagery, forest canopy density (FCD) estimated with the FCD Mapper®, was correlated with predominant height (PDH, measured as the average height of the tallest 50 trees per hectare) for 20 field plots measured in native forest at Noosa Heads, south-east Queensland, Australia. A corresponding image was used to calculate FCD in Leyte Island, the Philippines and was validated on the ground for accuracy. The FCD Mapper was produced for the International Tropical Timber Organisation and estimates FCD as an index of canopy density using reflectance characteristics of Landsat Enhanced Thematic (ETM) Mapper images. The FCD Mapper is a ‘semi-expert’ computer program which uses interactive screens to allow the operator to make decisions concerning the classification of land into bare soil, grass and forest. At Noosa, a positive strong nonlinear relationship (r2 = 0.86) was found between FCD and PDH for 15 field plots with variable PDH but complete canopy closure. An additional five field plots were measured in forest with a broken canopy and the software assessed these plots as having a much lower FCD than forest with canopy closure. FCD estimates for forest and agricultural land in the island of Leyte and subsequent field validation showed that at appropriate settings, the FCD Mapper differentiated between tropical rainforest and banana or coconut plantation. These findings suggest that in forests with a closed canopy this remote sensing technique has promise for forest inventory and productivity assessment. The findings also suggest that the software has promise for discriminating between native forest with a complete canopy and forest which has a broken canopy, such as coconut or banana plantation.
Resumo:
Expokit provides a set of routines aimed at computing matrix exponentials. More precisely, it computes either a small matrix exponential in full, the action of a large sparse matrix exponential on an operand vector, or the solution of a system of linear ODEs with constant inhomogeneity. The backbone of the sparse routines consists of matrix-free Krylov subspace projection methods (Arnoldi and Lanczos processes), and that is why the toolkit is capable of coping with sparse matrices of large dimension. The software handles real and complex matrices and provides specific routines for symmetric and Hermitian matrices. The computation of matrix exponentials is a numerical issue of critical importance in the area of Markov chains and furthermore, the computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials, a distinct attention is assigned to the computation of transient states of Markov chains.
Resumo:
Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.
Resumo:
In this and a preceding paper, we provide an introduction to the Fujitsu VPP range of vector-parallel supercomputers and to some of the computational chemistry software available for the VPP. Here, we consider the implementation and performance of seven popular chemistry application packages. The codes discussed range from classical molecular dynamics to semiempirical and ab initio quantum chemistry. All have evolved from sequential codes, and have typically been parallelised using a replicated data approach. As such they are well suited to the large-memory/fast-processor architecture of the VPP. For one code, CASTEP, a distributed-memory data-driven parallelisation scheme is presented. (C) 2000 Published by Elsevier Science B.V. All rights reserved.
Resumo:
L-studio/cpfg is a plant modeling software system designed for Windows 95/98/NT platforms. Its key components are the L-system-based plant simulator cpfg and the modeling environment called L-studio. We overview version 1.0 of this system from the user's perspective.
Resumo:
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.