Loading...
Search for: hashemi---abdol-rasoul
0.191 seconds

    Efficiency Enhancement of Silicon Solar cell with Metallic Nanoparticles

    , M.Sc. Thesis Sharif University of Technology Hashemi, Mehdi (Author) ; Sadighi Bonabi, Rasoul (Supervisor)
    Abstract
    By using Mie theory and experimental data for complex refractive index of Au and Ag nanoparticles, the scattering and absorption efficiency of these nanoparticles in silicon medium (crystalline, Polycrystalline and amorphous silicon) was investigated. It was shown that Ag and Au nanoparticles can be used for confine the light, in desired wavelength band, inside the solar cell.The optimum nanoparticle size for using in this kind of solar cells was about 70-80 nm. In amorphous silicon confined photons cannot participate in electron-hole generation so the application of these metal nanoparticles in this kind of solar cells cannot be useful. Also the complex refractive index for equivalent... 

    A Theoretical Investigation of Adsorption Energy of a Simple Reaction of FTS by Density Functional Theory (DFT)

    , M.Sc. Thesis Sharif University of Technology Hashemi , Abdol Rasoul (Author) ; Gholami, MohammadReza (Supervisor) ; Alahyfard, MohammadReza (Co-Advisor)
    Abstract
    The advent and advancement of technology through the conversion of Gas-Synthesis (a mixture of CO and H) into liquid hydrocarbons, by Fischer- Tropsch synthesis (FTS) gives more promising future in this field. Metals such as cobalt, nickel, zinc and iron are used as catalysts for FTS. Studies have shown that the surface structure of metal catalyst has a great influence on the process, and leads to different products and transition states. Iron has been known the most used and the most cost-effective metal catalyst in FTS. Different surfaces of Iron have different catalytic roles. In our work, Fe(100) -that is the most stable after Fe(110) and is known as the most active iron’s surface in... 

    Color Changing Structures Inspired by Nature

    , Ph.D. Dissertation Sharif University of Technology Hashemi Abrandabadi, Saeed (Author) ; Sadighi Bonabi, Rasoul (Supervisor) ; Anvari, Abbas (Supervisor)
    Abstract
    Structures that change color in an adjustable way have been noticed in recent years. There are structures in nature such as the skin of chameleons and octopuses and other animals that can change color. In recent years, inspired by these structures, materials based on photonic crystals or surface plasmonics have been proposed to change color. In this research, a review is made on these structures in nature as well as recent efforts to make such materials. In fact, photonic crystals create a special color due to the interference between scattered waves. For example, the change in the distance between the nanoparticles in the photonic crystals inside the chameleon skin is the cause of its color... 

    Investigation Hydrogen Properties of Nano Composite MgH2-Ti Cr1.2Fe0.6 Nano Crystalline Synthesized by Mechanical Alloying and Vacuum Arc Re-Melting(VAR)

    , M.Sc. Thesis Sharif University of Technology Mahmoudi, Nafiseh (Author) ; Simchi, Abdol Reza (Supervisor)
    Abstract
    In this research, nano composite MgH2-TiCr1.2 Fe0.6 nano crystalline was synthesized by mechanical alloying and Vacuum arc re-melting (VAR). the effect of Milling conditions and adding nano crystalline TiCr1.2 Fe0.6 as a catalyst on the structure and hydrogen desorption properties of MgH2 were studied. MgH2 powder grain size after 4 hours milling gained to 15nm and strain network reached to 0.8%. Determined that the increasing of accumulated lattice strain because of mechanical milling combined with adding nano crystalline alloy TiCr1.2 Fe0.6 significantly improve the properties of MgH2 hydrogen desorption. After an hour mill working, high pressure phase of γ-MgH2 was appeared in... 

    Designing an Environmentally Friendly Model for Integration Direct and Reverse Supply Chain Network in a Simultaneous Manner

    , M.Sc. Thesis Sharif University of Technology Yazdanpanah, Majid (Author) ; Eshragh, Abdol Hamid (Supervisor)
    Abstract
    Designing a supply chain of a network is the most important strategic decisions that contribute to the overall stability of it. One of the most sustainable competitive advantage for countries is to make the supply chain activities more efficient and effective. One of the major activities that could be saving a lot on costs, is the logistics activities. Forward and reverse logistics to design independently and asynchronously could provide sub-optimality. Therefore, many companies have been increasingly integrated into the supply chain and logistics networks. Furthermore, concerns for the environmental issues were lead the companies to the closed-loop supply chain that is provided by... 

    Productivity Improvement Management Cycle at the Deeds and Properties Registration Org. of Tehran Province

    , M.Sc. Thesis Sharif University of Technology Torkaman, Masoud (Author) ; Eshragh Nia Jahromi, Abdol Hamid (Supervisor)
    Abstract
    Organizations are established and developed based on a specific existence policy. They would exist as long as they are able to do their basic mission. An organization could perform its mission through some work processes. The better processes makes higher organization’s productivity. In order words desirable quality and quantity of an organization depends on processing functions. Improved processes use minimum resources to achieve efficiency maximum. Deeds and Properties Registration Org. (DPRO) is a unit, which maintains and supports national security through arranging individual social and economic relations, the organization has an outstanding position. Following composition of 20-year... 

    Synthesis and Stability Improvement of Perovskite QDs for Optoelectronic Devices

    , M.Sc. Thesis Sharif University of Technology Hasanzadeh Azar, Mahdi (Author) ; Simchi, Abdol Reza (Supervisor)
    Abstract
    In the last years, perovskite QDs have emerged as the novel candidate due to their unique optical properties such as high-absorption coefficient, long-range charge transport, low exciton-binding energy, and etc. Nonetheless, poor stability of perovskite in ambient conditions made researchers to consider this issue. Recently, amoung various types of organic-inorganic perovskites, Formamidinium lead iodide has attracted tremendous attention due to its near IR absorption wavelength in addition to the higher stability compared to MAPbI3. In this work, FAPbI3 perovskite stability improvement was investigated by several methods under different conditions. In the first step, FAPbI3 QDs colloidal... 

    Synthesis of Antibiotic-eluting Chitosan-based Composite Coating by Electrophoretic Deposition for Bone Implants

    , M.Sc. Thesis Sharif University of Technology Bakhshi, Zahra (Author) ; Simchi, Abdol Reza (Supervisor) ; Bagheri, Reza (Supervisor)
    Abstract
    Drug-eluting bone implant coatings is a new era that has gained a lot of attention in recent years. In this matter, drug is loaded in the coating and local and targeted release of the drug results in preventing the side effects of implantation and increasing the healing process of the patient. The aim of this project was to synthesis the antibiotic eluting chitosan-based composite using electrophoretic deposition for bone implant coating. By using electrophoretic deposition chitosan and chitosan-bioglass composite coatings were synthesized. Then the probability of loading of drug into coating by using electrophoretic deposition was evaluated and by using this process chitosan and... 

    Economic Batch Quantity (EBQ) for a Single-Stage Production System with Rework and Scrapping

    , M.Sc. Thesis Sharif University of Technology Rahmani, Vasim (Author) ; 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 Faghihi, Farshid (Author) ; 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... 

    Analysis of Non-monotonicity Property in Access Control for Pervasive Computing Environment

    , M.Sc. Thesis Sharif University of Technology Javadi, Ahmad (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    Access control, which is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied, plays an important role in the system security. The existing of non-monotonicity property in a deduction and decision making process means that some of the previous deductions or decisions may be retracted by adding new information and premises. Based on the definition, in a non-monotonic access control system, adding new information or access control rules may invalidate some of the previous conclusions (permissions/prohibitions). The requirements such as decision making based on the imperfect information, supporting... 

    Transportation Problem of Hub Network with Direct Links

    , M.Sc. Thesis Sharif University of Technology Shakeri, Hamed (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    Hub and Spoke networks come into play when considering direct link between all origins and destinations is either impossible or expensive in a transportation system. In this kind of problems, some nodes are chosen as hub from all origin and destination nodes to collect flows and then distribute them. Implementing hub network leads to minimizing transportation cost, sorting flows and conveying them in economies of scale. Otherwise, shipping flows directly may cause decreasing the travelling distance and the delivery time consequently. In this dissertation, combination of hub network and direct shipment is investigated. To obtain the optimal hub locations and direct links between non-hub nodes... 

    Punishment Normative Systems

    , M.Sc. Thesis Sharif University of Technology Feghhi, Saman (Author) ; Ramezanian, Rasoul (Supervisor)
    Abstract
    In real life, we can not always expect agents and authorities to have the same desires. Also when it comes to conflicts, agents always tend to break the authorities’ norms to follow their own strategies. Hence we can not expect strict norms to model an actual real life situation.In this article we introduce punishment normative systems, based on multi-agent Marokov chain processes (MMDPs). We try to extend the punishment idea to be also applicable on long-run and infinite strategies. We consider a version of the multi-agent model that is widely used in different situations and then provide an algorithm to find a fair normative system that distributes obligations equally on the agents, while... 

    Optimum Ordering Policy in Vendor Managed Inventory (VMI) with Discrete Demand and Backorder

    , M.Sc. Thesis Sharif University of Technology Mofidi, Shahab (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    This research deals with a supply chain consisting of one vendor and several retailers. Every retailer orders a fixed discrete quantity in fixed discrete time intervals. Order quantity and order cycle of each retailer could be different from the others. The vendor orders the required quantity to a supplier to fulfill the received demands. Also the vendor orders a discrete quantity, which will be immediately received at the vendor’s warehouse. In this supply chain system, the lead-time is assumed to be zero and shortage is allowed for vendor. The aim is to find minimum vendor’s inventory cost. We proposed a backward Dynamic Programming algorithm for the model. The algorithm creates vendor’s... 

    A Semantic-Aware Authorization Model Based on Deontic Logic

    , Ph.D. Dissertation Sharif University of Technology Amini, Morteza (Author) ; 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... 

    Query Correctness Assurance for Outsourced Databases

    , M.Sc. Thesis Sharif University of Technology Noferesti, Morteza (Author) ; 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 Alizadeh, Mahdi (Author) ; 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,... 

    Selecting and Optimizing Portfolio Using Methaheuristic Methods

    , M.Sc. Thesis Sharif University of Technology Kord, Aisheh (Author) ; Rmezanian, Rasoul (Supervisor)
    Abstract
    Portfolio is a collection of different stocks for investment. The investors' objectives in portfolio formation are to get the highest return against exposure to the lowest risk. Portfolio Optimization Problem is one of the most complicated problems in investment and finance. It may be simply explained as follows: Let's imagine a set of N stocks for selection. We would like to see what percentage of the total amount of investment should be dedicated to each stock to maximize portfolio's total return and minimize its total risk.
    Portfolio Optimization Problem is a NP-Hard problem and generally there exists no polynomial-time deterministic algorithm to find a precise solution to such a... 

    “Determination of Economic Order and Production Quantity in Inventory System Regarding the Quality of Items”

    , M.Sc. Thesis Sharif University of Technology Torabi, Hassan (Author) ; 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... 

    Formal Verification of Privacy Property Using Applied Pi Calculus and Epistemic Logic

    , M.Sc. Thesis Sharif University of Technology Mohammadi, Jamal (Author) ; 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...