Sharif Digital Repository

Various mixtures of surfactants and nanosilica particles were investigated to assess their influence on rising bubble hydrodynamics. For this purpose, local velocities of rising bubbles were measured experimentally. Also, the effects of concentration of three types of surface-modified silica nanoparticles on density, viscosity, and surface tension of surfactant solutions were determined. Experimental results revealed that the simultaneous presence of nanoparticles and surfactant molecules led to the decrease of local velocities of rising bubbles. The presence of nanoparticles in surfactant solutions leads to a more reduction of bubble local velocity. This could be caused by the formation of... 

This paper presents an efficient High-Level Synthesis (HLS) approach to improve RT-Level concurrent testing. The proposed method used for both fault detection and fault location. At first the available resources are used in their dead intervals to test active resources for fault detection, and then some changes are applied to the RT-Level controller to locate the faults. The fault detection step is based on a genetic algorithm (GA) search technique. This genetic algorithm is applied to the design after high level synthesis process to explore the test map. The proposed method has been evaluated based on dependability enhancement and area/latency overhead imposed to different benchmarks after... 

Massive multiple-input multiple-output (M-MIMO) is recognized as a promising technology for the next generation of wireless networks because of its potential to increase the spectral efficiency. In initial studies of M-MIMO, the system has been considered to be perfectly synchronized throughout the entire cells. However, perfect synchronization may be hard to attain in practice. Therefore, we study a M-MIMO system whose cells are not synchronous to each other, while transmissions in a cell are still synchronous. We analyze an asynchronous downlink M-MIMO system in terms of the coverage probability and the ergodic rate by means of the stochastic geometry tool. For comparison, we also obtain... 

Abstract: In the present study, a comprehensive investigation was accomplished on shot peening of AISI 316 L steel with a wide range of Almen intensity and surface coverage. Various experiments were performed to characterize the microstructure and mechanical properties of the peened specimens. For the modeling of the process, artificial neural network was used and the obtained experimental results were employed as data-set to develop the network. Modeling results have remarkable agreement with the experiments and then parametric analysis were applied based on the predicted values of the model. Graphic Abstract: [Figure not available: see fulltext.]. © 2019, The Korean Institute of Metals and... 

In this study, an efficient handover algorithm based on the received signal strength (RSS) prediction is presented for two-tier macro-femtocell networks in which, because of the fading effects of channel and short coverage range of femtocells, ping-pong handovers may take place. In the proposed approach, first each mobile station (MS) uses the recursive least square algorithm for predicting the RSS from the candidate base stations (BSs) including both femtocell and macrocell BSs. Then, according to the predicted RSS values, several future values of signal-to-interference plus noise ratio (SINR) are calculated. Afterwards, the candidate list of BSs is pruned according to the estimated future... 

In site-specific ultrawideband propagation modelling, electromagnetic field calculations need to be performed by ray tracing at numerous frequencies of the band in order to properly include the frequency variations of the propagation mechanisms and antenna patterns. This is computationally intensive especially in calculating the coverage map or finding the statistics of the channel parameters where field calculations need to be carried out at a lot of receiver locations. In this study, the cubic B-spline function is incorporated in ray tracing to increase the computational efficiency of site-specific ultrawideband propagation modelling. This function can accurately reconstruct a signal from... 

Context: Generating test cases based on software input interface is a black-box testing technique that can be made more effective by using structured input models such as input grammars. Automatically generating grammar-based test inputs may lead to structurally valid but semantically invalid inputs that may be rejected in early semantic error checking phases of a system under test. Objective: This paper aims to introduce a method for specifying a grammar-based input model with the model's semantic constraints to be used in the generation of positive test inputs. It is also important that the method can generate effective test suites based on appropriate grammar-based coverage criteria.... 

While the Control Flow Checking (CFC) methods are using the ordinary instruction set and general Arithmetic and Logic Unit (ALU) features to protect the programs against the transient faults, this paper presents a new kind of CFC method, called feature specific CFC. The idea behind this method is using a specific internal hardware in modern processors which provides the ability to monitor internal various parameters of the program. This method is a pure software method and the external hardware overhead is zero. Other overheads have been measured experimentally by executing the workloads on a Pentium system. The execution time overhead is between 42% and 67% and the program size overhead is... 

Frame aggregation (FA) mechanisms improve the throughput of WLANs. In this paper, the effect of the FA mechanism on the throughput of wireless local area networks (WLANs) has been investigated. To this end, we propose an analytical model in order to analyze an IEEE 802.11n network comprised of an access point (AP) and several conventional nodes (CNs), all in the coverage area of each other. With respect to the heavier download traffic compared to the upload one, in our scenario, only the AP uses an FA mechanism and the other nodes use the basic IEEE 802.11 standard. In our proposed analytical model, the maximum downlink (DL) throughput is derived. Regarding the asymmetry among nodes, our... 

We use the 3D vectorial Gaussian beam tracing method to model millimeter wave propagation. We simulate the propagation of Gaussian beams in a large scale environment at 62.4 GHz. First, a known far field pattern of the transmitter antenna is expanded into a set of Gaussian beams. We chose Gabor expansion based method to expanding radiating field into Gaussian beams. Then, a Gaussian beam tracing model considering reflections and transmission is used to represent urban microcell propagation. We use a phase matching method to find reflected Gaussian beam The results of the Gaussian beam tracing simulations including line-of-sight (LOS) and non-Iine-of-sight (NLOS) propagation are compared with... 

Counter-based broadcasting improves the performance of flooding by preventing the network from being swamped by a large number of rebroadcast messages. In such approach, the rebroadcast decision is made based on counting duplicated packets in order to restrict the number of extra retransmissions. In this article, using a rigorous theoretic analysis, an upper bound on the performance of counter-based broadcasting for saturated networks is derived. Our model assumes a CSMA-based static multi-hop ad-hoc network. The derived analytical model can be used to predict the behavior of counter-based broadcasting schemes. It especially provides the required insight on the impact of different network... 

This paper addresses a conceptual study on different aspects of a novel smart treatment method for a relatively new challenge of saline water production from low permeability lenses of high flow gas wells. Selective sealing of such lenses along with minor effect on gas productivity usually faces practical difficulties due to the inherent permeability contrast. Engineered application of salt sensitive gellan biopolymer through a smart treatment scenario that includes a protective gas flow proved its ability for treating such challenge. This paper investigates the importance of the gel rigidity and its coverage in the smart treatment scenario through considering the brine salinity and the... 

The current study is aimed at getting a further insight into the changes the fouling brings to the Vortex Induced Vibration (VIV) of circular cylinders. Instead of regular patterns considered in previous studies, using the Poisson Cluster Process, an aggregated spatial distribution was considered for the artificial marine fouling. This is believed to better simulate the natural settlement of the marine biofouling. Different coverage ratios and fouling shapes plus regular and aggregated distributions were considered. The towing tank VIV tests were conducted on elastically mounted rigid cylinders. The Reynolds number ranged from around 7.8 × 103 to 4.9 × 104. On the whole, the maximum... 

Human error including driving misbehavior contributes to over 90 percent of road vehicle accidents, and speeding is considered to be risky. Smart technologies, such as Connected Vehicle System (CVS) are among the interesting technical options to improve driving behavior, and Pay-As-You-Speed (PAYS) is an effective economic incentive to reduce speed violations. We investigated the acceptability of CVS with and without the presence of economic incentives, such as PAYS, in the context of a middle-income country: Iran. We used a Zero-Inflated Ordered Probit model (ZIOP) to estimate drivers’ willingness to pay for a CVS, and a hazard-based model for predicting the incentive level needed for... 

This paper develops a stochastic geometry-based approach for the modeling and analysis of finite millimeter wave (mmWave) wireless networks where a random number of transmitters and receivers are randomly located inside a finite region. We consider a selection strategy to serve a reference receiver by the transmitter providing the maximum average received power among all transmitters. In our system model, we employ the unique features of mmWave communications such as directional transmit and receive beamforming and different channels for line-of-sight (LOS) and non-line-of-sight (NLOS) links. Accordingly, deploying a blockage process suitable for mmWave networks, we study the coverage...