MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Dimensional Accuracy of Computer-Aided Design/Computer-Assisted Manufactured Orbital Prostheses

Purpose: The aim of this research was to assess the dimensional accuracy of orbital prostheses based on reversed images generated by computer-aided design/computer-assisted manufacturing (CAD/CAM) using computed tomography (CT) scans. Materials and Methods: CT scans of the faces of 15 adults, men and women older than 25 years of age not bearing any congenital or acquired craniofacial defects, were processed using CAD software to produce 30 reversed three-dimensional models of the orbital region. These models were then processed using the CAM system by means of selective laser sintering to generate surface prototypes of the volunteers` orbital regions. Two moulage impressions of the faces of each volunteer were taken to manufacture 15 pairs of casts. Orbital defects were created on the right or left side of each cast. The surface prototypes were adapted to the casts and then flasked to fabricate silicone prostheses. The establishment of anthropometric landmarks on the orbital region and facial midline allowed for the data collection of 31 linear measurements, used to assess the dimensional accuracy of the orbital prostheses and their location on the face. Results: The comparative analyses of the linear measurements taken from the orbital prostheses and the opposite sides that originated the surface prototypes demonstrated that the orbital prostheses presented similar vertical, transversal, and oblique dimensions, as well as similar depth. There was no transverse or oblique displacement of the prostheses. Conclusion: From a clinical perspective, the small differences observed after analyzing all 31 linear measurements did not indicate facial asymmetry. The dimensional accuracy of the orbital prostheses suggested that the CAD/CAM system assessed herein may be applicable for clinical purposes. Int J Prosthodont 2010;23:271-276.

Performance of techniques used for re-attachment of endodontically treated crown fractured teeth

Objectives: The aim of this study was to compare the fracture strength of three techniques used to re-attach tooth fragments in sound and endodontically treated fractured teeth with or without fiber post placement. Material and methods: Ninety human lower incisors were randomly divided into three groups of 30 teeth each. In group A teeth were not subjected to endodontic treatment; while teeth from groups B and C were endodontically treated and the pulp chamber restored with a composite resin. All teeth were fractured by an axial load applied to the buccal area in order to obtain tooth fragments. Teeth from each group were then divided into three subgroups, according to the re-attachment technique: bonded-only, buccal-chamfer and circumferential chamfer. Before the re-attachment procedures, fiber posts were placed in teeth from group C using dual cure resin luting cement (Duo-Link). All teeth (groups A-C) had the fragments re-attached using a same dual cure resin luting cement. in the bonded-only group, no additional preparation was made. After re-attachment of the fragment, teeth from groups buccal and circumferential chamfer groups had a 1.0 mm depth chamfer placed in the fracture line either on buccal surfaceor along the buccal and lingual surfaces, respectively. increments of microhybid composite resin (Tetric Ceram) were used in subgroups buccal chamfer and circumferential chamfer to restore the chamfer. The specimens were loaded until fracture in the same pre-determined area. The force required to detach each fragment was recorded and the data was subjected to a three-way analysis of variance where factors Group and Re-attachment technique are independent measures and Time of fracture is a repeated measure factor (first and second) and Tukey`s test (alpha = 0.05). Results: The main factors Re-attachment technique (p = 0.04) and Time of fracture (p = 0.02) were statistically significant. The buccal and circumferential chamfer techniques were statistically similar (p > 0.05) and superior to the bonded-only group (p < 0.05). The first time of fracture was statistically superior to second time of fracture (p < 0.001). Conclusions: The use of fiber post is not necessary for the reinforcement of the tooth structure in re-attachment of endodontically treated teeth. When bonding a fractured fragment, the buccal or circumferential re-attachment techniques should be preferable in comparison with the simple re-attachment without any additional preparation. None of the techniques used for re-attachment restored the fracture strength of the intact teeth. (C) 2008 Elsevier Ltd. All rights reserved.

Attitudes to entry fees to National Parks: Results and policy implications from a Queensland case study

Examines visitor attitudes and whether visitors are willing to pay to enter Lamington National Park and under what circumstances they would do so. First a sample of visitors is asked a general (normative) question as to whether visitors should pay to visit Lamington National Park and in another question (positive) they are asked whether they would be more willing to pay if the money collected would be invested in the park to improve visitor facilities and for conservation work. The results show that visitors are more willing to accept the ‘user-pays’ principle if the money will be used for the benefit of the national park and its visitors. It was found that foreigners are more in support for a ‘user-pay’ fee than Australians, and among Australians, those visitors from Queensland are the least willing to accept the idea of a user-pay fee to enter the park. The results indicate that if visitors can be shown the benefits (both for visitors and for conservation) of charging an entry fee, then visitors are more likely to support such a concept than when they are unaware of the benefits of a user-fee. The study shows that on average foreigners are willing to pay more than Australians. Finally, the regression results identify significant factors influencing visitors’ attitudes and suggested amounts to visit the national park.

Serrated route to colorectal cancer: back street or super highway?

Morphological and molecular studies are beginning to distinguish separate evolutionary pathways for colorectal cancer, The serrated pathway encompassing hyperplastic aberrant crypt foci, hyperplastic polyps. mixed polyps, and serrated adenoma is increasingly being linked with genetic alterations, including DNA methylation, DNA microsatellite instability, Ii-ras mutation, and loss of chromosome Ip, The importance of the serrated pathway has been underestimated in terms of its frequency and potential for rapid progression, Copyright (C) 2001 John Wiley & Sons, Ltd.

Bite force, electromyography, and mandible mobility during the 6-month period after surgical treatment for isolated fractures of the zygomatico-orbital complex

Objective. The aim of this study was to identify the behavior of masticatory muscles after fractures of the zygomatico-orbital complex (ZOC) and subsequent surgical treatment, by using analyses of bite force, electromyography (EMG), and mandible mobility during a 6-month period after surgery. Study design. Five patients with fractured ZOCs treated surgically by using an intraoral approach and fixation exclusively in the region of the zygomaticomaxillary buttress were evaluated. The control group included 12 other patients. During postoperative follow-up, bite force, mandible mobility, and EMG analysis of the masticatory muscles were evaluated. Results. There was an increase in bite force with time, but a decline in EMG activity during the same period. In the mandible mobility analysis, only maximum mouth-opening values increased significantly after the surgical treatment. Conclusions. The masticatory musculature, according to bite force and EMG, returned to its normal condition by the second month after surgery, and maximum mouth opening was observed after the first month. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2011;111:e1-e7)

The Effect of Coating Patterns with Spinel-Based Investment on the Castability and Porosity of Titanium Cast into Three Phosphate-Bonded Investments

Purpose: This study evaluated the effect of pattern coating with spinel-based investment Rematitan Ultra (RU) on the castability and internal porosity of commercially pure (CP) titanium invested into phosphate-bonded investments. The apparent porosity of the investment was also measured. Materials and Methods: Square patterns (15 x 15 x 0.3 mm(3)) were either coated with RU, or not and invested into the phosphate-bonded investments: Rematitan Plus (RP), Rema Exakt (RE), Castorit Super C (CA), and RU (control group). The castings were made in an Ar-arc vacuum-pressure machine. The castability area (mm(2)) was measured by an image-analysis system (n = 10). For internal porosity, the casting (12 x 12 x 2 mm(3)) was studied by the X-ray method, and the projected porous area percentage was measured by an image-analysis system (n = 10). The apparent porosity of the investment (n = 10) was measured in accordance with the ASTM C373-88 standard. Results: Analysis of variance (One-way ANOVA) of castability was significant, and the Tukey test indicated that RU had the highest mean but the investing technique with coating increased the castability for all phosphate-bonded investments. The analysis of the internal porosity of the cast by the nonparametric test demonstrated that the RP, RE, and CA with coating and RP without coating did not differ from the control group (RU), while the CA and RE casts without coating were more porous. The one-way ANOVA of apparent porosity of the investment was significant, and the Tukey test showed that the means of RU (36.10%) and CA (37.22%) were higher than those of RP (25.91%) and RE (26.02%). Conclusion: Pattern coating with spinel-based material prior to phosphate-bonded investments can influence the castability and the internal porosity of CP Ti.

Delayed orbital hemorrhage after routine strabismus surgery

PURPOSE: To report a case of delayed rectus muscle hemorrhage after strabismus surgery. METHODS: Case report. RESULTS: Rectus muscle hemorrhage occurred 36 hours after strabismus surgery in a 26-year-old man, causing temporary loss of vision and reduced ocular motility. Urgent lateral cantholysis and orbital exploration to restore hemostasis were undertaken. Full recovery of vision occurred and a small residual motility disturbance was present 3 months postoperatively. CONCLUSION: Delayed rectus muscle hemorrhage post-strabismus surgery is rare but can have sight-threatening effects. When vision is threatened because of optic nerve compromise, urgent orbital exploration may allow full recovery of function. (Am J Ophthalmol 2001;131: 818-819, (C) 2001 by Elsevier Science Inc. All rights reserved.).