Sharif Digital Repository

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... 

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  

Hierarchical stochastic activity networks (HSANs) are a newly introduced extension of stochastic activity networks (SANs). HSAN models encapsulate hierarchies and a key benefit of these models is the possibility of automatic employment of composition techniques by their modelling tools. For modelling and evaluation with HSANs, we have developed a software tool called SANBuilder. This tool has an integrated development environment (IDE) for construction, animation, simulation and analytic solution of SAN-based models. We have implemented in this tool some state-of-the-art methods for the simulation and analytic solution of SAN and HSAN models. In addition to an introduction to HSANs, this... 

Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. These models can be used for the modelling and analysis of various kinds and different aspects of distributed real-time systems. Similar to other classical extensions of Petri nets, SANs have some limitations for modelling complex and large-scale systems. In order to remove some of these limitations and provide high-level modelling constructs, we have defined a new extension for SANs, called hierarchical stochastic activity networks (HSANs). HSAN models provide a construct for composing a hierarchy of SAN submodels that is called macro activity. HSANs encapsulate hierarchies and a key benefit of these... 

The unified modelling language (UML) is a de facto standard for object-oriented modelling. However, the formal semantics for the notations included in UML are not provided, which are a key requirement for the verification and evaluation purposes. To solve this problem, Petri net formalism has been used as a complement to UML in several research projects. However, there is not a complete transformation technique for all concepts and diagrams of UML to an extension of Petri nets. We have recently introduced object stochastic activity networks (OSANs). OSANs are a high-level modelling formalism that integrates object-orientation into stochastic activity networks (SANs). In this paper, we... 

This paper proposes a new approach for solving generation scheduling and ramp rate constrained unit commitment with considering spinning reserve probability. In order to simulate the probability of reserve in the formulation, the estimated probability that spinning reserve is called and generated has been considered. A hybrid heuristic method between genetic algorithm and lambdad iteration method is applied to solve the problem. The proposed approach is applied to two different cases such as a 10-unit base problem without considering probability of reserve and 10-unit problem with considering probability of reserve. The results are compared with other approaches results to exhibit the... 

Generation scheduling is a crucial challenge in power systems especially under new environment of liberalization of electricity industry. This paper is focused on the economical aspect of UC problem, while the next load demand as a very important issue and prohibited operation zones and spinning reserve uncertainty as practical constraints have been taken in to account. The impacts of hot/cold start-up cost have been considered in this paper. Numerical results show a significant improvement in the solutions of a cost-based unit commitment in comparison with the other studies. © 2009 Praise Worthy Prize S.r.l  

This paper proposes a short-term stochastic SCUC model that simultaneously schedules generating units' energy and spinning reserve in presence of wind energy. It should be noted that system uncertainties, wind farm output uncertainties and power generators and lines outages are also considered in optimization process. The proposed stochastic SCUC model is formulated as a two-stage stochastic mixed-integer programming model. Performance of the proposed formulation is proved through test systems and the results are also presented  

High molecular weight homopolymers of acrylamide (PAM) and (2-methacryloyloxyethyl) trimethyl ammonium chloride (PDMC) and copolymer of DMC with acrylamide (P(AM-co-DMC)) were synthesized using solution polymerization technique. The synthesized polymers were characterized by Fourier transform infrared (FTIR), 1HNMR, 13CNMR spectroscopy and differential scanning calorimetry (DSC) and viscometery. 1HNMR and 13CNMR studies confirmed the structure of the synthesized polymers. The behavior of the synthesized polymers was investigated in water-acetone and water-methanol mixtures. The plot of intrinsic viscosity of either PAM or P(AM-co-DMC) with respect to acetone (methanol)/water ratio in... 

The charge ratio of cosmic muons holds important information for both the atmospheric neutrino anomaly and hadronic interaction models. In this paper we measured the muon charge ratio () in the cosmic ray flux in the momenta range 0.76-1.60 GeV/c by using a cosmic ray telescope. The delayed coincidence method is used based on the reduced mean lifetime of negative muons due to nuclear capture in matter. The systematic time-dependent effects of the muon charge ratio are considered by grouping the decay data into different time intervals. We compared the experimental data with the predictions of CORSIKA simulations using a high energy interaction model (QGSJET-II) and two low energy interaction... 

Ciphertext-policy attribute-based encryption(CP-ABE) is considered a promising solution for secure data sharing in the cloud environment. Although very well expressiveness in ABE constructions can be achieved using a linear secret sharing scheme(LSSS), there is a significant drawback in such constructions. In the LSSS-based ABE construction, the number of heavy pairing operations increases with an increase in the number of required attributes in the decryption. In this paper, we propose an LSSS-based CP-ABE scheme with a fixed number of pairings(four pairings) during the decryption process. In our scheme increasing the number of required attributes in the decryption does not affect the... 

A sample of Tabas coal from Iran was oxidized using air, peroxyacetic acid (PAA), and PAA+air as a pretreatment for desulfurization with sodium butoxide in a batch reactor. The effects of air oxidation temperature, PAA oxidation time, sodium butoxide reaction time and temperature, solvent concentration and particle size on the reduction of sulfur were investigated. The PAA+air oxidation pretreatment was the most effective method for enhancing sulfur removal. This procedure increased pyritic sulfur removal by approximately 15% and organic sulfur removal by 20% in leaching with sodium butoxide. Increasing the temperature from 25 (unoxidized) to 100 °C on air oxidized samples, increased sulfur... 

Nano-structured CuO granules catalyze the C-N cross-coupling of amines with iodobenzene in excellent yields. The reaction is simple, efficient, and operates in air under ligand-free conditions  

We study the problem of joint information and energy transfer in a two-hop channel with a Radio frequency (RF) energy harvesting relay. We consider a finite battery size at the relay and deterministic energy loss in transmitting energy. In other words, to be able to send an energy-contained symbol, the relay must receive multiple energy-contained symbols. Thus, we face a kind of channel with memory. We model the energy saved in battery as channel state with the challenge that the receiver does not know the channel state. First, we consider the problem without any channel noise and derive an achievable rate. Next, we extend the results to the case with an independent and identically... 

Today's world energy-related challenges, ranging from anthropogenic climate change to continuous growth of demand for different energy forms, have enforced planners of energy systems (ESs) to concentrate on more optimal and eco-friendly operation and/or expansion planning methodologies. In this context, increased interdependencies of gas, heat and electricity ESs have recently encouraged the planners to design operation and/or expiation strategies in an integrated manner in favor of a new concept, the so-called “Energy Hub” (EH). Although this concept has been employed so far in a multitude of studies, but its real nature, advantages, difficulties, importance or inevitability aspect, and... 

Reinforcing the correlation between Gas and Electricity Systems (G&ESs) susceptible to diverse factors ranging from anthropogenic climate change to the advent of new conversion/generation technologies has remarkably brought into focus the co-expansion of G&ESs using a new concept so-called Energy Hub (EH) as well as the potential of storage systems. To assess the effectiveness of EH approach and the role of storages in the coordinated plans of G&ES, this study proposes a comprehensive EH-based planning model for co-expansion of G&ES supply chains with respect to the role of Gas Storage Systems (GSSs). As a Mixed-Integer Linear Programming (MILP) problem, the model is applied to a real... 

In this paper, we study the degrees of freedom (DoF) of a frequency-selective K-user interference channel in the presence of an instantaneous relay (IR) with multiple receiving and transmitting antennas. We investigate two scenarios based on the IR antennas’ cooperation ability. First, we assume that the IR receiving and transmitting antennas can coordinate with each other and that the transmitted signal of each transmitting antenna can depend on the received signals of all receiving antennas, and we derive lower and upper bounds for the sum DoF of this model. In an interference alignment scheme, we divide receivers into two groups called clean and dirty receivers. We design our scheme such... 

The liver is the most metabolically active organ in the human body whose role is of high importance to maintain homeostasis. Drug-induced liver injury and liver diseases such as fatty liver diseases, cancer, or hepatitis are the main reasons for malfunctioning in this organ. In this regard, developing physiologically relevant models could be remarkably useful both for the pharmaceutical industry and the study of (patho)physiology of the liver. Among different in vitro cell cultures, organ-on-a-chip (OOC) could be a promising candidate for liver studies. Liver-on-a-chip (LOC) models propose high-fidelity in vitro models by incorporating perfusion, different cell types, and 3D environment....