Sharif Digital Repository

This dissertation deals with nonwandering (e.g. area-preserving) homeomorphisms of the torus which are homotopic to the identity and strictly toral, in the sense that they exhibit dynamical properties that are not present in homeomorphisms of the annulus or the plane. This includes all homeomorphisms which have a rotation set with nonempty interior. There are two types of points: inessential and essential. It is known that the set of inessential points Ine(f ) is a disjoint union of periodic topological disks ("elliptic islands"), while the set of essential points Ess(f ) is an essential continuum, with typically rich dynamics ("the chaotic region"). One of the key results in this context is... 

Today polyolefin definitely is one of the most applicable polymers in the world. One of these polymers is ultra-high molecular weight polyethylene. Being applicable in a number of high-tech industries such as military service, battery separators, and other areas, expands the usage of these polymers. Electrospinning is one of the molding methods in order to synthesize fiber polymers. Using this method, a great deal of polymer fibers have been prepared. It is worth noting that the device used for olefins should have temperature control and temperature increase ability. The electrospinning device with the temperature control has not been built in the country; therefore, this device has been... 

Deployable structures have been used on small satellites since the beginning of such space programmes. Here, the design sequence for a special tensegrity structure, for use as supporting structure for deployable mesh-like antenna will be proposed. The design process is conducted to prevent structural elements from failure, and satisfy the minimum specified natural frequency. In this research, structural modeling is performed based on two external geometric parameters (overall height and diameter), and three internal geometric parameters (elements cross-section properties). The pre-stress in structural element is the last design parameter. Also, materials are pre-assigned. Internal forces of... 

Processalgebras,acompositionalmethodofmodelingsystemsandtheirbehavioural features, have been a key instrument in the verification of systems and have strived to completely span a whole spectrum of verification solutions for diverse areas of applications. In this sense, modeling and analysis of the performance metrics in a Mobile Ad hoc Network (MANET) in contrast to other systems, face different challenges which demand different strategies. Hence, our goal here is to model and analyze the qualitative and quantitative aspects of MANETs within one especially designed compositional framework. To achieve this framework, we will first have a look at the different methods which aim to model MANETs... 

Application of composite patches in repair of damaged/aged aircraft structures is one of the most popular repairing methods in aerospace engineering and because of its advantages the use of this type of repair is increasing today. However, to use these patches in life extension of aged aircraft, the added weight to the structure should be strictly controlled. This could be best done if achieving the optimum and smart design by using optimization and structural health monitoring methods. These two concept about pre-designed of composite patch repair are investigated in this thesis. The simulation by Abaqus software and experimental results and tests will be used for this purpose. In first... 

In this research work, the concept of an unmanned aerial firefighting system with water thrusters has been studied. This system consists of a platform head, a waterhose and a ground pump. The concept is briefly to pump water through the hose and then fall it down on fire from the platform. This conceptual system may have many other applications. The other applications have also been addressed in the introduction section. This platform can be considered as an unmanned aerial vehicle whose lift and control forces is provided by water thrusters. The conceptual study has been carried out based on three subjects of preliminary sizing, system dynamic modeling and controller design for platform... 

In this thesis we construct a bounded translation of intuitionistic predicate logic into Basic predicate logic with restricted use of universal quantifier and without equality inspired by papers [1] and [2]  

Data collected from street networks show that travel time in urban street networks is a stochastic variable, whose range of variation increases with the congestion level. Work and school trips comprise the major part of morning peak volumes, whose common characteristic is that they need to be made on time. For this reason, these travelers are pessimistic in their route choice, and try to choose routes which are more reliable. Travel time standard deviation is one of the common measures for estimating travel time reliability that is related to properties of day-to-day travel time distribution on a particular route. Based on the empirical data collected from Tehran street network, this paper... 

Noise or noise pollution, is defined as an unwanted sound, produced mostly by motor vehicles in urban areas. If the noise exceeds its limit, adverse effects on users and citizens are expected. Thus the assessment of the noise level and its comparison with allowable values is mandatory. Traffic induced noise depends upon different factors such as traffic, weather, and, sound barriers. Noise pollution study has a long history all over the world. Many studies, mostly representing the outdoor noise pollution models, have been done in recent years. This paper presents an assessment of traffic-induced noise in a heavily traveled tunnel, locally referred to as Resalat tunnel, which is located in... 

In this thesis, we introduce a novel Artificial Intelligence (AI) system inspired by the philosophical and psychoanalytical concept of imagination as a ``Re-construction of Experiences". Our AI system is equipped with an imagination-inspired module that bridges the gap between textual inputs and other modalities, enriching the derived information based on previously learned experiences. A unique feature of our system is its ability to formulate independent perceptions of inputs. This leads to unique interpretations of a concept that may differ from human interpretations but are equally valid, a phenomenon we term as ``Interpretable Misunderstanding". We employ large-scale models,... 

The airport terminal is difficult to plan and design due to the different components and the intricate complexity of its parts. At the airport terminal, we face a queue system which simulation is always a good way to analyze. In addition, computer simulation using modern softwares with the capability to model different types of systems, including the airport terminal, while being less realistic than analytical models, is less costly than operational Exercise.In this study, a supportive approach for better and specific management of Iranian airport terminal buildings with discrete-event simulation is proposed, considering the need for managing the airport terminals building in the country and... 

Concept drift is a common situation in data streams where distribution which data is generated from, changes over time due to various reasons like environmental changes. This phenomenon challenges classification process strongly. Recent studies on keeping a pool of classifiers each modeling one of the concepts, have achieved promising results. Storing used classifiers in a pool enables us to exploit prior knowledge of concepts in the future occurrence of them. Most of the methods presented so far, introduce a similarity measure between current and past concepts and select the closest stored concept as current one. These methods don’t consider possible relations and dependenies between... 

In the present study, an incompressible smoothed particle hydrodynamics based on the artificial compressibility method is applied for simulating the incompressible turbulent flows. The Reynolds-averaged incompressible Navier–Stokes equations using the artificial compressibility method in the Eulerian reference frame are written in the Lagrangian reference frame to provide an appropriate incompressible SPH algorithm for the turbulent flow computations. Here, the k-L_m turbulence model, which is a simplified k-ϵ turbulence model, is used and formulated in the Lagrangian reference frame. The SPH formulation implemented here is based on an implicit dual-time stepping scheme to be capable of... 

In this research, non-isothermal annealing process at temperatures ranging between 400°C to 830 °C was investigated in warm and cold-rolled austenitic stainless steel 304L. First, the wide variety of austenitic to martensitic structure was produced by the multi-pass rolling process at room temperature -8 °C, 200 °C, and 280°C. The n exponent in Olson-Cohen equation was governed 2.83 after non-linear curve fitting to assess the fraction of deformation-induced martensite as a function of strain. Afterward, Abaqus/Explicit method was utilized to achieve the stored energy and plastic strains distribution through the thickness. Then, Cellular automata and Galerkin-finite element models were... 

Limited water resources in Iran have made dams an important part of the country’s infrastructure. As a result of the large number of in-progress and expected dam projects in the country, consideration of sustainability factors during planning, construction and operation phases of dam projects can create significant economical, social and environmental impacts in the long term. To come up with an inclusive sustainable development, new sustainability assessment approaches seek for sustainable development at the entire project’s life-cycle; they are looking for sustainable development at all design, construction, operation, maintenance and even demolition phases. In this research we have...