Sharif Digital Repository

The present study was aimed at developing a model to optimize the sizing of wind turbines according to the region’s wind condition and the capital costs of each part of the turbine. The proposed model, which consists of technical aerodynamic, economic and optimization sub-models, is used to achieve maximum annual energy production by a fixed cost of a single or a number of wind turbines. A cost model has been used to determine the detailed cost of the turbine’s components. The model’s results are presented for two regions in Iran, Khaf and Ahar, and the optimized configurations for a single turbine and a wind farm have been investigated.A case study for the region- Manjil that has some... 

The objective of the present study is the development of an optimization model to identify the best configuration of renewable-based integrated energy systems. The system includes a combination of renewable energy systems such as wind, solar, hydropower and hydrogen production, storage facilities, and conventional fossil-fuel generators. The developed tool consists of various modules where water-heating assumes the utilization of waste energy as an option. Furthermore, the application, which is demonstrated for a case study in Tehran has been considered. The power exchange with the distribution network and injection of hydrogen produced from excess renewable sources into gas network are... 

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

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

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

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

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

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

Usually the structures are designed based on the fixed-base assumption; however this assumption is not always correct and the bed flexibility should be considered. This effect which is called soil-structure interaction, change the response of structure on both elastic and inelastic behavior. In the regulations for the design of structures on flexible base, generallysoil-structure system is replaced with an equivalent fixed base structure; in the way that the design force of soil-structure system with reasonable accuracy can be estimated by equivalent fixed-base structure. In some regulations, dynamic characteristics of equivalent structure have been determined on elastic state and the...