Loading...
Search for:
amini-khorasgani--hamidreza
0.104 seconds
Total 412 records
A Lattice based Secret Sharing Scheme with Changeable Threshold
,
M.Sc. Thesis
Sharif University of Technology
;
Aref, Mohammad Reza
(Supervisor)
;
Eghlidos, Taraneh
(Co-Advisor)
Abstract
The need to protect the key in cryptosystems has been a motivation of studying secret sharing schemes. A secret sharing scheme is a method for sharing a secret data (key) by distributing some values, called shares, to a number of participants in such a way that only some authorized subset of them can recover the secret. In a threshold secret sharing scheme, authorized subsets are those whose size are at least a given value called threshold of the scheme. Increasing the attacker capabilities in achieving the participants’ shares, requires an increase in the threshold parameter. In a changeable threshold secret sharing scheme, participants ate able to compute new shares from their old shares...
On-Line Energy Management for Fault-Tolerant Real-Time Embedded Systems
, M.Sc. Thesis Sharif University of Technology ; Ejlali, Alireza (Supervisor)
Abstract
Providing low-power fault tolerance is usually an important requirement in real-time embedded systems. A faulty result in safety-critical systems and a failure to meet a deadline in hard real-time systems can cause catastrophic consequences for the system or environment. Therefore, these systems must be highly reliable and meet real-time constraints. Slack time in time redundancy techniques (e.g. roll-back recovery) can be used to increase system reliability and to save energy. Time redundancy techniques are suitable from an energy consumption point of view but may not be sufficiently reliable for tight real-time constraints. In the condition of tight timing constraints, the hardware...
Parametric Study and Numerical Simulation of Spiral Wound Heat Exchanger Performance at Cryogenic Temperatures
, M.Sc. Thesis Sharif University of Technology ; Afshin, Hossein (Supervisor)
Abstract
Cryogenic is the study of physical phenomena at temperatures below 123 Kelvin. One of the applications of cryogenic science is the liquefaction of gases. In the liquefaction cycles of gases, such as helium liquefaction, fluidization occurs in the pressure reducing valve but temperature of the gas should be greatly reduced before it enters the pressure reducing valve. For this purpose, high-performance heat exchangers should be used. Spiral Wound is one of the heat exchangers that has ability to achieve over 90% efficiency due to its structure. Researchs in the field of design and simulation of spiral heat exchangers are limited and are done with a lot of simple assumptions such as constant...
Comparison of Switching Stream Cipher Systems
, M.Sc. Thesis Sharif University of Technology ; Daneshgar, Amir (Supervisor)
Abstract
In this thesis, we analyze and compare switching and CPSP cryptography systems. CPSP is a dynamic system which can act as synchronized or self-synchronized stream cipher under specific conditions. To do the comparison, first we have a brief review of cryptography fundamentals like stream cipher systems, synchronized stream ciphers, and self-synchronized ones. Then, we consider chaos systems in general form and then we present their role in cryptography systems, and in continue by introducing switching cryptography systems and also CPSP cryptography systems, and analyzing their relation with self-synchronized stream ciphers, we do our statistical tests on them
Investigating One-pot Three Component Synthesis of ß-Amino Carbonyl Compounds Exploiting Hydrolases: Protein Splicing Enzyme and N-Acetylmuramide Glycanhydrolase
, M.Sc. Thesis Sharif University of Technology ; Kalhor, Hamidreza (Supervisor)
Abstract
The application of biocatalysts in organic reactions refers to the use of enzymes, purified or crude, to increase the reaction rate. The usage of biocatalysts in organic reactions have many advantages, including biocompatibility, ease of separation, high yield, reusability without losing activity, high selectivity, and the use of water as the solvent. Furthermore, the carbon–carbon bond formation is one of the most important reactions in the synthesis of organic compounds, drugs, and biomolecules. Using enzymes in organic reactions can provide insightful information about the enzymes catalytic activities and paves the way for systematic investigation of their mechanisms. The enzymes...
Analysis of Firm-level Factors Fffects in Success of Financing with Credit Guarantee-Case Study of Iranian Technology Fund
, M.Sc. Thesis Sharif University of Technology ; Souzanchi Kashani, Ebrahim (Supervisor)
Abstract
Financing is an important barrier in growth path of small and medium-sized technology-based firms. Using guarantee letters to ease access of such firms to credit, is one way to encounter this barrier. In this study, the pioneer research and technology fund in offering this service to technology-based firms in Iran have been considered. Credit guarantee issuance records of this fund illustrates that none of credit guarantee letters certified by this fund has been defaulted yet. Comparison of fund’s credit scoring model with Chandler’s framework for organizational capabilities reveals that the fund does not investigate marketing and managerial capabilities in its credit scoring model. So, the...
Application of Semi-Supervised Learning in Image Processing
, M.Sc. Thesis Sharif University of Technology ; Rabiee, Hamidreza (Supervisor)
Abstract
In recent years, the emergence of semi-supervised learning methods has broadened the scope of machine learning, especially for pattern classification. Besides obviating the need for experts to label the data, efficient use of unlabeled data causes a significant improvement in supervised learning methods in many applications. With the advent of statistical learning theory in the late 80's, and the emergence of the concept of regularization, kernel learning has always been in deep concentration. In recent years, semi-supervised kernel learning, which is a combination of the two above-mentioned viewpoints, has been considered greatly.
Large number of dimensions of the input data along with...
Large number of dimensions of the input data along with...
A General Theorem For Portfolio Generating Functions
, M.Sc. Thesis Sharif University of Technology ; Farhadi, Hamidreza (Supervisor)
Abstract
Portfolio generating functions are positive twice continuously differentiable functions of the common or ranked market weights. The return on such portfolios related to the market with a stochastic differential equation that has two components: the logarithmic change in the value of the generating function, and a drift process that is of bounded variation. The goal of this study is to generalized portfolio generating functions theorem for ’ functions, in order to cover some important functions in economic such as Gini coefficients
A lattice-based threshold secret sharing scheme
, Article 2014 11th International ISC Conference on Information Security and Cryptology, ISCISC 2014 ; Sept , 2014 , pp. 173-179 ; ISBN: 9781479953837 ; Asaad, S ; Eghlidos, T ; Aref, M ; Sharif University of Technology
2014
Abstract
In this paper, we introduce a method of threshold secret sharing scheme in which secret reconstruction is based on celebrated Babai lattice algorithm. In order to supply secure public channels for transmitting shares to parties, we need to ensure that there is no quantum threats to these channels. One solution for this problem can be utilization of lattice cryptosystems for these channels which requires designing lattice based secret sharing schemes. We indicate that our scheme is asymptotically correct. Moreover, we analyze the security of our scheme by giving a quantitative proof of security from the view point of information theory
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...
A Survey Of Topological,Algebraic And C ∗-Algebraic K-Theory
, M.Sc. Thesis Sharif University of Technology ; Fanai, Hamidreza (Supervisor)
Abstract
In this thesis we study three versions of K−theory. The most well-known vesrsion is topological K−theory, a generalization of Grothendieck works on algebraic varieties to the topological setting by Atyiah and Hirzebruch. Since its birth it has been an indespensible tool in topology,differential geometry and index theory. In the early 1970s C∗−algebraic version of K−theory introduced through associating two abelian groups,K0(A)and K1(A)to a C∗−algebra like A. These functors proved to be a powerful machine, making it possible to calculate the K−theory of a great many C∗−algebras. At last,algebraic K−theory is dealig with linear algebra over a ring R by associating it, a sequence of abelian...
An Application of Stochastic Optimal Control in Solving the Mean-variance Portfolio Selection Problem
, M.Sc. Thesis Sharif University of Technology ; Farhadi, Hamidreza (Supervisor)
Abstract
In this essay, by putting in the framework of linear-quadratic optimal control (LQ),we study and solve the mean-variance portfolio selection problem. Two models will be studied in our work; in one we assume that the price process satisfies a diffusion stochastic differential equation, while in the second model, we assume it to satisfy a jump-diffusion stochastic differential equation. In both models, a formula for the efficient frontier is obtained. This essay is mainly obtained from the works of the following articles and books:
1)X.Y. Zhou and D. Li, Continuous-Time Mean-Variance Portfolio Selection:A Stochastic LQ Framework. Applied Mathematics and Optimization. 42(2000),...
1)X.Y. Zhou and D. Li, Continuous-Time Mean-Variance Portfolio Selection:A Stochastic LQ Framework. Applied Mathematics and Optimization. 42(2000),...
Customer Churn Prediction in Therapy Policy in Iran
, M.Sc. Thesis Sharif University of Technology ; Aslani, Shirin (Supervisor) ; Arian, Hamidreza (Supervisor)
Abstract
Using customer relationship management systems has led to the formation of databases containing businesses customer information. Increased competition in the markets, limited resources and high costs of attracting new customers compared to retaining existing customers have made customer retention an inevitable subject for business owners. Meanwhile, insurance companies, which due to their long history have suitable databases of product information and their customers, have resorted to using their databases to manage the relationship with their customers. In this research, while predicting customers churn in health insurance, as one of the most widely used products of domestic insurance...
Experimental Removal of Diesel in Soil Using Indigenous Microorganisms Isolated Iran
, M.Sc. Thesis Sharif University of Technology ; Kariminia, Hamidreza (Supervisor) ; Yaghmaei, Soheila (Supervisor)
Abstract
Crude oil and petroleum products at the time of extraction, production and transportation cause serious contaminations in soil, water and environment. Biological methods have shown a promising effect for the cleanup of these hydrocarbon pollutants. Bioremediation employs the metabolic activity of microorganisms capable of using oil as their energy and carbon source. Biological methods are also less expensive than other cleanup technologies such as incineration and landfill. Large number of microbial stains have been discovered in nature, capable to degrade oil and petroleum products. Biological cleaning of oil contamination by microorganisms occurs naturally in the environment. It has been...
A Fine Grained Access Control Mechanism for Hybrid Mobile Applications in Android
, M.Sc. Thesis Sharif University of Technology ; Kharrazi, Mehdi (Supervisor) ; Rabiee, HamidReza (Co-Advisor)
Abstract
Hybrid mobile applications combine the features of Web technologies and native mobile apps. Like Web applications, they are implemented in portable, platform independent languages such as HTML and JavaScript. Like native apps, they have direct access to local device resources. In these programs, web contents are loaded into a web component, called WebView, which can render HTML5 pages and execute JavaScript code. In order for the web content to access the system resources, which are isolated from the content inside Web-View due to its sandbox, bridges need to be built between JavaScript and the native code. developers usually use third party plug-ins for native side of application. hybrid...
Estimation of a Portfolio's Value-at-Risk Using Variational Auto-Encoders
, M.Sc. Thesis Sharif University of Technology ; Arian, Hamidreza (Supervisor) ; Talebian, Masoud (Supervisor)
Abstract
One of the most crucial aspects of financial risk management is risk measurement. Advanced AI-based solutions can provide the proper tools for assessing global markets, given the complexity of the global economy and the violation of typical modeling assumptions. A new strategy for quantifying stock portfolio risk based on one of the machine learning models known as Variational Autoencoders is provided in this dissertation. The suggested method is a generative model that can learn the stocks' dependency structure without relying on assumptions about stock return covariance and produce various market scenarios using cross-sectional stock return data with a higher signal-to-noise ratio. We...
Fabrication of Appropriate Membrane for Treatment and Reuse of Grey Water
, M.Sc. Thesis Sharif University of Technology ; Mousavi, Abbas (Supervisor) ; Kariminia, Hamidreza (Supervisor)
Abstract
In this study preparation of polymeric membrane for grey water treatment is examined. Grey water is the wastewater that is produced by household activities such as baths, showers and sinks. These sources make 50 to 80 percent of total household wastewater. Because of low contamination of these kind of wastewater, they can be treated with Nanofiltration membrane process. Membrane used for treatment is thin composite polyamide membrane. This membrane is made with interfacial polymerization reaction of Piperazine and m-phenylenediamine as amine monomer and trimesoyl chloride as chloride acid monomer on a Polysulfone ultrafiltration membrane. In order to promote the flux, Polyethylene glycol is...
Investor Experience in Chabahar Free Zone: Scale Generation
, M.Sc. Thesis Sharif University of Technology ; Najmi, Manoochehr (Supervisor) ; Arian, Hamidreza (Supervisor)
Abstract
Free economic zones in Iran have been established with the goal of developing infrastructure, improving living conditions, fostering economic growth, attracting capital and increasing income, productive job creation, regulating job and goods market, maintaining active presence in international and regional markets, manufacturing and exporting of goods and providing public services. Yet many free economic zones have fallen short of these goals. Considering the government's inability to fund the development of the free economic zones with its limited financial capacity and shortcomings in terms of management system, it is imperative to the development of these regions that private sector...
Effect of Salinity on MLE Process Function
,
M.Sc. Thesis
Sharif University of Technology
;
Borghei, Mehdi
(Supervisor)
;
Kariminia Hamedani, Hamidreza
(Supervisor)
Abstract
Removing nitrogen, as one of the most important contaminants of surface and ground water, needs to be considered. Since this material minimizes water quality and makes it useless. On the other hand, many industries as refineries have saline wastewater which their salinity removal is not economical by physical and chemical methods and is often impossible. Although biological treatment of saline wastewater has its problems, biological nitrification and denitrification are efficient and economical methods for nitrogen removal from industries saline wastewater. In this research, moving bed biofilm reactor (MBBR) adopted from Modified LUDZACK – ETTINGER (MLE) method has been used in order to...
Using Deep Neural Networks in Reinforcement Learning
, M.Sc. Thesis Sharif University of Technology ; Soleymani Baghshah, Mahdieh (Supervisor) ; Rabiei, Hamidreza (Supervisor)
Abstract
Reinforcement learning is a field of machine learning which is more similar to human training procedures.It uses reward signals to train an agent designed to act in that environment. Deep neural networks enhance the agent’s ability to determine and act better in its complex environment. Most previous works have addressed model-free agents, which ignore modeling details of the environment that in turn can be used to achieve better results. On the other hand, humans utilize a model-based approach in their decision-making process. They use their knowledge to predict the future and choose the action that leads them to a better state. To combine the benefits of model-based and model-free designs,...