Generative Software Development through Emergence-based Transformation

, M.Sc. Thesis Sharif University of Technology Mostafazadeh, Mahdi (Author) ; Ramsin, Raman (Supervisor)

Abstract

Due to the ever-increasing demand for larger and more complex software systems, generative software development has become an attractive alternative to traditional approaches. Generative software development is in fact a transition from one complexity space to another; the higher the ratio of the complexity of the destination space is to the complexity of the source space, the more ideal the level of generation will be. In the ideal case, generative software development becomes equivalent to fully-automated software development. Despite widespread research on generative software development approaches–such as Model-Driven approaches, Software Product-Lines, Generative Patterns, and...

Development of an Analytical Code for Simulation and Design of Spiral Wound Heat Exchanger in Cryogenic Applications

, Ph.D. Dissertation Sharif University of Technology Mostafazadeh Abolmaali, Ali (Author) ; Afshin, Hossein (Supervisor)

Abstract

This research aims to develop a numerical tool for design and performance evaluation of spiral wound heat exchanger (SWHE) in the cryogenic temperature range. This type of heat exchangers are used in gas liquefaction cycles due to their compact structure and ability to achieve high effectiveness values. High sensitivity of liquefaction cycles yield to heat exchanger effectiveness, effect of some physical phenomena in cryogenic temperature range, and complicated shell-side flow structure of SWHEs, turns the design and performance evaluation of cryogenic SWHEs into a challenging issue. Consequently, first of all, the geometrical parameters of SWHE were introduced and made dimensionless. In...

Formal verification of temporal questions in the context of query-answering text summarization

, Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 28 May 2012 through 30 May 2012 ; Volume 7310 LNAI , May , 2012 , Pages 350-355 ; 03029743 (ISSN) ; 9783642303524 (ISBN) Mostafazadeh, N ; Bakhshandeh Babarsad, O ; Ghassem Sani, G ; Sharif University of Technology

2012

Abstract

This paper presents a novel method for answering complex temporal ordering questions in the context of an event and query-based text summarization. This task is accomplished by precisely mapping the problem of "query-based summarization of temporal ordering questions" in the field of Natural Language Processing to "verifying a finite state model against a temporal formula" in the realm of Model Checking. This mapping requires specific definitions, structures, and procedures. The output of this new approach is promisingly a readable and informative summary satisfying the user's needs

A meta user interface for understandable and predictable interaction in AAL

, Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2 August 2015 through 7 August 2015 ; Volume 9194 , July , 2015 , Pages 456-464 ; 03029743 (ISSN) ; 9783319209128 (ISBN) Mostafazadeh, A ; Nazari Shirehjin, A. A ; Daraei, S ; Sharif University of Technology

Springer Verlag 2015

Abstract

The aim of this paper is the design and development of a novel user interface to interact with a meta system. Our focus is rather on interacting with Ambient Intelligence as a whole, which would for example enable users to influence the overall behavior and attributes of dynamic device compositions. We call such interfaces Meta User Interfaces. The design details of a proposed user interface as well as a cognitive walkthrough evaluation are presented in this paper

Towards interacting with smarter systems

, Article Journal of Ambient Intelligence and Humanized Computing ; Volume 9, Issue 1 , February , 2018 , Pages 187-209 ; 18685137 (ISSN) Mostafazadeh Davani, A ; Nazari Shirehjini, A. A ; Daraei, S ; Sharif University of Technology

Springer Verlag 2018

Abstract

The aim of this article is the requirement analysis, design, proof-of-concept implementation and user evaluation of a novel user interface that is specifically developed to support interaction with ambient intelligence systems. The focus of the user interface is rather on interacting with ambient intelligence, a meta system that comes into existence as the result of the coherent behavior and collective intelligence of interconnected smart devices and systems of a domain such as meeting rooms or smart homes. To design the user interface, we conducted an empirical user and task analysis and elaborated requirements, defining the scope of human interaction with ambient intelligence. The captured...

Medical waste management during coronavirus disease 2019 (COVID-19) outbreak: A mathematical programming model

, Article Computers and Industrial Engineering ; Volume 162 , December , 2021 ; 03608352 (ISSN) Govindan, K ; Khalili Nasr, A ; Mostafazadeh, P ; Mina, H ; Sharif University of Technology

Elsevier Ltd 2021

Abstract

Municipal solid waste (MSW) directly impacts community health and environmental degradation; therefore, the management of MSW is crucial. Medical waste is a specific type of MSW which is generally divided into two categories: infectious and non-infectious. Wastes generated by coronavirus disease 2019 (COVID-19) are classified among infectious medical wastes; moreover, these wastes are hazardous because they threaten the environment and living organisms if they are not appropriately managed. This paper develops a bi-objective mixed-integer linear programming model for medical waste management during the COVID-19 outbreak. The proposed model minimizes the total costs and risks, simultaneously,...

Investigating the Necessity and Conditions of Implementing the Virtual Design and Construction Method (VDC); and Proposing a Process to Apply the Method in the Design and Construction Projects in Iran

, M.Sc. Thesis Sharif University of Technology Mostafazadeh Davani, Sahand (Author) ; Mortaheb, Mohammad Mehdi (Supervisor)

Abstract

By using the information and communication technology (ICT) in the past three decades, many industries have been able to improve their productivity to a great extent. However, the construction industry is not experiencing such growth in productivity. Many believe that one of the most important reasons for this problem is the ineffectual use of ICT in the construction industry. To solve this problem, several construction methods have been developed in order to increase the productivity of the construction industry by using the aspects of the ICT. One of the most promising methods in this area is the Virtual Design and Construction (VDC) method.
Virtual Design and Construction (VDC) is the...

Pazesh: A graph-based approach to increase readability of automatic text summaries

, Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 25 May 2011 through 27 May 2011, St. John's, NL ; Volume 6657 LNAI , 2011 , Pages 313-318 ; 03029743 (ISSN) ; 9783642210426 (ISBN) Mostafazadeh, N ; Mirroshandel, S. A ; Ghassem-Sani, G ; Bakhshandeh Babarsad, O ; Sharif University of Technology

2011

Abstract

Today, research on automatic text summarization challenges on readability factor as one of the most important aspects of summarizers' performance. In this paper, we present Pazesh: a language-independent graph-based approach for increasing the readability of summaries while preserving the most important content. Pazesh accomplishes this task by constructing a special path of salient sentences which passes through topic centroid sentences. The results show that Pazesh compares approvingly with previously published results on benchmark datasets

A meta user interface for interaction with mixed reality environments

, Article 2015 IEEE International Symposium on Haptic, Audio and Visual Environments and Games, HAVE 2015 - Proceedings, 11 October 2015 ; October , 2015 , Page(s): 1 - 6 ; 9781467391757 (ISBN) Mostafazadeh, A ; Shirehjini, A. A. N ; Daraei, S ; Khojasteh, N ; Shirmohammadi, S ; Sharif University of Technology

Institute of Electrical and Electronics Engineers Inc 2015

Abstract

The aim of this paper is the design and development of a novel user interface to interact with a meta system. Our focus is rather on interacting with Ambient Intelligence as a whole, which would for example enable users to influence the overall behaviors and attributes of dynamic device compositions. We call such interfaces Meta User Interfaces. The design details of a proposed user interface as well as a cognitive walkthrough evaluation are presented in this paper

Design and Usability Evaluation of a Meta User Interface to Support Interaction with Ambient Intelligence

, M.Sc. Thesis Sharif University of Technology Mostafazadeh Davani, Aida (Author) ; Nazari Shirehjini, Ali Asghar (Supervisor)

Abstract

The aim of this thesis is the requirements analysis, design, proof-of-concept implementation and user evaluation of a novel user interface that is specifcally developed to support interaction with ambient intelligence systems. The focus of the user interface is rather on interacting with ambient intelligence, a meta system that comes into existence as the result of the coherent behavior and collective intelligence of interconnected smart devices and systems of a domain such as meeting rooms or smart homes.To design the user interface, we conducted an empirical user and task analysis and elaborated requirements, defning the scope of human interaction with ambient intelligence. The captured...

Introducing a Heuristic Approach to Solve Euclidean Traveling Salesman Problem and Evaluating the Accuracy

, M.Sc. Thesis Sharif University of Technology Mostafazadeh Davani, Yalda (Author) ; Mahlouji, Hashem (Supervisor) ; Qasemi Tari, Farhad (Co-Supervisor)

Abstract

The traveling salesman problem consists of a salesman and a set of cities in which the salesman has to visit each one of the cities only once, starting from an arbitrary city and returning to the same city. The challenge of the problem is that to find a trip to minimize the total length of the tour.The Travelling Salesman problem is a well-known and important combinatorial optimization problem. Despite this simple problem statement, solving the TSP is difficult since it belongs to the class of NP-complete problems. Due to its computational complexity, recent researches suggest that meta-heuristic approaches can be the best solution approach for the general form of this problem.This thesis...

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

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

Using Complex Network Metrics for Evaluating the Influence of Conference and Journal Papers in Computer Science

, M.Sc. Thesis Sharif University of Technology Habibi, Fatemeh (Author) ; 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 Golnari, Amene (Author) ; 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 Seraj, Mostafa (Author) ; 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 Pedrood, Bahman (Author) ; 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 Aghighi, Meysam (Author) ; 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 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...