869 resultados para Object reconstruction
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
Ameloblastoma is a benign locally aggressive infiltrative odontogenic lesion. It is characterized by slow growth and painless swelling. The treatment for ameloblastoma varies from curettage to en bloc resection, and the reported recurrence rates after treatment are high; the safety margin of resection is important to avoid recurrence. Advances in technology brought about great benefits in dentistry; a new generation of computed tomography scanners and 3-dimensional images enhance the surgical planning and management of maxillofacial tumors. The development of new prototyping systems provides accurate 3D biomodels on which surgery can be simulated, especially in cases of ameloblastoma, in which the safety margin is important for treatment success. A case of mandibular follicular ameloblastoma is reported where a 3D biomodel was used before and during surgery.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
This study assessed the quadriceps and hamstring strength before and 6 months after anterior cruciate ligament (ACL) reconstructive surgery using the hamstrings and related the findings to functional performance. Six months after surgery is a critical time for assessment as this is when players are returning to sport. Maximum isokinetic strength of 31 patients with complete unilateral ACL ruptures was measured at speeds of 60 degrees and 120 degrees per second. Functional assessment included the single hop, the triple hop, the shuttle run, side-step and carioca tests. All patients underwent a controlled quadriceps emphasized home-based physiotherapy program both before and after surgery. Results show that before surgery there was a 7.3% quadriceps strength deficit at 60 degrees per second compared to the uninjured leg but no hamstring strength deficit. After surgery there was a statistically significant but relatively small loss of muscle strength. The quadriceps strength deficit had increased to 12% and there was a 10% hamstring deficit. Post-operatively there was an 11% and 6.3% improvement in the hop tests, a 9% (P < 0.01) improvement in the shuttle run, a 15% (P < 0.001) improvement in the side step and a 24% (P < 0.001) improvement in the carioca tests (P < 0.001) despite the loss of muscle strength. (C) 2001 Elsevier Science B.V. All rights reserved.
Resumo:
Hermeneutic Case Reconstruction (Rosenthal, 1993) is a systematic method of analysing biographical self-presentations from an interpretivist perspective. The method consists of five major analytic steps. The first is an analysis of the biographical data that can stand independently of the narrator’s perspective. Objective data is extracted from the text or interview transcript and ordered chronologically. Secondly, a thematic field analysis is undertaken in which the data is divided into separate units according to the type of text used, whilst keeping the sequence of these texts units intact. In this step, hypotheses are developed regarding the potential significance of the style and sequence of the events presented. The product of this second step is a reconstruction of the life story. A reconstruction of the life history then follows as the third step. The purpose of this step is to generate hypotheses about the meanings that biographical experiences might have had for the narrator at the time they occurred, given the sociocultural context in which they occurred. In the fourth step, microanalysis of individual text segments is undertaken, in which all hypotheses generated in the earlier steps are tested against the text for support or refutation. The final step consists of a contrastive comparison of the life history and life story. The life story and life history are compared to determine, for example, which aspects of the narrator’s experience have been emphasised or minimised. Through this comparison, the selective process is highlighted. This is referred to as the case structure. This paper describes an application of this method to a published first-person narrative of a woman’s experiences of sustaining a brain injury in a motor vehicle accident.
Resumo:
Articulatory patterns and nasal resonance were assessed before and 6 months after orthognathic reconstruction surgery in five patients with dentofacial deformities. Perceptual and physiological assessments showed disorders of nasality and articulatory function preoperatively, two patients being hyponasal, and one hypernasal. Four patients had mild articulatory deficits, and four had reduced maximal lip or tongue pressures. Operation resulted in different patterns of change. Nasality deteriorated in three patients and articulatory precision and intelligibility improved in only one patient and showed no change in the other four. Operation improved interlabial pressures in three patients, while its impact on tongue pressures varied, being improved in one case, deteriorating in one, and remaining unchanged in the other three. The variability in the results highlights the need for routine assessment of speech and resonance before and after orthognathic reconstruction. (C) 2002 The British Association of Oral and Maxillofacial Surgeons. Published by Elsevier Science Ltd. All rights reserved.
Resumo:
In New Zealand, the turn from the welfare state since 1984 to a global market driven economy in the early mid 1990s has affected the way that primary curriculum documents have been developed and implemented. Those documents, together with teachers’ handbooks, have in turn affected the way that teachers teach. In particular, the construction of literacy and what constitutes literacy teaching in these documents have affected teachers’ work and have also constructed and are reconstructing childhood and the child literate. The way that teachers teach literacy depends on their constructions of children and childhood and that as their views of childhood and children change, so too do their views of the teaching of literacy. Against this background of locating childhood and children in educational and literacy discourses, other discourses of new technologies, cultural diversity, time and space of “new times” are also challenging the construction of literacy, the literate child and childhood.
Resumo:
The choice of genotyping families vs unrelated individuals is a critical factor in any large-scale linkage disequilibrium (LD) study. The use of unrelated individuals for such studies is promising, but in contrast to family designs, unrelated samples do not facilitate detection of genotyping errors, which have been shown to be of great importance for LD and linkage studies and may be even more important in genotyping collaborations across laboratories. Here we employ some of the most commonly-used analysis methods to examine the relative accuracy of haplotype estimation using families vs unrelateds in the presence of genotyping error. The results suggest that even slight amounts of genotyping error can significantly decrease haplotype frequency and reconstruction accuracy, that the ability to detect such errors in large families is essential when the number/complexity of haplotypes is high (low LD/common alleles). In contrast, in situations of low haplotype complexity (high LD and/or many rare alleles) unrelated individuals offer such a high degree of accuracy that there is little reason for less efficient family designs. Moreover, parent-child trios, which comprise the most popular family design and the most efficient in terms of the number of founder chromosomes per genotype but which contain little information for error detection, offer little or no gain over unrelated samples in nearly all cases, and thus do not seem a useful sampling compromise between unrelated individuals and large families. The implications of these results are discussed in the context of large-scale LD mapping projects such as the proposed genome-wide haplotype map.