11 resultados para Auto-organizzazione, Simulazione, Algoritmi, Gradiente, Alchemist, Design pattern
em University of Queensland eSpace - Australia
Resumo:
Retrieving large amounts of information over wide area networks, including the Internet, is problematic due to issues arising from latency of response, lack of direct memory access to data serving resources, and fault tolerance. This paper describes a design pattern for solving the issues of handling results from queries that return large amounts of data. Typically these queries would be made by a client process across a wide area network (or Internet), with one or more middle-tiers, to a relational database residing on a remote server. The solution involves implementing a combination of data retrieval strategies, including the use of iterators for traversing data sets and providing an appropriate level of abstraction to the client, double-buffering of data subsets, multi-threaded data retrieval, and query slicing. This design has recently been implemented and incorporated into the framework of a commercial software product developed at Oracle Corporation.
Resumo:
This paper presents a way to describe design patterns rigorously based on role concepts. Rigorous pattern descriptions are a key aspect for patterns to be used as rules for model evolution in the MDA context, for example. We formalize the role concepts commonly used in defining design patterns as a role metamodel using Object-Z. Given this role metamodel, individual design patterns are specified generically as a formal pattern role model using Object-Z. We also formalize the properties that must be captured in a class model when a design pattern is deployed. These properties are defined generically in terms of role bindings from a pattern role model to a class model. Our work provides a precise but abstract approach for pattern definition and also provides a precise basis for checking the validity of pattern usage in designs.
Resumo:
A method and a corresponding tool is described which assist design recovery and program understanding by recognising instances of design patterns semi-automatically. The approach taken is specifically designed to overcome the existing scalability problems caused by many design and implementation variants of design pattern instances. Our approach is based on a new recognition algorithm which works incrementally rather than trying to analyse a possibly large software system in one pass without any human intervention. The new algorithm exploits domain and context knowledge given by a reverse engineer and by a special underlying data structure, namely a special form of an annotated abstract syntax graph. A comparative and quantitative evaluation of applying the approach to the Java AWT and JGL libraries is also given.
Resumo:
This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.
Resumo:
Adopting a social identity perspective, the research was designed to examine the interplay between premerger group status and integration pattern in the prediction of responses to a merger. The research employed a 2 (status: high versus low) x 3 (integration pattern: assimilation versus integrational equality versus transformation) between-participants factorial design. We predicted that integration pattern and group status would interact such that the responses of the members of high status group would be most positive under conditions of an assimilation pattern, whereas members of low status groups were expected to favour an integration-equality pattern. After working on a task in small groups, group status was manipulated and the groups worked on a second task. The merger was then announced and the integration pattern was manipulated (e.g., in terms of the logo, location, and decision rules). The main dependent variables were assessed after the merged groups had worked together on a third task. As expected, there was evidence that the effects of group status on responses to the merger were moderated by integration pattern. Field data also indicated that both premerger status and perceived integration pattern influenced employee responses to an organisational merger.
Resumo:
Background. Children of alcoholics are significantly more likely to experience high-risk environmental exposures, including prenatal substance exposure, and are more likely to exhibit externalizing problems [e.g. attention deficit hyperactivity disorder (ADHD)]. While there is evidence that genetic influences and prenatal nicotine and/or alcohol exposure play separate roles in determining risk of ADHD, little has been done on determining the joint roles that genetic risk associated with maternal alcohol use disorder (AUD) and prenatal risk factors play in determining risk of ADHD. Method. Using a children-of-twins design, diagnostic telephone interview data from high-risk families (female monozygotic and dizygotic twins concordant or discordant for AUD as parents) and control families targeted from a large Australian twin cohort were analyzed using logistic regression models. Results. Offspring of twins with a history of AUD, as well as offspring of non-AUD monozygotic twins whose co-twin had AUD, were significantly more likely to exhibit ADHD than offspring of controls. This pattern is consistent with a genetic explanation for the association between maternal AUD and increased offspring risk of ADHD. Adjustment for prenatal smoking, which remained significantly predictive, did not remove the significant genetic association between maternal AUD and offspring ADHD. Conclusions. While maternal smoking during pregnancy probably contributes to the association between maternal AUD and offspring ADHD risk, the evidence for a significant genetic correlation suggests: (i) pleiotropic genetic effects, with some genes that influence risk of AUD also influencing vulnerability to ADHD; or (ii) ADHD is a direct risk-factor for AUD.
Resumo:
This study provided a thorough test of the acoustic adaptation hypothesis using a within-species comparison of call structure involving a wide range of habitat types, an objective measure of habitat density and direct measures of habitat-related attenuation. The structure of the bower advertisement call of the satin bowerbird was measured in 16 populations from throughout the species' range and related to the habitat type and density at each site. Transmission of white noise, pure tones and different bowerbird dialects was measured in five of six habitat types inhabited by satin bowerbirds. Bowerbird advertisement call structure converged in similar habitats but diverged among different habitats; this pattern was apparent at both continent-wide and local geographical scales. Bowerbirds' call structures differed with changes in habitat density, consistent with the acoustic adaptation hypothesis. Lower frequencies and less frequency modulation were utilized in denser habitats such as rainforest and higher frequencies and more frequency modulation were used in the more open eucalypt-dominated habitats. The white noise and pure tone transmission measurements indicated that different habitats varied in their sound transmission properties in a manner consistent with the observed variation in satin bowerbird vocalizations. There was no effect of geographical proximity of recording locations, nor was there the predicted inverse relationship between frequency and body size. These findings indicate that the transmission qualities of different habitats have had a major influence on variation in vocal phenotypes in this species. In addition, previously published molecular data for this species suggest that there is no effect of genetic relatedness on call similarity among satin bowerbird populations.
Operation of polymer electrolyte membrane fuel cells with dry feeds: Design and operating strategies
Resumo:
The operation of polymer electrolyte membrane fuel cells (PEMFCs) with dry feeds has been examined with different fuel cell flow channel designs as functions of pressure, temperature and flow rate. Auto-humidified (or self-humidifying) PEMFC operation is improved at higher pressures and low gas velocities where axial dispersion enhances back-mixing of the product water with the dry feed. We demonstrate auto-humidified operation of the channel-less, self-draining fuel cell, based on a stirred tank reactor; data is presented showing auto-humidified operation from 25 to 115 degrees C at 1 and 3 atm. Design and operating requirements are derived for the auto-humidified operation of the channel-less, self-draining fuel cell. The auto-humidified self-draining fuel cell outperforms a fully humidified serpentine flow channel fuel cell at high current densities. The new design offers substantial benefits for simplicity of operation and control including: the ability to self-drain reducing flooding, the ability to uniformly disperse water removing current gradients and the ability to operate on dry feeds eliminating the need for humidifiers. Additionally, the design lends itself well to a modular design concept. (c) 2005 Elsevier B.V. All rights reserved.
Resumo:
Three important goals in describing software design patterns are: generality, precision, and understandability. To address these goals, this paper presents an integrated approach to specifying patterns using Object-Z and UML. To achieve the generality goal, we adopt a role-based metamodeling approach to define patterns. With this approach, each pattern is defined as a pattern role model. To achieve precision, we formalize role concepts using Object-Z (a role metamodel) and use these concepts to define patterns (pattern role models). To achieve understandability, we represent the role metamodel and pattern role models visually using UML. Our pattern role models provide a precise basis for pattern-based model transformations or refactoring approaches.
Resumo:
Users of safety-critical systems are expected to effectively control or monitor complex systems, with errors potentially leading to catastrophe. For such systems, safety is of paramount importance and must be designed into the human-machine interface. While many case studies show how inadequate design practice led to poor safety and usability, concrete guidance on good design practices is scarce. The paper argues that the pattern language paradigm, widely used in the software design community, is a suitable means of documenting appropriate design strategies. We discuss how typical usability-related properties (e.g., flexibility) need some adjustment to be used for assessing safety-critical systems, and document a pattern language, based on corresponding "safety-usability" principles