Sharif Digital Repository

Nowadays, microfluidic flow appears in many applications, such as medical, biological, and chemical industries. Where as, micromixing, which deals with mixing of microfluidic flow in micro channels, appears to be an important issue to many researchers. In such systems, molecular diffusion plays an important role. On the other hand, lattice Boltzmann method is a relatively new simulation technique for complex fluid systems and has become interesting to many researchers in computational physics. In this study, computational simulation of such mixing process, using LBM is the main objective. Different obstacle layouts inside a microchannel have been investigated. Chaotic advection and jet... 

Hyperbolic branching Brownian motion is a branching diffusion process in which individual particles follow independent Brownian paths in the hyperbolic plane H2, and undergo binary fission(s) at rate λ > 0. It is shown that there is a phase transition in λ : For λ ≤ 1/8 the number
of particles in any compact region of H2 is eventually 0, w.p.1, but for λ > 1/8 the number of particles in any open set grows to ∞ w.p.1. In the subcritical case (λ ≤ 1/8) the set Λ of all limit points in ∂H2 (the boundary circle at ∞) of particle trails is a Cantor set, while in the supercritical case (λ > 1/8) the set Λ has full Lebesgue measure. For λ ≤ 1/8 it is shown that w.p.1 the Hausdorff dimension of Λ... 

Recovery of low-rank matrices from compressed linear measurements is an extension for the more well-known topic of recovery of sprse vectors from underdetermined measurements.Since the natural approach (i.e., rank minimization) for recovery of low-rank matrices is generally NP-hard, several alternatives have been proposed. However, there is a large gap between what can be achieved from these alternatives and the natural approach in terms of maximum rank of the unique solutions and the error of recovery. To narrow this gap, two novel algorithms are proposed. The main idea of both algorithms is to closely approximate the rank with a smooth function of singular values and then minimize the... 

Performance of a multi tube pulse detonation engine has been investigated experimentally. A pulse detonation engine uses detonation phenomena and simply consists of a large narrow tube which has closed head, and has feeding system and ignition system. In this tube, detonation is produced periodically to generate thrust. In multi-tube mode, several tubes are arranged in parallel which detonate sequentially. Our PDE consists of 2 tubes with 70 cm length and 25 mm inner diameter which have several places performed for high speed pressure sensors installation. The premixed hydrogen-oxygen mixture are controlled by solenoid valve and injected on head-end and ignited by conventional spark plug.... 

In this thesis, we provide a comprehensive overview of the efforts made towards achieving the goals of Hilbert’s program, and evaluate how successful They are. We begin by discussing Gödel’s incompleteness theorems, and then as a first attempt we present a brief presentation of Gentzen’s consistency theorem. Subsequently, various research fields that branched out from these initial efforts are explored, encompassing the application of the Omega-Rule, reverse mathematics, and self-verifying systems. Furthermore, we present the concept of “Almost Finitistic Consistency” as an alternative approach within Hilbert’s program. In conclusion, a thorough assessment of the success of Hilbert’s program... 

Question answering systems are systems which get a question in natural language as input and present an explicit, appropriate answer to the question. One of the major components of automatic question answering systems is question processing component in which the input question is analyzed. The main goal of question processing phase is to determine the answer type through question classification. Rule-based, machine learning-based and hybrid approaches have been used in order to develop question classifiers among which machine learning-based ones have outperformed the others. This study’s main goal is to develop a question classifier for Persian open domain question answering systems.... 

Molecularly imprinted polymers (MIPs) with synthetic recognition sites are capable of detecting and separating chemical species in complex environments. These characteristics are of increasing interest for bioanalytical applications. The chief advantages of MIPs are mechanical and chemical stability, low cost, and ease of preparation. Recently, imprinting technology has been used for fabrication polymer thin films with recognition sites of proteins, plant viruses, and yeasts. Also few investigations applied lithography for synthesis of cell imprinted polymers targeting cell detection and observation of cell morphology.
For the first time, we demonstrate surface imprinting for the... 

In this study, different metal oxides were impregnated on the surface of ZSM-5 employed as photocatalysis for degradation of methylene blue dye used in the presence of ultraviolet light. The final products were characterized by powder X-ray diffraction (XRD) and fourier transform infrared (FT-IR) method. According to the proposed mechanism for the photocatalytic degradation of methylene blue based on these results, it was found that the reaction followed from the first-order mechanism. The results indicated that rate constant for pure ZSM-5 was 9.3〖 ₓ10〗^(-3) (min-1). Furthermore the impregnated ZSM-5 having 12% zinc oxide demonstrated the highest photocatalytic activity with rate constant... 

Digital video is one of the biggest part of digital data. The first step of digital video analytics is shot boundary detection. We used overlapped partitioning beside color histogram in uncompressed data and macroblock type prediction in compressed data as feature and supervised classifiers for decision making. Tests on TRECVID 2006 shows 8.9% improvement of F-measure in uncompressed video and 5.3% in h.264 bitstream. Supplementary test is done on IRIB dataset which shows 5.7% improvement of F-measure in uncompressed and 3.2% in H.264. H.264 based algorithm is almost 7 times faster in comparison to the algorithm that includes decoding  

Due to the increasing spread of metal industries and the need for raw material as feed for electric furnaces in order to produce cast iron and steel, as well as scrap deficiency and rising prices, the use of sponge iron as a substitute for scrap was considered in this project Therefore, in order to achieve the chemical analysis of the sorel ingot that is special for spherical graphite cast iron production with low manganese and chromium content, the direct reduction process was carried out using tunnel kiln method on low-manganese iron ore concentrate.After the investigation on direct reduction parameters including the saggers and coal grading,the produced sponge iron has melted in... 

Fuel system is one of the most important parts of pulse detonation engine which has the responsibility of fuel, oxidizer and also purge gas in the different operational frequencies of engine. Although pulse detonation engines are sort of air breathing engines and purge gas and oxidizer one in the same unit in their structure, due to existence idea in the pulse detonation rocket engines coverage of functional condition, fuel, oxidizer and purge gas, will study it in three different structures.
In this study purpose is improvement of the pulse detonation engine of Sharif University which will provide as the possibility of safe functional condition and high operational frequency in... 

Auction is one of the most important and oldest institutions in economics, enabling resource allocation and trade of goods in the economy. Investigating the effects of changes in reservation price in auctions is an important question in auction theory research. In this study, focusing on a policy implemented by Yektanet, which involved altering the reservation price in auctions for advertising slots, we assessed its impact on advertiser costs. The implemented policy led to the activation of two distinct mechanisms, resulting in conflicting effects on the company's revenue. The first mechanism involved an increase in bid and intensified competition for ad placements on average, while the... 

Disturbance is one of the inseparable components of the mechanical systems which cannot be avoided. In these systems a number of inner and outer sources exist which are the cause of disturbance. Abrupt changes in torque, uncertainty in parameters, mechanical impulses and external forces on robot’s parts all can be mentioned as examples which introduce disturbance that affects the output of mechanical and robotic systems. Therefore, disturbance rejection is considered indispensable in robotic control systems. There are number of problems which are associated with disturbance rejection. In several methods, mostly optimization based methods, system fails to completely reject the disturbance and... 

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

There are a lot of methods for the settlement of the reserve power market which can ultimately lead to a pattern of consumption and generation for each of the participants of the power market. After this step, however, justified and logical methods should be utilized for paying the reserving costs to the participants as in a long-term it can optimize the economic conditions of the market which can result in getting more realistic bidding from the participants. The current methods used for paying the reserving costs are mostly locational marginal prices and pay-as bid approach. By the same token, for receiving the reserving costs from the customers, some consider the desired reliability level... 

Recent advances in storage and processing, have provided the ability of automatic gathering of information which in turn leads to fast and contineous flow of data. The data which are produced and stored in this way, are named data streams. data streams have many applications such as processing financial transactions, the recorded data of various sensors or the collected data by web sevices. Data streams are produced with high speed, large size and much dynamism and have some unique properties which make them applicable in precise modeling of many real data mining applications. The main challenge of data streams is the occurrence of concept drift which can be in four types: sudden, gradual,... 

This thesis reviews briefly historical backgrounds and contexts of Darwin's theory and summarizes and describes his arguments in the Origin, and studies philosophical issues around Darwinism. This thesis includes four chapters: chapter one reviews historical line from Greek thinkers to ninteenth century scientists; chapter two summarizes ideas and arguments in the Origin; chapter three discusses some philosophical issues briefly; and chapter four is devoted to some conclusion  

This research is trying to investigate the control algorithms of unknown control direction systems. Since Nussbaum function is the most common method which in used for these systems this research focus on this algorithm to overcome control the effect of unknown control direction. This research study the performance of different control algorithms in controlling such systems followed by analysis of two control modes of continuous and discrete using Nussbam Function. Additionally, in continuous mode, the performance of two methods of backstepping and liding mode has been compared on the given system in variety of situation. Results demonstrate that backstepping method shows better performance...