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.

Natural, but not lyophilized, low density lypoproteins were an acceptable alternative to egg yolk for cryopreservation of ram semen

The objective was to evaluate the suitability of using natural or lyophilized low density lipoproteins (LDL), in lieu of whole egg yolk, in extenders for cryopreserving ram semen. Once extragonadal sperm reserves were depleted in 10 fertile Santa Ines cross rams, two ejaculates per ram were collected for cryopreservation. Nine extenders were used: Tris-16% egg yolk extender with 5% glycerol as a control (T1), and substitution of whole egg yolk with 8, 12, 16 or 20% natural LDL (T2-T5, respectively), or with 8, 12, 16, or 20% lyophilized LDL (T6-T9). Semen was diluted to 100 X 10(6) sperm/mL, packaged into 0.25 mL straws, cooled, held at 5 C for 3 h, and then frozen in liquid nitrogen vapor. Immediately after thawing (37 degrees C for 30 s), sperm total and progressive motility, and kinetic parameters were analyzed with computer assisted semen analysis (CASA). Percentage of sperm with plasma membrane functional integrity was assessed by the hypoosmotic swelling test (HOST), sperm membrane physical integrity with propidium iodide (PI), and acrosome integrity with FITC-PSA using an epifluorescent microscope. For all sperm end points, there was no difference between the control and natural LDL treatments (P > 0.05): total motility (T1: 20.9 +/- 11.9 and average of T2-T5: 25.9 +/- 13.6%; mean SD), progressive motility (T1: 6.6 +/- 4.2 and average of T2-T5: 11.7 +/- 7.5%), HOST(+) (T1: 23.7 +/- 6.9 and average of T2-T5: 23.2 +/- 8.7%) and PI(-)/PSA(-) (T1: 13.8 +/- 7.8 and average of T2-T5: 18.1 +/- 7.8%). However, lyophilization was apparently unable to preserve the protective function of LDL; every sperm end point was significantly worse than in the control and natural LDL groups. We concluded that natural LDL was appropriate for cryopreserving ram semen, as it yielded results similar to those obtained with whole egg yolk. (C) 2011 Elsevier Inc. All rights reserved.

Density of the Near Threatened jaguar Panthera onca in the caatinga of north-eastern Brazil

We report the first estimate of jaguar density in the semi-arid caatinga biome of north-eastern Brazil. During August-October 2007, in the Serra da Capivara National Park, we used camera traps to identify and count jaguars. Jaguar abundance and density were calculated using mark-recapture models. In a sampling effort of 1,249 camera-trap-nights we identified 12 adult jaguars and estimated an 2 abundance of 14 +/- 3.6 jaguars in an area of 524 km(2), i.e. a density of 2.67 +/- 1.00 jaguars per 100 km(2). This estimate is higher than in most other Brazilian biomes and indicates Serra da Capivara National Park as an important reserve for protecting jaguars in north-eastern Brazil.

Maned Wolf Density in a Central Brazilian Grassland Reserve

The maned wolf (Chrysocyon brachyurus) inhabits the savannah-like Cerrado of Brazil. Although 80% of this biome has already been affected by human activity, little is known about maned wolf abundance. Using mark-recapture models, we obtained the first density estimate from central Brazil, the core of maned wolf distribution. With 5.19 individuals/100 km(2), even large reserves support only small maned wolf populations. Therefore, long-term conservation of the maned wolf depends on land management outside of reserves. ( JOURNAL OF WILDLIFE MANAGEMENT 73( 1): 68-71; 2009)

Radiopacity of Portland Cement Associated With Different Radiopacifying Agents

This study evaluated the radiopacity of Portland cement associated with the following radiopacifying agents: bismuth oxide, zinc oxide, lead oxide, bismuth subnitrate, bismuth carbonate, barium sulfate, iodoform, calcium tungstate, and zirconium oxide. A ratio of 20% radiopacifier and 80% white Portland cement by weight was used for analysis. Pure Portland cement and dentin served as controls. Cement/radiopacifier and dentin disc-shaped specimens were fabricated, and radiopacity testing was performed according to the ISO 6876/2001 standard for dental root sealing materials. Using Insight occlusal films, the specimens were radiographed near to a graduated aluminum stepwedge varying from 2 to 16 mm in thickness. The radiographs were digitized and radiopacity compared with the aluminum stepwedge using Digora software (Orion Corporation Soredex, Helsinki, Finland). The radiographic density data were converted into mmAl and analyzed statistically by analysis of variance and Tukey-Kramer test (alpha = 0.05). The radiopacity of pure Portland cement was significantly lower (p < 0.05) than that of dentin, whereas all cement/radiopacifier mixtures were significantly more radiopaque than dentin and Portland cement alone (p < 0.05). Portland cement/bismuth oxide and Portland cement/lead oxide presented the highest radiopacity values and differed significantly from the other materials (p < 0.05), whereas Portland cement/zinc oxide presented the lowest radiopacity values of all mixtures (p < 0.05). All tested substances presented higher radiopacity than that of dentin and may potentially be added to the Portland cement as radiopacifying agents. However, the possible interference of the radiopacifiers with the setting chemistry, biocompatibility, and physical properties of the Portland cement should be further investigated before any clinical recommendation can be done. (J Endod 2009,35:737-740)

Bone crestal height and bone density after third-molar extraction and grafting: a long-term follow-up study

The objective of this study was to evaluate the long-term influence of xenogenic grafts on bone crestal height and radiographic density following extraction of teeth. The right and left third lower molars of 22 patients were surgically extracted, and one randomly chosen socket was filled with a xenogenic graft (Gent-Tech). The contralateral molar was left to heal naturally, serving as a paired control. Digital intraoral radiographies were taken at surgery and 2, 6, and 24 months after, to evaluate bone density (BD) and alveolar bone crest to cementoenamel junction distance. The data obtained were subjected to two-way analysis of variance and Tukey`s test (alpha = 0.05). The significant decrease in cementoenamel junction distance observed for both groups was limited to the first 6 months. BD values increased significantly in the first 6 months, with no alterations observed up to 24 months for both groups. BD was higher for the experimental group at all time points (p < 0.05). Socket grafting with the xenogenic materials tested did not changed bone crestal height and bone radiographic density in the long term.

Genetic variation in the recognition of Porphyromonas gingivalis antigens in mice

T-cell cytokine profiles, anti Porphyromonas gingivalis antibodies and Western blot analysis of antibody responses were examined in BALB/c, CBA/CaH, C57BL6 and DBA/2J mice immunized intraperitoneally with different doses of P. gingivalis outer membrane antigens, Splenic CD4 and CD8 cells were examined for intracytoplasmic interleukin (IL)-4, interferon (IFN)-gamma and IL-LD by FAGS analysis and levels of anti-P. gingivalis antibodies in the serum samples determined by enzyme-linked immunosorbent assay. Western blot analysis was performed on the sera from mice immunized with 100 mug of P. gingivalis antigens. The four strains of mice demonstrated varying degrees of T-cell immunity although the T-cell cytokine profiles exhibited by each strain were not affected by different immunizing doses. While BALB/c and DBA/2J mice exhibited responses that peaked at immunizing doses of 100-200 mug of P. gingivalis antigens, CBA/CaH and C57BL6 demonstrated weak T-cell responsiveness compared with control mice. Like the T-cell responses, serum antibody levels were not dose dependent. DBA/23 exhibited the lowest levels of anti-P. gingivalis antibodies followed by BALB/c with CBA/CaH and C57BL6 mice demonstrating the highest levels. Western blot analysis showed that there were differences in reactivity between the strains to a group of 13 antigens ranging in molecular weight from 15 to 43 kDa. Antibody responses to a number of these bands in BALB/c mice were of low density, whereas CBA/CaH and C57BL6 mice demonstrated high-density bands and DBA/2J mice showed medium to high responses. In conclusion, different immunizing doses of P. gingivalis outer membrane antigens had little effect on the T-cell cytokine responses and serum anti-P. gingivalis antibody levels. Western blot analysis, however, indicated that the four strains of mice exhibited different reactivity to some lower-molecular-weight antigens. Future studies are required to determine the significance of these differences, which may affect the outcome of P. gingivalis infection.

Interfacial evaluation of experimentally weakened roots restored with adhesive materials and fibre posts: An SEM analysis

Objectives: To evaluate the bonding interface in experimentally weakened roots reinforced with adhesive restorative materials and quartz fibre posts, varying the light-exposure time of the composite resin used for root reinforcement. Methods: Twelve extracted human maxillary incisors teeth were used. The crowns were removed and the roots were endodontically treated. After post space preparation, the roots were assigned to four groups. The thickness of the root dentine was reduced and adhesively restored with composite resin light-activated through a translucent fibre post for either 40 s (group 1), 80 s (group 2) or 120 s (group 3). In the case of control (group 4), the roots were not weakened. One day after post cementation, the specimens were sectioned transversally in three slices and processed for scanning electron microscopic analysis to observe bonding interface formation, quality of the hybrid layer and density of resin tags using a four-step scale method. Results: Formation of a hybrid layer and resin tags were evident in all groups. There was no statistically (p > 0.05) significant difference between the regions analysed in each group (Friedman test) and between groups in each section depth (Kruskal-Wallis test). Furthermore, comparison of the flared/reinforced groups showed that the different time;; used for composite resin cure did not affect the results significantly (Kruskal-Wallis test, p = 0.2139). Conclusions: Different light-exposure times used for composite resin polymerisation during root canal reinforcement did not affect significantly the formation and quality of the dentine/adhesive/composite resin bonding interface. (C) 2008 Elsevier Ltd. All rights reserved.

Bleaching Agents with Varying Concentrations of Carbamide and/or Hydrogen Peroxides: Effect on Dental Microhardness and Roughness

To evaluate the effect of low and highly concentrated bleaching agents on microhardness and surface roughness of bovine enamel and root dentin. According to a randomized complete block design, 100 specimens of each substrate were assigned into five groups to be treated with bleaching agents containing carbamide peroxide (CP) at 10% (CP10); hydrogen peroxide (HP) at 7.5% (HP7.5) or 38% (HP38), or the combination of 18% of HP and 22% of CP (HP18/CP22), for 3 weeks. The control group was left untreated. Specimens were immersed in artificial saliva between bleaching treatments. Knoop surface microhardness (SMH) and average surface roughness (Ra) were measured at baseline and post-bleaching conditions. For enamel, there were differences between bleaching treatments for both SMH and Ra measurements (p = 0.4009 and p = 0.7650, respectively). SMH significantly increased (p < 0.0001), whereas Ra decreased (p = 0.0207) from baseline to post-bleaching condition. For root dentin, the group treated with CP10 exhibited the significantly highest SMH value differing from those groups bleached with HP18/CP22, HP7.5, which did not differ from each other. Application of HP38 resulted in intermediate SMH values. No significant differences were found for Ra (p = 0.5975). Comparing the baseline and post-bleaching conditions, a decrease was observed in SMH (p < 0.0001) and an increase in Ra (p = 0.0063). Bleaching agents with varying concentrations of CP and/or HP are capable of causing mineral loss in root dentin. Enamel does not perform in such bleaching agent-dependent fashion when one considers either hardness or surface roughness evaluations. Bleaching did not alter the enamel microhardness and surface roughness, but in root dentin, microhardness seems to be dependent on the bleaching agent used.