Search NASA⌕ Search

SEARCH · Search NASA

Results for “User Specifications”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 379 records · Page 21

User's guide for the Solar Backscattered Ultraviolet (SBUV) instrument first year ozone-S data set

Total-ozone and ozone vertical profile results for Solar Backscattered Ultraviolet/Total Ozone Mapping Spectrometer (SBUV/TOMS) Nimbus 7 operation from November 1978 to November 1979 are available. The algorithm used have been thoroughly tested, the instrument performance has been examined in details, and the ozone results have been compared with Dobson, Umkehr, balloon, and rocket observations. The accuracy and precision of the satellite ozone data are good to at least within the ability of the ground truth to check and are self-consistent to within the specifications of the instrument. The 'SBUV User's Guide' describes the SBUV experiment and algorithms used. Detailed information on the data available on computer tape is provided including how to order tapes from the National Space Science Data Center.

Fleig, A. J.↗

Microgrid Hardening Design Toolkit User Guide: Software v0.29

Microgrid Hardening Design Toolkit helps microgrid stakeholders assess community-specific natural hazard risks to microgrid components and provides mitigation strategies to reduce those risks. Using census tract location inputs and the Federal Emergency Management Agency (FEMA) Risk Index dataset, the tool provides a ranked list of the highest risk hazards for a selected community and hazard-specific mitigation options for microgrid components. It also provides risk twin communities with similar hazard risk profiles and includes a radar-chart to visually compare risk profiles across communities. The toolkit is expected to help users quickly understand community-specific hazard risks and make decisions for microgrid hardening.

24 POWER TRANSMISSION AND DISTRIBUTION↗

SynGenics Optimization System (SynOptSys)

The SynGenics Optimization System (SynOptSys) software application optimizes a product with respect to multiple, competing criteria using statistical Design of Experiments, Response-Surface Methodology, and the Desirability Optimization Methodology. The user is not required to be skilled in the underlying math; thus, SynOptSys can help designers and product developers overcome the barriers that prevent them from using powerful techniques to develop better pro ducts in a less costly manner. SynOpt-Sys is applicable to the design of any product or process with multiple criteria to meet, and at least two factors that influence achievement of those criteria. The user begins with a selected solution principle or system concept and a set of criteria that needs to be satisfied. The criteria may be expressed in terms of documented desirements or defined responses that the future system needs to achieve. Documented desirements can be imported into SynOptSys or created and documented directly within SynOptSys. Subsequent steps include identifying factors, specifying model order for each response, designing the experiment, running the experiment and gathering the data, analyzing the results, and determining the specifications for the optimized system. The user may also enter textual information as the project progresses. Data is easily edited within SynOptSys, and the software design enables full traceability within any step in the process, and facilitates reporting as needed. SynOptSys is unique in the way responses are defined and the nuances of the goodness associated with changes in response values for each of the responses of interest. The Desirability Optimization Methodology provides the basis of this novel feature. Moreover, this is a complete, guided design and optimization process tool with embedded math that can remain invisible to the user. It is not a standalone statistical program; it is a design and optimization system.

Ventresca, Carol↗

Java Mission Evaluation Workstation System

The Java Mission Evaluation Workstation System (JMEWS) is a collection of applications designed to retrieve, display, and analyze both real-time and recorded telemetry data. This software is currently being used by both the Space Shuttle Program (SSP) and the International Space Station (ISS) program. JMEWS was written in the Java programming language to satisfy the requirement of platform independence. An object-oriented design was used to satisfy additional requirements and to make the software easily extendable. By virtue of its platform independence, JMEWS can be used on the UNIX workstations in the Mission Control Center (MCC) and on office computers. JMEWS includes an interactive editor that allows users to easily develop displays that meet their specific needs. The displays can be developed and modified while viewing data. By simply selecting a data source, the user can view real-time, recorded, or test data.

Pettinger, Ross↗

Calibrated Ancillary System (CAS) user's guide, volume 4

The Calibrated Ancillary System (CAS) provides real-time calibrated parameters from the orbiter downlink (ancillary data) to the Goddard Space Flight Center (GSFC). This user's guide contains the introduction to the equipment, operation, general procedures, and specific procedures of the CAS. Volume 4 presents the GSFC user mission planning procedures covering the mission planning main menu, bulletin board system, ancillary products menu, utility menu procedures, and ancillary support files procedures.

Source record↗

Analysis and specification tools in relation to the APSE

Ada and the Ada Programming Support Environment (APSE) specifically address the phases of the system/software life cycle which follow after the user's problem was translated into system and software development specifications. The waterfall model of the life cycle identifies the analysis and requirements definition phases as preceeding program design and coding. Since Ada is a programming language and the APSE is a programming support environment, they are primarily targeted to support program (code) development, tecting, and maintenance. The use of Ada based or Ada related specification languages (SLs) and program design languages (PDLs) can extend the use of Ada back into the software design phases of the life cycle. Recall that the standardization of the APSE as a programming support environment is only now happening after many years of evolutionary experience with diverse sets of programming support tools. Restricting consideration to one, or even a few chosen specification and design tools, could be a real mistake for an organization or a major project such as the Space Station, which will need to deal with an increasingly complex level of system problems. To require that everything be Ada-like, be implemented in Ada, run directly under the APSE, and fit into a rigid waterfall model of the life cycle would turn a promising support environment into a straight jacket for progress.

Hendricks, John W.↗

User assembly and servicing system for Space Station, an evolving architecture approach

On-orbit assembly and servicing of a variety of scientific and applications hardware systems is expected to be one of the Space Station's primary functions. The hardware to be serviced will include the attached payloads resident on the Space Station, the free-flying satellites and co-orbiting platforms brought to the Space Station, and the polar orbiting platforms. The requirements for assembly and servicing such a broad spectrum of missions have led to the development of an Assembly and Servicing System Architecture that is composed of a complex array of support elements. This array is comprised of US elements, both Space Station and non-Space Station, and elements provided by Canada to the Space Station Program. For any given servicing or assembly mission, the necessary support elements will be employed in an integrated manner to satisfy the mission-specific needs. The structure of the User Assembly and Servicing System Architecture and the manner in which it will evolved throughout the duration of the phased Space Station Program are discussed. Particular emphasis will be placed upon the requirements to be accommodated in each phase, and the development of a logical progression of capabilities to meet these requirements.

Lavigna, Thomas A.↗

Variational Trajectory Optimization Tool Set: Technical description and user's manual

The algorithms that comprise the Variational Trajectory Optimization Tool Set (VTOTS) package are briefly described. The VTOTS is a software package for solving nonlinear constrained optimal control problems from a wide range of engineering and scientific disciplines. The VTOTS package was specifically designed to minimize the amount of user programming; in fact, for problems that may be expressed in terms of analytical functions, the user needs only to define the problem in terms of symbolic variables. This version of the VTOTS does not support tabular data; thus, problems must be expressed in terms of analytical functions. The VTOTS package consists of two methods for solving nonlinear optimal control problems: a time-domain finite-element algorithm and a multiple shooting algorithm. These two algorithms, under the VTOTS package, may be run independently or jointly. The finite-element algorithm generates approximate solutions, whereas the shooting algorithm provides a more accurate solution to the optimization problem. A user's manual, some examples with results, and a brief description of the individual subroutines are included.

Bless, Robert R.↗

Space station needs, attributes and architectural options study. Briefing material, mid-term review

User mission requirements and their relationship to the current space transportation system are examined as a means of assuring the infusion of corporate ideas and knowledge in the space station program. Specific tasks include developing strategies to develop user consistency; determine DOD implication and requirements; and foster industry involvement in the space station. Mission alternatives; accrued benefits; program options; system attributes and characteristics; and a recommended plan for space station evolution are covered.

Source record↗

Formal specification and verification of Ada software

The use of formal methods in software development achieves levels of quality assurance unobtainable by other means. The Larch approach to specification is described, and the specification of avionics software designed to implement the logic of a flight control system is given as an example. Penelope is described which is an Ada-verification environment. The Penelope user inputs mathematical definitions, Larch-style specifications and Ada code and performs machine-assisted proofs that the code obeys its specifications. As an example, the verification of a binary search function is considered. Emphasis is given to techniques assisting the reuse of a verification effort on modified code.

Hird, Geoffrey R.↗

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

Realizability checking refers to the formal procedure that aims to determine whether an implementation exists, always complying to a set of requirements, regardless of the stimuli provided by the system’s environment. Such a check is essential to ensure that the specification does not allow behavior that can force the system to violate safety constraints. In this paper, we present an approach that decomposes realizability checking into smaller, more tractable problems. More specifically, our approach automatically partitions specifications into sets of non-interfering requirements. We prove that checking whether a specification is realizable reduces to checking that each partition is realizable.We have integrated realizability checking and implemented our decomposition approach within the open-source Formal Requirements ElicitationTool (FRET). A FRET user may check the realizability of a specification monolithically or compositionally. We evaluate our approach by comparing monolithic and compositional checking and showcase the strengths of our decomposition approach on a variety of industrial-level case studies

Anastasia Mavridou↗

Asi Nuclear Energy Sensors Data Portal Chatbot And Data Structuring Tool

The Idaho National Laboratory (INL) is advancing the development of an AI-powered chatbot and data structuring tool specifically designed to accelerate data mining processes for sensor-related information and seamlessly integrate the results into the ASI Sensors Data Portal (https://nes.energy.gov/). By doing so, the software aims to enhance the accessibility, usability, and organization of sensor data for nuclear energy applications. The software initial phase focuses on retrieving comprehensive datasets, prioritizing the past five years of publicly available information from the Office of Scientific and Technical Information (OSTI). These datasets will be meticulously processed to ensure compatibility, employing cleaning and preprocessing steps to eliminate irrelevant, incomplete, or corrupted information, thus establishing a robust foundation for subsequent AI use. The data will serve as the backbone for training an AI model and chatbot, which will act as an interactive tool enabling users to ask complex, context-specific questions and receive accurate, validated answers derived from constrained literature. In parallel, the project incorporates a data structuring process supported by AI to organize sensor information from multiple sources into a standardized format. This structured data will include detailed sensor specifications, such as measurement range, applications, accuracy, and operating conditions, generated and documented with AI. These specifications will be systematically integrated into the sensor portal. To maintain the highest levels of accuracy and relevance, all AI-generated outputs will be reviewed and validated by subject matter experts (SMEs), with additional fields or parameters added as needed. Future stages of the project aim to expand the dataset beyond OSTI to include other sources and potentially incorporate unclassified controlled information (UCI) with restricted access protocols to address security and confidentiality requirements.

Mapes, NormanJ. [Idaho National Laboratory (INL), ↗

Thermal radiation analysis system (TRASYS)

The Thermal Radiation Analysis System, TRASYS, is a digital computer software system with generalized capability to solve the radiation-related aspects of thermal analysis problems. When used in conjunction with a generalized thermal analyzer program any thermal problem that can be expressed in terms of a lumped parameter R-C thermal network can be solved. The function of TRASYS is twofold. It provides: (1) internode radiation interchange data; and (2) incident and absorbed heat rate data from environmental radiant heat sources. Data of both types is provided in a format directly usable by the thermal analyzer programs. One of the primary features of TRASYS is that it allows the user to write his own executive or driver program which organizes and directs the program library routines toward solution of each specific problem in the most expeditious manner. The user also may write his own output routines, thus the system data output can directly interface with any thermal analyzer using the R-C network concept.

Jensen, C. L.↗

User's Manual: Thermal Radiation Analysis System TRASYS 2

A digital computer software system with generalized capability to solve the radiation related aspects of thermal analysis problems is presented. When used in conjunction with a generalized thermal analysis program such as the systems improved numerical differencing analyzer program, any thermal problem that can be expressed in terms of a lumped parameter R-C thermal network can be solved. The function of TRASYS is twofold. It provides: (a) Internode radiation interchange data; and (b) Incident and absorbed heat rate data from environmental radiant heat sources. Data of both types is provided in a format directly usable by the thermal analyzer programs. The system allows the user to write his own executive or driver program which organizes and directs the program library routines toward solution of each specific problem in the most expeditious manner. The user also may write his own output routines, thus the system data output can directly interface with any thermal analyzer using the R-C network concept.

Jensen, C. L.↗

Space User Visibility Benefits of the Multi-GNSS Space Service Volume: An Internationally-Coordinated, Global and Mission-Specific Analysis

The number and scope of Global Navigation Satellite System (GNSS)-based space applications has grown significantly since the first GNSS space receiver was flown in the early 1980's. The vast majority of GNSS space users operate in Low-Earth Orbit (LEO), where the use of GNSS receivers has become routine. However, the use of GNSS has expanded to other orbit regimes like Geostationary Orbits (GEO) and High Eccentric Orbits (HEO) but has been very limited due to the challenges involved. The major challenges for such types of orbits including much weaker signals, reduced geometric diversity, and limited signal availability. In any case, considering the recent development of multiple GNSS constellations and ongoing upgrades to existing constellations, GNSS signal availability will improve significantly. As a result, this expanded multi-GNSS signal capability will enable improved on-orbit navigation performance and will also allow the development of new mission concepts. High altitude space users will especially benefit from this evolution, which will provide GNSS signals to challenging regimes well beyond Low Earth Orbit. These benefits will only be realised, however, if additional signals are designed to be interoperable, are clearly documented and supported. In order to enhance the overall GNSS performance for spacecraft's in regimes from LEO, GEO to HEO and beyond, all Satellite Navigation constellation providers and regional augmentation system providers are working together through the United Nations International Committee on GNSS (ICG) forum to establish an interoperable GNSS Space Service Volume (SSV) for the benefit of all GNSS space users. This paper provides an overview of the technical work and in particular the simulations, performance analysis and discussions of the outcomes and results obtained by the UN ICG Working Group-B in the context of the GNSS Space Service Volume activities, which were supported by all GNSS service providers.

systems↗

Anthropomorphic Robot Design and User Interaction Associated with Motion

Though in its original concept a robot was conceived to have some human-like shape, most robots now in use have specific industrial purposes and do not closely resemble humans. Nevertheless, robots that resemble human form in some way have continued to be introduced. They are called anthropomorphic robots. The fact that the user interface to all robots is now highly mediated means that the form of the user interface is not necessarily connected to the robots form, human or otherwise. Consequently, the unique way the design of anthropomorphic robots affects their user interaction is through their general appearance and the way they move. These robots human-like appearance acts as a kind of generalized predictor that gives its operators, and those with whom they may directly work, the expectation that they will behave to some extent like a human. This expectation is especially prominent for interactions with social robots, which are built to enhance it. Often interaction with them may be mainly cognitive because they are not necessarily kinematically intricate enough for complex physical interaction. Their body movement, for example, may be limited to simple wheeled locomotion. An anthropomorphic robot with human form, however, can be kinematically complex and designed, for example, to reproduce the details of human limb, torso, and head movement. Because of the mediated nature of robot control, there remains in general no necessary connection between the specific form of user interface and the anthropomorphic form of the robot. But their anthropomorphic kinematics and dynamics imply that the impact of their design shows up in the way the robot moves. The central finding of this report is that the control of this motion is a basic design element through which the anthropomorphic form can affect user interaction. In particular, designers of anthropomorphic robots can take advantage of the inherent human-like movement to 1) improve the users direct manual control over robot limbs and body positions, 2) improve users ability to detect anomalous robot behavior which could signal malfunction, and 3) enable users to be better able to infer the intent of robot movement. These three benefits of anthropomorphic design are inherent implications of the anthropomorphic form but they need to be recognized by designers as part of anthropomorphic design and explicitly enhanced to maximize their beneficial impact. Examples of such enhancements are provided in this report. If implemented, these benefits of anthropomorphic design can help reduce the risk of Inadequate Design of Human and Automation Robotic Integration (HARI) associated with the HARI-01 gap by providing efficient and dexterous operator control over robots and by improving operator ability to detect malfunctions and understand the intention of robot movement.

automation/robotic integration↗

ASSIST internals reference manual

The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) program was developed at NASA LaRC in order to analyze the reliability of virtually any fault-tolerant system. A user manual was developed to detail its use. Certain technical specifics are of no concern to the end user, yet are of importance to those who must maintain and/or verify the correctness of the tool. This document takes a detailed look into these technical issues.

Johnson, Sally C.↗

Interpolant Improvements and Lessons Learned

This presentation is for the OpenMDAO workshop 2022 and updates users on recent improvements to interpolant methods. Specifically, we discuss computational improvements, visualization capabilities, and suggested best practices for using interpolants. The term interpolants is used synonymously with metamodels and surrogate models. The goal of the presentation is to increase adoption of efficient interpolant methods and increase users’ awareness to built-in features within OpenMDAO.

Multidisciplinary Design Optimization↗