Noncontacting method for measuring angular deflection

An apparatus is described for indicating the instantaneous angular deflection of an object about a selected axis without mechanical contact with the object. Light from a light source is transmitted through a flat refractor to a converging lens which focuses the light through another flat refractor onto a differential photocell. The first flat refractor is attached to the object such that when the object is deflected about the selected axis the refractor is also deflected about that axis. The two flat refractors are identical and they are placed an equal distance from the converging lens as are the light source and the photocell. The output of the photocell which is a function of image displacement is fed to a high gain amplifier that drives a galvanometer which rotates the second flat refractor. The second refractor is rotated so that the image displacement is very nearly zero making the galvanometer current a measure of the deflection of the object about the selected axis

Sensitive level sensor made with spirit level, gives electrical output

Sensor incorporating a circular spirit level, electrical lamp and two pairs of photocells, provides an electrical indication of flat surface level deviation

Fatigue testing device Patent

Fatigue testing device applying random discrete load levels to test specimen and applicable to aircraft structure

Food of Bluegill and Longear Sunfish in DeGray Reservoir, Arkansas, 1976

Stomach contents were examined from 544 bluegill (Lepomis macrochirus) and 709 longear sunfish (L. megalotis) collected from nearshore areas of DeGray Reservoir April-November 1976. Major foods of bluegill (percentage of total weight of food in parentheses) were insects (33), bryozoa (7.3), planktonic crustaceans (6.5), and plant materials (15.4). The major food items contributing to the diet of longear sunfish were insects (52.6%), crayfish (12.5%), fish (7.4%), and plant material (6.7%). Although bluegill and longear sunfish are closely related species, their diets were not as similar as expected: bluegill consumed zooplankton, adult dipterans, and adult ephemeropterans associated with limnetic areas; while longear sunfish consumed terrestrial insects, immature stages of aquatic insects, and macro-invertebrates associated with littoral areas

Design and analysis of a torsion braid pendulum displacement transducer

The dynamic properties at various temperatures of braids impregnated with polymer can be measured by using the braid as the suspension of a torsion pendulum. This report describes the electronic and mechanical design of a torsional braid pendulum displacement transducer which is an advance in the state of the art. The transducer uses a unique optical design consisting of refracting quartz windows used in conjunction with a differential photocell to produce a null signal. The release mechanism for initiating free torsional oscillation of the pendulum has also been improved. Analysis of the precision and accuracy of the transducer indicated that the maximum relative error in measuring torsional amplitude was approximately 0. A serious problem inherent in all instruments which use a torsional suspension was analyzed: misalignment of the physical and torsional axes of the torsional member which results in modulation of the amplitude of the free oscillation

Predicate Abstraction with Indexed Predicates

Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking. We consider models containing first-order state variables, where the system state includes mutable functions and predicates. Such a model can describe systems containing arbitrarily large memories, buffers, and arrays of identical processes. We describe a form of predicate abstraction that constructs a formula over a set of universally quantified variables to describe invariant properties of the first-order state variables. We provide a formal justification of the soundness of our approach and describe how it has been used to verify several hardware and software designs, including a directory-based cache coherence protocol.Comment: 27 pages, 4 figures, 1 table, short version appeared in International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), LNCS 2937, pages = 267--28

Constructing compact 8-manifolds with holonomy Spin(7) from Calabi-Yau orbifolds

Compact Riemannian 7- and 8-manifolds with holonomy G(2) arid Spin(7) were first constructed by the author in 1994-5, by resolving orbifolds T-7/Gamma and T-8/Gamma. This paper describes a new construction of compact 8-manifolds with holonomy Spin(7). We start with a Calabi-Yau 4-orbifold Y with isolated singularities of a special kind. We divide by an antiholomorphic involution a of Y to get a real 8-orbifold Z = Y/. Then we resolve tire singularities of Z to get a compact 8-manifold M, which has metrics with holonomy Spin(7). Manifolds constructed in this way typically have large fourth Betti number b(4)(M).</sigma

Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic

The logic of equality with uninterpreted functions (EUF) provides a means of abstracting the manipulation of data by a processor when verifying the correctness of its control logic. By reducing formulas in this logic to propositional formulas, we can apply Boolean methods such as Ordered Binary Decision Diagrams (BDDs) and Boolean satisfiability checkers to perform the verification. We can exploit characteristics of the formulas describing the verification conditions to greatly simplify the propositional formulas generated. In particular, we exploit the property that many equations appear only in positive form. We can therefore reduce the set of interpretations of the function symbols that must be considered to prove that a formula is universally valid to those that are ``maximally diverse.'' We present experimental results demonstrating the efficiency of this approach when verifying pipelined processors using the method proposed by Burch and Dill.Comment: 46 page

Fibroblast-derived HGF drives acinar lung cancer cell polarization through integrin-dependent RhoA-ROCK1 inhibition

The formation of lumens in epithelial tissues requires apical-basal polarization of cells, and the co-ordination of this individual polarity collectively around a contiguous lumen. Signals from the Extracellular Matrix (ECM) instruct epithelia as to the orientation of where basal, and thus consequently apical, surfaces should be formed. We report that this pathway is normally absent in Calu-3 human lung adenocarcinoma cells in 3-Dimensional culture, but that paracrine signals from MRC5 lung fibroblasts can induce correct orientation of polarity and acinar morphogenesis. We identify HGF, acting through the c-Met receptor, as the key polarity-inducing morphogen, which acts to activate β1-integrin-dependent adhesion. HGF and ECM-derived integrin signals co-operate via a c-Src-dependent inhibition of the RhoA-ROCK1 signalling pathway via p190A RhoGAP. This occurred via controlling localization of these signalling pathways to the ECM-abutting surface of cells in 3-Dimensional culture. Thus, stromal derived signals can influence morphogenesis in epithelial cells by controlling activation and localization of cell polarity pathways