Sharif Digital Repository

Few fuzzy temporal logics and modeling formalisms are developed such that their model checking is both effective and efficient. State-space explosion makes model checking of fuzzy temporal logics inefficient. That is because either the modeling formalism itself is not compact, or the verification approach requires an exponentially larger yet intermediate representation of the modeling formalism. To exemplify, Fuzzy Program Graph (FzPG) is a very compact, and powerful formalism to model fuzzy systems; yet, it is required to be translated into an equal Fuzzy Kripke model with an exponential blow-up should it be formally verified. In this paper, we introduce Fuzzy Computation Tree Logic (FzCTL)... 

Few fuzzy temporal logics and modeling formalisms are developed such that their model checking is both effective and efficient. State-space explosion makes model checking of fuzzy temporal logics inefficient. That is because either the modeling formalism itself is not compact, or the verification approach requires an exponentially larger yet intermediate representation of the modeling formalism. To exemplify, Fuzzy Program Graph (FzPG) is a very compact, and powerful formalism to model fuzzy systems; yet, it is required to be translated into an equal Fuzzy Kripke model with an exponential blow-up should it be formally verified. In this paper, we introduce Fuzzy Computation Tree Logic (FzCTL)... 

We propose a roll-forward error recovery technique based on multiple scan chains for TMR systems, called Scan chained TMR (ScTMR). ScTMR reuses the scan chain flip-flops employed for testability purposes to restore the correct state of a TMR system in the presence of transient or permanent errors. In the proposed ScTMR technique, we present a voter circuitry to locate the faulty module and a controller circuitry to restore the system to the fault-free state. As a case study, we have implemented the proposed ScTMR technique on an embedded processor, suited for safety-critical applications. Exhaustive fault injection experiments reveal that the proposed architecture has the error detection and... 

The present study provides an inverse solution and analysis on a new approach for Electrical Impedance Tomography (EIT) process as block method in EIT. In this method, it is assumed that all of the panicles of each block have the same electrical properties (electrical conductivities). This technique is used to enhance image resolution and also to improve reconstruction algorithm. Although this method has been developed for 3D objects, in this study it is assumed that the subject has a (two-dimensional) rectangular shape and is made of fixed size blocks. By considering the previous conditions and computing relationship among currents, voltages and electrical impedances of blocks, the required... 

By technology down scaling in nowadays digital circuits, their sensitivity to radiation effects increases, making the occurrence of soft errors more probable. As a consequence, soft error rate estimation of complex circuits such as processors is becoming an important issue in safety- and mission-critical applications. Fault injection is a well-known and widely used approach for soft error rate estimation. Development of previous FPGA-based fault injection techniques is very time consuming mainly because they do not adequately exploit supplementary FPGA tools. This paper proposes an easy-to-develop and flexible FPGA-based fault injection technique. This technique utilizes debugging facilities... 

In this paper, we present a scan-chain-based multiple error recovery technique for triple modular redundancy (TMR) systems (SMERTMR). The proposed technique reuses scan-chain flip-flops fabricated for testability purposes to detect and correct faulty modules in the presence of single or multiple transient faults. In the proposed technique, the manifested errors are detected at the modules' outputs, while the latent faults are detected by comparing the internal states of the TMR modules. Upon detection of any mismatch, the faulty modules are located and the state of a fault-free module is copied into the faulty modules. In case of detecting a permanent fault, the system is degraded to a... 

SnO2 is an important functional material having a wide range of applications in gas sensors and optoelectronic devices. There is a great interest for finding new cost-effective and straight-forward methods for production of these particles. In this research, hydrogel thermal decomposition method (HTDM) is used for production of high purity SnO2 nano-particles. Cost effective reactants and green routs of production are the advantages of polysaccharide based hydrogel as starting material for this method. Visual observations indicated that there is very little tendency for agglomeration in the SnO2 nano-particles produced by this method which can be considered as an advantage for this method... 

In this study, effect of MAPE (maleic anhydride polyethylene) as the compatibilizer on the mechanical properties of wood-flour polyethylene composites has been investigated by using Dynamic Mechanical Analysis (DMA). Composites were made at 25% and 50% by weight fiber contents and 1% and 2% compatibilizer respectively. Controls were also made at the same fiber contents without the compatibilizer. Static mechanical tests including tensile and bending tests were performed. Temperature scans in the range of- 110 to +100°C was also conducted. Results indicated improvements in the mechanical properties due to the compatibilizer addition. Storage modulus values were higher in the case of coupled... 

The optimization of leaching parameters for the Ni recovery of the used catalyst was developed using response surface methodology. The relationship between the Ni recoveries, and four main leaching parameters, temperature, acid concentration, leaching time and particle size were presented as empirical model equations. The predicted values of nickel recoveries were found to be in a reasonable agreement with the experimental values, with R2 as correlation factor being 0.9669 and 0.9869 for sulfuric and nitric acids, respectively. The model equations were then optimized using the quadratic programming method to maximize nickel recovery. The optimum conditions were found to be 103.4°C... 

In this article, a nonlinear adaptive impedance control strategy is proposed to adjust the impedance of a one-degree of freedom Falcon robot to a pre-defined nonlinear impedance which is an approximate mathematical representation of the sino-nasal tissue. Further developments can be used for a training simulator system for the otolaryngology surgery training purposes. The stability of the proposed control strategy and convergence of tracking error are proved by using Lyapunov Stability Theorem. Two different scenarios are considered for simulation studies including a declining contact force and also an oscillatory contact force between the user hand and the haptic interface device.... 

Hot isotherm compression tests were performed in temperature range of 350-500 °C and at strain rates of 0.0005 to 0.5 s-1 for Al6061 alloy reinforced with alumina nanoparticles. Effect of deformation parameters and optimal conditions for hot working this nanocomposite were comprehended thoroughly via hot working data analyses, electron microscopy images, and X-ray diffractograms. The results indicated the severity of hot deformation process and an increase in the activation energy to 320 kJ/mol due to the addition of nanoparticles. Dynamic recovery (DRV) was considered as the individual determinative softening mechanism during hot deformation of this nanocomposite, and no sign of dynamic... 

Switched Reluctance Motors (SRMs) are widely used in high-speed and low voltage applications because of their attractive features such as robustness and simplicity. No winding on the rotor of this type of motors allows reaching high speed which is desired for many applications. Drive circuits of SRMs also play an important role in their performance and operation. In this paper, a new bifilar drive circuit for this type of motors has been proposed. This novel configuration has been tested and investigated by PSIM software. Results show that the new bifilar drive circuit highly reduces the voltage stresses on semiconductor switches, and also considerably reduces the switching losses which are... 

Regarding the increasing number of electrical devices in the smart homes that leads to increase in total electricity consumption and cost, it is essential to use energy management methods to reduce the electricity cost. However, this can cause resident's dissatisfaction. Hence, it is important to define a method in which cost and dissatisfaction be optimized simultaneously. Among different services, an electric vehicle is the one that can be used as an energy storage system, so it can reduce the daily cost despite of increasing the total energy consumption. In this paper, we study the effect of the EV on the cost and dissatisfaction in our proposed method. © 2018 IEEE  

Using solid-state power amplifiers for next generation of weather radars becomes feasible by pulse compression techniques. In this study a 1.5 kW solid-state power amplifier (transmitter) for C-band weather radars is designed and fabricated by GaN high electron mobility transistor (HEMT) technology. An experimental setup based on heterodyne receiver with 16-bit digitiser is developed to investigate the behavior of the power amplifier under different cooling methods and back-off points. Several measurements with shaped LFM pulse show an approximately identical pulse to pulse (P2P) stability for 3 dB compression, P1dB and 2 dB back-off points while the best sidelobe level (SLL) is achieved for... 

Application of Probabilistic Safety Assessment (PSA) to a Uranium hexafluoride (UF 6) production process is presented in this paper. The process is constituted from three main units: UF 4 conversion to UF 6, condensation of produced UF 6 gas and tail gas treatment. Radioactive gas is present in all parts of the process and occurrence of high pressure or high temperature in the process equipments may lead to radioactive release to workplace and environment. The work is mainly based on PSA experience in nuclear power plants. Accordingly for the process, eight group of Initiating Events (IE) that lead to UF 6 gas release have been identified using HAZOP study. For each IE, based on related... 

In self-controlling hyperthermia therapy, once the desired temperature is reached, the heat generation ceases and overheating is prevented. In order to design a system that generates sufficient heat without thermal ablation of surrounding healthy tissue, a good understanding of temperature distribution and its change with time is imperative. This study is conducted to extend our understanding about the heat generation and transfer, temperature distribution and temperature rise pattern in the tumor and surrounding tissue during self-controlling magnetic hyperthermia. A model consisting of two concentric spheres that represents the tumor and its surrounding tissue is considered and temperature... 

This study investigates the aerodynamic loads and energy losses of a typical 600 kW wind turbine with S816 airfoil blade under two different icing conditions. Three sections at different radial positions were considered to estimate the icing effect along the blade. Ice accretion simulations in wet and dry regimes were carried out using the NASA LEWICE 3.2 computer program. The airflow simulations were performed with CFD method and SST k -ω turbulence model. The results of these simulations, including streamlines, surface pressure, skin friction, lift, and drag coefficients, were inspected for both clean and iced airfoils. In the case of wet iced airfoil, a separation bubble was created in... 

Aluminum metal-matrix nanocomposites (AMMNCs) fabricated by conventional stir-casting process usually show high porosity and poor distribution of nanoparticles within the matrix. In the current study, for the improvement of nanoparticles distribution in the aluminum matrix and enhancement of the mechanical properties, a mixture of Al/nano-Al2O3 powders were injected by pure argon gas into the molten 7075 aluminum alloy and this mixture was extruded at high temperature. Mechanical behavior of the final product was investigated by tensile and compression tests, hardness measurements, Scanning Electron Microscopy (SEM), High Resolution Transmission Electron Microscopy (HRTEM) and Optical... 

Aluminum metal-matrix nanocomposites (AMMNCs) fabricated by conventional stir-casting process usually show high porosity and poor distribution of nanoparticles within the matrix. In the current study, for the improvement of nanoparticles distribution in the aluminum matrix and enhancement of the mechanical properties, a mixture of Al/nano-Al2O3 powders were injected by pure argon gas into the molten 7075 aluminum alloy and this mixture was extruded at high temperature. Mechanical behavior of the final product was investigated by tensile and compression tests, hardness measurements, Scanning Electron Microscopy (SEM), High Resolution Transmission Electron Microscopy (HRTEM) and Optical...