Sharif Digital Repository

This paper proposes a high-level test generation method which considers the control part as well as data path of a register transfer level circuit as a set of polynomial functions to generate behavioral test patterns from faulty behavior instead of comparing the faulty and fault-free circuits based on a hybrid Boolean-word canonical representation called Horner expansion diagram. Since this set of polynomial functions express primary outputs and next states with respect to primary inputs and present states, it is not necessary to perform justification/propagation phase which leads to a minimum number of backtracks. It improves fault coverage and reduces test generation time over logic-level... 

Subsonic wind tunnel experiments were conducted to study the effect of tripped boundary layer on the pressure distribution in the contraction region of the tunnel. Measurements were performed by installing trip strip at two different positions in the concave portion of the contraction. The results show that installation of the trip strips, have significant effects on both turbulence and pressure distribution. The reduction in the free stream turbulence and reduction of the wall static pressure distribution deferred signified with the location of the trip strip  

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

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

Subsonic wind tunnel experiments were conducted to study the effect of forced transition on the pressure distribution in the concave portion of contraction. Further more, the effect of early transition on the turbulence level in the test section of the wind tunnel is studied. Measurements were performed by installing several trip strips at two different positions in the concave portion of the contraction. The results show that installation of the trip strips, have significant effects on both turbulence intensity and on the pressure distribution. The reduction in the free stream turbulence as well as the wall static pressure distribution varied significantly with the location of the trip... 

This work provides a canonical representation for manipulation of RTL designs. Work has already been done on a canonical and graph-based representation called Taylor Expansion Diagram (TED). Although TED can effectively be used to represent arithmetic expressions at the word-level, it is not memory efficient in representing bit-level logic expressions. In addition, TED cannot represent Boolean expressions at the word-level (vector-level). In this paper, we present modifications to TED that will improve its ability for bit-level logic representation while enhancing its robustness to represent word-level Boolean expressions. It will be shown that for bit-level logic expressions, the Enhanced... 

Since the air density reduces as altitude increases, operation of small wind turbines (SWTs), which usually have no pitch adjustment, remains challenging at high altitudes due largely to the reduction of starting aerodynamic torque. By reducing the moment of inertia through the use of hollow blades, this study aims to speed up the starting while maintaining the structural integrity of the blades and high output power. A horizontal axis turbine with hollow blades was designed for two sites in Iran with altitude of 500 m and 3000 m. The design variables are the distributions of the chord, twist, and shell thickness and the improvement of output power and starting are the design goals.... 

Ionic liquids (ILs) are a growing trend in Enhanced Oil Recovery (EOR) studies as alternatives to commercial surfactants due to their environmentally friendly nature, and their resistance in harsh temperatures and salinities. ILs are customizable and come in an immense variety, and therefore, it is vital that different combinations of cation/anion be investigated for use in the industry. In this work, experiments are designed and performed to evaluate novel ILs’ surface activity and performance in a lab-scale EOR set-up, compatible with Iranian oil reservoir conditions. Three imidazolium-based ionic liquids were used, namely, butyl-methylimidazolium nitrate, hexyl-methylimidazolium nitrate,... 

The safe, highly effective measles vaccine has been recommended globally since 1974, yet in 2017 there were more than 17 million cases of measles and 83,400 deaths in children under 5 years old, and more than 99% of both occurred in low- and middle-income countries (LMICs)1–4. Globally comparable, annual, local estimates of routine first-dose measles-containing vaccine (MCV1) coverage are critical for understanding geographically precise immunity patterns, progress towards the targets of the Global Vaccine Action Plan (GVAP), and high-risk areas amid disruptions to vaccination programmes caused by coronavirus disease 2019 (COVID-19)5–8. Here we generated annual estimates of routine childhood... 

The safe, highly effective measles vaccine has been recommended globally since 1974, yet in 2017 there were more than 17 million cases of measles and 83,400 deaths in children under 5 years old, and more than 99% of both occurred in low- and middle-income countries (LMICs)1–4. Globally comparable, annual, local estimates of routine first-dose measles-containing vaccine (MCV1) coverage are critical for understanding geographically precise immunity patterns, progress towards the targets of the Global Vaccine Action Plan (GVAP), and high-risk areas amid disruptions to vaccination programmes caused by coronavirus disease 2019 (COVID-19)5–8. Here we generated annual estimates of routine childhood...