Sharif Digital Repository

Recently, the tradeoff between low energy consumption and high fault-tolerance has attracted a lot of attention as a key issue in the design of real-time embedded systems. Dynamic Voltage Scaling (DVS) is known as one of the most effective low energy techniques for real-time systems. Control-theoretic DVS techniques, which have been exploited recently for DVS-enabled systems, are able to adapt well to dynamic workload. In this thesis, we have combined the above two important issues i.e., the control-theoretic DVS and fault-tolerance, and investigated reducing the energy consumption of fault-tolerant hard real-time systems using feedback control theory. Our proposed feedback-based DVS method... 

The purpose of this project is the analysis of free and forced vibrations of sandwich panels under moving loads. In order to analyze the problem, sandwich panels are modeled as composite square plates. By using third order shear deformation theory, equations of motion are derived. Equations of motion with six different boundary conditions are solved utilizing generalized differential quadrature method. Natural frequencies are obtained for simple cases reported in the literature.In addition, a sandwich panel under moving load with simply supported boundary conditions is analyzed and time series response of the middle point is obtained. The time series response is also studied parametrically... 

In this thesis, losses of steady state operation of brushless doubly-fed induction machines (BDFM) are analyzed and optimized. Since the final objective of engineering systems is economic advantage, after brief introduction to BDFM, economic model of wind farms is presented and BDFM benefits and deficits are studied. Among BDFM’s research topics, power density and efficiency were recognized of most importance, according to the economic model. In absence of analytical model of core loss for BDFM, a maximum torque per ampere optimization for BDFM is presented, including torque equation derivation, optimal current angle extraction and machine design objective function calculation. The... 

Due to special characteristics, nowadays functionally graded materials are of great interest of researchers. Continuous change of properties in these materials,decreases undesirable phenomena such as stresscon centration. On the other hand knowing vibration parameters of structures such as natural frequencies, to avoid damage, is important. So far, many researches have been devoted to vibration analysis of structures, such as beams.In this dissertation, free vibration analysis of FGM beams, are investigated, using RKPM, a meshlesh method. The system of equations of motion is derived using Lagrange’s method under the assumption of Euler-Bernoulli beam theory. Buckling analysis of FGM beams... 

In this thesis, the influence of nonideal boundary conditions on the vibration of a functionally graded beam excited by a moving oscillator on Pasternak-type viscoelastic foundation has been investigated. The beam has simply-supported boundary conditions and is assumed that the right-hand-side boundary conditions allows for small deflection, moment and axial force. The beam property gradient is assumed to be in the thickness direction and varies according to the power law distribution. The Hamilton's principle is utilized to obtain the governing equations of motion under the assumptions of Euler-Bernoulli beam theory. The equations of motion of the beam are solved using an... 

Micro electromechanical systems (MEMS) such as sensors and actuators are gaining more popularity in recent years. These systems have different application in automation, medicine and other industries. Mechanical structures are governed by electrical systems in MEMS devices and this is one of the challenges of MEMS studies. Usually these systems made by one deformable beam or plate over a fixed substrate. Due to applied voltage between substrate and deformable plate or beam, the deformable plate deflects toward the fixed substrate. The voltage at which the system becomes unstableis called pull-in voltage. Pull-in voltage is the most important characteristics of MEMS beyond which pull-in takes... 

Epistemic logic gets its start with the recognition of the systematic properties of epistemic concepts. These properties make epistemic concepts amenable for formal study, and become our tools to present logical models for them.“Certainty” is one of these epistemic concepts for which no comprehensive logical model has been presented so far.
Among the logical models that have been presented for “Certainty”, there are two main models which are more comprehensive than the others and all the other models may be extendable to one of them. In this thesis, these two main logical models that have been proposed for the concept of certainty are introduced and described from a philosophical... 

After Alzheimer and brain attack, the most common neurological disorder is epilepsy, which often involves seizures. In two-thirds of patients with epilepsy, the seizures can be controlled by antiepileptic drugs, and about 8% of patients can use epilepsy surgery; but unfortunately there is no acceptable treatment for the other 25% of these patients. Therefore preventing from epilepsy losses is a very important topic.
The gold standard for the diagnosis of the epilepsy is EEG monitoring. In this method, electrodes are placed on the scalp. Electrodes are uncomfortable to wear, and cause invasion to the patient, hence long-term monitoring and home monitoring is not feasible. In some... 

In this work, a non-isothermal model of natural gas in pipelines including mass, momentum and energy balance equations are used as model equations for modeling and state estimation in gas pipeline systems. An algorithm is proposed to handle the discontinuities that appear in the dynamic model of a GTN. The states of GTN are estimated using the continuous/discrete form of the extended Kalman filter for two benchmarks and some heuristic rules for sensor placement in a GTN are concluded. Also, a framework for distributed and decentralized state estimation in high-pressure and long-distance gas transmission networks (GTNs) is proposed. Some heuristic rules are suggested for system decomposition... 

In this thesis, optimum set of satellite constellations for regional navigation has been investigated. The cost function is the required multiple coverage for navigation in the Iran region with the lowest possible positioning error. In the satellite navigation systems the GDOP (Geometric Dilution of Precision) is a quantitative measure which is usually used to determine the effect of satellites’ orbits geometry on position error estimation. The lower the GDOP, the more precise the navigation would be. In fact, GDOP relates computed satellite-receiver range error to position estimation error. This thesis has two major parts; modeling and optimization. In the modeling of the problem,... 

Event-based embedded systems are usually energy-constrained and also have to be highly reliable. This thesis presents a novel energy-efficient standby-sparing technique for eventbased embedded systems. It speculatively pre-executes reaction tasks prior to events, resulting in a high available slack time for energy management. Although the prediction might be wrong, we will show that in average the proposed speculative standby-sparing technique (SSS) consumes less energy compared to non-speculative techniques. We present some real-life examples of event-based embedded systems to justify practical use for the proposed technique. To evaluate SSS extensive experiments were conducted on a variety... 

The ossicular chain of the human middle ear has a key role in sound conduction since it transfers vibrations from the tympanic membrane to the cochlea, connecting the outer and the inner part of the hearing organ. This study reports firstly a description of the main anatomical features of the middle ear to introduce a detailed survey of its biomechanics,focused on model development, with a collection of geometric, inertial and mechanical/material parameters. The joint issues are particularly discussed from the perspective of developing a model of the middle ear both explanatory and predictive. Such a survey underlines the remarkable dispersion of ... 

A Radio Frequency Power Amplifier was designed for IS-95 standard in 0.18μm / 1.8V CMOS technology. In order to increase output voltage swing and protect gate oxide of devices, pseudo-differential cascode topology was exploited. Bondwire inductors with exact modeling were used to tune out parasitic capacitances. A low-pass, L match impedance transformation network, realized using bondwire inductors, was used at output of power amplifier. An impedance transformation network design process was developed which considers the quality factor of inductors, from the first step. Also having examined the nonlinearity phenomena in power amplifiers, a fast simulation or measurement method was proposed... 

One of the main problems in human health, both in advanced societies and in growing societies, is a variety of cancers, one of which is brain tumor. One of the non-invasive methods of treating tumors is the use of ultrasound.HIFU (High Intensity Focused Ultrasound) therapy method is known as one of the most advanced surgical techniques in tumor ablation therapy. HIFU are produced and concentrated by powerful transducers. The two main mechanisms in HIFU are mechanical and thermal mechanisms, and the effects of these two mechanisms appear as thermal effects and cavitation. The fundamental mechanism in the HIFU is to absorb ultrasonic waves and to convert them into heat.The purpose of this...