Solid-state switching used to speed up capacitive integrator

Capacitive integrator circuit using Silicon Controlled Switches /SCS/ insures output voltage linearly proportional to input pulse width. This circuit provides high input impedance and relatively low output impedance

Variable duration pulse integrator Patent

Variable duration pulse integrator design for integrating pulse duration modulated pulses with elimination of ripple conten

Variable width pulse integrator Patent

Solid state integrator for converting variable width pulses into analog voltag

Attitude sensor

A device for controlling the attitude of a spacecraft is described. The device consists of two light sensors on a spacecraft that are mounted beneath a baffle which divides the light from a light source such as the sun or a star. The divided light reflects off of two reflective surfaces onto the two light sensors. When the spacecraft assumes its normal attitude, the baffle divides the light source into two equal parts, causing the two light sensors to produce equal outputs. When the light is equally detected, the stabilizing system is disconnected. Deviations from the normal attitude cause unequal distribution of the light source and energize the stabilizing system

On model checking data-independent systems with arrays without reset

A system is data-independent with respect to a data type X iff the operations it can perform on values of type X are restricted to just equality testing. The system may also store, input and output values of type X. We study model checking of systems which are data-independent with respect to two distinct type variables X and Y, and may in addition use arrays with indices from X and values from Y . Our main interest is the following parameterised model-checking problem: whether a given program satisfies a given temporal-logic formula for all non-empty nite instances of X and Y . Initially, we consider instead the abstraction where X and Y are infinite and where partial functions with finite domains are used to model arrays. Using a translation to data-independent systems without arrays, we show that the u-calculus model-checking problem is decidable for these systems. From this result, we can deduce properties of all systems with finite instances of X and Y . We show that there is a procedure for the above parameterised model-checking problem of the universal fragment of the u-calculus, such that it always terminates but may give false negatives. We also deduce that the parameterised model-checking problem of the universal disjunction-free fragment of the u-calculus is decidable. Practical motivations for model checking data-independent systems with arrays include verification of memory and cache systems, where X is the type of memory addresses, and Y the type of storable values. As an example we verify a fault-tolerant memory interface over a set of unreliable memories.Comment: Appeared in Theory and Practice of Logic Programming, vol. 4, no. 5&6, 200

Polymorphic systems with arrays : decidability and undecidability

Polymorphic systems with arrays (PSAs) is a general class of nondeterministic reactive systems. A PSA is polymorphic in the sense that it depends on a signature, which consists of a number of type variables, and a number of symbols whose types can be built from the type variables. Some of the state variables of a PSA can be arrays, which are functions from one type to another. We present several new decidability and undecidability results for parameterised control-state reachability problems on subclasses of PSAs

Mini-Conference on Hamiltonian and Lagrangian Methods in Fluid and Plasma Physics

A mini-conference on Hamiltonian and Lagrangian methods in fluid and plasma physics was held on November 14, 2002, as part of the 44th meeting of the Division of Plasma Physics of the American Physical Society. This paper summarizes the material presented during the talks scheduled during the Mini-Conference, which was held to honor Allan Kaufman on the occasion of his 75th birthday.Comment: 14 pages, conference summar

Electromagnetic mirror drive system

Oscillatory electromagnetic mirror drive system for horizon scanner

The Impact of Racial Miscategorization and Racial Ambiguity on Multiracial Identity and Well-Being: A Qualitative Study

Despite the rapid growth of the multiracial population there is a dearth of literature that informs the field of counseling psychology about the identity development and well-being of multiracial people. More specifically, there is little research which explores the challenge of having one’s racial identity repeatedly questioned and/or miscategorized, and how these experiences of racial miscategorization and racial incongruence may influence their identity choices and well-being. The sample consisted of 11 total participants, (women N = 9, men N = 2) who self-identified as racially ambiguous and of multiracial descent. Overall findings of the study suggest that experiences of racial miscategorization and being questioned about racial background (e.g. What are you?) had a negative impact on well-being, though many individuals considered these experiences as helpful building resilience later in life. Although racial miscategorization and being questioned about racial background was found to negatively impact well-being, it was found to have a positive impact on racial identity and development. Implications and future directions are discussed

Nodule Initiation Elicited by Noninfective Mutants of \u3cem\u3eRhizobium phaseoli\u3c/em\u3e

Rhizobium phaseoli CE106, CE110, and CE115, originally derived by transposon mutagenesis (Noel et al., J. Bacteriol. 158:149-155, 1984), induced the formation of uninfected root nodule-like swellings on bean (Phaseolus vulgaris). Bacteria densely colonized the root surface, and root hair curling and initiation of root cortical-cell divisions occurred normally in mutant-inoculated seedlings, although no infection threads formed. The nodules were ineffective, lacked leghemoglobin, and were anatomically distinct from normal nodules. Ultrastructural specialization for ureide synthesis, characteristic of legumes that form determinate nodules, was absent. Colony morphology of the mutant strains on agar plates was less mucoid than that of the wild type, and under some cultural conditions, the mutants did not react with Cellufluor, a fluorescent stain for β-linked polysaccharide. These observations suggest that the genetic lesions in these mutants may be related to extracellular polysaccharide synthesis