Sharif Digital Repository

In software programs, most of the time, there is a chance of error, even though they are tested carefully. Finding error-related pieces of code is one of the most complicated tasks and it can make incorrect results if done manually. Semi-automated and fully-automated methods have been introduced to overcome this issue. The rapid growth of developing Smart Mobile Applications (SMAs) in recent years, competition among the development teams and many other factors have increased the chance of errors, and hence, the quality of these applications have reduced. There are two approaches to test SMAs in order to reach a high degree of quality: (i) using existing traditional methods and adapting them... 

In software programs, most of the time, there is a chance for occurrence of faults in general, and exception faults in particular. Localizing those pieces of code that are responsible for a particular fault is one of the most complicated tasks, and it can produce incorrect results if done manually. Semi-automated and fully-automated techniques have been introduced to overcome this issue. However, despite recent advances in fault localization techniques, they are not necessarily applicable to Android applications because of their special characteristics such as context-awareness, use of sensors, being executable on various mobile devices, limited hardware resources, etc. To this aim, in this... 

In software programs, most of the time, there is a chance for occurrence of faults in general, and exception faults in particular. Localizing those pieces of code that are responsible for a particular fault is one of the most complicated tasks, and it can produce incorrect results if done manually. Semi-automated and fully-automated techniques have been introduced to overcome this issue. However, despite recent advances in fault localization techniques, they are not necessarily applicable to Android applications because of their special characteristics such as context-awareness, use of sensors, being executable on various mobile devices, limited hardware resources, etc. To this aim, in this... 

A combination of low-cost micro-electoro-mechanical sensors (MEMSs) and nonlinear attitude estimation algorithm techniques can provide an inexpensive and accurate system for navigation and attitude determination. The features of MEMSs are their light weight and small size; hence, the MEMSs have found significant attention in low-cost navigation and control systems [1]. A common disadvantage of these sensors is the significant errors that accompany the corresponding measurements. The accuracy obtained using MEMSs depends on a number of factors, such as scale factor, bias, and random noise corrections [2]. However, these low-cost sensors suffer from large noise and errors, making calibration... 

In present paper, dynamic behavior and control of a fluidized bed reactor for polyethylene production has been considered. A double active sites model for Ziegler-Natta catalysts is used for simulation of polymerization reaction. Hydrodynamic behavior of the bed is modeled using a two phase model including bubble and emulsion phases in which bubble phase has plug flow pattern with differentially variable velocity and size through the bed and emulsion phase has the CSTR flow pattern. The reactor model is validated using industrial data. Conventional PID controllers with anti-windup are considered for control purposes. It has been shown that the control system has satisfactory performances... 

Introduction: Water is consumed in almost all industries. Consequently the used water is turning to a waste that usually should be treated to meet the regulated standard level prior to reuse or discharge into the environment. Cutting oil wastewater is an emulsion normally comprised ofl-10% oil and the remainder water. The main functions of this oil in industry are lubrication, friction reduction, and cooling of instrument s parts. This wastewater is classified as a toxic waste according to the existence of some additive material to prevent corrosion and bacterial growth. Breakage of the emulsion and separation of the water and the oil can alone reduce more than about 90% of the aqueous phase... 

Solid oxide fuel cell (SOFC) is one of the promising candidates for clean energy production. Due to the high operating temperature of SOFCs, a protective coating is commonly applied on the surface of interconnects to prevent oxidation. In this study, electrophoretic deposition was employed to prepare a manganese-cobalt spinel coating on ferritic stainless steel (AISISAE430) substrates. Nanostructured MnCo2O4 powder with an average crystallite size of 60nm was utilized and the sintering behavior of the coatings at different temperatures was studied. Non-isothermal and isothermal sintering behavior of the powder were examined by employing a sensitive dilatometer. Master sintering curve of the... 

Structural, half-metallic, magneto-optic, and thermoelectric properties of CrTiZ (Z = As, P) half-Heusleres compounds are investigated based on density functional theory. These compounds have mechanical stability in the ferromagnetic state with a high bulk modulus. They are often half-metallic with a large and integer magnetic moment and are very attractive in spintronics, magneto-optics applications. The magnetic moments of CrTiAs and CrTiP were 2.9865 μB and 3.00 μB, respectively, which were attributed to their ferromagnetic phase. Additionally, the positive sign of the phonon branches indicates the dynamic stability of these compounds. Applying both GGA and mBJ approximations, CrTiAs and... 

In this paper, we analyze the performance of code acquisition system in atmospheric optical code division multiple access (OCDMA) communications using optical orthogonal codes. Memory introduced by temporal correlation of optical fading process precludes us from using the Markov chain model for a code acquisition analysis. By considering this issue, we discuss how to extend the applicability of the Markov chain model to the atmospheric OCDMA communications. We analyze and compare the performance of correlator and chip level detector (CLD) structures in the acquisition system. In our analysis, we consider the effects of free space optical channel impairments, multiple access interference, and... 

This paper introduces congestion relief management (CRM) as one of ancillary services in market structure for improving its operation. The CRM maintains the system operation within the security limits and defines the charge, receiving and paying in non-discriminatory methods which are based on how much of congestion is relieved and caused by each participant. The proposed method is based on congestion relief index (CRI) which can be used for selecting the offers. We compare two market-clearing procedures for CRM in terms of only supply side management and economical efficiency of demand side management to avoid transmission congestion in an optimum manner. We also use a zonal-based... 

A series of ZIF-8/OND hybrid nanostructures with different percentages of oxidized nanodiamond (OND) was prepared. Then, the adsorptive removal performance of pristine ZIF-8 and its nanohybrids with OND towards methylene blue (MB) was investigated. The fabricated adsorbents were characterized via thermogravimetric analysis, X-ray diffraction, Fourier transform infrared spectroscopy, nitrogen adsorption/desorption, field emission scanning electron microscopy and zeta potential measurements. The maximal adsorption capacity of ZIF-8 (242 mg/g) was found to grow steadily with the increment in OND content and reached an approximate plateau at 343 mg/g for the nanohybrid containing 5 wt% OND, i.e.... 

Stochastic activity networks (SANs) are a well-known petri net-based formalism used for the performance and dependability modeling of a wide range of systems. On the other hand, the growing complexity of timed systems makes it imperative to apply formal analysis techniques in the early stages of the system's development. Finding a suitable framework for the modeling, evaluation, and verication of these systems is still a great challenge. In this paper, we introduce a new formalism named timed activity networks (TANs), which are based on the activity networks that are the nondeterministic settings of the SANs. The advantages of TANs are 2-fold: 1) allowing the construction of more compact... 

High mixing efficiency that is of great importance in various industrial processes is a significant feature of spinning disk reactors. This work was focused on the characterization of mixing in a new reactor called Double Spinning Disk Reactor (DSDR) by adopting a competitive parallel reaction system known as iodide–iodate test reaction. The proposed DSDR consists of two coaxial rotating disks that the feeds are introduced into the gap between them. The mixing improves with an increase in the rotational speed of the disk, the radial distance of the feed introduced through the lower disk, and its number of feed points, while an increase in each of the feed flow rate and the distance between... 

High mixing efficiency that is of great importance in various industrial processes is a significant feature of spinning disk reactors. This work was focused on the characterization of mixing in a new reactor called Double Spinning Disk Reactor (DSDR) by adopting a competitive parallel reaction system known as iodide–iodate test reaction. The proposed DSDR consists of two coaxial rotating disks that the feeds are introduced into the gap between them. The mixing improves with an increase in the rotational speed of the disk, the radial distance of the feed introduced through the lower disk, and its number of feed points, while an increase in each of the feed flow rate and the distance between... 

A series of UiO-66/polyaniline (UiO-66/PANI) nanohybrids with various UiO-66 to aniline weight ratios ranging from 0.01 to 0.1 was synthesized using an in situ polymerization technique. The adsorption behavior of the neat PANI nanofiber network and the synthesized nanohybrids was examined toward anionic methyl orange (MO) dye from aqueous media. It was realized that the maximum adsorption capacity of PANI (229 mg/g) increases steadily by increasing the UiO-66 content in the nanohybrid up to 7 wt % at 426 mg/g, and then, it approximately levels off at 432 mg/g for the nanohybrid sample containing 10 wt % UiO-66, that is, UP10. Based on a thorough characterization, it was shown that UiO-66 is... 

Injection locked frequency dividers (ILFD) are used for frequency division to reduce the overall power consumption. By injecting a high frequency signal to an LC oscillator, injecting signal gets synchronous with oscillator output. All ILFDs analysis reports are based on steady state solution when locking is reached. At the same time, it is important to consider transient analysis too. In this paper a simple model is developed to study phase transient analysis when injecting signal is small in amplitude. This model can be used for large signal injection as a good approximation  

A very low power CMOS, 1.5V, 2.5GHz prescaler was designed. Implemented in 0.25u standard CMOS technology, this prescaler can operate up to 3GHz range. The prescaler consists of three delay flip flops (DFF) that work synchronously with RF sinusoidal clock and divides by 4 or 5 according to control signal  

A 5GHz, 1.5 Volt and low power CMOS frequency synthesizer with LC-tuned VCO (voltage controlled oscillator) is presented. The synthesizer consists of an LC-tuned VCO, an injection-lock frequency divider, a very low power prescaler which brings 2.5GHz range frequency to 11 MHz, a phase-frequency detector and charge-pump with improved architecture. Spiral inductors with Q-factor of 9 are used for the LC-tuned 5 GHz VCO. A fixed 2 frequency divider based on injection-locking phenomenon is used to bring 5 GHz VCO frequency to 2.5GHz. Both VCO and injection-locked divider's oscillators are tuned with NMOS varactors with their bodies are grounded, resulting in about 700 MHz tuning range.... 

Chitosan was crosslinked with different amount of glutaraldehyde to prepare appropriate hydrogels to be used as drug delivery system. The swelling behavior of freeze-dried hydrogels in aqueous media at different temperature and pHs has been examined. The swelling, porosity and biocompatibility behavior of samples were investigated to check effects of polymer/polymer and polymer/drug interactions on these system characteristics. Obtained experimental results illustrates that with increasing crosslinking agent from 0.068 to 0.30, swelling of the prepared samples degrees from 1200% to 600% and pore diameters change from 100 to 500 μm. To investigate systems biocompatibility in gastric... 

In this experimental study, a kinetic model has been developed for Fischer-Tropsch synthesis reactions by using sol-gel technique and Fe/Ni/Al 2O 3 as the catalyst (40% Fe/60% Ni/40 wt.%Al 2O 3) in a differential fixed-bed micro reactor assuming no internal or external diffusion. Operating conditions of the reactor were as follows: total pressure 1-12 atm; Temperature 220-260 °C; H 2/CO feed ratio 1.5-2; gas hourly space velocity 2100-7000 cm 3(STP)/h/ g cat and conversions of 6-37% of hydrogen and 7-21% of carbon monoxide. Mass transfer limitations were investigated by changing synthesis gas velocity in reactors which differ in size. Based on the hypothesis that water inhibits the intrinsic...