32 research outputs found

    Istraživanje superprovodnosti u grafenu i sličnim materijalima koriščenjem AB-initio metoda.

    Get PDF
    Disertacija istrazuje superprovodnost u dopiranom grafenu imonosloju magnezijum- diborida,novog superprovodnog 2 D materijala...The dissertation investigates the superconductivity in doped graphene and magne- sium-diboride monolayer as a noveltwo-dimensional superconducting material..

    Developing and Measuring Parallel Rule-Based Systems in a Functional Programming Environment

    Get PDF
    This thesis investigates the suitability of using functional programming for building parallel rule-based systems. A functional version of the well known rule-based system OPS5 was implemented, and there is a discussion on the suitability of functional languages for both building compilers and manipulating state. Functional languages can be used to build compilers that reflect the structure of the original grammar of a language and are, therefore, very suitable. Particular attention is paid to the state requirements and the state manipulation structures of applications such as a rule-based system because, traditionally, functional languages have been considered unable to manipulate state. From the implementation work, issues have arisen that are important for functional programming as a whole. They are in the areas of algorithms and data structures and development environments. There is a more general discussion of state and state manipulation in functional programs and how theoretical work, such as monads, can be used. Techniques for how descriptions of graph algorithms may be interpreted more abstractly to build functional graph algorithms are presented. Beyond the scope of programming, there are issues relating both to the functional language interaction with the operating system and to tools, such as debugging and measurement tools, which help programmers write efficient programs. In both of these areas functional systems are lacking. To address the complete lack of measurement tools for functional languages, a profiling technique was designed which can accurately measure the number of calls to a function , the time spent in a function, and the amount of heap space used by a function. From this design, a profiler was developed for higher-order, lazy, functional languages which allows the programmer to measure and verify the behaviour of a program. This profiling technique is designed primarily for application programmers rather than functional language implementors, and the results presented by the profiler directly reflect the lexical scope of the original program rather than some run-time representation. Finally, there is a discussion of generally available techniques for parallelizing functional programs in order that they may execute on a parallel machine. The techniques which are easier for the parallel systems builder to implement are shown to be least suitable for large functional applications. Those techniques that best suit functional programmers are not yet generally available and usable

    NASA Tech Briefs, January 1990

    Get PDF
    Topics include: Electronic Components and Circuits. Electronic Systems, Physical Sciences, Materials, Computer Programs, Mechanics, Machinery, Fabrication Technology, Mathematics and Information Sciences, and Life Science

    Random lattice particle modeling of fracture processes in cementitious materials

    Get PDF
    The capability of representing fracture processes in non-homogeneous media is of great interest among the scientific community for at least two reasons: the first one stems from the fact that the use of composite materials is ubiquitous within structural applications, since the advantages of the constituents can be exploited to improve material performance; the second consists of the need to assess the non-linear post-peak behavior of such structures to properly determine margins of safety with respect to strong excitations (e.g. earthquakes, blast or impact loadings). Different kinds of theories and methodologies have been developed in the last century in order to model such phenomena, starting from linear elastic equivalent methods, then moving to plastic theories and fracture mechanics. Among the different modeling techniques available, in recent years lattice models have established themselves as a powerful tool for simulating failure modes and crack paths in heterogeneous materials. The basic idea dates back to the pioneeristic work of Hrennikoff: a continuum medium can be modeled through the interaction of unidimensional elements (e.g. springs or beams) spatially arranged in different ways. The set of nodes that interconnect the elements can be regularly or irregularly placed inside the domain, leading to regular or random lattices. It has been shown that lattices with regular geometry can strongly bias the direction of cracking, leading to incorrect results. A variety of lattice models have been developed. Such models have seen a wide field of applications, ranging from aerodynamics (using Lattice-Boltzman models) to heat transfer, crystallography and many others. Every material used in civil and infrastructure engineering is constituted of different phases. This is due to the fact that the different features of different elements are usually coupled in order to obtain greater advantages with respect to the original constituents. Even structural steel, which is usually thought of as a homogeneous continuum-type medium, includes carbon particles that can be seen as inhomogeneities at the microscopic level. The mechanical behavior of concrete, which is the main object of the present work, is strongly affected not only by the presence of inclusions (i.e. the aggregates pieces) but also by their arrangement. For this reason, the explicit, statistical representation of their presence is of great interest in the simulations of concrete behavior. Lattice models can directly account for the presence of different phases, and so are advantageous from this perspective. The definition of such models, their implementation in a computer program, together with validation on laboratory tests will be presented. The present work will briefly review the state of the art and the basic principles of these models, starting from the geometrical and computing tools needed to build the simulations. The implementation of this technique in the Matlab environment will be presented, highlighting the theoretical background. The numerical results will be validated based on two complementary experimental campaigns,which focused on the meso- and macro-scales of concrete. Whereas the aim of this work is the representation of the quasi-brittle fracture processes in cementitious materials such as concrete, the discussed approach is general, and therefore valid for the representation of damage and crack growth in a variety of different materials

    Understanding Quantum Technologies 2022

    Full text link
    Understanding Quantum Technologies 2022 is a creative-commons ebook that provides a unique 360 degrees overview of quantum technologies from science and technology to geopolitical and societal issues. It covers quantum physics history, quantum physics 101, gate-based quantum computing, quantum computing engineering (including quantum error corrections and quantum computing energetics), quantum computing hardware (all qubit types, including quantum annealing and quantum simulation paradigms, history, science, research, implementation and vendors), quantum enabling technologies (cryogenics, control electronics, photonics, components fabs, raw materials), quantum computing algorithms, software development tools and use cases, unconventional computing (potential alternatives to quantum and classical computing), quantum telecommunications and cryptography, quantum sensing, quantum technologies around the world, quantum technologies societal impact and even quantum fake sciences. The main audience are computer science engineers, developers and IT specialists as well as quantum scientists and students who want to acquire a global view of how quantum technologies work, and particularly quantum computing. This version is an extensive update to the 2021 edition published in October 2021.Comment: 1132 pages, 920 figures, Letter forma

    Practical Guide for Building Superconducting Quantum Devices

    Get PDF
    Quantum computing offers a powerful new paradigm of information processing that has the potential to transform a wide range of industries. In the pursuit of the tantalizing promises of a universal quantum computer, a multitude of new knowledge and expertise has been developed, enabling the construction of novel quantum algorithms as well as increasingly robust quantum hardware. In particular, we have witnessed rapid progress in the circuit quantum electrodynamics (cQED) technology, which has emerged as one of the most promising physical systems that is capable of addressing the key challenges in realizing full-stack quantum computing on a large scale. In this Tutorial, we present some of the most crucial building blocks developed by the cQED community in recent years and a précis of the latest achievements towards robust universal quantum computation. More importantly, we aim to provide a synoptic outline of the core techniques that underlie most cQED experiments and offer a practical guide for a novice experimentalist to design, construct, and characterize their first quantum device

    Quantum gates, sensors, and systems with trapped ions

    Get PDF
    Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Physics, 2012.Cataloged from PDF version of thesis.Includes bibliographical references (p. 203-218).Quantum information science promises a host of new and useful applications in communication, simulation, and computational algorithms. Trapped atomic ions are one of the leading physical systems with potential to implement a large-scale quantum information system, but many challenges still remain. This thesis describes some experimental approaches to address several such challenges broadly organized under three themes: gates, sensors, and systems. Quantum logic gates are the fundamental building blocks for quantum algorithms. Although they have been demonstrated with trapped ions previously, scalability requires miniaturizing ion traps by using a surface-electrode geometry. Using a single ion in a surface-electrode trap, we perform a two-qubit entangling gate and fully characterize it via quantum process tomography, as an initial validation of surface-electrode ion traps for quantum information processing. Good logic gates are often good sensors for fast fluctuations and energy changes in their environment. Trapped ions are sensitive to fluctuating and static charges, leading to motional state decoherence (heating) and instabilities, problems exacerbated by the surface-electrode geometry. We investigate the material dependence of heating, specifically with aluminum and superconducting traps, to elucidate the physical origin of these fluctuating charges. Static charging is hypothesized to be caused by the trapping and cooling lasers due to the photoelectric effect. We perform systematic experiments with aluminum, gold, and copper traps with lasers at various wavelengths to validate this hypothesis. Realizing quantum processors at the system level requires models and tools for predicting system performance, demonstration of good classical and quantum control, and techniques for integrating different quantum systems. We develop a modeling system for trapped ion quantum computing experiments and simulate the effect of physical and technical noise sources on practical realizations of quantum algorithms in a trapped ion system. We experimentally demonstrate several such algorithms, including the quantum Fourier transform, order-finding, and Shor's algorithm on up to 5 ions. These experiments highlight several unique advantages of ion trap systems and help identify needs for further development. Finally, we explore the integration of ion traps with optical elements including mirrors and photon detectors as key elements in creating future hybrid quantum systems.by Shannon Xuanyue Wang.Ph.D

    Tensor network techniques for strongly correlated systems

    Get PDF
    corecore