Search for: problem-solving
0.016 seconds
Total 398 records

    Has "The Work and Technology Course" in the Elementary School and Guidance School Paid Enough Attention to Improve Technological Thinking?

    , M.Sc. Thesis Sharif University of Technology Nafari, Hossein (Author) ; Taghavi, Mostafa (Supervisor)
    It has been five years since the new education system was started, according to which fundamental changes have been applied to school text books. The mentioned changes in the text books are based on “the fundamental transformation document” and “Iran’s national educational curriculum”. In “Iran’s national educational curriculum”, eleven fields concerning pedagogy and learning are explicitly mentioned; one of these eleven fields is “training and learning work and technology”. One of the merits which has been stressed in this field, is “technological thinking”. Nowadays, methods of extending and reinforcing the technological thinking have come to be the subject of investigations in many... 

    The Role of Proof and Reasoning in Solving Real-Life Math Problems

    , M.Sc. Thesis Sharif University of Technology Alipanah, Somayeh (Author) ; Zohuri-Zangeneh, Bijan (Supervisor) ; Gooya, Zahra (Supervisor)
    The purpose of the present study was to investigate the Grade 9 students' ability to solve real-life and modelling problems, focusing on proof and reasoning. The study conducted using qualitative method in which, six volunteer students participated. The data collected via eight problems mostly chosen from Chapter 3 of the 9th grade mathematics textbook and using Adobe Connect Platform, because of Covid-19 Pandemic and schools clousure. The data were analyzed using a problem solving framework developed by Mason, Burton and Stacey (2010) including three stages of entry, attack and review. The results showed that considering these three steps, is effective to understand students' problem... 

    Sparse component analysis in presence of noise using an iterative EM-MAP algorithm

    , Article 7th International Conference on Independent Component Analysis (ICA) and Source Separation, ICA 2007, London, 9 September 2007 through 12 September 2007 ; Volume 4666 LNCS , 2007 , Pages 438-445 ; 03029743 (ISSN); 9783540744931 (ISBN) Zayyani, H ; Babaie Zadeh, M ; Mohimani, G. H ; Jutten, C ; Sharif University of Technology
    Springer Verlag  2007
    In this paper, a new algorithm for source recovery in under-determined Sparse Component Analysis (SCA) or atomic decomposition on over-complete dictionaries is presented in the noisy case. The algorithm is essentially a method for obtaining sufficiently sparse solutions of under-determined systems of linear equations with additive Gaussian noise. The method is based on iterative Expectation-Maximization of a Maximum A Posteriori estimation of sources (EM-MAP) and a new steepest-descent method is introduced for the optimization in the Mstep. The solution obtained by the proposed algorithm is compared to the minimum ℓ1-norm solution achieved by Linear Programming (LP). It is experimentally... 

    Multi-criteria decision making for integrated urban water management

    , Article Water Resources Management ; Volume 22, Issue 8 , 2008 , Pages 1017-1029 ; 09204741 (ISSN) Zarghami, M ; Abrishamchi, A ; Ardakanian, R ; Sharif University of Technology
    The city of Zahedan, in South-eastern Iran, has high population growth, limited local freshwater resources and inadequate water distribution system resulting in water supply failures in recent years. This paper will investigate integration of several demand management measures such as leakage detection on water distribution network, water metering and low volume water fixtures as well as the conjunctive use of surface and groundwater resources of this city. For integration of water management criteria, compromise programming will be used as a multi-objective decision making method. The criteria include minimizing the cost, maximizing water supply and minimizing the social hazards due to the... 

    A fuzzy-stochastic OWA model for robust multi-criteria decision making

    , Article Fuzzy Optimization and Decision Making ; Volume 7, Issue 1 , 2008 , Pages 1-15 ; 15684539 (ISSN) Zarghami, M ; Szidarovszky, F ; Ardakanian, R ; Sharif University of Technology
    All realistic Multi-Criteria Decision Making (MCDM) problems face various kinds of uncertainty. Since the evaluations of alternatives with respect to the criteria are uncertain they will be assumed to have stochastic nature. To obtain the uncertain optimism degree of the decision maker fuzzy linguistic quantifiers will be used. Then a new approach for fuzzy-stochastic modeling of MCDM problems will be introduced by merging the stochastic and fuzzy approaches into the OWA operator. The results of the new approach, entitled FSOWA, give the expected value and the variance of the combined goodness measure for each alternative. Robust decision depends on the combined goodness measures of... 

    Efficient computation of query point visibility in polygons with holes

    , Article 21st Annual Symposium on Computational Geometry, SCG'05, Pisa, 6 June 2005 through 8 June 2005 ; 2005 , Pages 314-320 Zarei, A ; Ghodsi, M ; Sharif University of Technology
    In this paper, we consider the problem of computing the visibility of a query point inside polygons with holes. The goal is to perform this computation efficiently per query with more cost in the preprocessing phase. Our algorithm is based on solutions in [13] and [2] proposed for simple polygons. In our solution, the preprocessing is done in time O(n3 log(n)) to construct a data structure of size O(n3). It is then possible to report the visibility polygon of any query point q in time O((1 + h′) log n + |V(q)|), in which n and h are the number of the vertices and holes of the polygon respectively, |V(q)| is the size of the visibility polygon of q, and h′ is an output and preprocessing... 

    Design of a reliable hub-and-spoke network using an interactive fuzzy goal programming

    , Article IEEE International Conference on Fuzzy Systems, 27 June 2011 through 30 June 2011, Taipei ; 2011 , Pages 2955-2959 ; 10987584 (ISSN) ; 9781424473175 (ISBN) Zarandi, M. H. F ; Davari, S ; Sisakht, A. H ; Sharif University of Technology
    A Hub Location Problem (HLP) deals with finding the locations of hub facilities and assignment of demand nodes to established facilities. Hubs play a central role in many networks such as telecommunication networks and their unavailability may lead to network breakdown or poor service levels. An objective in design of a hub-and-spoke network is maximization of reliability to transfer flows. This paper puts forward design of a reliable single-allocation hub-and-spoke network using an interactive fuzzy goal programming. To model and solve the problem, a fuzzy goal programming approach was developed for design of network in an interactive manner between decision maker and the model. To validate... 

    A practical exact algorithm for the shortest loop design problem in a block layout

    , Article International Journal of Production Research ; Volume 43, Issue 9 , 2005 , Pages 1879-1887 ; 00207543 (ISSN) Zanjirani Farahani, R ; Laporte, G ; Sharifyazdi, M ; Sharif University of Technology
    The problem of determining a shortest loop incident to each cell of a block layout is considered. A compact formulation is developed for this problem and a relatively simple algorithm is presented. It is shown that instances containing up to 60 cells can be solved optimally by using a commercial integer linear programming solver embedded within an iterative scheme. © 2005 Taylor & Francis Group Ltd  

    Path-differentiated pricing in congestion mitigation

    , Article Transportation Research Part B: Methodological ; Volume 80 , October , 2015 , Pages 202-219 ; 01912615 (ISSN) Zangui, M ; Aashtiani, H. Z ; Lawphongpanich, S ; Yin, Y ; Sharif University of Technology
    Elsevier Ltd  2015
    Instead of charging tolls on individual links, this paper considers doing the same on paths. Path and link tolls are "valid" if they encourage motorists to use routes that collectively lead to a target distribution, e.g., one that minimizes travel delay. Because the numbers of valid link and path tolls are typically infinite, an objective in pricing tolls is to find a set of valid tolls that yields the least revenue to lessen the financial burden on motorists.Path tolls are generally more flexible than link tolls and this paper shows that this flexibility can substantially reduce the financial burden on motorists. Additionally, valid path tolls yielding the least revenue possess... 

    Disease diagnosis with a hybrid method SVR using NSGA-II

    , Article Neurocomputing ; Vol. 136 , 2014 , pp. 14-29 Zangooei, M. H ; Habibi, J ; Alizadehsani, R ; Sharif University of Technology
    Early diagnosis of any disease at a lower cost is preferable. Automatic medical diagnosis classification tools reduce financial burden on health care systems. In medical diagnosis, patterns consist of observable symptoms and the results of diagnostic tests, which have various associated costs and risks. In this paper, we have experimented and suggested an automated pattern classification method for classifying four diseases into two classes. In the literature on machine learning or data mining, regression and classification problems are typically viewed as two distinct problems differentiated by continuous or categorical dependent variables. There are endeavors to use regression methods to... 

    Similarity measures for intersection of camera view frustums

    , Article Iranian Conference on Machine Vision and Image Processing, MVIP ; Volume 2017-November , 2018 , Pages 171-175 ; 21666776 (ISSN); 9781538644041 (ISBN) Zamani, Y ; Shirzad, H ; Kasaei, S ; Sharif University of Technology
    IEEE Computer Society  2018
    For a moving camera recognizing that it has seen a place before now, is one the most important issues in the 3D reconstruction problems. In these problems, the main goal is to create a three-dimensional model from a sequence of 2D captured images during different times. That part of the scene which is rendered by a camera is often modeled by a frustum. Calculating the amount of intersection of two camera view frustums at different times can help to solve this problem. However, there are two major difficulties. First, calculating the intersection of two frustums, in general, is so complicated. And second, there are some uncertainties in the moving camera parameters over time. In this paper,... 

    Using description logics for network vulnerability analysis

    , Article International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies, ICN/ICONS/MCL'06, Morne, 23 April 2006 through 29 April 2006 ; Volume 2006 , 2006 ; 0769525520 (ISBN); 9780769525525 (ISBN) Zakeri, R ; Jalili, R ; Abolhassani, H ; Shahriari, H. R ; Sharif University of Technology
    The distributed nature and complexity of computer networks and various services provided via them, makes the networks vulnerable to numerous attacks. The TCP/IP presumptions which are based on using this protocol to provide a simple, open communication infrastructure in an academic and collaborative environment, causes this protocol lack of built-in mechanisms for authentication, integrity and privacy. Even though in the last few years a more systematic approach to TCP/IP network security problem has been followed, a formal approach to this problem is lacking. In this paper, we propose using Description Logics as a formal model which could be used to analyze TCP/IP networks against attacks.... 

    An efficient hybrid genetic algorithm to solve assembly line balancing problem with sequence-dependent setup times

    , Article Computers and Industrial Engineering ; Volume 62, Issue 4 , 2012 , Pages 936-945 ; 03608352 (ISSN) Yolmeh, A ; Kianfar, F ; Sharif University of Technology
    In this paper the setup assembly line balancing and scheduling problem (SUALBSP) is considered. Since this problem is NP-hard, a hybrid genetic algorithm (GA) is proposed to solve the problem. This problem involves assigning the tasks to the stations and scheduling them inside each station. A simple permutation is used to determine the sequence of tasks. To determine the assignment of tasks to stations, the algorithm is hybridized using a dynamic programming procedure. Using dynamic programming, at any time a chromosome can be converted to an optimal solution (subject to the chromosome sequence). Since population diversity is very important to prevent from being trapped in local optimum... 

    An outer approximation method for an integration of supply chain network designing and assembly line balancing under uncertainty

    , Article Computers and Industrial Engineering ; Volume 83 , 2015 , Pages 297-306 ; 03608352 (ISSN) Yolmeh, A ; Salehi, N ; Sharif University of Technology
    Elsevier Ltd  2015
    In this paper a new model is proposed for the integrated problem of supply chain network designing and assembly line balancing under demand uncertainty. In this problem there are three types of entities: manufacturers, assemblers and customers. Manufacturers provide assemblers with components and assemblers use these components to produce the final products and satisfy the demand of the customers. This problem involves determining the location of manufacturers and assemblers in the network, balancing the assembly lines, and transportation of materials and products throughout the network. A mixed integer nonlinear programming formulation based on two stage stochastic programming method is... 

    3D numerical analysis of velocity profiles of PD, EO and combined PD-EO flows through microchannels

    , Article 4th International Conference on Nanochannels, Microchannels and Minichannels, ICNMM2006, Limerick, 19 June 2006 through 21 June 2006 ; Volume 2006 A , 2006 , Pages 209-214 ; 0791847608 (ISBN); 9780791847602 (ISBN) Yazdi, S ; Monazami, R ; Salehi, M. A ; Sharif University of Technology
    American Society of Mechanical Engineers  2006
    In this paper, a three-dimensional numerical model is developed to analyze flow characteristics of pressure driven, electroosmotic and combined pressure driven-electroosmotic flows through micro-channels. The governing system of equations consists of the electric-field and flow-field equations. The solution procedure involves three steps. The net charge distribution on the cross section of the microchannel is computed by solving two-dimensional Poisson-Boltzmann equation using the finite element method. Then, using the computed fluid's charge distribution, the magnitude of the resulting body force due to interaction of an external electric field with the charged fluid is calculated along the... 

    On the existence of periodic solutions in time-invariant fractional order systems

    , Article Automatica ; Volume 47, Issue 8 , 2011 , Pages 1834-1837 ; 00051098 (ISSN) Yazdani, M ; Salarieh, H ; Sharif University of Technology
    Periodic solutions and their existence are one of the most important subjects in dynamical systems. Fractional order systems like integer ones are no exception to this rule. Tavazoei and Haeri (2009) have shown that a time-invariant fractional order system does not have any periodic solution. In this article, this claim has been investigated and it is shown that although in any finite interval of time the solutions do not show any periodic behavior, when the steady state responses of fractional order systems are considered, periodic orbits can be detected  

    Tree-Based method for classifying websites using extended hidden markov models

    , Article 13th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2009, Bangkok, 27 April 2009 through 30 April 2009 ; Volume 5476 LNAI , 2009 , Pages 780-787 ; 03029743 (ISSN); 3642013066 (ISBN); 9783642013065 (ISBN) Yazdani, M ; Eftekhar, M ; Abolhassani, H ; National Electronics and Computer Technology Center (NECTEC); Thailand Convention and Exhibition Bureau (TCEB); Air Force Office of Scientific Research,; Asian Office of Aerospace Research and Development (AFOSR/AOARD) ; Sharif University of Technology
    One important problem proposed recently in the field of web mining is website classification problem. The complexity together with the necessity to have accurate and fast algorithms yield to many attempts in this field, but there is a long way to solve these problems efficiently, yet. The importance of the problem encouraged us to work on a new approach as a solution. We use the content of web pages together with the link structure between them to improve the accuracy of results. In this work we use Naïve-bayes models for each predefined webpage class and an extended version of Hidden Markov Model is used as website class models. A few sample websites are adopted as seeds to calculate... 

    Achievability proof via output statistics of random binning

    , Article IEEE International Symposium on Information Theory - Proceedings ; 2012 , Pages 1044-1048 ; 9781467325790 (ISBN) Yassaee, M. H ; Aref, M. R ; Gohari, A ; Sharif University of Technology
    This paper presents a new and ubiquitous framework for establishing achievability results in network information theory (NIT) problems. The framework is used to prove various new results. To express the main tool, consider a set of discrete memoryless correlated sources (DMCS). Assume that each source (except one, Z n) is randomly binned at a finite rate. We find sufficient conditions on these rates such that the bin indices are nearly mutually independent of each other and of Z n. This is used in conjunction with the Slepian-Wolf (S-W) result to set up the framework. We begin by illustrating this method via examples from channel coding and rate-distortion (or covering problems). Next, we... 

    A new stabilizing GPC for nonminimum phase LTI systems using time varying weighting

    , Article Wec 05: Fourth World Enformatika Conference, Istanbul, 24 June 2005 through 26 June 2005 ; Volume 6 , 2005 , Pages 156-158 ; 9759845857 (ISBN); 9789759845858 (ISBN) Yaghobi, M ; Haeri, M ; Sharif University of Technology
    In this paper, we show that the stability can not be achieved with current stabilizing MPC methods for some unstable processes. Hence we present a new method for stabilizing these processes. The main idea is to use a new time varying weighted cost function for traditional GPC. This stabilizes the closed loop system without adding soft or hard constraint in optimization problem. By studying different examples it is shown that using the proposed method, the closed-loop stability of unstable nonminimum phase process is achieved. COPYRIGHT © ENFORMATIKA  

    Optimization of the calibration for an internal combustion engine management system using multi-objective genetic algorithms

    , Article 2005 IEEE Congress on Evolutionary Computation, IEEE CEC 2005, Edinburgh, Scotland, 2 September 2005 through 5 September 2005 ; Volume 2 , 2005 , Pages 1254-1261 ; 0780393635 (ISBN) Vossoughi, G. R ; Rezazadeh, S ; Sharif University of Technology
    This paper proposes a multi-objective structure for the optimization of an engine control unit mapping. In this way, first an integrated engine-vehicle model is developed. The objective functions for the optimization problem can be defined from this model. After describing the structure of the optimization problem, two different multi-objective genetic algorithms, namely Distance-based Pareto Genetic Algorithm and Non-Dominated Sorting Genetic Algorithm (together with Entropy-based Multi-Objective Genetic Algorithm), are proposed and implemented. The results demonstrate the superiority of this computerized structure to the manual mapping methods and also more generality of the...