Sharif Digital Repository

Nowadays, with the increasing number of polyethylene terephthalate wastes, the issue of its recycling has become very important. Among the problems of polyethylene terephthalate recycling are its loss of crystallinity and mechanical properties. Recycled polyethylene terephthalate does not have the properties of new polyethylene terephthalate and using its mixture with other materials is an effective way to remove its waste from nature and return it to the production cycle. The aim of this study is to produce a mixture of recycled polyethylene terephthalate with polycarbonate and glass fibers with mechanical properties such as good impact strength, which ultimately leads to the production of... 

In the traditional process planning, the expert decides upon the production process for a product by considering the previous cases and by decomposing, analysis and interpreting the shape of the product in terms of more familiar previous cases. In recent decades and by developments in the disciplines of the artificial intelligence, mass customization, cloud manufacturing and additive manufacturing, a necessity for process planning systems which need less human intervention by intelligent interpretation of the shape and consideration of the available data from previous productions, has emerged. Inspired by the traditional process planning by human expert, and considering the overall process... 

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

Arising from the intersection of two modern ideas in logic and mathematics, namely Type Theory - specifically Martin-Löf’s intuitionistic type theory, and Homotopy Theory, Homotopy Type Theory has introduced a novel formalism that formalizes every mathematical object - including constructions, definitions, and proofs - in a specific and fundamentally different way from other interpretive frameworks (such as set theory), bringing forth new results - both philosophically and mathematically. The first goal of this research is to understand the meaning of Homotopy Type Theory as a foundation for mathematics through exploring this new formalism. The second goal of this research is to understand... 

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

One of the crucial matters in the area of Supply Chain Management is the ability of a supply chain to act and react under different circumstances. A helpful tool to understand the supply chain is simulation modeling. With the help of simulation modeling, we can provide the opportunity for the agents in a model to perform based on the defined environment.In the current research, a complete literature review is performed on the topics of supply chain planning and various distribution models and algorithms. With the focus on the vaccine as a critical item, we propose a model to distribute vaccines based on the degree of agents, and we realize that vaccine distribution, while facing huge demand... 

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

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

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

In this paper, we introduce a novel decision making strategy on how to assign markets to a multi-item newsvendor’s problem. We present a new formulation method based on the integration of news-vendor problem and dynamic programming approach alongside an efficient solution method. Suppose there are n distinct products and corresponding time intervals for selling them in different markets. These products will be worthless (perishable) at the end of each interval. Our proposed framework represents a trade-off between costs associated with staying in a market for further periods and costs of relocating the business in a new market. The objective is to maximize the total profit of our decisions... 

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