Axisymmetric dynamic response of a penny-shaped crack to a pair of transient concentrated forces

The three-dimensional axisymmetric elastodynamic response of a penny-shaped crack embedded in an infinite elastic solid subjected to a pair of transient concentrated forces is investigated. The forces are applied on the symmetry axis perpendicular and symmetric to the crack surfaces, including the special case when the forces act precisely on the crack surfaces. A time-domain boundary integral equation method is applied for computing the crack-opening displacement and subsequently the time dependence of the dynamic stress intensity factors. Numerical calculations are carried out for various geometry parameters and the results are discussed. It is found that the location of the applied concentrated forces inducing the highest dynamic stress intensity factors differs from that producing the highest static values.     

Manual digital instruments for monitoring gear wheels

A justification is given for the conversion of pointer-reading manual gear measuring instruments to digital ones. The BV-5126 digital gear tooth micrometer and BV-5126 pitch gauge, both developed at NII-izmerieniya, are described. These instruments, while retaining the advantages of mechanical manual instruments, are more convenient in use, and have smaller errors. Computer software is also described which considerably widens the functional possibilities of the manual instruments. Translated from Izmeritel'naya Tekhnika, No. 6, pp. 31–33, June, 1996.     

Extending typestate checking using conditional liveness analysis

The authors present a practical extension to typestate checking, which is capable of proving programs free of uninitialized variable errors even when these programs contain conditionally initialized variables where the initialization of a variable depends upon the equality of one or more tag variables to a constant. The user need not predeclare the relationship between a conditionally initialized variable and its tags, and this relationship may change from one point in the program to another. The technique generalizes liveness analysis to conditional liveness analysis. Like typestate checking, this technique incorporates a dataflow analysis algorithm in which each point in a program is labeled with a lattice point describing statically tracked information, including the initialization of variables. The labeling is then used to check for programming errors such as referencing a variable which may be uninitialized     

From data properties to evidence

The problem of making decisions among propositions based on both uncertain data items and arguments which are not certain is addressed. The primary knowledge discovery issue addressed is a classification problem: which classification does the available evidence support? The method investigated seeks to exploit information available from conventional database systems, namely, the integrity assertions or data dependency information contained in the database. This information allows ranking arguments in terms of their strengths. As a step in the process of discovering classification knowledge, using a database as a secondary knowledge discovery exercise, latent knowledge pertinent to arguments of relevance to the purpose at hand is explicated. This is called evidence. Information is requested via user prompts from an evidential reasoner. It is fed as evidence to the reasoner. An object-oriented structure for managing evidence is used to model the conclusion space and to reflect the evidence structure. The implementation of the evidence structure and an example of its use are outlined     

Application of multilayer feedforward neural networks toprecipitation cell-top altitude estimation

The use of passive 118-GHz O₂ observations of rain cells for precipitation cell-top altitude estimation is demonstrated by using a multilayer feedforward neural network retrieval system. Rain cell observations at 118 GHz were compared with estimates of the cell-top altitude obtained by optical stereoscopy. The observations were made with 2-4-km horizontal spatial resolution by using the millimeter-wave temperature sounder (MTS) scanning spectrometer aboard the NASA ER-2 research aircraft during the Genesis of Atlantic Lows Experiment (GALE) and the Cooperative Huntsville Meteorological Experiment (COHMEX) in 1986. The neural network estimator applied to MTS spectral differences between clouds, and nearby clear air yielded an rms discrepancy of 1.76 km for a combined cumulus, mature, and dissipating cell set and 1.44 km for the cumulus-only set. An improvement in rms discrepancy to 1.36 km was achieved by including additional MTS information on the absolute atmospheric temperature profile. An incremental method for training neural networks was developed that yielded robust results, despite the use of as few as 56 training spectra. Comparison of these results with a nonlinear statistical estimator shows that superior results can be obtained with a neural network retrieval system. Imagery of estimated cell-top altitudes was created from 118-GHz spectral imagery gathered from CAMEX, September through October 1993, and from cyclone Oliver, February 7, 1993     

Dynamic digital holographic wavelength filtering

This paper describes the theory and results of a new generic technology for use in optical telecommunications and wavelength division multiplexing (WDM): dynamic digital holographic wavelength filtering. The enabling component is a polarization-insensitive ferroelectric liquid crystal (FLC) spatial light modulator (SLM) in conjunction with a highly wavelength-dispersive fixed diffractive element. The technology has been used to perform demultiplexing of single or multiple WDM signals, dynamic erbium doped fiber amplifier (EDFA) gain equalization and channel management, and used to tune an erbium-doped fiber laser (EDFL) functioning as a high power, very narrow linewidth WDM source