Loading...
Search for:
besharati--mohammad-reza
0.157 seconds
Total 6335 records
Semantics Based Compliance Solving
, Ph.D. Dissertation Sharif University of Technology ; Izadi, Mohammad (Supervisor)
Abstract
Compliance and Conformance are foundations for many applications and technical issues in computing, cybernetics and software engineering. The omnipresent requirement for compliance checking and solving of a system against another system is an essential need in many domains and areas. There are necessary and ever increasing applications and usefulness of compliance solving in modern paradigms of computing, such as cloud and distributed computing, natural computing, complex systems verification, normative systems planning and complex problems solving. Many research fields such as Quality assurance, safety and security, system and software evaluation, system and software architecture and...
A misbehavior‐tolerant multipath routing protocol for wireless Ad hoc networks [electronic resource]
, Article International Journal of Research in Wireless Systems (IJRWS) ; Vol. 2, Issue 9, pp. , Sep. 2013 ; Pakravan, Mohammad Reza ; Aref, Mohammad Reza ; Sharif University of Technology
Abstract
Secure routing is a major key to service maintenance in ad hoc networks. Ad hoc nature exposes the network to several types of node misbehavior or attacks. As a result of the resource limitations in such networks nodes may have a tendency to behave selfishly. Selfish behavior can have drastic impacts on network performance. We have proposed a Misbehavior-Tolerant Multipath Routing protocol (MTMR) which detects and punishes all types of misbehavior such as selfish behavior, wormhole, sinkhole and grey-hole attacks. The protocol utilizes a proactive approach to enforce cooperation. In addition, it uses a novel data redirection method to mitigate the impact of node misbehavior on network...
Determination of the size of defining set for Steiner triple systems
, Article Journal of Discrete Mathematical Sciences and Cryptography ; 2021 ; 09720529 (ISSN) ; Mortezaeefar, M ; Sharif University of Technology
Taylor and Francis Ltd
2021
Abstract
The coloring of hypergraph and its special case Steiner triple systems, STS(v), is studied extensively. But the defining set of the coloring of hypergraph even its special case STS(v), has not been explored yet. We study minimum defining set and the largest minimal defining set for 3-coloring of STS(v). We determined minimum defining set and the largest minimal defining set, for all non-isomorphic STS(v), v £ 15. Also we have found the defining number for all Steiner triple systems of order v, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order v, for each admissible v. © 2021 Taru Publications
Determination of the size of defining set for Steiner triple systems
, Article Journal of Discrete Mathematical Sciences and Cryptography ; Volume 25, Issue 8 , 2022 , Pages 2217-2235 ; 09720529 (ISSN) ; Mortezaeefar, M ; Sharif University of Technology
Taylor and Francis Ltd
2022
Abstract
The coloring of hypergraph and its special case Steiner triple systems, STS(v), is studied extensively. But the defining set of the coloring of hypergraph even its special case STS(v), has not been explored yet. We study minimum defining set and the largest minimal defining set for 3-coloring of STS(v). We determined minimum defining set and the largest minimal defining set, for all non-isomorphic STS(v), v £ 15. Also we have found the defining number for all Steiner triple systems of order v, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order v, for each admissible v. © 2022 Taru Publications
DD-KARB: data-driven compliance to quality by rule based benchmarking
, Article Journal of Big Data ; Volume 9, Issue 1 , 2022 ; 21961115 (ISSN) ; Izadi, M ; Sharif University of Technology
Springer Science and Business Media Deutschland GmbH
2022
Abstract
The problem of compliance checking and assessment is to ensure that the design or implementation of a system meets some desired properties and complies with some rules or regularities. This problem is a key issue in several human and engineering application domains such as organizational management and e-governance, software and IT industries, and software and systems quality engineering. To deal with this problem, some different approaches and methods have been proposed. In addition to the approaches such as formal methods, mathematical proofs, and logical evaluations, benchmarking can be used for compliance assessment. Naturally, a set of benchmarks can shape an applied solution to...
Analysis and Improvement of Intrusion Detection Methods in Data Network Routers
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Co-Advisor)
Abstract
High-quality online services demand reliable and fast packet delivery at the network layer. However, clear evidence documents the existence of compromised routers in the ISP and enterprise networks, threatening network availability and reliability. A compromised router can stealthily drop, modify, inject, or delay packets in the forwarding path to launch Denial-of-Service, surveillance, man-in-the-middle attacks, etc. So researches tried to create intrusion detection methods to identify adversarial routers and switches. To this end, data-plane fault localization (FL) aims to identify faulty links and is an effective means of achieving high network availability. FL protocols use...
Topological Defects in Confined Nematics by Planar Anchoring
, M.Sc. Thesis Sharif University of Technology ; Ejtehadi, Mohammad Reza (Supervisor) ; Mozaffari, Mohammad Reza (Supervisor)
Abstract
Confining nematic liquid crystal between two curved boundary conditions while the nematic molecules have a degenerate planar anchoring leads to complex and beautiful textures of molecular disparagement(defect) in the bulk and on the surfaces. Such the liquid crystal shells are made with double-emulsion techniques in microfluidic devices have provided applications for micro-scale colloidal linkers.In this work, we have numerically minimized the elastic energy in one-constant approximation in present of Fournier’s degenerate surface potential with finite element method. The nematic shell is confined between two spherical surfaces that we have studied the final energies and their related...
Design and Implementation of a Passive Ku band phase Shifter in 0.18µm CMOS Process
, M.Sc. Thesis Sharif University of Technology ; Medi, Ali (Supervisor)
Abstract
In this project, a “Ku” band (16.3GHz-17.3GHz) 6-bit phase shifter for realizing a phase array T/R module is designed, implemented and measured in CMOS 0.18μm technology. Design specifications for this block were: RMS phase error should be less than 2.5 degree in bandwidth, better than 12dB loss and better than 16dBm input 1dB compression point. High-pass/low-pass filter structure is used to implement this phase shifter. In order to decrease phase shift error in process and temperature corners, a new structure for one of bits was introduced. This structure is less sensitive to process and temperature corners and furthermore it conSumes less area in layout, but it has more loss variation...
Design of High Efficiency & Low Noise Integrated DC-DC Converter
, Ph.D. Dissertation Sharif University of Technology ; Medi, Ali (Supervisor)
Abstract
In all electronic systems, the power management unit, as one of the main parts of the system, has the task of providing the necessary voltage for each sub-block of the system. Also, different blocks of electronic systems require different levels of supply voltage. In addition, the supply voltage level of the systems has increased due to the increase in the possibility of power transmission, and at the same time, there is a possibility of a drop in the supply voltage in battery-powered systems. Therefore, a DC-DC voltage converter that has a wide range of input and output voltage can increase the flexibility of the system. The design of DC-DC voltage converters whose output noise is at the...
Solving Symmetric Nonlinear Equations System Using BFGS Trust Region Quadratic Method
, M.Sc. Thesis Sharif University of Technology ; Razvan, Mohammad Reza (Supervisor) ; Peyghami, Mohammad Reza (Supervisor)Effect of the Geometry of Colloidal Particles on Nematic Liquid Crystals
, Ph.D. Dissertation Sharif University of Technology ; Ejtehadi, Mohammad Reza (Supervisor) ; Mozaffari, Mohammad Reza (Co-Advisor)
Abstract
A liquid crystal is a state of matter composed of highly anisotropic building blocks. When liquid crystals are exposed to surfaces with given shapes and anchoring conditions, the orientation of their molecules gets spatially disordered and topological defects may form in the system. The interplay between liquid crystals and the geometry and topology of the colloidal particles has motivated extensive recent studies.In this thesis, we present the numerical modeling results for two faceted colloidal particles in a thermotropic nematic liquid crystal. To obtain the equilibrium nematic field with a finiteelement method, we numerically minimize the free energy of the system that based on the...
Design and Implementation of 2.5 Gbps Circuit Switching Fabric
, M.Sc. Thesis Sharif University of Technology ; Pakravan, Mohammad Reza (Supervisor) ; Movahhedy, Mohammad Reza (Supervisor)
Abstract
Providing high bandwidth network infrastructures for ever increasing need of data transport is of great importance. The underling infrastructure for many communication services such as GSM/3G/4G mobile networks and Internet services is Synchronous Digital Hierarchy (SDH) optical transport systems. SDH are standardized protocols that multiplex multiple lower rate digital bit streams, such as E1 and Ethernet, and transfer them synchronously over optical fiber using lasers or LEDs. In addition to high data transfer rates, flexible network management and protection mechanisms have great importance, hence are part of SDH standards. In order to obtain flexible network architecture and protected...
Preserving Privacy in Smart Grid
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Co-Advisor)
Abstract
Development of Smart Grid and deployment of smart meters in large scale has raised a lot of concerns regarding customers’ privacy. Consequently, several schemes have been proposed to overcome the above mentioned issue. These schemes mainly rely on data aggregation as a method of protecting users’ privacy from the grid operators. However, the main problem with most of these schemes is the fact that they require a large amount of processing power at the meter side. This, together with the fact that smart meters don’t usually have a powerful processor, can cause the unavailability of smart meter data at the required time for operators of the grid, and at the same time disables smart meters from...
Improvement of Routing Security in Ad Hoc Networks Against Several Attacks
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Supervisor)
Abstract
Secure routing is a major key to service maintenance in wireless ad hoc networks. Ad hoc nature exposes the network to several types of node misbehavior or attacks. Wormhole attack is one of the most severe active attacks to mobile ad hoc networks. Noting the resource limitations in such networks, nodes may have a tendency to behave selfishly. Selfish behavior can have drastic impacts on network performance. We have proposed a Misbehavior-Tolerant Multipath Routing protocol (MTMR) which detects and punishes all types of misbehavior such as selfish behavior, wormhole, sinkhole and grey-hole attacks. The protocol utilizes a proactive approach to enforce cooperation. In addition, it uses a...
Solving Nonlinear Systems of Mixed Iqualities and Inequalities Via Trust Region Quadratic Methods
, M.Sc. Thesis Sharif University of Technology ; Razvan, Mohammad Reza (Supervisor) ; Payghami, Mohammad Reza (Supervisor)Jamming Resilient Algorithms for Rendezvous in Cognitive Radio Networks
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Co-Advisor)
Abstract
Dynamic spectrum access with the aid of cognitive radio (CR) technology is a viable solution to spectrum scarcity. There are many military and emergency applications that require the use of cognitive radio ad-hoc networks (CRAHNs). In these net- works, nodes must first find each other in a wide spectrum and then exchange their desired data. The process of finding each other in a multichannel environment is a challenging task and is usually known as rendezvous. Since rendezvous is the first step in communication, disrupting will disable the nodes from establishing proper communication sessions. That results in a drastic degrade in the performance of the network. Therefore, it is important to...
Numerical Study of Spray Impingement to Solid Wall
, M.Sc. Thesis Sharif University of Technology ; Morad, Mohammad Reza (Supervisor) ; Jahannama, Mohammad Reza (Co-Supervisor)
Abstract
Spray-wall impingement is one of the phenomenon that associated in different subject such as spray cooling, combustion chamber and gas turbine. With the impingement of spray to the wall, liquid film begins to form. Wall film characteristics is still an important subject to study. Due to the various stages of liquid film formation from injection of spray till spray-wall impingement, the investigation of this phenomenon is far more complicated. This paper is meant to provide detailed data on spray-wall impingement and wall film formation physics with the help of computational analysis of OpenFOAM . A Lagrangian-Eulerian method based on discrete phase model (DPM) was employed to model...
Some natural hypomethylating agents in food, water and environment are against distribution and risks of COVID-19 pandemic: Results of a big-data research
, Article Avicenna Journal of Phytomedicine ; Volume 12, Issue 3 , 2022 , Pages 309-324 ; 22287930 (ISSN) ; Izadi, M ; Talebpour, A ; Sharif University of Technology
Mashhad University of Medical Sciences
2022
Abstract
Objective: This study analyzes the effects of lifestyle, nutrition, and diets on the status and risks of apparent (symptomatic) COVID-19 infection in Iranian families. Materials and Methods: A relatively extensive questionnaire survey was conducted on more than 20,000 Iranian families (residing in more than 1000 different urban and rural areas in the Islamic Republic of Iran) to collect the big data of COVID-19 and develop a lifestyle dataset. The collected big data included the records of lifestyle effects (e.g. nutrition, water consumption resources, physical exercise, smoking, age, gender, health and disease factors, etc.) on the status of COVID-19 infection in families (i.e. residents of...
Molecular dynamics investigation of β-SiC behavior under three-axial tensile loading [electronic resource]
, Article Journal of Computational and Theoretical Nanoscience ; November 2011, Volume 8, Number 11, PP. 2187-2192 ; Simchi, A. (Abdolreza) ; Besharati-Givi, M.K ; Rajabpour, A ; Sharif University of Technology
Abstract
Molecular dynamics (MD) simulations were used to study the mechanical behaviour of β-SiC at nano-scale under tensile loading. Effects of loading rate and tensile temperature on the mechanical properties and failure were studied. Modified embedded-atom method (MEAM) potential and Berendsen thermostat were utilized for modelling. Periodic boundary conditions were employed and the behaviour of material was analyzed under three-axial loading condition at which the stress–strain relation was acceptably size independent. It is shown that with increasing the loading rate from 5 m/s to 70 m/s, the failure strain increases without a remarkable change in the stress–strain relationship. The MD...
Assessing and Improving Algorithms to Control the Propagation of Light through Scattering Media
, M.Sc. Thesis Sharif University of Technology ; Rahimitabar, Mohammad Reza (Supervisor) ; Nasiriavanaki, Mohammad Reza (Supervisor)
Abstract
Light propagation through turbid media, such as biological tissues, experience scattering due to inhomogeneous distribution of refractive indices of their microscopic structure. Scattering and diffusion of light not only limit many optical imaging techniques, but are also big challenges for telecommunication, spectroscopy, and other optical techniques. Recently many new imaging methods are developed that work in strongly scattering media such as optical coherence tomography, diffusion tomography, and laser speckle velocimetry. In this thesis, we have studied how wavefront shaping techniques can tackle the problem of scattering. By spatially shaping the wavefront of the incident beam, using...