64,360 research outputs found
Fatigue failure load indicator
An indicator for recording the load at which a fatigue specimen breaks during the last cycle of a fatigue test is described. A load cell is attached to the specimen which is alternately subjected to tension and compression loads. The output of the load cell which is proportional to the load on the specimen is applied to the input of a peak detector. Each time the specimen is subjected to a compression load, means are provided for applying a positive voltage to the rest of the peak detector to reset it. During the last cycle of the tension load the peak detector measures the maximum load on the specimen. Means are provided for disconnecting the load cell from the peak detector when there is a failure in the specimen
Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption
Backdoors and backbones of Boolean formulas are hidden structural properties.
A natural goal, already in part realized, is that solver algorithms seek to
obtain substantially better performance by exploiting these structures.
However, the present paper is not intended to improve the performance of SAT
solvers, but rather is a cautionary paper. In particular, the theme of this
paper is that there is a potential chasm between the existence of such
structures in the Boolean formula and being able to effectively exploit them.
This does not mean that these structures are not useful to solvers. It does
mean that one must be very careful not to assume that it is computationally
easy to go from the existence of a structure to being able to get one's hands
on it and/or being able to exploit the structure.
For example, in this paper we show that, under the assumption that P
NP, there are easily recognizable families of Boolean formulas with strong
backdoors that are easy to find, yet for which it is hard (in fact,
NP-complete) to determine whether the formulas are satisfiable. We also show
that, also under the assumption P NP, there are easily recognizable sets
of Boolean formulas for which it is hard (in fact, NP-complete) to determine
whether they have a large backbone
Program management aid for redundancy selection and operational guidelines
Although this criterion was developed specifically for use on the shuttle program, it has application to many other multi-missions programs (i.e. aircraft or mechanisms). The methodology employed is directly applicable even if the tools (nomographs and equations) are for mission peculiar cases. The redundancy selection criterion was developed to insure that both the design and operational cost impacts (life cycle costs) were considered in the selection of the quantity of operational redundancy. These tools were developed as aids in expediting the decision process and not intended as the automatic decision maker. This approach to redundancy selection is unique in that it enables a pseudo systems analysis to be performed on an equipment basis without waiting for all designs to be hardened
Fabrication and surface characterization of composite refractory compounds suitable for thermionic converters
Thermal faceting was observed for the high index planes of LaB6. The (100), (110), and (111) planes were found to be the most thermodynamically stable faces in vacuum in a study of electrode materials for thermionic emitters. The properties of adsorbed carbon, cesium, and cesium-oxygen layers were investigated on LaB6 single crystal surfaces as well as on Zr/0/W(100) and W(100). Cesium was found to increase electron reflection near the collision threshold on LaB6(100) and W(100) and to decrease the reflection on Zr/0/W(100). This difference may be explained by the unusually high threshold reflection coefficient of Zr/0/W without adsorbed cesium
Evaluation of Microwave Landing System (MLS) effect on the delivery performance of a fixed-path metering and spacing system
Metering and spacing (M & S) system's algorithms described assume an aircraft two dimensional are navigation capability. The three navigation systems compared were: very high frequency omnidirectional range/distance measuring equipment (VOR/DME) and ILS, VOR/DME and + or - 40 MLS, and VOR/DME and + or - 60 MLS. Other factors studied were M & S tentative schedule point location, route geometry effects, and approach gate location effects. Summarized results are: the MLS offers some improvement over VOR/DME and ILS if all approach routes contain computer assisted turns; pilot reaction to moving the gate closer to the runway threshold may adversely affect M & S performance; and coupling en route metering to terminal scheduling transfers most of the terminal holding to more full efficient, higher altitude en route delay
Summary of the electromagnetic compatibility evaluation of the proposed satellite power system
The effects of the proposed solar power satellite (SPS) operations on electronic equipment and systems by fundamental, harmonic, and intermodulation component emissions from the orbital station; and the fundamental, harmonic, and structural intermodulation emissions from the rectenna site were evaluated. The coupling and affects interactions affecting a wide spectrum of electronic equipment are considered. The primary EMC tasking areas are each discussed separately
- …