Decentralized Constraint Satisfaction

We show that several important resource allocation problems in wireless networks fit within the common framework of Constraint Satisfaction Problems (CSPs). Inspired by the requirements of these applications, where variables are located at distinct network devices that may not be able to communicate but may interfere, we define natural criteria that a CSP solver must possess in order to be practical. We term these algorithms decentralized CSP solvers. The best known CSP solvers were designed for centralized problems and do not meet these criteria. We introduce a stochastic decentralized CSP solver and prove that it will find a solution in almost surely finite time, should one exist, also showing it has many practically desirable properties. We benchmark the algorithm's performance on a well-studied class of CSPs, random k-SAT, illustrating that the time the algorithm takes to find a satisfying assignment is competitive with stochastic centralized solvers on problems with order a thousand variables despite its decentralized nature. We demonstrate the solver's practical utility for the problems that motivated its introduction by using it to find a non-interfering channel allocation for a network formed from data from downtown Manhattan

Independent Orbiter Assessment (IOA): Assessment of the manned maneuvering unit

The results of the Independent Orbiter Assessment (IOA) of the Failure Modes and Effects Analysis (FMEA) and Critical Items List (CIL) are presented. The IOA effort first completed an analysis of the Manned Maneuvering Unit (MMU) hardware, generating draft failure modes and potential critical items. To preserve independence, this analysis was accomplished without reliance upon the results contain within the NASA FMEA/CIL documentation. The IOA results were then compared to the proposed Martin Marietta FMEA/CIL Post 51-L updates. A discussion of each discrepancy from the comparison is provided through additional analysis as required. These discrepancies were flagged as issues, and recommendations were made based on the FMEA data available at the time. The results of this comparison for the Orbiter MMU hardware are documented. The IOA product for the MMU analysis consisted of 204 failure mode worksheets that resulted in 95 potential critical items being identified. Comparison was made to the NASA baseline which consisted of 179 FMEAs and 110 CIL items. This comparison produced agreement on all 121 FMEAs which caused differences in 92 CIL items

Research and development of superconducting thin films Final report, 15 Dec. 1965 - 15 Dec. 1966

Superconducting niobium thin film productio

Improving the Functional Control of Aged Ferroelectrics using Insights from Atomistic Modelling

We provide a fundamental insight into the microscopic mechanisms of the ageing processes. Using large scale molecular dynamics simulations of the prototypical ferroelectric material PbTiO3, we demonstrate that the experimentally observed ageing phenomena can be reproduced from intrinsic interactions of defect-dipoles related to dopant-vacancy associates, even in the absence of extrinsic effects. We show that variation of the dopant concentration modifies the material's hysteretic response. We identify a universal method to reduce loss and tune the electromechanical properties of inexpensive ceramics for efficient technologies.Comment: 6 pages, 3 figure

DEKAS - An evolutionary case-based reasoning system to support protection scheme design

This paper describes a decision support system being developed in conjunction with two UK utility companies to aid the design of electrical power transmission protection systems. A brief overview of the application domain is provided, followed by a description of the work carried out to date concerning the development and deployment of the Design Engineering Knowledge Application System (DEKAS). The paper then discusses the provision of intelligent decision support to the design engineer through the application of case-based reasoning (CBR). The key benefits from this will be outlined in conjunction with a relevant case study

Porous squeeze-film flow

The squeeze-film flow of a thin layer of Newtonian fluid filling the gap between a flat impermeable surface moving under a prescribed constant load and a flat thin porous bed coating a stationary flat impermeable surface is considered. Unlike in the classical case of an impermeable bed, in which an infinite time is required for the two surfaces to touch, for a porous bed contact occurs in a finite contact time. Using a lubrication approximation an implicit expression for the fluid layer thickness and an explicit expression for the contact time are obtained and analysed. In addition, the fluid particle paths are calculated, and the penetration depths of fluid particles into the porous bed are determined. In particular, the behaviour in the asymptotic limit of small permeability, in which the contact time is large but finite, is investigated. Finally, the results are interpreted in the context of lubrication in the human knee joint, and some conclusions are drawn about the contact time of the cartilage-coated femoral condyles and tibial plateau and the penetration of nutrients into the cartilage

Independent Orbiter Assessment (IOA): Analysis of the atmospheric revitalization pressure control subsystem

The results of the Independent Orbiter Assessment (IOA) of the Failure Modes and Effects Analysis/Critical Items List (FMEA/CIL) are presented. The IOA approach features a top-down analysis of the hardware to determine failure modes, criticality, and potential critical items. To preserve independence, this analysis was accomplished without reliance upon the results contained within the NASA FMEA/CIL documentation. The independent analysis results corresponding to the Orbiter Atmospheric Revitalization and Pressure Control Subsystem (ARPCS) are documented. The ARPCS hardware was categorized into the following subdivisions: (1) Atmospheric Make-up and Control (including the Auxiliary Oxygen Assembly, Oxygen Assembly, and Nitrogen Assembly); and (2) Atmospheric Vent and Control (including the Positive Relief Vent Assembly, Negative Relief Vent Assembly, and Cabin Vent Assembly). The IOA analysis process utilized available ARPCS hardware drawings and schematics for defining hardware assemblies, components, and hardware items. Each level of hardware was evaluated and analyzed for possible failure modes and effects. Criticality was assigned based upon the severity of the effect for each failure mode

Independent Orbiter Assessment (IOA): Analysis of the life support and airlock support subsystems

The results of the Independent Orbiter Assessment (IOA) of the Failure Modes and Effects Analysis (FMEA) and Critical Items List (CIL) are presented. The IOA approach features a top-down analysis of the hardware to determine failure modes, criticality, and potential critical items. To preserve independence, this analysis was accomplished without reliance upon the results contained within the NASA FMEA/CIL documentation. This report documents the independent analysis results corresponding to the Orbiter Life Support System (LSS) and Airlock Support System (ALSS). Each level of hardware was evaluated and analyzed for possible failure modes and effects. Criticality was assigned based upon the severity of the effect for each failure mode. The LSS provides for the management of the supply water, collection of metabolic waste, management of waste water, smoke detection, and fire suppression. The ALSS provides water, oxygen, and electricity to support an extravehicular activity in the airlock

Squeeze-Film Flow in the Presence of a Thin Porous Bed, with Application to the Human Knee Joint

Motivated by the desire for a better understanding of the lubrication of the human knee joint, the squeeze-film flow of a thin layer of Newtonian fluid (representing the synovial fluid) filling the gap between a flat impermeable surface (representing the femoral condyles) and a flat thin porous bed (representing the articular cartilage) coating a stationary flat impermeable surface (representing the tibial plateau) is considered. As the impermeable surface approaches the porous bed under a prescribed constant load all of the fluid is squeezed out of the gap in a finite contact time. In the context of the knee, the size of this contact time suggests that when a person stands still for a short period of time their knees may be fluid lubricated, but that when they stand still for a longer period of time contact between the cartilage-coated surfaces may occur. The fluid particle paths are calculated, and the penetration depths of fluid particles into the porous bed are determined. In the context of the knee, these penetration depths provide a measure of how far into the cartilage nutrients are carried by the synovial fluid, and suggest that when a person stands still nutrients initially in the fluid layer penetrate only a relatively small distance into the cartilage. However, the model also suggests that the cumulative effect of repeated loading and unloading of the knees during physical activity such as walking or running may be sufficient to carry nutrients deep into the cartilage