Loading...
Search for:
mousavian--iman
0.113 seconds
Total 84 records
Rigidity and Wide Scope
, M.Sc. Thesis Sharif University of Technology ; Mousavian, Nasrollah (Supervisor)
Abstract
In this dissertation, we are considering the following question: can the Rigidity Thesis (RT) be reduced to the Wide Scope Thesis (WT). According to the RT, proper names of natural language are rigid designators and most of the definite descriptions of natural language are not rigid designators. Thus, the Descriptive Theory of Proper Names (DTPN), according to which the semantic content of a proper name is a (set of) definite description(s), is false. According to WT, the semantic content of a sentence containing a proper name is given by a (set of) definite description(s) with wide scope (over intensional operators, modal operators included). Such a semantic content can explain the...
Avicenna on the primary propositions
, Article History and Philosophy of Logic ; Volume 39, Issue 3 , 2018 , Pages 201-231 ; 01445340 (ISSN) ; Ardeshir, M ; Sharif University of Technology
Taylor and Francis Ltd
2018
Abstract
Avicenna introduces the primary propositions (or the primaries, for short) as the most fundamental principles of knowledge. (In this paper, we are not primarily concerned with the primary/first intelligibles as concepts/conceptions.) However, as far as we are aware, Avicenna’s primaries have not yet been independently studied. Nor do Avicenna scholars agree on how to characterize them in the language of contemporary philosophy. It is well-known that the primaries are indemonstrable; nonetheless, it is not clear what the genealogy of the primaries is (§2), how, epistemologically speaking, they can be distinguished from other principles (§3), what their phenomenology is (§4), what the cause of...
Design and Implementation of a Solar Charger with Maxim Power Point Tracking Ability
, M.Sc. Thesis Sharif University of Technology ; Zolghadri, Mohammad Reza (Supervisor)
Abstract
In regard to the benefits of solar energy such as endlessness and pureness, design and implementation of a convertor for absorbing energy from solar cells is of interest. Thus, a suitable convertor with acceptable efficiency is designed to charge the batteries. In order to increase the efficiency and to decrease the electromagnetic interference, a novel method is proposed for soft switching. Due to the nonlinear behavior of solar cells and also variations of their input energy with respect to the change of solar emission and temperature, two controllers - one for maximum power point tracking from solar cells and the other to appropriately charge the 48-volt batteries - are designed....
Empty Names
, M.Sc. Thesis Sharif University of Technology ; Mousavian, Nasrollah (Supervisor)
Abstract
The direct reference theory about proper names considers the references of proper names as their contents. This view is persuasive for many philosophers. However, it encounter with some difficulties. Some of these difficulties are related to nonrefering names, called empty names sometimes. If natural language contains such names, the direct refernce theory shall propose some solutions to solve mistakes raised by them. In this project, in chapter one, I will assess the direct reference theory. In chapter two, I will argue that at least some names from natural language are empty. And finally, in chapter three and four, I will put forward some ways to take out of difficulties raised by empty...
Noninvasive fetal ECG extraction using doubly constrained block-term decomposition
, Article Mathematical Biosciences and Engineering ; Volume 17, Issue 1 , 2020 , Pages 144-159 ; Shamsollahi, M. B ; Fatemizadeh, E ; Sharif University of Technology
American Institute of Mathematical Sciences
2020
Abstract
Fetal electrocardiogram (fECG) monitoring is a beneficial method for assessing fetal health and diagnosing the fetal cardiac condition during pregnancy. In this study, an algorithm is proposed to extract fECG from maternal abdominal signals based on doubly constrained block-term (DoCoBT) tensor decomposition. This tensor decomposition method is constrained by quasi-periodicity constraints of fetal and maternal ECG signals. Tensor decompositions are more powerful tools than matrix decomposition, due to employing more information for source separation. Tensorizing abdominal signals and using periodicity constraints of fetal and maternal ECG, appropriately separates subspaces of the mother, the...
Evaluation of natural circulation phenomena in WWER-1000 geometry
, Article 2nd International Congress on Advances in Nuclear Power Plants, ICAPP 2003, Cordoba, 4 May 2003 through 7 May 2003 ; 2003 ; D'Auria, F ; Salehi, M ; Sharif University of Technology
American Nuclear Society
2003
Abstract
Using of natural circulation concepts in nuclear and non-nuclear industry is very important. One of important methods in new designs of "innovative" fission reactor technologies is natural circulation scene. Natural circulation is based on buoyancy force; density differences between hot and cold legs including core and steam generators, and height of hot and cold zones. In this paper we studied natural circulation phenomena in two different heights of hot and cold zones by using of RELAP5 system code. Natural circulation Flow Map (NCFM) made for both cases and compared with experimental data. We have considered main components and systems of WWER-1000 plant in our model, such as pressure...
Blind Universal Steganalysis in Multiple Actor Paradigms and its Relation to Pixel-Cost
, M.Sc. Thesis Sharif University of Technology ; Gholampour, Iman (Supervisor)
Abstract
Steganography is method for communicating confidential information through a non-trustworth in way which hides the existence of communication. For improving the security of steganography statistical detectability must decrease as such as possible. Despite the fact, that the quality of the relation between statistical detectability and amount of distortion engendered by embedding is still an open problem, problem of detectability reduces to problem of management of pixel embedding in order to minimization of distortion. As in wet paper coding methods, an optimum (or approximately optimum) algorithm proportioned to Pixel-cost has been offered, the current problem of steganography is to find...
Designing a Vehicle Counting and Classification System
, M.Sc. Thesis Sharif University of Technology ; Gholampour, Iman (Supervisor)
Abstract
In recent years, Intelligent Transportation Systems (ITS) have received special attentions both in research and in commercial areas. Increased infrastructure facilities, like surveillance cameras, has made this concept even more attainable than before. In this respect, the ability to automatically extract information from traffic images, as one of the key inputs of ITSs, is of great importance. With an increased number of surveillance cameras and the need for more accurate information regarding the road users and their interactions, in order to better city traffic management, building and repairing roads, trip time estimation, number of people per roads estimation and etc, using human...
Economic Model Predictive Control with Time Varying Constraints
, M.Sc. Thesis Sharif University of Technology ; Haeri, Mohammad (Supervisor)
Abstract
In today's world we are dealing with many devices and processes with the goal of efficiency and performance improvement. In many processes particularly chemical ones, the goal is to control the output according to its constraints in the way that the performance is economically efficient, such as reducing energy consumption and energy loss and increasing efficiency. In order to control a process with economical goals, an economical cost function is used and after determination of optimal values a controller is used to guide the process so can achieve them. Model predictive control (MPC) is very common in this economic control Due to advantages such as considering the problem constraints. In...
Embedded Camera Design for Machine Vision Traffic Aplication
, M.Sc. Thesis Sharif University of Technology ; Gholampour, Iman (Supervisor)
Abstract
With the advent of technology, small in size sensors, memory, speeding up the processor and lowering the cost, it is possible to build an embedded camera system. The goal of this project is to design and build an embedded camera system so it can execute any set of necessary algorithms as depending on the application. In this project, two models of embedded camera systems have been presented as an integrated system and a system with independent units. To design the integrated embedded system, ZYNQ processor is used and two structures are presented in the form of hardware-software and hardware design. In hardware-software design, image processing operations are done by software and in hardware...
Activity Analysis Based on Mobile Sensors
,
M.Sc. Thesis
Sharif University of Technology
;
Gholampour, Iman
(Supervisor)
Abstract
Smartphone sensors like accelerometer, gyroscope and magnetometer are very common nowadays. This gives us the opportunity for sensor-based activity recognition. This thesis's goal is to collect data from different smartphone sensors and then extract hand-crafted features and classify them using machine learning algorithms. Metro, bus, taxi, bicycle, running, upstairs, walking and standing are studied activities in this thesis. All above steps are covered in this research, later we want to present an activity recognition model and then test it through a web server, after that, we modify the model by proposing to change learning coefficient to gain better accuracy. Finally, an Android app was...
The Impact of Digital Technologies on CO2 Emissions: A Comparison between Developed and Developing Countries
, M.Sc. Thesis Sharif University of Technology ; Miremadi, Iman (Supervisor)
Abstract
The importance and vitality of focusing on sustainable transition and reducing carbon dioxide emissions are clear to everyone today. However, until recently, the impact of digitization as a major global trend involving the application of digital technologies to change and optimize various elements of business, society, and daily life on the environment and carbon dioxide emissions has been underestimated. Despite the growing amount of research in this field, according to current studies, the connection between digitization and carbon dioxide emissions is not clear. To achieve environmental and sustainable development goals, fossil fuel consumption and greenhouse gas (GHG) emissions must be...
Analysis of natural circulation phenomena in VVER-1000
, Article Nuclear Engineering and Design ; Volume 229, Issue 1 , 2004 , Pages 25-46 ; 00295493 (ISSN) ; D'Auria, F ; Salehi, M. A ; Sharif University of Technology
2004
Abstract
In all light water reactors (LWR), natural circulation is an important passive heat removal mechanism. In the present paper, the natural circulation phenomena are studied with reference to step-wise coolant inventory reduction and a small break loss-of-coolant-accident (SBLOCA) in the cold leg of VVER-1000. The natural circulation flow map (NCFM) approach is considered to evaluate the natural circulation performance of the VVER-1000 NPP also comparing VVER-1000 and PWR systems. Three different elevations between heat source (core) and heat sink (steam generators) zones have been considered in order to characterize the buoyancy force in a VVER-1000. The influence of power and the cold legs...
Modelling and Simulation of Heat Transfer in the Moicrowave Sintering Process of Uranium Dioxide
, M.Sc. Thesis Sharif University of Technology ; Outokesh, Mohammad (Supervisor) ; Mousavian, Khalil (Supervisor)
Abstract
One of the steps in the production of nuclear fuel pellets used in the core of a nuclear reactor is sintering. Sintering means the consolidation of a pressed powder sample into an integrated solid. This process can be done in different ways, such as traditional sintering, microwave, spark plasma, etc. In the process of fabrication of nuclear fuel pellets, after producing uranium dioxide in powder form and making corrections on the size distribution of powder grains, it would be nolded and then sintered. In this research, the temperature evolution of the green pellets introduced to microwave heating were investigated. In this report, a brief overview of the principles of microwave heating is...
Teraffic Analysis with the Usage of Big Data Anlytics
, M.Sc. Thesis Sharif University of Technology ; Gholampour, Iman (Supervisor)
Abstract
Predicting traffic condition is one of the most important topics for traffic engineers and is a vital part of smart city. Extracting traffic behavior and realizing new traffic behaviors plays undeniable parts in big decision making of cities. On the other hand, progress of new technologies and devices for controlling and monitoring traffic caused the volume of traffic related data to grow exponentially. Velocity and variety of these data made normal data mining solution to fail in modeling and performing well. New data era has changed the view of large numbers of science and engineering majors. Traffic engineering also needs big data analytics for process of its own big data. Thus the need...
Exploring Public Perception of Justice in Mobility Transitions: Evidence from a Bicycle Sharing System in Iran
,
M.Sc. Thesis
Sharif University of Technology
;
Miremadi, Iman
(Supervisor)
Abstract
Globally, bicycle sharing is one of the fast-growing solutions to climate change in the transport sector. However, what inequities may be reflected, exacerbated, or arose from its adoption and use? Relying on a qualitative research design involving interviews with bicycle sharing users, non-adopters, and daily observers of the cycling infrastructure (N = 36), site visits, and a literature review, we examine distributive, procedural, and recognition injustices in association with Bdood, an operating BSS in Iran, a developing country that allows for less-documented types of injustice to arise. In doing so, we utilize a comprehensive transport/mobility justice framework, drawn from the fields...
People Detection and Tracking with Privacy Protection
, M.Sc. Thesis Sharif University of Technology ; Gholampour, Iman (Supervisor)
Abstract
The multi people tracking is considered a fundamental problem in computer vision, which has received considerable attention from academic and commercial fields. This issue deals with a set of proposed methods that track the movement path of several humans in a video-like sequence. The problem of multi people tracking is the foundation of other computer vision problems, including human gesture estimation, motion recognition, and behavioral analysis, and is mainly used in emerging fields such as automatic car driving, smart security, service robots, etc. Although many methods have been proposed and investigated to solve the above problem; But there are still serious challenges, such as severe...
A novel ZVT/ZCT PWM converter used for solar battery chargers with reduced conduction loss
, Article 2015 IEEE Energy Conversion Congress and Exposition, ECCE 2015, 20 September 2015 through 24 September 2015 ; 2015 , Pages 5357-5362 ; 9781467371506 (ISBN) ; Bakhshai, A ; Jain, P ; Zolghadri, M. R ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2015
Abstract
In this paper a novel structure of a zero- voltage transition PWM boost converter is proposed. The main switch and diode of the converter are turned on and off under zero voltage transition. In addition the auxiliary switch and both diodes operate in ZCT condition. The auxiliary circuit consists of a transformer, a snubber capacitor and two diodes. Without imposing much current stress, the switching loss reduces significantly. So a higher efficiency converter is achieved. The simple structure and a wide range of operating current are the advantages of the proposed converter, which make it useful for solar battery chargers etc. The operation principles of the proposed converter are explained...
Scene Detection and Analysis by Image Classification in Specific Classes
, M.Sc. Thesis Sharif University of Technology ; Gholampour, Iman (Supervisor)
Abstract
Traffic density estimation is one of the most challenging problems in Intelligent Transportation Systems. One of the important traffic information that is broadcasted to drivers is Traffic Density information. In many traffic control centers; human operators are responsible for estimating traffic density from captured video data. Increasing traffic cameras and constraint number of operators introduce an updating delay to broadcasted information. So it is important to have an automatic traffic density estimation system. In this thesis, machine vision is used to solve this problem. Supervised Image classification is our approach. In supervised Image classification, images are classified to...
Investigating the Relation Between Pixel Cost, Steganographic Capacity and Statistical Detectability
, M.Sc. Thesis Sharif University of Technology ; Gholampour, Iman (Supervisor)
Abstract
Statistical detectability is a feature of a steganalyzer that states its power for distinguishing between cover and stego images. A steganographer tries to design the steganography algorithm such that the steganalyzer could not detect the stego images. As a result, designing an efficient steganography algorithm (assigning the pixel cost) that could minimize the statistical detectability is an important objective in steganography. However, making a sensible relation between the pixel cost and statistical detectability is an open problem.
In this thesis, by modeling the steganalyzer using the LDA topic model, we analyze its error probability as a criterion of statistical detectability....
In this thesis, by modeling the steganalyzer using the LDA topic model, we analyze its error probability as a criterion of statistical detectability....