118 resultados para Test Case Generator

em University of Queensland eSpace - Australia


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Many models have been advanced to suggest how different expressions of sociality have evolved and are maintained. However these models ignore the function of groups for the particular species in question. Here we present a new perspective on sociality where the function of the group takes a central role. We argue that sociality may have primarily a reproductive, protective, or foraging function, depending on whether it enhances the reproductive, protective or foraging aspect of the animal's life (sociality may serve a mixture of these functions). Different functions can potentially cause the development of the same social behaviour. By identifying which function influences a particular social behaviour we can determine how that social behaviour will change with changing conditions, and which models are most pertinent. To test our approach we examined spider sociality, which has often been seen as the poor cousin to insect sociality. By using our approach we found that the group characteristics of eusocial insects is largely governed by the reproductive function of their groups, while the group characteristics of social spiders is largely governed by the foraging function of the group. This means that models relevant to insects may not be relevant to spiders. It also explains why eusocial insects have developed a strict caste system while spider societies are more egalitarian. We also used our approach to explain the differences between different types of spider groups. For example, differences in the characteristics of colonial and kleptoparasitic groups can be explained by differences in foraging methods, while differences between colonial and cooperative spiders can be explained by the role of the reproductive function in the formation of cooperative spider groups. Although the interactions within cooperative spider colonies are largely those of a foraging society, demographic traits and colony dynamics are strongly influenced by the reproductive function. We argue that functional explanations help to understand the social structure of spider groups and therefore the evolutionary potential for speciation in social spiders.

Relevância:

100.00% 100.00%

Publicador:

Relevância:

90.00% 90.00%

Publicador:

Resumo:

The research literature on metalieuristic and evolutionary computation has proposed a large number of algorithms for the solution of challenging real-world optimization problems. It is often not possible to study theoretically the performance of these algorithms unless significant assumptions are made on either the algorithm itself or the problems to which it is applied, or both. As a consequence, metalieuristics are typically evaluated empirically using a set of test problems. Unfortunately, relatively little attention has been given to the development of methodologies and tools for the large-scale empirical evaluation and/or comparison of metaheuristics. In this paper, we propose a landscape (test-problem) generator that can be used to generate optimization problem instances for continuous, bound-constrained optimization problems. The landscape generator is parameterized by a small number of parameters, and the values of these parameters have a direct and intuitive interpretation in terms of the geometric features of the landscapes that they produce. An experimental space is defined over algorithms and problems, via a tuple of parameters for any specified algorithm and problem class (here determined by the landscape generator). An experiment is then clearly specified as a point in this space, in a way that is analogous to other areas of experimental algorithmics, and more generally in experimental design. Experimental results are presented, demonstrating the use of the landscape generator. In particular, we analyze some simple, continuous estimation of distribution algorithms, and gain new insights into the behavior of these algorithms using the landscape generator.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Smoothing the potential energy surface for structure optimization is a general and commonly applied strategy. We propose a combination of soft-core potential energy functions and a variation of the diffusion equation method to smooth potential energy surfaces, which is applicable to complex systems such as protein structures; The performance of the method was demonstrated by comparison with simulated annealing using the refinement of the undecapeptide Cyclosporin A as a test case. Simulations were repeated many times using different initial conditions and structures since the methods are heuristic and results are only meaningful in a statistical sense.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The step size determines the accuracy of a discrete element simulation. The position and velocity updating calculation uses a pre-calculated table and hence the control of step size can not use the integration formulas for step size control. A step size control scheme for use with the table driven velocity and position calculation uses the difference between the calculation result from one big step and that from two small steps. This variable time step size method chooses the suitable time step size for each particle at each step automatically according to the conditions. Simulation using fixed time step method is compared with that of using variable time step method. The difference in computation time for the same accuracy using a variable step size (compared to the fixed step) depends on the particular problem. For a simple test case the times are roughly similar. However, the variable step size gives the required accuracy on the first run. A fixed step size may require several runs to check the simulation accuracy or a conservative step size that results in longer run times. (C) 2001 Elsevier Science Ltd. All rights reserved.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

A new method is presented to determine an accurate eigendecomposition of difficult low temperature unimolecular master equation problems. Based on a generalisation of the Nesbet method, the new method is capable of achieving complete spectral resolution of the master equation matrix with relative accuracy in the eigenvectors. The method is applied to a test case of the decomposition of ethane at 300 K from a microcanonical initial population with energy transfer modelled by both Ergodic Collision Theory and the exponential-down model. The fact that quadruple precision (16-byte) arithmetic is required irrespective of the eigensolution method used is demonstrated. (C) 2001 Elsevier Science B.V. All rights reserved.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Marking its fiftieth anniversary in late 2001, the ANZUS alliance remains Australia's primary security relationship and one of the United States' most important defence arrangements in the Asia-Pacific region. It is argued here that ANZUS has defied many common suppositions advanced by international relations theorists on how alliances work. It thus represents an important refutation of arguments that they are short-term instruments of mere policy expediency and are largely interest-dependent. Cultural and normative factors are powerful, if often underrated, determinants for ANZUS's perpetuation. ANZUS may thus constitute an important test case for expanding our understanding of alliance politics beyond the usual preconditions and prerogatives normally associated with such a relationship.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

There are several competing methods commonly used to solve energy grained master equations describing gas-phase reactive systems. When it comes to selecting an appropriate method for any particular problem, there is little guidance in the literature. In this paper we directly compare several variants of spectral and numerical integration methods from the point of view of computer time required to calculate the solution and the range of temperature and pressure conditions under which the methods are successful. The test case used in the comparison is an important reaction in combustion chemistry and incorporates reversible and irreversible bimolecular reaction steps as well as isomerizations between multiple unimolecular species. While the numerical integration of the ODE with a stiff ODE integrator is not the fastest method overall, it is the fastest method applicable to all conditions.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

The testing of concurrent software components can be difficult due to the inherent non-determinism present in these components. For example, if the same test case is run multiple times, it may produce different results. This non-determinism may lead to problems with determining expected outputs. In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool. We then present a recent extension to the tool that provides a general solution to this problem that is sufficient to deal with the level of non-determinism that we have encountered in testing over 20 components with ConAn. © 2005 IEEE

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This case study represents four years of audiological observations, testing and aural habilitation of a female child with a partial agenesis of the corpus callosum (ACC). The ACC was diagnosed by MRI scans to eliminate neurological causes for developmental delay at six months of age. This child was also born with a cleft palate and was diagnosed with Robinow Syndrome at 3 years and 3 months of age. The audiological results showed an improvement in hearing thresholds over the four-year period. The child’s opthamologist also reported an improvement in visual skills over time. The most interesting aspect of the child’s hearing was the discrepancy between the monaural and the binaural results. That is, when assessed binaurally she often presented with a mild to moderate mixed loss and when assessed monaurally she showed a moderate to severe mixed loss for the right ear and a severe mixed loss for the left ear. This discrepancy between binaural and monaural results was evident for both aided and unaided tests. Parental reports of the child’s hearing were consistent with the binaural clinical results. This case indicates the need for audiologists to: (a) carefully monitor the hearing of children with ACC, (b) obtain monaural and binaural hearing and aided thresholds results, and (c) compare these children’s functional abilities to the objective test results obtained. This case does question whether hearing aids are appropriate for children with ACC. If hearing aids are deemed to be appropriate, then hearing aids with compression characteristics should be considered.