Loading...
Search for: moeini-jam--mehran
0.13 seconds

    Compositional Verification of Timed Distributed Systems

    , M.Sc. Thesis Sharif University of Technology Moeini Jam, Mehran (Author) ; Movaghar Rahimabadi, Ali (Supervisor)
    Abstract
    Society is becoming increasingly dependent on computer systems, raising a somewhat neglected but vital question: Are these systems as safe as we think they are? To address this concern, many approaches have emerged alongside the testing process to enhance the reliability of our systems. One of the most successful approaches involves viewing computer systems as mathematical objects and making assertions about their intended behavior. Formal verification is the act of attempting to establish the truth of these statements and ensure the safe behavior of the system. Model Checking is a mainstream formal verification technique that has proven its usability in verifying complex software and... 

    Scattering of plane elastic waves by a multi-coated nanofiber with deformable interfaces

    , Article International Journal of Solids and Structures ; Volume 141-142 , 2018 , Pages 195-218 ; 00207683 (ISSN) Shodja, H. M ; Taheri Jam, M ; Sharif University of Technology
    Elsevier Ltd  2018
    Abstract
    The scattering of in-plane P- and SV-waves by a multi-coated circular nanofiber with deformable interfaces is of interest. To this end, in the present work, after introducing two kinds of interface momenta defined as the derivative of the interface excess kinetic energy with respect to the average and relative velocities at the interface, we extend the elastostatic theory of Gurtin et al. (1998) on deformable interfaces to the elastodynamic theory and derive the interface equations of motion using Hamilton principle. The effects of the generalized interface properties including the interface inertial parameters and interface stiffness towards stretch and slip on the dynamic stress... 

    Interface effects on the electromagnetic radiation emanating from an embedded piezoelectric nano-fiber incident upon by SH-waves

    , Article Wave Motion ; Volume 94 , April , 2020 Taheri Jam, M ; Shodja, H. M ; Sharif University of Technology
    Elsevier B.V  2020
    Abstract
    The multiphysics process of the electromagnetic (EM) radiation induced from an embedded nanofiber scatterer subjected to SH-waves is of interest. By discarding the commonly employed electroquasistatic approximation, the fully-coupled elastodynamics and Maxwell's equations have been solved simultaneously within the mathematical framework of piezoelectric surface elasticity theory. Certain subtleties regarding the introduced interface characteristic lengths that make the examination of the size effect on the EM radiated power, scattering cross section, fundamental resonance frequency, and distribution of the magnetic field possible will be discussed. The obtained results can be helpful for... 

    Application of Deep Learning Algorithms in Railway Track Deterioration Modeling

    , M.Sc. Thesis Sharif University of Technology Fathi Jam, Faeze (Author) ; Shafahi, Yosef (Supervisor)
    Abstract
    Rail track deterioration models are integral components of rail infrastructure maintenance management systems. In particular, track geometry defects are one of the leading causes of train accidents, and control, management, and modification of the track geometric conditions are among the most important tasks of railway maintenance management systems. Track geometry data such as profile, alignment, gauge, cross-level, and twist constantly change over time. Therefore, these features have the characteristics of time series data.In this study, a large database from outputs of EM120, a track recording machine, was provided for the years 2009 to 2020 and for all 19 railway zones of Iranian... 

    Band-structure calculation of SH-waves in 1D hypersonic nano-sized phononic crystals with deformable interfaces

    , Article Mechanics of Materials ; Volume 171 , 2022 ; 01676636 (ISSN) Jam, M.T ; Shodja, H. M ; Sanati, M ; Sharif University of Technology
    Elsevier B.V  2022
    Abstract
    Nanoscopic interface deformations between the layers in a superlattice have a great impact on its phononic band-structure. This work aims to study the SH-wave band-structure in one-dimensional (1D) multilayer hypersonic nano-sized phononic crystals with consideration of local deformations at the interfaces of the layers. At this scale, the traditional theory of elasticity is unable to capture the realistic forbidden and permitted frequencies. Thus, in light of surface/interface elastodynamics theory for nanostructures with deformable interfaces, a mixed variational method which accounts for the notion of interface elasticity, deformability, and inertia is introduced in the present work. For... 

    Heat transfer analysis of a porously covered heated square cylinder, using a hybrid Navier-Stokes-lattice Boltzmann numerical method

    , Article International Journal of Thermal Sciences ; Volume 91 , May , 2015 , Pages 59-75 ; 12900729 (ISSN) Salimi, M. R ; Taeibi Rahni, M ; Jam, F ; Sharif University of Technology
    Elsevier Masson SAS  2015
    Abstract
    In this work, two-dimensional laminar flow and heat transfer across a heated square cylinder, covered by a porous layer in a plane channel have been numerically investigated. The flow and thermal fields inside the porous layer were simulated using BrinkmaneForchmeyer extended Darcy model. Simulations were performed in different Reynolds numbers (Re = 60, 120, 160, and 200), porosities (ω = 0.7, 0.87, and 0.96), solid to fluid thermal conductivity ratios (λR = 10, 200, and 2000) and blockage ratios (BR = 0.5, 0.25 and 0.125). The effects of the mentioned parameters on pressure drop and heat transfer rate were investigated in detail. Also, the contribution of each side of the central squared... 

    Pore-scale simulation of fluid flow passing over a porously covered square cylinder located at the middle of a channel, using a hybrid MRT-LBM–FVM approach

    , Article Theoretical and Computational Fluid Dynamics ; Volume 29, Issue 3 , 2015 , Pages 171-191 ; 09354964 (ISSN) Salimi, M. R ; Taeibi Rahni, M ; Jam, F ; Sharif University of Technology
    Springer New York LLC  2015
    Abstract
    A comprehensive study was performed to analyze the unsteady laminar flow characteristics around a porously covered, a fully porous, and a solid squared section cylinder located in the middle of a plane channel. In order to simulate fluid flow inside porous media and porous–fluid interface accurately (minimizing modeling error), the porous region was analyzed in pore scale, using LBM. Additionally, to minimize the LBM-related compressibility error through the porous region, a multi-block multiple relaxation time lattice Boltzmann method (MRT-LBM) was used. Also, to decrease CPU time, a Navier–Stokes flow solver, based on finite volume method and SIMPLE algorithm, was coupled with MRT-LBM to... 

    Surface/Interface Effects on The Scattering of In-Plane Elastic Waves by a Multi-Coated Nanofiber

    , M.Sc. Thesis Sharif University of Technology Taheri Jam, Masoud (Author) ; Mohammadi Shodja, Hossein (Supervisor)
    Abstract
    In the framework of surface elasticity theory, the scattering of in-plane elastic waves by a multicoated nanofiber embedded in an elastic matrix is studied. Atoms near an interface experience a local environment different from it within the bulk. Going from macro to nano dimensions, surface to volume ratio increases significantly. Thus, on this scale it is important to consider the surface/interface properties as well as the bulk properties. In this dissertation, the surface/interface is modeled by a very thin layer in which the traction and displacement are discontinuous. Effects of surface/interface parameters on the dynamic stress concentration factor (DSCF) and scattering cross section... 

    Accurate calculation of the natural frequencies of reticulated and solid cylindrical composite shells

    , Article Applied Mechanics and Materials, 29 July 2011 through 31 July 2011, Bangkok ; Volume 110-116 , July , 2012 , Pages 4598-4606 ; 16609336 (ISSN) ; 9783037852620 (ISBN) Hashemian, A. H ; Kargarnovin, M. H ; Jam, J. E ; Sharif University of Technology
    2012
    Abstract
    There are hundreds models of reticulated structures including the squared reticulated cylindrical shells. It is considered as comprising of a number of circumferential and longitudinal rods. Analytical governing equation for natural frequencies has been derived for this type of structures and to verify the validity of solutions, Finite Element Method (FEM) is used. The comparison of results demonstrate close agreement between analytical and FE solutions. Also a comparison is preformed between a reticulated and equivalent solid hollow cylinder shell. The equivalent solid hollow cylinder has equal weight, length and outer diameter with the squared reticulated cylindrical shell. This comparison... 

    Optimization of geometric parameters of latticed structures using genetic algorithm

    , Article Aircraft Engineering and Aerospace Technology ; Volume 83, Issue 2 , 2011 , Pages 59-68 ; 00022667 (ISSN) Hashemian, A. H ; Kargarnovin, M. H ; Jam, J. E ; Sharif University of Technology
    2011
    Abstract
    Purpose - The purpose of this paper is to analyze a squared lattice cylindrical shell under compressive axial load and to optimize the geometric parameters to achieve the maximum buckling load. Also a comparison between buckling loads of a squared lattice cylinder and a solid hollow cylinder with equal weight, length and outer diameter is performed to reveal the superior performance of the squared lattice cylindrical shells. Design/methodology/ approach - A cylindrical lattice shell includes circumferential and longitudinal rods with geometric parameters such as crosssection areas of the rods, distances and angles between them. In this study, the governing differential equation for buckling... 

    Modeling Propagation of Cardiac Action Potential at Cellular Level

    , M.Sc. Thesis Sharif University of Technology Farahani, Mojtaba (Author) ; Jahed, Mehran (Supervisor)
    Abstract
    Heartbeat is the result of contractions of over 10 billion cardiac cells. These cells’ cytoplasms are connected to each other by gap junctions which are arrays of intercellular protein channels. Thus action potential can propagate from one cell to another and cause its contraction. In core-conductor model, one-dimensional microscopic representation of cardiac tissue, cells are attached to each other to form a ladder network. The parallel elements are connected to each other by series resistors which represent gap junctions. These resistors are nearly always considered as static elements. In this thesis I have investigated the effects of incorporating the dynamicity of gap junction resistors... 

    Distributed Cardiovascular System Modeling

    , M.Sc. Thesis Sharif University of Technology Khani, Mehrdad (Author) ; Jahed, Mehran (Supervisor)
    Abstract
    Simulation of cardiovascular system functionality during various physiological conditions is essential at different diagnostic and clinical levels. A first step in studying the roots of cardiovascular diseases and abnormal activity is to study a practical yet complete model of the cardiovascular system. In this thesis we introduced a new approach for defining the distributed model of the cardiovascular system. Initially, we chose an appropriate subsystem, namely Arch of Aorta, and proposed a distributed model for it. The elements of the proposed model were nonlinear RLC elements that simulate resistance, blood viscosity and vessel elasticity respectively. To minimize the system complexity,... 

    Risk Breakdown Structure (RBS) Identification and Designing for projects

    , M.Sc. Thesis Sharif University of Technology Abdi, Mehdi (Author) ; Sepehri, Mehran (Supervisor)
    Abstract
    To actualize and making the outputs of a project effectual, it is necessary to conduct an effective management during a project. This case may not be possible without accurately planning for activities, management and controlling all phases of a project ignoring the risk management of that project. If risks of a project cannot be detected before conducting a project, it is possible to challenge the performance and even effectiveness of the project. In current conditions, the most important problem of managers and executives of construction projects through the country is risk management of projects, not acknowledging with definitions of risk, models of risk management and lack of a model for... 

    Introducing a suitable Controller for Rowing Activity in Patients with Spinal CordInjuries using FES

    , M.Sc. Thesis Sharif University of Technology Zarei, Mohammad (Author) ; Jahed, Mehran (Supervisor)
    Abstract
    Disconnections in neural paths from the central nervous system to the muscles or vice versa cause different neuropathies, thus paralysis in different limbs may occur. As a result of the lack of muscular activity and the decrease in blood perfusion in paralyzed limbs, problems like osteoporosis, increase in the risk of breaking, decline in muscle size, cardiovascular diseases, renal dysfunction, bedsores, etc may happen. In order to induce movement in paralyzed limbs, thus preventingmentioned problems, rowing exercise through Functional Electrical Stimulation (FES) may be utilized. In FES, electrical Stimulation using current stimulating pulses is applied to contracting and relaxing muscles,... 

    Performance Management of HSE Management System based on BSC Framework-the Case Study of Mapna Corporation

    , M.Sc. Thesis Sharif University of Technology Naseri, Amin (Author) ; Sepehri, Mehran (Supervisor)
    Abstract
    A Balanced Scorecard (BSC) model is proposed to evaluate performance of Health, Safety and Environment (HSE) management systems. This model includes key performance indicators at three integrated levels. It has been tested and verified in a project-based organization in Iran, active in the area of power and energy. Results show that the company has done well in implementing HSE management processes, but no so well in growth and learning. This model may be used as a basis for comparing different companies and various proposed programs in the field of HSE management systems. The model includes indicators and sub-indicators in each category particularly related to stakeholders, processes, and... 

    Functional Modeling of Normal and CHF Heart and Control of Total Artificial Heart- An Optimizing Approach

    , Ph.D. Dissertation Sharif University of Technology Ravanshadi, Samin (Author) ; Jahed, Mehran (Supervisor)
    Abstract
    World-wide, Congestive Heart Failure (CHF) takes hundreds of thousands of lives each year. This chronic heart disease causes poor performance of the heart and insufficient blood pumping to the organs. A significant percentage of patients with CHF require heart transplants for their survival. The high cost of heart transplant, shortage of donor hearts and possibility of its rejection by recipients are serious problems of this type of treatment. Therefore a large number of heart patients are potential beneficiaries of artificial blood pumps such as Ventricular Assist Device (VAD) and Total Artificial Heart (TAH). Performance of these systems must be compliant and complementary to the existing... 

    Identifying Affecting HR Factors on Unsuccessful Reengineering Projects

    , M.Sc. Thesis Sharif University of Technology Kordrostami, Melika (Author) ; Sepehri, Mehran (Supervisor)
    Abstract
    In this study, factors which lead in failures in reengineering processes in project based companies have been investigated. The research used qualitative methods, and finally using theme analysis to identify the main factors.Consequently, the main causes of failure of re-engineering projects have been identified and classified in six basic categories including: organizational leadership, planning, human resources management, mental models causing resistance, culture and organizational climate and communication. That each of these themes includes some subset of the agents it represents. In this study, a suitable pattern for organizations which intend to perform reengineering has been... 

    Applying Tandem CONWIP Policy to Assembly Supply Chain

    , M.Sc. Thesis Sharif University of Technology Shokoohyar, Sina (Author) ; Sepehri, Mehran (Supervisor)
    Abstract
    Supply chain management has been developed extensively in second half of last century and the development has been continued up to present century. Nowadays Development and conformity of production and inventory control methods with JIT philosophy in production line level is one of the topics that received much attention from researchers. An increasing interest in the scope of JIT philosophy is on the extension and adaptation of Pull policies such as Kanban and CONWIP for materials and production control. In a real-life environment, companies are subjected to various types of uncertainties such as stochastic processing times and variable demand. This uncertain environment could cause lots... 

    Joint Segmentation and Motion Estimation of Cardiac Cine MR Image Sequences

    , Ph.D. Dissertation Sharif University of Technology Eslami, Abouzar (Author) ; Jahed, Mehran (Supervisor)
    Abstract
    In this study a variational framework for joint segmentation and motion estimation is provided for inspecting heart in Cine MRI sequences. In the first work, a functional including Mumford-Shah segmentation and optical flow based dense motion estimation is proposed. However, the motion estimation technique is replaced with warping estimation in the second work to reach in more regular and smooth motion field based on tracking of cardiac boundaries. Both of these functionals are then approximated by using the phase-field method to make them suitable for extracting Euler-Lagrange equations. Numerical solution to the optimization problem, when the time and image spaces are discretized by finite... 

    Dynamics and Control of Needle Movement in Percutaneous Interaction with Prostate Tissue

    , Ph.D. Dissertation Sharif University of Technology Maghsoudi, Arash (Author) ; Jahed, Mehran (Supervisor)
    Abstract
    In many modern medical procedures, needle insertion is an inevitable part of the diagnosis or treatment protocols. The accuracy of the needle insertion is adversely affected by a number of factors. A needle, frequently assumed to be flexible, is inserted into a soft tissue and induces complex mechanical interactions that may result in considerable uncertainties. Tissue intrinsic characteristics as well as its deformation and rotation may cause dramatic complexities. This work considers the needle movement inside the tissue from the dynamics and control point of view. The proposed approach can be regarded as an initial step towards automation of needle insertion procedures; it can also be...