Loading...
Search for: computation-theory
0.016 seconds
Total 197 records

    An Approach to Computation based on Discrete Dynamical Systems

    , M.Sc. Thesis Sharif University of Technology Dastgheib, Doratossadat (Author) ; Daneshgar, Amir (Supervisor)
    Abstract
    In this thesis, based on an idea of A. Daneshgar [On mathematical foundations of soft computing, 11th IFSC, Zahedan, Iran(2011).], we propose a general framework to model computation which is based on discrete dynamical systems. In this regard, we formulate and justify local property as the key concept characterizing computation machines within this framework. We show that our model covers most known computation machines as classical and BSS models, Petri nets, cellular automata, Markov chains and etc. . We also study the computational power of our machine based on a variant of restrictions imposed on its different components, as its memory, or its control, and we suggest that such a... 

    A Model for Analysis of Computational Learning

    , M.Sc. Thesis Sharif University of Technology Sattari Javid, Ali (Author) ; Daneshgar, Amir (Supervisor)
    Abstract
    The subject of this thesis is about a certain set of algorithms that try to indirectly solve problems. Instead of a programmer crafting an algorithm to solve a problem, these algorithms learn a solution themselves. These methods are usually studied in the Probably Accurately Correct (PAC) learning model. Although, PAC Learning is a generally accepted model, it falls short to describe certain aspects of learning algorithms. Many learning methods rely on convergence to minimize error, or maximize their fitness, yet the PAC model doesn’t explicitly provide any means to measure these behaviours. In this thesis, we first go through different models related to computational requirements of... 

    Intentionality and Mental Models

    , M.Sc. Thesis Sharif University of Technology Norouzi, Faezeh (Author) ; Azadegan, Ebrahim (Supervisor)
    Abstract
    One of the important issues in the philosophy of mind is the challange about the content of mental states, how the mind can refer to the world. To explain this special relationship that is not observed in the physical world, various mental models have been implemented, one of which is the connectionism model. Connectionist networks are based on the idea of biological neural networks, and the main concern of connectionism is modeling the brain and implementing human mind characteristics. The connectionist model was proposed by emphasizing the necessity of linking symbols with their original content and meaning. In this model, data representation is done in a holistic way and based on network... 

    Effects of K doping on electronic structure of Ba1-xKxFe2As2 superconductor by ab-initio density functional theory

    , Article Physica C: Superconductivity and its Applications ; Vol. 507, issue , Dec , 2014 , p. 22-24 Sandoghchi, M ; Khosroabadi, H ; Akhavan, M ; Sharif University of Technology
    Abstract
    The crystal and electronic structures of normal phase of Ba1-xKxFe2As2 for x = 0.0, 0.5 and 1.0 have been studied by using pseudopotential Quantum Espresso code based on ab-initio density functional theory. Effects of K doping on the crystal structure and lattice parameters have been calculated and compared with the experimental and computational reported data for similar compounds. The metal-metal bonding scenario was used to explain the changes of lattice parameters by K doping. The electronic structure of this system including of density of states and band structure have been calculated and investigated by K doping. One of the interesting results is that a larger peak is appeared near the... 

    Dynamic analysis of electrostatically actuated nanobeam based on strain gradient theory

    , Article International Journal of Structural Stability and Dynamics ; Volume 15, Issue 4 , 2014 ; ISSN: 02194554 Miandoab, E. M ; Pishkenari, H. N ; Yousefi Koma, A ; Sharif University of Technology
    Abstract
    In this study, dynamic response of a micro- and nanobeams under electrostatic actuation is investigated using strain gradient theory. To solve the governing sixth-order partial differential equation, mode shapes and natural frequencies of beam using Euler–Bernoulli and strain gradient theories are derived and then compared with classical theory. Galerkin projection is utilized to convert the partial differential equation to ordinary differential equations representing the system mode shapes. Accuracy of proposed one degree of freedom model is verified by comparing the dynamic response of the electrostatically actuated micro-beam with analogue equation and differential quadrature methods.... 

    Pricing and lead-time decisions in a decentralized supply chain under competition

    , Article CIE 2014 - 44th International Conference on Computers and Industrial Engineering and IMSS 2014 - 9th International Symposium on Intelligent Manufacturing and Service Systems, Joint International Symposium on "The Social Impacts of Developments in Information, Manufacturing and Service Systems" - Proceedings ; 2014 , p. 250-259 Afzalabadi, M ; Shavandi, H ; Sharif University of Technology
    Abstract
    In this paper we study a two-echelon decentralized supply chain consists of one retailer and several manufacturers in competitive environment. The manufacturers compete on their price and lead time. To model the interactions between the retailer and manufacturers, we use Stackelberg game in which the manufacturers decide on their wholesale price and lead time as leader and the retailer decides on retail price and its order quantity to each manufacturer as follower. Besides, we use the Nash Equilibrium analysis to investigate the horizontal competition between manufacturers to model their simultaneous decision making on their price and lead time. In this problem, the customers' demand is a... 

    A trust and reputation-based access control model for virtual organizations

    , Article 2012 9th International ISC Conference on Information Security and Cryptology, ISCISC 2012, 13 September 02012 through 14 September 2012 ; September , 2012 , Pages 121-127 ; 9781467323864 (ISBN) Arasteh, M ; Amini, M ; Jalili, R ; Sharif University of Technology
    2012
    Abstract
    Virtual organization (VO) is aimed to provide inter-organizational collaborations. Constructing a VO necessitates provision of security and access control requirements which cannot be satisfied using the traditional access control models. This is basically due to special features of VOs; such as temporality, unknown users, and diverse resources. In this paper, after expressing our assumption on a framework for VOs; the concept of organizational trust and reputation is used to establish an access control model for VOs. Each member of an organization inherits its organizational reputation. Resource providers announce the behavior of their interacting users to their organization manager.... 

    Access control enforcement on outsourced data ensuring privacy of access control policies

    , Article Proceedings of the 2011 International Conference on High Performance Computing and Simulation, HPCS 2011, 4 July 2011 through 8 July 2011, Istanbul ; 2011 , Pages 491-497 ; 9781612843810 (ISBN) Tourani, P ; Hadavi, M. A ; Jalili, R ; Sharif University of Technology
    2011
    Abstract
    Nowadays, data outsourcing has become a solution for many organizations especially large scale enterprises due to the high costs of in-house management of the rapidly growing data. Among all security requirements in this context, user access control and its following dynamic changes are of interest. In this paper, we propose an efficient and reliable mechanism to solve this problem in owner-write-users-read applications. A novel solution is introduced to enforce access control on outsourced data using the Chinese Remainder Theorem. The solution allows updating policy changes at a limited cost in terms of both computational power and the number of users' secret keys. Although the server, on... 

    Zero error coordination

    , Article ITW 2015 - 2015 IEEE Information Theory Workshop, 11 October 2015 through 15 October 2015 ; 2015 , Pages 202-206 ; 9781467378529 (ISBN) Abroshan, M ; Gohari, A ; Jaggi, S ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2015
    Abstract
    In this paper, we consider a zero error coordination problem wherein the nodes of a network exchange messages to be able to perfectly coordinate their actions with the individual observations of each other. While previous works on coordination commonly assume an asymptotically vanishing error, we assume exact, zero error coordination. Furthermore, unlike previous works that employ the empirical or strong notions of coordination, we define and use a notion of set coordination. This notion of coordination bears similarities with the empirical notion of coordination. We observe that set coordination, in its special case of two nodes with a one-way communication link is equivalent with the Hide... 

    Investigation of surface stress effect in 3D complex nano parts using FEM and modified boundary Cauchy-Born method

    , Article Journal of Computational Science ; Volume 10 , 2015 , Pages 1-12 ; 18777503 (ISSN) Ghaffari, R ; Alipour, K ; Solgi, S ; Irani, S ; Haddadpour, H ; Sharif University of Technology
    Abstract
    In this paper the surface effects in 3D complex parts are investigated via classical FEM and the modified boundary Cauchy-Born method, which are continuum based theories, and the results are compared with molecular dynamics simulations. The boundary Cauchy-Born covers the weakness of the surface Cauchy-Born in modeling edge and corner elements, so the results are in better agreement with molecular dynamics simulations. Using super convergent patch recovery method, MBCB shows more precise results in comparison with BCB as it can model acute and obtuse angles which cannot be modeled via BCB. The flexibility of MBCB in modeling 3D complex and non-right angle geometries are utilized to model... 

    Implementation-aware model analysis: The case of buffer-throughput tradeoff in streaming applications

    , Article Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 18 June 2015 through 19 June 2015 ; Volume 2015-June , 2015 , Pages 108-117 ; 9781450332576 (ISBN) Mirzazad Barijough, K ; Hashemi, M ; Khibin, V ; Ghiasi, S ; Sharif University of Technology
    Association for Computing Machinery  2015
    Abstract
    Models of computation abstract away a number of implementation details in favor of well-defined semantics. While this has unquestionable benefits, we argue that analysis of models solely based on operational semantics (implementation oblivious analysis) is unfit to drive implementation design space exploration. Specifically, we study the tradeoff between buffer size and streaming throughput in applications modeled as synchronous data flow (SDF) graphs. We demonstrate the inherent inaccuracy of implementation-oblivious approach, which only considers SDF operational semantic. We propose a rigorous transformation, which equips the state of the art buffer-throughput tradeoff analysis technique... 

    Refined microstructure of compo cast nanocomposites: the performance of combined neuro-computing, fuzzy logic and particle swarm techniques

    , Article Neural Computing and Applications ; Volume 26, Issue 4 , May , 2015 , Pages 899-909 ; 09410643 (ISSN) Ostad Shabani, M ; Rahimipour, M. R ; Tofigh, A. A ; Davami, P ; Sharif University of Technology
    Springer-Verlag London Ltd  2015
    Abstract
    Aluminum metal matrix composites (MMCs) reinforced with nanoceramics are ideal materials for the manufacture of lightweight automotive and other commercial parts. Adaptive neuro-fuzzy inference system combined with particle swarm optimization method is implemented in this research study in order to optimize the parameters in processing of aluminum MMCs. In order to solve the problems associated with poor wettability, agglomeration and gravity segregation of nanoparticles in the melt, a mixture of alumina and aluminum particles was used as the reinforcement instead of raw nanoalumina. Microstructural characterization shows dendritic microstructure for the sand cast and non-dendritic... 

    Performability evaluation of grid environments using stochastic reward nets

    , Article IEEE Transactions on Dependable and Secure Computing ; Volume 12, Issue 2 , 2015 , Pages 204-216 ; 15455971 (ISSN) Entezari Maleki, R ; Trivedi, K. S ; Movaghar, A ; Sharif University of Technology
    Abstract
    In this paper, performance of grid computing environment is studied in the presence of failure-repair of the resources. To achieve this, in the first step, each of the grid resource is individually modeled using Stochastic Reward Nets (SRNs), and mean response time of the resource for grid tasks is computed as a performance measure. In individual models, three different scheduling schemes called random selection, non-preemptive priority, and preemptive priority are considered to simultaneously schedule local and grid tasks to the processors of a single resource. In the next step, single resource models are combined to shape an entire grid environment. Since the number of the resources in a... 

    Integrated demand side management game in smart energy hubs

    , Article IEEE Transactions on Smart Grid ; Volume 6, Issue 2 , 2015 , Pages 675-683 ; 19493053 (ISSN) Sheikhi, A ; Rayati, M ; Bahrami, S ; Ranjbar, A. M ; Sharif University of Technology
    Abstract
    The presence of energy hubs and the advancement in smart grid technologies have motivated system planners to deploy intelligent multicarrier energy systems entitled "smart energy hub" (S.E. Hub). In this paper, we model S.E. Hub, and propose a modern energy management technique in electricity and natural gas networks based on integrated demand side management (IDSM). In conventional studies, energy consumption is optimized from the perspective of each individual user without considering the interactions with each other. Here, the interaction among S.E. Hubs in IDSM program is formulated as a noncooperative game. The existence and uniqueness of a pure strategy Nash equilibrium (NE) is proved.... 

    A cloud computing framework on demand side management game in smart energy hubs

    , Article International Journal of Electrical Power and Energy Systems ; Volume 64 , January , 2015 , Pages 1007-1016 ; 01420615 (ISSN) Sheikhi, A ; Rayati, M ; Bahrami, S ; Ranjbar, A. M ; Sattari, S ; Sharif University of Technology
    Elsevier Ltd  2015
    Abstract
    The presence of energy hubs in the future vision of energy networks creates an opportunity for electrical engineers to move toward more efficient energy systems. At the same time, it is envisioned that smart grid can cover the natural gas network in the near future. This paper modifies the classic Energy Hub model to present an upgraded model in the smart environment entitling "Smart Energy Hub". Supporting real time, two-way communication between utility companies and smart energy hubs, and allowing intelligent infrastructures at both ends to manage power consumption necessitates large-scale real-time computing capabilities to handle the communication and the storage of huge transferable... 

    Repeat ground track orbit design with desired revisit time and optimal tilt

    , Article Aerospace Science and Technology ; Volume 40 , January , 2015 , Pages 200-208 ; 12709638 (ISSN) Jafari Nadoushan, M ; Assadian, N ; Sharif University of Technology
    Elsevier Masson SAS  2015
    Abstract
    A novel method for designing repeat ground track orbits based on the Number Theory is presented. The desired revisit time, tilt capacity, payload swath width, and side-lap are utilized as mission and payload properties for repeat ground track orbit design. The algorithm is developed in the context of the perturbed two body problem, with the secular J4 effect as the only source of perturbation. The concept of the subcycles in the repeat ground track orbits is redefined using the Bezout's theorem and is employed for providing the desired revisit time with the optimal required tilt. This method needs simple calculations and has low computational burden. Therefore, it facilitates the practicing... 

    An autonomous demand response program for electricity and natural gas networks in smart energy hubs

    , Article Energy ; Volume 89 , September , 2015 , Pages 490-499 ; 03605442 (ISSN) Sheikhi, A ; Bahrami, S ; Ranjbar, A. M ; Sharif University of Technology
    Elsevier Ltd  2015
    Abstract
    The development of technologies such as micro turbines and gas furnaces has been the major driving force towards integration of electricity and natural gas networks in the EH (energy hubs). Besides, the existing power grids are getting smarter by implementing the new generation of information technologies and communication systems. In smart grid, the electricity suppliers can modify the customers' electrical load consumption by employing appropriate scheduling schemes such as DR (demand response) programs. In this paper, we consider the S. E. Hubs (smart energy hubs) framework, in which the customers can use EMS (energy management system) to access to the electricity and natural gas prices... 

    Demand side management in a group of Smart Energy Hubs as price anticipators; The game theoretical approach

    , Article IEEE Power and Energy Society Innovative Smart Grid Technologies Conference, ISGT 2015, 18 February 2015 through 20 February 2015 ; 2015 ; 9781479917853 (ISBN) Sheikhi, A ; Rayati, M ; Bahrami, S ; Ranjbar, A. M ; Sharif University of Technology
    Abstract
    In recent years, there have been significant developments of applications related to 'Energy Hub' and 'Smart Grid' concepts. Synergy effect of the coupling between electricity and natural gas infrastructures, and approaching energy systems to the smart grid environment leads us to introduce a new solution. This solution is entitled 'Smart Energy Hub' (S. E. Hub). Simply stated, the S. E. Hub models a multicarrier energy system in a smart grid environment. The evolution of the smart grid heavily relies on the utilization and the integration of modern information technologies. Therefore, we suggest that the information technology industry should be involved to facilitate the information... 

    Application of the combined neuro-computing, fuzzy logic and swarm intelligence for optimization of compocast nanocomposites

    , Article Journal of Composite Materials ; Volume 49, Issue 13 , 2015 , Pages 1653-1663 ; 00219983 (ISSN) Tofigh, A. A ; Rahimipour, M. R ; Shabani, M. O ; Davami, P ; Sharif University of Technology
    SAGE Publications Ltd  2015
    Abstract
    In the last few years, an increasing attention has been paid to the issues of saving energy and reducing the manufacturing costs in the transport industry which necessitates further efforts to replace traditional materials like steel with lightweight materials such as plastics, aluminum, magnesium, and composites. Metal matrix nanocomposites have turned into an established material in today's industry with an ongoing expansion in their field of applications. In this study, the formation of nanoparticle-aluminum metal matrix composites is described by compocast processing from nanoparticle Al2O3 and the A356 aluminum alloy. In order to optimize the processing parameters, a novel approach is... 

    An enriched FEM technique for modeling hydraulically driven cohesive fracture propagation in impermeable media with frictional natural faults: Numerical and experimental investigations

    , Article International Journal for Numerical Methods in Engineering ; Volume 104, Issue 6 , 2015 , Pages 439-468 ; 00295981 (ISSN) Khoei, A. R ; Hirmand, M ; Vahab, M ; Bazargan, M ; Sharif University of Technology
    John Wiley and Sons Ltd  2015
    Abstract
    In this paper, an enriched finite element technique is presented to simulate the mechanism of interaction between the hydraulic fracturing and frictional natural fault in impermeable media. The technique allows modeling the discontinuities independent of the finite element mesh by introducing additional DOFs. The coupled equilibrium and flow continuity equations are solved using a staggered Newton solution strategy, and an algorithm is proposed on the basis of fixed-point iteration concept to impose the flow condition at the hydro-fracture mouth. The cohesive crack model is employed to introduce the nonlinear fracturing process occurring ahead of the hydro-fracture tip. Frictional contact is...