67 resultados para Behavior Trees

em University of Queensland eSpace - Australia


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In Australia more than 300 vertebrates, including 43 insectivorous bat species, depend on hollows in habitat trees for shelter, with many species using a network of multiple trees as roosts, We used roost-switching data on white-striped freetail bats (Tadarida australis; Microchiroptera: Molossidae) to construct a network representation of day roosts in suburban Brisbane, Australia. Bats were caught from a communal roost tree with a roosting group of several hundred individuals and released with transmitters. Each roost used by the bats represented a node in the network, and the movements of bats between roosts formed the links between nodes. Despite differences in gender and reproductive stages, the bats exhibited the same behavior throughout three radiotelemetry periods and over 500 bat days of radio tracking: each roosted in separate roosts, switched roosts very infrequently, and associated with other bats only at the communal roost This network resembled a scale-free network in which the distribution of the number of links from each roost followed a power law. Despite being spread over a large geographic area (> 200 km(2)), each roost was connected to others by less than three links. One roost (the hub or communal roost) defined the architecture of the network because it had the most links. That the network showed scale-free properties has profound implications for the management of the habitat trees of this roosting group. Scale-free networks provide high tolerance against stochastic events such as random roost removals but are susceptible to the selective removal of hub nodes. Network analysis is a useful tool for understanding the structural organization of habitat tree usage and allows the informed judgment of the relative importance of individual trees and hence the derivation of appropriate management decisions, Conservation planners and managers should emphasize the differential importance of habitat trees and think of them as being analogous to vital service centers in human societies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This pilot project at Cotton Tree, Maroochydore, on two adjacent, linear parcels of land has one of the properties privately owned while the other is owned by the public housing authority. Both owners commissioned Lindsay and Kerry Clare to design housing for their separate needs which enabled the two projects to be governed by a single planning and design strategy. This entailed the realignment of the dividing boundary to form two approximately square blocks which made possible the retention of an important stand of mature paperbark trees and gave each block a more useful street frontage. The scheme provides seven two-bedroom units and one single-bedroom unit as the private component, with six single-bedroom units, three two-bedroom units and two three-bedroom units forming the public housing. The dwellings are deployed as an interlaced mat of freestanding blocks, car courts, courtyard gardens, patios and decks. The key distinction between the public and private parts of the scheme is the pooling of the car parking spaces in the public housing to create a shared courtyard. The housing climbs to three storeys on its southern edge and falls to a single storey on the north-western corner. This enables all units and the principal private outdoor spaces to have a northern orientation. The interiors of both the public and private units are skilfully arranged to take full advantage of views, light and breeze.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the first of two articles presenting the case for emotional intelligence in a point/counterpoint exchange, we present a brief summary of research in the field, and rebut arguments against the construct presented in this issue.We identify three streams of research: (1) a four-branch abilities test based on the model of emotional intelligence defined in Mayer and Salovey (1997); (2) self-report instruments based on the Mayer–Salovey model; and (3) commercially available tests that go beyond the Mayer–Salovey definition. In response to the criticisms of the construct, we argue that the protagonists have not distinguished adequately between the streams, and have inappropriately characterized emotional intelligence as a variant of social intelligence. More significantly, two of the critical authors assert incorrectly that emotional intelligence research is driven by a utopian political agenda, rather than scientific interest. We argue, on the contrary, that emotional intelligence research is grounded in recent scientific advances in the study of emotion; specifically regarding the role emotion plays in organizational behavior. We conclude that emotional intelligence is attracting deserved continuing research interest as an individual difference variable in organizational behavior related to the way members perceive, understand, and manage their emotions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this second counterpoint article, we refute the claims of Landy, Locke, and Conte, and make the more specific case for our perspective, which is that ability-based models of emotional intelligence have value to add in the domain of organizational psychology. In this article, we address remaining issues, such as general concerns about the tenor and tone of the debates on this topic, a tendency for detractors to collapse across emotional intelligence models when reviewing the evidence and making judgments, and subsequent penchant to thereby discount all models, including the ability-based one, as lacking validity. We specifically refute the following three claims from our critics with the most recent empirically based evidence: (1) emotional intelligence is dominated by opportunistic academics-turned-consultants who have amassed much fame and fortune based on a concept that is shabby science at best; (2) the measurement of emotional intelligence is grounded in unstable, psychometrically flawed instruments, which have not demonstrated appropriate discriminant and predictive validity to warrant/justify their use; and (3) there is weak empirical evidence that emotional intelligence is related to anything of importance in organizations. We thus end with an overview of the empirical evidence supporting the role of emotional intelligence in organizational and social behavior.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article provides a review of recent developments in two topical areas of research in contemporary organizational behavior: diversity and emotions. In the section called “Diversity,”we trace the history of diversity research, explore the definitions and paradigms used in treatments of diversity, and signal new areas of interest. We conclude that organizational behavior in the 21st century is evolving to embrace a more eclectic and holistic view of humans at work. In the section called “Emotions,” we turn our attention to recent developments in the study of emotions in organizations. We identify four major topics: mood theory, emotional labor, affective events theory (AET), and emotional intelligence, and argue that developments in the four domains have significant implications for organizational research, and the progression of the study of organizational behavior. As with the study of diversity, the topic of emotions in the workplace is shaping up as one of the principal areas of development in management thought and practice for the next decade. Finally, we discuss in our conclusion how these two areas are being conceptually integrated, and the implications for management scholarship and research in the contemporary world.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The aim of this mental health promotion initiative was to evaluate the effectiveness of a universally delivered group behavioral family intervention (BFI) in preventing behavior problems in children. This study investigates the transferability of an efficacious clinical program to a universal prevention intervention delivered through child and community health services targeting parents of preschoolers within a metropolitan health region. A quasiexperimental two-group (BFI, n=804 vs. Comparison group, n=806) longitudinal design followed preschool aged children and their parents over a 2-year period. BFI was associated with significant reductions in parent-reported levels of dysfunctional parenting and parent-reported levels of child behavior problems. Effect sizes on child behavior problems ranged from large (.83) to moderate (.47). Positive and significant effects were also observed in parent mental health, marital adjustment, and levels of child rearing conflict. Findings are discussed with respect to their implication for significant population reductions in child behavior problems as well as the pragmatic challenges for prevention science in encouraging both the evaluation and uptake of preventive initiatives in real world settings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study evaluated two variants of a behavioral parent training program known as Stepping Stones Triple P (SSTP) using 74 preschool-aged children with developmental disabilities. Families were randomly allocated to an enhanced parent training intervention that combined parenting skills and care-giving coping skills (SSTP-E), standard parent training intervention alone (SSTP-S) or waitlist control (WL) condition. At post-intervention, both programs were associated with lower levels of observed negative child behavior, reductions in the number of care-giving settings where children displayed problem behavior, and improved parental competence and satisfaction in the parenting role as compared with the waitlist condition. Gains attained at post-intervention were maintained at 1-year follow-up. Both interventions produced significant reductions in child problem behavior, with 67% of children in the SSTP-E and 77% of children in the SSTPS showing clinically reliable change from pre-intervention to follow-up. Parents reported a high level of satisfaction with both interventions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Xylem sap from woody species in the wet/dry tropics of northern Australia was analyzed for N compounds. At the peak of the dry season, arginine was the main N compound in sap of most species of woodlands and deciduous monsoon forest. In the wet season, a marked change occurred with amides becoming the main sap N constituents of most species. Species from an evergreen monsoon forest, with a permanent water source, transported amides in the dry season. In the dry season, nitrate accounted for 7 and 12% of total xylem sap N in species of deciduous and evergreen monsoon forests, respectively In the wet season, the proportion of N present as nitrate increased to 22% in deciduous monsoon forest species. These results suggest that N is taken up and assimilated mainly in the wet season and that this newly assimilated N is mostly transported as amide-N (woodland species, monsoon forest species) and nitrate (monsoon forest species). Arginine is the form in which stored N is remobilized and transported by woodland and deciduous monsoon forest species in the dry season. Several proteins, which may represent bark storage proteins, were detected in inner bark tissue from a range of trees in the dry season, indicating that, although N uptake appears to be limited in the dry season, the many tree and shrub species that produce flowers, fruit or leaves in the dry season use stored N to support growth. Nitrogen characteristics of the studied species are discussed in relation to the tropical environment.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The degree and distribution of parasitisation in relation to densities of pink wax scale, Ceroplastes rubens Maskell, on umbrella trees, Schefflera actinophylla (Endl.), in south-eastern Queensland were investigated to determine whether scale outbreaks could be attributed, in part, to low levels of parasitisation. Rates of parasitisation were independent of or inversely dependent on host density, and highly variable, especially at low densities. The absence of density dependent parasitisation may occur as a result of: (i) non-aggregation by parasitoids; (ii) aggregation by parasitoids where parasitisation is limited by intrinsic or extrinsic factors; and/or (iii) high rates of hyperparasitisation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The study investigated the behaviors and interactions of children in structured and unstructured groups as they worked together on a 6-week social studies activity each term for 3 school terms. Two hundred and twelve children in Grade 1 and 184 children in Grade 3 participated in the study. Stratified random assignment occurred so that each gender-balanced group consisted of 1 high-, 2 medium-, and 1 low-ability student. The results show that the children in the structured groups were consistently more cooperative and they provided more elaborated and nonelaborated help than did their peers in the unstructured groups. The children in the structured groups in Grade 3 obtained higher reading and learning outcome scores than their peers in the unstructured groups.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This research tested the proposition that the effect of attachment security on safer-sex practice may be mediated by communication patterns. One hundred eighty-five undergraduate students completed questionnaire measures of attachment, assertiveness, and attitudes to communication about AIDS. Eight weeks later, they reported on their practice of safer sex in the period since the first testing session. Hierarchical regressions showed that at Step 1, anxiety about relationships (a measure of insecure attachment) was associated with less safer-sex practice, for all outcome measures. Attitudes to communication about AIDS added to the prediction of general reports of safer-sex practice: in line with the mediational model, anxiety about relationships became unimportant as a predictor when communication variables were included. Communication variables failed to add to the prediction of safer sex on the most recent encounter, and both anxiety about relationships and attitudes to communication about AIDS predicted condom use. Some gender differences in patterns of prediction were noted. The results are discussed in terms of attachment style and its links with the negotiation of sexual practice and relationship issues.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This research applied attachment theory to the study of sexual attitudes and behaviors in a sample of late adolescents. Four hundred and seventy heterosexual undergraduate students completed questionnaires assessing attachment (discomfort with closeness; anxiety over relationships), relationship history, communication about sex, sexual self-efficacy and locus of control, and attitudes to condoms. Eight weeks later, participants reported on sexual behaviors occurring during the eight-week interval, and perceived risk of these activities. Both discomfort with closeness and anxiety over relationships were associated with external locus of control for sexual outcomes, and with use of drugs before sexual contact. Anxiety over relationships was linked to unsafe sex and to negative attitudes to condoms, but discomfort with closeness was associated with a more cautious approach to sexual risk-taking. Some results were qualified by gender differences, and by differences between the full sample and those who were sexually active. The findings are discussed in terms of attachment style and its links with communication and affect regulation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective: A number, of studies have consistently found that a mother's mental health (particularly her level of depression) is a strong predictor of mental health problems experienced by her child(ren). However, the validity of this finding is in doubt because the majority of these studies have relied on maternal reports as indicators of children's behavior. Method: This prospective, longitudinal study examines data an the mental health of the mother from prior to the birth of her child to when the child reaches 14 years of age. Child behavior is measured at 14 years of age using reports from mother and child. Mother and child responses are compared to provide an indication of the possible magnitude of maternal observation bias in the reporting of child behavior problems. Results: Anxious and/or depressed mothers tend to report more cases of child behavior problems than do their mentally healthy counterparts or children themselves. Differences between mothers and youths In reporting behavior problems appear to be related to the mothers' mental health. Conclusions: Current maternal mental health impairment appears to have a substantial effect on the reporting of child behavior problems by the mother, thereby raising questions about the validity of reports of child behavior by persons who are currently emotionally distressed.