762 resultados para Chu gokugo Bunpo .
Resumo:
Utilising a comparison research design of mothers involved in fostering (N= 28) and their peers (N =28), the major findings were that within the fostering group, those who had been fostering the longest had the lowest sense of efficacy, reflecting that the experience of providing foster care eroded parents' sense of their own skill. In terms of attachment to the children, the data suggested that foster carers may resist becoming too close to the children in their care in order to limit the emotional cost of subsequent separation. Importantly, there was no significant correlation between the length of time in providing foster care and marital satisfaction, which supports the notion that providing foster care does not, in itself cause marital stress. While formal support services were more utilised by foster carers there was some indication that this group is not well integrated into the broader community. Collectively, these findings demonstrate that over the long- term providing fostering care has some negative consequences for the carers in terms of their self-confidence. Agencies designated to work with carers need to consider proactive strategies to reduce this consequence.
Resumo:
The transcription factor PAX2 is expressed during normal kidney development and is thought to influence outgrowth and branching of the ureteric bud. Mice with homozygous null Pax2 mutations have developmental defects of the midbrain-hindbrain region, optic nerve, and ear and are anephric. During nephrogenesis, PAX2 is also expressed by mesenchymal cells as they cluster and reorganize to form proximal elements of each nephron, but the function of PAX2 in these cells is unknown. In this study we hypothesized that PAX2 activates expression of WNT4, a secreted glycoprotein known to be critical for successful nephrogenesis. PAX2 protein was identified in distal portions of the S-shaped body, and the protein persists in the emerging proximal tubules of murine fetal kidney. PAX2 activated WNT4 promoter activity 5-fold in co-transfection assays with JTC12 cells derived from the proximal tubule. Inspection of the 5'-flanking sequence of the human WNT4 gene identified three novel PAX2 recognition motifs; each exhibited specific PAX2 protein binding in electromobility shift assays. Two motifs were contained within a completely duplicated 0.66-kb cassette. Transfection of JTC12 cells with a PAX2 expression vector was associated with a 7-fold increase in endogenous WNT4 mRNA. In contrast, Wnt4 mRNA was decreased by 60% in mesenchymal cell condensates of fetal kidney from mice with a heterozygous Pax2 mutation. We speculated that a key function of PAX2 is to activate WNT4 gene expression in metanephric mesenchymal cells as they differentiate to form elements of the renal tubules.
Resumo:
Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour.
Resumo:
The article examines the early 20th century Australian actor, theater director, and writer Oscar Asche and how various aspects of his work are expressive of an aesthetic modernism. His theatrical productions with his wife Lily Brayton are discussed, as well as his solo projects like the highly acclaimed musical "Chu Chin Chow." Asche is described as a "vitalist."
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:
Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.
Resumo:
Testing concurrent software is difficult due to problems with inherent nondeterminism. In previous work, we have presented a method and tool support for the testing of concurrent Java components. In this paper, we extend that work by presenting and discussing techniques for testing Java thread interrupts and timed waits. Testing thread interrupts is important because every Java component that calls wait must have code dealing with these interrupts. For a component that uses interrupts and timed waits to provide its basic functionality, the ability to test these features is clearly even more important. We discuss the application of the techniques and tool support to one such component, which is a nontrivial implementation of the readers-writers problem.
Resumo:
With the increasing demand on healthcare systems it is imperative that all care is provided as efficiently and effectively as possible. Technology within the medical domain offers an exciting opportunity to augment work practices in order to meet these needs. This research project explores the implications of the interrupt-driven nature of work in clinical situations on documentation within an environment that increasingly involves electronic health records (EHRs). Midwives in a busy maternity ward were observed and interviewed about the work practices they employed to document information associated with patient care. The results showed that the interrupt-driven nature of the workplace, a feature common to many healthcare settings, led to a tension between the work and the work to document the work. Further, the IT environment in which the information was collected was not designed to cater for frequent interruption of the data entry process. Several recommendations for improving the IT environment are proposed to support health professionals in documenting patient data whilst attending to the interruptions. The recommendations include timeout screens, push technology, use of handheld PDAs, and cues to augment documentation in an interrupted session. Copyright © 2008 RMIT Publishing
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