Loading...
Search for:
component
0.019 seconds
Total 1231 records
“Does cinema form the future of robotics?”: a survey on fictional robots in sci-fi movies
, Article SN Applied Sciences ; Volume 3, Issue 6 , 2021 ; 25233971 (ISSN) ; Hosseini, S. R ; Taheri, A ; Meghdari, A ; Sharif University of Technology
Springer Nature
2021
Abstract
Abstract: Robotics and Artificial Intelligence (AI) have always been among the most popular topics in science fiction (sci-fi) movies. This paper endeavors to review popular movies containing Fictional Robots (FR) to extract the most common characteristics and interesting design ideas of robots portrayed in science fiction. To this end, 134 sci-fi films, including 108 unique FRs, were investigated regarding the robots’ different design aspects (e.g., appearance design, interactive design and artificial intelligence, and ethical and social design). Also, in each section of this paper, some characteristics of FRs are compared with real social robots. Since some researches point to the...
A Formal Semantic for Probabilistic Reo Connectors Using Büchi Automata of Records
, M.Sc. Thesis Sharif University of Technology ; Izadi, Mohammad (Supervisor)
Abstract
The purpose of this dissertation is proposing a probabilistic model in transition systems of records. In these systems, two acceptance state of finite and infinite string have proposed which acceptance state of finite string is called probabilistic finite automata of records and acceptance state of infinite string is called probabilistic buchi automata of records. The buchi automata of records is an operational semantic for Reo coordination language. Reo is a coordination language to coordinate existing component of a component based system. Reo circuits with non-deterministic and probabilistic channel can be modeled by proposing probabilistic buchi automata of records. In this dissertation...
An Integrated Formal Method for Specification and Verification of Component-Based Systems
, Ph.D. Dissertation Sharif University of Technology ; Movaghar Rahimabadi, Ali (Supervisor)
Abstract
This thesis presents an integrated formal method for modeling and model checking of component based computing systems. Both components and coordination subsystems are modeled by a variant of standard labeled transition systems called record transition systems. A record transition system is a labeled transition system whose transition labels are records. We use records to model the concurrency of input – output operations in the ports of the system. The concurrency of the executions with respect to common transition labels are modeled by standard parallel composition operator and also a new defined operator called join which is analogous to the join operator defined to compose constraint...
An Application of Algebraic Topology to Computer Sciences
, M.Sc. Thesis Sharif University of Technology ; Fanai, HamidReza (Supervisor)
Abstract
In this thesis we study one of the applications of algebraic topology to computer science and define some tools to analyze concurrent programs. For this purpose a geometric space is corresponded to every concurrent program and a partial order is considered on this space, so every path on it corresponds to an execution of the program. Some of these paths which are dihomotop (homotop in partial ordered spaces) with each other induce the same execution of the program. By defining “Fundamental Category” in which objects are points of the space and morphisms are dihomotopy classes, the space that should be analyzed shrinks to a smaller one. By defining component category in the next step, without...
Applications of Blind Source Separation(BSS) and Sparse Decomposition in Hyperspectral Image Processing
, M.Sc. Thesis Sharif University of Technology ; Babaiezadeh, Massoud (Supervisor) ; Ashtiani, Farid (Supervisor)
Abstract
Spectral Images, and Hyperspectral images as one of their main subsets, has been widely utilized in many scientific fields in recent years. Spectral unmixing may be regarded as one the main problems in hyperspectral image processing. Determining constituent materials (Endmembers) and their respective proportions(Abundance) is the main goal of spectral unmixing. Classic methods which are available for spectral unmixing mainly consist of two major separate steps for endmember extraction and abundance estimation. To combine these two steps in one, recently, powerful signal processing tools such as Independent Component Analysis (ICA), Nonnegative Matrix Factorization (NMF), and Sparse Component...
Application of SMA Equipped Connection in Improving the Seismic Behaviour of Steel Structures Considering Soil-Structure Interaction
, M.Sc. Thesis Sharif University of Technology ; Rahimzadeh Rofouei, Fayyaz (Supervisor)
Abstract
Shape memory alloys (SMA) are materials with shape memory effect and high recentering capacity. Recently, application of SMAs in building structures and for the purpose of structure control during earthquake has been considered by many researchers. Researchers have tried to reduce the residual displacement of the structure after earthquake and also increase the dissipated energy by using this material in different forms such as wire, spring, bolt, etc.. In this research the seismic performance of steel structures equipped with SMA connection has been studied, considering the soil and structure interaction. The purpose of this research is to investigate the amount of required SMA bolts in...
Long Term Seasonal Rainfall and Stramflow Prediction using Ocean- Atmospheric Climate Variables (case study: Bukan Dam)
, M.Sc. Thesis Sharif University of Technology ; Tajrishy, Masoud (Supervisor)
Abstract
Due to water resources restriction and increasing water demand, the optimal utilization of water resources in the country is more and more necessary. Optimal utilization of these resources highly require more precise prediction of the river's stream entering the dam with anticipated intervals of one to some months. In recent decades, identification of large-scale signals as predictors of hydrological climate changes has created great expectations and a lot of studies have been done in this area.One of the most important principles of planning and management of water resources in each country from the point of view of hydrological, the rainfall is forecast. In this study,using principal...
Reliability Centered Maintenance (RCM) Implementation in Thermal and Combined Cycle Power Plants
, M.Sc. Thesis Sharif University of Technology ; Abbaspour Tehrani Fard, Ali (Supervisor) ; Fotuhi-Firuzabad, Mahmoud (Supervisor)
Abstract
Power generation stations, which are commonly called power plants, are treated as the core module of power systems and are in charge of producing power to be transmitted and distributed to the end consumers. As the beating heart of power industry, power plants need to be available and reliable all the time and so do their constituent components since the need for reliable electricity, nowadays, is ever increasingly highlighted. The reason lies in the rapid jump of population growth in one hand and the incredible amount of damages as a consequence to the power interruptions due to the power plant component outages, if happened, on the other one. So, power plants have to be kept within a...
Structural Health Monitoring of Elbows, Tee Junctions, Composite to Composite and Composite to Metal Joints for Pressurized Tubular Structures Using Strain and MPCA Algorithm
, M.Sc. Thesis Sharif University of Technology ; Abedian, Ali (Supervisor)
Abstract
In this thesis, due to the importance of pressurized structures, method or methods that can be used to monitor the health of important structures, such as pressurized pipes (gas transmission and distribution lines or hydraulic lines), are considered. A key point in monitoring such structures is to ensure the function of pipes, elbows, Tee junctions, composite to composite and composite to metal joints. The topic that will be discussed more than anything else here is to monitor the health of the structure in the presence of cracks in some layers of composite pieces. In fact, it must be recognized before cracking occurs in all layers of composite pieces and causing overall damage to the...
Model Checking of Reo Specifications Using Automata Theorem
, M.Sc. Thesis Sharif University of Technology ; Movaghar Rahimabadi, Ali (Supervisor)
Abstract
This thesis represents the theoritical concepts used for the implementation of a model checking framework for Reo specifications. This framework is implemented as a model checking tool which is applied to some case studies. First we have studied the wide variety of sementic models represented for Reo. We claim that the semantic model based on Büchi automata of records is a suitable candidate to serve as the underlying model of a model checking tool. Reo language represents some special features like synchronization, fairness and context dependency. Reo semantic models are analyzed with respect to their expressivness of the mentioned features. Moreover, the way that Büchi automata of records...
Extension and Comparing the PSTH and ICA in Order to Extract Information from Neural Point Processes
, Ph.D. Dissertation Sharif University of Technology ; Jahed, Mehran (Supervisor) ; Ghazizadeh, Ali (Co-Supervisor)
Abstract
The quantity and quality of information extracted from the brain, in addition to data collection methods, is also related to the statistical tools used. As extracting maximum information in both temporal and spatial dimension require electrophysiological approaches on the physical side, the statistical methods should be optimized to that end, on the theoretical side. The time histogram method is the most basic tool for capturing a time-dependent rate of neuronal spikes. Generally, in the neurophysiological literature, the bin size that critically determines the goodness of the fit of the time histogram to the underlying spike rate has been subjectively selected by individual researchers....
The Study of Permeable Reactive Barriers Made of Nano Zero Valent Iron, for In-situ Groundwater Remediation
, M.Sc. Thesis Sharif University of Technology ; Abrishamchi, Ahmad (Supervisor) ; Vossoughi, Manoochehr (Supervisor)
Abstract
In present research in-situ groundwater remediation by permeable reactive barriers is considered and the main goal is to find the optimal dimension of reactive walls and also to find the most efficient reactive media. Here, computer simulation is done via MODFLOW. Different barrier lengths, widths, depths and distances between trenches have been considered and contaminant removal percentage calculated in all situations. Based on the research achievements increasing the barrier length has led to reduction of contaminant removal percentage because flow gradient and flow density decrease by length increase. As the results show, contaminant removal percentage increases by width increase because...
A New Model for Reliability Optimization of Series-parallel Systems Using Mixed Redundancy Strategy
, M.Sc. Thesis Sharif University of Technology ; Eshraghniaye Jahromi, Abdolhamid (Supervisor)
Abstract
In current societies, reliability is an important and fundamental factor in designing and manufacturing products and it cannot be ignored anyway; because sometimes malfunction and failure in a system can cause severe financial losses and health issues. In the field of optimizing reliability by redundancy allocation, one of the structures that has drawn many researchers attention is series-parallel structure. In the models proposed for reliability optimization in series-parallel systems, there is a restricting assumption which all components of a sub-system have to be homogeneous. In this thesis, new models are presented which enable components of a sub-system be non-homogeneous. Modeling is...
Probabilistic Damage Models for Detailed Risk Analysis of Buildings with Reliability Methods
, M.Sc. Thesis Sharif University of Technology ; Mahsuli, Mojtaba (Supervisor)
Abstract
A probabilistic approach to modeling the seismic damage incurred by structural and nonstructural components is developed in this study. For this purpose, Bayesian linear regression is employed to characterize the epistemic uncertainty in the model. In this approach, regressors are constructed based on the mechanics of damage. In turn, the probability distributions of the model parameters and the model error are quantified by Bayesian regression using real-life data from laboratory experiments and/or post-earthquake inspections of damaged components. The study presents the stepwise procedure of collecting the observations, quantifying the repair costs, developing model forms, performing model...
Chemometrics Modeling of MonoAmine Oxidase Inhibitory Effects of Pyrazoline Derivatives Using PCA-MLR-ANN Approaches
, M.Sc. Thesis Sharif University of Technology ; Jalali-Heravi, Mehdi (Supervisor)
Abstract
Prevalence of Multiple Drug Resistant Tuberculosis and use of Yersinia-Pestis in bioterrorism warrants synthesis of new antimicrobial agents. Although Pyrazoline derivatives were first synthesized as antimicrobial drugs, but they also had Mono Amine Oxidase inhibitory effects. In this Quantitative Structure – Activity Relationship (QSAR) study, MAO-I activity of pyrazoline derivatives were evaluated. By applying semi-empirical quantum calculations at AM1 level, optimum 3D geometry of 32 molecules were obtained.After descriptor generation, Principal Component Analysis (PCA) was performed to fiind out 5 outliers. After omitting outliers and sorting molecules according to IC50 values, Stepwise...
Modeling and Structural Health Monitoring of 5 MW Wind Turbine Based on Moving Principal Component Analysis
, M.Sc. Thesis Sharif University of Technology ; Abedian, Ali (Supervisor)
Abstract
Nowadays, the structural health monitoring is considered as an essential element in improving the performance of the structures. The role and importance of the issues in this area have been reached to the point that different ideas and policies are developed for the safety margin over the useful life of the structures. To analyze more accurately, a real model of a turbine blade is required. This issue would be taken into more consideration when the scale of the turbine gets larger. Changing of the design philosophies over time results in effective changes in the design process and maintenance procedures. Any single of these inspections has different importance according to users' demands. In...
Modeling and Analysis of Optimal Control and Condition Monitoring of Fuel Cell System Based on Performance History
, M.Sc. Thesis Sharif University of Technology ; Roshandel, Ramin (Supervisor)
Abstract
The short life of Polymer Electrolyte Membrane (PEM) fuel cells is one of the critical criteria to their commercialization. A longer operation life time should be achieved to reach high reliability, low $/kWh cost and to use fuel cells as economical alternative energy systems.Therefore,diagnosing degradation mechanisms and the causes of power loss in fuel cell life time is of great importance. Operating conditions affect output power density and performance degradation. To achieve maximum power generation through fuel cell life time, a model is needed which is able to estimate power density and performance degradation simultaneously regarding to operating conditions. In present work, a...
Two-phase, Two-component Simulation of Nanofluids in Natural Convection Applying Lattice Boltzmann Method
, Ph.D. Dissertation Sharif University of Technology ; Saeedi, Mohammad Hassan (Supervisor)
Abstract
The advances of technology of microelectrical devices and their computational capacity and so, their heat rates, make the thermal control of them more complex. Utilizing nanopfluids is one of proposing options. The current research investigates the effectiveness of using nanoparticles on the heat transfer rate of fluids in the natural convection. A two-component two-phase lattice Boltzmann method (LBM) has been implemented for this purpose. A wide range of Rayleigh number (Ra), namely 103 to 109, 0 to 0.05 volume fraction s of nanoparticles and nanoparticle diameters below 100 nm has been investigated in this research. The method is optimized for complex geometries. Two and three dimensional...
Statistical Modeling of Spatial and Temporal Characteristics of Target Range Profiles for Radar Target Recognition
, M.Sc. Thesis Sharif University of Technology ; Bastani, Mohammad Hassan (Supervisor)
Abstract
Range Profile (RP) is known as one of the most important tools for radar target recognition. The main problem with range profile for radar target recognition is its sensitivity to aspect angle. To overcome this problem, range profiles are assumed to have the same statistical characteristics in small frames of aspect angles or context dependent models such as HMM may be used. All methods presented, seems to have some shortcomings to offer a model based on physical circumstances of target maneuver. For example in such models, consecutive samples of RPs in an aspect frame are assumed to be statistically independent with the same distribution (IID). Here we propose dynamic system (DS) for...
Modeling of Membrane Contactors For Separation of Multi-Component Gases by Mixtures of Solvents
, M.Sc. Thesis Sharif University of Technology ; Soltanieh, Mohammad (Supervisor)
Abstract
In the present work a comprehensive mathematical model has been developed for CFD simulation of transport phenomena in the hollow fiber membrane contactors. The system which has been studied was a gas sweetening including methane, carbon dioxide, and hydrogen sulfide in the gas phase and MEA aqueous solution as the solvent. Effects of temperature distribution on the contactor efficiency predicted taking into account the heat of solution, the heat of reaction, and the viscous dissipation. Major focus of the present study was on dynamic behavior of the contactor considering the entrance regions of momentum, energy, and mass transfers. CFD methods have been developed to solve the nonlinear...