Sharif Digital Repository

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

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

In this study, an alkaline bath for co-deposition of Fe and Pd was selected. In order to investigate the mechanism of deposition, each of the metals iron and palladium electrodeposited from selected bath separately; and the kinetics of electrodeposition by electrochemical techniques such as linear voltammetry, cyclic voltammetry, chronoamperometry and chronopotentiometry were evaluated. Electrodeposition processes of Fe, Pd and their alloy were irreversible and under diffusion of reducing agents are controlled. Moreover the electroreduction of palladium from utilized bath was performed in two steps. At following, the mechanism of iron– palladium alloy electrocrystallization was discussed and... 

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

In this thesis, the problem of placing a minimum number of phasor measurement units (PMUs) in a transmission system is considered so that faults on all lines of the network can be diagnosed and located irrespective of their locations. For this purpose, a PMU placement algorithm is proposed to calculate the required data for impedance-based fault-location of any fault line in the network, achieving the full potential of the circuit laws throughout the system. Another algorithm is then proposed to compute the voltage and current values of the fault line for fault-location purposes. Moreover, as many networks are already equipped with PMUs, the proposed algorithm makes it possible to locate... 

In the last few decades Seismic Regulations attitude’s has been undergone significant changes from various aspects. One of these aspects is entering new topics based on the latest scientific achievements. Soil-Structure Interaction terms was from such issues which had found their ways into Seismic codes as an optional effective factor. In recent years, Based on this new attitude and Scientific achievements, Soil-Structure Interaction terms entrance into Iranian seismic code (2800 Standard), is also has been studied. Naturally, applying these criteria will impact on the design and performance of structures, because of reducing effect of soil structure interaction on decreasing base shear... 

With development of power electronic science and with the existence of different power electronic converters in this field, the need for improving their operation and the fault detection methods of these converters, the need for simulation and test of them is strong felt. However, experimental constrain such as damage risks, reliability, costs, and so on obviate the need for making the converter and the need for testing it and its controller. Accordingly, we do the testing on a special platform for Real-Time simulation.Control/protection platform needs to be tested and its functionality should be verified prior to installation and commissioning.Testing in theReal-Time simulator environment... 

The Vehicular Ad hoc Network (VANET) have been presented to enhance the safety and comfort of driver and passengers. Thus, the functionality of VANET is related to the accuracy of disseminated messages about surrounding environment. Therefore, it is critical to detect the true reports among false reports which they have been reported by malicious nodes. However, in this research, the proposed scheme presents a centralized trust management assessment scheme named Detection of Best Report (DBR) in vehicular ad hoc environments. Each received message is evaluated individually according to its reporter interactions during event reporting. Based on this evaluation in RSU, the most reliable nodes... 

Separation of particles and cells is one of the most important and practical methods in fields such as biomedicine, medicine and industry. In microfluidics There are various methods for particles and cells separation According to the source of them, they can be categorised as active and passive techniques. Active techniques rely on an external force field. The most important advantage of this method is controlling the force on the particles during the experiment. However, the flow speed is always limited because particles must be exposed to the outer force field for sufficient duration to achieve effective functionality. passive techniques depend entirely on the channel geometry or intrinsic...