527 research outputs found
Extended precision software packages
A description of three extended precision packages is presented along with three small conversion subroutines which can be used in conjunction with the extended precision packages. These extended packages represent software packages written in FORTRAN 4. They contain normalized or unnormalized floating point arithmetic with symmetric rounding and arbitrary mantissa lengths, and normalized floating point interval arithmetic with appropriate rounding. The purpose of an extended precision package is to enable the user to use and manipulate numbers with large decimal places as well as those with small decimal places where precision beyond double precision is required
Interpretive computer simulator for the NASA Standard Spacecraft Computer-2 (NSSC-2)
An Interpretive Computer Simulator (ICS) for the NASA Standard Spacecraft Computer-II (NSSC-II) was developed as a code verification and testing tool for the Annular Suspension and Pointing System (ASPS) project. The simulator is written in the higher level language PASCAL and implented on the CDC CYBER series computer system. It is supported by a metal assembler, a linkage loader for the NSSC-II, and a utility library to meet the application requirements. The architectural design of the NSSC-II is that of an IBM System/360 (S/360) and supports all but four instructions of the S/360 standard instruction set. The structural design of the ICS is described with emphasis on the design differences between it and the NSSC-II hardware. The program flow is diagrammed, with the function of each procedure being defined; the instruction implementation is discussed in broad terms; and the instruction timings used in the ICS are listed. An example of the steps required to process an assembly level language program on the ICS is included. The example illustrates the control cards necessary to assemble, load, and execute assembly language code; the sample program to to be executed; the executable load module produced by the loader; and the resulting output produced by the ICS
Attitude determination using vector observations: A fast optimal matrix algorithm
The attitude matrix minimizing Wahba's loss function is computed directly by a method that is competitive with the fastest known algorithm for finding this optimal estimate. The method also provides an estimate of the attitude error covariance matrix. Analysis of the special case of two vector observations identifies those cases for which the TRIAD or algebraic method minimizes Wahba's loss function
IBM system/360 assembly language interval arithmetic software
Computer software designed to perform interval arithmetic is described. An interval is defined as the set of all real numbers between two given numbers including or excluding one or both endpoints. Interval arithmetic consists of the various elementary arithmetic operations defined on the set of all intervals, such as interval addition, subtraction, union, etc. One of the main applications of interval arithmetic is in the area of error analysis of computer calculations. For example, it has been used sucessfully to compute bounds on sounding errors in the solution of linear algebraic systems, error bounds in numerical solutions of ordinary differential equations, as well as integral equations and boundary value problems. The described software enables users to implement algorithms of the type described in references efficiently on the IBM 360 system
Techniques for the realization of ultrareliable spaceborne computers Interim scientific report
Error-free ultrareliable spaceborne computer
Significance Arithmetic for Fortran
Significance tracing arithmetic for Fortra
The RHMC algorithm for theories with unknown spectral bounds
The Rational Hybrid Monte Carlo (RHMC) algorithm extends the Hybrid Monte
Carlo algorithm for lattice QCD simulations to situations involving fractional
powers of the determinant of the quadratic Dirac operator. This avoids the
updating increment () dependence of observables which plagues the Hybrid
Molecular-dynamics (HMD) method. The RHMC algorithm uses rational
approximations to fractional powers of the quadratic Dirac operator. Such
approximations are only available when positive upper and lower bounds to the
operator's spectrum are known. We apply the RHMC algorithm to simulations of 2
theories for which a positive lower spectral bound is unknown: lattice QCD with
staggered quarks at finite isospin chemical potential and lattice QCD with
massless staggered quarks and chiral 4-fermion interactions (QCD). A
choice of lower bound is made in each case, and the properties of the RHMC
simulations these define are studied. Justification of our choices of lower
bounds is made by comparing measurements with those from HMD simulations, and
by comparing different choices of lower bounds.Comment: Latex(Revtex 4) 25 pages, 8 postscript figure
- …