Sharif Digital Repository

Due to inherent dangerous on human and environment safety in the nuclear power plant has significant importance. In order to ensure the safety of the plant and proper functioning ofits various components,before its operational exploitation, a series of commissioning tests should be conducted according to international standards for nuclear power plants. In addition, safety of the plant can be guaranteed bymodeling of transient states and possible scenarios of accident in different situations.In this research,by gathering geometric data and information about the facilities installed in the plant, modeling of Commissioning test of Bushehr Nuclear Power Plant (BNPP) and its associated accident... 

The event of the loss of off-site power (loop) is one of the nuclear power plant accidents which, if occurred, in worst case , the main generator will be stopped after a short time after beginning of the accident and AC feed of the power plant loads such as safety systems and main pumps of primary circuit will be interrupted . In order to control the event, it is necessary to start the emergency diesel generators, at least for one of safety channels. If the diesel generators are not started or not loaded, the accident will advance, and it will be changed to station black-out (SBO). If the SBO occurs, due to non operation of residual heat removal systems (RHR), it may be result to melt the... 

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

In recent years, requirement engineering and goal modeling have gained more attention among different organisations. Therefore, different methods have been designed to discover stakeholders’ requirements and translate them into process and organizational goals. Various goal models have been introduced to represent these goals and their relations towards each other. Still, these methods are manual representations of different process scenarios and do not relate to the actual behavior. In 2014, Map Miner Method (MMM) was introduced to discover intentional process models from event logs. MMM uses Hidden Markov Model (HMM) as a means to represent the process as a map model of strategies and... 

Recommending routes to city taxis in order to improve their performance in finding passengers can reduce traffic, pollution and waiting time for passengers, as well as this, increasing the efficiency of taxis can increase their income. In this study, by analyzing trajectory data obtained from 536 taxis in San Francisco over a period of one month, we generated networks of cells, each of which has time-dependent characteristics such as the probability of finding a passenger, the capacity of each cell, or the amount of demand exists is in the cell and the average speed of passing through that cell. also, the connections between these cells in order to make more use of the experiences of taxi... 

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

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

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]  

The purpose of the present study is to develop neural network estimation method for hybrid or panel data which have a combination of two cross-sectional and time series structures and because of the features of both structures, their use in different sciences offers many advantages; and the analytical methods for this data structure are also different from other one-dimensional structures, so different and specific regression models are presented for this data structure. However, in the artificial neural network method, modeling the development for this data structure is neglected, so in the present study, using the concepts of panel regression methods and their application to the... 

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