Loading...
Search for:
delfani--mohammad-rasoul
0.149 seconds
Total 5212 records
Mechanics and Morphology of Single-Walled Carbon Nanotubes
, Ph.D. Dissertation Sharif University of Technology ; Mohammadi Shoja, Hossein (Supervisor)
Abstract
Vibration is one of the most important factors in design, operation and lifetime of drill strings. There for, investigation of vibrations in drill string, like every other rotary machine, is very important. The main goal of this research is developing a nonlinear model for a drill string system dynamics in an inclined well. Effects of drilling mud flow rate, weight on bit, angular velocity along with viscous damping, on the stability and vibration of a drill string are studied. Dynamic equation of the model is developed considering axial displacement and lateral bending geometric nonlinear coupling. The effect of drilling mud flow is modeled using Paidoussis formulations. Equation of motion...
Investigation of Make to Order, Make to Stock and Vendor Managed Inventory Replenishment Strategies in Supply Chain Performance
, M.Sc. Thesis Sharif University of Technology ; Hajji, Rasoul (Supervisor)
Abstract
In recent years, numerous companies in various industries apply supply-chain management to improve their market competitiveness. Advances in information technology bring new approaches for managing supply chain activities. Consequently, emphasis on supply-chain coordination has increased in recent years. Vendor managed inventory (VMI) is an important coordination initiative. In VMI, the vendor assumes responsibility for managing inventories at retailers using advanced online messaging and data-retrieval systems. In this dissertation we investigate the effect of VMI on supply chain performance under make-to-order and make-to-stock environment. By using renewal reward theorem, we derive the...
Investigation of Graph Languages in Monadic Second Order Logic and ∆-regular Graph Automaton
, M.Sc. Thesis Sharif University of Technology ; Ardeshir, Mohammad (Supervisor) ; Ramezanian, Rasoul (Co-Advisor)
Abstract
In this thesis, we study monadic second order logic and the languages of graphs. We introduce the notion of ∆- regular graph automaton. Then we designed this finite automaton for processing on labeled graphs. Definability of graph languages which are recognizable by this automaton is shown. To do this, we first briefly introduced monadic second order logic, and then we studied definability of regular string and tree languages in monadic second order logic. In the last section of thesis, ∆- regular graph automaton is introduced
Automatic Music Signal Classification Through Hierarchical Clustering
, M.Sc. Thesis Sharif University of Technology ; Ghaemmaghami, Shahrokh (Supervisor)
Abstract
The rapid increase in the size of digital multimedia data collections has resulted in wide availability of multimedia contents to the general users. Effective and efficient management of these collections is an important task that has become a focus in the research of multimedia signal processing and pattern recognition. In this thesis, we address the problem of automatic classification of music, as one of the main multimedia signals. In this context, music genres are crucial descriptors that are widely used to organize the large music collections. The two main components of automatic music genre classification systems are feature extraction and classification. While features are a compact...
An enhanced continuum modeling of the ideal strength and the angle of twist in tensile behavior of single-walled carbon nanotubes
, Article Journal of Applied Physics ; Volume 114, Issue 5 , 2013 ; 00218979 (ISSN) ; Shodja, H. M ; Sharif University of Technology
2013
Abstract
By utilizing the fourth-, sixth-, eighth-, and tenth-order elastic moduli tensors of graphene a highly nonlinear constitutive model for it is proposed. Subsequently, an accurate analytical formulation, describing the entire tensile behavior of single-walled carbon nanotubes (SWCNTs) from their initial unloaded states through their ideal strengths, is made possible. The angle of twist which is a critical parameter that varies with the tensile loading is also calculated within the current framework. The estimated value of the theoretical strength of SWCNTs with different chiralities and radii as well as that of graphene ranges from 0.39 to 0.44 TPa. Some peculiarities associated with chirality...
An exact analysis for the hoop elasticity and pressure-induced twist of CNT-nanovessels and CNT-nanopipes
, Article Mechanics of Materials ; Volume 82 , 2015 , Pages 47-62A ; 01676636 (ISSN) ; Shodja, H. M ; Sharif University of Technology
Elsevier
2015
Abstract
Carbon nanotubes (CNTs) with and without end caps may be used for fluid storage and transport, respectively, referred to as CNT-nanovessel and CNT-nanopipe. The determination of the stiffness in the hoop (circumferential) and radial directions, ideal hoop strength, and hoop stress-strain curve of such nanostructures is of particular interest. Due to the proposed viewpoint, a chiral free-standing single-walled CNT (SWCNT) has a natural angle of twist and natural extension along the axis of the tube. For example, for the SWCNT (9,3) with diameter of 0.85 nm and chirality angle of 13.9°, the natural angle of twist per unit length is 1.45×10-3 rad/nm. Previously, only Vercosa et al. (2010) who...
A large-deformation thin plate theory with application to one-atom-thick layers
, Article Journal of the Mechanics and Physics of Solids ; Volume 87 , 2016 , Pages 65-85 ; 00225096 (ISSN) ; Shodja, H. M ; Sharif University of Technology
Elsevier Ltd
2016
Abstract
Nowadays, two-dimensional materials due to their vast engineering and biomedical applications have been the focus of many researches. The present paper proposes a large-deformation theory for thin plates with application to one-atom-thick layers (OATLs). The deformation is formulated exactly in the mathematical framework of Lagrangian description. In particular, an exact finite strain analysis is given - in addition to the usual strain tensor associated to the middle surface, the second and third fundamental forms of the middle surface of the deformed thin plate are also maintained in the analysis. Exact closed-form solutions for a uniaxially curved thin plate due to pure bending in one case...
Dual ideal shear strengths for chiral single-walled carbon nanotubes
, Article International Journal of Non-Linear Mechanics ; Volume 120 , 2020 ; mohamadi Shodja, H ; Sharif University of Technology
Elsevier Ltd
2020
Abstract
By considering a single-walled carbon nanotube (SWCNT) as a two-dimensional elastica obtained from the roll-up of a graphene sheet into a circular tube, the present paper develops a precise well-posed continuum theory for describing the entire torsional behavior of SWCNTs from an initial unloaded state through their ultimate levels of loading. In addition, the proposed approach can capture the dual ideal shear strengths as well as the asymmetrical behavior of chiral tubes with respect to the direction of the applied torsional loading. The theory incorporates a highly nonlinear constitutive equation which provides information about the nanoscopic morphological parameters of the tubes. As it...
Mechanics and morphology of single-walled carbon nanotubes: From graphene to the elastica
, Article Philosophical Magazine ; Volume 93, Issue 17 , 2013 , Pages 2057-2088 ; 14786435 (ISSN) ; Shodja, H. M ; Ojaghnezhad, F ; Sharif University of Technology
2013
Abstract
The elastica is referred to the shape of the curve into which the centreline of a flexible lamina is bent. Hence, single-walled carbon nanotubes (SWCNTs) are treated as the elastica obtained from bending of graphene. The corresponding large deformation accompanies both the material and geometrical non-linearities. The morphology of the free-standing SWCNTs such as the natural angle of twist, bond lengths, tube radius and wall thickness are determined. Moreover, it is shown that the induced self-equilibriated strain field has a remarkable impact on the mechanical behaviour of the nanotube. Utilization of an appropriate non-linear continuum constitutive relation for graphene leads to exact...
Ownership Structure and Firm Value: Evidence from Tehran Stock Exchange
, M.Sc. Thesis Sharif University of Technology ; Talebian, Masoud (Supervisor) ; Ebrahimnejad, Ali (Supervisor)
Abstract
There are different kinds of ownership structures. In every economy special kinds of these structures are common. These structures include Pyramidal ownership, cross-ownership, etc. These structures empower shareholders to make a gap between their cash flow right and ownership right in a special firm so they could control more firms with the same capital. These structures have their pros and cons, like the internal capital market and tunneling. Of important factors affecting these structures are Legal protection of minor shareholders, shareholder concentration, and largest shareholder. In this research, we find that, unlike most countries, there is a negative relationship between a firm's...
Determination of the scattered fields of an SH-wave by an eccentric coating-fiber ensemble using DEIM
, Article International Journal of Engineering Science ; Volume 46, Issue 11 , 2008 , Pages 1136-1146 ; 00207225 (ISSN) ; Mohammadi Shodja, H ; Delfani, M. R ; Sharif University of Technology
2008
Abstract
To date, the existing theories pertinent to the determination of the scattered fields of an inhomogeneity have been limited to certain topological symmetries for which the method of wave-function expansion is widely used. In the literature the wave-function expansion method has also been employed to the case involving concentric coated fiber. An alternative approach is the dynamic equivalent inclusion method (DEIM) proposed by Fu and Mura [L.S. Fu, T. Mura, The determination of elastodynamic fields of an ellipsoidal inhomogeneity. ASME J. Appl. Mech. 50 (1983) 390-396.] who found the scattered field of a single spheroidal inhomogeneity. The pioneering work of Eshelby [J.D. Eshelby, The...
Scattering of an anti-plane shear wave by an embedded cylindrical micro-/nano-fiber within couple stress theory with micro inertia
, Article International Journal of Solids and Structures ; Volume 58 , April , 2015 , Pages 73-90 ; 00207683 (ISSN) ; Goodarzi, A ; Delfani, M. R ; Haftbaradaran, H ; Sharif University of Technology
Elsevier Ltd
2015
Abstract
The inadequacy of traditional theory of elasticity in describing such a phenomenon as dispersion associated to a propagating wave with wavelength comparable to the intrinsic length of the medium of interest is well-known. Moreover, under certain circumstances it is incapable of capturing all the propagating waves. A remedy to such dilemmas is the employment of the more accurate higher order continuum theories which give rise to the appearance of at least one new characteristic length in the formulation. The experimental evidences as well as lattice dynamic analysis suggest that, although higher order continuum theories result in some improvements, but cannot fully overcome the...
Establishment of ISO/TS 16949:2002 Standard and Combining with Sapco 86 and AR/8601 Saipa Sazeh Gostar Requirements in Auto Parts Manufacturing Company
, M.Sc. Thesis Sharif University of Technology ; Hajji, Rasoul (Supervisor)
Abstract
The quality is the last word of customer satisfaction concept. The structure and the main goal of many of large and small companies have been formed with systems aggregate related to process and product quality. Whereas quality is not achieved only under the protection of inspecting and controlling, then the quality management standards have been designed and produced to control all the activities and organization effective processes. Quality management standards in auto industries have been developed with increasing of customer desire and their severity simultaneously. Which the set of some standards such as ISO 9000, QS 9000, VDA, … and the most ISO TS 16949 requirements have been used....
Economic Batch Quantity (EBQ) for a Single-Stage Production System with Rework and Scrapping
, M.Sc. Thesis Sharif University of Technology ; Haji, Rasoul (Supervisor)
Abstract
The classical economic batch quantity (EBQ) model assumes that all produced items have a perfect quality. But in real-life production systems, generation of defective items is inevitable. A portion of these defective items is considered to be scrap , while the other is assumed to be reworkable and reworking them can reduce costs and increase productivity. In this thesis we have studied the economic batch quantity for a single stage production system with rework and scrapping . We want to satisfy the customer demand and minimize total costs of the system like set up costs , production costs , rework costs , holding costs , shortage costs and scrapping costs . In the first chapter of this...
Systematic Planned (Preventive) Maintenance in Hospitals And Medical Centers of Iran
,
M.Sc. Thesis
Sharif University of Technology
;
Haji, Rasoul
(Supervisor)
Abstract
Based on the latest statistical figures, more than 50 billion Rials worth of medical equipment exists in Iran’s medical centers. In spite of this, Breakdown maintenance is used in all hospitals, which means that the equipment is utilized as long as it is not out of order and only in such a situation, i.e. a breakdown, the necessary repair operation is conducted on the equipment. In fact, no maintenance is carried out to prevent a breakdown, while the “prevention from breakdown” concept has long been introduced in the majority of industries in many countries including Iran and its positive impacts are undisputable. This thesis aims at proposing a solution for the implementation of a “planned...
A Semantic-Aware Authorization Model Based on Deontic Logic
, Ph.D. Dissertation Sharif University of Technology ; Jalili, Rasoul (Supervisor)
Abstract
Semantic technology provides an abstraction layer above existing computational environments, especially the Web, to give information a well-defined meaning. Moving toward semantic-aware environments imposes new security requirements. One of the most important requirement is the authorization and security policy inference based on the existing semantic relationships in the abstract (conceptual) layer. Most of the authorization models proposed for these environments so far are incomplete and their inference rules are not guaranteed to be consistent, sound, and complete. To have a sound and complete system for policy specification and inference, in this thesis, a family of modal logics, called...
Formal Verification of Privacy Property Using Applied Pi Calculus and Epistemic Logic
, M.Sc. Thesis Sharif University of Technology ; Ramezanian, Rasoul (Supervisor)
Abstract
Applied pi calculus is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the security guarantees are usually stated as equivalences. While process calculi provide a natural means to describe the protocols themselves, epistemic logics are often better suited for expressing certain security properties such as secrecy and anonymity. These methods studied in this work to investigation the verification of privacy properties in security protocols. And finally, a new approach is introduced to bridge the gap between these two approaches: using the set of traces generated by a process as models. In this method an epistemic logic has constructs for...
Query Correctness Assurance for Outsourced Databases
, M.Sc. Thesis Sharif University of Technology ; Jalili, Rasoul (Supervisor)
Abstract
In the secure data outsourcing scenario, verification of the reply of an unreliable server includes assessing the authenticity, completeness and it’s integrity. In this thesis, an efficient method, with emphasis on freshness, has been introduced to evaluate the correctness of the replies from a server. It takes in hand different application needs, inherent differences in the data, and different update mechanisms. This method evaluates freshness by using timestamps alongside the data being out sourced. Due to the requirement of verifying not only the freshness of the response, but the correctness of the timestamps as well, two general methods for evaluating and verifying the responses were...
Access Control in Semantic Social Network
, M.Sc. Thesis Sharif University of Technology ; Jalili, Rasoul (Supervisor)
Abstract
Growth of tools that ease sharing information and resources in social networks can cause privacy issues for the users. Protecting user’s personal information against unauthorized access is a crucial task, and it is considered as a first step for preserving user’s privacy in such networks. Policies, access control rules, and the way rules are applied to online social networks are issues that are less investigated and most existing frameworks have used simple models. Growth of users joining social networks and significant volume of resources shared in these networks make such environments suitable for using semantic technology. Semantic technology is used for modeling various resources, users,...
“Determination of Economic Order and Production Quantity in Inventory System Regarding the Quality of Items”
, M.Sc. Thesis Sharif University of Technology ; Haji, Rasoul (Supervisor)
Abstract
EOQ and EPQ models have been among the most important and commonly used techniques for about 100 and 60 years respectively .But, they are involved in some assumptions that sometimes prevent them from being implemented in real situation of industry and production. One of these unrealistic assumptions is that all of items received or produced are of perfect quality. In order to overcome this constraint and make the mentioned models closer to the real environmentsome researches have been done. To this end,following the previous attemptsin this project we assumed to have destructive inspections and existence of imperfect and rejected items after rework. In our models, considering 3 circumstances...