Data types

A Mathematical interpretation is given to the notion of a data type. The main novelty is in the generality of the mathematical treatment which allows procedural data types and circularly defined data types. What is meant by data type is pretty close to what any computer scientist would understand by this term or by data structure, type, mode, cluster, class. The mathematical treatment is the conjunction of the ideas of D. Scott on the solution of domain equations (Scott (71), (72) and (76)) and the initiality property noticed by the ADJ group (ADJ (75), ADJ (77)). The present work adds operations to the data types proposed by Scott and generalizes the data types of ADJ to procedural types and arbitrary circular type definitions. The advantages of a mathematical interpretation of data types are those of mathematical semantics in general : throwing light on some ill-understood constructs in high-level programming languages, easing the task of writing correct programs and making possible proofs of correctness for programs or implementations"

A modeling analysis program for the JPL Table Mountain Io sodium cloud data

Progress and achievements in the second year are discussed in three main areas: (1) data quality review of the 1981 Region B/C images; (2) data processing activities; and (3) modeling activities. The data quality review revealed that almost all 1981 Region B/C images are of sufficient quality to be valuable in the analyses of the JPL data set. In the second area, the major milestone reached was the successful development and application of complex image-processing software required to render the original image data suitable for modeling analysis studies. In the third area, the lifetime description of sodium atoms in the planet magnetosphere was improved in the model to include the offset dipole nature of the magnetic field as well as an east-west electric field. These improvements are important in properly representing the basic morphology as well as the east-west asymmetries of the sodium cloud

A modeling analysis program for the JPL table mountain Io sodium cloud

Progress and achievements in the first year are discussed in three main areas: (1) review and assessment of the massive JPL Table Mountain Io sodium cloud data set, (2) formulation and execution of a plan to perform further processing of this data set, and (3) initiation of modeling activities. The complete 1976-79 and 1981 data sets are reviewed. Particular emphasis is placed on the superior 1981 Region B/C images which provide a rich base of information for studying the structure and escape of gases from Io as well as possible east-west and magnetic longitudinal asymmetries in the plasma torus. A data processing plan is developed and is undertaken by the Multimission Image Processing Laboratory of JPL for the purpose of providing a more refined and complete data set for our modeling studies in the second year. Modeling priorities are formulated and initial progress in achieving these goals is reported

A modeling analysis program for the JPL Table Mountain Io sodium cloud data

The abundant Io sodium cloud data obtained at JPL Table Mountain was reviewed. Images of the sodium cloud important to this modeling analysis program are contained in the 1976-1979 data set and the 1981 data set. A preliminary assessment of the 263 images in the 1981 data set for Region B/C was initiated. The spatial morphology of some of these images revealed the presence of the forward sodium cloud (Region B) and the directional features (Region C) as expected. Plans for the second quarter to initiate preliminary modeling analysis and to define further data processing are discussed

A modeling analysis program for the JPL table mountain Io sodium cloud

A data quality review for the entire set of the 1981 Region B/C images has been completed and is presented. The review indicates that almost all images are of sufficient quality to be valuable in our analysis of this data set. Five data-correlation studies for the same data set have also been completed and are useful in classifying and studying the sodium cloud morphology and its interactions with solar radiation pressure and the plasma torus. Additional progress in developing new image processing techniques and in improving the Io sodium cloud model is also discussed

Radio meteorology at jpl goldstone pioneer station, july 14, 1965 final report

Macroscopic refractive index structure of troposphere and local microscopic refractive index variations - radio meteorolog