992 resultados para Testing programs
Resumo:
Observations of an insect's movement lead to theory on the insect's flight behaviour and the role of movement in the species' population dynamics. This theory leads to predictions of the way the population changes in time under different conditions. If a hypothesis on movement predicts a specific change in the population, then the hypothesis can be tested against observations of population change. Routine pest monitoring of agricultural crops provides a convenient source of data for studying movement into a region and among fields within a region. Examples of the use of statistical and computational methods for testing hypotheses with such data are presented. The types of questions that can be addressed with these methods and the limitations of pest monitoring data when used for this purpose are discussed. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
Objectives: The present study aimed to investigate the feasibility and practicalities or testing children in special school settings using transient evoked otoacoustic emissions (TEOAE) and tympanometry. Children studying in special schools, particularly those with intellectual impairment, may be highly susceptible to hearing pathologies and can be difficult to assess using traditional test batteries. Researchers have recently suggested the possible applicability of TEOAE testing. in lieu of conventional behavioral methods, as a hearing screening device for persons with intellectual impairment. However, to date. few publications have detailed the particulars and results of such testing. Methods: A total of 489 children, with a mean age of 9.6 years, were tested in 15 special schools. Case information was obtained regarding birth history, medical history and type,degree of impairment, for later comparison with screening results. TEOAEs were collected using Quickscreen mode of the ILO292 Otodynamics Analyzer, whilst tympanometry was performed utilizing a Madsen Zodiac 901 Middle Ear Analyzer. Results: In total, 80% of students were able to be tested using TEOAEs. Average test time per ear was 2 min. However, a large proportion (40 of those able to be tested) failed TEOAE testing in at least one ear. No significant effects were found between could-not-test (CNT) cases and case history factors, A significant difference in TEOAE failure rates was found across history of neonatal special care nursery residency and history of parental concern regarding possible hearing impairment. Failure rates were higher for those who indicated positive histories. A total of 74% of subjects could be tested using tympanometry, with 25% of those able to be tested failing in at least one ear. Notably, neither type nor degree of impairment had any significant bearing on CNT or failure rates for tympanometry or TEOAE screening. Conclusions: Findings of the present investigation lend support to the review of hearing screening programs for children in special schools. with TEOAEs presenting as a potential alternative procedure. Further examination of the performance measures of protocols incorporating TEOAEs would now be advantageous. (C) 2002 Elsevier Science Ireland Ltd. All rights reserved.
Resumo:
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.
Resumo:
Molecular evolution has been considered to be essentially a stochastic process, little influenced by the pace of phenotypic change. This assumption was challenged by a study that demonstrated an association between rates of morphological and molecular change estimated for total-evidence phylogenies, a finding that led some researchers to challenge molecular date estimates of major evolutionary radiations. Here we show that Omland's (1997) result is probably due to methodological bias, particularly phylogenetic nonindependence, rather than being indicative of an underlying evolutionary phenomenon. We apply three new methods specifically designed to overcome phylogenetic bias to 13 published phylogenetic datasets for vertebrate taxa, each of which includes both morphological characters and DNA sequence data. We find no evidence of an association between rates of molecular and morphological rates of change.
Resumo:
The prevention of inherited disabilities is viewed in two contrasting ways – either as enhancing reproductive choice and improving population health, or as discriminating against disabled community members. We argue that modern clinical genetics, including preimplantation genetic diagnosis (PGD), reflects a persistent and defensible desire by the community to prevent disability, rather than as increasing discrimination or threatening to produce a 'new eugenic' society. Screening should be presented as a distinct issue for decision-making about the prevention or acceptance of disability, rather than as a routinely accepted component of antenatal care. The community must improve its understanding of the experiences of those who manage disability, and continue to debate the issues of discrimination, selective genetic prevention and enhancement, reproductive freedom, and eugenics.
Resumo:
With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.
Resumo:
Objectives: To compare the population modelling programs NONMEM and P-PHARM during investigation of the pharmacokinetics of tacrolimus in paediatric liver-transplant recipients. Methods: Population pharmacokinetic analysis was performed using NONMEM and P-PHARM on retrospective data from 35 paediatric liver-transplant patients receiving tacrolimus therapy. The same data were presented to both programs. Maximum likelihood estimates were sought for apparent clearance (CL/F) and apparent volume of distribution (V/F). Covariates screened for influence on these parameters were weight, age, gender, post-operative day, days of tacrolimus therapy, transplant type, biliary reconstructive procedure, liver function tests, creatinine clearance, haematocrit, corticosteroid dose, and potential interacting drugs. Results: A satisfactory model was developed in both programs with a single categorical covariate - transplant type - providing stable parameter estimates and small, normally distributed (weighted) residuals. In NONMEM, the continuous covariates - age and liver function tests - improved modelling further. Mean parameter estimates were CL/F (whole liver) = 16.3 1/h, CL/F (cut-down liver) = 8.5 1/h and V/F = 565 1 in NONMEM, and CL/F = 8.3 1/h and V/F = 155 1 in P-PHARM. Individual Bayesian parameter estimates were CL/F (whole liver) = 17.9 +/- 8.8 1/h, CL/F (cutdown liver) = 11.6 +/- 18.8 1/h and V/F = 712 792 1 in NONMEM, and CL/F (whole liver) = 12.8 +/- 3.5 1/h, CL/F (cut-down liver) = 8.2 +/- 3.4 1/h and V/F = 221 1641 in P-PHARM. Marked interindividual kinetic variability (38-108%) and residual random error (approximately 3 ng/ml) were observed. P-PHARM was more user friendly and readily provided informative graphical presentation of results. NONMEM allowed a wider choice of errors for statistical modelling and coped better with complex covariate data sets. Conclusion: Results from parametric modelling programs can vary due to different algorithms employed to estimate parameters, alternative methods of covariate analysis and variations and limitations in the software itself.
Testing the applicability of molecular genetic markers to population analyses of scleratinian corals
Resumo:
The abundance of coral reefs worldwide is in decline, and despite the ecological importance of reefs, only a limited number of DNA markers have been identified for scleractinian coral genetic studies. This paper addresses the search for new coral molecular markers and investigates the applicability of the cytochrome c oxidase subunit I (COI), the internal transcribed spacer region 1 (ITS1), and the pocilloporin gene to the question of intraspecific variation in the scleractinian coral Pocillopora verrucosa along the southeast African coastline. The COI fragment was 710 bp long and was identical for P. verrucosa (n = 10) and P. damicornis (n = 3). Only two different ITS1 sequences were found (differing by 13 bp insertion), but more importantly, 24% of the sequences were heterogenous indicating that different multiple copies of the sequence exist. Pocilloporin is an intronless gene that was absolutely conserved throughout all P. verrucosa populations (n = 50). Thus, the three DNA regions studied appear unsuitable for the population genetic analyses of P. verrucosa.
Resumo:
The aim of this study was to assess the variation between neuropathologists in the diagnosis of common dementia syndromes when multiple published protocols are applied. Fourteen out of 18 Australian neuropathologists participated in diagnosing 20 cases (16 cases of dementia, 4 age-matched controls) using consensus diagnostic methods. Diagnostic criteria, clinical synopses and slides from multiple brain regions were sent to participants who were asked for case diagnoses. Diagnostic sensitivity, specificity, predictive value, accuracy and variability were determined using percentage agreement and kappa statistics. Using CERAD criteria, there was a high inter-rater agreement for cases with probable and definite Alzheimer's disease but low agreement for cases with possible Alzheimer's disease. Braak staging and the application of criteria for dementia with Lewy bodies also resulted in high inter-rater agreement. There was poor agreement for the diagnosis of frontotemporal dementia and for identifying small vessel disease. Participants rarely diagnosed more than one disease in any case. To improve efficiency when applying multiple diagnostic criteria, several simplifications were proposed and tested on 5 of the original 210 cases. Inter-rater reliability for the diagnosis of Alzheimer's disease and dementia with Lewy bodies significantly improved. Further development of simple and accurate methods to identify small vessel lesions and diagnose frontotemporal dementia is warranted.
Resumo:
Landscape metrics are widely applied in landscape ecology to quantify landscape structure. However, many are poorly tested and require rigorous validation if they are to serve as reliable indicators of habitat loss and fragmentation, such as Montreal Process Indicator 1.1e. We apply a landscape ecology theory, supported by exploratory and confirmatory statistical techniques, to empirically test landscape metrics for reporting Montreal Process Indicator 1.1e in continuous dry eucalypt forests of sub-tropical Queensland, Australia. Target biota examined included: the Yellow-bellied Glider (Petaurus australis); the diversity of nectar and sap feeding glider species including P. australis, the Sugar Glider P. breviceps, the Squirrel Glider P. norfolcensis, and the Feathertail Glider Acrobates pygmaeus; six diurnal forest birds species; total diurnal bird species diversity; and the density of nectar-feeding diurnal bird species. Two scales of influence were considered: the stand-scale (2 ha), and a series of radial landscape extents (500 m - 2 km; 78 - 1250 ha) surrounding each fauna transect. For all biota, stand-scale structural and compositional attributes were found to be more influential than landscape metrics. For the Yellow-bellied Glider, the proportion of trace habitats with a residual element of old spotted-gum/ironbark eucalypt trees was a significant landscape metric at the 2 km landscape extent. This is a measure of habitat loss rather than habitat fragmentation. For the diversity of nectar and sap feeding glider species, the proportion of trace habitats with a high coefficient of variation in patch size at the 750 m extent was a significant landscape metric. None of the landscape metrics tested was important for diurnal forest birds. We conclude that no single landscape metric adequately captures the response of the region's forest biota per se. This poses a major challenge to regional reporting of Montreal Process Indicator 1.1e, fragmentation of forest types.