Loading...
Search for:
vakili--mohammad
0.132 seconds
Total 5424 records
Data-Oriented Verification of Programs
, M.Sc. Thesis Sharif University of Technology ; Ardeshir, Mohammad (Supervisor)
Abstract
The verification of programs is one of the most important subjects in Computer Science. In this thesis, after reviewing preliminary subjects, While-Programming computational model is presented and its semantics is discussed. Next, the axiomatic method of Hoare is presented, which is a deduction system for verification of programs. With the help of Hoare method, the idea of Data-Oriented verification of programs is developed
The Effect of Subterranean Levels’ Flexibility on Multi-component Foundation Input Motion
, M.Sc. Thesis Sharif University of Technology ; Ghannad, Mohammad Ali (Supervisor)
Abstract
In this research the flexibility of subterranean levels on foundation input motion (FIM), especially rocking component is investigated through parameter analyses. The so-called motion is induced as a result of kinematic soil-structure interaction (SSI). The foregoing interaction reduces the translational component of foundation input motion in rigid embedded foundations when compared to the free-field motion (FFM), as well as yielding rocking component in the foundation. On the other hand, increasing the embedment depth which is equivalent to the presence of subterranean levels in a building decreases the commonly-held “rigid” assumption’s accuracy for the embedded part. Given this effect,...
Structure Formation and Galactic Dynamics in Modified Gravity (MOG)
, Ph.D. Dissertation Sharif University of Technology ; Rahvar, Sohrab (Supervisor) ; Mohammad Movahed, Sadegh (Co-Advisor)
Abstract
The standard model of Cosmology (SM), based on Einstein’s theory of general relativity (GR), is the best model in describing the cosmic-scale observations. In galactic scales, however, galactic dynamics show a discrepancy between the observed luminous mass and the predicted value from the theory. Two approaches are suggested to eliminate this inconsistency: assuming the existence of dark matter within the context of GR, or modifying the theory of gravity in galactic scales, like MOND or MOG. In this thesis, we study the spherical collapse and the formation of shell galaxies in MOG, in comparison with SM. We introduce the action and the field equations of MOG and the equation of motion of a...
Combined Electroosmotically and Pressure Driven Flow of Power-Law Fluids in Rectangular Microchannels
, M.Sc. Thesis Sharif University of Technology ; Saidi, Mohammad Hassan (Supervisor) ; Mozafari, Ali Asghar (Supervisor)
Abstract
Electroosmosis is the predominant mechanism for flow generation in lab-on-a-chip devices. These microfluidic devices are microscale laboratories on a microchip that can perform clinical diagnoses. Since most biofluids encountered in these devices are considered to be non-Newtonian and the cross section of microchannels in these devices is close to a rectangular shape, In this study, the hydrodynamically and thermally fully developed combined electroosmotically and pressure driven flow of power-law fluids in rectangular microchannels is analyzed. The governing equations are first made dimensionless and then transformed into new ones based on the computational parameters which provide mesh...
Effective Field Theory of Inflation and its Applicationin Calculating Primordial Non-Gaussianities
, M.Sc. Thesis Sharif University of Technology ; Golshani, Mahdi (Supervisor) ; Firouzjahi, Hassan (Supervisor)
Abstract
In this thesis we perform the method for calculating primordial non- Gaussianity for a generic single-field inflationary model and compare the results of important models such as DBI inflation and slow roll inflation. Then, we will show how to extract potentially observable quantities from 3 point correlation functions of gauge invariant curvature perturbations, like the size and shape of non-Gaussianities. Then,we will review the effective field theory approach to inflation that allows us to unify all inflationary models and characterize high energy corrections to simple slow roll model. We use this approach to estimate the size of non-Gaussianities in various limit. Furthermore, we study...
Optimization of Inlet Air Cooling Gas Turbine in Hot and Humid Area
, M.Sc. Thesis Sharif University of Technology ; Sadrhosseini, Hani (Supervisor) ; Zabihollah, Abolghasem (Co-Advisor)
Abstract
Nowadays, gas turbines are from the most widely used devices in terms of power generation. According to their vital role in suppling electrical power required for daily life and their widespread application in power plants, tremendous efforts have been made to improve the efficiency of gas turbine working cycle. One of the most applicable methods to optimize a gas turbine is to cool the compressor inlet air. Applying an absorption chiller is a wisely technique especially when it comes to hot and humid weather condition. In this thesis, effects of applying an absorption chiller with specified technical facts on the performance of gas turbines, which are now functional in Kish Island power...
Recommendations on enhancing the efficiency of algebraic multigrid preconditioned GMRES in solving coupled fluid flow equations
, Article Numerical Heat Transfer, Part B: Fundamentals ; Volume 55, Issue 3 , 2009 , Pages 232-256 ; 10407790 (ISSN) ; Darbandi, M ; Sharif University of Technology
2009
Abstract
The algebraic multigrid (AMG) algorithm as a preconditioner to the Krylov subspace methods has drawn the attention of many researchers in solving fluid flow and heat transfer problems. However, the efficient employment of this solver needs experience, because users have to quantify several important parameters. In this work, we choose a hybrid finite-volume element method and quantify the optimum magnitudes for those parameters. To generalize our results, two sets of fluid flow governing equations, the thermobuoyant flow and confined diffusion flame, are studied and the optimum values are determined. The results indicate that the AMG can be very effective if a proper storage method is chosen...
Evaluation of The Informational Efficiency of Tehran Securities Market
, M.Sc. Thesis Sharif University of Technology ; Zamani, Shiva (Supervisor)
Abstract
In the present research, the weak level efficiency of securitise market is reviewed and examined .Therefore the “Random Walk Hypothesis” has been examined on the time series of daily efficiency index of TEHRAN SECURITISE MARKET. The main difference between this research and the previous researches which have been performed previously in Iran, is the method of Hypothesis Test. The” Variance Ratio Test” has been used as a method of Hypothesis’ Test. In the second chapter, the theoretical and experimental literatures of this research has been described in detail. In parallel with the ” Variance Ratio Test”, the impact of the Day of week and the “HETROSCEDASITY TEST” also has been...
Production of Nanostructured Composite Sheets of AA1100/St37 Using ARB Technique and Evaluation of Heat Treatment Effect on Grains Structure
, M.Sc. Thesis Sharif University of Technology ; Asgari, Sirous (Supervisor)
Abstract
In present work, nanostructured multilayer composites produced from AA1100 and St37 alloys and mechanical properties of resulted samples characterized using tension and micro hardness tests. Also dispersion pattern of second phase in matrix studied via optical microscopy. Thickness of second phase layers showed a little reduction after 2 ARB cycles; but their length decrease gradually. With increasing number of ARB cycles up to 6 cycles, sample's tensile strength first decrease rapidly and after that increased, but never reached initial value. In order to evaluation of heat treatment effects on samples grain structure, samples heat treated and tensile test carried on them. Annealing at 300...
Why and How did Philosophy of Science Come to Iran?
, M.Sc. Thesis Sharif University of Technology ; Golshani, Mehdi (Supervisor)
Abstract
The history of an Episteme is part of that Episteme. Without understanding the history of Episteme, one cannot get the right understanding of the Episteme. In order to understand the current coordinates of philosophy in Iran (as well as understanding the current state of philosophy in Iran), it must examine the history of its emergence and development. Part of the sources of recognition of this history is the “Erlbnis” of those who lived the event. Those who have been trying for its birth and development. Some other sources in understanding this history are the previous published works in this area. Another is the educational effort and the establishment and development of the institutions...
Design of adaptive proportional-integral-weighted (PIw) controllers for control of a class of nonlinear uncertain systems
, Article 2017 25th Iranian Conference on Electrical Engineering, ICEE 2017, 2 May 2017 through 4 May 2017 ; 2017 , Pages 923-926 ; 9781509059638 (ISBN) ; Tavazoei, M. S ; Sharif University of Technology
2017
Abstract
Study on the potential abilities of the proportional-integral-weighted (PIw) controllers, as a recently proposed generalization for proportional-integral (PI) controllers, can be useful for improving the performance of traditional control systems. In this paper, adaptive PI and adaptive PIw controllers are designed to be used in control of a special class of nonlinear uncertain systems based on the Lyapanuv stability theorem. The effectiveness of the proposed controllers is illustrated by applying the proposed schemes to a Continuous Stirred-Tank Reactor (CSTR) system with an unknown parameter. Simulation results indicate that using adaptive PIw controllers, in comparison to using the...
Type i shell galaxies as a test of gravity models
, Article Astrophysical Journal ; Volume 848, Issue 1 , 2017 ; 0004637X (ISSN) ; Kroupa, P ; Rahvar, S ; Sharif University of Technology
2017
Abstract
Shell galaxies are understood to form through the collision of a dwarf galaxy with an elliptical galaxy. Shell structures and kinematics have been noted to be independent tools to measure the gravitational potential of the shell galaxies. We compare theoretically the formation of shells in Type I shell galaxies in different gravity theories in this work because this is so far missing in the literature. We include Newtonian plus dark halo gravity, and two non-Newtonian gravity models, MOG and MOND, in identical initial systems. We investigate the effect of dynamical friction, which by slowing down the dwarf galaxy in the dark halo models limits the range of shell radii to low values. Under...
Frameworks, quantitative indicators, characters, and modeling approaches to analysis of energy system resilience: A review
, Article Renewable and Sustainable Energy Reviews ; Volume 144 , 2021 ; 13640321 (ISSN) ; Saboohi, Y ; Vakili, A ; Sharif University of Technology
Elsevier Ltd
2021
Abstract
The rise of the damage to energy systems caused by both natural and man-made disruptive events and the connection between energy systems and socio-economic systems have motivated the study of energy system resilience. This paper conceptualizes and comprehensively presents a systematic review of the recent literature focused on the analytical, technical, and mathematical points from the standpoint of the energy systems facing disruptive events. To this end, five phases are developed. Firstly, the concept of the energy system resilience is presented, and then the energy resilience characters and the resilience states are introduced and connected. Thirdly, the formulation and indicators of the...
Frameworks, quantitative indicators, characters, and modeling approaches to analysis of energy system resilience: A review
, Article Renewable and Sustainable Energy Reviews ; Volume 144 , 2021 ; 13640321 (ISSN) ; Saboohi, Y ; Vakili, A ; Sharif University of Technology
Elsevier Ltd
2021
Abstract
The rise of the damage to energy systems caused by both natural and man-made disruptive events and the connection between energy systems and socio-economic systems have motivated the study of energy system resilience. This paper conceptualizes and comprehensively presents a systematic review of the recent literature focused on the analytical, technical, and mathematical points from the standpoint of the energy systems facing disruptive events. To this end, five phases are developed. Firstly, the concept of the energy system resilience is presented, and then the energy resilience characters and the resilience states are introduced and connected. Thirdly, the formulation and indicators of the...
Performance Analysis of PIw Controllers in Improving the Efficiency of Nonlinear Control Systems
, M.Sc. Thesis Sharif University of Technology ; Tavazoei, Mohmmad Saleh (Supervisor)
Abstract
In this thesis, the performance of a special type of controllers, called Proportional-Integral weighted (PIw) controllers, in control of nonlinear systems is studied. To this aim, the domain of attraction of polynomial nonlinear control systems in the presence of PIw and Proportional-Integral (PI) controllers is estimated and compared with each other. For this estimation, two different methods are used, and the obtained results are compared. Next, adaptive PIw and adaptive PI controllers are designed to be used in control of nonlinear systems. The effectiveness of the proposed controllers is illustrated for a Continuous-Stirred-Tank-Reactor (CSTR) that has an uncertain parameter in its...
Dark energy from fifth-dimensional brans-dicke theory
, Article International Journal of Modern Physics D ; Volume 22, Issue 10 , 2013 ; 02182718 (ISSN) ; Farhoudi, M ; Vakili, H ; Sharif University of Technology
2013
Abstract
Following the approach of the induced-matter theory, we investigate the cosmological implications of a five-dimensional Brans-Dicke (BD) theory, and propose to explain the acceleration of the universe. After inducing in a four-dimensional hypersurface, we classify the energy-momentum tensor into two parts in a way that, one part represents all kind of the matter (the baryonic and dark) and the other one contains every extra terms emerging from the scale factor of the fifth dimension and the scalar field, which we consider as the energy-momentum tensor of dark energy. We also separate the energy-momentum conservation equation into two conservation equations, one for matter and the other for...
Modeling dual-channel supply chain based on fuzzy system and genetic algorithm
, Article International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems ; Volume 25, Issue 4 , 2017 , Pages 573-598 ; 02184885 (ISSN) ; Shavandi, H ; Vakili, M. R ; Sharif University of Technology
World Scientific Publishing Co. Pte Ltd
2017
Abstract
In this paper, we have proposed a dual-channel supply chain model in uncertain environment to analyze the demand of manufacturer and retailer demand in which the profit being maximized. Linguistic terms are also utilized to establish two fuzzy systems for estimating the demand in direct and retail channels. In order to do that, a mathematical model is proposed based on decentralized situation of supply chain. To solve the model, we have developed a hybrid solution method of genetic algorithm, fuzzy system, and L-P metric. Finally, several test problems are first generated; then, the computational results are analyzed. © 2017 World Scientific Publishing Company
Resisting dynamic structures in shifting toward "systems thinking"
, Article 51st Annual Meeting of the International Society for the Systems Sciences, ISSS 2007, Tokyo, 5 August 2007 through 10 August 2007 ; 2007 , Pages 593-611 ; 9781605600437 (ISBN) ; Fakhar Izadi, E ; Moteabbed, S ; Sharif University of Technology
2007
Abstract
There is a unanimous agreement that "systems thinking" helps both individuals and organizations make more intelligent and more effective decisions. On the other hand, the unsatisfactory rate of systems thinking evolution among managers, collegians, students and other stratums raises this question that, why such a useful, discriminating and tasteful concept in theory, does not spread with the desirable pace in practice. Where exactly does the problem originate from? The tragedy is more sensible when noting the fact that even those who know the concept methodically do not apply it in action and in their decisions. Unfortunately, despite relatively numerous literatures on changing beliefs,...
Pressure effects on electroosmotic flow of power-law fluids in rectangular microchannels
, Article Theoretical and Computational Fluid Dynamics ; Vol. 28, issue. 4 , 2014 , pp. 409-426 ; ISSN: 09354964 ; Sadeghi, A ; Saidi, M. H ; Sharif University of Technology
2014
Abstract
In this paper, the fully developed electroosmotic flow of power-law fluids in rectangular microchannels in the presence of pressure gradient is analyzed. The electrical potential and momentum equations are numerically solved through a finite difference procedure for a non-uniform grid. A complete parametric study reveals that the pressure effects are more pronounced at higher values of the channel aspect ratio and smaller values of the flow behavior index. The Poiseuille number is found to be an increasing function of the channel aspect ratio for pressure assisted flow and a decreasing function of this parameter for pressure opposed flow. It is also observed that the Poiseuille number is...
Thermal transport characteristics pertinent to electrokinetic flow of power-law fluids in rectangular microchannels
, Article International Journal of Thermal Sciences ; Vol. 79, issue , 2014 , p. 76-89 ; Saidi, M. H ; Sadeghi, A ; Sharif University of Technology
2014
Abstract
In the present study, the thermal characteristics of electroosmotic flow of power-law fluids in rectangular microchannels in the presence of pressure gradient are investigated. The governing equations for fully developed flow under H1 thermal boundary conditions are first made dimensionless and subsequently solved through a finite difference procedure for a non-uniform grid. The influence of the major parameters on thermal features of the flow such as the temperature distribution and Nusselt number is discussed by a complete parametric study. The results reveal that the channel aspect ratio and the non-Newtonian characteristic of the fluid can affect the thermal behavior of the flow. It is...