Short description of mathematical support programs for space experiments in the Interkosmos program

A synopsis of programs of mathematical support designed at the Institute for Cosmic Research of the USSR Academy of Sciences for cosmic experiments being conducted in the Interkosmos Program is presented. A short description of the appropriate algorithm is given

The Parallelism Motifs of Genomic Data Analysis

Genomic data sets are growing dramatically as the cost of sequencing continues to decline and small sequencing devices become available. Enormous community databases store and share this data with the research community, but some of these genomic data analysis problems require large scale computational platforms to meet both the memory and computational requirements. These applications differ from scientific simulations that dominate the workload on high end parallel systems today and place different requirements on programming support, software libraries, and parallel architectural design. For example, they involve irregular communication patterns such as asynchronous updates to shared data structures. We consider several problems in high performance genomics analysis, including alignment, profiling, clustering, and assembly for both single genomes and metagenomes. We identify some of the common computational patterns or motifs that help inform parallelization strategies and compare our motifs to some of the established lists, arguing that at least two key patterns, sorting and hashing, are missing

ANOPP programmer's reference manual for the executive System

Documentation for the Aircraft Noise Prediction Program as of release level 01/00/00 is presented in a manual designed for programmers having a need for understanding the internal design and logical concepts of the executive system software. Emphasis is placed on providing sufficient information to modify the system for enhancements or error correction. The ANOPP executive system includes software related to operating system interface, executive control, and data base management for the Aircraft Noise Prediction Program. It is written in Fortran IV for use on CDC Cyber series of computers

Exploring novel designs of NLP solvers: Architecture and Implementation of WORHP

Mathematical Optimization in general and Nonlinear Programming in particular, are applied by many scientific disciplines, such as the automotive sector, the aerospace industry, or the space agencies. With some established NLP solvers having been available for decades, and with the mathematical community being rather conservative in this respect, many of their programming standards are severely outdated. It is safe to assume that such usability shortcomings impede the wider use of NLP methods; a representative example is the use of static workspaces by legacy FORTRAN codes. This dissertation gives an account of the construction of the European NLP solver WORHP by using and combining software standards and techniques that have not previously been applied to mathematical software to this extent. Examples include automatic code generation, a consistent reverse communication architecture and the elimination of static workspaces. The result is a novel, industrial-grade NLP solver that overcomes many technical weaknesses of established NLP solvers and other mathematical software

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software

An implementation of co-simulation for performance prediction of innovative integrated HVAC systems in buildings

Integrated performance simulation of buildings and heating, ventilation and air-conditioning (HVAC) systems can help reducing energy consumption and increasing level of occupant comfort. However, no singe building performance simulation (BPS) tool offers sufficient capabilities and flexibilities to accommodate the ever-increasing complexity and rapid innovations in building and system technologies. One way to alleviate this problem is to use co-simulation. The co-simulation approach represents a particular case of simulation scenario where at least two simulators solve coupled differential-algebraic systems of equations and exchange data that couples these equations during the time integration. This paper elaborates on issues important for co-simulation realization and discusses multiple possibilities to justify the particular approach implemented in a co-simulation prototype. The prototype is verified and validated against the results obtained from the traditional simulation approach. It is further used in a case study for the proof-of-concept, to demonstrate the applicability of the method and to highlight its benefits. Stability and accuracy of different coupling strategies are analyzed to give a guideline for the required coupling frequency. The paper concludes by defining requirements and recommendations for generic cosimulation implementations

Research Reports: 1984 NASA/ASEE Summer Faculty Fellowship Program

A NASA/ASEE Summer Faulty Fellowship Program was conducted at the Marshall Space Flight Center (MSFC). The basic objectives of the programs are: (1) to further the professional knowledge of qualified engineering and science faculty members; (2) to stimulate an exchange of ideas between participants and NASA; (3) to enrich and refresh the research and teaching activities of the participants' institutions; and (4) to contribute to the research objectives of the NASA Centers. The Faculty Fellows spent ten weeks at MSFC engaged in a research project compatible with their interests and background and worked in collaboration with a NASA/MSFC colleague. This document is a compilation of Fellows' reports on their research during the summer of 1984. Topics covered include: (1) data base management; (2) computational fluid dynamics; (3) space debris; (4) X-ray gratings; (5) atomic oxygen exposure; (6) protective coatings for SSME; (7) cryogenics; (8) thermal analysis measurements; (9) solar wind modelling; and (10) binary systems

Efficient Data Structures and Algorithms for Scientific Computations.

Large-scale numerically intensive scientific applications can require tremendous amounts of computer time and space. Two general methods are presented for reducing the computer resources required in scientific computing. The first is a numerical database system which is built on a space and time optimal data structure called a weighted search tree and that allows for the storage and retrieval of valuable intermediate information so costly redundant calculations can be avoided. The second is a matrix algorithm based on a new space optimal representation of sparse matrices that for typical scientific applications can be expected to dramatically decrease the cost of multiplying sparse matrices. Codes and tests for each are given. Both methods can be implemented in a broad range of large-scale scientific applications

Architecture independent environment for developing engineering software on MIMD computers

Engineers are constantly faced with solving problems of increasing complexity and detail. Multiple Instruction stream Multiple Data stream (MIMD) computers have been developed to overcome the performance limitations of serial computers. The hardware architectures of MIMD computers vary considerably and are much more sophisticated than serial computers. Developing large scale software for a variety of MIMD computers is difficult and expensive. There is a need to provide tools that facilitate programming these machines. First, the issues that must be considered to develop those tools are examined. The two main areas of concern were architecture independence and data management. Architecture independent software facilitates software portability and improves the longevity and utility of the software product. It provides some form of insurance for the investment of time and effort that goes into developing the software. The management of data is a crucial aspect of solving large engineering problems. It must be considered in light of the new hardware organizations that are available. Second, the functional design and implementation of a software environment that facilitates developing architecture independent software for large engineering applications are described. The topics of discussion include: a description of the model that supports the development of architecture independent software; identifying and exploiting concurrency within the application program; data coherence; engineering data base and memory management