Sharif Digital Repository

We consider composite minimization problem of the form minx h(c(x)), where the function c : Rn ! Rm is smooth and the function h : Rm ! [+1;1] is usually convex or prox-regular, but may be nonsmooth. A wide variety of important optimization problems fall into this framework, and so far several studies have been done in this regard. One of these studies relates to the condition that the function h is finite convex and the algorithm uses a line search method. Another case is solving nonlinear programming problems using a penalty function where the function h is finite polyhedral. Research has also been done for the case where the function c is identity, that is c(x) = x.We describe an... 

In the past few decades, shaking tables are widely used to evaluate system response of structures under seismic excitations. These devices are used without any fundamental research performed on a shaking table system as an entity model. In most of these studies for simplicity, it is assumed that there exist no considerable vibration and displacement around the shaking tables, and no attention is paid to the peripheral substances such as soil settled under the foundation.
In this thesis, result of ambient vibration test on shaking table system (solid deck, concrete foundation and soil layer) has been presented. Precise sensors known as low frequency and high accuracy accelerometers have... 

Out of several ground improvement techniques available, stone columns have been widely used. This technique has been successfully applied to increase the bearing capacity and to reduce the settlement for foundation of structures like liquid storage tanks, earthen embankments, raft foundations, etc., where a relatively large settlement is permissible. This technique has, generally, been proven successful in increasing the stiffness of weak soils, upgrading their safe bearing capacity, and reducing their total and differential settlements, as well as speeding up their consolidation process. The beneficial effects of stone column installation in weak deposits is manifested in the form of... 

In the present study, a new version of haptic devices is presented in which user’s hand is in contact with the device just while collision with virtual surface. In this system, the position of user’s finger can be traced by using a camera and the haptic device follows user’s finger at the distance of about two centimeters. While the haptic device approaches to the virtual surface, gradually reduces its speed and stops about two centimeters distant of virtual plane. Then user’s hand collides with the haptic device which is static. Greater fidelity, transparency, more stability and also no need to large actuators are of the advantages of this system. In this project, first we present a new... 

Laminar forced convection flow through a channel partially filled with a porous material was numerically studied in this thesis. The Navier-Stokes and Brinkman-Forchheimer equations were used to model the fluid flow in the free and porous regions, respectively. Coupling of the pressure and velocity fields was resolved using the SIMPLEC algorithm. The local thermal equilibrium was adopted in the energy equation. The effects of the thermal conductivity ratio, Darcy number, porosity, Reynolds number and height of the porous insert on velocity and temperature field were investigated. The results show that the flow behavior and its associated heat transfer are susceptible to the variation of the... 

In this thesis we try to find optimized parameters for imaging and manipulation of a biosample with AFM. For this we have prepared a numerous Molecular Dynamics simulation and find some reliable result. So, first we have focused on imaging process in Non contact mode (the less harmful mode). Then we headed into the manipulation process. The main problem about manipulating a biosample is the environment. In imaging section, the process of imaging a biomolecule by AFM is modeled using molecular dynamics simulations. Since the large normal force exerted by the tip on the biosample in contact and tapping modes may damage the sample structure and produce irreversible deformation, the non-contact... 

Results of previous studies on silt and clay indicated that variations in the small strain shear modulus, Gmax, during drying had a non-linear increasing trend with matric suction with greater values upon wetting. However, due to different material properties and inter-particle forces, different behaviour in Gmax is expected for sand. Although considerable research has been devoted in recent years to characterize the behaviour of Gmax of sand during drying, rather less attention has been paid to the effect of hydraulic hysteresis on Gmax and its variations during wetting. In the study presented herein, an effort was made to characterize the variation of Gmax for specimens of sand during... 

Abstract The problem of competetive facility location can be defined as follows: There are a number of customers in the form of points in space, and two players arrange a number of facilities in the form of points in space, given some limitations, respectively. Each customer’s connection to each facility has a cost for the customer and an advantage for the facility, and each customer wants to be connected to at most one of the facilities which has the lowest cost for him. The goal is to find the strategy of placing the facilities and determining the cost which the facility receives from the customer, in such a way that the player’s profit is maximised.In this thesis, we first sought to... 

Zero knowledge proofs allow a person (prover) to convince another person (verifier) that he has performed a specific computation on a secret data correctly, and has obtained a true answer, without having to disclose the secret data. QAP (Quadratic Arithmetic Program) based zkSNARKs (zero knowledge Succinct Non-interactive Argument of Knowledge) are a type of zero knowledge proof. They have several properties that make them attractive in practice, e.g. verifier's work is very easy. So they are used in many areas such as Blockchain and cloud computing. But yet prover's work in QAP based zkSNARKs is heavy, therefore, it may not be possible for a prover with limited processing resource to run... 

Wellbore storage effect is one of the biggest problems of petroleum engineers in analyzing the reservoir properties. In this phenomenon, at the beginning time of production from a reservoir, the fluid is initially produced from the well and not from the reservoir. Due to this effect, the pressures are distorted and could not be used in reservoir analysis. In this thesis the wellbore storage effect would be removed in naturally fractured reservoirs using deconvolution method. Using this method the range of data used could be increased. In this method special techniques are used in order to determine reservoir behaviour.
Using the method presented in this thesis, petroleum engineers could...