1,678 research outputs found

    Index to 1984 NASA Tech Briefs, volume 9, numbers 1-4

    Get PDF
    Short announcements of new technology derived from the R&D activities of NASA are presented. These briefs emphasize information considered likely to be transferrable across industrial, regional, or disciplinary lines and are issued to encourage commercial application. This index for 1984 Tech B Briefs contains abstracts and four indexes: subject, personal author, originating center, and Tech Brief Number. The following areas are covered: electronic components and circuits, electronic systems, physical sciences, materials, life sciences, mechanics, machinery, fabrication technology, and mathematics and information sciences

    Self-adaptation via concurrent multi-action evaluation for unknown context

    Get PDF
    Context-aware computing has been attracting growing attention in recent years. Generally, there are several ways for a context-aware system to select a course of action for a particular change of context. One way is for the system developers to encompass all possible context changes in the domain knowledge. Other methods include system inferences and adaptive learning whereby the system executes one action and evaluates the outcome and self-adapts/self-learns based on that. However, in situations where a system encounters unknown contexts, the iterative approach would become unfeasible when the size of the action space increases. Providing efficient solutions to this problem has been the main goal of this research project. Based on the developed abstract model, the designed methodology replaces the single action implementation and evaluation by multiple actions implemented and evaluated concurrently. This parallel evaluation of actions speeds up significantly the evolution time taken to select the best action suited to unknown context compared to the iterative approach. The designed and implemented framework efficiently carries out concurrent multi-action evaluation when an unknown context is encountered and finds the best course of action. Two concrete implementations of the framework were carried out demonstrating the usability and adaptability of the framework across multiple domains. The first implementation was in the domain of database performance tuning. The concrete implementation of the framework demonstrated the ability of concurrent multi-action evaluation technique to performance tune a database when performance is regressed for an unknown reason. The second implementation demonstrated the ability of the framework to correctly determine the threshold price to be used in a name-your-own-price channel when an unknown context is encountered. In conclusion the research introduced a new paradigm of a self-adaptation technique for context-aware application. Among the existing body of work, the concurrent multi-action evaluation is classified under the abstract concept of experiment-based self-adaptation techniques

    ์Šค์œ„ํŠธ ๋ฐ”์งˆ ์žฌ๋ฐฐ๋ฅผ ์œ„ํ•œ ๊ฐ€์ •์šฉ ํผ์ง€ ์ œ์–ด ์ˆ˜๊ฒฝ์žฌ๋ฐฐ ์‹œ์Šคํ…œ ๊ฐœ๋ฐœ

    Get PDF
    ํ•™์œ„๋…ผ๋ฌธ (์„์‚ฌ) -- ์„œ์šธ๋Œ€ํ•™๊ต ๋Œ€ํ•™์› : ๋†์—…์ƒ๋ช…๊ณผํ•™๋Œ€ํ•™ ๋ฐ”์ด์˜ค์‹œ์Šคํ…œยท์†Œ์žฌํ•™๋ถ€(๋ฐ”์ด์˜ค์‹œ์Šคํ…œ๊ณตํ•™), 2021. 2. ์กฐ์„ฑ์ธ.ํ† ์–‘์—์„œ ๋Œ€๊ธฐ๊นŒ์ง€์˜ ๋ฒ”์œ„๊ฐ€ ๋„“์–ด์ง€๋ฉด์„œ ํ™˜๊ฒฝ ์˜ค์—ผ์ด ์‹ฌํ™”๋จ์— ๋”ฐ๋ผ ์‹ค๋‚ด ๋†์—…์— ๋Œ€ํ•œ ์ˆ˜์š”๊ฐ€ ์ฆ๊ฐ€ํ•˜๊ณ  ๊ด€๋ จ ์—ฐ๊ตฌ๋„ ์ฆ๊ฐ€ํ•˜๊ณ  ์žˆ๋‹ค. ์‹ค์™ธ ๊ธฐํ›„ ์กฐ๊ฑด์— ์˜ํ–ฅ์„ ๋ฐ›์ง€ ์•Š๋Š” ์•ˆ์ •์ ์ธ ์‹ค๋‚ด ์žฌ๋ฐฐ ์‹œ์Šคํ…œ๊ณผ ๊ณต๊ฐ„์„ ์ตœ๋Œ€๋กœ ํ™œ์šฉํ•˜๋Š” ํšจ์œจ์ ์ธ ์‹œ์Šคํ…œ์— ๋Œ€ํ•œ ์—ฐ๊ตฌ๊ฐ€ ์ง€์†์ ์œผ๋กœ ๊ฐ€์†ํ™”๋˜๊ณ  ์žˆ๋‹ค. ๋Œ€๋ถ€๋ถ„์˜ ์—ฐ๊ตฌ๋Š” ์‚ฐ์—… ๋†์—… ๋˜๋Š” ๋Œ€๊ทœ๋ชจ ์ƒ์‚ฐ์— ์ค‘์ ์„ ๋‘๋Š” ๊ฒฝํ–ฅ์ด ์žˆ์œผ๋‚˜ ๊ฐ€์ •์„ ์œ„ํ•œ ์†Œ๊ทœ๋ชจ ์žฌ๋ฐฐ๋„ ๋งŽ์ด ๊ฐœ๋ฐœ๋˜์–ด์•ผ ํ•œ๋‹ค. ์ด ์—ฐ๊ตฌ๋Š” Raspberry pi 4 ๋ฐ python์„ ์‚ฌ์šฉํ•˜์—ฌ ํผ์ง€ ๋…ผ๋ฆฌ์— ์˜ํ•ด ์ž๋™์œผ๋กœ ์ œ์–ด๋˜๋Š” ๊ฐ€์ •์šฉ ์ˆ˜๊ฒฝ ์žฌ๋ฐฐ ์‹œ์Šคํ…œ์„ ๋งŒ๋“ค๊ธฐ ์œ„ํ•ด ์„ค๊ณ„๋˜์—ˆ๋‹ค. ์• ๋งคํ•œ ์ƒํ™ฉ์„ ํ•ด๊ฒฐํ•˜๊ณ  ์ฑ”๋ฒ„ ๋‚ด๋ถ€์˜ ํ™˜๊ฒฝ ์ œ์–ด๋ฅผ ๊ฐœ์„ ํ•˜๊ธฐ ์œ„ํ•ด ํผ์ง€ ๋กœ์ง ์ œ์–ด (FLC)๋ฅผ ์ฑ„ํƒํ–ˆ๋‹ค. FLC์˜ ๊ฒฝ์šฐ 3 ๊ฐœ์˜ ์ž…๋ ฅ ๋ณ€์ˆ˜์™€ 7 ๊ฐœ์˜ ์ถœ๋ ฅ ๋ณ€์ˆ˜๊ฐ€ ์‚ฌ์šฉ๋˜์—ˆ๋‹ค. ์ž…๋ ฅ ๋ณ€์ˆ˜๋Š” ์˜จ๋„, ์Šต๋„ ๋ฐ ์„ฑ์žฅ ๋‹จ๊ณ„ (๊ธฐ๊ฐ„)์ด๊ณ  ์ถœ๋ ฅ ๋ณ€์ˆ˜๋Š” ํŒฌ, ๋ฏธ์ŠคํŠธ, ํžˆํ„ฐ 1, ํžˆํ„ฐ 2, ๊ทธ๋ฆฌ๊ณ  3 ๊ฐœ (์ ์ƒ‰, ๋…น์ƒ‰, ์ฒญ์ƒ‰) LED์ด๋ฉฐ, 6 ๊ฐœ์˜ FLC ํผ์ง€ ๊ทœ์น™์ด ์ ์šฉ๋˜์—ˆ๋‹ค. ์ด FLC๋Š” ๊ฐ ์„ฑ์žฅ ๋‹จ๊ณ„๋งˆ๋‹ค ๋‹ค๋ฅธ ํœ˜๋ฐœ์„ฑ ํ™”ํ•ฉ๋ฌผ๊ณผ ์‹๋ฌผ์˜ ๋ง›์„ ์œ ๋ฐœํ•˜๋Š” ๋‹ค์–‘ํ•œ ๊ด‘์งˆ๊ณผ ๋ฐ€๋„๊ฐ€ ํ•„์š”ํ•˜์—ฌ ์„ธ ๊ฐ€์ง€ ์กฐ๋ช…์ด ๊ฐ๊ฐ ์„ธ ๋‹จ๊ณ„์˜ ์žฌ๋ฐฐ ๊ธฐ๊ฐ„ ๋™์•ˆ ์ž‘๋™๋˜๋„๋ก ์„ค๊ณ„๋˜์—ˆ๋‹ค. ๊ทธ ๊ฒฐ๊ณผ ์ œ์–ด ์‹œ์Šคํ…œ ๋‚ด๋ถ€ ์˜จ๋„๋Š” ์™ธ๋ถ€ ์˜จ๋„ 19.8 โ„ƒ์— ๋น„ํ•ด 21 ~ 26 โ„ƒ (ํ‰๊ท  21.24 โ„ƒ)๋กœ ์œ ์ง€๋˜์—ˆ์œผ๋ฉฐ, ๋‚ด๋ถ€ ์Šต๋„์˜ ํ‰๊ท ๊ฐ’์€ ์™ธ๋ถ€ ์Šต๋„ 16.57 %์— ๋น„ํ•ด 75.58 %๋กœ ์œ ์ง€๋˜์–ด ์‹œ์Šคํ…œ์„ ํ†ตํ•ด ๋ฐ”์งˆ ์žฌ๋ฐฐ์— ์ ํ•ฉํ•œ ํ™˜๊ฒฝ์ด ์กฐ์„ฑ๋˜์—ˆ๋‹ค๋Š” ๊ฒƒ์ด ํ™•์ธ๋˜์—ˆ๋‹ค. ๊ทธ๋Ÿฌ๋‚˜, ์Šต๋„๊ฐ€ 60 ~ 65 % ์ˆ˜์ค€์œผ๋กœ ๋‚ฎ๊ฒŒ ์œ ์ง€๋˜๋ฉด ๋”์šฑ ์ ํ•ฉํ•œ ํ™˜๊ฒฝ์ด ์กฐ์„ฑ๋˜๋ฏ€๋กœ ์ด ๋ฌธ์ œ๋ฅผ ํ•ด๊ฒฐํ•˜๊ธฐ ์œ„ํ•ด Pearson์˜ ์ƒ๊ด€ ๊ณ„์ˆ˜๋ฅผ ์‚ฌ์šฉํ•˜์—ฌ ๊ทœ์น™๊ณผ ๋ฉค๋ฒ„์‹ญ ํ•จ์ˆ˜๋ฅผ ๋ถ„์„ํ–ˆ๋‹ค. ํŒฌ๊ณผ ํžˆํ„ฐ, ์Šต๋„, ๋ฏธ์ŠคํŠธ์™€์˜ ์ƒ๊ด€ ๊ด€๊ณ„๊ฐ€ ์˜ˆ์ƒ๋ณด๋‹ค ๋‚ฎ์•˜๊ธฐ ๋•Œ๋ฌธ์— ๋ฌธ์ œ์˜ ์ฃผ์š” ์›์ธ์€ ํŒฌ๊ณผ ๊ด€๋ จ๋œ ๊ฒƒ์œผ๋กœ ์ถ”์ •๋œ๋‹ค. ๊ฒŒ๋‹ค๊ฐ€, ์‹œ๋ฎฌ๋ ˆ์ด์…˜๊ณผ ์‹ค์ œ ์ž‘๋™ ์‚ฌ์ด์˜ ๋น„๊ต๊ฐ€ ์ˆ˜ํ–‰๋˜์—ˆ์œผ๋ฉฐ ํžˆํ„ฐ์˜ ์‹ค์ œ ์ž‘๋™์ด ์‹œ๋ฎฌ๋ ˆ์ด์…˜์˜ ์˜์—ญ์„ ๋ฒ—์–ด๋‚˜ ๋ถ€์ ์ ˆํ•˜๊ฒŒ ์ด๋ฃจ์–ด์กŒ๋‹ค๋Š” ๊ฒƒ์„ ๋ฐœ๊ฒฌํ–ˆ๋‹ค. ๋งˆ์ง€๋ง‰์œผ๋กœ, ๊ด‘์งˆ์€ ์ง€์† ์‹œ๊ฐ„์— ๋”ฐ๋ฅธ ์„ธ ๊ฐ€์ง€ ๋น› ํŒŒ์žฅ ์˜์—ญ (๋ฐœ์•„ ๋ฐ ์žŽ์˜ ์„ฑ์žฅ์„ ์œ„ํ•œ ์ฒญ์ƒ‰๊ด‘, ๊ฐœํ™”๋ฅผ ์œ„ํ•œ ์ ์ƒ‰๊ด‘, ์žŽ์˜ ์บ๋…ธํ”ผ๋ฅผ ํ†ตํ•œ ์ƒ์œก ์ €ํ•˜๋ฅผ ๋ฐฉ์ง€ํ•˜๋Š” ๋…น์ƒ‰๊ด‘)์„ ๊ธฐ๋ฐ˜์œผ๋กœ FLC์— ์˜ํ•ด ์ž˜ ์ œ์–ด๋˜์—ˆ๋‹ค. ์ถ”ํ›„ RGB ์นด๋ฉ”๋ผ๋ฅผ ์‚ฌ์šฉํ•˜๋Š” ๋จธ์‹  ๋น„์ „์œผ๋กœ ์„ฑ์žฅ ๋‹จ๊ณ„๋ฅผ ์ถ”์ •ํ•˜๋ฉด ์กฐ๋ช… ์ œ์–ด๊ฐ€ ๋” ์ •ํ™•ํ•ด์งˆ ๊ฒƒ์œผ๋กœ ๊ธฐ๋Œ€๋œ๋‹ค.As environmental pollution gets more severe demands for indoor farming have been rising with a subsequent increase in studies related to it. Research on stable indoor cultivation systems that cannot be affected by outdoor climate conditions and efficient systems that can maximize production under space constraints is advancing rapidly. However, most studies focus on industrial farming or large-scale production. Small-scale cultivation for households requires equal attention. This study aimed to design household hydroponic systems automatically controlled by fuzzy logic with Raspberry Pi 4 and using the Python programming language. Fuzzy logic control (FLC) was adopted to resolve ambiguity and improve the environmental control of the inside chamber. For the FLC, three input and seven output variables were used. The input variables were temperature, humidity, and growth stage (duration) and the output variables were fan, mist, two heaters (heater1 and heater2), and three RGB LEDs. Six FLC rules were with these variables. The FLC ensured that the three lights operate for three different cultivating periods. Each growth stage required different light quality and density inducing different volatile compounds and flavors of plants. The results showed that inner temperature of the control uses airflow to maintain the temperature at approximately 21 โ€“ 26 โ„ƒ (average of 21.24 โ„ƒ) compared to the outer temperature of 19.8 โ„ƒ. Furthermore, the mean value of inner humidity is 75.58 %, the outer humidity was 16.57 %. However, the controlled humidity should have been maintained at an approximately lower temperature of the level of 60 - 65 %. To address this problem, the rules and membership functions were analyzed by Pearsons correlation coefficients. Because fans correlations with heaters, humidity and mist were lower than expected, it was assumed that the fan made a significant contribution to the problem. Besides, comparison between simulation and actual operation were carried out and it was noticed that heaters actual work was done inappropriately breaking the boundary of simulation. Finally, light quality was controlled by the FLC based on three light regimes upon days of duration; blue light for germination, red light for vegetative growth and green light for flowering stage. The light control will be more accurate if the growth stage is estimated by machine vision with an RGB camera.Abstract โ…ฒ Table of Contents โ…ด List of Tables โ…ท List of Figures โ…ธ Chapter 1. Introduction 1 1.1. Study Background 1 1.2. Review of Literature 4 1.2.1. Urban farming and Urban agriculture 4 1.2.2. Household appliances in agriculture 7 1.2.3. Lighting for cultivation 9 1.2.4. Basil (Ocimum Basilicum L.) 13 1.2.5. Growth stages of Plants 15 1.2.6. Fuzzy Logic Control Systems in Agriculture 18 1.3. Research Purpose and Significance 20 1.3.1. Research Objectives 20 1.3.2. Significance 21 Chapter 2. Materials and Methods 22 2.1. Preliminary Performance Test of Conventional Control System 22 2.1.1. Purpose of Preliminary Test 22 2.1.2. Hardware Design 23 2.1.2.1. Wall-mount and standing type (two ways) 23 2.1.2.2. Modular type 25 2.1.3. Hardware Operating Test With Arduino 26 2.1.3.1. Materials 26 2.1.3.2. Overall system 28 2.1.4. Fuzzy Logic Simulation With MATLAB and Arduino 29 2.2. Experimental Hardware Setup and Configuration 32 2.2.1. Materials 32 2.2.2. Overall Circuit and System Setup 36 2.2.3. Fuzzy Logic Control System 39 Chapter 3. Results and Discussion 48 3.1. Preliminary Test Results 48 3.1.1. Hardware Work 48 3.1.2. Software Work 49 3.1.3. Limitations 50 3.2. Experiment Results 51 3.2.1. Simulation 51 3.2.1.1. Rule View 51 3.2.1.2. Surface View 54 3.2.2 Hardware operations 55 3.2.2.1. Fan 55 3.2.2.2. Mist 55 3.2.2.3. Heaters 56 3.2.2.4. LED 57 3.2.3. Results of Integrated system 58 3.2.3.1. Unprocessed data of temperature and humidity 58 3.2.3.2. Outliers removement 61 3.2.3.2.1. Statistics 61 3.2.3.2.2. Data Visualization 63 3.2.3.3. LED Changes 66 3.2.4. Correlation between Input and Output variables 70 3.2.4.1. Group1 (Temperature, Humidity) 69 3.2.4.2. Comparison between results of simulation and actual operation 75 Chapter 4. Conclusions 80 Bibliography 84 Abstract in Korean 88Maste

    Airborne Contaminant Dispersal in Critical Built Environments

    Get PDF
    The Indoor Air Quality (IAQ), being one of the most significant exposures to human beings, encompasses the concepts of comfort and safety from unwanted contaminants. Whereas the thermal comfort is controlled through proper conditioning and distribution of ventilated air, controlling the airborne contaminants requires careful investigation of the flow characteristics. IAQ translates to different requirements, depending on the intended use of the indoor environment. In critical indoor spaces such as Operating Rooms and Cleanrooms, the principal focus of IAQ is to remove/contain/divert contaminants flowing with the airstream to maintain the required sterility, as contamination can lead to adverse patient/product outcomes. The airborne contaminants, generally submicron-sized particles, are controlled by directional airflow through differential pressure, depending on whether the space needs to exfiltrate (e.g., Operating Room โ€“ positive pressure) or contain (e.g., Isolation Room โ€“ negative pressure) the airborne contaminants. The current design paradigm that determines such pressure differential assumes steady-state conditions. Theoretically, during the steady-state, the rate of flow velocity change is zero, resulting in a constant flow field in time, and the distribution of contaminants in the space can be modeled using ordinary differential equations. Therefore, the steady-state assumption must hold to explain the contamination dispersal. However, in practice, transient occupant interventions like a door opening and walking through the steady-state flow fields alter the flow characteristics. In response, this dissertation examines how occupant-introduced transient events affect the steady-state flow. This study aims to quantify and identify patterns of the changes in the flow characteristics for different scenarios of realistic door openings and human walks under a range of ventilation rates through controlled experiments and numerical simulations. Through specifically designed experiments, the impacts of door operation and occupant walking were characterized and quantified based on different levels of supply flow rates from the ventilation system. The results of the experiments suggested that special considerations were required to control for the transient phenomena and the pressure differential. The walking and door opening experiments also found distinguishable changes in the flow characteristics under each separate interaction between the indoor environment and the occupant. It was interesting to note that even though the magnitude of the effects was different for different levels of initial condition and intervention types, the changes in the flow properties exhibited identical patterns that were possible to model and make predictions. Thus, this dissertation considers the sporadic transient interventions from the occupants (e.g., - door opening and walking) as events and discusses an approximation method called โ€˜Event-Based Modelingโ€™ (EBM) using the collected data through these experiments. Two-dimensional numerical models were developed to obtain additional data on the changes in airflow characteristics and were used to model and test the accuracy of EBMโ€™s prediction capabilities. The results demonstrated that the predictions from EBM were accurate, and the computational efficiency is improved compared to the traditional numerical simulation approach. This method can eliminate parallel modeling of the same phenomena, providing alternatives to simulate complex and computationally intensive transient events repeatedly. As a potential application, the changes in flow velocities from human-environment interactions in a critical indoor environment like an operating room can be predicted using the EBM method. This way, the ventilation systems can be designed as occupant-centric and energy-efficient by considering the impacts of the transient events instead of only considering the steady-state events

    NASA Tech Briefs, December 2005

    Get PDF
    Topics covered include: Video Mosaicking for Inspection of Gas Pipelines; Shuttle-Data-Tape XML Translator; Highly Reliable, High-Speed, Unidirectional Serial Data Links; Data-Analysis System for Entry, Descent, and Landing; Hybrid UV Imager Containing Face-Up AlGaN/GaN Photodiodes; Multiple Embedded Processors for Fault-Tolerant Computing; Hybrid Power Management; Magnetometer Based on Optoelectronic Microwave Oscillator; Program Predicts Time Courses of Human/ Computer Interactions; Chimera Grid Tools; Astronomer's Proposal Tool; Conservative Patch Algorithm and Mesh Sequencing for PAB3D; Fitting Nonlinear Curves by Use of Optimization Techniques; Tool for Viewing Faults Under Terrain; Automated Synthesis of Long Communication Delays for Testing; Solving Nonlinear Euler Equations With Arbitrary Accuracy; Self-Organizing-Map Program for Analyzing Multivariate Data; Tool for Sizing Analysis of the Advanced Life Support System; Control Software for a High-Performance Telerobot; Java Radar Analysis Tool; Architecture for Verifiable Software; Tool for Ranking Research Options; Enhanced, Partially Redundant Emergency Notification System; Close-Call Action Log Form; Task Description Language; Improved Small-Particle Powders for Plasma Spraying; Bonding-Compatible Corrosion Inhibitor for Rinsing Metals; Wipes, Coatings, and Patches for Detecting Hydrazines; Rotating Vessels for Growing Protein Crystals; Oscillating-Linear-Drive Vacuum Compressor for CO2; Mechanically Biased, Hinged Pairs of Piezoelectric Benders; Apparatus for Precise Indium-Bump Bonding of Microchips; Radiation Dosimetry via Automated Fluorescence Microscopy; Multistage Magnetic Separator of Cells and Proteins; Elastic-Tether Suits for Artificial Gravity and Exercise; Multichannel Brain-Signal-Amplifying and Digitizing System; Ester-Based Electrolytes for Low-Temperature Li-Ion Cells; Hygrometer for Detecting Water in Partially Enclosed Volumes; Radio-Frequency Plasma Cleaning of a Penning Malmberg Trap; Reduction of Flap Side Edge Noise - the Blowing Flap; and Preventing Accidental Ignition of Upper-Stage Rocket Motors

    CODED SOCIAL CONTROL: CHINAโ€™S NORMALIZATION OF BIOMETRIC SURVEILLANCE IN THE POST COVID-19 ERA

    Get PDF
    This article investigates the longevity of health QR codes, a digital instrument of pandemic surveillance, in post-COVID China. From 2020 to 2022, China widely used this tri-color tool to combat the COVID-19 pandemic. A commonly held assumption is that health QR codes have become obsolete in post-pandemic China. This study challenges such an assumption. It reveals their persistence and integration - through mobile apps and online platforms - beyond the COVID-19 public health emergency. A prolonged, expanded and normalized use of tools which were originally intended for contact tracing and pandemic surveillance raises critical legal and ethical concerns. Moreover, their functional transformation from epidemiological risk assessment tools to instruments of behavior modification and social governance heralds the emergence of a Data Leviathan. This transformation is underpinned by a duality of underlying political and commercial forces. These include 1) a structural enabler: a powerful alliance between political authorities and tech giants and 2) an ideological legitimizer: a commitment to collective security over individual autonomy. In contrast to the rights-centric approach embraced by Western democracies to regulate AI-driven biometric surveillance, China adopts a state-industry dominance model of governance

    Technology for the Future: In-Space Technology Experiments Program, part 2

    Get PDF
    The purpose of the Office of Aeronautics and Space Technology (OAST) In-Space Technology Experiments Program In-STEP 1988 Workshop was to identify and prioritize technologies that are critical for future national space programs and require validation in the space environment, and review current NASA (In-Reach) and industry/ university (Out-Reach) experiments. A prioritized list of the critical technology needs was developed for the following eight disciplines: structures; environmental effects; power systems and thermal management; fluid management and propulsion systems; automation and robotics; sensors and information systems; in-space systems; and humans in space. This is part two of two parts and contains the critical technology presentations for the eight theme elements and a summary listing of critical space technology needs for each theme

    NASA SBIR abstracts of 1991 phase 1 projects

    Get PDF
    The objectives of 301 projects placed under contract by the Small Business Innovation Research (SBIR) program of the National Aeronautics and Space Administration (NASA) are described. These projects were selected competitively from among proposals submitted to NASA in response to the 1991 SBIR Program Solicitation. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 301, in order of its appearance in the body of the report. Appendixes to provide additional information about the SBIR program and permit cross-reference of the 1991 Phase 1 projects by company name, location by state, principal investigator, NASA Field Center responsible for management of each project, and NASA contract number are included

    Trusted execution: applications and verification

    Get PDF
    Useful security properties arise from sealing data to specific units of code. Modern processors featuring Intelโ€™s TXT and AMDโ€™s SVM achieve this by a process of measured and trusted execution. Only code which has the correct measurement can access the data, and this code runs in an environment trusted from observation and interference. We discuss the history of attempts to provide security for hardware platforms, and review the literature in the field. We propose some applications which would benefit from use of trusted execution, and discuss functionality enabled by trusted execution. We present in more detail a novel variation on Diffie-Hellman key exchange which removes some reliance on random number generation. We present a modelling language with primitives for trusted execution, along with its semantics. We characterise an attacker who has access to all the capabilities of the hardware. In order to achieve automatic analysis of systems using trusted execution without attempting to search a potentially infinite state space, we define transformations that reduce the number of times the attacker needs to use trusted execution to a pre-determined bound. Given reasonable assumptions we prove the soundness of the transformation: no secrecy attacks are lost by applying it. We then describe using the StatVerif extensions to ProVerif to model the bounded invocations of trusted execution. We show the analysis of realistic systems, for which we provide case studies

    Small business innovation research program solicitation: Closing date July 16, 1990

    Get PDF
    This is the eighth annual solicitation by NASA addressed to small business firms, inviting them to submit proposals for research, or research and development, activities in some of the science and engineering areas of interest to NASA. The solicitation describes the Small Business Innovative Research (SBIR) program, identifies eligibility requirements, outlines the required proposal format and content, states proposal preparation and submission requirements, describes the proposal evaluation and award selection process, and provides other information to assist those interested in participating in NASA's SBIR program. It also identifies the technical topics and subtopics for which SBIR proposals are solicited. These cover a broad range of current NASA interests, but do not necessarily include all areas in which NASA plans or currently conducts research. High-risk high pay-off innovations are desired
    • โ€ฆ
    corecore