Sharif Digital Repository

A probabilistic method is presented for identifying the dynamic soil-foundation stiffnesses of building structures. It is based on model updating of a Timoshenko beam resting on sway and rocking springs, which respectively represent the superstructure and the soil-foundation system. Unlike those previously employed for this particular problem, the proposed method is a Bayesian one, which accounts for the prevailing uncertainties due to modeling and measurement errors. As such, it yields the probability distribution of the system parameters as opposed to average/deterministic values. In this approach, the joint probability density function of the parameters that control the flexible-base... 

In Mobile Ad hoc Networks (MANETs), nodes depend on each other for routing and forwarding their packets. However, to save power and other resources, nodes belonging to independent authorities may behave selfishly, and not cooperate in network activities. Such selfish behaviour poses a real threat to the proper functioning of MANETs. To cope with this situation, a motivation stimulation mechanism is required to provide sufficient incentives for nodes to forward other nodes’ packets. One Appropriate approach is to have network nodes paid in order to motivate them to cooperate with protocol. To achieve truthfulness, the payment based on the cost of transmission of packets. Since the mentioned... 

With the dramatic advancements in information technology and the industry requirements for security and privacy, proof systems play a crucial role in cryptography. Among the vast variety of proof systems, succinct non-interactive arguments (SNARG) seem to be the most appealing class of proof systems, due to their attractive properties. SNARGs are usually made up of two constructive components, namely the information theoretic part and the cryptographic part. The GKR protocol was introduced as a proof system for a tractable family of languages called “log-Space Uniform Circuits”. The log-space uniformity is a necessary condition for the protocol to be succinct. Hence, it is not possible to... 

With the dramatic advancements in information technology and the industry requirements for security and privacy, proof systems play a crucial role in cryptography. Among the vast variety of proof systems, succinct non-interactive arguments (SNARG) seem to be the most appealing class of proof systems, due to their attractive properties. SNARGs are usually made up of two constructive components, namely the information theoretic part and the cryptographic part. The GKR protocol was introduced as a proof system for a tractable family of languages called “log-Space Uniform Circuits”. The log-space uniformity is a necessary condition for the protocol to be succinct. Hence, it is not possible to... 

The aim of this thesis is to investigate the passive wrapping of nanoparticles by a lipid membrane in the uptake process using molecular dynamics computer simulations. The simulations are carried out by the Virtual Cell Model (VCM) software package, a computational framework that creates a large scale coarse-grained multi-component cell model developed by Prof Mohammad Reza Ejtehadi’s Soft Matter Group at Sharif University of Technology. VCM can model the dynamics of different parts of the cell and investigate their mechanical properties.A chapter of this thesis contributes to further development of the membrane model used in the VCM to simulate nanoparticles interactions with a membrane.... 

In this thesis, optimal station keeping of spacecraft on the closed-orbits near the Earth-Moon Lagrange points has been investigated. Lagrange points L1 and L2 are unstable equilibrium points of the circular restricted three-body problem (CRTBP), and periodic orbits near them are the destination of modern missions. However, perturbations resulting from the gravitational forces of the Sun and the planets and the eccentricity of the orbit of the Moon around the Earth make the Lagrange point unstable, even L4 and L5, which are stable in CRTBP. The most suitable choice for spacecraft mission near the collinear Lagrange points is the Halo and other closed-orbits around them, which need... 

In this thesis, the satellite constellation orbit design for regional coverage is investigated. The orbits of satellites in a constellation for Earth observation missions play a crucial role in performance and characteristics of the mission; for example the image resolution, the area of coverage, and the coverage interval. In this thesis the problem is to find the optimal initial orbital elements for meeting the earth observation mission objectives for one or several sites. The cost functions are the total coverage time, the maximum gap time, time average gap, altitude, and number of satellites. The problem is solved in a multi-objective manner for different combination of two of the above... 

This research aims to introduce a new integrated fault tolerant attitude control system of satellites based on the neural networks. First, a linear controller and an optimal controller are designed assuming that no fault occurs in the reaction wheels of the satellite. It is obvious that these controllers are not able to respond properly when a fault occurs. Therefore, artificial neural networks are employed in the fault tolerant controller design. Neural networks are well-known for their adaptiveness and the ability to learn the dynamics of a system. Therefore, they can be used to predict the faulty conditions. In this research two approaches are examined to deal with the faulty conditions.... 

This paper presents an integrated attitude control and estimation of satellite by using adaptive neural fuzzy (ANFIS) logic, indeed a system which using ANFIS controller and estimator is considered then an ANFIS simulator that can control and estimate contemporary is supposed. ANFIS system has been trained by using data obtained from an optimal PID controller. Then ANFIS controller performance has been compared with the performance of a PID controller, the analogy has repeated in different situations such as noise and uncertainty. Results show that system with ANFIS controller is more optimal than PID’s in all these situations. After that ANFIS estimator is studied and results indicate the... 

UF membranes are widely used in various industries now, a major type of these membranes are ceramic membranes which are resistant to high temperatures and corrosive fluids. In this thesis we developed an anisotropic UF ceramic membrane based on 20nm TiO2 nanoparticles on a prous sustrate. We had two major challenges, the first one was to find a suitable prous substrate and the second one was to find an appropriate coating method. Our main task was to optimise the process conditions to achive a crackless and uniform membrane layer with minimal ups and downs. Lots of coating methods and TiO2 inks have been tried, finally we used a coating method which we called it “Soft Blade Coating”, with... 

In this thesis, the optimal trajectories of a spacecraft in the binary asteroids system is studied. The objective functions of optimal trajectories in these system are the maximum coverage of the asteroids surface and minimum time and fuel consumption. For this purpose, the dynamic of binary system is modeled. The binary system of 1999 KW4 is selected as a case study. The ellipsoid-sphere model is a good approximation for the case of this study. In this model, the asteroids orbit in a circular orbit around each other in a spin-spin-orbit resonance configuration, in which the asteroids’ rotational velocity is equal to orbital mean motion. Then, the equations of motion of the spacecraft as the... 

The estimation of attitude and deformation of a flexible satellite using magnetometer and sun sensor data are studied in this thesis. To this end, the dynamical differential equations of the flexible satellite have been derived using Lagrange’s equation. These equations of motion are then utilized for the purpose of simulation and verification. After introducing the measurements equations, the observability of the satellite with flexible panels has been evaluated. Afterward, the attitude of the satellite body and deformation of the flexible panels have been estimated by EKF (Extended Kalman Filter) as well as UKF (Unscented Kalman Filter). The results show that the estimations using UKF are... 

The 6DOF modelling and robust attitude control of two tethered satellites using tether tension moments is studied in this thesis. In this regard, the coupled rotational and translational dynamics of two satellites connected by a tether in the presence of Earth’s gravitational perturbation, aerodynamic drag, solar radiation pressure and third body effects (Sun and Moon) and also uncertainties in some of physical parameters of system and sensor’s outputs is modelled. Moreover, the tether attachment point to the satellites is different from their center of mass and its effect on dynamics of the system is taken into consideration. Then, the attitude of both satellites are controlled using robust... 

In this thesis, a control method to cope with the fault in the two-satellite two-tether satellite systems has been proposed to avoid failing the mission in the case one tether is torn. A new model for the tethered satellite system with two tethers has been developed to show the effects of tethers’ tension forces in the attitude dynamics. One of the main features of this model is the ability of changing the tethers’ connection points to the co-satellite for attitude control purposes. As a result, tethers’ tension forces are used as control actions to reduce the fuel consumption. The introduced coupled tethered satellite system has been controlled using the model predictive control method.... 

In this research, we study and optimize the inverted perovskite solar cells (PSCs) using nano layers of NiOx and Li:NiOx as hole transporting layers (HTLs) and nano layers of PC70BM and C60 as electron transporting layers (ETLs). We fabricated inverted PSCs with three different HTLs, namely MoOx, PEDOT:PSS and NiOx, using vapor assisted solution processed (VASP) method for making MAPbI3 perovskite which yielded a power conversion efficiency (PCE) of 1%, 1.93% and 3.65%, respectively. Solution-processed deposition method, high transparency (˃90%) and high band gap (3.9 eV) are the most advantages to use NiOx as HTL in current research. Using lithium as dopant to the NiOx increases the... 

In this research an ANFIS controller will be developed to rendezvous and dock with a non-cooperative spacecraft; the controller must make the spacecraft reach the velocity and nearby position of the target spacecraft. Due to uncertainty in modeling and changes in the moment inertia tensor, the controller must be able to adapt with these changes and uncertainty, these changes may happen because of robotic arm or solar panel movings. Robustness of the controller will be evaluated by applying orbital disturbances and modeling errors through monte-carlo simulations. To model the spacecraft the specifications of a known spacecraft will be used but some specifications may be studied parametricaly.... 

Studying of binary asteroids because of achieving data of existence sources in the world persuades to investigate about tethered satellite formation around binary asteroids in future missions. About 20 percent of asteroids around the sun are binary asteroids. It is going to analyse dynamics of tethered satellite around Didymos binary asteroid. Light mass of the asteroid is good reason to consider gravitational harmonic perturbation, and leads to attention about solar radiation pressure depends on distance in modelling of the dynamical system. It will be zonal harmonics up to second order and sectoral. Satellites are such a particle as an assumption; that is why attitude motion of satellites...