Sharif Digital Repository

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

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  

In this paper, we study theoretically the generation of high repetition rate short pulses using fiber optical parametric amplification. We show that the pulse shape and duration depend on the signal location relatively to the pump frequency. We demonstrate that in order to get the shortest pulse width, the signal must be located at one of the extremities of the gain spectrum associated with the pump peak power. We derive the analytical expression of the pulse shape in this case and compare it to the exponential gain regime case. Using numerical simulations, we also analyze the impact of walk-off and pump phase modulation that is required to suppress Stimulated Brillouin Scattering and derive... 

This paper reports a polarization controllable and angle-insensitive perfect metamaterial absorber (PMA). The proposed PMA consists of periodically arranged asymmetric omega-shaped resonators made of metallic copper. The absorptivity was analyzed considering the microwave C-band from 4 GHz to 8 GHz. The proposed PMA shows an absorption peak with almost 100% absorptivity at 6.2 GHz. Also, wideband negative index of refraction is observed. Further, the absorber is inspected for the different rotation angles of the top metasurface (omega-shaped ring) along the optical axis, and obliquity of incidence angle for both TE and TM polarized waves. Moreover, surface electric field and surface current... 

In cloud computing, services play key roles. Services are well defined and autonomous components. Nowadays, the demand of using Fuzzy inference as a service is increasing in the domain of complex and critical systems. In such systems, along with the development of the software, the cost of detecting and fixing software defects increases. Therefore, using formal methods, which provide clear, concise, and mathematical interpretation of the system, is crucial for the design of these Fuzzy systems. To obtain this goal, we introduce the Fuzzy Inference Cloud Service (FICS) and propose a novel discipline for formal modeling of the FICS. The FICS provides the service of Fuzzy inference to the... 

The mixed nano-ferrites materials Cu0.6Zn0.4HoxFe2−xO4 (0.00 ≤ x ≤ 0.12) were prepared via the sol–gel auto combustion technique. The TGA curve established the annealing temperature (500 °C) for phase formation. The single exothermic peak on the DSC plot occurred at 341 °C temperature. XRD patterns of these nano ferrites verified single phase formation of the FCC cubic structure. The lattice constant a was increased from 8.4244 to 8.4419 Å and then its value decreased to 8.4319 Å. Crystallite size was found in the range of 7 to 16 nm. The surface morphology of the samples was observed from the scanning electron microscope (SEM) images. The grain size was found within the range of 90 nm to... 

The mixed nano-ferrites materials Cu0.6Zn0.4HoxFe2−xO4 (0.00 ≤ x ≤ 0.12) were prepared via the sol–gel auto combustion technique. The TGA curve established the annealing temperature (500 °C) for phase formation. The single exothermic peak on the DSC plot occurred at 341 °C temperature. XRD patterns of these nano ferrites verified single phase formation of the FCC cubic structure. The lattice constant a was increased from 8.4244 to 8.4419 Å and then its value decreased to 8.4319 Å. Crystallite size was found in the range of 7 to 16 nm. The surface morphology of the samples was observed from the scanning electron microscope (SEM) images. The grain size was found within the range of 90 nm to... 

In the study presented herein, a simple method for laboratory calcite cementation of a reconstituted gravelly sand was presented. This method was used to prepare cemented gravelly sand specimens, which have similar natural characteristics to alluvial deposit of the city of Tehran. The formation and distribution of calcite bonds, as well as the effectiveness of the presented calcite cementation method in increasing interparticle cohesion, as observed in weakly to moderately cemented soil in Tehran, were evaluated by means of chemical analysis, X-ray diffraction technique, and unconfined compressive strength tests. The cementation technique was used to prepare triaxial specimens with calcite... 

Machine-to-Machine (M2M) communication is an important type of communication in the Internet-of-Things (IoT). How to send data in these high-density communications using relay selection can help improve the performance of this type of communication in various applications. In addition, the possibility of simultaneous use of different Radio Frequency (RF) interfaces helps to use the spectrum more efficiently. In this work, we try to further use machine communication RF equipment and improve the average data rate of networks in some applications such as the IoT, which have their own bandwidth requirements. Therefore, we provide an optimization algorithm for relay selection as well as the... 

The development of new technologies has confronted the entire domain of science and industry with issues of big data's scalability as well as its integration with the purpose of forecasting analytics in its life cycle. In predictive analytics, the forecast of near-future and recent past - or in other words, the now-casting - is the continuous study of real-time events and constantly updated where it considers eventuality. So, it is necessary to consider the highly data-driven technologies and to use new methods of analysis, like machine learning and visualization tools, with the ability of interaction and connection to different data resources with varieties of data regarding the type of big... 

Norouzak oil seeds that are the source of bio-diesel (Norouzak) fuel grow mostly in Gonabad and Kashmar located in Khorasan, north east of Iran. Spray characteristics of Norouzak bio-diesel have been experimentally and theoretically studied in this work. Norouzak fuel is added to the conventional diesel fuel, and mixture formations of several blends have been investigated and compared with each other. Moreover, by varying ambient and injection conditions, behaviors of spray of different blends have been explored. Microscopic and macroscopic properties of spray such as Sauter Mean Diameter (SMD), Ohnesorge number, spray tip penetration, spray cone angle, spray projected area and volume have... 

Norouzak oil seeds that are the source of bio-diesel (Norouzak) fuel grow mostly in Gonabad and Kashmar located in Khorasan, north east of Iran. Spray characteristics of Norouzak bio-diesel have been experimentally and theoretically studied in this work. Norouzak fuel is added to the conventional diesel fuel, and mixture formations of several blends have been investigated and compared with each other. Moreover, by varying ambient and injection conditions, behaviors of spray of different blends have been explored. Microscopic and macroscopic properties of spray such as Sauter Mean Diameter (SMD), Ohnesorge number, spray tip penetration, spray cone angle, spray projected area and volume have... 

In the present work, the spray characteristics of bio-ethanol and its blends have been experimentally and theoretically investigated. To have a comprehensive study, the effects of ambient condition and injection pressure on the spray of different blends have been considered. Macroscopic and microscopic characteristics of spray such as tip penetration length, cone angle, projected area, volume, Sauter Mean Diameter (SMD), and Ohnesorge number are investigated precisely. Besides, air entrainment and atomization analyses have been carried out to improve mixture formation process. Using curve fitting and least squares method, theoretical correlations have been suggested in such a way to predict... 

As firms are facing with a new competitive environment which knowledge has a unique position, they should give more consideration to their employer's knowledge, and construction firms are not an exception. Employers are creating values for companies, and nowadays they are counted as strategic resources. In construction firms, due to their project based nature, workers are more important in creating values. One of the most essential elements of a construction firm is its ability to cope with social and environmental pressures to reduce waste and minimise the use of raw materials. To decrease wastes of Steel structure Construction, it is necessary to enhance the weld quality. Weld quality... 

Objective: To determine the motor-behavioral and neural correlates of putative functional common variants in the sodium-channel NaV1.8 encoding gene (SCN10A) in vivo in patients with multiple sclerosis (MS). Methods: We recruited 161 patients with relapsing-onset MS and 94 demographically comparable healthy participants. All patients with MS underwent structural MRI and clinical examinations (Expanded Disability Status Scale [EDSS] and Multiple Sclerosis Functional Composite [MSFC]). Whole-brain voxel-wise and cerebellar volumetry were performed to assess differences in regional brain volumes between genotype groups. Resting-state fMRI was acquired from 62 patients with MS to evaluate...