Dissertations / Theses on the topic 'Space science'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Space science.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
King, Barbara Amelia. "Space Art + Space Science a polymathic paradigm shift in the art/science dialogue." Master's thesis, Faculty of Engineering and the Built Environment, 2021. http://hdl.handle.net/11427/32739.
Full textBarry, Andrew Michael. "The science of science : programmes of British space research." Thesis, University of Sussex, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.333979.
Full textMcCalden, Alec John. "User interfaces in space science instrumentation." Thesis, University College London (University of London), 2006. http://discovery.ucl.ac.uk/14194/.
Full textWatkinson, Emily Jane. "Space nuclear power systems : enabling innovative space science and exploration missions." Thesis, University of Leicester, 2017. http://hdl.handle.net/2381/40461.
Full textGodwin, Matthew Thomas. "The Skylark rocket, British space science and the European Space Research Organisation." Thesis, University of London, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.424926.
Full textWhite, Craig (Craig E. ). 1971. "Science fiction to science fact : the link between early science fiction and the space programs." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/9572.
Full textJafari, Rad Shirin. "Time, knowledge & space sharing : Science & Discovery Centre - Lund Science Village." Thesis, KTH, Arkitektur, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-133493.
Full textByggnaderna står i landskapet och påverkar stadsstrukturen runtom där det skulpturala samspelet utav höljet & marken transformeras på dess glasfasader. Här kommer tid, idéer, utrymme och kunskap delas genom skapandet av miljöer där deltagarna kan informera och åter-informeras av arkitektur omgiven. Dynamiken i rummen genererar kreativt tänkande och ökar den sociala interaktionen & utbytet emellan genom de transformbara sekvenserna i de olika rumsliga upplevelserna.
Daneshpour, Negar. "Time, knowledge & space sharing : Science & Discovery Centre - Lund Science Village." Thesis, KTH, Arkitektur, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-123064.
Full textByggnaderna står i landskapet och påverkar stadsstrukturen runtom där det skulpturala samspelet utav höljet & marken transformeras på dess glasfasader. Här kommer tid, idéer, utrymme och kunskap delas genom skapandet av miljöer där deltagarna kan informera och åter-informeras av arkitektur omgiven. Dynamiken i rummen genererar kreativt tänkande och ökar den sociala interaktionen & utbytet emellan genom de transformbara sekvenserna i de olika rumsliga upplevelserna.
Maharaj, Doraisamy Ashok. "Space for "development": US-Indian space relations 1955 -1976." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/45973.
Full textZanin, Serena <1988>. "The space challenge in Soviet bloc science fiction." Master's Degree Thesis, Università Ca' Foscari Venezia, 2013. http://hdl.handle.net/10579/2582.
Full textGodwin, Matthew. "The Skylark rocket : British space science and the European space research organisation, 1957-1972 /." Paris : Beauchesne, 2007. http://catalogue.bnf.fr/ark:/12148/cb411905977.
Full textDenault, Alexandre. "Journey, a shared virtual space middleware." Thesis, McGill University, 2011. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=96773.
Full textDans les dernières années, la popularité des jeux multi-joueurs a connu une croissance sans égale. Cette croissance a aussi provoqué une augmentation importante dans la complexité de développement, surtout pour les jeux en ligne massivement multi-joueurs (MMOGs). Ces jeux posent des problèmes sérieux, tel que la croissance de capacité, la fiabilité et la prévention de la tricherie. Quoiqu'il existe de nombreuses solutions pour chacun de ces problèmes, très peu de travail académique adresse tous ces problèmes ensembles. De plus, l'expérimentation dans ces domaines nécessite de grands efforts de développement.Ce document présente Journey, un cadre de librairies informatiques unifiées qui adresse tous ces problèmes avec une architecture simple, modulaire et efficace tirant parti de la technologie des objets répliqués. Journey utilise un système d'équilibrage de charge avec cellule dynamique pour pallier aux problèmes de capacité. De plus, les défis de tolérance des failles et la prévention de la tricherie peuvent être adressés à l'aide des objets déjà répliqués dans le système. L'outil proposé utilise plusieurs améliorations qui n'existe pas dans la réplication traditionnelle, tel que la division des espaces prenant compte des obstacles et l'exécution de méthode distantes.La performance de Journey est évaluée à l'aide de Mammoth, un outil de recherche pour les environnements massivement multi-joueurs. À l'aide de données expérimentales de joueurs humains, des joueurs artificiels on été construits pour mesurer la capacité et la performance de l'outil proposé. L'analyse de ses données démontre que l'équilibre des charges démontre une grande augmentation de capacité. De plus, les systèmes de tolérance de fautes et de prévention de la tricherie on très peu d'impact sur la performance du système.
Pak, Anne On-Yi 1977. "Euclidean space codes as space-time block codes." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/86722.
Full textKneale, James Robert. "Lost in space? : readers' constructions of science fiction worlds." Thesis, University College London (University of London), 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.309071.
Full textCarlton, Ashley Kelly. "Characterizing high-energy electrons in space using science imagers." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/120413.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 129-140).
Harsh radiation in the form of ionized, highly energetic particles is part of the space environment and can affect the operation, performance, and lifetime of spacecraft and their instruments. Jupiter has the largest and strongest magnetosphere of all of the planets in the solar system and it is dominated by high-energy electrons. Measuring and characterizing megaelectron volt (MeV) particles is fundamental for understanding the energetic processes powering the magnetosphere, interactions of the particles with surfaces of the Jovian satellites, and the effects of these particles on spacecraft near or in Jovian orbit. Electrons in Jupiter's magnetosphere can interact with spacecraft and lead to component failures, degradation of sensors and solar panels, and physical damage to materials. Dedicated instruments to monitor the radiation environment are not always included on spacecraft due to resource constraints. Measurements of the high-energy (>1 MeV) electron environment at Jupiter are currently spatially and temporally limited, predominantly coming from the Energetic Particle Detector (EPD) on the Galileo spacecraft. In this thesis, we develop ways to use existing hardware on spacecraft to measure the energetic particle environment. Solid-state detectors are commonly used as scientific imagers on spacecraft. In addition to being sensitive to incoming photons, semiconductor devices also are affected by incoming charged particles collected during integration and detector readout. These radiation hits from the space environment are typically considered "noise" at the detector. We develop a technique to extract quantitative high-energy electron environment information (energy and flux) from science imager radiation "noise". We use data from the Galileo spacecraft Solid-State Imaging (SSI) instrument, which is a silicon charge-coupled device (CCD). We post-process raw SSI images to obtain frames with only the radiation contribution. The camera settings are used to compute the energy deposited in each pixel, which corresponds to the intensity of the observed radiation hits. The energy deposited in the SSI pixels by incident particles from processed SSI images are compared with the results from 3D Monte Carlo transport simulations of the SSI using Geant4. Simulating the response of the SSI instrument to mono-energetic electron environments, we find that the SSI is capable of detecting >10 MeV electrons (>90% of <10 MeV particles are stopped with 95% confidence). Using geometric scaling factors computed for the SSI, we calculate the environment particle flux given a number of pixels with radiation hits. We compare the SSI results to measurements from the Galileo EPD, examining the electron fluxes from the >11 MeV integral flux channel. We find agreement with the EPD data within 3-sigma of the EPD data for 43 out of 43 (100%) of the SSI images evaluated. 62% of fluxes are also within 1-sigma of the EPD data. To demonstrate that the general technique is applicable to other imagers, we also analyze the Galileo Near-Infrared Mapping Spectrometer (NIMS). We find that NIMS is sensitive to >5 MeV electrons and the calculated fluxes are consistent with the EPD. This approach can be applied to other sets of imaging data (star trackers, etc.) in energetic electron environments, such as those found in geostationary Earth orbit. This thesis also includes a summary of required and recommended information (tests, models, etc.) for the use of science imagers as high-energy electron sensors.
by Ashley Kelly Carlton.
Ph. D.
Hicks, Adam S. "A.C.C.E.S.S. - Alternative Conceptions: a Comprehensive Examination of Space Science." Miami University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=miami1250084491.
Full textHicks, Adam Scott. "A.C.C.E.S.S. alternative conceptions : a comprehensive examination of space science /." Oxford, Ohio : Miami University, 2009. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=miami1250084491.
Full textMartin, Claudette. "Examining Visitor Attitudes and Motivations at a Space Science Centre." Thesis, Högskolan Dalarna, Vetenskapskommunikation, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:du-1162.
Full textMejia, Lillian Lynette. "Snow White in Space| Science Fiction Reimagines Traditional Fairy Tales." Thesis, University of Louisiana at Lafayette, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=1593257.
Full textThis thesis explores the intersection of fairy tales with late twentieth and early twenty-first century science fiction - specifically, the reimagining of classic fairy tales within science fictional settings. I will begin with an overview of the ways in which fairy tales and science fiction seem particularly well-suited for such an endeavor, in terms of similarity of common themes, structure, and narrative device. Next, I will examine two recent examples: Caitlín R. Kiernan's "The Road of Needles," and Tanith Lee's "Beauty," noting deviations from the traditional source material and highlighting the ways in which the original stories have been updated for modern audiences. Finally, I will offer several of my own stories that reimagine fairy tales in science fiction settings: "Curiosity," a retelling of "The Little Mermaid," "I Dream the Snowfall, the Red Earth of Mars," a retelling of "Snow White," and "Match Girl," a retelling of "The Little Match Girl."
Lange, Alissa A., Lori T. Meier, R. Murphy, C. Clevenger, Q. Tian, and E. Shock. "To the Moon and Back: Exploring Space Science with Preschoolers." Digital Commons @ East Tennessee State University, 2019. https://dc.etsu.edu/etsu-works/5891.
Full textCupitt, Catherine Anne. "Space opera: a hybrid form of science fiction and fantasy." Thesis, Curtin University, 2004. http://hdl.handle.net/20.500.11937/1082.
Full textAgnan, Marco. "SmallSats : Technical developments to address contemporary goals in space science." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASP119.
Full textThis thesis in Validation of Acquired Experience (VAE) explores how SmallSats (from CubeSats to 500kg) are unlocking new possible missions and discoveries in space science. The topics of interests go from Earth science, Solar science to remote and in-situ astrophysics.In the NewSpace era, benefiting from recent technological advances of hardware miniaturization and launch cost reductions, new scientific objectives are now accessible thanks to SmallSats, finding their best uses in:- constellation for multi point science (remote or in-situ) cases;- high risk / high return cases.Through a detailed presentation of the Project addressed during the author's carreer, this thesis explores scientific domains where SmallSats will have an innovative use in the future, highlighting limitations and technological solutions associated with such platforms.The topic of asteroid exploration using SmallSats is presented in more details, with a quantification of the scientific return of proposed concepts
Pratz, Gunther. "Space, time and transcendence : Karl Heim's philosophy of spaces at the encounter of natural science and theology." Thesis, King's College London (University of London), 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.271491.
Full textGstalder, Steven Herbert. "Understanding Library Space Planning." Thesis, University of Pennsylvania, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10289537.
Full textThe role of the academic library has shifted from developing book collections to serving the information and technology needs of students and faculty. The needs of library users change more quickly and unpredictably than the needs of books, and library directors have pushed beyond the traditional incremental approach to library development to respond to changing needs. As many universities struggle to balance budgets, library directors must demonstrate the value and demand for library spaces and services to justify investments in construction and renovation projects. This study investigates the reasons that the new library space projects were undertaken and the forces driving decisions about investments in the library facilities. The cases in this dissertation present studies of three private, non-profit liberal arts institutions in the Eastern United States that have recently invested in major renovation or construction projects for new library spaces. At each site, interviews and focus group sessions were conducted with librarians, students, faculty, and library administrators. Archival material was researched to supplement the data collected from the subjects of the interviews. A multi-lens framework of strategic change is used to examine the forces and factors that influenced the decisions to pursue new library spaces in each case study. The institutions in the study successfully developed new learning commons and library spaces through renovation or construction projects. Each of the libraries in the study faced similar factors leading to a new space, including overcrowding, interest from students in collaborative learning, increased demand for access to technology, and the decline in the use of the printed book. The strong leadership of the library director, with support from the institution’s president, contributed to the success of each project in the study. The importance of this study derives from its examination of the changing factors and forces that drive the uses of new library spaces, highlighting the need to build flexibility into new construction projects.
Bouland, Adam Michael. "The space around BQP." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113997.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 253-268).
This thesis explores the computational power of quantum devices from the perspective of computational complexity theory. Quantum computers hold the promise of solving many problems exponentially faster than classical computers. The computational power of universal quantum devices is captured by the complexity class BQP, which stands for "bounded-error quantum polynomial time." We hope that quantum devices will be capable of the full power of BQP in the long term. However, quantum computers are difficult to build, so the experimental devices of the near future may be incapable of universal quantum computation. As a result, a number of recent works have studied "weak" models of quantum computers which lie "below BQP." The first part of this thesis examines the space "below BQP" and describes a number of sub-universal models of quantum computation which can nevertheless perform sampling tasks which are difficult for classical computers. We show that prior models maintain hardness when their set of quantum operations is restricted, and describe two new models of "weak" quantum computation which also show advantage over classical devices. A major theme in this work is that almost any weak device can perform hard sampling tasks. We find that almost any model which is not universal, but not known to be efficiently classically simulable, admits a speedup over classical computing for sampling tasks under plausible assumptions. This work can be seen as progress towards classifying the power of all restricted quantum gate sets. On the other hand, quantum gravity theorists have considered modifying quantum mechanics to resolve the black hole information paradox. Inspired by these debates, the second part of this thesis explores the computational power of modified theories of quantum mechanics. We find that almost all modifications allow for drastically more power than BQP i.e. these modifications lie "above BQP" - and we find that these speedups may be related to superluminal signaling in these models. Surprisingly, we find one model which is only slightly more powerful than BQP. Inspired by this model, we study and resolve an open problem in classical complexity related to the power of statistical-zero knowledge proof systems.
by Adam Michael Bouland.
Ph. D.
Van, der Post Leda. "Creating a space for integrative education within the sciences." Thesis, Nelson Mandela Metropolitan University, 2012. http://hdl.handle.net/10948/d1012677.
Full textPoorthuis, Ate. "Social Space and Social Media: Analyzing Urban Space with Big Data." UKnowledge, 2015. http://uknowledge.uky.edu/geography_etds/41.
Full textKumaran, Vikram. "Plan Recognition as Candidate Space Search." NCSU, 2006. http://www.lib.ncsu.edu/theses/available/etd-10312006-000347/.
Full textCorbin, Benjamin Andrew. "The value proposition of distributed satellite systems for space science missions." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/103442.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 382-402).
The resources available for planetary science missions are finite and subject to some uncertainty. Despite decreasing costs of spacecraft components and launch services, the cost of space science missions is increasing, causing some missions to be canceled or delayed, and fewer science groups have the opportunity to achieve their goals due to budget limits. New methods in systems engineering have been developed to evaluate flexible systems and their sustained lifecycle value, but these methods are not yet employed by space agencies in the early stages of a mission's design. Previous studies of distributed satellite systems (DSS) showed that they are rarely competitive with monolithic systems; however, comparatively little research has focused on how DSS can be used to achieve new, fundamental space science goals that simply cannot be achieved with monolithic systems. The Responsive Systems Comparison (RSC) method combines Multi-Attribute Tradespace Exploration with Epoch-Era Analysis to examine benefits, costs, and flexible options in complex systems over the mission lifecycle. Modifications to the RSC method as it exists in previously published literature were made in order to more accurately characterize how value is derived from space science missions. A tiered structure in multi-attribute utility theory allows attributes of complex systems to be mentally compartmentalized by stakeholders and more explicitly shows synergy between complementary science goals. New metrics help rank designs by the value derived over their entire mission lifecycle and show more accurate cumulative value distributions. A complete list of the emergent capabilities of DSS was defined through the examination of the potential benefits of DSS as well as other science campaigns that leverage multiple assets to achieve their scientific goals. Three distinct categories consisting of seven total unique capabilities related to scientific data sampling and collection were identified and defined. The three broad categories are fundamentally unique, analytically unique, and operationally unique capabilities. This work uses RSC to examine four case studies of DSS missions that achieve new space science goals by leveraging these emergent capabilities. ExoplanetSat leverages shared sampling to conduct observations of necessary frequency and length to detect transiting exoplanets. HOBOCOP leverages simultaneous sampling and stacked sampling to study the Sun in far greater detail than any previous mission. ÆGIR leverages census sampling and self-sampling to catalog asteroids for future ISRU and mining operations. GANGMIR leverages staged sampling with sacrifice sampling and stacked sampling to answer fundamental questions related to the future human exploration of Mars. In all four case studies, RSC showed how scientific value was gained that would. be impossible or unsatisfactory with monolithic systems. Information gained in these studies helped stakeholders more accurately understand the risks and opportunities that arise as a result of the added flexibility in these missions. The wide scope of these case studies demonstrates how RSC can be applied to any science mission, especially one with goals that are more easily achieved with (or impossible to achieve without) DSS. Each study serves as a blueprint for how to conduct a Pre-Phase A study using these methods.
by Benjamin Andrew Corbin.
Ph. D.
McFarthing, James. "Jules Verne and the utopias of space, time and science fiction." Thesis, University of Bristol, 2014. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.665460.
Full textCrumley, Zacharia. "Voxel-Space Shape Grammars." Thesis, University of Cape Town, 2012. http://pubs.cs.uct.ac.za/archive/00000783/.
Full textToal, Ciaran. "Space and spectacle : science and religion at the British Association for the Advancement of Science, 1840-1890." Thesis, Queen's University Belfast, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580114.
Full textAktug, Irem. "State space representation for verification of open systems." Licentiate thesis, Stockholm, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3973.
Full textNg, Tobun Dorbin. "A concept space approach to semantic exchange." Diss., The University of Arizona, 2000. http://hdl.handle.net/10150/289095.
Full textFuhry, David P. "Skylines in Metric Space." Kent State University / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=kent1208562156.
Full textHandmer, Annie Grace. "Making a success of ‘failure’: a Science Studies analysis of PILOT and SERC in the context of Australian space science." Thesis, The University of Sydney, 2022. https://hdl.handle.net/2123/27383.
Full textKamahele-Sanfratello, Ciara L. (Ciara Lei). "Symbolic planning in belief space." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/100604.
Full textThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (page 32).
SASY (Scalable and Adjustable SYmbolic) Planner is a flexible symbolic planner which searches for a satisfying plan to a partially observable Markov decision process, or a POMDP, while benefiting from advantages of classical symbolic planning such as compact belief state expression, domain-independent heuristics, and structural simplicity. Belief space symbolic formalism, an extension of classical symbolic formalism, can be used to transform probabilistic problems into a discretized and deterministic representation such that domain-independent heuristics originally created for classical symbolic planning systems can be applied to them. SASY is optimized to solve POMDPs encoded in belief space symbolic formalism, but can also be used to find a solution to general symbolic planning problems. We compare SASY to two other POMDP solvers, SARSOP and POMDPX_NUS, and define a new benchmark domain called Elevator.
by Ciara L. Kamahele-Sanfratello.
M. Eng.
Wang, Harrison M. Eng Massachusetts Institute of Technology. "Interactive exploration of design space." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/123118.
Full textThesis: M. Eng. in Computer Science and Engineering, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 57-59).
Typical design for manufacturing applications requires simultaneous optimization of conflicting performance objectives: Design variations that improve one performance metric may decrease another performance metric. In these scenarios, there is no unique optimal design but rather a set of designs that are optimal for different tradeoffs (called Pareto-optimal). In this thesis, I present a novel approach to discovering the Pareto front, allowing designers to navigate the landscape of compromises efficiently. The approach is based on a first-order approximation of the Pareto front, which allows entire neighborhoods rather than individual points on the Pareto front to be captured. In addition to allowing for efficient discovery of the Pareto front and the corresponding mapping to the design space, this approach allows one to represent the entire trade-off manifold as a small collection of patches that comprise a high-quality and piecewise-smooth approximation. Additionally, I will present the early stages of an extension to the aforementioned work - namely the capability to discover a Pareto gamut that arises from multiple fronts affected by one or more application variables.
by Harrison Wang.
M. Eng. in Computer Science and Engineering
M.Eng.inComputerScienceandEngineering Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science
Chiku, Takemi. "Japanese space policy in the changing world." Thesis, Massachusetts Institute of Technology, 1992. http://hdl.handle.net/1721.1/12825.
Full textCoughlin, Michael. "Enabling User Space Secure Hardware." Thesis, University of Colorado at Boulder, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10791863.
Full textUser space software allows developers to customize applications beyond the limits of the privileged operating system. In this dissertation, we extend this concept to the hardware in the system, providing applications with the ability to define secure hardware; effectively enabling hardware to be treated as a user space resource. This addresses a significant challenge facing industry today, which has an increasing need for secure hardware. With the ever increasing leaks of private data, increasing use of a variety of computing platforms controlled by third parties, and increasing sophistication of attacks, secure hardware, now more than ever, is needed to provide protections we need. However, the current ecosystem of secure hardware is fractured and limited. Developers are left with few choices of platforms to implement their applications and oftentimes the choices don’t fully meet their needs. Instead of relying on manufacturers to make the correct design decisions and ensuring that these platforms are implemented correctly, we enable applications to define the exact secure hardware that it needs to protect itself and its data.
This vision leverages the emergence of programmable hardware, specifically FPGAs, to serve as the basis of user space secure hardware. The challenges of this, however, are that (i) sharing of FPGA resources among multiple applications is not currently practical, and (ii) the reprogrammability of FPGAs compromises the security properties of secure hardware. We address these challenges by introducing two systems, Cloud RTR and Software Defined Secure Hardware, which individually solve each challenge, and then combine these solutions together to realize the complete vision. Cloud RTR solves the first challenge by leveraging cloud compilation to allow for an FPGA to be shared between applications, making hardware into a user space resource. SDSHW solves the second challenge by introducing a self-provisioning system that allows for an FPGA to provisioned into a secure state, allowing for secure hardware to be run in an FPGA. We then combine these two systems to implement the user space hardware provided by Cloud RTR on the secure platform provided by SDSHW, which provides our vision of user space secure hardware.
Backman, Fredrick. "Making Place for Space : a History of 'Space Town' Kiruna 1943-2000." Doctoral thesis, Umeå universitet, Institutionen för idé- och samhällsstudier, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-101725.
Full textAnderson, Clinton W. "Probing Space: Formative Assessment in a Middle School Inquiry-Based Science Classroom." Master's thesis, University of Central Florida, 2012. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/5103.
Full textID: 031001339; System requirements: World Wide Web browser and PDF reader.; Mode of access: World Wide Web.; Title from PDF title page (viewed April 15, 2013).; Thesis (M.Ed.)--University of Central Florida, 2012.; Includes bibliographical references (p, 170-172).
M.Ed.
Masters
Teaching, Learning, and Leadership
Education and Human Performance
K-8 Math and Science
Divine, Susan Marie. "Utopias of Thought, Dystopias of Space: Science Fiction in Contemporary Peninsular Narrative." Diss., The University of Arizona, 2009. http://hdl.handle.net/10150/195666.
Full textSun, Chen Ph D. Massachusetts Institute of Technology. "Design space exploration of photonic interconnects." Thesis, Massachusetts Institute of Technology, 2011. http://hdl.handle.net/1721.1/68509.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (p. 109-113).
As processors scale deep into the multi-core and many-core regimes, bandwidth and energy-efficiency of the on-die interconnect network have become paramount design issues. Recognizing potential limits of electrical interconnects, emerging nanophotonic integration has been recently proposed as a potential technology option for both on-chip and chip-to-chip applications. As optical links avoid the capacitive, resistive and signal integrity limits imposed upon electrical interconnects, the introduction of integrated photonics allows for efficient realization of physical connectivity that are costly to accomplish electrically. While many recent works have since cited the potential benefits of optics, inherent design tradeoffs of photonic datapath and backend components remain relatively unknown at the system-level. This thesis develops insights regarding the behavior of electrical and hybrid optoelectrical networks and systems. We present power and area models that capture the behavior of electrical interface circuits and their interactions with optical devices. To animate these models in the context of a full system, we contribute DSENT, a novel physical modeling framework capable of estimating the costs of generalized digital electronics, mixed-signal interface circuitry, and optical links. With DSENT, we enable fast power and area evaluation of entire networks to connect the dynamics of an underlying photonics interconnect to that of an otherwise electrical system. Using our methodolody, we perform a technology-driven design space exploration of intra-chip networks and highlight the importance of thermal tuning and parasitic receiver capacitances in network power consumption. We show that the performance gains enabled by photonics-inspired architectures can enable savings in total system energy even if the network is more costly. Finally, we propose a photonically interconnected DRAM system as a solution to the core-to-DRAM bandwidth bottleneck. By attacking energy consumption at the DRAM channel, chip, and bank level with integrated photoncis, we cut the power consumption of the DRAM system by 10x while remaining area neutral when compared to a projected electrical baseline.
by Chen Sun.
S.M.
Dodis, Yevgeniy 1976. "Space-time tradoffs for graph properties." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/47497.
Full textBrodsky, Micah Z. (Micah Zev). "Synthetic morphogenesis : space, time, and deformation." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/92963.
Full textThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 127-133).
Synthetic biology has presented engineers with a fascinating opportunity: can we understand the principles of our origins { animal embryonic development - by re-engineering it in the laboratory? I investigate, from an engineer's perspective, some of problems that arise in developing geometric form in a deformable substrate. More abstractly, I attack the problem of establishing spatial patterns, when rearranging and deforming parts of the system is inherent to the process. Deformable, foam-like cellular surfaces are developed as a model for embryonic epithelia (polarized cellular sheets), one of the principal tissue types in early animal development. I explore ways in which simple agent programs running within the individual cells can collectively craft large-scale structures. The mechanical properties of the substrate prove crucial to the patterning process. In such a distributed, heterogeneous substrate, little can be assumed about the progress of time. In one branch of my work, I develop patterning techniques where convergence is transparently and locally detectable, drawing insights from clockless digital circuits and casting the problem as distributed constraint propagation. In another branch of work, I avoid the problem of timing by making all patterns self- correcting. In self-correcting patterning, I attempt to understand "canalization" - how development is naturally robust to perturbations. I formulate a model for regional patterning, inspired by regeneration experiments in developmental biology, and using mathematical principles from classical models of magnetic domains and phase separation. The problem again becomes a form of distributed constraint propagation, now using soft constraints. I explore some of the resulting phenomena and then apply the mechanism to crafting surface geometries, where self-correction makes the process robust to both damage and self-deformation. I conclude with a look at how this naturally leads to an example of partial redundancy { multiple systems that partly but not completely overlap in function - yielding confusing responses to the effects of virtual knock-out experiments, reminiscent of the confusing behavior of knock-out experiments in biology.
by Micah Z. Brodsky.
Ph. D.
Mkadmi, Taieb. "Speeding-up state-space search by automatic abstraction." Thesis, University of Ottawa (Canada), 1993. http://hdl.handle.net/10393/6908.
Full textOliveau, Kevin B. "The future of the U.S. military in space." Thesis, Massachusetts Institute of Technology, 1993. http://hdl.handle.net/1721.1/12737.
Full textKelly, Michael Robert 1953. "Intelligent space laboratory organizational design using system entity structure concepts." Thesis, The University of Arizona, 1990. http://hdl.handle.net/10150/291985.
Full textPatala, Srikanth. "Topological analysis of the grain boundary space." Thesis, Massachusetts Institute of Technology, 2011. http://hdl.handle.net/1721.1/69667.
Full textThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 117-125).
Grain boundaries and their networks have a profound influence on the functional and structural properties of every class of polycrystalline materials and play a critical role in structural evolution and phase transformations. Recent experimental advances enable a full crystallographic characterization, including the boundary misorientation and inclination parameters, of grain boundaries. Despite these advances, a lack of appropriate analytical tools severely undermines our ability to analyze and exploit the full potential of the vast amounts of experimental data available to materials scientists. This is because the topology of the grain boundary space is unknown and even a well-studied part of the complete grain boundary space, the misorientation space, is relatively poorly understood. This thesis summarizes efforts to improve the representation of misorientation information and to understand the topology of the complete grain boundary space. First, the topology of the space of misorientations is discussed with a focus on the effect of symmetries on the minimum embedding dimensions in Euclidean space. This opens the door to a new method of representation of misorientation information in which grain boundaries can be uniquely colored by their misorientations. Second, conditions under which the topology of the grain boundary space has been resolved are presented. Resolving the topology of the complete grain boundary space not only facilitates statistical analysis of grain boundaries, but can also help describe the structure-property relationships of these interfaces.
by Srikanth Patala.
Ph.D.