Sharif Digital Repository

Due to the growing demand for large memories, using emerging technologies such as Phase Change Memories (PCM) are inevitable. PCM with appropriate scalability, power consumption and multiple bits per cell storage capability is a probable candidate for substituting DRAM. Although storing multiple bits per cell seems to be a rational response to large memory demands, there is a significant problem to achieve this goal. Resistance drift problem is an important reliability concern that is coupled to a multi-level cell PCM (MLC PCM) memory system. In this paper, we propose a memory system architecture that, by exploiting the benefits of compression, converts resistance drift prone blocks to drift... 

Modern computer systems require fast, large and reliable memories to handle information explosion. With this goal in mind, not only deployment of main memories with new technologies are necessary, but also adopting innovative solutions for addressing newfound challenges must be considered as a priority. Recently, phase change memory (PCM) appeared as a preferred candidate for substituting DRAM. PCM with non-volatility, low static power consumption and storing multiple level cells (MLC) capability has opened a new way to the future of memories. Although PCM presents considerable potentials, its short lifetime is a critical concern. Worse still, adopting multiple bits per cell capability... 

High static power consumption and insufficient scalability of the commonly used DRAM main memory technology appear to be tough challenges in upcoming years. Hence, adopting new technologies, i.e. non-volatile memories (NVMs), is a proper choice. NVMs tolerate a low number of write operations while having good scalability and low static power consumption. Due to the non-destructive nature of a read operation and the long latency of a write operation in NVMs, designers use read-before-write (RBW) mechanism to mask the unchanged bits during write operation in order to reduce bit flips. Based on this observation that some specific locations of blocks are responsible for the majority of bit... 

Emerging non-volatile memories (NVMs) are notable candidates for replacing traditional DRAMs. Although NVMs are scalable, dissipate lower power, and do not require refreshes, they face new challenges including shorter lifetime and security issues. Efforts toward securing the NVMs against probe attacks pose a serious downside in terms of lifetime. Cryptography algorithms increase the information density of data blocks and consequently handicap the existing lifetime enhancement solutions like Flip-N-Write. In this paper, based on the insight that compression can relax the constraints of lifetime-security trade-off, we propose CryptoComp, an architecture that, taking the advantage of block size... 

In the era of big data, the capability of computer systems must be enhanced to support 2.5 quintillion byte/day data delivery. Among the components of a computer system, main memory has a great impact on overall system performance. DRAM technology has been used over the past four decades to build main memories. However, the scalability of DRAM technology has faced serious challenges. To keep pace with the ever-increasing demand for larger main memory, some new alternative technologies have been introduced. Phase change memory (PCM) is considered as one of such technologies for substituting DRAM. PCM offers some noteworthy properties such as low static power consumption, nonvolatility, and... 

Piezoelectric transducers (sensors and actuators) are widely used to produce motion or to sense displacement. One of the most applicable types of the piezo-electric transducers is a transducer in which the piezo stacks are sandwiched between two vibrating masses by a connecting stud. These types of the piezo-electric transducers which are utilized for sensing applications are known as Tonpilz. A piezo-electric transducer is usually designed to work in the resonant frequency, and modeling and simulating its dynamics behavior to check the desired performance are very important. In this study, by considering the concept of the admittance expression, the dynamics model of a piezo-electric... 

Attitude and vibration control of a general form of flexible satellites is addressed in this paper. Partial differential dynamic equations are derived considering new details such as multi sectioned solar panels and elastic connections between main hub and solar panels. Boundary control approach is adopted to eliminate simplification errors of discrete models, using just one actuator in the hub. Asymptotic stability of attitude dynamics is proved for a group of boundary controllers and necessary conditions for asymptotic stability of vibrations are discussed. Being independent of modeling accuracy and using easily measurable feedbacks are among advantages of the proposed class of... 

Many real-world networks have a modular structure, and their component may undergo random errors and/or intentional attacks. More devastating situations may happen if the network components have a limited load capacity; the errors and attacks may lead to a cascading component removal process, and consequently, the network may lose its desired performance. In this brief, we investigate the tolerance of cascading errors and attacks in modular small-world networks. This brief studies the size of the largest connected component of the networks when cascading errors or attacks occur. The robustness of the network is tested as a function of both the intermodular connection and intramodular... 

In this paper, motion of a micro-robot with two perpendicular vibrational actuators is studied. In this work, separation of the micro-robot body from the substrate of motion is modeled. If the applied vertical force to the micro-robot body is greater than its weight, body of the micro-robot jumps apart from the substrate and then returns to it. This motion will continue intermittently until it is damped. In this condition, the motion mechanism of “stick-slip” is not valid, and a hybrid motion according to “stick-slip-jump” mode is governed. By increasing the applied vertical force, the motion velocity of the micro-robot becomes disordered and unrepeatable. By numerical solving of the... 

In this paper, the motion of a micro-robot with two perpendicular vibrational actuators is studied. In this work, separation of the micro-robot body from the substrate of motion takes place. The separation happens while the vertical force applied to the micro-robot body is greater than the micro-robot weight. In this condition, body of the micro-robot jumps apart from the substrate and then returns to it, and this motion will continue intermittently until it becomes damped. In this condition, the motion mechanism of "stick-slip" is not valid and we introduce a new mechanism of hybrid motion as "stick-slip-jump". In this case (hybrid motion), the micro-robot dynamics is modeled and the result... 

In this paper, the stick-slip motion of a microrobot with two perpendicular vibrational actuators is studied. This motion is based on the friction drive principle. To determine the effective parameters in the motion of microrobot, the equations of motion of the microrobot are derived. To simplify the equations for determining the design parameters, the vibrational actuators are modeled with two perpendicular harmonic forces. To study the motion dynamics of the microrobot, its equation of motion is derived in a nondimensional expression by defining the nondimensional effective parameters. The Fourier expansion (F.E.) method is used to analyze the numerical results and it showed some... 

In this paper a method for enhancing the synchronizability of dynamical networks is discussed. The method considers both local structural properties, i.e. node degrees, and global properties, i.e. node and edge betweenness centrality measures. Its performance is compared with that of some other heuristic methods and the evidence for its superior behavior is discussed. As an index for the synchronizability of a dynamical network, the eigenratio of the Laplacian matrix of the connection graph is considered. As network structures, scale-free, Watts- Strogatz and random networks of different sizes and topological properties are used. Numerical calculations of the eigenratio in the networks... 

In this paper, the stick-slip-jump motion of a micro-robot with two perpendicular vibratory actuators is studied. A practical model of this micro-robot is designed and fabricated with two Langevin type piezoelectric actuators, which are driven by harmonic voltages. Depending on the amplitude and frequency of the driving voltages of the micro-robot actuators, as well as their phase difference, the type of the motion dynamics and the states of the contact points in the motion (slipping or jumping) are determined. Considering the conditions of the contact points of the micro-robot, the motion is based on the combination of the friction drive principle (stick-slip) and jumping phenomenon. A... 

In this paper, the stick-slip motion of a new type of micro-robot with two perpendicular vibratory actuators is studied which is based on the friction drive principle. The actuators are based on piezo-electric phenomenon which are driven by a harmonic voltage, and both of them are mounted on the micro-robot body. These actuators cause the micro-robot moves forward or backward due to the specified phase difference between the voltages applied to vertical and horizontal actuators. Since the dynamics of the actuators affects on the micro-robot motion, so to derive the equations of motion the coupled dynamics between the body of robot and vibratory masses of actuators are considered, and the... 

In this paper, we study the problem of resistance drift in an MLC Phase Change Memory (PCM) and propose a solution to circumvent its thermally-affected accelerated rate in 3D CMPs. Our scheme is based on the observation that instead of alleviating the problem of resistance drift by using large margins or error correction codes, the PCM read circuit can be reconfigured for tolerating most of the resistance drift errors in a dynamic manner. Through detailed characterization of memory access patterns for 22 applications, we propose an efficient mechanism to facilitate such reliable read scheme via tolerating (a) early-cycle resistance drifts by using narrow margins so that considerably saving... 

Networks of dynamical nodes serve as generic models for real-world systems in many branches of science ranging from mathematics to physics, technology, sociology and biology. Collective behavior of agents interacting over complex networks is important in many applications. The cooperation between selfish individuals is one of the most interesting collective phenomena. In this paper we address the interplay between the motifs' cooperation properties and their abundance in a number of real-world networks including yeast proteinprotein interaction, human brain, protein structure, email communication, dolphins' social interaction, Zachary karate club and Net-science coauthorship networks. First,... 

In ubiquitous computing environments, many devices and agents interoperate with each other and use services provided by others. But the problem is that there may be requests that can not be fulfilled by available services. A solution to this problem is to use service brokers that compose existing services and create new value added services that can fulfill the clients' requests. In this paper, we present an architecture for a context-aware service broker that not only is able to compose services for responding to new requests, but also considers the context of its clients for providing customized and personalized outputs and behaviors. © 2006 IEEE  

Eligibility is one of the important security properties which must be satisfied in electronic voting systems. This property refers to legitimacy of voters and their right to vote only once. Due to insufficiency of an observational analysis to guarantee this property, formal methods are recently used to build trust on sensitive systems such as e-voting for all the involved parties. This paper reports our attempt to automatically check the eligibility property in electronic voting systems using the model checking approach. ThemCRL2 language and its toolset are also used to achieve such a checking. Two protocols, FOO92 and Lee&Kim, are modeled as case studies  

An advanced method using progressive concept of geometrical correspondence is applied to create a new wheel/rail contact model based on virtual penetration theory. The geometry and contact mechanism are solved simultaneously because of the independency in a defined correspondence. The model takes the penetrated profiles of wheel and rail and also associated creeps as inputs, and produces driving contact forces as output. The advantage of this model is that it doesn't require pretabulation of rigid contact situation. The method allows calculating flexible, non-elliptical, multiple contact patches during integration of the model. Consequently the rails with substructures can vibrate separately... 

Prevention of unauthorized access to services in mobile ad hoc networks is a more sophisticated problem than access control in other networks, due to interconnection facilities and lack of any fixed network infrastructure in such networks. Therefore regarding the nature of these networks, controlling access to services should be in a decentralized manner providing good performance and preserving network security. In this paper, we propose a decentralized Cooperation Enforcement Based Access Control (CEBAC) framework for mobile ad hoc networks. CEBAC comprises several groups of Service Authorizers, each issuing Credentials for access to a specific kind of services. The User Authorization for...