Sharif Digital Repository

Motivated by recent works indicating the role of AC current on the reliability of electronic systems, the microstructural characterization and mechanical properties of solder joints, as vulnerable parts of electronic packages, under different alternating current shapes were investigated. The sine-, square- and triangle-waveform currents were considered for the experiments. The simulation results showed that the triangle shape current creates the highest thermal fluctuations and stress variations in the solder joints. This event was due to the lack of any relaxation time at the critical states, induced by triangle shape current, which leads to the intensification of stress in the solder... 

Water scarcity is one of the most challenging problems that the world has ever faced. There are numerous methods to remedy the water crises. One is using atmospheric water harvesting (AWH) to provide water. So far, there is much research on the subject of AWH. However, there is still a lack of establishing an extensive comparison between different technologies and methods used to harvest atmospheric water. In this review, we provide details on the thermodynamic performance of the AWH system. The systems are categorized into both active and passive systems. Heat pumps, membranes, thermoelectric solar systems, and adsorption systems are some atmospheric harvesting technologies that will be... 

In this paper, we present a nano-quantum photonic approach for the calculation of normal dispersion phenomena in organic crystals such as N-(4-nitrophenyl)-L-prolinol(NPP). We assume that a laser beam consists of a flow of energetic particles that interact with the distorted π-electron system. We approximate the distorted π-electron cloud by an ellipse to simplify calculations. By the precise analysis of photon interaction with the π-electron system of benzene ring in the NPP crystal, we obtain the refractive index in any wavelength by Monte Carlo simulation. The maximum error between our simulation results and the measurement data is 0.058, which is agreeable. © 2007 IOP Publishing Ltd  

Hall's condition for the existence of a proper vertex list-multicoloring of a simple graph G has recently been used to define the fractional Hall and Hall-condition numbers of G, and . Little is known about , but it is known that , where ‘⩽’ means ‘is a subgraph of’ and α(H) denotes the vertex independence number of H. Let and denote the fractional chromatic and choice (list-chromatic) numbers of G. (Actually, Slivnik has shown that these are equal, but we will continue to distinguish notationally between them.) We give various relations among , , , and , mostly notably that , when G is a line graph. We give examples to show that this equality does not necessarily hold when G is... 

This paper presents a broad-band bandpass filter (BPF) designed as a channel-select filter for wireless applications. It is implemented as a low-pass filter (LPF) in series with a high-pass filter (HPF) for lower power consumption compared to true BPF. Semiscaling of the filter nodes is superior in the wireless receiver over traditional full scaling. The HPF is built with low-pass feedback of an amplifier. The bandwidth is selectable from 625 kHz, 2.5 MHz, or 10 MHz. The filter stopband loss is more than 50 dB extending beyond 100 MHz, and passband ripple less than 2.5 dB. Fabricated in a 0.6-μm CMOS process, it provides a minimum input noise of 16 nV/√Hz noise with 22.5-dBm out-of-band... 

This study presents an online motion planning algorithm for generating reference trajectories during flight phases of a planar monopedal robot to transfer the configuration of the mechanical system from a specified initial pose to a specified final one. The algorithm developed in this research is based on the reachability and optimal control formulations of a time-varying linear system with input and state constraints. A two-level control scheme is developed for asymptotic stabilisation of a desired period-one orbit during running of the robot. Within-stride controllers, including stance and flight phase controllers, are employed at the first level. The flight phase controller is a feedback... 

Real-time measurement of soil water pressure has been recognized as an essential part of investigating water ow in unsaturated soils. Tensiometry, amongst di erent measuring techniques, is a common method for direct evaluation of water pressure. However, the lower limit of measurable water pressure by a conventional tensiometer becomes even more limited by increasing its length in the vertical installation. This paper describes the development of a Vacuum-Re lled Tensiometer (VRT) for monitoring soil water pressure independent of installation depth. This is achieved by xing the distance between pressure sensor and ceramic cup together with incorporating an ancillary vacuum-re lling assembly... 

Real-time measurement of soil water pressure has been recognized as an essential part of investigating water ow in unsaturated soils. Tensiometry, amongst different measuring techniques, is a common method for direct evaluation of water pressure. However, the lower limit of measurable water pressure by a conventional tensiometer becomes even more limited by increasing its length in the vertical installation. This paper describes the development of a Vacuum-Refilled Tensiometer (VRT) for monitoring soil water pressure independent of installation depth. This is achieved by fixing the distance between pressure sensor and ceramic cup together with incorporating an ancillary vacuumre filling... 

This paper analyzes the oligopolistic equilibria of multiple price-maker agents in performance-based regulation (PBR) markets. In these markets, there are price-maker agents representing some frequency regulation (FR) providers and a number of independent price-taker FR providers. A model of equilibrium problem with equilibrium constraints (EPECs) is employed in this paper to study the equilibria of a PBR market in the presence of price-maker agents and price-taker FR providers. Due to the incorporation of the FR providers' dynamics, the proposed model is reformulated as a mixed-integer linear programming (MILP) problem over innovative mathematical techniques. An optimal equilibrium point is... 

The bifacial photovoltaic/thermal module is an emerging concept that can provide electricity and heat simultaneously, taking advantage of both front and rear sides of the panel; therefore, exhibiting a better performance compared to a conventional photovoltaic module or photovoltaic thermal module. In this study, four configurations of the bifacial photovoltaic/thermal module with different cooling methods have been proposed, i.e., cooling performed at either the upper or the lower surface, in parallel (applied to both upper and lower surfaces having similar start/endpoints), and swinging air back and forth (by guiding the air over the upper and lower surfaces, respectively). The... 

A mathematical model has been suggested for the numerical study of blood flow in a vessel due to the pumping action of the heart. Blood is assumed to contain some impurities in the form of chemically reactive species (undergoing a first-order irreversible reaction) and, being a hybrid nanofluid, also contains the nano-sized solid particles, thus forming a homogeneous mixture which is subjected to a pressure gradient (of trigonometric nature) in the horizontal direction. Human vessel is subjected to a transverse magnetic field and is presumed to be filled with plaque which is considered as a porous medium, and is mathematically modeled by applying the Darcy-Forchheimer theory. The nonlinear... 

We introduced Computed Network Process Theory to reason about protocols for mobile ad hoc networks (MANETs). Here we explore the applicability of our framework in two regards: model checking and equational reasoning. The operational semantics of our framework is based on constrained labeled transition systems (CLTSs), in which each transition label is parameterized with the set of topologies for which this transition is enabled. We illustrate how through model checking on CLTSs one can analyze mobility scenarios of MANET protocols. Furthermore, we show how by equational theory one can reason about MANETs consisting of a finite but unbounded set of nodes, in which all nodes deploy the same... 

We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize restricted broadcast. It allows one to define the behavior of an ad hoc network with respect to the underlying topologies. We give a sound and ground-complete axiomatization for CNT terms with finite-state behavior, modulo what we call rooted branching computed network bisimilarity  

We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize restricted broadcast. It allows one to define an ad hoc network with respect to the underlying topologies. We give a sound and complete axiomatization for the recursion-free part of the term algebra CNT, modulo what we call rooted branching computed network bisimilarity  

We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network layers, and the underlying dynamic topology. The link connectivity model, which implicitly models node mobility, specifies link up and down lifetimes. We use so-called constrained labeled multi-transition systems (CLMSs) to specify MANETs; transitions are annotated by network restrictions, capturing the topologies in which a transition is possible. A continuous Markov chain can be generated from a CLMS, to evaluate the performance of the corresponding MANET  

This paper presents two wideband GaAs MMIC driver power amplifiers (PAs) suitable for X and Ku bands. The required number of stages and number of branches in each stage for an M-stage driver PA architecture is analyzed. Design of wideband matching networks for monolithic microwave integrated circuit (MMIC) driver PAs is explained and design parameters of a cascaded K-section T matching network (MN) are derived. Finally, measurement results of 8-13 GHz and 13-19 GHz driver PAs, both implemented on 0.25 μm pseudomorphic high electron mobility transistor (pHEMT) technology, are demonstrated. Each driver PA delivers 31 dBm output power with 30 % nominal PAE over the operating frequency. © 2017... 

We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad hoc networks, i.e. local broadcast, connectivity of nodes and connectivity changes. Connectivity and connectivity changes are modeled implicitly in the semantics, which results in a more compact state space. Our connectivity model supports unidirectional links. A key feature of our algebra is eliminating connectivity information from the specification of a network, and transferring its complexity to the semantics. We give a formal operational semantics for our process algebra, and define equivalence relations on... 

Standard finite element models, i.e. finite element methods that use standard constitutive models, suffer from excessive mesh dependence when strain-softening models are used in numerical analyses and cannot reproduce the size effect commonly observed in quasi-brittle failure. In this paper, an h-adaptive analysis for the mixed finite element solution of solid mechanics problems is presented with special reference to metal powder forming involving localization due to material instability. A remeshing strategy is employed to compute the distribution of required element size using the estimated error distribution. The numerical results are obtained for a Von-Mises yield criterion applied to a... 

Presented is a novel and analytical approach to design a hybrid controller based on hybrid zero dynamics for exponential stabilisation of a desired periodic orbit for a hybrid model of walking composed of single and double support phases. To achieve this goal, the effect of a double support phase on angular momentum transfer and stabilisation is investigated. Also, the class of control inputs corresponding to an orbit during double support is presented. A smooth feedback law based on a radial basis function network is then proposed for the double support phase such that (i) the desired orbit is exponentially stable and (ii) the control vector minimises the least square control cost  

A new ultra wideband (UWB) pulse generator covering a-10 dB bandwidth of 2.4-4.6 GHz with a tunable center frequency of 5-5.6 GHz to mitigate coexistence issues of impulse radio UWB (IR-UWB) systems and IEEE802.11.a WLAN or other narrowband (NB) systems in 90 nm-CMOS technology is proposed. The UWB pulse is generated based on frequency up-conversion of the first derivative of the Gaussian pulse, which creates an adjustable null in the frequency spectrum. Simulation results show that employing the proposed pulse generator mitigates the mutual interference between UWB and WLAN systems, significantly. The proposed transmitter consists of a low frequency signal generator, an LC oscillator and a...