Sharif Digital Repository

In the philosophical debate between scientific realism and anti-realism, some philosophers have proposed a third path, known as structural realism. According to this view, the only real part of scientific theories is their structural aspect. Structural realism, however, has faced Newman's objection from the beginning, which poses a serious challenge to the position: one cannot endorse structural realism while remaining indifferent to Newman’s critique. Van Fraassen, an empiricist and prominent defender of anti-realism, has presented his version of structuralism, rooted in his anti-realist stance. Van Fraassen claims that this version of structuralism can withstand Newman's objection. In this... 

Prognostics is necessary to ensure the reliability and safety of lithium-ion batteries for hybrid electric vehicles or satellites. This process can be achieved by capacity estimation, which is a direct fading indicator for assessing the state of health of a battery. However, the capacity of a lithium-ion battery onboard is difficult to monitor. This paper presents a data-driven approach for capacity estimation. First, new features are extracted from cyclic charge/discharge cycles and used as health indicators. Three algorithms are used to characterize the relationship between extracted features and battery capacity. Decision tree, random forest and boosting algorithms are trained using a... 

The main goal of this thesis is the design and development of a rehabilitation device for helping patients “to improve blood circulation” & retain and recover their abilities if possible that were lost during the stroke or a accident like that (my research in karaj/iran shows that it is possible by just movement of the specific body part). The focus is on hand in this thesis because Injuries to the hand are common and can be very debilitating since our hands are our primary means for interacting with our world. For rehabilitation in case of human hand there are several practices that should be done for patients either in home or in a rehabilitation center, time and money that is supposed to... 

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

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

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