31,960 research outputs found
The aerodynamic characteristics of a family of related hovercraft shapes
The handling qualities of hovercraft indicate the need for a better
understanding of the influence of the basic aerodynamic characteristics.
This report is the first of a series in which the aerodynamic
characteristics of hovercraft shapes are studied with particular reference
to current design variables starting with simple solid block models and
progressing to more sophisticated hollow models having cushion efflux and
air-induction
Development of a flight software testing methodology
The research to develop a testing methodology for flight software is described. An experiment was conducted in using assertions to dynamically test digital flight control software. The experiment showed that 87% of typical errors introduced into the program would be detected by assertions. Detailed analysis of the test data showed that the number of assertions needed to detect those errors could be reduced to a minimal set. The analysis also revealed that the most effective assertions tested program parameters that provided greater indirect (collateral) testing of other parameters. In addition, a prototype watchdog task system was built to evaluate the effectiveness of executing assertions in parallel by using the multitasking features of Ada
Angler Response to Success in the California Salmon Sportfishery: Evidence and Management Implications
This paper examines effort responsiveness to success in the California salmon partyboat sport fishery. The management process in this important fishery involves setting target harvest levels for both commercial and sportfishing groups and then using closed seasons, restricted gear, and possession limits to dampen effective effort. An important component of the management process involves forecasting sportfishing effort and its effect on catch in order to advance-plan management actions. For want of better information, simple proportionality rules-of-thumb are used currently and this paper examines the plausibility of these. Some simple models forecasting aggregate angler participation and aggregate partyboat catch on a weekly basis are estimated across several different ports. Our findings suggest that anglers are responsive to recent success in several sports (elasticities up to + .5) and that angler participation affects catch with an elasticity exceeding unity. These results indicate that the simple rules of thumb currently in use could be in substantial error.Environmental Economics and Policy, Research Methods/ Statistical Methods, Resource /Energy Economics and Policy,
Inverter ratio failure detector
A failure detector which detects the failure of a dc to ac inverter is disclosed. The inverter under failureless conditions is characterized by a known linear relationship of its input and output voltages and by a known linear relationship of its input and output currents. The detector includes circuitry which is responsive to the detector's input and output voltages and which provides a failure-indicating signal only when the monitored output voltage is less by a selected factor, than the expected output voltage for the monitored input voltage, based on the known voltages' relationship. Similarly, the detector includes circuitry which is responsive to the input and output currents and provides a failure-indicating signal only when the input current exceeds by a selected factor the expected input current for the monitored output current based on the known currents' relationship
-Trinomial identities
We obtain connection coefficients between -binomial and -trinomial
coefficients. Using these, one can transform -binomial identities into a
-trinomial identities and back again. To demonstrate the usefulness of this
procedure we rederive some known trinomial identities related to partition
theory and prove many of the conjectures of Berkovich, McCoy and Pearce, which
have recently arisen in their study of the and
perturbations of minimal conformal field theory.Comment: 21 pages, AMSLate
Internal electrostatic discharge hazard risk assessment to the Galileo orbiter
A worst case assessment was performed on the Command Data System (CDS) multilayer printed circuit board and an output power transformer module in the power subsystem. An estimate of the Jovian environment during the 35 hour orbit insertion was supplied by JPL and used as an input to calculate the electron transport into the Galileo components. A radiation shielding analysis computer code, CHARGE, calculated the electron transport deposition trapped in the anticipated sensitive areas of the multilayer board and transformer module. Based on these trapped charge calculations electric fields were calculated between the identified isolated areas and the spacecraft ground. The results of the assessment of electrostatic discharge (DSD) in the CDS multilayer printed circuit board indicate that the probability of ESD in the FR4 is low. The probability of ESD in the components attached to the multilayer board, however, is uncertain based on a lack of prior experimental data
A methodology for testing fault-tolerant software
A methodology for testing fault tolerant software is presented. There are problems associated with testing fault tolerant software because many errors are masked or corrected by voters, limiter, or automatic channel synchronization. This methodology illustrates how the same strategies used for testing fault tolerant hardware can be applied to testing fault tolerant software. For example, one strategy used in testing fault tolerant hardware is to disable the redundancy during testing. A similar testing strategy is proposed for software, namely, to move the major emphasis on testing earlier in the development cycle (before the redundancy is in place) thus reducing the possibility that undetected errors will be masked when limiters and voters are added
Executable assertions and flight software
Executable assertions are used to test flight control software. The techniques used for testing flight software; however, are different from the techniques used to test other kinds of software. This is because of the redundant nature of flight software. An experimental setup for testing flight software using executable assertions is described. Techniques for writing and using executable assertions to test flight software are presented. The error detection capability of assertions is studied and many examples of assertions are given. The issues of placement and complexity of assertions and the language features to support efficient use of assertions are discussed
Dynamic assertion testing of flight control software
Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The assertions were written and embedded in the code, then errors were inserted (seeded) one at a time and the code executed. Results indicate that assertion testing is an effective and efficient method of detecting errors in flight software. Most errors are eliminate at an earlier stage in the development than before
Dynamic assertion testing of flight control software
An experiment in using assertions to dynamically test fault tolerant flight software is described. The experiment showed that 87% of typical errors introduced into the program would be detected by assertions. Detailed analysis of the test data showed that the number of assertions needed to detect those errors could be reduced to a minimal set. The analysis also revealed that the most effective assertions tested program parameters that provided greater indirect (collateral) testing of other parameters
- …