NASA Communications Division (NASCOM) Tracking and Data Relay Satellite System (TDRSS) shuttle multiplexer-demultiplexer data system (MDM) and supporting items

The multiplexer-demultiplexer (MDM) project included the design, documentation, manufacture, and testing of three MDM Data Systems. The equipment is contained in 59 racks, and includes more than 3,000 circuit boards and 600 microprocessors. Spares, circuit card testers, a master set of programmable integrated circuits, and a program development system were included as deliverables. All three MDM's were installed, and were operationally tested. The systems performed well with no major problems. The progress and problems analysis, addresses schedule conformance, new technology, items awaiting government approval, and project conclusions are summarized. All contract modifications are described

Call-by-name Gradual Type Theory

We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and type error) in a novel way, by universal properties relative to new judgments for gradual type and term dynamism, which were developed in blame calculi and to state the "gradual guarantee" theorem of gradual typing. Combined with the ordinary extensionality ($\eta$) principles that type theory provides, we show that most of the standard operational behavior of casts is uniquely determined by the gradual guarantee. This provides a semantic justification for the definitions of casts, and shows that non-standard definitions of casts must violate these principles. Our type theory is the internal language of a certain class of preorder categories called equipments. We give a general construction of an equipment interpreting gradual type theory from a 2-category representing non-gradual types and programs, which is a semantic analogue of Findler and Felleisen's definitions of contracts, and use it to build some concrete domain-theoretic models of gradual typing

Assessment of the operating characteristics of the SSME LOX turbopump pump-end bearing

A bearing/shaft model of the SSME LOX turbopump was developed using the SHABERTH bearing/shaft math modeling computer code. A previously developed bearing/shaft thermal model of the SSME LOX turbopump turbine and bearing was used in conjunction with SHABERTH to evaluate the thermomechanical operating characteristics of the LOX turbopump end bearings. Results show that for the two unmounted diametrical clearances evaluated (4.0 mils and 6.3 mils), the inboard pump end bearing supports about 81% of the isolator load for the small clearance and 77% of the isolator load for the larger clearance. Bearing clearance changes due to thermal effects were 40% for the 4.0 mil diametrical clearance case and 19% for the 6.3 mil clearance case evaluated. The thermal analysis included evaluation of bearing temperatures for a subcooled case and a saturated case. Results indicate that no drastic temperature change occurred between the two cases. Since the rolling element and race surfaces of the subcooled case were at temperatures sufficiently high enough to be vapor blanketed, exceeding saturation temperature at the bearing inlet did not increase surface temperatures greatly

Fitting models of multiple hypotheses to partial population data: investigating the causes of cycles in red grouse

There are two postulated causes for the observed periodic fluctuations (cycles) in red grouse (Lagopus lagopus scoticus). The first involves interaction with the parasitic nematode Trichostrongylus tenuis. The second invokes delayed regulation through the effect of male aggressiveness on territoriality. Empirical evidence exists to support both hypotheses, and each hypothesis has been modeled deterministically. However, little effort has gone into looking at the combined effects of the two mechanisms or formally fitting the corresponding models to field data. Here we present a model for red grouse dynamics that includes both parasites and territoriality. To explore the single and combined hypotheses, we specify three versions of this model and fit them to data using Bayesian state‐space modeling, a method that allows statistical inference to be performed on mechanistic models such as ours. Output from the three models is then examined to determine their goodness of fit and the biological plausibility of the parameter values required by each to fit the population data. While all three models are capable of emulating the observed cyclic dynamics, only the model including both aggression and parasites does so under consistently realistic parameter values, providing theoretical support for the idea that both mechanisms shape red grouse cycles

Initial Experiences of Building Secure Access to Patient Confidential Data via the Internet

A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care (hospital) diabetes information system, has been implemented. We describe the application that we chose to distribute (a diabetes register); the security mechanisms we used to protect the data (a public key infrastructure with strong encryption and digitally signed messages, plus a firewall); the reasons for the implementation decisions we made; the validation testing that we performed and the preliminary results of the pilot implementation

Characterisation of the dynamical quantum state of a zero temperature Bose-Einstein condensate

We describe the quantum state of a Bose-Einstein condensate at zero temperature. By evaluating the Q-function we show that the ground state of Bose-Einstein condensate under the Hartree approximation is squeezed. We find that multimode Schroedinger cat states are generated as the condensate evolves in a ballistic expansion.Comment: 13 pages, 6 figure

Charcoal reflectance: A quantitative approach to understanding the impact of fire on an ecosystem

This thesis develops the charcoal reflectance method into a novel metric with which to assess fire severity and begin to explore the relationship between this and the amount of energy that has been delivered across a burned area. The ability to better understand the effects of fires on ecosystems is critical for future policy and management strategies especially as in some regions of the Earth fire is predicted to become a more prevalent and catastrophic disturbance. Charcoal is a key product of wildfire, resulting from the incomplete combustion of fuel. During the creation of charcoal, the energy from the fire alters the atomic structure of the plant material and it is eventually re-ordered to a more graphite-like structure. This re-ordering of cells alters the reflective properties of the charcoal i.e. there is an increase in the quantifiable amount of light reflected from the surface of the charcoal thus allowing researchers to study the reflectance properties of charcoal. It has been suggested that the properties of charcoal may be capable of capturing evidence of the heat distribution throughout a wildfire. As such charcoal may be able to provide a means with which to assess fire severity and the amount of energy that has been applied to fuel to create charcoal. At present, there are two main tools by which fire severity is assessed: Qualitative fire severity scores taken at the ground-level, and quantitative satellite-based approaches. In this thesis, I examine how well charcoal reflectance compares to existing fire severity metrics whilst developing it into a post-fire assessment tool that has the potential to assist in future policy and management decisions, and in predictions of carbon budgeting for ecosystems.NER

Advanced rocket engine cryogenic turbopump bearing thermal model

A lumped node thermal model was developed representing the Space Shuttle Main Engine (SSME) liquid oxygen (LOX) turbopump turbine end bearings operating in a cryogenically cooled bearing tester. Bearing elements, shaft, carrier, housing, cryogen flow characteristics, friction heat, and fluid viscous energy are included in the model. Heat transfer characteristics for the regimes of forced convection boiling are modeled for liquid oxygen (LOX) and liquid nitrogen (LN2). Large temperature differences between the cryogenic fluid and baring contact surfaces require detailed nodal representation in these areas. Internal loads and friction heat are affected by temperature dependent operating clearances requiring iterations between bearing thermal and mechanical models. Analyses indicate a thermal-mechanical coupling resulting in reduced operating clearances, increased loading and heating which can contribute to premature bearing failure. Contact surfaces operate at temperatures above local saturation resulting in vapor rather than liquid in the contacts, precluding possible liquid film lubrication. Elevated temperatures can reduce lubrication, increase friction, and reduce surface hardness supporting a surface failure mode rather than subsurface fatigue