Loading...
Search for: niamanesh--mahdi
0.15 seconds

    Toward A Safe, Assured, and Dynamic Communication Protocol Stack

    , Ph.D. Dissertation Sharif University of Technology Niamanesh, Mahdi (Author) ; Jalili, Rasool (Supervisor)

    DRAPS: a framework for dynamic reconfigurable protocol stacks

    , Article Journal of Information Science and Engineering ; Volume 25, Issue 3 , 2009 , Pages 827-841 ; 10162364 (ISSN) Niamanesh, M ; Jalili, R ; Sharif University of Technology
    2009
    Abstract
    Forthcoming networked systems require mechanisms for on-the-fiy reconfiguration in their protocol stacks to be able to operate in different situations and networks. Since every protocol in a protocol stack has at least one peer protocol in another system, dynamic reconfiguration of a protocol raises the need for reconfiguration in the peer stack. For an assured dynamic (run-time) reconfiguration, executions of two peer protocols are stopped in a safe state, new protocols are initialized, and stacks switch to the new protocols at the same time. This paper proposes a software framework for dynamic reconfiguration of two communicating protocol stacks. A distributed algorithm is implemented in... 

    A dynamic-reconfigurable architecture for protocol stacks of networked systems

    , Article 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, 24 July 2007 through 27 July 2007 ; Volume 1 , 2007 , Pages 609-612 ; 07303157 (ISSN) ; 9780769528700 (ISBN) Niamanesh, M ; Jalili, R ; Sharif University of Technology
    2007
    Abstract
    This paper proposes a software framework for dynamic-reconfigurable protocol stack. The framework presents mechanisms andan algorithm/or all required phases for reconfiguration of a running protocol component that include freezing the component in a safe state, changing the component, and state transfer to a new component. Considering that every running protocol component communicates with at least one peer component in another system, we perform the reconfiguration with respect to the peer component. © 2007 IEEE  

    A formalism for recongurability analysis in distributed non-blocking components

    , Article 28th International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2008, Beijing, 17 June 2008 through 20 June 2008 ; 2008 , Pages 453-458 ; 9780769531731 (ISBN) Niamanesh, M ; Jalili, R ; Sharif University of Technology
    2008
    Abstract
    Reconfigurability for a component of a distributed component-based system means ability to replace the component with a new one, in presence of the other components. In this context, substitutability and compatibility of components should be analyzed. In this paper, we use I/O-Constraint Automata to model behavior of components and propose enough formalism for substitutability and compatibility analysis. We show that in the context of distributed non-blocking components, there is a relation weaker than usual simulation relation in automata theory for notion of substitutability. We illustrate the relation between substitutability and compatibility to reason about the reconfigurability of a... 

    Formalizing compatibility and substitutability in communication protocols using I/O-constraint automata

    , Article 2nd IPM International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, 17 April 2007 through 19 April 2007 ; Volume 4767 LNCS , 2007 , Pages 49-64 ; 03029743 (ISSN); 9783540756972 (ISBN) Niamanesh, M ; Jalili, R ; Sharif University of Technology
    Springer Verlag  2007
    Abstract
    A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due to the need for on-the-fly reconfiguration of protocol stack in future communication and computation devices, formalizing substitutability and compatibility of protocol entities are important in correctness assessment of dynamic reconfiguration. In this paper, we extend Constraint Automata and propose I/O-Constraint Automata to model behavior of protocols and propose enough formalism for substitutability and compatibility relations between protocols. We introduce input-blocking property of communication protocols, and show... 

    Combined effect of cooling slope angle and mould vibration on semisolid microstructures of wrought aluminium alloy 7075

    , Article International Journal of Cast Metals Research ; Volume 20, Issue 4 , July , 2007 , Pages 221-227 ; 13640461 (ISSN) Movahedi, M ; Karimi Taheri, A ; Niamanesh, H ; Sharif University of Technology
    2007
    Abstract
    Semisolid casting and forming have attracted growing attention of both research and industry. A suitable semisolid microstructure consists of globular grains in a matrix of lower melting point phase and may be produced by various methods, including the cooling slope technique. The combined effect of cooling slope angle and mould vibration on the semisolid microstructures of AI7075 is reported. The results indicate that mould vibration decreases average grain size significantly and that the effect increases with increasing size of primary crystals entering the mould through the cooling slope. Mould vibration was also found to improve the shape factor of alloy grains after appropriate... 

    A model to support context-aware service migration in pervasive computing environments

    , Article 9th World Multi-Conference on Systemics, Cybernetics and Informatics, WMSCI 2005, Orlando, FL, 10 July 2005 through 13 July 2005 ; Volume 3 , 2005 , Pages 394-399 ; 9806560558 (ISBN); 9789806560550 (ISBN) Hemmati, H ; Ranjbar, A ; Niamanesh, M ; Jalili, R ; Sharif University of Technology
    2005
    Abstract
    Continuous improvement and extension of pervasive computing environments, in which objects have high mobility and limited computing power, implies service migration to be considered as one of the main issues. On the other hand, context-awareness which is the most distinguishable feature of pervasive computing helps better serving of users. Accordingly, migration in the presence of context-awareness is considered as the underlying of our motivation. This improves the performance of migration, which is not easily achievable through traditional migration techniques. In this paper we introduce a model to support context-aware migration besides its migration process phases and framework. Our... 

    Design and implementation of a dynamic-reconfigurable architecture for protocol stack

    , Article 2nd IPM International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, 17 April 2007 through 19 April 2007 ; Volume 4767 LNCS , 2007 , Pages 396-403 ; 03029743 (ISSN); 9783540756972 (ISBN) Niamanesh, M ; Sabetghadam, S ; Rahaghi, R. Y ; Jalili, R ; Sharif University of Technology
    Springer Verlag  2007
    Abstract
    Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. This paper proposes a component-based framework for dynamic-reconfigurable protocol stack. Considering that every running protocol component communicates with at least one peer component, unlike related work our framework supports synchronous reconfiguration of two peer protocol components in two communicating protocol stacks. © Springer-Verlag Berlin Heidelberg 2007  

    On validity assurance of dynamic reconfiguration for component-based programs

    , Article Electronic Notes in Theoretical Computer Science ; Volume 159, Issue 1 , 2006 , Pages 227-239 ; 15710661 (ISSN) Niamanesh, M ; Fekrazad Nobakht, N ; Jalili, R ; Heydarian Dehkordi, F ; Sharif University of Technology
    2006
    Abstract
    Growing the need for long-life and high-available programs, dynamic reconfiguration is going to be an important research issue. Dynamic reconfiguration enables the software systems to change at runtime to decrease their down-time in case of any updating, upgrading or in any changes. Any invalid reconfiguration at runtime may lead programs into invalid states. In this paper, we investigate on validity of dynamic reconfiguration for component-based programs and propose validity conditions for it. We show that the problem of validity assurance in general is undecidable and there is no general-purpose algorithm to verify dynamic reconfiguration validity. To have a computable algorithm for... 

    MBBR and MBR Reactor Configuration for Better Performance

    , M.Sc. Thesis Sharif University of Technology (Author) ; Borgheei, Mahdi (Supervisor)
    Abstract
    Membrane bioreactors (MBRs) which are commonly understood as the combination of membrane filtration and biological treatment using activated sludge have several advantages, but membrane fouling reduces the membrane efficiency, permeability and lifetime. An alternative is replacing a moving bed biofilm reactor (MBBR) with the activated sludge system which may reduce the effect of membrane fouling. The sludge produced in MBBRs has poor settling characteristics, therefore, their efficiency is limited by the sedimentation tank performance and they require a larger settling surface. The combination of moving bed biofilm reactors and membrane bioreactors can compensate for the drawbacks of both of... 

    Forecasting the effects of a Canada-US currency union on output and prices: A counterfactual analysis

    , Article Journal of Forecasting ; Volume 32, Issue 7 , 2013 , Pages 639-653 ; 02776693 (ISSN) Mahdi Barakchian, S ; Sharif University of Technology
    2013
    Abstract
    This paper is a counterfactual analysis investigating the consequences of the formation of a currency union for Canada and the USA: whether outputs increase and prices decrease if these countries form a currency union. We use a two-country cointegrated model to conduct the counterfactual analysis, where the conditional forecasts are generated based on the Gaussian assumption. To deal with structural breaks and model uncertainty, conditional forecasts are generated from different models/estimation windows and the model-averaging technique is used to combine the forecasts. We also examine the robustness of our results to parameter uncertainty using the wild bootstrap method. The results show... 

    What is it to be Physical?

    , M.Sc. Thesis Sharif University of Technology Borgheai, Bahram (Author) ; Golshani, Mahdi (Supervisor)
    Abstract
    In this text to find the answer of the question “ what is it to be physical” in a definition form or a scheme of the term physical, firstly we sought for a possible consensus among recent physicists and philosophers. But from their answers not only we did not find any clear consensus but also most of them confess that the term is ambiguous and unclear. In a general aspect, we can categorize the answers to two theoretical and realistic perspective. The theoretical perspective, beside circularity and Hempel’s triviality, seems not to present any criteria for being physical. In realistic perspective, it seems that there is no ontologic constraint for being physical, that is from “being... 

    Biomass Separation in Moving Bed Biofilm Reactors (MBBR) by Natural And Innovative Filters

    , M.Sc. Thesis Sharif University of Technology Ashrafi, Elham (Author) ; Borgheei, Mahdi (Supervisor)
    Abstract
    The application of membranes for separate of particles in mainly microbial flacs , are fast growing in biological treatment systems. Membrane bioreactors are now considered as one of the major new processes in wastewater treatment. However , membranes are expensive and costly. This study is carried out to test an innovative , locally made filters for separation of flocs in an MBBR reactor. This innovative filter is replacing a traditional settling tank. This type of filters is made very cheaply and has important advantages in installing and operation. Experiments were carried out in a laboratory scale MBBR unit. A filter unit consisting of 3 innovative filter tubes were placed and the... 

    Dynamic Security Assessment in Restructured Power Systems

    , Ph.D. Dissertation Sharif University of Technology Kheradmandi, Morteza (Author) ; Ehsan, Mahdi (Supervisor)
    Abstract
    This thesis addresses the problem of dynamic security assessment in power sys-tems with an emphasis on its application in restructured power systems and issues arising in its applications. The new electric utility environment has an immedi-ate consequence of emphasis on reliability and secure operation of power systems. This requires faster and more precise methods to assess the dynamic aspect of se-curity. On the other hand, this issue is becoming challenging when the determined dispatch might not be accommodated due to violation of the limits.This thesis addresses the problem of dynamic security assessment in power sys-tems with an emphasis on its application in restructured power systems... 

    A Study on the Impact of the “Commodities’ Returns"on the Related “Firms’ Stock Returns” in Tehran Stock Exchange

    , M.Sc. Thesis Sharif University of Technology Bigham, Mostafa (Author) ; Barakchian, Mahdi (Supervisor)
    Abstract
    Are the returns of the mineral companies in Tehran Stock Exchange affected by the changes in the commodity price at the Iran Mercantile Exchange? By implementing a Multi-Factor Model we will calculate the firms’ value elasticity to the commodity price changes. We try to explain the estimated elasticities on the basis of the firm’s fundamental variables using a discounted cash flow valuation model. An unbalanced panel data estimation is employed for this purpose. Afterwards, we will suggest a novel model on the ground of the assumption that the commodity prices and firm values follow the Geometric Brownian Motion. The result of the model is that the elasticity can be explained by commodity... 

    Analytical and Finite Element Modeling of Rubbing Phenomena in Rotors

    , M.Sc. Thesis Sharif University of Technology Alvandi, Mahdi (Author) ; Behzad, Mahdi (Supervisor)
    Abstract
    Rotor contact with a stationary element of a rotating machine and the subsequent rubbing at the contact area is a serious malfunction that may lead to the machine’s catastrophic failure. In the past decades, many studies have been done on the rubbing phenomena, its different regimes and its various consequences on the machine performance and safety. However, most of them have used a simple model to investigate the rubbing interaction between the rotor and the stator. This simple model consists of the Jeffcott rotor, as a model for the real rotors, and a rigid annular block surrounding the rotor, as a model for the real stators. The objective of this thesis is to build an algorithm to... 

    Failure Tolerance of Epidemic Spreading in Complex Network

    , M.Sc. Thesis Sharif University of Technology Mirzasoleiman, Baharan (Author) ; Jalili, Mahdi (Supervisor)
    Abstract
    Complex networks serve as generic models for many social, technological and biological systems that have been shown to share a number of common structural properties such as power-law degree distribution and small-worldness. These networks determine interactions and influence the spread of diseases, behaviours and ideas. Epidemics and failures like new behaviours ideas and innovations can spread throughout a network and prevent it from doing its functionalities. In this work, we investigate error and attack tolerance of epidemic spreading in complex networks. The main content of this thesis is arranged in three sections as follows: Firstly, the effect of random and systematic failures is... 

    Evaluation of Non-linear Combination Method (Neural Network) For Value-at-Risk Forecasting in Market

    , M.Sc. Thesis Sharif University of Technology Rashnavadi, Leila (Author) ; Barakchian, Mahdi (Supervisor)
    Abstract
    Value at risk of an asset, is the asset’s expected maximum loss for a certain period of time and at a specified confidence level. Value-at-Risk can be calculated in the bank with its inter-nal method or standardized method. when a method have more violation number then bank need to keep more daily capital requirements. under the Basel 2 agreement if the violation of method more than 10 times in year, the Bank uses the standardized method.
    There are trade off Between daily capital charge and violations. Therefore, existing methods for calculating the value at risk, usually lead to much daily capital charge or many violations. Studies show with combination of different methods to calculate... 

    Differences Between Standard Quantum Mechanics and Bohm's Quantum Mechanics

    , M.Sc. Thesis Sharif University of Technology Asayesh, Omid (Author) ; Golshani, Mahdi (Supervisor)
    Abstract
    The purpose of introducing this thesis is to review the difference between Standard Quantum mechanics and Bohmian Quantum mechanics. The aim of this dissertation is not only to contrast these theories with respect to formulation, but also to briefly review their historical, philosophical and sociological aspects. This dissertation consists of two main sections. The first section is about reviewing the emergence profile of these theories and the formation of each theory along its historical path. In addition some beliefs about the founders of these theories and the impact of their beliefs on the evolution of their theories are put forward. As a complement to the above, the prevailing social... 

    Evaluation of Caviar Models Incorporated with Intraday Information ,the Case Study:Estimation Value at Risk of Gold

    , M.Sc. Thesis Sharif University of Technology Karimi, Parvane (Author) ; Barakchian, Mahdi (Supervisor)
    Abstract
    Value at risk (VaR) is the maximum loss of the asset portfolio at the specified confidence level and certain time horizon. This tool is used to measure market risk and also used as a basis in determining financial standards for international financial instituation. Conditional Autoregressive Value at Risk models or CAViaR models introduced by Engle and Manganelli (2004). This models calculate VaR base on quantile regession approach and show some promising performance properties.
    In order to propose a more accurate model for calcutating VaR , we develop CAViaR models by incorporating them with intraday information then we calculate VaR with this kind of models and CAViaR...