Sharif Digital Repository

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

Structural Health Monitoring (SHM) means to give a diagnosis of the “state” of the subjects. Small leaks along the entire lengths of oil pipelines are detected and located by monitoring.Nowadays health monitoring of pipeline in water, gas, oil and chemical industry has been the focus of researchers. This is due to the fact that leak accidents may cause great economic problems to human resources as well as extreme environmental pollution. This project focuses on a visual and photographic observation system as leakage detection to monitor long range pipelines. In this system, several cameras with overlapping views are located along the entire lengths of pipelines. We are using digital cameras... 

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

Most refineries are looking for a process in order to remove heavy compounds and convert them into lighter, more valuable materials. Among the various remaining upgrade processes, non-catalytic heating processes are very attractive and have gotten a wider scope worldwide because the feed used for the upgrade process is high in metal and sulfur, which causes the catalyst surface to become toxic and inactive. Due to that, the thermal cracking process is more suitable for such feeds than the catalytic cracking process. Due to the reduction of sweet crude oil resources and the heavier refinery feeds and increase in amount of global fuel needs, refineries must process a larger share of feed in... 

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

In this piece of work, a gravity model is suggested as Iranian non-fuel export model to OIC countries. The most important results out of this model are the acquired coefficients of two variables, namely “ECO membership” and “Economic and Trade Freedom of Importer”. At first, we expected that for importer, being a member of ECO would increase the amount of trade with iran. Surprisingly, this is not what we see in a model. In fact, as ECO has not achieved any tangible success in increasing trade between its members, eastern Asian Muslim countries has become an important trade partner for iranians. This result is compatible with other pieces of researches about ECO. “Economic and Trade Freedom... 

Today’s growing interest to the underwater explorations and navigations demands to design appropriate underwater communication methods and systems. However, radio frequencies which are widely being used in free space communications, can’t be a good candidate for underwater wireless communications, due to their sever attenuation in water. On the other hand, underwater acoustic communication has been widely studied and implemented in the past decades, inspired by suitable propagation of acoustic waves through the underwater medium. Nevertheless, acoustic communication systems have limited bandwidth, lower propagation speed and lower security than optical counterparts, which suggests underwater... 

Visible light communication (VLC) uses huge license-free spectral bandwidth of visible light for high-speed wireless communication. Since each VLC access point covers a small area, handovers of mobile users are inevitable. In order to deal with these handovers, developing fast and effective resource allocation algorithms is a challenge. this paper introduces the problem of mobility-aware optimization of resources in hybrid VLC and 5G radio access technologies networks using the T-step look-ahead policy and employing the notion of handover efficiency. It is shown that the handover efficiency can correlate the overall performance of the network with future actions based on the mobility of... 

In present research, a cohesive based finite element model has been introduced to estimate median crack depth during mechanical machining on optical glasses. Development of the machining numerical model has been initiated by investigating the indentation process. Experimental results of this step have been calibrated primary numerical model which has been used in the scratch process. Due to differences between the scratch mechanism and indentation one, mathematical bases fracture formulas and cohesive relations have been developed. After extracting primary result, using them in the scratch model and developing the primary model, ultimately numerical model has been evolved to an abstract... 

Lithium has 9 isotopes which two isotopes are stable and remaining isotopes are unstable and have half-life. Lithium stable isotopes include 6Li and 7Li that their abundance is 7.53% and 92.47% respectively. Importance of lighter lithium isotope appears for its small cross section against thermal neutron and producing fusion reactors fuel in nuclear industries. Thermal neutron absorption cross section for 6Li and 7Li are 950 barn and 37 mbarn respectively. Interesting of these isotopes in nuclear industry is due to the large difference in the absorption cross section.6Li compounds implied for tritium producing in coat of nuclear fusion reactor with DT fuel. Following tritium is used in... 

Hydrothermal supercritical method is one of the most suitable methods for metal oxide nano powder, ceramics and mineral catalyst synthesis. Metal oxides nanopowder in its pure or mixed form has wide potential application as chemical industrial catalyst, hot Superconductors, magnetic material, gas sensors and car catalyst convertors. One of the most important metal oxides aspects of application is uranium oxide as nuclear reactor fuel is used. In addition, UO2 is selective catalyst for converting methane to methanol process and Decomposition of organic Chlorine material. In Supercritical hydrothermal method done in high pressure reactor with critical to fluid, is new method for the... 

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