Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming models”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS2018

Definition of Modeling vs. Programming Languages

Modeling languages (like UML and SysML) are those used in modelbased specification of software-intensive systems. Like programming languages, they are defined using their syntax and semantics. However, both kinds of languages are defined by different communities, and in response to different requirements, which makes their methodologies and tools different. In this paper, we highlight the main differences between the definition methodologies of modeling and programming languages. We also discuss the impact of these differences on language tool support. We illustrate our ideas using examples from known programming and modeling languages. We also present a case study, where we analyze the definition of a new modeling language called the Ontology Modeling Language (OML). We highlight the requirements that have driven OML definition and explain how they are different from those driving typical programming languages. Finally, we discuss how these differences are being abstracted away using new language definition tools.

Elaasar, Maged↗
NASA NTRS1994

Modelling of a space-based Ronchi ruling experiment for high-precision astrometry

An end-to-end modelling program for an astrometric telescope employing a Ronchi ruling has been developed. The program models the aberrated images formed anywhere in the field-of-view. It then determines apparent centroids by simulating the motion of a Ronchi ruling across the field. Photo-electron statistics are included. A 6-term plate-constant model is used to determine the apparent motion of a target star within a reference frame as the object is re-observed through both ideal and perturbed optics. The modelling code is accurate at the submicroarcsecond level. optics. The modelling code is accurate at the submicroarcsecond level.

Shaklan, S.↗
NASA NTRS1993

Modelling of a Space-Based Ronchi Ruling Experiment for High-Precision Astrometry

An end-to-end modelling program for an astrometric telescope employing a Ronchi ruling has been developed. The program models the aberrated images formed anywhere in the field-of-view. It then determines apparent centroids by simulating the motion of a Ronchi ruling across the field. Photo-electon statistics are included.

Ronchi↗
NASA NTRS2005

An Assessment of the Effectiveness of the AGATE Program Management Model

This report describes the collaborative program model chosen to implement an aeronautics research and technology program from 1994 through 2001: the Advanced General Aviation Transport Experiments (AGATE) Program. The Program had one primary objective: to improve the ability of the General Aviation industry to adopt technology as a solution to fulfill public benefit objectives. The primary objective of this report is to assess the program s ability to meet a combination of "effectiveness measures" from multiple stakeholders. The "effectiveness" of any model forms the foundation of legitimate questions for policy makers and professional federal managers. The participants rated AGATE as achieving its primary objectives and rating well on effectiveness in most areas, with high measures for relevance, cost, speed and public benefit, but lower measures for institutional fit and flexibility at dealing with the larger NASA organizational structure. This pattern mirrors private sector surveys and represents a tradeoff between the benefits of tailoring a program using partnering, versus the changes necessary within the institutional structure to support such tailoring.

Warner, Timothy P.↗
NASA NTRS1972

Program management model study

Two models, a system performance model and a program assessment model, have been developed to assist NASA management in the evaluation of development alternatives for the Earth Observations Program. Two computer models were developed and demonstrated on the Goddard Space Flight Center Computer Facility. Procedures have been outlined to guide the user of the models through specific evaluation processes, and the preparation of inputs describing earth observation needs and earth observation technology. These models are intended to assist NASA in increasing the effectiveness of the overall Earth Observation Program by providing a broader view of system and program development alternatives.

Connelly, J. J.↗
NASA NTRS1974

Operators manual for microdensitometer control program densitometer model PDS-1010G (modified). Program trace version 3B (section 3)

The PDS-1010G microdensitometer is run under the control of a PDP-11 program called TRACE. This program gives the operator vary flexible control over the machine functions. Most commands are passed to the computer through either the Tektronix 4010 terminal or the teletype, as selected by the position of the LOCAL/LINE rocker switch above the 4010 keyboard. (LINE places the 4010 in control; LOCAL transfers control to the teletype. In general, the teletype is used when the operator desires a permanent record of the operator-computer dialogue.) A small number of control functions are requested by setting switches on the computer front panel.

Title, A. M.↗
NASA NTRS1980

Solar insolation model

Computer program SOLINS helps engineers with relatively complex task of choosing best orientation of fixed flat-plate solar collectors for local conditions. Program models average hourly solar insolation on fixed but arbitrarily-oriented surface. Consideration is given to problems of array spacing, shadowing, and use of augmentation reflectors to increase insolation at collector surface.

Smith, J. H.↗
NASA NTRS2006

Practical Application of Model-based Programming and State-based Architecture to Space Missions

A viewgraph presentation to develop models from systems engineers that accomplish mission objectives and manage the health of the system is shown. The topics include: 1) Overview; 2) Motivation; 3) Objective/Vision; 4) Approach; 5) Background: The Mission Data System; 6) Background: State-based Control Architecture System; 7) Background: State Analysis; 8) Overview of State Analysis; 9) Background: MDS Software Frameworks; 10) Background: Model-based Programming; 10) Background: Titan Model-based Executive; 11) Model-based Execution Architecture; 12) Compatibility Analysis of MDS and Titan Architectures; 13) Integrating Model-based Programming and Execution into the Architecture; 14) State Analysis and Modeling; 15) IMU Subsystem State Effects Diagram; 16) Titan Subsystem Model: IMU Health; 17) Integrating Model-based Programming and Execution into the Software IMU; 18) Testing Program; 19) Computationally Tractable State Estimation & Fault Diagnosis; 20) Diagnostic Algorithm Performance; 21) Integration and Test Issues; 22) Demonstrated Benefits; and 23) Next Steps

Mission Data System (MDS)↗
NASA NTRS1976

Simple intuitive models of programming

It is hypothesized that mathematical models of the programming process can be formulated to gauge the sensitivities of that process to various given parameters, and that such models can be calibrated on an empirical basis and used as guides toward maximizing productivity, documentation quality, and programming reliability. Three oversimplified models are presented as illustrations.

Tausworthe, R. C.↗
NASA NTRS1984

Enhanced TCAS 2/CDTI traffic Sensor digital simulation model and program description

Digital simulation models of enhanced TCAS 2/CDTI traffic sensors are developed, based on actual or projected operational and performance characteristics. Two enhanced Traffic (or Threat) Alert and Collision Avoidance Systems are considered. A digital simulation program is developed in FORTRAN. The program contains an executive with a semireal time batch processing capability. The simulation program can be interfaced with other modules with a minimum requirement. Both the traffic sensor and CAS logic modules are validated by means of extensive simulation runs. Selected validation cases are discussed in detail, and capabilities and limitations of the actual and simulated systems are noted. The TCAS systems are not specifically intended for Cockpit Display of Traffic Information (CDTI) applications. These systems are sufficiently general to allow implementation of CDTI functions within the real systems' constraints.

Goka, T.↗
NASA NTRS1982

DSN RFI susceptibility models development program overview

The RFI model development described intended to provide an understanding of the interference susceptibility of DSN receivers. An overview of interference types and effects, analytic modelling and experimental verification is presented.

Sue, M. K.↗
NASA NTRS2011

A Hyperbolic Ontology Visualization Tool for Model Application Programming Interface Documentation

Spacecraft modeling, a critically important portion in validating planned spacecraft activities, is currently carried out using a time consuming method of mission to mission model implementations and integration. A current project in early development, Integrated Spacecraft Analysis (ISCA), aims to remedy this hindrance by providing reusable architectures and reducing time spent integrating models with planning and sequencing tools. The principle objective of this internship was to develop a user interface for an experimental ontology-based structure visualization of navigation and attitude control system modeling software. To satisfy this, a number of tree and graph visualization tools were researched and a Java based hyperbolic graph viewer was selected for experimental adaptation. Early results show promise in the ability to organize and display large amounts of spacecraft model documentation efficiently and effectively through a web browser. This viewer serves as a conceptual implementation for future development but trials with both ISCA developers and end users should be performed to truly evaluate the effectiveness of continued development of such visualizations.

mission operations system (MOS)↗
NASA NTRS2018

Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction)

The article provides an introduction to the track: Towards a Unified View of Modeling and Programming, organized by the authors of this paper as part of ISoLA 2018: the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 19 researchers were invited to present their views on the two questions: what are the commonalities between modeling and programming languages, and should we strive towards a unified view of modeling and programming? The idea behind the track, which is a continuation of a similar track at ISoLA 2016, emerged as a result of experiences gathered in the three fields: formal methods, model-based software engineering, and programming languages, and from the observation that these technologies share a large common part, to the extent where one may ask, does the following equation hold: modeling = programming?

Steffen, Bernhard↗
NASA NTRS1972

A Management Information System Model for Program Management

The development of a model to simulate the information system of a program management type of organization is reported. The model statistically determines the following parameters: type of messages, destinations, delivery durations, type processing, processing durations, communication channels, outgoing messages, and priorites. The total management information system of the program management organization is considered, including formal and informal information flows and both facilities and equipment. The model is written in General Purpose System Simulation 2 computer programming language for use on the Univac 1108, Executive 8 computer. The model is simulated on a daily basis and collects queue and resource utilization statistics for each decision point. The statistics are then used by management to evaluate proposed resource allocations, to evaluate proposed changes to the system, and to identify potential problem areas. The model employs both empirical and theoretical distributions which are adjusted to simulate the information flow being studied.

Shipman, D. L.↗
NASA NTRS1982

Program listing for the REEDM (Rocket Exhaust Effluent Diffusion Model) computer program

The program listing for the REEDM Computer Program is provided. A mathematical description of the atmospheric dispersion models, cloud-rise models, and other formulas used in the REEDM model; vehicle and source parameters, other pertinent physical properties of the rocket exhaust cloud and meteorological layering techniques; user's instructions for the REEDM computer program; and worked example problems are contained in NASA CR-3646.

Bjorklund, J. R.↗
NASA NTRS1994

Performance of BLAS 3, FFTs and NAS Parallel Benchmarks on Cray T3D

Recently, a Cray T3D Emulator has been made available on the Cray Y-MP and C90 computers. The Pittsburgh Supercomputer Center has acquired a CRAY T3D system and many other centers like Jet Propulsion Laboratory (JPL) will have it by the end of 1994. The Cray T3D system is the firstphase system in Cray Research, Inc.'s (CRI) three-phase massively parallel processing (MPP) program. This system features a heterogeneous architecture that closely couples DEC's ALPHA microprocessors and CRI's parallel-vector technology, i.e. the Cray Y-MP and Cray C90. The Cray T3D Emulator will give prospective users a valuable experience in developing high performance applications on the MPP system. This emulator runs programs written in CRI's MPP Fortran programming model (data sharing and work sharing) or Parallel Virtual Machine (PVM) programming model. It will help the users to study data layout, data locality, and data reference patterns thereby providing feedback which will enable one to write more efficient parallel codes. An overview of the Cray T3D hardware, software, and three of its available programming models is presented.The Cray Fortran Programming Model comprising (a) Data Sharing, (b) Worksharing and (c) Message Passing, will be discussed with examples. We have also implemented distributed BLAS 3 (matrix-matrix multiplication) in data parallel model (using only CSHIFT); worksharing model using block distribution and collapsed distribution; and message passing model using PVM. We have also implemented 2D and 3D FFTs for radix-2 using PVM. The performance of NAS Parallel 'Benchmarks (NPB) on CRAY T3D will be compared with other highly parallel systems such as CM-5, Paragon, C90 etc.

Saini, Subhash↗