Sharif Digital Repository

In the bone tissue engineering field (BTE), it is of significant importance to develop bioactive multifunctional scaffolds with enhanced osteoconductivity, osteoinductivity, and antibacterial properties required for lost bone tissue regeneration. In this work, a bioactive glass-ceramic scaffold was manufactured via a novel polymer-derived ceramics (PDC) manufacturing method. To gain antibacterial properties, the silver ions were incorporated in controlled amount along with other precursors in the PDC processing stage. Microstructural and structural properties of the fabricated silicate-phosphate glass-ceramic scaffold were evaluated by scanning electron microscopy (SEM) equipped with energy... 

In the bone tissue engineering field (BTE), it is of significant importance to develop bioactive multifunctional scaffolds with enhanced osteoconductivity, osteoinductivity, and antibacterial properties required for lost bone tissue regeneration. In this work, a bioactive glass-ceramic scaffold was manufactured via a novel polymer-derived ceramics (PDC) manufacturing method. To gain antibacterial properties, the silver ions were incorporated in controlled amount along with other precursors in the PDC processing stage. Microstructural and structural properties of the fabricated silicate-phosphate glass-ceramic scaffold were evaluated by scanning electron microscopy (SEM) equipped with energy... 

Let R be a ring and f(x1,..., xn) be a polynomial in noncommutative indeterminates x1,..., xn with coefficients from ℤ and zero constant. The ring R is said to be an f-ring if f(r1,..., rn) = 0 for all r1,..., rn of R and a virtually f-ring if for every n infinite subsets X1,..., Xn (not necessarily distinct) of R, there exist n elements r1 ∈ X1,...,rn ∈ Xn such that f(r1,..., rn) = 0. Let R* be the 'smallest' ring (in some sense) with identity containing R such that Char (R) = Char (R*). Then denote by ZR the subring generated by the identity of R* and denote by f̄R the image of f in ZR [x1,..., xn] (the ring of polynomials with coefficients in ZR in commutative indeterminates x1,..., xn).... 

To exert the optimum effect, the chemical exchange process to boron isotope separation was investigated. In this enrichment method the distillation of dimethyl ether-boron trifluoride complex, which was one of the most efficient industrial methods for purification of isotope boron-10, was optimized. In chemical exchange process of boron isotopes separation two chemical reactions occur. The first one is the decomposition reaction that is an endothermic reaction. The second one is the exchange reaction that is a pyrogenic reaction. With increasing temperature, the decomposition reaction is speeded while the exchange reaction is slowed down. Affecting on both decomposition and exchange... 

Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. Modeling and analysis with Petri nets and their extensions need a software tool to help to construct and analyze the models. The original definition of SANs has been used as a modeling formalism in several tools. In this paper, we introduce a modeling tool called SharifSAN, which is based on a new definition of SANs. This modeling tool is useful for both the verification and performance evaluation of systems. The functional aspects of a system are verified by model checking branching temporal logic formulas, whereas its performance aspects are evaluated using some analytic and simulative methods. The... 

Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used for performance, dependability and performability evaluation and are supported by several powerful modeling tools. We have recently introduced object stochastic activity networks (OSANs) to overcome some restrictions of these models. OSANs integrate the concepts of object-orientation into SAN models. Elements of OSANs and their submodels are defined as classes. In this paper, we briefly introduce OSANs and SANBuilder tool for modeling and evaluation with these models. © 2004 IEEE  

We have recently introduced a high-level extension for stochastic activity networks (SANs) called coloured stochastic activity networks (CSANs). CSANs have several distinguishing properties, which make them quite appropriate for modeling and evaluation of software performance and dependability. CSANs have introduced a construct called coloured place for data manipulation. A coloured place holds a list of tokens of a userdefined token type. CSAN models can be evaluated by state space analysis techniques or discrete-event simulation. However, their state spaces will become very large, even for a small CSAN model. For efficient evaluation of these models by state space analysis methods, we will... 

Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several modeling tools. We have introduced object stochastic activity networks (OSANs) to overcome some restrictions of these models. OSANs integrate the concepts of object-orientation into SAN models. Elements of OSANs and their submodels are defined as classes. OSANs are more appropriate that most other objectoriented or high-level extensions of Petri nets for application on software systems. In this paper, we will present the definitions, behavior and an example of OSAN models. The objectorientation of OSANs and the...