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.

Ivermectin impairs sexual behavior in sexually naive, but not sexually experienced male rats

Ivermectin (IVM) is an antiparasitic drug, widely used in domestic animals. In mammals, IVM act as a GABA agonist. This neurotransmitter has an important role in the regulation of sexual behavior. Thus, this study sought to investigate the effects of various medically relevant doses IVM on the sexual behavior of male rats. In particular, we also wished to examine if previous sexual experience modulated responses to IVM. In the first experiment, the sexual behavior of inexperienced male rats was analyzed after they received 0.2, 0.6, 1.0 or 2.0 mg/kg IVM, 15 mm prior to behavioral testing. In the second experiment, the effects of four previous sexual experiences on IVM treated rats (1.0 or 2.0 mg/kg, 15 min prior to the 5th session) were assessed. The standard therapeutic dose (0.2 mg/kg) did not impair the sexual behavior of inexperienced male rats. At a more concentrated dose (0.6 mg/kg), which is still within the therapeutic range, the appetitive phase of sexual behavior of inexperienced male rats was impaired. Likewise, 1.0 mg/kg impaired the appetitive phase. Previous sexual experience blocked almost entirely this sexual impairment, suggesting that previous sexual experience exerts a positive effect in attenuating the sexual impairment produced by IVM treatment. Therefore, the standard therapeutic dose of IVM can be used without producing side effects on sexual behavior. Use of more concentrated therapeutic doses is not recommended during reproductive periods, unless the animals have had previous sexual experience. (C) 2010 Elsevier Ltd. All rights reserved.

Effect of ion exchange on R-curve behavior of a dental porcelain

The objective of this study was to evaluate the effect of the ion exchange treatment on the R-curve behavior of a leucite-reinforced dental porcelain, testing the hypothesis that the ion exchange is able to improve the R-curve behavior of the porcelain studied. Porcelain disks were sintered, finely polished, and submitted to an ion exchange treatment with a KNO(3) paste. The R-curve behavior was assessed by fracturing the specimens in a biaxial flexure design after making Vickers indentations in the center of the polished surface with loads of 1.8, 3.1, 4.9, 9.8, 31.4, and 49.0 N. The results showed that the ion exchange process resulted in significant improvements in terms of fracture toughness and flexural strength as compared to the untreated material. Nevertheless, the rising R-curve behavior previously observed in the control group disappeared after the ion exchange treatment, i.e., fracture toughness did not increase with the increase in crack size for the treated group.

Effect of processing induced particle alignment on the fracture toughness and fracture behavior of multiphase dental ceramics

Objective. To investigate the processing induced particle alignment on fracture behavior of four multiphase dental ceramics (one porcelain, two glass-ceramics and a glass-infiltrated-alumina composite). Methods. Disks (empty set12mm x 1.1 mm-thick) and bars (3 mm x 4 mm x 20 mm) of each material were processed according to manufacturer instructions, machined and polished. Fracture toughness (K(IC)) was determined by the indentation strength method using 3-point bending and biaxial flexure fixtures for the fracture of bars and disks, respectively. Microstructural and fractographic analyses were performed with scanning electron microscopy, energy dispersive spectroscopy and X-ray diffraction. Results. The isotropic microstructure of the porcelain and the leucite-based glass-ceramic resulted in similar fracture toughness values regardless of the specimen geometry. On the other hand, materials containing second-phase particles with high aspect ratio (lithium disilicate glass-ceramic and glass-infiltrated-alumina composite) showed lower fracture toughness for disk specimens compared to bars. For the lithium disilicate glass-ceramic disks, it was demonstrated that the occurrence of particle alignment during the heat-pressing procedure resulted in an unfavorable pattern that created weak microstructural paths during the biaxial test. For the glass-infiltrated-alumina composite, the microstructural analysis showed that the large alumina platelets tended to align their large surfaces perpendicularly to the direction of particle deposition during slip casting of green preforms. Significance. The fracture toughness of dental ceramics with anisotropic microstructure should be determined by means of biaxial testing, since it results in lower values. (C) 2009 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Understanding the impact of divalent cation substitution on hydroxyapatite: An in vitro multiparametric study on biocompatibility

Hydroxyapatite (HA), a stable and biocompatible material for bone tissue therapy, may present a variable stoichiometry and accept a large number of cationic substitutions. Such substitutions may modify the chemical activity of HA surface, with possible impact on biocompatibility. In this work, we assessed the effects of calcium substitution with diverse divalent cations (Pb(2+), Sr(2+), Co(2+), Zn(2+), Fe(2+), Cu(2+), or Mg(2+)) on the biological behavior of HA. Physicochemical analyses revealed that apatite characteristics related to crystallinity and calcium dissolution/uptake rates are very sensitive to the nature of cationic substitution. Cytocompatibility was evaluated by mitochondrial activity, membrane integrity, cell density, proapoptotic potential, and adhesion tests. With the exception of Zn-HA, all the substituted HAs induced some level of apoptosis. The highest apoptosis levels were observed for Mg-HA and Co-HA. Cu-HA was the only material to impair simultaneously mitochondrial activity, membrane integrity, and cell density. The highest relative cell densities after exposure to the modified HAs were observed for Mg-HA and Zn-HA, while Co-HA significantly improved cell adhesion onto HA surface. These results show that changes on surface dissolution caused by cationic substitution, as well as the increase of metal species released to biological media, were the main responsible factors related to alterations on HA biocompatibility. (C) 2011 Wiley Periodicals, Inc. J Biomed Mater Res Part A: 98A: 351-358, 2011.

Mechanical Testing of Indirect Composite Materials Directly Applied on Implant Abutments

Purpose: To test the strength to failure and fracture mode of three indirect composite materials directly applied onto Ti-6Al-4V implant abutments vs cemented standard porcelain-fused-to-metal (PFM) crowns. Materials and Methods: Sixty-four locking taper abutments were randomly allocated to four groups and were cleaned in ethanol in an ultrasonic bath for 5 min. After drying under ambient conditions, the abutments were grit blasted and a custom 4-cusp molar crown mold was utilized to produce identical crowns (n = 16 per group) of Tescera (Bisco), Ceramage (Shofu), and Diamond Crown (DRM) according to the manufacturer`s instructions. The porcelain-fused-to-metal crowns were fabricated by conventional means involving the construction and a wax pattern and casting of a metallic coping followed by sintering of increasing layers of porcelain. All crowns were loaded to failure by an indenter placed at one of the cusp tips at a 1 mm/min rate. Subsequently, fracture analysis was performed by means of stereomicroscopy and scanning electron microscopy. One-way ANOVA at 95% level of significance was utilized for statistical analysis. Results: The single load to failure (+/- SD) results were: Tescera (1130 +/- 239 N), Ceramage (1099 +/- 257 N), Diamond Crown (1155 +/- 284 N), and PFM (1081 +/- 243 N). Stereomicroscopy analysis showed two distinct failure modes, where the loaded cusp failed either with or without abutment/metallic coping exposure. SEM analysis of the fractures showed multiple crack propagation towards the cervical region of the crown below a region of plastic deformation at the indenter contact region. Conclusion: The three indirect composites and PFM systems fractured at loads higher than those typically associated with normal occlusal function. Although each material had a different composition and handling technique, no significant differences were found concerning their single load to fracture resistance among composite systems and PFM.

Thermal/mechanical simulation and laboratory fatigue testing of an alternative yttria tetragonal zirconia polycrystal core-veneer all-ceramic layered crown design

This study evaluated the stress levels at the core layer and the veneer layer of zirconia crowns (comprising an alternative core design vs. a standard core design) under mechanical/thermal simulation, and subjected simulated models to laboratory mouth-motion fatigue. The dimensions of a mandibular first molar were imported into computer-aided design (CAD) software and a tooth preparation was modeled. A crown was designed using the space between the original tooth and the prepared tooth. The alternative core presented an additional lingual shoulder that lowered the veneer bulk of the cusps. Finite element analyses evaluated the residual maximum principal stresses fields at the core and veneer of both designs under loading and when cooled from 900 degrees C to 25 degrees C. Crowns were fabricated and mouth-motion fatigued, generating master Weibull curves and reliability data. Thermal modeling showed low residual stress fields throughout the bulk of the cusps for both groups. Mechanical simulation depicted a shift in stress levels to the core of the alternative design compared with the standard design. Significantly higher reliability was found for the alternative core. Regardless of the alternative configuration, thermal and mechanical computer simulations showed stress in the alternative core design comparable and higher to that of the standard configuration, respectively. Such a mechanical scenario probably led to the higher reliability of the alternative design under fatigue.

Effects of neonatal handling on central noradrenergic and nitric oxidergic systems and reproductive parameters in female rats

Early-life environmental events that disrupt the mother-pup relationship may induce profound long-lasting changes on several behavioral and neuroendocrine systems. The neonatal handling procedure, which involves repeated brief maternal separations followed by experimental manipulations, reduces sexual behavior and induces anovulatory estrous cycles in female rats. On the afternoon of proestrus, neonatally handled females show a reduced surge of luteinizing hormone (LH) and an increased content of gonadotropin-releasing hormone in the medial preoptic area (MPOA). In order to detect the possible causes for the reduced ovulation and sexual behavior, the present study aimed to analyze the effects of neonatal handling on noradrenaline (NA) and nitric oxide (NO) levels in the MPOA on the afternoon of proestrus. Neonatal handling reduced MHPG (NA metabolite) levels and MHPG/NA ratio in the MPOA, indicating decreased NAergic activity. Additionally, neonatal handling decreased NO levels, as measured by the metabolites (NO x), nitrite and nitrate in the same period. We may conclude that the neonatal handling procedure decreased activity of the NAergic and NOergic systems in the MPOA during proestrus, which is involved in the control of LH and FSH secretion, and this may possibly explain the anovulatory estrous cycles and reduced sexual behavior of the neonatally handled female rats. Copyright (c) 2007 S. Karger AG, Basel.

Neonatal handling reduces the number of cells in the medial preoptic area of female rats

Early-life events may induce alterations in neuronal function in adulthood. A crucial aspect in studying long-lasting effects induced by environmental interventions imposed to the animal several weeks before is finding a stable change that could be causally related to the phenotype observed in adulthood. In order to explain an adult trait, it seems necessary to look back to early life and establish a temporal line between events. The neonatal handling procedure is an experimental tool to analyze the long-lasting impact of early-life events. Aside from the neuroendocrine response to stress, neonatal handling also alters the functionality of the hypothalamus-pituitary-gonad (HPG) axis. Reductions in ovulation and surge of the luteinizing hormone (LH) on the proestrous day were shown in female rats. Considering the importance of the medial preoptic area (MPA) for the control of ovulation, the present study aimed to verify the effects of neonatal handling on the numerical density and cell size in the MPA in 11-day-old and 90-day-old female rats. Cellular proliferation was also assessed using BrdU (5-bromo-2`-deoxyuridine) in 11-day-old pups. Results showed that neonatal handling induces a stable reduction in the number of cells and in the size of the cell soma, which were lower in handled females than in nonhandled ones at both ages. Cellular proliferation in the MPA was also reduced 24 h after the last manipulation. The repeated mother-infant disruption imposed by the handling procedure ""lesioned"" the MPA. The dysfunction in the ovulation mechanisms induced by the handling procedure could be related to that neuronal loss. The study also illustrates the impact of an environmental intervention on the development of the brain. (C) 2008 Elsevier B.V. All rights reserved

Macroeconomic policy in an output-expenditure model

This paper proposes an alternative framework for examining the international macroeconomic impact of domestic monetary and fiscal policies and focuses on the distinction between national spending and national production and the reactive behavior of foreign investors to changing external account balances. It demonstrates that under a floating exchange rate regime, monetary and fiscal policies can affect aggregate expenditure and output quite differently, with important implications for the behavior of the exchange rate, the current account balance, and national income in the short run, as well as the economy's price level in the long run. In particular, this paper predicts that expansionary monetary and fiscal policies tend to depreciate the currency and only temporarily raise gross domestic product and the current account surplus, although permanently raise the domestic price level. This is a revised version of a paper presented at the Forty-Ninth International Atlantic Economic Conference, March 14–21, 2000, Munich, Germany.

Masculine, feminine or neutral? In-company equal opportunities policies in Irish and French MNC retailing

Several problematic aspects of women's paid employment - e.g. low pay and lack of promotional opportunities - are exacerbated by the segregation of women and men into different occupations. In this article, the potential of in-store equal opportunities policies to break down such gender segregation will be explored, through consideration of the existence and implementation of these policies in twenty-two multinational retail companies in Dublin and Paris. It will be argued that, with one notable exception, the instore equal opportunities policies are effectively neutralized, and furthermore are neutralized in nationally specific ways which can be related to differences between France and Ireland in the organization of labour-market regulation and in women's labour-force participation (LFP). The case-study findings also suggest that the 'country' variable has a stronger effect on the existence and implementation of these policies than the extent of a shop's links to an overseas headquarters. The findings of this study have implications for both the equity of women's incorporation into the paid labour force and understanding of aspects of HRM in branches of multinational companies.

Evaluating Australia's National Medicines Policy using geographical mapping

Background: There has been a proliferation of quality use of medicines activities in Australia since the 1990s. However, knowledge of the nature and extent of these activities was lacking. A mechanism was required to map the activities to enable their coordination. Aims: To develop a geographical mapping facility as an evaluative tool to assist the planning and implementation of Australia's policy on the quality use of medicines. Methods: A web-based database incorporating geographical mapping software was developed. Quality use of medicines projects implemented across the country was identified from project listings funded by the Quality Use of Medicines Evaluation Program, the National Health and Medical Research Council, Mental Health Strategy, Rural Health Support, Education and Training Program, the Healthy Seniors Initiative, the General Practice Evaluation Program and the Drug Utilisation Evaluation Network. In addition, projects were identified through direct mail to persons working in the field. Results: The Quality Use of Medicines Mapping Project (QUMMP) was developed, providing a Web-based database that can be continuously updated. This database showed the distribution of quality use of medicines activities by: (i) geographical region, (ii) project type, (iii) target group, (iv) stakeholder involvement, (v) funding body and (vi) evaluation method. At September 2001, the database included 901 projects. Sixty-two per cent of projects had been conducted in Australian capital cities, where approximately 63% of the population reside. Distribution of projects varied between States. In Western Australia and Queensland, 36 and 73 projects had been conducted, respectively, representing approximately two projects per 100 000 people. By comparison, in South Australia and Tasmania approximately seven projects per 100 000 people were recorded, with six per 100 000 people in Victoria and three per 100 000 people in New South Wales. Rural and remote areas of the country had more limited project activity. Conclusions: The mapping of projects by geographical location enabled easy identification of high and low activity areas. Analysis of the types of projects undertaken in each region enabled identification of target groups that had not been involved or services that had not yet been developed. This served as a powerful tool for policy planning and implementation and will be used to support the continued implementation of Australia's policy on the quality use of medicines.

Checklist of health promotion environments at worksites (CHEW): Development and measurement characteristics

Purpose. Health promotion policy frameworks, recent theorizing, and research all emphasize understanding and mobilizing environmental influences to change particular health-related behaviors in specific settings. The workplace is a key environmental setting. The Checklist of Health Promotion Environments at Worksites (CHEW) was designed as a direct observation instrument to assess characteristics of worksite environments that are known to influence health-related behaviors. Methods. The CHEW is a 112-item checklist of workplace environment features hypothesized to be associated, both positively and negatively, with physical activity, healthy eating, alcohol consumption, and smoking. The three environmental domains assessed are (1) physical characteristics of the worksite, (2) features of the information environment, and (3) characteristics of the immediate neighborhood around the workplace. The conceptual rationale and development studies for the CHEW are described, and data from observational studies of 20 worksites are reported. Results. The data on CHEW-derived environmental attributes showed generally good reliability and identified meaningful sets of variables that plausibly may influence health-related behaviors. With the exception of one information environment attribute, intraclass correlation coefficients ranged from 0.80 to 1.00. Descriptive statistics on selected physical and information environment characteristics indicated that vending machines, showers, bulletin boards, and signs prohibiting smoking were common across worksites. Bicycle racks, visible stairways, and signs related to alcohol consumption, nutrition, and health. promotion were relatively uncommon. Conclusions. These findings illustrate the types of data on environmental attributes that can be derived, their relevance for program planning, and how they can characterize variability across worksites. The CHEW is a promising observational measure that has the potential to assess environmental influences on health behaviors and to evaluate workplace health promotion programs.