Electromechanical systems with transient high power response operating from a resonant AC link

The combination of an inherently robust asynchronous (induction) electrical machine with the rapid control of energy provided by a high frequency resonant AC link enables the efficient management of higher power levels with greater versatility. This could have a variety of applications from launch vehicles to all-electric automobiles. These types of systems utilize a machine which is operated by independent control of both the voltage and frequency. This is made possible by using an indirect field-oriented control method which allows instantaneous torque control in all four operating quadrants. Incorporating the AC link allows the converter in these systems to switch at the zero crossing of every half cycle of the AC waveform. This zero loss switching of the link allows rapid energy variations to be achieved without the usual frequency proportional switching loss. Several field-oriented control systems were developed by LeRC and General Dynamics Space Systems Division under contract to NASA. A description of a single motor, electromechanical actuation system is presented. Then, focus is on a conceptual design for an AC electric vehicle. This design incorporates an induction motor/generator together with a flywheel for peak energy storage. System operation and implications along with the associated circuitry are addressed. Such a system would greatly improve all-electric vehicle ranges over the Federal Urban Driving Cycle (FUD)

Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

Distance Learning on the Internet: A Situational Analysis

Embry-Riddle Aeronautical University (ERAU) recently began using WebCT as an interface tool to link the university\u27s graduate aviation courses to its worldwide distance education student body. This report provides a qualitative SWOT analysis (Strengths, Weaknesses, Opportunities, and Threats) of the pilot-study course used by the university to determine the effectiveness of the new inter The purpose of this situational analysis, written by the instructor of the pilot-study course, is to provide feedback to educators and administrators interested in learning more about distance learning using the Internet as the link between an educational inst on and its students. Distance learning has emerged as the brightest star on the horizon of higher education innovation over the last decade and using the Internet to deliver materials to learners is a trend that is not likely to go away. The author concludes that distance learning on the Internet has many advantages over face-to-face education but that there are a number of threats that must be addressed to protect the integrity of the institution implementing this type of degree program

Logic -\u3e Proof -\u3e REST

REST is a common architecture for networked applications. Applications that adhere to the REST constraints enjoy significant scaling advantages over other architectures. But REST is not a panacea for the task of building correct software. Algebraic models of computation, particularly CSP, prove useful to describe the composition of applications using REST. CSP enables us to describe and verify the behavior of RESTful systems. The descriptions of each component can be used independently to verify that a system behaves as expected. This thesis demonstrates and develops CSP methodology to verify the behavior of RESTful applications

Secondary techniques for increasing fault coverage of fault detection test sequences for asynchronous sequential networks

The generation of fault detection sequences for asynchronous sequential networks is considered here. Several techniques exist for the generation of fault detection sequences on combinational and clocked sequential networks. Although these techniques provide closed solutions for combinational and clocked networks, they meet with much less success when used as strategies on asynchronous networks. It is presently assumed that the general asynchronous problem defies closed solution. For this reason, a secondary procedure is presented here to facilitate increased fault coverage by a given fault detection test sequence. This procedure is successful on all types of logic networks but is, perhaps, most useful in the asynchronous case since this is the problem on which other techniques fail. The secondary procedure has been designed to improve the fault coverage accomplished by any fault detection sequence regardless of the origin of the sequence. The increased coverage is accomplished by a minimum amount of additional internal hardware and/or a minimum of additional package outputs. The procedure presented here will function as part of an overall digital fault detection system, which will be composed of: 1) a compatible digital logic simulator, 2) a set of fault detection sequence generators, 3) secondary procedures for increasing fault coverage, 4) procedures to allow for diagnosis to a variable level. This research is directed at presenting a complete solution to the problems involved with developing secondary procedures for increasing the fault coverage of fault detection sequences --Abstract, pages ii-iii