Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 91 records · Page 5

Medium-Sized Helicopter Noise Abatement Flight Test Data Report

Helicopter noise has consistently hindered operations within urban areas and surrounding communities. To combat this, an extensive flight test campaign, described herein, was conducted to gather acoustic data to support helicopter noise research (e.g., physics-based modeling, operational planning, etc.). Acoustic measurements were collected from four helicopters in the medium-sized weight class with maximum takeoff gross weights between 7,400 and 14,200 lb: a Bell 205 “Huey”, a Sikorsky S-76D, a Leonardo AW139, and a US Coast Guard MH-65 Dolphin (a variant of the commercial Airbus AS365 Dauphin). Each aircraft per- formed a subset of level flyovers, steady descents, turns with various initial conditions, and noise abatement approaches. A distributed ground microphone array spanning approximately 2,000 by 4,000 ft collected measurements of each flyover event. Additionally, a dedicated semicircular microphone array was used for gathering acoustic measurements of static conditions (e.g., hover). This report provides an overview of the flight test methodology, conditions tested, equipment used, and details of the accompanying distribution dataset. Figures of sample results generated for each test point are included to enable comparison and selection of the data at the discretion of the user. Specifically, source noise hemispheres of the steady flight conditions illustrate directivity of over- all levels. Noise contours over the array provide insight into the ground levels associated with approaches and turning events. These data figures are derived from the original acoustic pressure-time histories and vehicle tracking data that are provided in the distribution dataset.

Rotorcraft↗

EVI-LOCATE: One Stop Solution for Estimating Cost of Installing EV Charging Stations

EVI-LOCATE (Electric Vehicle Infrastructure-Locally Optimized Cost Assessment Tool and Estimator) is a site assessment tool to estimate costs to install EV charging stations. EVI-LOCATE enables users to generate site-specific, user-specific, and location-specific EV charging station installation designs and cost estimates. The tool integrates National Electrical Code, deep-learning pixel classification algorithm, and component-level costs to estimate the costs.

ADVANCED PROPULSION SYSTEMS,ENERGY PLANNING, POLIC↗

Real-time design with peer tasks

We introduce a real-time design methodology for large scale, distributed, parallel architecture, real-time systems (LDPARTS), as an alternative to those methods using rate or dead-line monotonic analysis. In our method the fundamental units of prioritization, work items, are domain specific objects with timing requirements (deadlines) found in user's specification. A work item consists of a collection of tasks of equal priority. Current scheduling theories are applied with artifact deadlines introduced by the designer whereas our method schedules work items to meet user's specification deadlines (sometimes called end-to-end deadlines). Our method supports these scheduling properties. Work item scheduling is based on domain specific importance instead of task level urgency and still meets as many user specification deadlines as can be met by scheduling tasks with respect to urgency. Second, the minimum (closest) on-line deadline that can be guaranteed for a work item of highest importance, scheduled at run time, is approximately the inverse of the throughput, measured in work items per second. Third, throughput is not degraded during overload and instead of resorting to task shedding during overload, the designer can specify which work items to shed. We prove these properties in a mathematical model.

Goforth, Andre↗

Precise time and time interval users, requirements and specifications

The functional areas of application of Precise Time and Time Interval (PTTI) were considered and expanded. A comprehensive overview of the PTTI requirements and applications would provide an opportunity for individuals working in a specific functional area. Mutual problems, requirements, applications or successes shared by those in other functional areas were studied. Based upon the results of a two year study a compendium of PTTI requirements, applications and the means of meeting the requirements among Department of Defense components, other government agencies and major commercial users was compiled and is presented. It was found that the planning process for PTTI support for new acquisitions or new programs was less than a well defined, coordinated process. The processes are described in general terms and a generic model for requirements determination and subsequent coordination which may enhance the planning process and introduce cost benefits to the program is also presented.

Bowser, J. R.↗

User Interface Technology for Formal Specification Development

Formal specification development and modification are an essential component of the knowledge-based software life cycle. User interface technology is needed to empower end-users to create their own formal specifications. This paper describes the advanced user interface for AMPHION1 a knowledge-based software engineering system that targets scientific subroutine libraries. AMPHION is a generic, domain-independent architecture that is specialized to an application domain through a declarative domain theory. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that provides semantic guidance in creating diagrams denoting formal specifications in an application domain. The diagrams also serve to document the specifications. Automatic deductive program synthesis ensures that end-user specifications are correctly implemented. The tables that drive AMPHION's user interface are automatically compiled from a domain theory; portions of the interface can be customized by the end-user. The user interface facilitates formal specification development by hiding syntactic details, such as logical notation. It also turns some of the barriers for end-user specification development associated with strongly typed formal languages into active sources of guidance, without restricting advanced users. The interface is especially suited for specification modification. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development.

Lowry, Michael↗

Cognitive consequences of clumsy automation on high workload, high consequence human performance

The growth of computational power has fueled attempts to automate more of the human role in complex problem solving domains, especially those where system faults have high consequences and where periods of high workload may saturate the performance capacity of human operators. Examples of these domains include flightdecks, space stations, air traffic control, nuclear power operation, ground satellite control rooms, and surgical operating rooms. Automation efforts may have unanticipated effects on human performance, particularly if they increase the workload at peak workload times or change the practitioners' strategies for coping with workload. Smooth and effective changes in automation requires detailed understanding of the congnitive tasks confronting the user: it has been called user centered automation. The introduction of a new computerized technology in a group of hospital operating rooms used for heart surgery was observed. The study revealed how automation, especially 'clumsy automation', effects practitioner work patterns and suggest that clumsy automation constrains users in specific and significant ways. Users tailor both the new system and their tasks in order to accommodate the needs of process and production. The study of this tailoring may prove a powerful tool for exposing previously hidden patterns of user data processing, integration, and decision making which may, in turn, be useful in the design of more effective human-machine systems.

Cook, Richard I.↗

Khoros software specification format and interoperability

Khoros defines formats for User Interface Specification (UIS) and Program Specification (PS) files. From such files, its code generator, Ghostwriter, creates source files and documentation. The great advantage of the system is that the code fragments that make up part of the PS file are purely generic. All Khoros-related code is created by the code generator; this includes all user interface code. As a matter of fact, both specification files are very generic in nature. Thus, one could imagine using it as the basis for other software systems. A case is made that writing a code generator that would create IRAF-compatible code from the Khoros UIS and PS files is fairly trivial. Another aspect of the Khoros system conventions concerns the way execution commands are generated by the user interface and the actual syntax of those commands. The protocols are such that interoperability at the level of executable modules is readily possible.

Rots, A. H.↗

An Overview of the Runtime Verification Tool Java PathExplorer

We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.

Havelund, Klaus↗

Program Simulates Spacecraft Communication Scenarios

Dynamic Environment Communications Alalysis Testbed (DECAT) computer program is modular simulation program. Computes effects of motion, antenna radiation patterns, noise, interference, and other phenomena. Flexibility enables users to analyze many communications scenarios quickly and easily, eliminating need for users to create specific computer programs. Users create simulations involving any number of vehicles, receivers, transmitters, and antennas via graphical user interface (GUI). DECAT GUI implemented by use of software tool called "Transportable Applications Environment Plus" (TAE Plus). Written in C language. Graphical user interface requires TAE Plus, Version 5.1 package available from COSMIC (GSC-13463).

Land, Kenneth P.↗

A User-Centered Approach to Adaptive Hypertext Based on an Information Relevance Model

Rapid and effective to information in large electronic documentation systems can be facilitated if information relevant in an individual user's content can be automatically supplied to this user. However most of this knowledge on contextual relevance is not found within the contents of documents, it is rather established incrementally by users during information access. We propose a new model for interactively learning contextual relevance during information retrieval, and incrementally adapting retrieved information to individual user profiles. The model, called a relevance network, records the relevance of references based on user feedback for specific queries and user profiles. It also generalizes such knowledge to later derive relevant references for similar queries and profiles. The relevance network lets users filter information by context of relevance. Compared to other approaches, it does not require any prior knowledge nor training. More importantly, our approach to adaptivity is user-centered. It facilitates acceptance and understanding by users by giving them shared control over the adaptation without disturbing their primary task. Users easily control when to adapt and when to use the adapted system. Lastly, the model is independent of the particular application used to access information, and supports sharing of adaptations among users.

Mathe, Nathalie↗

User's guide and tape specification for ERB 7 DELMAT

Guidance is provided to the DELMAT user in the areas of purpose, use and limitations of DELMAT tapes and software. The DELMAT tape specifications is also provided. The ERB-7, ERB MAT and tape characteristics applicable to the DELMAT tapes are also summarized.

Ardanuy, P.↗

SCIP2 flight instrumentation specification for parameter identification: User's guide

SCIP2 which is a digital computer program that can be used to investigate the effects of instrumentation errors on the accuracy of aircraft stability and control derivatives identified from flight test data is presented. The program is based on the assumptions that the aircraft differential equations of motion are linear and consist of small perturbations about a quasisteady flight condition. It is also assumed that a Newton-Raphson optimization technique is used for identifying the estimates of the parameters. A summary of the equations which are coded in the program are included.

Taniguchi, N.↗

Onboard navigation - The near-earth options

This paper summarizes anticipated onboard navigation accuracies and user system characteristics for near-earth spacecraft. Alternate onboard systems configurations using inputs from the Tracking and Data Relay Satellite System (TDRSS) and the DOD NAVSTAR Global Positioning System (GPS) are described. Initial simulation results indicate that TDRSS will provide accuracies of 100 meters or less, and GPS can permit user spacecraft orbit determination to within 10 meters. Specific GPS user equipment developments for Landsat-D and Shuttle are outlined, along with future low-cost versions of these systems.

Kurzhals, P. S.↗

End User Acceptance - Requirements or Specifications, Certification, Testing

NASA follows top level safety requirement of two-failure tolerance (t hree levels of controls or design for minimum risk) to all catastroph ic hazards in the design of safe li-ion batteries for space use. ? R igorous development testing at appropriate levels to credible offnominal conditions and review of test data. ? Implement robust design con trols based on test results and test again to confirm safety at the a ppropriate levels. ? Stringent testing of all (100%) flight batteries (from button cells to large batteries).

Jeevarajan, Judith↗

Multi-Mission Automated Task Invocation Subsystem

Multi-Mission Automated Task Invocation Subsystem (MATIS) is software that establishes a distributed data-processing framework for automated generation of instrument data products from a spacecraft mission. Each mission may set up a set of MATIS servers for processing its data products. MATIS embodies lessons learned in experience with prior instrument- data-product-generation software. MATIS is an event-driven workflow manager that interprets project-specific, user-defined rules for managing processes. It executes programs in response to specific events under specific conditions according to the rules. Because requirements of different missions are too diverse to be satisfied by one program, MATIS accommodates plug-in programs. MATIS is flexible in that users can control such processing parameters as how many pipelines to run and on which computing machines to run them. MATIS has a fail-safe capability. At each step, MATIS captures and retains pertinent information needed to complete the step and start the next step. In the event of a restart, this information is retrieved so that processing can be resumed appropriately. At this writing, it is planned to develop a graphical user interface (GUI) for monitoring and controlling a product generation engine in MATIS. The GUI would enable users to schedule multiple processes and manage the data products produced in the processes. Although MATIS was initially designed for instrument data product generation,

Cheng, Cecilia S.↗

Are Event Traces Really That Necessary?

Many performance monitoring tools are currently available to the super-computing community. The performance data gathered and analyzed by these tools fall under two categories: statistics and event traces. Statistical data is much more compact but lack the probative power event traces offer. Event traces, on the other hand, can easily fill up the entire file system during execution such that the instrumented execution have to be terminated. In this paper, we propose an innovative methodology for monitoring and trace representation that offers a middle ground. The user can trace-off trace data size vs. quality incrementally. Specifically, the user will be able to limit the amount of trace collected and, at the same time, carry out some of the analysis event traces offer for the entire execution. With the help of a few CFD examples, we illustrate the use of our technique in performance tuning. We also compare quantitatively, the quality of the traces we collected vs. event traces.

Schmidt, Melisa↗

The nutrition advisor expert system

The Nutrition Advisor Expert System (NAES) is an expert system written in the C Language Integrated Production System (CLIPS). NAES provides expert knowledge and guidance into the complex world of nutrition management by capturing the knowledge of an expert and placing it at the user's fingertips. Specifically, NAES enables the user to: (1) obtain precise nutrition information for food items; (2) perform nutritional analysis of meal(s), flagging deficiencies based upon the U.S. Recommended Daily Allowances; (3) predict possible ailments based upon observed nutritional deficiency trends; (4) obtain a top ten listing of food items for a given nutrient; and (5) conveniently upgrade the data base. An explanation facility for the ailment prediction feature is also provided to document the reasoning process.

Huse, Scott M.↗

Development of a Software Safety Process and a Case Study of Its Use

Research in the year covered by this reporting period has been primarily directed toward the following areas: (1) Formal specification of user interfaces; (2) Fault-tree analysis including software; (3) Evaluation of formal specification notations; (4) Evaluation of formal verification techniques; (5) Expanded analysis of the shell architecture concept; (6) Development of techniques to address the problem of information survivability; and (7) Development of a sophisticated tool for the manipulation of formal specifications written in Z. This report summarizes activities under the grant. The technical results relating to this grant and the remainder of the principal investigator's research program are contained in various reports and papers. The remainder of this report is organized as follows. In the next section, an overview of the project is given. This is followed by a summary of accomplishments during the reporting period and details of students funded. Seminars presented describing work under this grant are listed in the following section, and the final section lists publications resulting from this grant.

Knight, J. C.↗