2,136 research outputs found
Fuse-holder concept expedites electronic component changes
Mounting circuit components in fuse holders facilitates component changing and extends component life with an estimated fifty percent saving of breadboard test time. Glass sleeves of the fuse holders allow easy component identification
Coded photographic proof paper could serve as convenient densitometer
Standard print-out proofing paper, preprinted with an identifying code, serves as convenient densitometer. Exposure to light darkens the paper and gives a measure of the density of the resultant photographic image or the total amount of exposure sustained by the paper
Scheduling language and algorithm development study. Volume 3, phase 2: As-built specifications for the prototype language and module library
Detailed specifications of the prototype language and module library are presented. The user guide to the translator writing system is included
Measurement of Surface Crack Opening Displacements Using Microwave Frequency Eddy Currents
An electromagnetic NDE technique for measuring the crack opening displacement of surface fatigue cracks is described. A ferromagnetic resonance probe utilizing yttrium-iron-garnet was used to induce eddy currents in an aluminum plate. The crack opening disolacement of a semi-elliptical fatigue crack evaluated at the surface was measured optically at several values of bending stress on the specimen. A technique is presented which allows the crack depth to be calculated from the measured COD at a given stress. The relative phase and magnitude of input vs. output signal to and from the resonating YIG sphere was recorded during the interaction of the FMR probe eddy currents and the fatigue crack. A method is shown to extract quantitative information from these signals and to correlate this information with the crack opening displacement
The Structures of the Actual World
Scripture teaches that God has a plan for the universe. In this paper we argue that in order for it to function as a plan, it must have a temporal structure, a representational structure, and a proto-causal structure. This paper presents a formal model of the these three structures. As it turns out, the structures of God’s plan are best understood as the structures of a musical composition. We, then very briefly describe its implications. The first is that this model (based ultimately in the doctrine of God) grounds a metaphysics of science. Second, it grounds a structuralist philosophy of mathematics. Third, since the composite structure is a complex relational structure (some of whose parts are themselves mereological sums defined predicatively) global self-reference is eliminated. Therefore, if in the spirit of Leibniz we take God’s plan to be the actual world for a metaphysics of modality, we are able to preclude the incoherence that plagues set-theoretic constructions of platonic entities such as Roberts Adams’ maximal propositions and Alvin Plantinga’s ’book’ on the actual world. Yet, in one sense, our model is a logical extension of Plantinga’s ’actual world’ as a maximal, temporally-invariant state of affairs.So, the model also grounds a metaphysics of modality in the biblical doctrine of God. Fourth, the model provides the basis of a world-inclusion semantics for systems of formal logic
- …