Loading...
Search for:
niamanesh--mahdi
0.112 seconds
Total 391 records
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) ; 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) ; 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) ; 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) ; 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...
Toward A Safe, Assured, and Dynamic Communication Protocol Stack
, Ph.D. Dissertation Sharif University of Technology ; Jalili, Rasool (Supervisor)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) ; 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) ; 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) ; 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) ; 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 ; 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) ; 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...
Evaluation of Non-linear Combination Method (Neural Network) For Value-at-Risk Forecasting in Market
, M.Sc. Thesis Sharif University of Technology ; 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...
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...
Using Complex Network Metrics for Evaluating the Influence of Conference and Journal Papers in Computer Science
,
M.Sc. Thesis
Sharif University of Technology
;
Jalili, Mahdi
(Supervisor)
Abstract
Journals and conferences in computer science are the major venue for publishing new achievement in the field. It is an expert opinion that a number of top conferences in computer science are even more important than journals. In this work we aim at studying this in terms of citation analysis. To this end, we took 100 top journals and 63 top conferences and extracted their citation graph through Scopus dataset. We then constructed the citation graph in which the nodes were the journals and conferences and the links corresponded to the citations of the papers. We used various measures to rank the nodes in the graph. The ranking methods included Prestige, PageRank, Eigenfactor, HITS and SALSA....
Design and Implementation of a VLSI Architecture for Time and Frequency Synchronization in the LTE
, M.Sc. Thesis Sharif University of Technology ; Shabany, Mahdi (Supervisor)
Abstract
The long term evolution (LTE) standard is introduced and developed by the 3rd generation partnership project (3GPP) based on orthogonal frequency division multiplexing (OFDM). OFDM systems, in spite of having many advantages such high performance in bandwidth usage, are very sensitive to inter carrier interference (ICI) as a drawback. In order to prevent ICI, the frequency offset, mainly caused by the miss-match between oscillators' frequency and also between the sampling frequency of the transmitter and the receiver, should be estimated and compensated. Frequency synchronization is a part of the tasks of a synchronizer. In this thesis, main tasks of a synchronizer are illustrated and...
A New Approach in Value-at-Risk (VaR) Estimation by Forecast Combination Methods
, M.Sc. Thesis Sharif University of Technology ; Barakchian, Mahdi (Supervisor)
Abstract
Value-at-Risk (VaR) is the most commontool for risk management. This tool is used to measure market risk and also used as a basis in determining financial standards for international financial institutions. VaR is the maximum loss of the asset portfolio at the specified confidence level and certain time horizon. Many parametric, nonparametric and semi parametric methods have been invented for VaR estimation. Each one of these methods has its advantages and disadvantages and different methods may perform better in differnet situations.When estimating VaR, we can choose one of these methods or we can combine the VaRs estimated by different methods. There are few researches conducted on VaR...
EEG Brain Functional Network Analysis in Cortex Level
, M.Sc. Thesis Sharif University of Technology ; Jalili, Mahdi (Supervisor)
Abstract
Complex networks science have received tremendous attention in recent years and the brain is one of the systems to which graph theoretical tools have been applied. Alzheimer’s disease (AD) is a neurodegenerative disease affecting many of elderly population. AD changes the anatomy of the brain, which subsequently results in changes in its functions. These changes have been frequently reported in signals recorded from the brain (such as MEG, fMRI and EEG). Among these neuroimaging techniques EEG is one of the most aproprate methods for extracting functional connectivites according to high temporal resolution. In this thesis, we aimed at analyzing the properties of EEG-based functional networks...
Learning Improvement in Phase Oscillator Models
, M.Sc. Thesis Sharif University of Technology ; Jalili, Mahdi (Supervisor)
Abstract
In the recent years, the problem of modeling a cognitive task using phase oscillators has been receiving a significant attention. In this view, single neurons are no longer elementary computational units. Rather, coherent oscillating groups of neurons are seen as nodes of networks performing cognitive tasks. From this assumption, we develop a model of stimulus-response learning and recognition. The most significant part of our work is defining learning methods for natural frequencies and coupling weights in a coupled phase oscillator network under Kuramoto conditions. In this thesis, we improved the previous models by not only emphasizing on the frequency of the oscillators but also taking...
Evaluation of Caviar Models Incorporated with Intraday Information ,the Case Study:Estimation Value at Risk of Gold
, M.Sc. Thesis Sharif University of Technology ; 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...
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...
Design and Implementation of a Spectrum Sensor for Cognitive Radio
, M.Sc. Thesis Sharif University of Technology ; Shabani, Mahdi (Supervisor)
Abstract
Frequency scarcity has emerged the necessity of opportunistic utilization of frequency bands, which can be realized through a cognitive radio system. During an agile communication between unlicensed users, a cognitive radio system must avoid collision with licensed users. Hence it should continuously observe the band of interest and report the presence of licensed user signals. This task is fulfilled by a vital part of a cognitive radio system, called the spectrum sensing core. Recently several techniques have been proposed for the spectrum sensing in literature. Some of them like matched filtering, cyclostationarity based detection are based on primary user signal features. However energy...
VLSI Architecture of Turbo Decoder for LTE
, M.Sc. Thesis Sharif University of Technology ; Shabany, Mahdi (Supervisor)
Abstract
Long Term Evolution (LTE) aims the peak data rates in excess of 300 Mb/s, which may appear to be challenging to achieve due to the existence of some blocks such as the turbo decoder. One efficient approach to achieve this throughput is by parallelizing the Log Maximum a Posteriori (MAP) algorithm in the turbo decoder. In fact, the interleaver is known to be a major challenging part of the turbo decoder due to its need to the parallel interleaved memory access. LTE uses Quadratic Permutation Polynomial (QPP) interleaver, which makes it suitable for the parallel decoding. In this thesis, first, we propose an efficient architecture for the QPP interleaver, called the Add-Compare-Select (ACS)...