Jacobi Set Computation
Abstract
Jacobi Set Computation is a software to compute the Jacobi set of 2 piecewise linear scalar functions defined on a triangular mesh. This functionality is useful for analyzing multiple scalar fields simultaneously.
 Authors:
 Lawrence Livermore National Laboratory
 Publication Date:
 Research Org.:
 Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
 Sponsoring Org.:
 USDOE Office of Science (SC)
 OSTI Identifier:
 1314991
 Report Number(s):
 Jacobi Set Computation; 004903WKSTN00
LLNLCODE701045
 DOE Contract Number:
 AC5207NA27344
 Resource Type:
 Software
 Software Revision:
 00
 Software Package Number:
 004903
 Software CPU:
 WKSTN
 Source Code Available:
 Yes
 Country of Publication:
 United States
Citation Formats
Bhatia, Harsh. Jacobi Set Computation.
Computer software. Vers. 00. USDOE Office of Science (SC). 28 Jul. 2016.
Web.
Bhatia, Harsh. (2016, July 28). Jacobi Set Computation (Version 00) [Computer software].
Bhatia, Harsh. Jacobi Set Computation.
Computer software. Version 00. July 28, 2016.
@misc{osti_1314991,
title = {Jacobi Set Computation, Version 00},
author = {Bhatia, Harsh},
abstractNote = {Jacobi Set Computation is a software to compute the Jacobi set of 2 piecewise linear scalar functions defined on a triangular mesh. This functionality is useful for analyzing multiple scalar fields simultaneously.},
doi = {},
year = 2016,
month = 7,
note =
}

In this paper the author considers how to compute the singular value decomposition (SVD) A = U{Sigma}V{sup {tau}} of A = [a{sub 1}, a{sub 2}] {element_of} R{sup mx2} accurately in floating point arithmetic. It is shown how to compute the Jacobi rotation V (the right singular vector matrix) and how to compute AV = U{Sigma} even if the floating point representation of V is the identity matrix. In the case (norm of (a{sub 1})){sub 2} {much_gt} (norm of (a{sub 2})){sub 2}, underflow can produce the identity matrix as the floating point value of V, even for a{sub 1}, a{sub 2}more »

Methods for design and evaluation of integrated hardwaresoftware systems for concurrent computation. Semiannual Report, 15 September 198414 March 1985
Research activities and publications are briefly summarized. The major tasks reviewed are: (1) VAX implementation of the PISCES parallel programming environment; (2) Apollo workstation network implementation of the PISCES environment; (3) FLEX implementation of the PISCES environment; (4) sparse matrix iterative solver in PSICES Fortran; (5) image processing application of PISCES; and (6) a formal model of concurrent computation being developed. 
The ANS mathematics and computation software standards
The Mathematics and Computations Division of the American Nuclear Society sponsors the ANS10 Standards Subcommittee. This subcommittee, which is part of the ANS Standards Committee, currently maintains four ANSI/ANS software standards. These standards are: Recommended Programming Practices to Facilitate the Portability of Scientific Computer Programs, ANS10.2; Guidelines for the Documentation of Computer Software, ANS10.3; Guidelines for the Verification and Validation of Scientific and Engineering Computer Programs for the Nuclear Industry, ANS10.4; and Accommodating User Needs in Computer Program Development, ANS10.5. 
Impact of Quadcore Cray XT4 System and Software Stack on Scientific Computation
An upgrade from dualcore to quadcore AMD processor on the Cray XT system at the Oak Ridge National Laboratory (ORNL) Leadership Computing Facility (LCF) has resulted in significant changes in the hardware and software stack, including a deeper memory hierarchy, SIMD instructions and a multicore aware MPI library. In this paper, we evaluate impact of a subset of these key changes on largescale scientific applications. We will provide insights into application tuning and optimization process and report on how different strategies yield varying rates of successes and failures across different application domains. For instance, we demonstrate that the vectorization instructionsmore » 
Automated Behavior Computation for Software Analysis and Validation
Software systems can exhibit massive numbers of possible execution paths, and even the most comprehensive testing can exercise only a small fraction of these. It is no surprise that systems experience errors and vulnerabilities in field use when most executions are untested. While the problem seems intractable at the execution level, it may not be so at the functional semantics level. Structured programs are expressed in a finite hierarchy of control structures, each of which corresponds to a mathematical function or relation. A correctness theorem defines transformation of these structures from procedural logic into nonprocedural, asbuilt specifications of behavior. Thesemore »
To initiate an order for this software, request consultation services, or receive further information, fill out the request form below. You may also reach us by email at: .
OSTI staff will begin to process an order for scientific and technical software once the payment and signed site license agreement are received. If the forms are not in order, OSTI will contact you. No further action will be taken until all required information and/or payment is received. Orders are usually processed within three to five business days.