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.

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.

Tooth Replantation After Use of Euro-Coffins Solution or Bovine Milk as Storage Medium: A Histomorphometric Analysis in Dogs

Purpose: Euro-Collins solution was developed for the preservation of organs for transplantation, whose characteristics have raised interest for its use as a storage medium for avulsed teeth before replantation. This study evaluated histologically and morphometrically the healing process of dog teeth replanted after storage in Euro-Collins solution or bovine milk. Materials and Methods: Eighty roots of 4 young adult mongrel clogs were randomly assigned to 4 groups (n = 20) and the root canals were instrumented and obturated with gutta-percha and a calcium hydroxide-based sealer. After 2 weeks, the teeth were extracted and subjected to the following protocols: GI (negative control), replantation immediately after extraction; GII (positive control), bench-drying for 2 hours before replantation; GIII and GIV, immersion in 10 mL of whole bovine milk and Euro-Collins solution at 4 C, respectively, for 8 hours before replantation. The animals were sacrificed 90 days postoperatively. The pieces containing the replanted teeth were subjected to routine processing for histologic and histometric analyses under light microscopy and polarized light microscopy. Results: Root resorption was observed in all groups. GII exhibited the greatest loss of dental structure (P < .01), and inflammatory resorption was predominant in this group. Storage in milk showed poorer results than immediate replantation and storage in Euro-Collins solution (P < .01). The teeth stored in Euro-Collins solution presented similar extension of root resorption and periodontal ligament reorganization to those of immediately replanted teeth. Conclusions: The findings of this study suggest that the Euro-Collins solution is an adequate storage medium for keeping avulsed teeth for up to 8 hours before replantation. Crown Copyright (C) 2010 Published by Elsevier Inc on behalf of American Association of Oral and Maxillofacial Surgeons. All rights reserved. Oral Maxillofac Surg 68:111-119, 2010

Propolis as storage media for avulsed teeth: microscopic and morphometric analysis in rats

The maintenance of the avulsed teeth in appropriate media for preserving the cellular viability has been important for repairing the periodontal ligament and preventing the root resorption after tooth reimplantation. Propolis is a substance capable of preserving cellular viability. This study aimed to analyze the propolis substance as a storage media for maintaining the avulsed teeth, besides to determine the ideal time period for keeping the tooth inside it. Thus, 60 maxillary right central incisors of rats were extracted and divided into five groups. In groups I and II, teeth were kept in propolis for 60 min and 6 h, respectively; in group III, teeth were kept in milk for 6 h; in group IV, teeth were kept dry for 60 min; and in group V, they were immediately reimplanted. All teeth had their root canals filled with calcium hydroxide paste. Following, teeth were reimplanted in their sockets. After 15 and 60 days, animals were killed and the obtained samples were processed in laboratory for microscopic and morphometric analyzing. The results showed that the occurrence of inflammatory resorption, dental ankylosis and the formation of the connective tissue parallel to the root surface were similar among groups. It could be verified a greater occurrence of replacement resorption in group IV when comparing to other groups. In groups I and IV, the presence of periodontal ligament-like connective tissue was substantially smaller than the other groups. Regarding to the cementum amount over the root, it could be observed that this was present in smaller amount in groups I and IV. Group II was similar to groups III and IV. Therefore, according to the results of this study, the use of propolis as a storage media for maintaining avulsed teeth could be highlighted, and the 6-h period was more appropriate than the 60-min period.

Microhardness of resin cements in the intraradicular environment: Effects of water storage and softening treament

Objectives. To analyze the microhardness of four dual-cure resin cements used for cementing fiber-reinforced posts under the following conditions: after 7 days of storage in water, after additional 24 h of immersion in 75% ethanol, and after 3 months of storage in water. Hardness measurements were taken at the cervical, middle and apical thirds along the cement line. Methods. Root canals of 40 bovine incisors were prepared for post space. Fibrekor (R) glass fiber-reinforced posts (Jeneric/Pentron) of 1 mm in diameter were cemented using Panavia F 2.0 (Kuraray), Variolink (Ivoclar-Vivadent), Rely X Unicem (3M ESPE) or Duolink (Bisco) (N = 10). After 7 days of water storage at 37 degrees C, half the sample (N = 5) was longitudinally sectioned and the initial microhardness measured along the cement line from cervical to apex. These same samples were further immersed in 75% ethanol for 24 h and reassessed. The remaining half (N = 5) was kept unsectioned in deionized water at 37 degrees C for 3 months, followed by sectioning and measuring. Data were analyzed by a series of two-way ANOVA and Tukey tests at alpha = 5%. Results. Statistically significant differences were identified among the cements, thirds and conditions. Significant interactions were also observed between cements and thirds and between cements and conditions. Panavia F exhibited significantly higher initial microhardness than the other three cements, which showed no statistical difference among themselves. Variolink and Duolink showed significantly higher microhardness values in the cervical third, without significant difference among the thirds for the other cements. Immersion in ethanol significantly reduced the hardness values for all cements, regardless of the thirds. Storage in water for 3 months had no influence on the hardness of most of the cements, with the exception of Unicem that showed a significant increase in the hardness values after this period. Results showed heterogeneity in the microhardness of the cements inside the canal. All cements presented some degree of softening after ethanol treatment, which suggests instability of the polymer. The quality of curing of resin cements in the root canal environment seems unpredictable and highly material dependent. (C) 2009 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Mechanical stability of adhesives under water storage

Objectives. To evaluate the effects of storage condition (wet or dry) and storage time (24 h and 3 months) on the ultimate tensile strength (UTS) of Single Bond (SB), 3M-ESPE; Opti Bond Solo Plus (OB), Kerr; One Step (OS), Bisco, and Prime & Bond NT (PB), Dentsply adhesive resins. Methods. Hourglass-shaped specimens were obtained from a metallic matrix. Each adhesive was dispensed to fill the molds completely and left undisturbed in a dark chamber for 4 min at 37 degrees C for solvent evaporation. They were individually light-cured for 80 s at 500 mW/cm(2) and randomly divided into three groups: 24 h of water storage; 3 months of water storage; 3 months of dry storage. The specimens were tested in tension at 0.5 mm/min using the microtensile method and data were analyzed by two-way ANOVA and SNK tests for each material. Results. Water storage for 3 months did not cause significant changes in the UTS of any of the adhesives (p-value). Values for water storage ranged from 25.9 MPa for Single Bond at 24 h to 32.7 MPa for Prime & Bond NT after 3 months. Dry storage for 3 months yielded significantly higher UTS for most adhesives, which ranged from approximately 20% for Opti Bond to 160% higher values for Single Bond compared to their 3 months wet storage values. Conclusion. The effects of storage condition and time on the UTS of adhesives were material-dependent. (C) 2009 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Study of the effectiveness of propolis extract as a storage medium for avulsed teeth

The purpose of the present study was to evaluate the efficacy of propolis extract in maintaining the viability of human periodontal ligament (PDL) cells, and to radiographically analyze tooth replantation and the adjacent periodontium in dogs after storage in this extract. Human PDL cells were incubated with the experimental media propolis, milk, saliva, Hank`s balanced salt solution (HBSS), and Dulbecco`s modified Eagles medium (DMEM, positive controls), and distilled water (negative control). Cell viability was determined 0, 1, 3, 6, 12, and 24 h later by colorimetric MTT assay. Thirty incisors from dogs were divided into two storage time blocks (1 and 3 h) and were maintained in the experimental media. HBSS served as a positive control, and dry teeth (on gauze) as a negative control. The replanted teeth were radiographed once per month for 6 months. The radiographic images were standardized by the shortening/lengthening factor, and were both qualitatively and quantitatively analyzed. The in vitro results showed that the efficacy of propolis in maintaining functional viability of PDL cells was similar to that of milk. Propolis and milk were significantly better than controls from the 6-h time period. The in vivo results showed that teeth maintained in propolis medium exhibited replacement resorption with significant reduction in tooth length, similar to teeth maintained in saliva and dried teeth. This resorption was less intense with the 3-h storage time than the 1-h storage time. Conditions close to normal were found in teeth maintained in milk, similar to the HBSS control. Therefore, although propolis was effective in maintaining the viability of human PDL cells, resorption of the tooth replantation in dogs occurred under these experimental conditions.

The influence of storage condition and duration on the resistance to fracture of different fiber post systems

Purpose: To evaluate the effects of storage condition and duration on the resistance to fracture of different fiber post systems (and to morphologically assess the post structure before and after storage. Methods: Three types of fiber posts (DT Light Post, GC Post, FRC Postect Plus) were divided in different groups (n=12) according to the storage condition (dry at 37 degrees C; saline water at 37 degrees C; mineral oil at 37 degrees C and storage inside the roots of extracted human teeth immersed in saline water at 37 degrees C and duration (6, 12 months). A universal testing machine loading at a 90 degrees angle was employed for the three-point bending test. The test was carried out until fracture of the post. A 3-way ANOVA and Tukey`s test (alpha= 0.05) were used to compare the effect of the experimental factors on the fracture strength. Two posts of each group were observed before and after the storage using a scanning electron microscope. Results: Storage condition and post type had a significant effect on post fracture strength (P< 0.05). The interaction between these factors was significant (P< 0.05). Water storage significantly decreased the fracture strength, regardless of the post type and the storage duration. Storage inside roots, in oil, and at dry conditions did not significantly affect post fracture strength. SEM micrographs revealed voids between fibers and resin matrix for posts stored in water. Posts stored under the other conditions showed a compact matrix without porosities. (Am J Dent 2009;22:366-370).

The effects of information request ambiguity and construct incongruence on query development

This paper examines the effects of information request ambiguity and construct incongruence on end user's ability to develop SQL queries with an interactive relational database query language. In this experiment, ambiguity in information requests adversely affected accuracy and efficiency. Incongruities among the information request, the query syntax, and the data representation adversely affected accuracy, efficiency, and confidence. The results for ambiguity suggest that organizations might elicit better query development if end users were sensitized to the nature of ambiguities that could arise in their business contexts. End users could translate natural language queries into pseudo-SQL that could be examined for precision before the queries were developed. The results for incongruence suggest that better query development might ensue if semantic distances could be reduced by giving users data representations and database views that maximize construct congruence for the kinds of queries in typical domains. (C) 2001 Elsevier Science B.V. All rights reserved.

The effects of normalisation on the ability of business end-users to detect data anomalies: An experimental evaluation

With the proliferation of relational database programs for PC's and other platforms, many business end-users are creating, maintaining, and querying their own databases. More importantly, business end-users use the output of these queries as the basis for operational, tactical, and strategic decisions. Inaccurate data reduce the expected quality of these decisions. Implementing various input validation controls, including higher levels of normalisation, can reduce the number of data anomalies entering the databases. Even in well-maintained databases, however, data anomalies will still accumulate. To improve the quality of data, databases can be queried periodically to locate and correct anomalies. This paper reports the results of two experiments that investigated the effects of different data structures on business end-users' abilities to detect data anomalies in a relational database. The results demonstrate that both unnormalised and higher levels of normalisation lower the effectiveness and efficiency of queries relative to the first normal form. First normal form databases appear to provide the most effective and efficient data structure for business end-users formulating queries to detect data anomalies.

Pharmacokinetic software for the health sciences - Choosing the right package for teaching purposes

Computer assisted learning has an important role in the teaching of pharmacokinetics to health sciences students because it transfers the emphasis from the purely mathematical domain to an 'experiential' domain in which graphical and symbolic representations of actions and their consequences form the major focus for learning. Basic pharmacokinetic concepts can be taught by experimenting with the interplay between dose and dosage interval with drug absorption (e.g. absorption rate, bioavailability), drug distribution (e.g. volume of distribution, protein binding) and drug elimination (e.g. clearance) on drug concentrations using library ('canned') pharmacokinetic models. Such 'what if' approaches are found in calculator-simulators such as PharmaCalc, Practical Pharmacokinetics and PK Solutions. Others such as SAAM II, ModelMaker, and Stella represent the 'systems dynamics' genre, which requires the user to conceptualise a problem and formulate the model on-screen using symbols, icons, and directional arrows. The choice of software should be determined by the aims of the subject/course, the experience and background of the students in pharmacokinetics, and institutional factors including price and networking capabilities of the package(s). Enhanced learning may result if the computer teaching of pharmacokinetics is supported by tutorials, especially where the techniques are applied to solving problems in which the link with healthcare practices is clearly established.

A comparison of low-storage strategies for spectral analysis in dissipative systems: filter diagonalisation in the Lanczos representation and harmonic inversion of the Chebychev-order-domain autocorrelation function

We compare the performance of two different low-storage filter diagonalisation (LSFD) strategies in the calculation of complex resonance energies of the HO2, radical. The first is carried out within a complex-symmetric Lanczos subspace representation [H. Zhang, S.C. Smith, Phys. Chem. Chem. Phys. 3 (2001) 2281]. The second involves harmonic inversion of a real autocorrelation function obtained via a damped Chebychev recursion [V.A. Mandelshtam, H.S. Taylor, J. Chem. Phys. 107 (1997) 6756]. We find that while the Chebychev approach has the advantage of utilizing real algebra in the time-consuming process of generating the vector recursion, the Lanczos, method (using complex vectors) requires fewer iterations, especially for low-energy part of the spectrum. The overall efficiency in calculating resonances for these two methods is comparable for this challenging system. (C) 2001 Elsevier Science B.V. All rights reserved.