Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “automated modelling”

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 325 records · Page 18

Chip level modeling of LSI devices

The advent of Very Large Scale Integration (VLSI) technology has rendered the gate level model impractical for many simulation activities critical to the design automation process. As an alternative, an approach to the modeling of VLSI devices at the chip level is described, including the specification of modeling language constructs important to the modeling process. A model structure is presented in which models of the LSI devices are constructed as single entities. The modeling structure is two layered. The functional layer in this structure is used to model the input/output response of the LSI chip. A second layer, the fault mapping layer, is added, if fault simulations are required, in order to map the effects of hardware faults onto the functional layer. Modeling examples for each layer are presented. Fault modeling at the chip level is described. Approaches to realistic functional fault selection and defining fault coverage for functional faults are given. Application of the modeling techniques to single chip and bit slice microprocessors is discussed.

Armstrong, J. R.↗

Human factors of advanced technology (glass cockpit) transport aircraft

A three-year study of airline crews at two U.S. airlines who were flying an advanced technology aircraft, the Boeing 757 is discussed. The opinions and experiences of these pilots as they view the advanced, automated features of this aircraft, and contrast them with previous models they have flown are discussed. Training for advanced automation; (2) cockpit errors and error reduction; (3) management of cockpit workload; and (4) general attitudes toward cockpit automation are emphasized. The limitations of the air traffic control (ATC) system on the ability to utilize the advanced features of the new aircraft are discussed. In general the pilots are enthusiastic about flying an advanced technology aircraft, but they express mixed feelings about the impact of automation on workload, crew errors, and ability to manage the flight.

Wiener, Earl L.↗

Demonstration of the feasibility of automated silicon solar cell fabrication

A study effort was undertaken to determine the process, steps and design requirements of an automated silicon solar cell production facility. Identification of the key process steps was made and a laboratory model was conceptually designed to demonstrate the feasibility of automating the silicon solar cell fabrication process. A detailed laboratory model was designed to demonstrate those functions most critical to the question of solar cell fabrication process automating feasibility. The study and conceptual design have established the technical feasibility of automating the solar cell manufacturing process to produce low cost solar cells with improved performance. Estimates predict an automated process throughput of 21,973 kilograms of silicon a year on a three shift 49-week basis, producing 4,747,000 hexagonal cells (38mm/side), a total of 3,373 kilowatts at an estimated manufacturing cost of $0.866 per cell or $1.22 per watt.

Taylor, W. E.↗

A graphical language for reliability model generation

A graphical interface capability of the hybrid automated reliability predictor (HARP) is described. The graphics-oriented (GO) module provides the user with a graphical language for modeling system failure modes through the selection of various fault tree gates, including sequence dependency gates, or by a Markov chain. With this graphical input language, a fault tree becomes a convenient notation for describing a system. In accounting for any sequence dependencies, HARP converts the fault-tree notation to a complex stochastic process that is reduced to a Markov chain which it can then solve for system reliability. The graphics capability is available for use on an IBM-compatible PC, a Sun, and a VAX workstation. The GO module is written in the C programming language and uses the Graphical Kernel System (GKS) standard for graphics implementation. The PC, VAX, and Sun versions of the HARP GO module are currently in beta-testing.

Howell, Sandra V.↗

Operations planning simulation model extension study. Volume 1: Long duration exposure facility ST-01-A automated payload

Ground processing and operation activities for selected automated and sortie payloads are evaluated. Functional flow activities are expanded to identify payload launch site facility and support requirements. Payload definitions are analyzed from the launch site ground processing viewpoint and then processed through the expanded functional flow activities. The requirements generated from the evaluation are compared with those contained in the data sheets. The following payloads were included in the evaluation: Long Duration Exposure Facility; Life Sciences Shuttle Laboratory; Biomedical Experiments Scientific Satellite; Dedicated Solar Sortie Mission; Magnetic Spectrometer; and Mariner Jupiter Orbiter. The expanded functional flow activities and descriptions for the automated and sortie payloads at the launch site are presented.

Marks, D. A.↗

An automated approach to design of solid rockets utilizing a special internal ballistics model

A pattern search technique is presented, which is utilized in a computer program that minimizes the sum of the squares of the differences, at various times, between a desired thrust-time trace and that calculated with a special mathematical internal ballistics model of a solid propellant rocket motor. The program is demonstrated by matching the thrust-time trace obtained from static tests of the first Space Shuttle SRM starting with input values of 10 variables which are, in general, 10% different from the as-built SRM. It is concluded that an excellent match is obtained.

Sforzini, R. H.↗

Modal test and analysis correlation

Modal testing plays a significant role in experimentally measuring the modal parameters used directly for response analysis of spacecraft or indirectly to update a mathematical model for use in response analysis. Developments in modal testing and correlation of results to analytical models are discussed. Several procedures to semi-automate correlation of resonant frequency and mode shape test data to the model have been shown to be valid for hypothetical problems but have not been successful in practice. Improving the correlation of frequencies and mode shapes does not necessarily improve the correlation of modal force coefficients. The paper discusses other parameters, such as kinetic energy and strain energy, which may be more significant in the correlation process. Because the most demanding requirement of a modal test is in determining dynamic loads, the authors asssume that objective, minimally discussing theoretical developments, summarizing their results, and giving sample data.

Wada, B. K.↗

An Analysis Technique/Automated Tool for Comparing and Tracking Analysis Modes of Different Finite Element Models

An analysis technique was developed to compare and track mode shapes for different Finite Element Models. The technique may be applied to a variety of structural dynamics analyses, including model reduction validation (comparing unreduced and reduced models), mode tracking for various parametric analyses (e.g., launch vehicle model dispersion analysis to identify sensitivities to modal gain for Guidance, Navigation, and Control), comparing models of different mesh fidelity (e.g., a coarse model for a preliminary analysis compared to a higher-fidelity model for a detailed analysis) and mode tracking for a structure with properties that change over time (e.g., a launch vehicle from liftoff through end-of-burn, with propellant being expended during the flight). Mode shapes for different models are compared and tracked using several numerical indicators, including traditional Cross-Orthogonality and Modal Assurance Criteria approaches, as well as numerical indicators obtained by comparing modal strain energy and kinetic energy distributions. This analysis technique has been used to reliably identify correlated mode shapes for complex Finite Element Models that would otherwise be difficult to compare using traditional techniques. This improved approach also utilizes an adaptive mode tracking algorithm that allows for automated tracking when working with complex models and/or comparing a large group of models.

Towner, Robert L.↗

Sufficiency and necessity in reliability modeling

Limitations of current analytic techniques in estimating the reliability of life-critical electronics systems are discussed. A new framework for specification of recovery and fault-handling submodels is suggested, and is shown through several examples to provide substantially improved modeling accuracy and flexibility. Implementation of the new technique in an X-windows based system, XHARP, is also described. The implementation allows for an automated behavioral decomposition of full system models, heretofore unavailable in such tools.

Geist, Robert↗

Robot graphic simulation testbed

The objective of this research was twofold. First, the basic capabilities of ROBOSIM (graphical simulation system) were improved and extended by taking advantage of advanced graphic workstation technology and artificial intelligence programming techniques. Second, the scope of the graphic simulation testbed was extended to include general problems of Space Station automation. Hardware support for 3-D graphics and high processing performance make high resolution solid modeling, collision detection, and simulation of structural dynamics computationally feasible. The Space Station is a complex system with many interacting subsystems. Design and testing of automation concepts demand modeling of the affected processes, their interactions, and that of the proposed control systems. The automation testbed was designed to facilitate studies in Space Station automation concepts.

Cook, George E.↗

A Tool for Requirements-Based Programming

Absent a general method for mathematically sound, automated transformation of customer requirements into a formal model of the desired system, developers must resort to either manual application of formal methods or to system testing (either manual or automated). While formal methods have afforded numerous successes, they present serious issues, e.g., costs to gear up to apply them (time, expensive staff), and scalability and reproducibility when standards in the field are not settled. The testing path cannot be walked to the ultimate goal, because exhaustive testing is infeasible for all but trivial systems. So system verification remains problematic. System or requirements validation is similarly problematic. The alternatives available today depend on either having a formal model or pursuing enough testing to enable the customer to be certain that system behavior meets requirements. The testing alternative for non-trivial systems always have some system behaviors unconfirmed and therefore is not the answer. To ensure that a formal model is equivalent to the customer s requirements necessitates that the customer somehow fully understands the formal model, which is not realistic. The predominant view that provably correct system development depends on having a formal model of the system leads to a desire for a mathematically sound method to automate the transformation of customer requirements into a formal model. Such a method, an augmentation of requirements-based programming, will be briefly described in this paper, and a prototype tool to support it will be described. The method and tool enable both requirements validation and system verification for the class of systems whose behavior can be described as scenarios. An application of the tool to a prototype automated ground control system for NASA mission is presented.

Rash, James L.↗

Operator function modeling: Cognitive task analysis, modeling and intelligent aiding in supervisory control systems

The design, implementation, and empirical evaluation of task-analytic models and intelligent aids for operators in the control of complex dynamic systems, specifically aerospace systems, are studied. Three related activities are included: (1) the models of operator decision making in complex and predominantly automated space systems were used and developed; (2) the Operator Function Model (OFM) was used to represent operator activities; and (3) Operator Function Model Expert System (OFMspert), a stand-alone knowledge-based system was developed, that interacts with a human operator in a manner similar to a human assistant in the control of aerospace systems. OFMspert is an architecture for an operator's assistant that uses the OFM as its system and operator knowledge base and a blackboard paradigm of problem solving to dynamically generate expectations about upcoming operator activities and interpreting actual operator actions. An experiment validated the OFMspert's intent inferencing capability and showed that it inferred the intentions of operators in ways comparable to both a human expert and operators themselves. OFMspert was also augmented with control capabilities. An interface allowed the operator to interact with OFMspert, delegating as much or as little control responsibility as the operator chose. With its design based on the OFM, OFMspert's control capabilities were available at multiple levels of abstraction and allowed the operator a great deal of discretion over the amount and level of delegated control. An experiment showed that overall system performance was comparable for teams consisting of two human operators versus a human operator and OFMspert team.

Mitchell, Christine M.↗

Instrument technology for remote-surface exploration, prospecting and assaying, part 2

The capability to specify new instrument/mechanism technology needs, for effective remote surface exploration, prospecting and assaying (EPA), requires first, an understanding of the functions or major elements of such a task, and second an understanding of the scientific instruments and support mechanisms that may be involved. An analog or task model was developed from which the various functions, operational procedures, scientific instruments, and support mechanisms for an automated mission could be derived. The task model led to the definition of nine major functions or categories of discrete operational elements that may have to be accomplished on a mission of this type. Each major function may stand alone as an element of an EPA mission, but more probably a major function will require the support of other functions, so they are inter-related.

Brereton, R. G.↗

(abstract) Atmospheric Transmission Model Through Autonomous Visibility Measurement

Performance of deep space optical communications is impacted by atmospheric outages. By monitoring known stellar objects with calibrated telescopes, atmospheric attenuation statistics can be recorded. This paper describes a program to develop an atmospheric transmission model for optical communications by making automous visibility measurements of known stellar objects from three locations in the southwestern US. The data will be correlated and infused with weather data to establish the atmospheric transmission model. This model will be sent in link margin analysis for optical communications channels. The statistics will be updated on a quarterly basis and calibrated using data taken over a long period of time. This calibration is expected to allow extrapolation to other ground-based locations through use of global weather databases.

attenuation model↗

Advanced space program studies: Overall executive summary

Studies were conducted to provide NASA with advanced planning analyses which relate integrated space program goals and options to credible technical capabilities, applications potential, and funding resources. The studies concentrated on the following subjects: (1) upper stage options for the space transportation system based on payload considerations, (2) space servicing and standardization of payloads, (3) payload operations, and (4) space transportation system economic analyses related to user charges and new space applications. A systems cost/performance model was developed to synthesize automated, unmanned spacecraft configurations based on the system requirements and a list of equipments at the assembly level.

Sitney, L. R.↗

A new role for structures technology in aircraft configuration development

It is pointed out that decisions made during configuration development determine nearly 60% of the total program cost. The key to the new Structures Technology role considered is the development of integrated computer systems for structural design and analysis. Such systems make it possible to include structural sizing within the scope of preliminary configuration development. Analysis models are discussed, taking into account approaches used to determine the structural weight of an aircraft in the preliminary design stage, a finite element representation for a supersonic arrow wing transport, and the aerodynamic model. Attention is given to automated design considerations and a study which was conducted to reduce the aerodynamic drag of a supersonic transport by blending the structure of the wing and fuselage.

Nisbet, J. W.↗

Remote sensing of snow and ice

This paper reviews remote sensing of snow and ice, techniques for improved monitoring, and incorporation of the new data into forecasting and management systems. The snowcover interpretation of visible and infrared data from satellites, automated digital methods, radiative transfer modeling to calculate the solar reflectance of snow, and models using snowcover input data and elevation zones for calculating snowmelt are discussed. The use of visible and near infrared techniques for inferring snow properties, microwave monitoring of snowpack characteristics, use of Landsat images for collecting glacier data, monitoring of river ice with visible imagery from NOAA satellites, use of sequential imagery for tracking ice flow movement, and microwave studies of sea ice are described. Applications of snow and ice research to commercial use are examined, and it is concluded that a major problem to be solved is characterization of snow and ice in nature, since assigning of the correct properties to a real system to be modeled has been difficult.

Rango, A.↗