DOCSLIB.ORG

Establishing Offshore Autonomous Communities: Current Choices and Their Proposed Evolution Doctoral Thesis by Miguel Lamas Pardo

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Establishing offshore autonomous communities: current choices and their proposed evolution Doctoral Thesis by Miguel Lamas Pardo Universidade da Coruna Doctoral Dissertation Establishing offshore autonomous communities: current choices and their proposed evolution Author: D. Miguel Lamas Pardo, Oceanic and Naval Engineer Translated by: Adriana Sanchez Gomez ESCUELA POLITECNICA SUPERIOR OF FERROL Department of Oceanic and Naval Engineering Dissertation Director: D. Luis Manuel Carral Couce Year 2011 1 / 300 Establishing offshore autonomous communities: current choices and their proposed evolution Doctoral Thesis by Miguel Lamas Pardo Doctoral Dissertation completed in Ferrol (A Coruna), on July 12, 2011 Dedicated to my daughter Sofia, who was born August 12, 2011 Figure 1: Utopia Project. Courtesy of Yacht Island Design. Logic will take you from A to B, yet imagination will transport you to any place whatsoever Albert Einstein. How inadequate it is to term this planet "Earth", as it is evident that is should be called "Ocean". Arthur C. Clarke. If you want to build a ship, don't drum up the men to gather wood, divide the work and give orders. Instead, teach them to yearn for the vast and endless sea. Antoine de Saint-Exupery. La Ciudadela 2 / 300 Establishing offshore autonomous communities: current choices and their proposed evolution Doctoral Thesis by Miguel Lamas Pardo Panel named by our honored Dean of UNIVERSIDADE DA CORUNA on this____ day of ____________________ , 2011: President: D. Jose Daniel Pena Agras - UNIVERSIDADE DA CORUNA Committee Member D. Jesus Panadero Pastrana - UNIVERSIDAD POLITECNICA DE MADRID Committee Member D. Ignacio Arroyo Martinez - UNIVERSIDAD AUTONOMA DE BARCELONA Committee Member D. Jose de Lara Rey - UNIVERSIDAD POLITECNICA DE MADRID Secretary: D. Abel Mendez Diaz - UNIVERSIDADE DA CORUNA Presented Thesis and Reading on this_____ day o f______________________ , 2011 In Ferrol (A Coruna), Spain. Grade: ______________ PRESIDENTE COMMITTEE MEMBER SECRETARY 3 / 300 Establishing offshore autonomous communities: current choices and their proposed evolution Doctoral Thesis by Miguel Lamas Pardo Abstract "Establishment of autonomous ocean communities: current options and their future evolution" Dissertation presented as a requirement to obtain a Doctoral Degree in Naval Architecture and Ocean Engineering. The idea of establishing floating cities in the oceans has been addressed in the past within the ambition of both science and art, though rarely with rigor or detail. The objective of this dissertation is to provide an orderly framework around this idea as to why humanity has sought out to establish such cities. To this end, we have established a more ample definition to the term "Oceanic Colonization" which we define as "The establishment of autonomous communities in the oceans aboard artificial platforms". Additionally, we distinguish four forms of ocean colonization for four distinct purposes: 1) to expand landholdings; 2) to provide mobile settlements; 3) to allow for semi-permanent mobile settlements in order to have access to marine resources; 4) and for the creation of micronations. It is this fourth concept that will serve as a departing point to review the whole idea of oceanic colonization. Thus, the objective of this dissertation is to analyze all the possible options (both present and future) permissible within the scope of Naval Architecture and Oceanic Engineering for the establishment of autonomous offshore oceanic communities which would allow for the creation of oceanic micronations. At the same time, we shall try to project the evolution of the other three forms of oceanic colonization. Figure 2: Floating City "Green Float". Courtesy of Shimizu Corporation. 4 / 300 Establishing offshore autonomous communities: current choices and their proposed evolution Doctoral Thesis by Miguel Lamas Pardo Acknowledgements This Dissertation has been submitted to the doctoral committee of the Oceanic and Naval Engineering Department of La Escuela Politecnica Superior of Ferrol for the conference of the Degree of Doctor in Naval and Oceanic Engineering by the Universidade da Coruna (Spain). This investigation is the result of the collaboration of the author as an Engineering Researcher at the "Think tank" The Seasteading Institute1 (Sunnyvale, California, USA) from September 2009 when he had his first contact at the Seasteading 2009 Annual Conference at the Flotel Vessels seminar. (1) This Dissertation has also come about through the knowledge acquired in the years employed at the two most cutting-edge-shipyards found within Spain in the last few years: Hijos de J. Barreras S.A. (from 2001 to 2003) and Factorfas Vulcano S.A. (from 2003 to-date), both in Vigo, Spain. I would like to extend my deepest appreciation to my dissertation tutor Dir. D. Luis Manuel Carral Couce, for his valuable advice and encouragement during the drafting of this dissertation; also I would like to thank all those that during my professional development have guided me with their insights and advice and at the shipyards of Barreras y Vulcano (impossible to mention all here) of whom I have elucidated such valuable knowledge about Naval and Oceanic Engineering which have been invaluable and applied, in part, through the dissertation. My appreciation is also is extended to la Escuela Politecnica Superior de Ferrol, as well as my fellow classmates throughout these years, to whom I presented this body of work as an end of degree-project on a cruise ship (2). In part, this was the trigger that led me to commence this dissertation. • I would also like to extend my gratitude to the board of directors and community members of the Seasteading Institute for their advice and motivation, especially: • Patri Friedman - Executive Director, Chairman of the Board • Eelco Hoogendoorn - Engineering Researcher • James Hogan - Senior Director • Brad Taylor - Governor Researcher • Eric Jacobus -Operations Manager • Max Marty - Director of Business Strategy • George Petri - Director of Engineering • Jeff Chan - Community Member • and to all of those people that have provided information about their projects, that have shared their ideas, experiences and advice, all whom have motivated me with their encouragement. I include a brief list: • the members of the Colegio oficial de in genieros Navales y Oceanicos of Spain, for allowing me to present some of these ideas at their conferences: o State of the Art of the Ocanic Industry for the Establishment of autonomous Communities in open oceans (3) at the 49th Congress (2010). o Market segmentation and Economies of Scale in the Cruiseline Industry of the XXI Century (4) at the 50th Congres (2011) • Mark Staunton-Lambert and Eric Tupper, Technical Director, assistants respectively of the Royal Intitution of Naval Architects (London, UK), for having provided guidance in the publication of my article titled offshore, and Coastal Floating Hotels: Flotels published in the International Journal of Maritime Engineering (5). 1 For more information in regards to this Silicon Valley, “think tank” we shall refer the reader to chapter 2. 5 / 300 Establishing offshore autonomous communities: current choices and their proposed evolution Doctoral Thesis by Miguel Lamas Pardo • Mike Simpson (Naval Architect), Marine Director of Houlder Ltd (London, UK) for his insights and information regarding nursery ships for eolic parks. • David Foxwell, Editor Supervisor of Offshore Support Journal (London, UK) for the publication of the article Class quandary for monohull accommodation vessels (6) • Dominique Roddier (PhD Naval Architect) of Marine Innovation & Technology (Berkeley, California-EE.UU.) for the use of the material on Clubstead and Windfloat and for his aid and comments regarding semi-submersibles. • Jose Luis Lamas Rodriguez, preliminary plan Supervisor of IZAR-Fene until 2003, for sharing information regarding Flotel 9 • Robin Reeves, CEO of Marine Asset Corporation (Singapore) for the information regarding Compact SemiSubmergible, CSS. • Rodrigo Perez (Doctor in geniero Naval - ETSIN, Madrid, Spain), for his aid, input and support, particularly with the publication of the article Behavior of Large Floating Structures At Sea (7). • Luciana Teperino, Architecture student at Universidade Federal de Juiz de Fora, Minas Gerais (Brasil) who has engaged in a graduation project related to floating cities concurrently with me which has allowed us to exchange information and various points of view on the topic. • Juan Antonio Becerril (Doctor in geniero de Caminos, Canales y Puertos), Director of Revista de Obras Publicas, for his great kindness in accepting the task of proofreading my article Very Large Floating Structures (VLFS): Floating Ports and Airports (8). • Olga Sanchez de la to rre, of Servicio de Publicaciones del CEDEX (Centro de Estudios y Experimentacion de Obras Publicas, Madrid), for her kindness in accepting the task of proofreading my article on Concrete offshore Structures (9) to be published in Ingeniena Civil magazine. • Ignacio Arroyo Martinez, president of Asociacion Espanola de Derecho Mantmo and editor of Anuario de Derecho Mantimo, for his insights and acceptance for publication of my article Micronations in Artificial Islands and Maritime and International Law (10). • Manuel Laranjinha, Senior Engineer, and Kristen Amundr0d, Principal Lead Naval Architect of Grenland Group, (Sandefjord, Norway) for comments and teachings regarding GG4-A and in general about semisumergibles. • Justin Back, Chartering
Recommended publications
  • Harnessing Numerical Flexibility for Deep Learning on Fpgas.Pdf

    Harnessing Numerical Flexibility for Deep Learning on Fpgas.Pdf

    WHITE PAPER FPGA Inline Acceleration Harnessing Numerical Flexibility for Deep Learning on FPGAs Authors Abstract Andrew C . Ling Deep learning has become a key workload in the data center and the edge, leading [email protected] to a race for dominance in this space. FPGAs have shown they can compete by combining deterministic low latency with high throughput and flexibility. In Mohamed S . Abdelfattah particular, FPGAs bit-level programmability can efficiently implement arbitrary [email protected] precisions and numeric data types critical in the fast evolving field of deep learning. Andrew Bitar In this paper, we explore FPGA minifloat implementations (floating-point [email protected] representations with non-standard exponent and mantissa sizes), and show the use of a block-floating-point implementation that shares the exponent across David Han many numbers, reducing the logic required to perform floating-point operations. [email protected] The paper shows this technique can significantly improve FPGA performance with no impact to accuracy, reduce logic utilization by 3X, and memory bandwidth and Roberto Dicecco capacity required by more than 40%.† [email protected] Suchit Subhaschandra Introduction [email protected] Deep neural networks have proven to be a powerful means to solve some of the Chris N Johnson most difficult computer vision and natural language processing problems since [email protected] their successful introduction to the ImageNet competition in 2012 [14]. This has led to an explosion of workloads based on deep neural networks in the data center Dmitry Denisenko and the edge [2]. [email protected] One of the key challenges with deep neural networks is their inherent Josh Fender computational complexity, where many deep nets require billions of operations [email protected] to perform a single inference.
  • Midterm-2020-Solution.Pdf

    Midterm-2020-Solution.Pdf

    HONOR CODE Questions Sheet. A Lets C. [6 Points] 1. What type of address (heap,stack,static,code) does each value evaluate to Book1, Book1->name, Book1->author, &Book2? [4] 2. Will all of the print statements execute as expected? If NO, write print statement which will not execute as expected?[2] B. Mystery [8 Points] 3. When the above code executes, which line is modified? How many times? [2] 4. What is the value of register a6 at the end ? [2] 5. What is the value of register a4 at the end ? [2] 6. In one sentence what is this program calculating ? [2] C. C-to-RISC V Tree Search; Fill in the blanks below [12 points] D. RISCV - The MOD operation [8 points] 19. The data segment starts at address 0x10000000. What are the memory locations modified by this program and what are their values ? E Floating Point [8 points.] 20. What is the smallest nonzero positive value that can be represented? Write your answer as a numerical expression in the answer packet? [2] 21. Consider some positive normalized floating point number where p is represented as: What is the distance (i.e. the difference) between p and the next-largest number after p that can be represented? [2] 22. Now instead let p be a positive denormalized number described asp = 2y x 0.significand. What is the distance between p and the next largest number after p that can be represented? [2] 23. Sort the following minifloat numbers. [2] F. Numbers. [5] 24. What is the smallest number that this system can represent 6 digits (assume unsigned) ? [1] 25.
  • Dotty Phantom Types (Technical Report)

    Dotty Phantom Types (Technical Report)

    Dotty Phantom Types (Technical Report) Nicolas Stucki Aggelos Biboudis Martin Odersky École Polytechnique Fédérale de Lausanne Switzerland Abstract 2006] and even a lightweight form of dependent types [Kise- Phantom types are a well-known type-level, design pattern lyov and Shan 2007]. which is commonly used to express constraints encoded in There are two ways of using phantoms as a design pattern: types. We observe that in modern, multi-paradigm program- a) relying solely on type unication and b) relying on term- ming languages, these encodings are too restrictive or do level evidences. According to the rst way, phantoms are not provide the guarantees that phantom types try to en- encoded with type parameters which must be satised at the force. Furthermore, in some cases they introduce unwanted use-site. The declaration of turnOn expresses the following runtime overhead. constraint: if the state of the machine, S, is Off then T can be We propose a new design for phantom types as a language instantiated, otherwise the bounds of T are not satisable. feature that: (a) solves the aforementioned issues and (b) makes the rst step towards new programming paradigms type State; type On <: State; type Off <: State class Machine[S <: State] { such as proof-carrying code and static capabilities. This pa- def turnOn[T >: S <: Off] = new Machine[On] per presents the design of phantom types for Scala, as im- } new Machine[Off].turnOn plemented in the Dotty compiler. An alternative way to encode the same constraint is by 1 Introduction using an implicit evidence term of type =:=, which is globally Parametric polymorphism has been one of the most popu- available.
  • Atlantic Origin of the Arctic Biota? Evidence from Phylogenetic and Biogeographical Analysis of the Cheilostome Bryozoan Genus Pseudoflustra

    Atlantic Origin of the Arctic Biota? Evidence from Phylogenetic and Biogeographical Analysis of the Cheilostome Bryozoan Genus Pseudoflustra

    Atlantic Origin of the Arctic Biota? Evidence from Phylogenetic and Biogeographical Analysis of the Cheilostome Bryozoan Genus Pseudoflustra Piotr Kuklinski1,2*, Paul D. Taylor2, Nina V. Denisenko3, Bjo¨ rn Berning4 1 Institute of Oceanology, Polish Academy of Sciences, Sopot, Poland, 2 Natural History Museum, London, United Kingdom, 3 Zoological Institute, Russian Academy of Sciences, St. Petersburg, Russia, 4 Geoscientific Collections, Upper Austrian State Museum, Leonding, Austria Abstract The intricate geological evolution of the Arctic Ocean is paralleled by complexities in the biogeographical and phylogenetical histories of the Arctic biota, including bryozoans. Here we present revised taxonomic descriptions for all known species of the bryozoan genus Pseudoflustra, and use the present-day distributions and phylogenetic relationships between these species to infer the historical biogeography of the genus. Nine species belonging to the genus Pseudoflustra are recognized in the Arctic and North Atlantic. One new species, previously identified as Ichthyaria aviculata, is described as Pseudoflustra radeki sp. nov. Another species, previously assigned to Smittoidea as S. perrieri, is transferred to Pseudoflustra. Biogeographical analysis of Pseudoflustra reveals that species distributions mostly match current patterns pertaining in the North Atlantic and Arctic Ocean. Distributions were probably shaped by recent geological history as present-day current directions in the Arctic Ocean are believed to have been similar for at least the last 120 000 years. Phylogenetic analysis of Pseudoflustra places the five Arctic-North Atlantic species in a clade crownward of a paraphyletic grouping of North Atlantic species. Given that the Arctic Ocean was fully glaciated until 18 000 years, the most likely explanation for this phylogeographical pattern is that species of Pseudoflustra colonized the Arctic relatively recently from North Atlantic sources.
  • Webassembly Specification

    Webassembly Specification

    WebAssembly Specification Release 1.1 WebAssembly Community Group Andreas Rossberg (editor) Mar 11, 2021 Contents 1 Introduction 1 1.1 Introduction.............................................1 1.2 Overview...............................................3 2 Structure 5 2.1 Conventions.............................................5 2.2 Values................................................7 2.3 Types.................................................8 2.4 Instructions.............................................. 11 2.5 Modules............................................... 15 3 Validation 21 3.1 Conventions............................................. 21 3.2 Types................................................. 24 3.3 Instructions.............................................. 27 3.4 Modules............................................... 39 4 Execution 47 4.1 Conventions............................................. 47 4.2 Runtime Structure.......................................... 49 4.3 Numerics............................................... 56 4.4 Instructions.............................................. 76 4.5 Modules............................................... 98 5 Binary Format 109 5.1 Conventions............................................. 109 5.2 Values................................................ 111 5.3 Types................................................. 112 5.4 Instructions.............................................. 114 5.5 Modules............................................... 120 6 Text Format 127 6.1 Conventions............................................
  • 1 Intro to ML

    1 Intro to ML

    1 Intro to ML 1.1 Basic types Need ; after expression - 42 = ; val it = 42: int -7+1; val it =8: int Can reference it - it+2; val it = 10: int - if it > 100 then "big" else "small"; val it = "small": string Different types for each branch. What will happen? if it > 100 then "big" else 0; The type checker will complain that the two branches have different types, one is string and the other is int If with then but no else. What will happen? if 100>1 then "big"; There is not if-then in ML; must use if-then-else instead. Mixing types. What will happen? What is this called? 10+ 2.5 In many programming languages, the int will be promoted to a float before the addition is performed, and the result is 12.5. In ML, this type coercion (or type promotion) does not happen. Instead, the type checker will reject this expression. div for integers, ‘/ for reals - 10 div2; val it =5: int - 10.0/ 2.0; val it = 5.0: real 1 1.1.1 Booleans 1=1; val it = true : bool 1=2; val it = false : bool Checking for equality on reals. What will happen? 1.0=1.0; Cannot check equality of reals in ML. Boolean connectives are a bit weird - false andalso 10>1; val it = false : bool - false orelse 10>1; val it = true : bool 1.1.2 Strings String concatenation "University "^ "of"^ " Oslo" 1.1.3 Unit or Singleton type • What does the type unit mean? • What is it used for? • What is its relation to the zero or bottom type? - (); val it = () : unit https://en.wikipedia.org/wiki/Unit_type https://en.wikipedia.org/wiki/Bottom_type The boolean type is inhabited by two values: true and false.
  • Handwritten Digit Classication Using 8-Bit Floating Point Based Convolutional Neural Networks

    Handwritten Digit Classication Using 8-Bit Floating Point Based Convolutional Neural Networks

    Downloaded from orbit.dtu.dk on: Apr 10, 2018 Handwritten Digit Classication using 8-bit Floating Point based Convolutional Neural Networks Gallus, Michal; Nannarelli, Alberto Publication date: 2018 Document Version Publisher's PDF, also known as Version of record Link back to DTU Orbit Citation (APA): Gallus, M., & Nannarelli, A. (2018). Handwritten Digit Classication using 8-bit Floating Point based Convolutional Neural Networks. DTU Compute. (DTU Compute Technical Report-2018, Vol. 01). General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Handwritten Digit Classification using 8-bit Floating Point based Convolutional Neural Networks Michal Gallus and Alberto Nannarelli (supervisor) Danmarks Tekniske Universitet Lyngby, Denmark [email protected] Abstract—Training of deep neural networks is often con- In order to address this problem, this paper proposes usage strained by the available memory and computational power. of 8-bit floating point instead of single precision floating point This often causes it to run for weeks even when the underlying which allows to save 75% space for all trainable parameters, platform is employed with multiple GPUs.
  • Foundations of Path-Dependent Types

    Foundations of Path-Dependent Types

    Foundations of Path-Dependent Types Nada Amin∗ Tiark Rompf †∗ Martin Odersky∗ ∗EPFL: {first.last}@epfl.ch yOracle Labs: {first.last}@oracle.com Abstract 1. Introduction A scalable programming language is one in which the same A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards concepts can describe small as well as large parts. Towards this goal, Scala unifies concepts from object and module this goal, Scala unifies concepts from object and module systems. An essential ingredient of this unification is the systems. An essential ingredient of this unification is to concept of objects with type members, which can be ref- support objects that contain type members in addition to erenced through path-dependent types. Unfortunately, path- fields and methods. dependent types are not well-understood, and have been a To make any use of type members, programmers need a roadblock in grounding the Scala type system on firm the- way to refer to them. This means that types must be able ory. to refer to objects, i.e. contain terms that serve as static We study several calculi for path-dependent types. We approximation of a set of dynamic objects. In other words, present µDOT which captures the essence – DOT stands some level of dependent types is required; the usual notion for Dependent Object Types. We explore the design space is that of path-dependent types. bottom-up, teasing apart inherent from accidental complexi- Despite many attempts, Scala’s type system has never ties, while fully mechanizing our models at each step.
  • Ocean Island Shore

    Ocean Island Shore

    AN INTERDISCIPLINARY WORKSHOP PLACING THE GLOBAL PACIFIC IN THE AGE OF CLIMATE CHANGE SPEAKERS: WARWICK ANDERSON SUGATA BOSE WENJIAO CAI JASON O. CHANG OCEAN BATHSHEBA R. DEMUTH ALEXIS DUDDEN XIAOFEI GAO JOHN HAYASHI ISLAND STEFAN HUEBNER JOHN HUTH ANTHONY MEDRANO SHORE EDWARD MELILLO IAN J. MILLER PETER PERDUE HELEN ROZWADOWSKI JONAS RÜEGG CHRISTINA THOMPSON MICHAELA THOMPSON WEDNESDAY, MAY8, 2019 9:00 AM – 5:30 PM HUCE 440 Museum of Comparative Zoology 26 Oxford Street, Cambridge Co-sponsored by: Harvard Universit y Asia Center Fairbank Center for Chinese Studies The Pacific Circle OCEAN, ISLAND, SHORE: PLACING THE GLOBAL PACIFIC IN THE AGE OF CLIMATE CHANGE May 8 th, 2019 How did modern state and non-state actors go about transforming the Pacific into a political- economic frontier during the nineteenth and twentieth centuries? What environmental, territorial, and social changes did they bring about in the process? And how does applying a maritime framework to the intertwined histories of East Asia, Southeast Asia, and Oceania change our understanding of industrialization, imperialism, capitalism, and socialism in modern Asia? Our workshop explores the intensifying exploitation of marine resources off the coasts of Pacific Asia and Oceania during the nineteenth and twentieth centuries. The expansion of global industrial capitalism into Asia’s and Oceania’s maritime regions during the nineteenth century, as well as the emergence of its communist equivalent during the mid-twentieth century, turned the affected seas and islands into a lively and contested arena. Formerly inaccessible or irrelevant maritime spaces became targets of novel political and commercial expansion schemes, leading state and non-state actors alike to stake and defend new borders that went well beyond the traditional territorial edges of the region’s major states.
  • April-June 2010 1082-6491*April-June 2*ISSN Number 23 Volume

    April-June 2010 1082-6491*April-June 2*ISSN Number 23 Volume

    AGAINST NAZI TERROR, INTERNATIONAL SOLIDARITY: No Nazis in L.A. April 17 Liberation and Human Rights for Communities in Struggle by Michael Novick, Anti-Racist Action-Los Angeles/People Against Racist Terror (ARA-LA/PART) The “National Socialist Movement” (NSM), a neo-nazi formation with a base in Open Nazis are not the main enemy in a struggle against colonialism, capitalism Riverside CA and units around the US, has issued a call for a national gathering of and imperialism, but they are a significant element, particularly in a period of their organization in Los Angeles. It features a rally on Saturday, April 17 at noon ongoing economic crisis and political instability within the belly of the beast. The on the lawn of L.A. City Hall, for which they have already applied for and received National Socialist Movement and similar open fascist forces are seeking greater a permit. They will be bringing a substantial number of uniformed nazi thugs and political legitimacy. They want greater influence within larger white nationalist and reactionary social and political forces, such as the anti-immigrant movement, the boneheads from around the US as part of their so-called “Reclaim the Southwest “tea-baggers,” and the re-emerging militia movement. An associate of the NSM in Campaign.” The NSM boasts of being the oldest and largest nazi outfit in the U.S., Phoenix is a Republican Party Committeeman, and a pal of anti-migrant Sheriff Joe but their public modus operandi is always hiding behind the skirts of the police. Arpaio. Another associate was recently busted in Louisville KY for posting a threat They pose a clear and serious threat of racist and sexist violence, which always to the life of the president on an NSM chat-site, “NewSaxon.” NSM members and follows open nazi organizing.
  • Fpnew: an Open-Source Multi-Format Floating-Point Unit Architecture For

    Fpnew: an Open-Source Multi-Format Floating-Point Unit Architecture For

    1 FPnew: An Open-Source Multi-Format Floating-Point Unit Architecture for Energy-Proportional Transprecision Computing Stefan Mach, Fabian Schuiki, Florian Zaruba, Student Member, IEEE, and Luca Benini, Fellow, IEEE Abstract—The slowdown of Moore’s law and the power wall Internet of Things (IoT) domain. In this environment, achiev- necessitates a shift towards finely tunable precision (a.k.a. trans- ing high energy efficiency in numerical computations requires precision) computing to reduce energy footprint. Hence, we need architectures and circuits which are fine-tunable in terms of circuits capable of performing floating-point operations on a wide range of precisions with high energy-proportionality. We precision and performance. Such circuits can minimize the present FPnew, a highly configurable open-source transprecision energy cost per operation by adapting both performance and floating-point unit (TP-FPU) capable of supporting a wide precision to the application requirements in an agile way. The range of standard and custom FP formats. To demonstrate the paradigm of “transprecision computing” [1] aims at creating flexibility and efficiency of FPnew in general-purpose processor a holistic framework ranging from algorithms and software architectures, we extend the RISC-V ISA with operations on half-precision, bfloat16, and an 8bit FP format, as well as SIMD down to hardware and circuits which offer many knobs to vectors and multi-format operations. Integrated into a 32-bit fine-tune workloads. RISC-V core, our TP-FPU can speed up execution of mixed- The most flexible and dynamic way of performing nu- precision applications by 1.67x w.r.t.
  • Patrimoine Et Territoire : Une Parenté Conceptuelle En Question Les Cahiers Du CFPCI

    Patrimoine Et Territoire : Une Parenté Conceptuelle En Question Les Cahiers Du CFPCI

    Les Cahiers du CFPCI7 Patrimoine et territoire : une parenté conceptuelle en question Les Cahiers du CFPCI Une collection du Centre français du patrimoine culturel immatériel- Maison des Cultures du Monde dirigée par Séverine Cachat Cette édition en ligne est le prolongement du séminaire international intitulé « Les terri- toires du patrimoine culturel immatériel », organisé à Vitré les 5 et 6 octobre 2017 par le Centre français du patrimoine culturel immatériel, dans le cadre du 21e festival de l’Imaginaire, avec le soutien et la participation de la direction générale des Patrimoines, département du Pilotage de la recherche et de la Politique scientifique (ministère de la Culture), de la Ville de Vitré, et la collaboration du Centre Georges Chevrier de l’université de Bourgogne (devenu en mars 2020 le LIR3S – Laboratoire Interdisciplinaire de Recherche « Sociétés, Sensibilités, Soin »). Illustration de couverture : Couverture brodée par les insurgents de l’EZLN représentant l’hydre capitaliste, festival CompARTE por la Humanidad (« pARTage »), 2016. © Élie Kongs. Numéro coordonné par Jean-Louis Tornatore, Isabelle Chave et Séverine Cachat Relecture, traduction et mise en page Marie Guérinel Copyright 2020 Maison des Cultures du Monde-Centre français du patrimoine culturel immatériel Les Cahiers du CFPCI 7 Table des matières Introduction Patrimoine et territoire, limites et impasses d’une « parenté conceptuelle » ......................................................................................... 9 Jean-Louis Tornatore Partie 1 :