Sharif Digital Repository

HTGRs are considered as 4th generation reactors which have prominent characteristics such as inherent safety, lower safety costs, High efficiency and high temperature applications. the most important challenges in developing these reactors is providing appropriate codes in design, simulating their performance and analysis of them. In this thesis, a japanese prismatic HTTR reactor has been selected as a reference reactor and the neurotic’s calculations implementation studied at cold zero power (CZP) and hot full power (HFP) states using DRAGON cell calculation codes and DONJON core computations. At CZP state, One group and two group radial & axial flux distribution, control rod critical... 

In the present work, primary crystallization mechanism, glass forming ability, thermal stability and formation of nano Al crystals and their effects on the mechanical behavior were investigated in various Al amorphous alloy containing misch metal including Al90-xNi10-yFeyMMx (x=2-10%at, y=0-10 %at) alloys. In order to elaborate the Cu effect on the primary crystallization mechanism Al86Ni10-xCuxMM4(x=0-2/5) alloy were prepared. The results showed that in Al90-xNi10MMx (x=2-10 %at) alloying system variation of the misch metal from 2 to 10 atomic present results in increase in glass forming ability. The crystallization onset temperature also increases from 405 K in Al88Ni10MM2 to 630 K in... 

Isolated black holes in equilibrium are intrinsically simple objects: They are much simpler than ordinary matter around us because they can be described by only a few parameters such as their mass, angular momentum, and charge. This simplicity, however, is apparent only because one never has an isolated black hole. Black holes in centers of galaxies or intermediate-mass black holes always have complex distributions of matter around them, such as galactic nuclei, accretion disks, strong magnetic fields, other stars, planets, etc., and are therefore actively interacting with their surroundings. However, even having been removed from all macroscopic objects and fields in space, a black hole... 

One of the main subjects that has been vastly studied recently, is the final fate of Black holes with Hawking radiation. Radiation of a black hole changes the black hole, thus horizons of the black hole will also have dynamics. For a radiating black hole the inward flux of matter and the flux of radiation are two important factors for determining black hole energymomentum tensor that determine dynamics of different kinds of horizons. Quantum flux calculation needs choosing a proper quantum state as vacuum for calculating the expectation value of energy-momentum tensor. In this thesis we have attempted to write a useful reference and we hope it could help the reader to prepare for studying... 

Compact Objects involve White Dwarfs,Neutron Stars and Black Holes which are formed from the gravitational collapse of main sequence stars after their nuclear fuel is finished.The special characteristic of all Compact Objects is that they are high density which requires a vast knowledge of nuclear physics with strong and weak interactions ,electromagnetic and numerical methods.we need general relativistic simulation of stars because the theories are simple and some are not in agreement with observations. studying of astro physical constraints on equation of state ,stability and cooling of Neutron Stars and pulsation of gravitational waves is needed nowadays. in first part of this thesis,we... 

Cosmic Inflation, invented by Alan Guth in 1980’s, solves the shortcomings of the Standard Cosmology such as the flatness, the horizon and the monopoles problems and provides the seeds of large scale structure formation. The quantum fluctuations which are produced during inflationary epoch are redshifted and transferred from Microscopic scales to Macroscopic universe. We can observe this macroscopic fluctuations both on the CMB surface and on large scale structures. Data from WMAP and Planck missions(CMB space Telescopes) suitably confirms the general predictions of single field inflationary scenarios but still people search for finding primordial gravitational waves from the B-Mode signal... 

There has been a growing interest in studying asymptotically AdS space times given the AdS/CFT conjecture. Among different models finding the one which decribes broader phenomena is important.The importance of a dynamical metric stems from the fact that one can see thermalization in its dual description. We introduce a dynamical metric and study apparent horizon formation and energy evolution as well. We plot its appparent horizion curve and show that it aproaches the static limit within our numerical accuracy. We then review quasi-normal modes of this space time  

Due to the high level abstraction inherent in most formal specifications and the need to formally specify and develop nondeterministic systems, such as concurrent, probabilistic, and game-like ones, nondeterminism comes into formal specifications inevitably. As it will be shown in this thesis, after developing programs constructively from implicitly nondeterministic specifications, which have been written in the CZ (constructive Z) specification language, only one of the allowable, specified behaviors will appear in final programs. In this way, the implementer will be provided with only one of the possible implementations that is not necessarily the best one. When the nondeterminism involved... 

This thesis proposes a dynamic model for studding influences of suspension components behavior on rail vehicle dynamics. As the air springs are very important isolating component in rail vehicles, a new complete nonlinear air spring model, with taking into consideration of thermo–dynamical effects, is developed. The model coefficients are tuned based on the real test data and it can be easily used in dynamic modeling of air springs. The new proposed vehicle model is a complete track–vehicle model with 70 degree of freedoms which is addressed as a modular type. Experimental results from complete rail–vehicle field test, showed remarkable agreement between proposed model and test results.... 

There are different classes of event-driven softwares. These softwares include Graphical user interface, web application or embedded software. In these kinds of softwares, each user's action while using application is known as "event". The application responds to the action through changing behaviour and then waiting for another event. Testing software is the best way for checking the quality assurance of event-driven softwares. However, there are some problems as cause of creating lots of event sequences in testing these kinds of softwares. Therefore, many solutions are introduced for these problems. The goal of this report, is presenting new testing procedure for event-driven web... 

This study considers the flutter analysis rotating blade of a turbo machinery made of magneto rheological elastomer core. The Smith theory is used for modeling the compressible subsonic flow. The classical Hamilton’s principle along with the assume mode method is used to set up the equations of motion. The validity of the derived formulation is confirmed through comparison with those obtained from the finite element software and the available results in the literature. Various parametric studies including the effects of applied magnetic field, core layer thicknesses, rotating speed, setting angle are examined for considered configuration of the rotating blade. The results show that the first... 

One of the most crucial methods to Ensure correct software performance is testing. On this ground, one of the most critical discussions regarding software testing is the effectiveness of a test suite. Program state coverage is a criterion for determining the effectiveness of a test suite. This criterion indicates the number of program states that are executed for the lines. Since the total number of program states cannot be calculated to measure coverage, this criterion proposes a fixed number of 10 to measure program state coverage. Also, according to calculations for the program state in the execution of each line, the time complexity of this criterion is high. In this thesis, providing... 

Quality Assurance is one of the crucial steps in software production and should be repeated. These days, software companies are using continuous integration (CI) pipelines for building software and controlling software quality. Regression test, is a test which is performed after each change in software, to assess the quality of the software system and its ability to meet functional and non-functional needs. Each execution of this test, leads to infrastructure costs and a waste of time for the software development team. The reason is that the development team has to wait until the test is completed to ensure that the changes are correct. To reduce this cost, methods such as prioritizing and... 

Although general relativity is the underlying assumption in modern cosmology, there are still many simplifying assumptions neglecting higher order general relativistic effects. Given the precision cosmology and future surveys and the amount of data on large scales, higher order relativistic effects are to be taken into account. We will consider two categories of relativistic effects on large scale structures. First, the inhomogeneities between the source and the observer may lead to observable effects neglected so far. As future surveys will probe the universe on large scales, these effects have been the focus of recent studies. The observables being defined first, are cosmic rulers and... 

In this thesis we investigate the consept of supreme Pfister forms developed by K. J. Becher. Let F be a field of characteristic different from 2. Several properties of F with respect to an anisotropic form ϕ over F are introduced and their relations are studied. A form ϕ is called supreme if it is anisotropic and every anisotropic form over F is a subform of ϕ. It can be easily shown that if F has a supreme form then F is nonreal and ϕ is a Pfister form. We see how examples of such fields may be obtained. Also we compare fields having a supreme Pfister form with n-local fields (i.e., fields which up to isometry have exactly two n-fold Pfister forms). Finally, we apply our results to the... 

In recent years, there have been many studies aimed at finding program defect using information of previous ones. These studies, by using the program text, previous bugs, and information related to version control and project management systems create an defect prediction model to find other defect prone areas in the program. The output of defect prediction methods is part of the program’s text, which is likely to have defects. Considering that the result of this method is just the text of the program and does not provide any extra information for finding defects to the user, these methods have not yet been applied to the software industry. On the other hand, by spreading the use of Q & A... 

This M.Sc thesis aims at studding system of fluid and solid interaction. Based on the potential flow assumption along with using the perturbation technique, the governing kinematic and dynamic boundary conditions of the first- and second-order velocity potential are derived. Then, a boundary element model is developed for the sloshing dynamics which is formulated in terms of the velocity potential of the liquid free-surface. The boundary element model is used to determine the natural mode shapes of sloshing and their corresponding frequencies. Using the modal analysis technique, a nonlinear model is represented for calculation of the first- and second-order potential which can be used to...