Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.

Physical-mechanical properties of glass ionomer cements indicated for atraumatic restorative treatment

Background: This study evaluated mechanical properties of glass ionomer cements (GICs) used for atraumatic restorative treatment. Wear resistance, Knoop hardness (Kh), flexural (F(s)) and compressive strength (C(s)) were evaluated. The GICs used were Riva Self Cure (RVA), Fuji IX (FIX), Hi Dense (HD), Vitro Molar (VM), Maxxion R (MXR) and Ketac Molar Easymix (KME). Methods: Wear was evaluated after 1, 4, 63 and 365 days. Two-way ANOVA and Tukey post hoc tests (P = 0.05) analysed differences in wear of the GICs and the time effect. F(s), C(s), and Kh were analysed with one-way ANOVA. Results: The type of cement (p < 0.001) and the time (p < 0.001) had a significant effect on wear. In early-term wear and Kh, KME and FIX presented the best performance. In long-term wear, F(s) and C(s), KME, FIX and HD had the best performance. Strong explanatory power between F(s) and the Kh (r(2) = 0.85), C(s) and the Kh (r(2) = 0.82), long-term wear and F(s) of 24 h (r(2) = 0.79) were observed. Conclusions: The data suggested that KME and FIX presented the best in vitro performance. HD showed good results except for early-term wear.

Composite pre-heating: Effects on marginal adaptation, degree of conversion and mechanical properties

Objectives. This study evaluated the effect of composite pre-polymerization temperature and energy density on the marginal adaptation (MA), degree of conversion (DC), flexural strength (FS), and polymer cross-linking (PCL) of a resin composite (Filtek Z350, 3M/ESPE). Methods. For MA, class V cavities (4mmx2mmx2mm) were prepared in 40 bovine incisors. The adhesive system Adper Single Bond 2 (3M/ESPE) was applied. Before being placed in the cavities, the resin composite was either kept at room-temperature (25 degrees C) or previously pre-heated to 68 degrees C in the Calset (TM) device (AdDent Inc., Danbury, CT, USA). The composite was then light polymerized for 20 or 40s at 600mW/cm(2) (12 or 24 J/cm(2), respectively). The percentage of gaps was analyzed by scanning electron microscopy, after sectioning the restorations and preparing epoxy resin replicas. DC (n = 3) was obtained by FT-Raman spectroscopy on irradiated and non-irradiated composite surfaces. FS (n = 10) was measured by the three-point-bending test. KHN (n = 6) was measured after 24h dry storage and again after immersion in 100% ethanol solution for 24 h, to calculate PCL density. Data were analyzed by appropriate statistical analyses. Results. The pre-heated composite showed better MA than the room-temperature groups. A higher number of gaps were observed in the room-temperature groups, irrespective of the energy density, mainly in the axial wall (p < 0.05). Composite pre-heating and energy density did not affect the DC, FS and PCL (p > 0.05). Significance. Pre-heating the composite prior to light polymerization similar in a clinical situation did not alter the mechanical properties and monomer conversion of the composite, but provided enhanced composite adaptation to cavity walls. (C) 2010 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Effect of ion-exchange temperature on mechanical properties of a dental porcelain

The objective of this study was to determine the influence of different ion-exchange temperatures on the biaxial flexural strength (sigma(f)), hardness (HV) and indentation fracture resistance (K(IF)) of a dental porcelain. Disk-shaped specimens were divided into five groups (n = 10) and submitted to an ion-exchange procedure using KNO(3) paste for 15 min in the following temperatures (degrees C); (I) 430; (II) 450; (III) 470; (IV) 490; (V) 510; and control (no ion exchange). The value of sigma(f) was determined in artificial saliva at 37 degrees C. The values of HV and K(IF) were obtained using 3 Vickers indentations in each specimen (19.6 N). Results showed that ion exchange increases significantly the properties of the material as compared to the control and no significant differences were found among the temperatures tested for any of the properties studied. (C) 2010 Elsevier Ltd and Techna Group S.r.l. All rights reserved.

Effect of argon purity on mechanical properties, microstructure and fracture mode of commercially pure (cp) Ti and Ti-6Al-4V alloys for ceramometal dental prostheses

Provision of an inert gas atmosphere with high-purity argon gas is recommended for preventing titanium castings from contamination although the effects of the level of argon purity on the mechanical properties and the clinical performance of Ti castings have not yet been investigated. The purpose of this study was to evaluate the effect of argon purity on the mechanical properties and microstructure of commercially pure (cp) Ti and Ti-6Al-4V alloys. The castings were made using either high-purity and/or industrial argon gas. The ultimate tensile strength (UTS), proportional limit (PL), elongation (EL) and microhardness (VHN) at different depths were evaluated. The microstructure of the alloys was also revealed and the fracture mode was analyzed by scanning electron microscopy. The data from the mechanical tests and hardness were subjected to a two-and three-way ANOVA and Tukey`s test (alpha = 0.05). The mean values of mechanical properties were not affected by the argon gas purity. Higher UTS, PL and VHN, and lower EL were observed for Ti-6Al-4V. The microhardness was not influenced by the argon gas purity. The industrial argon gas can be used to cast cp Ti and Ti-6Al-4V.

Bis-GMA co-polymerizations: Influence on conversion, flexural properties, fracture toughness and susceptibility to ethanol degradation of experimental composites

Objectives. The aim of this study was to evaluate the influence of monomer content on fracture toughness (K(Ic)) before and after ethanol solution storage, flexural properties and degree of conversion (DC) of bisphenol A glycidyl methacrylate (Bis-GMA) co-polymers. Methods. Five formulations were tested, containing Bis-GMA (B) combined with TEGDMA (T), UDMA (U) or Bis-EMA (E), as follows (in mol%): 30B:70T; 30B:35T:35U; 30B:70U; 30B:35T:35E; 30B:70E. Bimodal filler was introduced at 80 wt%. Single-edge notched beams for fracture toughness (FT, 25 mm x 5 mm x 2.5 mm, a/w = 0.5, n = 20) and 10 mm x 2 mm x 1 mm beams for flexural strength (FS) and modulus (FM) determination (10 mm x 2 mm x 1 mm, n = 10) were built and then stored in distilled water for 24 h at 37 degrees C. All FS/FM beams and half of the FT specimens were immediately submitted to three-point bending test. The remaining FT specimens were stored in a 75%ethanol/25%water (v/v) solution for 3 months prior to testing. DC was determined with FT-Raman spectroscopy in fragments of both FT and FS/FM specimens at 24 h. Data were submitted to one-way ANOVA/Tukey test (alpha = 5%). Results. The 30B:70T composite presented the highest K(Ic) value (in MPa m(1/2)) at 24 h (1.3 +/- 0.4), statistically similar to 30B:35T:35U and 30B:70U, while 30B:70E presented the lowest value (0.5 +/- 0.1). After ethanol storage, reductions in K(Ic) ranged from 33 to 72%. The 30B:70E material presented the lowest reduction in FT and 30B:70U, the highest. DC was similar among groups (69-73%), except for 30B:70U (52 +/- 4%, p < 0.001). 30B:70U and 30B:35T:35U presented the highest FS (125 +/- 21 and 122 +/- 14 MPa, respectively), statistically different from 30B:70T or 30B:70E (92 +/- 20 and 94 +/- 16 MPa, respectively). Composites containing UDMA or Bis-EMA associated with Bis-GMA presented similar FM, statistically lower than 30B:35T:35U. Significance. Composites formulated with Bis-GMA:TEGDMA:UDMA presented the best compromise between conversion and mechanical properties. (C) 2009 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Shrinkage stress and mechanical properties of photoactivated composite resin using the argon ion laser

The objective of this study was to verify the influence of photoactivation with the argon ion laser on shrinkage stress (SS), followed by evaluation of Vickers microhardness (VM), percentage of maximum hardness (PMH), flexural strength (FS), and flexural modulus (FM) of a composite resin. The study groups were: L1-laser at 200 mW for 10 seconds; L2-laser at 200 mW for 20 seconds; L3-laser at 250 mW for 10 seconds; L4-laser at 250 mW for 20 seconds; H-halogen light at 275 mW for 20 seconds. Data were analyzed by ANOVA/Tukey`s test (alpha=5%). The values of SS (MPa) were statistically lower for the group L3 (1.3)c, followed by groups L1 (2.7)b, L4 (3.4)a, b, L2 (3.7)a, and H (4.5)a. There was no difference in the values of VM when the same time of photoactivation was used, with respective values being L1=70.1a, L2=78.1b, L3=69.9a, L4=78.1b and H=79.9b. All groups showed a PMH of at least 80%. Only the group L1 showed differences in FS (MPa) and FM (GPa), the respective values of 86.2 and 5.4 being lower. Therefore, the use of argon ion laser had influenced the composite resin polymerization. The L3 group presented adequate mechanical properties and minimum SS, reducing the clinical working time for photoactivation of restorations with the tested resin by 50%.

Tailoring of physical properties in highly filled experimental nanohybrid resin composites

Objectives. To assess the elastic modulus (EM), volumetric shrinkage (VS), and polymerization shrinkage stress (PSS) of experimental highly filled nanohybrid composites as a function of matrix composition, filler distribution, and density. Methods. One regular viscosity nanohybrid composite (Grandio, VOCO, Germany) and one flowable nanohybrid composite (Grandio Flow, VOCO) were tested as references along with six highly filled experimental nanohybrid composites (four Bis-GMA-based, one UDMA-based, and one Ormocer (R) -based). The experimental composites varied in filler size and density. EM values were obtained from the ""three-point bending"" load-displacement curve. VS was calculated with Archimedes` buoyancy principle. PSS was determined in 1-mm thick specimens placed between two (poly) methyl methacrylate rods (empty set = 6 mm) attached to an universal testing machine. Data were analyzed using oneway ANOVA, Tukey`s test (alpha = 0.05), and linear regression analyses. Results. The flowable composite exhibited the highest VS and PSS but lowest EM. The PSS was significantly lower with Ormocer. The EM was significantly higher among experimental composites with highest filler levels. No significant differences were found between all other experimental composites regarding VS and PSS. Filler density and size did not influence EM, VS, or PSS. Significance. Neither the filler configuration nor matrix composition in the investigated materials significantly influenced composite shrinkage and mechanical properties. The highest filled experimental composite seemed to increase EM by keeping VS and PSS low; however, matrix composition seemed to be the determinant factor for shrinkage and stress development. The Ormocer, with reduced PSS, deserves further investigation. Filler size and density did not influence the tested parameters. (C) 2011 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Degree of conversion and mechanical properties of a BisGMA : TEGDMA composite as a function of the applied radiant exposure

Objective: Verify the influence of radiant exposure (H) on composite degree of conversion (DC) and mechanical properties. Methods: Composite was photoactivated with 3, 6, 12, 24, or 48 J/cm(2). Properties were measured after 48-h dry storage at room temperature. DC was determined on the flat surfaces of 6 mm x 2 mm disk-shaped specimens using FTIR. Flexural strength (FS) and modulus (FM) were accessed by three-point bending. Knoop microhardness number (KHN) was measured on fragments of FS specimens. Data were analyzed by one-way ANOVA/Tukey test, Student`s t-test, and regression analysis. Results: DC/top between 6 and 12 J/cm(2) and between 24 and 48 J/cm(2) were not statistically different. No differences between DC/top and bottom were detected. DC/bottom, FM, and KHN/top showed significant differences among all H levels. FS did not vary between 12 and 24 J/cm(2) and between 24 and 48 J/cm(2). KHN/bottom at 3 and 6 J/cm(2) was similar. KHN between top and bottom was different up to 12 J/cm(2). Regression analyses having H as independent variable showed a plateau region above 24 J/cm(2). KHN increased exponentially (top) or linearly (bottom) with DC. FS and FM increased almost linearly with DC/bottom up to 55% conversion. Conclusions: DC and mechanical properties increased with radiant exposure. Variables leveled off at high H levels. (C) 2007 Wiley Periodicals, Inc.

Adhesive Temperature: Effects on Adhesive Properties and Resin-Dentin Bond Strength

Objectives: To evaluate the effect of adhesive temperature on the resin-dentin bond strength (mu TBS), nanoleakage (NL), adhesive layer thickness (AL), and degree of conversion (DC) of ethanol/water- (SB) and acetone-based (PB) etch-and-rinse adhesive systems. Methods: The bottles of the two adhesives were kept at each temperature (5 degrees C, 20 degrees C, 37 degrees C, and 50 degrees C) for 2 hours before application to demineralized dentin surfaces of 40 molars. Specimens were prepared for mu TBS testing. Bonded sticks (0.8 mm(2)) were tested under tension (0.5 mm/min). Three bonded sticks from each tooth were immersed in silver nitrate and analyzed by scanning electron microscopy. The DC of the adhesives was evaluated by Fourier transformed infrared spectroscopy. Results: Lower mu TBS was observed for PB at 50 degrees C. For SB, the mu TBS values were similar for all temperatures. DC was higher at 50 degrees C for PB. Higher NL and thicker AL were observed for both adhesives in the 5 degrees C and 20 degrees C groups compared to the 37 degrees C and 50 degrees C groups. The higher temperatures (37 degrees C or 50 degrees C) reduced the number of pores within the adhesive layer of both adhesive systems. Conclusions: It could be useful to use an ethanol/water-based adhesive at 37 degrees C or 50 degrees C and an acetone-based adhesive at 37 degrees C to improve adhesive performance.

Physical Properties and Interfacial Adaptation of Three Epoxy Resin-based Sealers

Introduction: The aim of the study was to evaluate the radiopacity, solubility, flow, film thickness, setting time, and adaptation to the root canal walls of 3 epoxy resin based sealers: AH Plus, Acroseal, and Adseal. Methods: Physical tests were performed following American National Standards Institute/American Dental Association`s requirements. For interfacial adaptation analysis, 30 maxillary canines were shaped by using Pro Taper instruments. The specimens were divided into 3 groups (n = 10): group 1, AH Plus; group 2, Acroseal; and group 3, Adseal. The sealers were mixed with rhodamine B dye, and the canals were filled by using the lateral compaction technique. The percentage of gaps and voids area was calculated at 2, 4, and 6 mm levels from the apex. Statistical evaluation was performed by using analysis of variance for physical analysis and nonparametric Kruskal-Wallis and Dunn tests for interfacial adaptation (P<.05). Results: No statistical differences were found for adaptation, percentage of voids, solubility, flow, and film thickness among the sealers (P>.05). AH Plus was significantly more radiopaque (P<.05). For the setting time, there were statistical differences among all the studied sealers (P<.05). Conclusions: AH Plus, Acroseal, and Adseal presented similar root canal adaptation, solubility, flow, and film thickness. Statistical differences were found for radiopacity and setting time (P<.05). (J Endod 2011;37:1417-1421)

Evaluation of the physical and chemical properties of two commercial and three experimental root-end filling materials

Objective. The aim of this study was to evaluate the pH, calcium release, setting time, and solubility of two commercially available mineral trioxide aggregate (MTA) cements (white MTA Angelus and MTA Bio), and of three experimental cements (light-cured MTA, Portland cement with 20% bismuth oxide and 5% calcium sulfate, and an epoxy resin-based cement). Study design. For evaluation of pH and calcium ion release, polyethylene tubes with 1.0 mm internal diameter and 10.0 mm length were filled with the cements and immediately immersed in flasks containing 10 mL deionized water. After 3, 24, 72, and 168 hours, the tubes were removed and the water from the previous container was measured for its pH and calcium content with a pH meter and an atomic absorption spectrophotometer. For analysis of the setting time, Gilmore needles weighing 100 g and 456.5 g were used, in accordance with the American Society for Testing and Materials specification no. C266-03. Solubility of each cement was also tested. Results. All the cements were alkaline and released calcium ions, with a declining trend over time. After 3 hours, Portland cement + bismuth oxide and MTA Bio had the highest pH and light-cured MTA the lowest. After 1 week, MTA Bio had the highest pH and light-cured MTA and epoxy resin-based cement the lowest. Regarding calcium ion release, after 3 hours, Portland cement + bismuth oxide showed the highest release. After 1 week, MTA Bio had the highest. Epoxy resin-based cement and light-cured MTA had the lowest calcium release in all evaluation periods. Regarding setting times, white MTA Angelus and MTA Bio had the shortest, Portland cement + bismuth oxide had an intermediate setting time, and the epoxy resin-based cement had the longest. The materials that showed the lowest solubility values were the epoxy resin-based cement, Portland cement + bismuth oxide, and light-cured MTA. The highest solubility values were presented in white MTA Angelus and MTA Bio. Conclusions. The white MTA Angelus and MTA Bio had the shortest setting times, higher pH and calcium ion release, and the highest solubility. In contrast, the epoxy resin-based cement and light-cured MTA showed lower values of solubility, pH, and calcium ion release. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2010; 110: 250-256)