Cascading Proximity Effects in Rotating Magnetizations

We demonstrate two effects that occur in all diffusive superconducting-magnetic heterostructures with rotating magnetization: the reappearance of singlet $|0,0>$ correlations deep in the magnetic material and a cascade of $s=1$, $m=0, \pm 1$ components (in the two spin-$1/2$ basis $|s,m>$). We do so by examining the order parameter and Josephson current through a multilayer with five mutually perpendicular ferromagnets. The properties of the middle layer determine whether the current is due to $m=0$ or $m\neq 0$ contributions. We conclude that so-called long- and short-range components are present across a proximity system with rotating magnetization.Comment: 5 pages, 4 figure

Providing frequency droop control using variable speed wind turbines with augmented control

An augmentation to conventional wind turbine control is presented and its applicability for providing droop control services to the grid is investigated. Both the impact on the fatigue loads of the turbines and the change in energy capture when providing droop control are assessed. Three alternative strategies for providing droop control are simulated. The controller is found to be suitable for providing droop control. When providing droop control, the damage equivalent loads for the tower and for the blades change by between -0.63% and 0.14% and between -0.45% and 0.29% respectively. Energy capture is reduced by between 3.18% and 10.91% compared to normal operation, depending upon the strategy chosen to supply droop control, the wind turbine used and the wind speed distribution

Translating expert system rules into Ada code with validation and verification

The purpose of this ongoing research and development program is to develop software tools which enable the rapid development, upgrading, and maintenance of embedded real-time artificial intelligence systems. The goals of this phase of the research were to investigate the feasibility of developing software tools which automatically translate expert system rules into Ada code and develop methods for performing validation and verification testing of the resultant expert system. A prototype system was demonstrated which automatically translated rules from an Air Force expert system was demonstrated which detected errors in the execution of the resultant system. The method and prototype tools for converting AI representations into Ada code by converting the rules into Ada code modules and then linking them with an Activation Framework based run-time environment to form an executable load module are discussed. This method is based upon the use of Evidence Flow Graphs which are a data flow representation for intelligent systems. The development of prototype test generation and evaluation software which was used to test the resultant code is discussed. This testing was performed automatically using Monte-Carlo techniques based upon a constraint based description of the required performance for the system