Search NASA⌕ Search

SEARCH · Search NASA

Results for “Cambridge”

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 55 records · Page 3

Formal verification of a microcoded VIPER microprocessor using HOL

The Royal Signals and Radar Establishment (RSRE) and members of the Hardware Verification Group at Cambridge University conducted a joint effort to prove the correspondence between the electronic block model and the top level specification of Viper. Unfortunately, the proof became too complex and unmanageable within the given time and funding constraints, and is thus incomplete as of the date of this report. This report describes an independent attempt to use the HOL (Cambridge Higher Order Logic) mechanical verifier to verify Viper. Deriving from recent results in hardware verification research at UC Davis, the approach has been to redesign the electronic block model to make it microcoded and to structure the proof in a series of decreasingly abstract interpreter levels, the lowest being the electronic block level. The highest level is the RSRE Viper instruction set. Owing to the new approach and some results on the proof of generic interpreters as applied to simple microprocessors, this attempt required an effort approximately an order of magnitude less than the previous one.

Levitt, Karl↗

Orbital Debris Observations with WFCAM

The United Kingdom Infrared Telescope has been operating for 35 years on the summit of Mauna Kea as a premier Infrared astronomical facility. In its 35th year the telescope has been turned over to a new operating group consisting of University of Arizona, University of Hawaii and the LM Advanced Technology Center. UKIRT will continue its astronomical mission with a portion of observing time dedicated to orbital debris and Near Earth Object detection and characterization. During the past 10 years the UKIRT Wide Field CAMera (WFCAM) has been performing large area astronomical surveys in the J, H and K bands. The data for these surveys have been reduced by the Cambridge Astronomical Survey Unit in Cambridge, England and archived by the Wide Field Astronomy Unit in Edinburgh, Scotland. During January and February of 2014 the Wide Field CAMera (WFCAM) was used to scan through the geostationary satellite belt detecting operational satellites as well as nearby debris. Accurate photometric and astrometric parameters have been developed by CASU for each of the detections and all data has been archived by WFAU.

Bold, Matthew↗

The Explorer Rocket Research Program

Since September of 1956, nine Jupiter-C missiles have been launched from the firing pad at Cape Canaveral. The first Jupiter-C firing tested the propulsion system, air frame, and guidance components of the missile, and the second and third firings tested a model of the Jupiter nose cone under realistic re-entry conditions. The remaining six Jupiter-C missiles were used as the launching vehicles for EXPLORER satellites I through VI (Fig. 1). Of the six satellite firings, EXPLORERs I, III, and IV achieved satisfactory orbits. The Jupiter-C missile was designed and developed as a joint program under the technical direction of the Jet Propulsion Laboratory and the Army Ballistic Missile Agency. The Jet Propulsion Laboratory developed the three high-speed stages, and the Army Ballistic Missile Agency handled the development, construction, and operation of the first-stage booster rocket and the guidance system. Many other organizations have contributed to the success of the EXPLORER satellite program, most notably the State University of Iowa, the Air Force Cambridge Research Center, and the satellite tracking teams of the Vanguard organization.

Robillard, G.↗

The Entry Plasma Sheath and Its Effects on Space Vehicle Electromagnetic Systems, Volume 1

This symposium is the fourth in a series on the plasma sheath. The first three were held in Boston, Massachusetts, and were sponsored by the Air Force Cambridge Research Laboratories. The papers included in the symposium cover theoretical and experimental results of research and flight tests of many different specific aspects of the general problem of plasma sheath degradation of reentry vehicle electromagnetic systems. Only the newer advances and more recent developments in the field are included in the Fourth Plasma Sheath Symposium, with no particular attempt being made to review the general background and history of the problem or to cover those aspects discussed in the previous symposia. Flight data from both NASA and DOD programs are included.

Source record↗

A comparison and evaluation of satellite derived positions of tracking stations

A comparison is presented of sets of satellite tracking station coordinate values published in the past few years by a number of investigators, i.e. Goddard Space Flight Center, Smithsonian Astrophysical Observatory, Ohio State University, The Naval Weapons Laboratory, Air Force Cambridge Research Laboratories, and Wallops Island. The comparisons have been made in terms of latitude, longitude and height. The results of the various solutions have been compared directly and also with external standards such as local survey data and gravimetrically derived geoid heights. After taking into account systematic rotations, latitude and longitude agreement on a global basis is generally 15 meters or better, on the North American Datum agreement is generally better than 10 meters. Allowing for scale differences (of the order of 2 ppm) radial agreement is generally of the order of 10 meters.

Vincent, S. F.↗

On a yield surface for granular materials.

A special plasticity theory for soils in a triaxial compression drained condition which was extracted from a general theory of soil plasticity presented by Aguirre-Ramirez is generalized for three-dimensional complex stress fields. A theory for plane-strain is then constructed from the generalized three-dimensional theory. Both theories are then compared and found to be in agreement with the corresponding theories presented by Roscoe and Burland at Cambridge.

Aguirre-Ramirez, G.↗

The design, construction and testing of the optics for a 147-cm-aperture telescope

Geodetic optics research for the Air Force Cambridge Research Laboratories (AFCRL) is described. The work consisted mainly of the fabrication of the optical components for a telescope with a 152-cm-diam (60-in.) primary mirror masked down to 147-cm-diam for use by the AFCRL for a lunar ranging experiment. Among the achievements of this contract were the following: completion of the primary and secondary mirrors for a high-quality 147-cm-diam telescope system in eight months from the start of edging the primary; manufacture and testing of a unique center mount for the primary according to an AFCRL design that allowed for a thin-edged and therefore less-massive mirror; and development of a quantitative analysis of the wire test for calculating the departure of the mirror figure from the design figure quickly and accurately after each polishing step. This analysis method in conjunction with a knowledge of polishing rates for given weights and diameters of tools, mirror, and polishing materials should considerably reduce the polishing time required for future large mirrors.

Buchroeder, R. A.↗

X-ray observations of Cyg X-1 with ANS

The equipment, method and results of the measurements performed with soft and hard X-ray detectors of the Space Research Laboratory in Utrecht and the Center for Astrophysics in Cambridge, Mass., are described. Cyg X-1 underwent an upward transition in its intensity, that seems to be the inverse of the downward transition seen by Uhuru in April 1971. The bulk of the increase, as observed by the Astronomical Netherlands Satellite instruments, from May 1 to May 8, 1975, occurs at low energy: between 1 and 2 keV, the intensity increased by a factor of 10 over the November 1974 intensity, while above 8 keV there is no significant change. The data suggest that Cyg X-1 has reverted to its high state.

Heise, J.↗

Conversion of LARSYS III.1 to an IBM 370 computer

A software system for processing multispectral aircraft or satellite data (LARSYS) was designed and written at the Laboratory for Applications of Remote Sensing at Purdue University. This system, being implemented on an IBM 360/67 computer utilizing the Cambridge Monitor System, is of an interactive nature. TAMU LARSYS maintains the essential capabilities of Purdue's LARSYS. The machine configuration for which it has been converted is an IBM-compatible Amdahl 470V/6 computer utilizing the time sharing option of the currently implemented OS/VS2 Operating System. Due to TSO limitations, the NASA-JSC deliverable TAMU LARSYS is comprised of two parts. Part one is a TSO Control Card Checker for LARSYS control cards, and part two is a batch version of LARSYS. Used together, they afford most of the capabilities of the original LARSYS III.1. Additionally, two programs have been written by TAMU to support LARSYS processing. The first is an ERTS-to-MIST conversion program used to convert ERTS data to the LARSYS input form, the MIST tape. The second is a system runtable code which maintains tape/file location information for the MIST data sets.

Williams, G. N.↗

Magnetometer networks during the International Magnetosphere Study

The paper describes the geographical layout of the planned North American IMS magnetometer network and outlines some plans regarding instrumentation and data transmission services. The network consists of three meridional high-latitude chains, an east-west chain along the auroral zone, and a network of stations at mid-latitudes. In addition, the Air Force Cambridge Research Laboratories will have their own network with an east-west chain along geomagnetic latitude 54 N and some other mid-latitude stations. The preliminary magnetometer specifications require that the three-component flux gate magnetometer be accurate to within 0.25 gamma and that each axis be sampled every 10 sec. A block diagram is presented showing the proposed magnetometer station, of which the most complex piece of equipment will be the interface controller. The SMS-GOES satellite telemetry relay capability will be used for transmission of data from a selected network of magnetic stations to the Space Environment Laboratory in Boulder.

Lanzerotti, L. J.↗

Radio source positions from very-long-baseline interferometry observations

Accurate positions of compact radio sources have been determined from very-long-baseline interferometry (VLBI) observations based on the bandwidth-synthesis technique. The coordinates for 18 extragalactic sources were obtained from sets of observations spread over the period from April 1972 to January 1975; the scatter among the independent determinations of the source coordinates from the separate sets of observations is about 0.05 arcsec, except for the declinations of near-equatorial sources, where the scatter is about 0.15 arcsec. Comparison of these positions with those determined with the Cambridge 5-km radio interferometer shows the rms scatter about the mean difference to be about 0.04 arcsec in each coordinate (no sources of low declination were in common). A similar comparison of the present results with those obtained by the Jet Propulsion Laboratory from separate VLBI observations yields a slightly larger rms scatter, after exlusion of the declinations of the near-equatorial sources. A position is also obtained for the galactic object Beta Persei (Algol), which agrees well with the position given in the FK 4 catalogue.

Clark, T. A.↗

The revised 3C catalog of radio sources - A review of optical identifications and spectroscopy

We present a catalog of the important optical data for the radio sources in the Revised Third Cambridge Catalog. Optical positions, redshifts, magnitudes, and identifications have been included, as well as radio flux densities and spectral indices for the sample of 297 extragalactic 3CR sources. A bibliography of optical identifications, spectroscopy, and radio position/structure is also given. In addition to the literature compilation, we present new spectroscopic observations of 27 3CR radio galaxies, 25 of which do not have previously published redshifts.

Smith, H. E.↗

Prediction of slant path rain attenuation statistics at various locations

The paper describes a method for predicting slant path attenuation statistics at arbitrary locations for variable frequencies and path elevation angles. The method involves the use of median reflectivity factor-height profiles measured with radar as well as the use of long-term point rain rate data and assumed or measured drop size distributions. The attenuation coefficient due to cloud liquid water in the presence of rain is also considered. Absolute probability fade distributions are compared for eight cases: Maryland (15 GHz), Texas (30 GHz), Slough, England (19 and 37 GHz), Fayetteville, North Carolina (13 and 18 GHz), and Cambridge, Massachusetts (13 and 18 GHz).

Goldhirsh, J.↗

Forecasts of geomagnetic activity by Ottawa Magnetic Observatory: Their reliabilty and application

A 27 day forecast of geomagnetic activity based on the forecasts from two locations is presented. To evaluate the reliability of the forecasts, the predicted activity was compared with the actual geomagnetic activity at five geomagnetic observatories located in different magnetic zones: Ottawa (57.0N, 351.5E); Meanook (61.8N, 301.0E); Fort Churchill (68.8N, 322.5E); Cambridge Bay (76.7N, 294.0E); and Resolute Bay (83.1N, 287.7E). Results indicate that the percentage of correct predictions varies with the geomagnetic latitude of the observatory used for comparison. The percentage is on the average highest for lower latitude stations and lowest for the northern stations. The number of incorrect predictions ranges from 4.7% for Ottawa to 8.4% for Churchill.

Hruska, J.↗

A photometric investigation of Comet P/Encke

A photometric investigation of Comet P/Encke was undertaken using the 2.2 m telescope and the 0.6 m telescope. The two primary scientific objectives were: (1) measurement of the production rates of OH, CN, C3, and C2 as a function of heliocentric distance; and (2) determination of the comet's rotational period by searching for periodic brightness variations in the inner coma. Synoptic observation in the Canary Islands; Cambridge, Massachusetts; Flagstaff, Arizona; and Mauna Kea were planned for the study of the comet's rotation.

Millis, R. L.↗

L Chondrite meteorites: A compilation and preliminary analyses

A compilation of those meteorites currently recognized as being L chondrites, exclusive of the numerous Antarctica finds, was made and is known as the L Chondrite Register. Data for these 576 meteorites was collected from a variety of sources, primarily the British Museum's Catalogue of Meteorites and the Appendix to the Catalogue of Meteorites. Also used was the Revised Cambridge Chondrite Compendium, which provided a convenient listing of L chondrites; other sources include Chinese Meteorites, Meteorites, by Wasson (1974), and the Meteoritical Bulletin of Meteoritics. This last source provided data for most recent falls and was referenced through March of 1982. All such data were recorded on a computer data file with a HP 2647A terminal, so that information could easily be retrieved and manipulated. For each meteorite, the petrographic class, location of find, fall date and hour, mass, mole per cent fayalite, weight per cent Fe, SiO2/MgO ratio, shock class, metal class, 4He abundance, UTh-H3 gas retention age, K-Ar gas retention age, and 21Ne cosmic ray exposure age, was recorded when known.

Silliman, A.↗

Process in manufacturing high efficiency AlGaAs/GaAs solar cells by MO-CVD

Manufacturing technology for mass producing high efficiency GaAs solar cells is discussed. A progress using a high throughput MO-CVD reactor to produce high efficiency GaAs solar cells is discussed. Thickness and doping concentration uniformity of metal oxide chemical vapor deposition (MO-CVD) GaAs and AlGaAs layer growth are discussed. In addition, new tooling designs are given which increase the throughput of solar cell processing. To date, 2cm x 2cm AlGaAs/GaAs solar cells with efficiency up to 16.5% were produced. In order to meet throughput goals for mass producing GaAs solar cells, a large MO-CVD system (Cambridge Instrument Model MR-200) with a susceptor which was initially capable of processing 20 wafers (up to 75 mm diameter) during a single growth run was installed. In the MR-200, the sequencing of the gases and the heating power are controlled by a microprocessor-based programmable control console. Hence, operator errors can be reduced, leading to a more reproducible production sequence.

Yeh, Y. C. M.↗

The catalogue of the discrete sources in the declination range from -13 deg to -2 deg

The results of the discrete source measurements with declinations -13 deg or = delta or = -2 deg and right ascensions 0 sub h + 24 sub h are given and were obtained as part of the systematic decametric survey of the celestial sphere with the rotatiotelecope UTR-2. Three hundred sixteen sources were found in the given declination range, four of which were observed for the first time. The source coordinates measured in the survey were compared with those from the 4th Cambridge survey at 178 MHz and the Parkes survey at 408 MHz.

Braude, S. Y.↗