Periodicities of Quasar Redshifts in Large Area Surveys

We test the periodicity of quasar redshifts in the 2dF and SDSS surveys. In the overall surveys redshift peaks are already apparent in the brighter quasars. But by analyzing sample areas in detail it is shown that the redshifts fit very closely the long standing Karlssson formula and strongly suggest the existence of preferred values in the distribution of quasar redshifts. We introduce a powerful new test for groups of quasars of differing redshifts which not only demonstrates the periodicity of the redshifts, but also their physical association with a parent galaxy. Further such analyses of the large area surveys should produce more information on the properties of the periodicity.Comment: 23 pages, 14 figure

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

Oral History Interview: Roscoe C. Thornbury, Sr. and Bertha T. Thornbury

This interview is one of a series conducted concerning West Virginia coal mining. Mr. Thornbury worked in the coalfields of Logan County, West Virginia, for forty-three years. He relates information about coal companies, early Logan, and mining techniques. The Blair Mountain War of 1921 is discussed, as is his autobiographical information and unionization of the mines.https://mds.marshall.edu/oral_history/1156/thumbnail.jp

Increasing security of supply by the use of a local power controller during large system disturbances

This paper describes intelligent ways in which distributed generation and local loads can be controlled during large system disturbances, using Local Power Controllers. When distributed generation is available, and a system disturbance is detected early enough, the generation can be dispatched, and its output power can be matched as closely as possible to local microgrid demand levels. Priority-based load shedding can be implemented to aid this process. In this state, the local microgrid supports the wider network by relieving the wider network of the micro-grid load. Should grid performance degrade further, the local microgrid can separate itself from the network and maintain power to the most important local loads, re-synchronising to the grid only after more normal performance is regained. Such an intelligent system would be a suitable for hospitals, data centres, or any other industrial facility where there are critical loads. The paper demonstrates the actions of such Local Power Controllers using laboratory experiments at the 10kVA scale

Effects of magnification and visual accommodation on aimpoint estimation in simulated landings with real and virtual image displays

Twenty professional pilots observed a computer-generated airport scene during simulated autopilot-coupled night landing approaches and at two points (20 sec and 10 sec before touchdown) judged whether the airplane would undershoot or overshoot the aimpoint. Visual accommodation was continuously measured using an automatic infrared optometer. Experimental variables included approach slope angle, display magnification, visual focus demand (using ophthalmic lenses), and presentation of the display as either a real (direct view) or a virtual (collimated) image. Aimpoint judgments shifted predictably with actual approach slope and display magnification. Both pilot judgments and measured accommodation interacted with focus demand with real-image displays but not with virtual-image displays. With either type of display, measured accommodation lagged far behind focus demand and was reliably less responsive to the virtual images. Pilot judgments shifted dramatically from an overwhelming perceived-overshoot bias 20 sec before touchdown to a reliable undershoot bias 10 sec later