Some n-p (Hg,Cd)Te photodiodes for 8-14 micrometer heterodyne applications

The results describing the dc and CO2 laser heterodyne characteristics of a three element photodiode array and single element and four element photodiode arrays are presented. The measured data shows that the n(+)-p configuration is capable of achieving bandwidths of 475 to 725 MHz and noise equivalent powers of 3.2 x 10 to the minus 20th power W/Hz at 77 K and 1.0 x 10 to the minus 19th power W/Hz at 145 K. The n(+)-n(-)-p photodiodes exhibited wide bandwidths (approximately 2.0 GHz) and fairly good effective heterodyne quantum efficiencies (approximately 13-30 percent at 2.0 GHz). Noise equivalent powers ranging from 1.44 x 10 to the minus 19th power W/Hz to 6.23 x 10 to the minus 20th power W/Hz were measured at 2.0 GHz

Advanced underwater lift device

Flexible underwater lift devices ('lift bags') are used in underwater operations to provide buoyancy to submerged objects. Commercially available designs are heavy, bulky, and awkward to handle, and thus are limited in size and useful lifting capacity. An underwater lift device having less than 20 percent of the bulk and less than 10 percent of the weight of commercially available models was developed. The design features a dual membrane envelope, a nearly homogeneous envelope membrane stress distribution, and a minimum surface-to-volume ratio. A proof-of-concept model of 50 kg capacity was built and tested. Originally designed to provide buoyancy to mock-ups submerged in NASA's weightlessness simulators, the device may have application to water-landed spacecraft which must deploy flotation upon impact, and where launch weight and volume penalties are significant. The device may also be useful for the automated recovery of ocean floor probes or in marine salvage applications

Advanced collapsible tank for liquid containment

Tanks for bulk liquid containment will be required to support advanced planetary exploration programs. Potential applications include storage of potable, process, and waste water, and fuels and process chemicals. The launch mass and volume penalties inherent in rigid tanks suggest that collapsible tanks may be more efficient. Collapsible tanks are made of lightweight flexible material and can be folded compactly for storage and transport. Although collapsible tanks for terrestrial use are widely available, a new design was developed that has significantly less mass and bulk than existing models. Modelled after the shape of a sessible drop, this design features a dual membrane with a nearly uniform stress distribution and a low surface-to-volume ratio. It can be adapted to store a variety of liquids in nearly any environment with constant acceleration field. Three models of 10L, 50L, and 378L capacity have been constructed and tested. The 378L (100 gallon) model weighed less than 10 percent of a commercially available collapsible tank of equivalent capacity, and required less than 20 percent of the storage space when folded for transport

Parameter trails

Successful communication is vital for the success of any design project. However, communication often fails, adversely affecting design process efficiency and product quality.understand the connections between different aspects of design and don–t know where to find out more information or who to talk to. This paper presents a new model, developed from current project planning techniques, which supports communication using parameter-specific data. It enables designers to question information, inform their colleagues pro-actively and assess the impact of changing parameter values on subsequent design tasks. Such interaction is critical in allowing designers to see how their own tasks fit into the overall product design

A functional analysis of change propagation

A thorough understanding of change propagation is fundamental to effective change management during product redesign. A new model of change propagation, as a result of the interaction of form and function is presented and used to develop an analysis method that determines how change is likely to propagate. The analysis produces a Design Structure Matrix, which clearly illustrates change propagation paths and highlights connections that could otherwise be ignored. This provides the user with an in-depth knowledge of product connectivity, which has the potential to support the design process and reduce the product's susceptibility to future change

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Circumscription is a representative example of a nonmonotonic reasoning inference technique. Circumscription has often been studied for first order theories, but its propositional version has also been the subject of extensive research, having been shown equivalent to extended closed world assumption (ECWA). Moreover, entailment in propositional circumscription is a well-known example of a decision problem in the second level of the polynomial hierarchy. This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for entailment in propositional circumscription that explores the relationship of propositional circumscription to minimal models. The new algorithm is inspired by ideas commonly used in SAT-based model checking, namely counterexample guided abstraction refinement. In addition, the new algorithm is refined to compute the theory closure for generalized close world assumption (GCWA). Experimental results show that the new algorithm can solve problem instances that other solutions are unable to solve

Avalanche dynamics of radio pulsar glitches

We test statistically the hypothesis that radio pulsar glitches result from an avalanche process, in which angular momentum is transferred erratically from the flywheel-like superfluid in the star to the slowly decelerating, solid crust via spatially connected chains of local, impulsive, threshold-activated events, so that the system fluctuates around a self-organised critical state. Analysis of the glitch population (currently 285 events from 101 pulsars) demonstrates that the size distribution in individual pulsars is consistent with being scale invariant, as expected for an avalanche process. The waiting-time distribution is consistent with being exponential in seven out of nine pulsars where it can be measured reliably, after adjusting for observational limits on the minimum waiting time, as for a constant-rate Poisson process. PSR J0537$-$6910 and PSR J0835$-$4510 are the exceptions; their waiting-time distributions show evidence of quasiperiodicity. In each object, stationarity requires that the rate $\lambda$ equals $- \epsilon \dot{\nu} /$, where $\dot{\nu}$ is the angular acceleration of the crust, $$ is the mean glitch size, and $\epsilon\dot{\nu}$ is the relative angular acceleration of the crust and superfluid. There is no evidence that $\lambda$ changes monotonically with spin-down age. The rate distribution itself is fitted reasonably well by an exponential for $\lambda \geq 0.25 {\rm yr^{-1}}$. For $\lambda < 0.25 {\rm yr^{-1}}$, its exact form is unknown; the exponential overestimates the number of glitching pulsars observed at low $\lambda$, where the limited total observation time exercises a selection bias.Comment: Accepted for publication in the Astrophysical Journa