Stability Testing and Analysis of a PMAD DC Test Bed for the Space Station Freedom

The Power Management and Distribution (PMAD) DC Test Bed at the NASA Lewis Research Center is introduced. Its usefulness to the Space Station Freedom Electrical Power (EPS) development and design are discussed in context of verifying system stability. Stability criteria developed by Middlebrook and Cuk are discussed as they apply to constant power DC to DC converters exhibiting negative input impedance at low frequencies. The utility-type Secondary Subsystem is presented and each component is described. The instrumentation used to measure input and output impedance under load is defined. Test results obtained from input and output impedance measurements of test bed components are presented. It is shown that the PMAD DC Test Bed Secondary Subsystem meets the Middlebrook stability criterion for certain loading conditions

An Advanced Photovoltaic Array Regulator Module

Current trends in satellite design are focused on developing small, reliable, and inexpensive spacecraft. To that end, a modular power management and distribution system is proposed which will help transition the aerospace industry towards an assembly line approach to building spacecraft. The modular system is based on an innovative DC voltage boost converter called the Series Connected Boost Unit (SCBU). The SCBU uses any isolating DC-DC converter and adds a unique series connection. This simple modification provides the SCBU topology with many advantages over existing boost converters. Efficiencies of 94-98%, power densities above 1,000 W/kg, and inherent fault tolerance are just a few of the characteristics presented. Limitations of the SCBU technology are presented, and it is shown that the SCBU makes an ideal photovoltaic an-ay regulator. A set of photovoltaic power system requirements are presented that can be applied to almost any low Earth orbit satellite. Finally, a modular design based on the series connected boost unit is outlined and functional descriptions of the components are given

A Modular PMAD System for Small Spacecraft

Current trends in satellite design are focused on developing small, reliable, and inexpensive spacecraft. To that end, a modular power management and distribution system (PMAD) is proposed which will help transition the aerospace industry towards an assembly line approach to building spacecraft. The modular system is based on an innovative DC voltage boost converter called the Series Connected Boost Regulator (SCBR). The SCBR uses existing DC-DC converters and adds a unique series connection. This simple modification provides the SCBR topology with many advantages over existing boost converters. Efficiencies of 94-98%, power densities above 1,000 We/kg, and inherent fault tolerance are just a few of the characteristics presented. Limitations of the SCBR technology are presented, and it is shown that the SCBR makes an ideal photovoltaic array regulator. A modular design based on the series connected boost unit is outlined and functional descriptions of the components are given

Frequency domain model for analysis of paralleled, series-output-connected Mapham inverters

The Mapham resonant inverter is characterized as a two-port network driven by a selected periodic voltage. The two-port model is then used to model a pair of Mapham inverters connected in series and employing phasor voltage regulation. It is shown that the model is useful for predicting power output in paralleled inverter units, and for predicting harmonic current output of inverter pairs, using standard power flow techniques. Some examples are compared to data obtained from testing hardware inverters

forall x: Calgary. An Introduction to Formal Logic

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code

Modular Battery Charge Controller

A new approach to masterless, distributed, digital-charge control for batteries requiring charge control has been developed and implemented. This approach is required in battery chemistries that need cell-level charge control for safety and is characterized by the use of one controller per cell, resulting in redundant sensors for critical components, such as voltage, temperature, and current. The charge controllers in a given battery interact in a masterless fashion for the purpose of cell balancing, charge control, and state-of-charge estimation. This makes the battery system invariably fault-tolerant. The solution to the single-fault failure, due to the use of a single charge controller (CC), was solved by implementing one CC per cell and linking them via an isolated communication bus [e.g., controller area network (CAN)] in a masterless fashion so that the failure of one or more CCs will not impact the remaining functional CCs. Each micro-controller-based CC digitizes the cell voltage (V(sub cell)), two cell temperatures, and the voltage across the switch (V); the latter variable is used in conjunction with V(sub cell) to estimate the bypass current for a given bypass resistor. Furthermore, CC1 digitizes the battery current (I1) and battery voltage (V(sub batt) and CC5 digitizes a second battery current (I2). As a result, redundant readings are taken for temperature, battery current, and battery voltage through the summation of the individual cell voltages given that each CC knows the voltage of the other cells. For the purpose of cell balancing, each CC periodically and independently transmits its cell voltage and stores the received cell voltage of the other cells in an array. The position in the array depends on the identifier (ID) of the transmitting CC. After eight cell voltage receptions, the array is checked to see if one or more cells did not transmit. If one or more transmissions are missing, the missing cell(s) is (are) eliminated from cell-balancing calculations. The cell-balancing algorithm is based on the error between the cell s voltage and the other cells and is categorized into four zones of operation. The algorithm is executed every second and, if cell balancing is activated, the error variable is set to a negative low value. The largest error between the cell and the other cells is found and the zone of operation determined. If the error is zero or negative, then the cell is at the lowest voltage and no balancing action is needed. If the error is less than a predetermined negative value, a Cell Bad Flag is set. If the error is positive, then cell balancing is needed, but a hysteretic zone is added to prevent the bypass circuit from triggering repeatedly near zero error. This approach keeps the cells within a predetermined voltage range

Altair Lunar Lander Consumables Management

The Altair lunar lander is scheduled to return humans to the moon in the year 2020. Keeping the crew of 4 and the vehicle functioning at their best while minimizing lander mass requires careful budgeting and management of consumables and cooperation with other constellation elements. Consumables discussed here include fluids, gasses, and energy. This paper presents the lander's missions and constraints as they relate to consumables and the design solutions that have been employed in recent Altair conceptual designs

Distortion and regulation characterization of a Mapham inverter

Output voltage Total Harmonic Distortion (THD) of a 20kHz, 6kVA Mapham resonant inverter is characterized as a function of its switching-to-resonant frequency ratio, f sub s/f sub r, using the EASY5 engineering analysis system. EASY5 circuit simulation results are compared with hardware test results to verify the accuracy of the simulations. The effects of load on the THD versus f sub s/f sub r ratio is investigated for resistive, leading, and lagging power factor load impedances. The effect of the series output capacitor on the Mapham inverter output voltage distortion and inherent load regulation is characterized under loads of various power factors and magnitudes. An optimum series capacitor value which improves the inherent load regulation to better than 3 percent is identified. The optimum series capacitor value is different than the value predicted from a modeled frequency domain analysis. An explanation is proposed which takes into account the conduction overlap in the inductor pairs during steady-state inverter operation, which decreases the effective inductance of a Mapham inverter. A fault protection and current limit method is discussed which allows the Mapham inverter to operate into a short circuit, even when the inverter resonant circuit becomes overdamped

Autophagic activity in neuronal cell death.

As post-mitotic cells with great energy demands, neurons depend upon the homeostatic and waste-recycling functions provided by autophagy. In addition, autophagy also promotes survival during periods of harsh stress and targets aggregate-prone proteins associated with neurodegeneration for degradation. Despite this, autophagy has also been controversially described as a mechanism of programmed cell death. Instances of autophagic cell death are typically associated with elevated numbers of cytoplasmic autophagosomes, which have been assumed to lead to excessive degradation of cellular components. Due to the high activity and reliance on autophagy in neurons, these cells may be particularly susceptible to autophagic death. In this review, we summarize and assess current evidence in support of autophagic cell death in neurons, as well as how the dysregulation of autophagy commonly seen in neurodegeneration can contribute to neuron loss. From here, we discuss potential treatment strategies relevant to such cell-death pathways.DCR is funded by a Wellcome Trust Principal Research Fellowship and the NIHR Biomedical Research Unit in Dementia at Addenbrooke’s Hospital. This review is supported by Plymouth University and Northcott Medical Foundation.This is the author accepted manuscript. The final version is available from Springer via http://dx.doi.org/10.1007/s12264-015-1528-

A modular electric power system test bed for small spacecraft

In the new climate of smaller, faster, and cheaper space science satellites, a new power system topology has been developed at the NASA Lewis Research Center. This new topology is based on a series connected boost converter (SCBC) and can greatly affect the size, weight, fault tolerance, and cost of any small spacecraft using photovoltaic solar arrays. The paper presents electric power system design factors and requirements as background information. The series connected boost converter topology is discussed and several advantages over existing technologies are illustrated. Besides being small, lightweight, and efficient, this topology has the added benefit of inherent fault tolerance. A positive ground power system test bed has been developed for the TROPIX spacecraft program. Performance of the SCBC in the test bed is described in detail. SCBC efficiencies of 95 percent to 98 percent have been measured. Finally, a modular, photovoltaic regulator 'kit' concept is presented. Two SCBC's are used to regulate solar array charging of batteries and to provide 'utilitytype' power to the user loads. The kit's modularity will allow a spacecraft electric power system to be built from off-the-shelf hardware; resulting in smaller, faster, and cheaper spacecraft