Search results for: Mehrnaz Aminitabar

Authors: Mehrnaz Aminitabar, Moghan Amirhosseinian, Morteza Elsa

Abstract:

Bioactive glasses (BGs) are a group of surface-reactive biomaterials used in clinical applications as implants or filler materials in the human body to repair and replace diseased or damaged bone. Sol-gel technique was employed to prepare a SiO₂-CaO-P₂O₅ glass with nominal composition of 58S BG with the addition of Sr and Li modifiers which imparts special properties to the BG. The effect of simultaneous addition of Sr and Li on bioactivity and biocompatibility, proliferation, alkaline phosphatase (ALP) activity of osteoblast cell line MC3T3-E1 and antibacterial property against methicillin-resistant Staphylococcus aureus (MRSA) bacteria were examined. BGs were characterized by X-ray diffraction, Fourier transform infrared spectroscopy, scanning electron microscopy before and after soaking the samples in the simulated body fluid (SBF) for different time intervals to characterize the formation of hydroxyapatite (HA) formed on the surface of BGs. Structural characterization indicated that the simultaneous presence of 5% Sr and 5% Li in 58S-BG composition not only did not retard HA formation because of opposite effect of Sr and Li of the dissolution of BG in the SBF but also, stimulated the differentiation and proliferation of MC3T3-E1s. Moreover, the presence of Sr and Li on dissolution of the ions resulted in an increase in the mean number of DAPI-labeled nuclei which was in good agreement with live/dead assay. The result of antibacterial tests revealed that Sr and Li-substituted 58S BG exhibited a potential antibacterial effect against MRSA bacteria. Because of optimal proliferation and ALP activity of MC3T3-E1cells, proper bioactivity and high antibacterial potential against MRSA, BG-5/5 is suggested as a multifunctional candidate for bone tissue engineering.

Keywords: Antibacterial activity, bioactive glass, sol-gel, strontium.

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 771

Authors: Mehrnaz Najafi, Hassan Haghighi

Abstract:

Morgan-s refinement calculus (MRC) is one of the well-known methods allowing the formality presented in the program specification to be continued all the way to code. On the other hand, Object-Z (OZ) is an extension of Z adding support for classes and objects. There are a number of methods for obtaining code from OZ specifications that can be categorized into refinement and animation methods. As far as we know, only one refinement method exists which refines OZ specifications into code. However, this method does not have fine-grained refinement rules and thus cannot be automated. On the other hand, existing animation methods do not present mapping rules formally and do not support the mapping of several important constructs of OZ, such as all cases of operation expressions and most of constructs in global paragraph. In this paper, with the aim of providing an automatic path from OZ specifications to code, we propose an approach to map OZ specifications into their counterparts in MRC in order to use fine-grained refinement rules of MRC. In this way, having counterparts of our specifications in MRC, we can refine them into code automatically using MRC tools such as RED. Other advantages of our work pertain to proposing mapping rules formally, supporting the mapping of all important constructs of Object-Z, and considering dynamic instantiation of objects while OZ itself does not cover this facility.

Keywords: Formal method, Formal specification, Formalprogram development, Morgan's Refinement Calculus, Object-Z

Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 1274