935 resultados para test data generation
Resumo:
Death due to childhood cancer reflects an early outcome of life, which can cause a strong repercussion in the mother s existence - figure to whom the greatest part of responsibilities during the child s illness is commonly allocated. The aim of this study is to understand the experience of mothers who have lost a kid as a consequence of childhood cancer, approaching the personal senses of this fact. Following a qualitative research design, with an exploratory and comprehensive approach, the study used the narrative method, which was obtained from a semi-structured interview, as the data generation procedure. The research counted on the participation of three adult mothers who had lost their kids because of childhood cancer, after - at least - a six-month period of oncologic treatment. The proposal of analysis follows the parameters of the phenomenological method and the data are based on Martin Heidegger s existential analytic. The results were structured into three thematic axes: previous History, child illness and its repercussions; The network of support and care; Loss and after loss: facing and signifying. It was possible to comprehend that the emergence of cancer in childhood promotes, since the diagnosis, a disruption of everyday meanings, accentuating the fragile condition of human life. In this specific circumstance of childhood illness, all the participants restricted their possibilities of being-in-the-world, dedicating exclusively to the practice of maternity. Concerning their relationship with their children in treatment, the narratives unveiled, in a convergent manner, the existence of care in a substitutive mode. In the network of support - primarily constituted by family, the health team and the support institutions - the relations were marked by proximity and detachment movements. With the child s death, mothers began to live a way of being-with the absent child , ensuring the continuity of the relationship with the dead infant. From the results exposed above, we can understand the motherly mourn as a singular experience in constant resignification, in which the subjective time overlaps the cronological time. The increment of anguish, resulting from the mother s confrontation to the question of finitude, mobilizes a process of change in their way of being-in-the-world, promoting an openness to new possibilities in their lives. Singular attention to the mother, during the process of illness and child loss, turns out to be fundamental
Resumo:
Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Background and Objective: evaluate the adhesion of adhesive restorations with and without a base of resin-modified glass-ionomer cement (RMGIC) to dentin irradiated with Er:YAG laser.Study Design/Materials and Methods: Twenty-four human molar teeth were divided into 6 groups (n=4): G1) 37% Phosphoric acid (PA) + Adhesive system (Ad) + Composite resin (CR); G2) RMGIC + CR; G3) Laser (60mJ-5Hz-20s) + PA + Ad + CR; G4) Laser (60 mJ-5 Hz-20 s) + RMGIC + CR; G5) Laser (100mJ-5Hz-20s) + PA + Ad + CR; G6) Laser (100mJ-5Hz-20s) + RMGIC + CR. Teeth were prepared, restored and cut into specimens, according to the treatment proposed and to methodology for microtensile test. Data were submitted to ANOVA and Tukey statistical tests (alpha=5%).Results:. The mean values for adhesion (MPa) and standard deviation (+/- SD) were: G1) 26.30(+/- 4.50), G2) 5.34(+/- 2.87), G3) 21.16(+/- 6.01), G4) 5.22(+/- 1.52), G5) 22.23(+/- 4.98), G6) 5.25(+/- 3.08).Conclusion: the use of Er:YAG laser did not influence on the restorations adhesion.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Os testes de vigor são empregados pelas empresas produtoras de sementes, no controle interno de qualidade. Dentre estes, o teste de comprimento de plântulas tem potencial para ser usado para este fim. Assim, o trabalho objetivou verificar a possibilidade de utilização do teste de comprimento de plântulas como um método de vigor para classificar lotes de sementes de soja de acordo com a sua qualidade fisiológica. Para tanto, variou-se a forma de apresentação dos resultados médios de comprimento de plântulas e de suas partes (raiz e hipocótilo). A qualidade fisiológica de três lotes de soja (Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA) 48), de mesma classe de tamanho e com teor de água semelhante, foi avaliada por testes de viabilidade e vigor, realizados em laboratório e campo. Empregou-se delineamento inteiramente casualizado. As médias foram comparadas pelo teste de Tukey a 5% de probabilidade. Correlacionaram-se os dados médios dos testes realizados em laboratório e em campo. O comprimento da raiz de soja foi mais sensível para diferenciar lotes, apresentando maior correlação com a emergência das plântulas de soja em campo. O comprimento de plântulas ou de suas partes distinguiram os três lotes de soja somente quando seus resultados médios foram divididos pelo número de sementes em teste, mostrando ser a forma mais eficaz para classificar lotes de alta qualidade e com diferenças sutis de vigor.
Resumo:
Pathogenic variation in Colletotrichum gloeosporioides infecting species of the tropical pasture legume Stylosanthes at its center of diversity was determined from 296 isolates collected from wild host population and selected germ plasm of S. capitata, S. guianensis, S. scabra, and S. macrocephala in Brazil. A putative host differential set comprising 11 accessions was selected from a bioassay of 18 isolates on 19 host accessions using principal component analysis. A similar analysis of anthracnose severity data for a subset of 195 isolates on the 11 differentials indicated that an adequate summary of pathogenic variation could be obtained using only five of these differentials. of the five differentials, S. seabrana 'Primar' was resistant and S. scabra 'Fitzroy' was susceptible to most isolates. A cluster analysis was used to determine eight natural race clusters using the 195 isolates. Linear discriminant functions were developed for eight race clusters using the 195 isolates as the training data set, and these were applied to classify a test data set of the remaining 101 isolates. All except 11 isolates of the test data set were classified into one of the eight race clusters. Over 10% of the 296 isolates were weakly pathogenic to all five differentials and another 40% were virulent on just one differential. The unclassified isolates represent six new races with unique virulence combinations, of which one isolate is virulent on all five differentials. The majority of isolates came from six field sites, and Shannon's index of diversity indicated considerable variation between sites. Pathogenic diversity was extensive at three sites where selected germ plasm were under evaluation, and complex race clusters and unclassified isolates representing new races were more prevalent at these sites compared with sites containing wild Stylosanthes populations.
Resumo:
The code STATFLUX, implementing a new and simple statistical procedure for the calculation of transfer coefficients in radionuclide transport to animals and plants, is proposed. The method is based on the general multiple-compartment model, which uses a system of linear equations involving geometrical volume considerations. Flow parameters were estimated by employing two different least-squares procedures: Derivative and Gauss-Marquardt methods, with the available experimental data of radionuclide concentrations as the input functions of time. The solution of the inverse problem, which relates a given set of flow parameter with the time evolution of concentration functions, is achieved via a Monte Carlo Simulation procedure.Program summaryTitle of program: STATFLUXCatalogue identifier: ADYS_v1_0Program summary URL: http://cpc.cs.qub.ac.uk/summaries/ADYS_v1_0Program obtainable from: CPC Program Library, Queen's University of Belfast, N. IrelandLicensing provisions: noneComputer for which the program is designed and others on which it has been tested: Micro-computer with Intel Pentium III, 3.0 GHzInstallation: Laboratory of Linear Accelerator, Department of Experimental Physics, University of São Paulo, BrazilOperating system: Windows 2000 and Windows XPProgramming language used: Fortran-77 as implemented in Microsoft Fortran 4.0. NOTE: Microsoft Fortran includes non-standard features which are used in this program. Standard Fortran compilers such as, g77, f77, ifort and NAG95, are not able to compile the code and therefore it has not been possible for the CPC Program Library to test the program.Memory, required to execute with typical data: 8 Mbytes of RAM memory and 100 MB of Hard disk memoryNo. of bits in a word: 16No. of lines in distributed program, including test data, etc.: 6912No. of bytes in distributed Program, including test data, etc.: 229 541Distribution format: tar.gzNature of the physical problem: the investigation of transport mechanisms for radioactive substances, through environmental pathways, is very important for radiological protection of populations. One such pathway, associated with the food chain, is the grass-animal-man sequence. The distribution of trace elements in humans and laboratory animals has been intensively studied over the past 60 years [R.C. Pendlenton, C.W. Mays, R.D. Lloyd, A.L. Brooks, Differential accumulation of iodine-131 from local fallout in people and milk, Health Phys. 9 (1963) 1253-1262]. In addition, investigations on the incidence of cancer in humans, and a possible causal relationship to radioactive fallout, have been undertaken [E.S. Weiss, M.L. Rallison, W.T. London, W.T. Carlyle Thompson, Thyroid nodularity in southwestern Utah school children exposed to fallout radiation, Amer. J. Public Health 61 (1971) 241-249; M.L. Rallison, B.M. Dobyns, F.R. Keating, J.E. Rall, F.H. Tyler, Thyroid diseases in children, Amer. J. Med. 56 (1974) 457-463; J.L. Lyon, M.R. Klauber, J.W. Gardner, K.S. Udall, Childhood leukemia associated with fallout from nuclear testing, N. Engl. J. Med. 300 (1979) 397-402]. From the pathways of entry of radionuclides in the human (or animal) body, ingestion is the most important because it is closely related to life-long alimentary (or dietary) habits. Those radionuclides which are able to enter the living cells by either metabolic or other processes give rise to localized doses which can be very high. The evaluation of these internally localized doses is of paramount importance for the assessment of radiobiological risks and radiological protection. The time behavior of trace concentration in organs is the principal input for prediction of internal doses after acute or chronic exposure. The General Multiple-Compartment Model (GMCM) is the powerful and more accepted method for biokinetical studies, which allows the calculation of concentration of trace elements in organs as a function of time, when the flow parameters of the model are known. However, few biokinetics data exist in the literature, and the determination of flow and transfer parameters by statistical fitting for each system is an open problem.Restriction on the complexity of the problem: This version of the code works with the constant volume approximation, which is valid for many situations where the biological half-live of a trace is lower than the volume rise time. Another restriction is related to the central flux model. The model considered in the code assumes that exist one central compartment (e.g., blood), that connect the flow with all compartments, and the flow between other compartments is not included.Typical running time: Depends on the choice for calculations. Using the Derivative Method the time is very short (a few minutes) for any number of compartments considered. When the Gauss-Marquardt iterative method is used the calculation time can be approximately 5-6 hours when similar to 15 compartments are considered. (C) 2006 Elsevier B.V. All rights reserved.
Resumo:
The dilatometer test results have been lately applied in foundation design for prediction of settlement and bearing capacity problems. The equipment, its calibration, test procedures and test data interpretation are simple. These advantages seem to explain the increasing use of the dilatometer (DMT) test as a routine technique for subsoil investigation. The DMT test boreholes were carried out on the grounds of the National Research Council (NRC) in Ottawa. Several test results based on laboratory, and other in situ tests available in the literature for the Leda clay deposit in Ottawa area were used to provide correlations between geotechnical properties and soil index parameters as proposed by Marchetti (1980). More appropriated relationships, even though preliminaries, are presented for the crust layer.
Resumo:
A site investigation program was carried out to detect salt-water intrusions in a shallow sedimentary aquifer based on electrical resistivity measurements. The site is located close to Paranaguá harbor, in the Paraná State, Brasil. At this site, high chloride concentration contaminated shallow water wells used to supply water for local industries. The site investigation program included a fieldwork, dipole-dipole electrical profiling, resistivity piezocone tests, physical-chemical analysis of sampled water and interpretation of borehole logs. The resistivity piezocone tests provided two simultaneous information; the soil stratigraphy at a very detailed level and a quasi-continuous resistivity profile. Both information adequately complemented dipole-dipole electrical profiling test data. The integration of all test data allowed identifying the contaminated areas as well as guided the location of new water wells to be installed in this area.
Resumo:
This study evaluated the effect of water-bath and microwave post-polymerization treatments on the flexural strength and Vickers hardness of four autopolymerizing reline resins (Duraliner II-D, Kooliner-K, Tokuso Rebase Fast-TR and Ufi Gel Hard C-UGH) and one heat-polymerized acrylic resin (Lucitone 550-L), processed using two polymerization cycles (short cycle - 90 minutes at 73°C and 100°C for 30 minutes; and long cycle - 9 hours at 71°C). For each material, thirty specimens (64 x 10 x 3.3 mm) were made and divided into 3 groups (n=10). Specimens were tested after: processing (control group); water-bath at 55°C for 10 minutes (reline materials) or 60 minutes (L); and microwave irradiation. Flexural strength tests were performed at a crosshead speed of 5 mm/min using a three-point bending device with a span of 50 mm. The flexural strengths values were calculated in MPa. One fragment of each specimen was submitted to Vickers hardness test. Data were analyzed by 2-way ANOVA followed by Tukey's HSD test (α=0.05). L microwaved specimens (short cycle) exhibited significantly higher flexural strength means than its respective control group (p<0.05). Water-bath promoted a significant increase (p<0.05) in flexural strength of K and L (long cycle). The hardness of the tested materials was not influenced by the post-polymerization treatments. Post-polymerization treatments could be used to improve the flexural strength of some materials tested.
Resumo:
Water is the raw material used most in the production of diverse pharmaceutical forms and, being a constituent of the formulation itself, is subject to a number of physico-chemical and microbiological specifications. In addition, it is indispensable for laboratory tests and the cleaning of equipment and apparatus. The aim of this study was to ascertain the degree of physicochemical and microbiological contamination of purified water used in compounding pharmacies in the city of São José do Rio Preto, SP, Brazil. Samples were taken as recommended in the USP Pharmacopeia, with careful aseptic technique, and sent immediately the to quality control laboratory. Physicochemical properties were analyzed, including appearance, pH, conductivity, residue after evaporation, ammonia, calcium, chloride, heavy metals, sulfate and oxidizable substances, and microbiological tests were performed: total aerobic microbial count and detection of total and thermotolerant coliforms and Pseudomonas aeruginosa. Results showed that some parameters did not conform to the standards, especially pH, conductivity, inorganic impurities, oxidizable substances and microbiological test data, in 10%, 17%, 10%, 14% and 20% of the analyzed samples, respectively, This points to the need for greater care in the production and/or storage of purified water in these pharmaceutical establishments.
Resumo:
This paper presents the first results of a system to carry out seismic SPT, which associates the up-hole seismic technique to the currently used SPT test. This hybrid test allows determining the maximum shear modulus (G 0) together with the SPT test. G 0 is the most important dynamic soil parameter and it is calculated based on the shear wave velocity (V S) measurements. The equipment and the method of analysis will be briefly described. The V s values measured using the S-SPT in one experimental research site located inland of Sao Paulo State-Brazil are presented and compared with down-hole and Seismic CPT test data. These preliminary results indicate that the S-SPT was satisfactory and can be used for dynamic site characterization.
Resumo:
A suit able decision-making on managing a contaminated site characterization program is strongly dependent of the diagnosis process. A detailed diagnosis can be done based on a Conceptual Site Model (CSM) elaboration using high resolution site characterization tools. The piezocone (CPTu) test is a high resolution tool which allows attaching several specific sensors, like the resistivity probe. This hybrid device is called the resistivity piezocone (RCPTu). A simulated geo-environmental site characterization program was performed on an erosion site using different tools (direct push tools soil samplers, hollow stem auger (HSA) drilling and RCPTu tests) to develop the CSM for a site similar to the Brazilian conditions. It was observed a good agreement between the site profiles interpreted by the different methods. The resistivity sensor attached to the piezocone improved the interpretation and the decision-making process on site was significantly better for the CSM elaboration. The RCPTu test data also allowed identifying the hydrogeological heterogeneities. The present study shows that the RCPTu test is also a useful and powerful tool to development an accurate CSM in a Brazilian condition, especially in an approach that prioritizes high resolution geo-environmental investigation. © 2013 Taylor & Francis Group.
Resumo:
This paper develops a novel full analytic model for vibration analysis of solid-state electronic components. The model is just as accurate as finite element models and numerically light enough to permit for quick design trade-offs and statistical analysis. The paper shows the development of the model, comparison to finite elements and an application to a common engineering problem. A gull-wing flat pack component was selected as the benchmark test case, although the presented methodology is applicable to a wide range of component packages. Results showed very good agreement between the presented method and finite elements and demonstrated the usefulness of the method in how to use standard test data for a general application. © 2013 Elsevier Ltd.