The Object Management Group Ontology Definition Metamodel

Report of a submission being made to a major international software engineering standards group, the Object Management Group which ties together OMG standards with World-Wide Web Consortium and International Standards Organization standards. Major industry bodies including IBM are collaborating, and the submission has the support of 24 companies. OMG, W3C and ISO standards strongly influence the industry, especially in combination. Colomb was a major contributor, responsible for 30% of the submission, and the primary author of the paper.

Lower Extremities Magnetic Resonance Angiography With Blood Pressure Cuff Compression: Quantitative Dynamic Analysis

Purpose: To quantitatively evaluate changes induced by the application of a femoral blood-pressure cuff (BPC) on run-off magnetic resonance angiography (MRA). which is a method generally previously proposed to reduce venous contamination in the leg. Materials and Methods: This study was Health Insurance Portability and Accountability Act (HIPAA)- and Institutional Review Board (IRB)-compliant, We used time-resolved gradient-echo gadolinium (Gd)-enhanced MRA to measure BPC effects on arterial, venous, and soft-tissue enhancement. Seven healthy volunteers (six men) were studied with the BPC applied at the mid-femoral level unilaterally using a 1.5T MR system after intravenous injection of Gd-BOPTA. Different statistical tools were used such as the Wilcoxon signed rank test and a cubic smoothing spline fit. Results: We found that BPC application induces delayed venous filling (as previously described), but also induces significant decreases in arterial inflow, arterial enhancement, vascular-soft tissue contrast, and delayed peak enhancement (which have not been previously measured). Conclusion: The potential benefits from using a BPC for run-off MRA must be balanced against the potential pitfalls, elucidated by our findings.

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.

Arthrodesis of the equine proximal interphalangeal joint: a biomechanical comparison of 3-Hole 4.5 mm locking compression plate and 3-hole 4.5 mm narrow dynamic compression plate, with two transarticular 5.5 mm cortex screws

Objectives To compare the biomechanical characteristics of 2 arthrodesis techniques for the equine proximal interphalangeal joint (PIP) using either a 3-hole 4.5 mm locking compression plate (LCP) or 3-hole 4.5 mm narrow dynamic compression plate (DCP), both with 2 transarticular 5.5 mm cortex screws. Study Design Experimental. Sample Population Cadaveric adult equine forelimbs (*n=6 pairs). Methods For each forelimb pair, 1 limb was randomly assigned to 1 of 2 treatment groups and the contralateral limb by default to the other treatment group. Construct stiffness, gap formation across the PIP joint, and rotation about the PIP joint were determined for each construct before cyclic axial loading and after each of four, 5000 cycle loading regimens. After the 20,000 cycle axial loading regimen, each construct was loaded to failure. Results There were no significant differences in construct stiffness, gap formation, or sagittal plane rotation between the LCP and DCP treatment groups at any of the measured time points. Conclusion Biomechanically, fixation of the equine PIP joint with a 3-hole 4.5 mm LCP is equivalent to fixation with a 3-hole 4.5 mm narrow DCP under the test conditions used.

Evaluation of the Possibility of Removing Staining by Repolishing Composite Resins Submitted to Artificial Aging

This in vitro research verified the possibility of eliminating staining caused by coffee and red wine in five composite resins, after being submitted to thermal cycling. Thirty-six specimens were prepared and immersed in water at 37 degrees C for 24 hours. After polishing, specimen color was measured in a spectrophotometer Cintra 10 UV (Visible Spectrometer, GBC, Braeside, VIC, Australia). All specimens were submitted to thermal cycling at temperatures of 5 and 55 degrees C with a dwell time of 1 minute, for 1,000 cycles in a 75% ethanol/water solution. After thermal cycling, the specimens were immersed in water at 37 degrees C until 7 days had elapsed from the time the specimens were prepared. All specimens were then taken to the spectrophotometer for color measurement. The specimens were divided into three groups (N = 12): distilled water (control), coffee, and red wine. For the staining process to occur on only one surface, all the sides, except one, of the surfaces were isolated with white wax. The specimens were immersed in one of the solutions at 37 degrees C for 14 days. The specimens were dried and taken to the spectrophotometer for color measurement. After this, the specimens were submitted to 20 mu m wear three times, and the color was measured after each one of the wear procedures. Calculation of the color difference was made using CIEDE2000 formula. According to the methodology used in this research, it was concluded that the staining caused by coffee and red wine was superficial and one wear of 20 mu m was sufficient to remove the discoloration.

Argon ion laser and halogen lamp activation of a dark and light resin composite: microhardness after long-term storage

The objective of this study was to evaluate in vitro light activation of the nano-filled resin composite Vita shade A1 and A3 with a halogen lamp (QTH) and argon ion laser by Knoop microhardness profile. Materials and methods: Specimens of nanofilled composite resin (Z350-3 M-ESPE) Vita shade A1 and A3 were prepared with a single increment inserted in 2.0-mm-thick and 3-mm diameter disc-shaped Teflon mold. The light activation was performed with QTH for 20 s (with an intensity of approximately 1,000 mW/cm(2) and 700 mW/cm(2)) and argon ion laser for 10 s (with a power of 150 mW and 200 mW). Knoop microhardness test was performed after 24 h and 6 months. The specimens were divided into the 16 experimental groups (n = 10), according to the factors under study: photoactivation form, resin shade, and storage time. Knoop microhardness data was analyzed by a factorial ANOVA and TukeyA ` s tests at the 0.05 level of significance. Results: Argon ion laser was not able to photo-activate the darker shade of the nanofilled resin composite evaluated but when used with 200 mW it can be as effective as QTH to photo-activate the lighter shade with only 50% of the time exposure. After 6 months storage, an increase in the means of Knoop microhardness values were observed. Conclusions: Light-activation significantly influenced the Knoop microhardness values for the darker nanofilled resin composite.