Loading...
Search for: shahriari--s
0.119 seconds

    The application of proportional hazards and frailty models to multistage processes surveillance

    , Article International Journal of Advanced Manufacturing Technology ; Volume 74, Issue 1-4 , September , 2014 , Pages 461-470 ; ISSN: 02683768 Asadzadeh, S ; Aghaie, A ; Shahriari, H ; Niaki, S. T. A ; Sharif University of Technology
    2014
    Abstract
    Monitoring industrial and service processes with the purpose of improving the product reliability has been largely addressed in the literature. The surveillance procedures have been proposed with the concentration on single-stage processes with independent quality characteristics. However, the cascade property in multistage processes entails specific monitoring methods which take into account the dependency structure among quality variables in successive stages of a process. This is referred to as regression-adjustment that justifies the heterogeneity in the study population and thus leads to optimal monitoring of multistage processes. In general, it is not straightforward to adjust a... 

    Improving reliability in multistage processes with autocorrelated observations

    , Article Quality Technology and Quantitative Management ; Volume 12, Issue 2 , 2015 , Pages 143-157 ; 16843703 (ISSN) Asadzadeh, S ; Aghaie, A ; Shahriari, H ; Akhavan Niaki, S. T ; Sharif University of Technology
    2015
    Abstract
    Multistage process surveillance is considered to effectively improve the product reliability in manufacturing or service operations. To this end, the process output is commonly inspected under specific conditions and the values of the reliability-related quality characteristic are measured. However, in some cases, the observations from the process output are autocorrelated. This brings about the situation where the use of existing monitoring schemes is futile. Therefore, a class of survival analysis regression models called the proportional hazards (PH) model has been modified to justify the effect of cascade property in line with the autocorrelation issue. Subsequently, three monitoring... 

    Vorticity-Bases Adaptive Mesh Refinement for Upscaling of Highly Heterogeneous Porous Media

    , M.Sc. Thesis Sharif University of Technology Shahriari, Arjang (Author) ; Firoozabadi, Bahar (Supervisor)
    Abstract
    The results of numerical simulation of underground flows are greatly affected not only by the discretization method of flow equations, but also by the way that the geological domain is upscaled. Including the detailed knowledge of heterogeneous permeability distribution is mostly neither feasible nor computationally efficient. So it is important to develop efficient grid generation and upscaling methods to simplify the fine-scale flow model while still including the impact of the heterogeneities as far as possible. Thus regions where parameters of interest have larger values or higher changes require finer grid blocks and regions with lower values or minor changes should have coarser grid... 

    Analytical modeling of a Minimally Invasive Surgery grasper actuated by shape memory alloy wires

    , Article International Conference on Robotics and Mechatronics, ICRoM 2013 ; Feb , 2013 , Pages 147-151 ; 9781467358118 (ISBN) Shahriari, M ; Zabihollah, A ; Sharif University of Technology
    2013
    Abstract
    Minimally Invasive Surgery (MIS) is getting common these days. MIS robots using special tools can perform surgery precisely as humans. This is only possible with dexterous end-effectors and a well-controlled system. Local, lightweight and powerful actuators positioned at end-effectors provide the ability to decrease the degrees of freedom and simplify the design. This paper discusses a grasper design actuated by Shape Memory Alloy (SMA) wires that can be used in MIS robotics. The properties of a commercially available shape memory alloy are explored and analytical formulations for the actuation procedure are developed. The grasper actuated by SMA wires is studied and the procedure of... 

    Consequence Modelling of Ethylene Oxide Reactor of Morvarid Petrochemical Co

    , M.Sc. Thesis Sharif University of Technology Shahriari, Esmaeel (Author) ; Rashtchian, Davood (Supervisor)
    Abstract
    As Ethylene Oxide is a highly toxic, flammable, and hazardous material, the consequences of any malfunction in an Ethylene Oxide reactor may be irreparable. The aim of this thesis is to evaluate the probable consequences of an accident in Morvarid Petrochemical Co.’s Ethylene Oxide Reactor in order to find probable hazardous scenarios. In this project, probable accidents were modelled and evaluated by Phast software in different scenarios, and the outcomes were investigated. In addition, if necessary, a set of solutions were proposed to decrease casualties in hazardous scenarios. The results may be used to change layouts according to Consequence Modelling. Results illustrated that... 

    Constructive Mathematics and Quantum Mechanics

    , M.Sc. Thesis Sharif University of Technology Shahriari, Mohsen (Author) ; Ardeshir, Mohammad (Supervisor)
    Abstract
    In constructive mathematics, one has to construct a mathematical object in order to show that it exists. Consequently, some of classical theorems are not acceptable from a constructive point of view. In particular, the constructive validity of the parts of mathematics that play a role in forming physical theories is of interest. Here, we want to examine the constructive provability of some theorems related to quantum mechanics  

    Control of Three-phase UPS with Nonlinear Load Using Disturbance Observer Considering Transformer Concerns

    , M.Sc. Thesis Sharif University of Technology Shahriari, Zohair (Author) ; Tahami, Farzad (Supervisor)
    Abstract
    Nowadays, non-linear loads comprise an important part of electrical grids. One of the most essential sources of nonlinear loads is switching power supplies, which mainly include power electronic rectifiers. When power outage occurs, Uninterruptible Power Supplies (UPS) must be able to supply these loads. The nonlinearity of the load has a significant effect on the Total Harmonic Distortion (THD) of the output voltage, which may not be easily reduced, especially in three-phase inverters. Furthermore, the presence of isolating transformers in these power supplies limits the control of harmonics and intensifies the nonlinear effects of the system.In this Master Thesis, a disturbance observer is... 

    Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca

    , Article Computers and Electrical Engineering ; Volume 36, Issue 5 , 2010 , Pages 874-885 ; 00457906 (ISSN) Shahriari, H. R ; Makarem, M. S ; Sirjani, M ; Jalili, R ; Movaghar, A ; Sharif University of Technology
    2010
    Abstract
    Increasing use of networks and their complexity make the task of security analysis more and more complicated. Accordingly, automatic verification approaches have received more attention recently. In this paper, we investigate applying of an actor-based language based on reactive objects for analyzing a network environment communicating via Transport Protocol Layer (TCP). The formal foundation of the language and available tools for model checking provide us with formal verification support. Having the model of a typical network including client and server, we show how an attacker may combine simple attacks to construct a complex multiphase attack. We use Rebeca language to model the network... 

    Gait analysis of a six-legged walking robot using fuzzy reward reinforcement learning

    , Article 13th Iranian Conference on Fuzzy Systems, IFSC 2013 ; August , 2013 , Page(s): 1 - 4 ; ISBN: 9781479912278 Shahriari, M ; Khayyat, A. A ; Sharif University of Technology
    IEEE Computer Society  2013
    Abstract
    Free gait becomes necessary in walking robots when they come to walk over discontinuous terrain or face some difficulties in walking. A basic gait generation strategy is presented here using reinforcement learning and fuzzy reward approach. A six-legged (hexapod) robot is implemented using Q-learning algorithm. The learning ability of walking in a hexapod robot is explored considering only the ability of moving its legs and using a fuzzy rewarding system telling whether and how it is moving forward. Results show that the hexapod robot learns to walk using the presented approach properly  

    Vulnerability take grant (VTG): an efficient approach to analyze network vulnerabilities

    , Article Computers and Security ; Volume 26, Issue 5 , 2007 , Pages 349-360 ; 01674048 (ISSN) Shahriari, H. R ; Jalili, R ; Sharif University of Technology
    2007
    Abstract
    Modeling and analyzing information system vulnerabilities help predict possible attacks to computer networks using vulnerabilities information and the network configuration. In this paper, we propose a comprehensive approach to analyze network vulnerabilities in order to answer the safety problem focusing on vulnerabilities. The approach which is called Vulnerability Take Grant (VTG) is a graph-based model consists of subject/objects as nodes and rights/relations as edges to represent the system protection state. Each node may have properties including single vulnerabilities such as buffer overflow. We use the new concept of vulnerability rewriting rule to specify the requirements and... 

    Using CSP to model and analyze transmission control protocol vulnerabilities within the broadcast network

    , Article Proceedings - 2004 International Networking and Communication Conference, INCC 2004, Lahore, 11 June 2004 through 13 June 2004 ; 2004 , Pages 42-47 ; 0780383257 (ISBN) Shahriari, H. R ; Jalili, R ; Sharif University of Technology
    2004
    Abstract
    Spreading networks and increasing their complexity has complicated the task of security analysis. Accordingly, automatic verification approaches have received more attention recently. In this paper, we modeled a network including a set of hosts (clients and servers) using the process algebra CSP in order to verify the Transmission Control Protocol (TCP) behavior against an active intruder. The model is verified using the FDR tool and as a result, some attack scenarios violating the security are found. The scenarios showes how an intruder can compromise the server trust to its clients. As the model is modular, extendable, and scalable, more complex attack scenarios (combination of simple... 

    Modeling of network security-related behaviours using NVML

    , Article 8th International Multitopic Conference, INMIC 2004, 24 December 2004 through 26 December 2004 ; 2004 , Pages 506-511 ; 0780386809 (ISBN); 9780780386808 (ISBN) Shahriari, H. R ; Jalili, R ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2004
    Abstract
    Nowadays, security has become an important issue for organizations especially in e-commerce applications. The spreading of networks and increasing of their complexity has complicated the task of security analysis, therefore automatic approaches have received more attention recently. This paper proposes a model-based approach to analyze the overall security of a network, based on the interaction of hosts within the network. A simple language is introduced far modeling securityrelated behaviours of networks and systems. Using the language, a case study is described and its formal model and security properties are presented. © 2004 IEEE  

    Plastic injection molding dies using hybrid additively manufactured 420/CX stainless steels: electrochemical considerations

    , Article npj Materials Degradation ; Volume 6, Issue 1 , 2022 ; 23972106 (ISSN) Shahriari, A ; Samei, J ; Sanjari, M ; Jahanbakht, M ; Amirkhiz, B. S ; Mohammadi, M ; Sharif University of Technology
    Nature Publishing Group  2022
    Abstract
    This research focused on the corrosion resistance and microstructure of hybrid additively manufactured (HAM) samples of AISI 420/CX (420/CX SS) stainless steels. Potentiodynamic polarization, electrochemical impedance spectroscopy (EIS), and Mott–Schottky analyses as well as the electrochemical noise (EN) technique were used to evaluate the electrochemical behavior of the as-built and heat-treated HAM parts in NaCl solution. The results showed a more protective passive layer formed on the CX SS side. The distribution of Cr-rich M23C6 carbides in matrix of 420 SS side resulted in a lower corrosion resistance compared to the CX SS side. The noise data analysis confirmed an increase in the... 

    Author Correction: Plastic injection molding dies using hybrid additively manufactured 420/CX stainless steels: electrochemical considerations (npj Materials Degradation, (2022), 6, 1, (70), 10.1038/s41529-022-00280-y)

    , Article npj Materials Degradation ; Volume 6, Issue 1 , 2022 ; 23972106 (ISSN) Shahriari, A ; Samei, J ; Sanjari, M ; Jahanbakht, M ; Amirkhiz, B. S ; Mohammadi, M ; Sharif University of Technology
    Nature Publishing Group  2022

    A counterexample to polynomially bounded realizability of basic arithmetic

    , Article Notre Dame Journal of Formal Logic ; Volume 60, Issue 3 , 2019 , Pages 481-489 ; 00294527 (ISSN) Ardeshir, M ; Khaniki, E ; Shahriari, M ; Sharif University of Technology
    Duke University Press  2019
    Abstract
    We give a counterexample to the claim that every provably total function of Basic Arithmetic is a polynomially bounded primitive recursive function. © 2019 by University of Notre Dame  

    A counterexample to polynomially bounded realizability of basic arithmetic

    , Article Notre Dame Journal of Formal Logic ; Volume 60, Issue 3 , 2019 , Pages 481-489 ; 00294527 (ISSN) Ardeshir, M ; Khaniki, E ; Shahriari, M ; Sharif University of Technology
    Duke University Press  2019
    Abstract
    We give a counterexample to the claim that every provably total function of Basic Arithmetic is a polynomially bounded primitive recursive function. © 2019 by University of Notre Dame  

    Simulation of NO Production Process from Endothelial Cells and its Effect on Coronary Artery Flow Field

    , M.Sc. Thesis Sharif University of Technology Shahriari, Amir Hossein (Author) ; Firoozabadi, Bahar (Supervisor)
    Abstract
    Endothelial derived nitric oxide (NO) and its role in regulating the physiological conditions of blood vessels is one of the favorite topics among researchers. The majority of previous studies have focused on nitric oxide transport in blood vessels, less attention has been paid to its vasodilative effects in blood vessels. The main aim of this study is to propose an integrated model to study the effects of endothelial-derived nitric oxide on hemodynamic conditions of blood vessels. Nitric oxide is produced by endothelial cells upon exposure to mechanical forces such as hemodynamic shear stress. The synthesized nitric oxide then diffuses into the neighboring vascular smooth cells, where it... 

    An integrated approach for enhancing the quality of the product by combining robust design and customer requirements

    , Article Quality and Reliability Engineering International ; Vol. 30, Issue. 8 , 2014 , pp. 1285-1292 ; ISSN: 07488017 Shahriari, H ; Haji, M. J ; Eslamipoor, R ; Sharif University of Technology
    2014
    Abstract
    Enhancing the quality of the product has always been one considerable concern of production process management, and this subject gave way to implementing so many methods including robust design. In this paper, robust design utilizes response surface methodology (RSM) considering the mean and variance of the response variable regarding system design, parameter design, and tolerance design. In this paper, customer requirements and robust design are regarded simultaneously to achieve enriched quality. Subsequently, with a non-linear programming, a novel method for integrating RSM and quality function deployment has been proposed to achieve robustness in design. The customer requirements are... 

    γ' Precipitate dissolution during heat treatment of nimonic 115 superalloy

    , Article Materials and Manufacturing Processes ; Volume 24, Issue 5 , 2009 , Pages 559-563 ; 10426914 (ISSN) Shahriari, D ; Sadeghi, M. H ; Akbarzadeh, A ; Sharif University of Technology
    2009
    Abstract
    In precipitation hardenable materials, it is desirable to determine the precipitate dissolution temperature for homogenizing the microstructure by controlling the size and distribution of the precipitates. In this research, differential thermal analysis, dilatometry technique, heat treatments followed by microstructure evaluation were used to determine the -γ' dissolution temperature of Nimonic 115. It is assumed that the variation of enthalpy is governed by the changes in y volume fraction and γ concentration with time and temperature, and any contribution of the coarsening of γ' is neglected. The values obtained for the solvus temperature of γ precipitates by the three methods are all in... 

    Two-Dimensional Dictionary Learning and its Application in Image Denoising

    , M.Sc. Thesis Sharif University of Technology Shahriari Mehr, Firooz (Author) ; Babaiezadeh, Masoud (Supervisor)
    Abstract
    Sparse representation and consequently, dictionary learning have been two of the great importance topics in signal processing problems for the last two decades. In sparse representation, each signal has to be represented as a linear combination of some basic signals, which are called atoms, and their collection is called a dictionary. To put it in other words, if complete dictionaries such as Fourier or Wavelet dictionaries are used for the representation of signals, the representation will be unique, but not sparse. On the other hand, if overcomplete dictionaries are used, we will confront with too many representations, and the goal of sparse representation is to find the sparsest one. ...