Sharif Digital Repository

As the crowded cities require public transportation and because of lack of space on the ground, Subway and boring underground tunnels encountered. In this thesis the interaction of boring the line 7 of Tehran metro with the existing station of line 1 of Tehran metro (Molavi station) is studied. By changing the soil specification, The surface settlement is significant so the soil specification is one of the important parameters of the interaction. For comparinf the effect of these parameters, the soil settlement and bending moments is investigated in different parts of station while the lower tunnel is passing beneath it. The 3D Abaqus software is used for modeling this interaction. In... 

Recently, Needs for construction of rock structures and underground ones such as tunnels, dam foundations, power plants and caverns built to keep oil, gas and nuclear waste has increased dramatically. In order to design, construct and excavate these underground structures safely and economically, full understanding of rock mass properties, suitable tools and practical techniques of drilling are necessary. Because of existing this discontinuities, including joints and layered rock masses and their effects on mechanical behavior of rock mass, it is necessary for the geomechanical profile, shear strength and failure mechanism of rock mass to be accurately indentified. Shear strength criterions... 

Automatic theorem proving has been attractive in artificial intelligence (AI). The aim of the usual automatic theorem proving methods is applying of the mathematical logic rules to decide intelligently, and reasoning automatically. In contrast the aim of our research is to apply computers abilities and artificial intelligence methods to simulate human abilities to prove mathematical theorems. For this purpose, we invent a typed formal language (TFL) to describe mathematical theories. The language must be clearly computable and should cover the First Order Logic (FOL) and the usual mathematical sentences. Then some algorithms and inference rules to compare sentences conceptually are... 

The Smith Predictor does not work for unstable plants; therefore a lot of modifications have been proposed in order to solve this problem. In this project, advantages and disadvantages of most of these methods are studied in a general framework and based on Diophantine equation and using pole-placement technique. a discrete control scheme for unstable processes has been proposed. This structure can be used for non-minimum phase and stochastic processes. Robust stability of the suggested control structure has been shown. Performance of the proposed method is compared with previous works through computer simulations and its superiority for robust stability, load rejection; set-point tracking... 

Inlet flow of afterburners comes from the burnt products of the primary combustion chamber. The fuel is injected and the mixture is ignited to form a flame which is stabilized behind a flameholder in the afterburner. Flame stability stems from wake (recirculation zone) of flameholder. With the aid of high residence time of flow behind the flameholder reactants get the time to catch activation energy. Some parameters like oxygen content, mass flow rate, inlet temperature, and nozzle area ratio play an important role in afterburner combustion efficiency and flame stability. In this study we focused on afterburner combustion stability in GE J85-21 engine. This engine will be in service through... 

Multi-period Value-at-Risk (VaR) forecasting is important for risk management. Financial institutions especially commercial banks according to Basel Committee regulations for capital adequacy in “Internal Approach”, should forecast their VaR for multi-period horizons (longer than one day). The most conventional approach for forecasting multi-period VaR is scaling one-day forecasted VaR that is called “square root of time rule”; therefore most works in this area have been focused on forecasting one-day VaR. In this study, we review performance of a wide range of different methods in forecasting multi-period VaR. The results of our study show that historical simulation performs weakly in... 

Molecule of DNA is one of the most important biomolecule in cell which contains genetic information to supply the required proteins for body. Evidence shows prefered binding sequence for proteins exist to interact with proteins which this preference is determined not only by specefic chemical interactions between DNA and protein, but also specific suitable geometrical arrangements of DNA have important role to inding DNA oligomer and protein, such as winding DNA around histon to creating nucleosome is related to curvature and deformability of DNA. Thus knowing elastic behaviour and properties of DNA helps us to approach the answer of such questions. Despite the recent dvancement in labratory... 

The main effort of this thesis is to present a numerical method to simulate and implement a special type of controllers, called proportional-weighted integral (PWI) controllers. For this purpose, at first mathematical equations of the fractional order proportional-integral controllers have been investigated in the time domain, and then by generalization of these controllers, the PWI controllers are achieved. Next the discretization of these controllers are carried out and the performance of the controllers are simulated by means of this discretization and comparison between these controllers and the conventional PI controllers has been held. After that a method for estimation of these... 

Regarding recent progress in the field of decision theory and the discovery of the important factors in human decision making, it is suggested by researchers to build up models that take all of, or at least most of, those factors into account simultaneously. In this research, first, we present some important achievements in the field of decision theory then develop a model based on these factors. Therefore, we focus on influential factors in human decision making, especially recent ones in neuroeconomics and mathematical models are presented to describe their effects. Then a descriptive model is proposed and changed it to a prescriptive model by adding some assumptions and standard charts.... 

The frequency divider is one of the components of a frequency synthesizer. Regenerative frequency divider is one of the frequency division methods and is used in narrow band applications. In this thesis, the process of designing & fabricating Ka band and Ku band regenerative frequency dividers is reported. A bandwidth of 550MHz for the Ka band divider and 400MHz for the Ku band divider have been achieved. Multiple passive structures such as microstrip filters, Wilkinson power dividers and a waveguide-to-microstrip transition have been designed during the fabrication of the mentioned frequency dividers. According to the results of the simulations, the bandwidth of the waveguide-to-microstrip... 

Uranium is the most important element in the nuclear fuel cycle. Recovery of uranium from waste produced at every stage of the fuel cycle is not only economically important, but also environmentally important. In the production phase of uranium hexafluoride, certain amount of solid waste is produced in the bottom of the fluorination reactor. In order to extract the uranium from this waste, we have to eliminate the fluorine contained in the waste. This is because the fluorine forms strong complex with uranyl ions during the extraction process, and prevents from efficient extraction of uranium. In the current thesis؛ first, we examined the characteristics of the waste ... 

In this thesis, we consider the problem of online conflict-free coloring for regions. First, we analyze online variant of the conflict-free coloring of intervals on the line, where each newly inserted interval must be assigned a color upon insertion such that the coloring remains conflict-free, i.e. for every point p in the union of the current intervals, there must be an interval I with a unique color among all intervals covering p. we present deterministic algorithm for achieving this goal which uses O(log^3⁡n) color. Next, we consider the online conflict-free coloring of nearly-equal axis-parallel rectangles in the plane and present a deterministic algorithms which uses O(log^12⁡n)... 

There are several methods for EEG state detection, and there are still many challenges. Switching Kalman Filter (SKF) is a suitable approach for state detection, which has been used in various applications such as QRS detection in ECG signal, apnea detection using ECG signal, and also hand path detection using EEG signal. Our goal here is to use Switching Kalman Filter (SKF) in order to detect changes in EEG signal, and in particular in sleep. In other words, we want to detect Sleep Stages. Here, detecting Sleep Stages will help doctors diagnose and treat diseases. There is a Kalman Model for each Stages of Sleep in SKF, that I model it with a AR model. In addition, SKF switch is a state... 

A grid simulator is a system for testing various types of grid-connected devices, such as inverters of renewable energy sources, chargers, power supplies, etc. In this project, the design and implementation of a 3 KVA three-phase regenerative programmable AC current source is presented. In the future, this structure can be used as a grid simulator. The topology used for the current source is a two-level three-phase AC to DC converter. The current source can operate in constant current (CC), constant power (CP), constant impedance (CI), and constant voltage (CV) modes. In the constant current operating mode, the user sets the amplitude and phase of the 1st, 5th, 7th, 11th, and 13th harmonics... 

Liquefaction of gases is one of the applications of cryogenic science. Among the gases, Helium has the lowest boiling point, which at a pressure of 1atm is approximately 4.2K. Liquid helium can be used to cool superconductors in transportation equipment, military radars, and medical imaging equipment. For helium liquefaction, various cycles are used; these cycles have different parameters in their structure such as of input mass fraction to expanders, heat exchanger effectiveness, expander arrangement and ... which their analysis for improving the performance of the cycle is important. In this research, the aim is to study 2, 3 and 4 expander cycle with various parameters and structure. For... 

Hydroxyapatite (HA) is the most substantial mineral constituent of a bone which displays splendid biocompatibility and bioactivity properties. Nevertheless, its mechanical property is not utmost appropriate for a bone substitution. Therefore, a composite consist of HA and a biodegradable polymer is usually prepared to generate an apt bone scaffold. In the present work polycaprolactone (PCL), a newly remarkable biocompatible and biodegradable polymer, was employed as a matrix and hydroxyapatite nanoparticles and nanorods were used as a reinforcement element of the composite. HA/PCL nanocomposites were synthesized by three new in-situ sol-gel processes using a diverse range of phosphorus and... 

English language is peppered with phrasal verbs (PhVs) and native speakers use them frequently and endlessly in daily life. However, due to various semantic and syntactic difficulties, polysemy, unpredictability, and learners’ L1 differences, this omnipresent aspect of English language morphology poses formidable challenges for learners in terms of fluency and accuracy, and leads them to resort to avoidance strategies. The problem has also been exacerbated with the arbitrariness of PhVs’ teaching methods prescribed by various textbooks. In order to shed more light on the ongoing debate over implicit and explicit types of instruction as two viable approaches to tackling PhVs, this study aimed... 

Estimation of demand, for example, for transportation is an important issue for the planning and programming of various systems. Thus, enhancing the predictability power of such models is of high value. Demand stems from choices of individuals, and choice is subject to uncertainty and fuzziness. Uncertainty comes from many factors including incomplete information of decision-maker, and fuzziness comes from many other factors including personal perception regarding the value of the variables affecting choice. This study tries to introduce a new approach in building choice models, in which variables are transformed into another variable by the help of a global wisdom. This wisdom shows the... 

In Persian language, there are some special uncertainties and complexities regarding the extraction of phonemes due to its flexible structure. In this work, we try to solve two problems caused by this issue, homographs disambiguation and Ezafe recognition in Persian text to speech systems.
In this work, two methods are presented for solving the two problems. The first one is a pattern recognition method based on Aho-Corasick algorithm that has the best performance according to the execution time. The second method is a hidden Markov model tagger based on Viterbi algorithm that uses bigram and trigram statistics. These methods are run on 10 million word corpus and the results are compared...