Reading Imagined Letter Shapes from the Mind's Eye Using Real-time 7 Tesla fMRI

We present a 7 Tesla fMRI proof-of-concept study of the first letter speller BCI that decodes imagined letter shapes from activity patterns in early visual cortical areas. New tools are developed to enable real-time population receptive field retinotopic mapping for encoding and decoding. Using two different letter shapes (H and T), classification performance of generated activity patterns during imagery reaches 80% accuracy in each individual. Using a denoising autoencoder, recognizable letter shapes could be reconstructed and displayed as feedback to participants in the scanner

Doping in sport and exercise: anabolic, ergogenic, health and clinical issues

The use of doping agents are evident within competitive sport in senior and junior age groups, where they are taken by non-elite as well as elite participants. They are also taken in non-sporting contexts by individuals seeking to 'improve' their physique through an increase in muscle and/or decrease in fat mass. Whilst attaining accurate data on the prevalence of their use has limitations, studies suggest the illicit use of doping agents by athletes and non-athletes may be 1 - 5% in the population and greater than 50% in some groups; with the prevalence being higher in males. There is conclusive evidence that some doping agents are anabolic and ergogenic. There is also evidence that the use of doping agents such as: anabolic androgenic steroids; growth hormone and other anabolic agents; erythropoietin; and stimulants conveys considerable health risks that include, but are not limited to: cardiovascular disease, diabetes, cancer, mental health issues, virilisation in women, and the suppression of naturally produced androgens in men. This review will outline the anabolic, ergogenic and health impacts of selected doping agents and methods that may be used in both the sporting and physique development contexts. It also provides a brief tabulated overview of the history of doping and how doping agents may impact upon the analyses of clinical samples

Dynamics and Control of Quadcopter in Uncertain Environment

We consider problem of dynamics, control, and uncertainty quantification for quadcopter. We use the 6DOF model of quadcopter dynamics, linear quadratic regulator and linear quadratic Gaussian control of quadcopter in the presence of dynamical disturbances, measurement noise, hidden dynamical variables, dashing GPS signal, and wind gusts to predict quadcopter trajectory. We identify key sources of uncertainties and report on progress in development of a system that estimates the probability of safety-critical events using a set of algorithms based on the trajectory predictions

Towards A Model-Based Prognostics Methodology for Electrolytic Capacitors: A Case Study Based on Electrical Overstress Accelerated Aging

A remaining useful life prediction methodology for electrolytic capacitors is presented. This methodology is based on the Kalman filter framework and an empirical degradation model. Electrolytic capacitors are used in several applications ranging from power supplies on critical avionics equipment to power drivers for electro-mechanical actuators. These devices are known for their comparatively low reliability and given their criticality in electronics subsystems they are a good candidate for component level prognostics and health management. Prognostics provides a way to assess remaining useful life of a capacitor based on its current state of health and its anticipated future usage and operational conditions. We present here also, experimental results of an accelerated aging test under electrical stresses. The data obtained in this test form the basis for a remaining life prediction algorithm where a model of the degradation process is suggested. This preliminary remaining life prediction algorithm serves as a demonstration of how prognostics methodologies could be used for electrolytic capacitors. In addition, the use degradation progression data from accelerated aging, provides an avenue for validation of applications of the Kalman filter based prognostics methods typically used for remaining useful life predictions in other applications

Physics Based Electrolytic Capacitor Degradation Models for Prognostic Studies under Thermal Overstress

Electrolytic capacitors are used in several applications ranging from power supplies on safety critical avionics equipment to power drivers for electro-mechanical actuators. This makes them good candidates for prognostics and health management research. Prognostics provides a way to assess remaining useful life of components or systems based on their current state of health and their anticipated future use and operational conditions. Past experiences show that capacitors tend to degrade and fail faster under high electrical and thermal stress conditions that they are often subjected to during operations. In this work, we study the effects of accelerated aging due to thermal stress on different sets of capacitors under different conditions. Our focus is on deriving first principles degradation models for thermal stress conditions. Data collected from simultaneous experiments are used to validate the desired models. Our overall goal is to derive accurate models of capacitor degradation, and use them to predict performance changes in DC-DC converters

Prognostics of Power Electronics, Methods and Validation Experiments

Abstract Failure of electronic devices is a concern for future electric aircrafts that will see an increase of electronics to drive and control safety-critical equipment throughout the aircraft. As a result, investigation of precursors to failure in electronics and prediction of remaining life of electronic components is of key importance. DC-DC power converters are power electronics systems employed typically as sourcing elements for avionics equipment. Current research efforts in prognostics for these power systems focuses on the identification of failure mechanisms and the development of accelerated aging methodologies and systems to accelerate the aging process of test devices, while continuously measuring key electrical and thermal parameters. Preliminary model-based prognostics algorithms have been developed making use of empirical degradation models and physics-inspired degradation model with focus on key components like electrolytic capacitors and power MOSFETs (metal-oxide-semiconductor-field-effect-transistor). This paper presents current results on the development of validation methods for prognostics algorithms of power electrolytic capacitors. Particularly, in the use of accelerated aging systems for algorithm validation. Validation of prognostics algorithms present difficulties in practice due to the lack of run-to-failure experiments in deployed systems. By using accelerated experiments, we circumvent this problem in order to define initial validation activities

Finite-dimensional analogs of string s <-> t duality and pentagon equation

We put forward one of the forms of functional pentagon equation (FPE), known from the theory of integrable models, as an algebraic explanation to the phenomenon known in physics as st duality. We present two simple geometrical examples of FPE solutions, one of them yielding in a particular case the well-known Veneziano expression for 4-particle amplitude. Finally, we interpret our solutions of FPE in terms of relations in Lie groups.Comment: LaTeX, 12 pages, 6 eps figure

Towards Physical Hybrid Systems

Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.Comment: CADE 201

Quantification of Ophthalmic Changes After Long-Duration Spaceflight, and Subsequent Recovery

A subset of crewmembers are subjected to ophthalmic structure changes due to long-duration spaceflight (>6 months). Crewmembers who experience these changes are described as having Spaceflight Associated Neuro-Ocular Syndrome (SANS). Characteristics of SANS include optic disk edema, cotton wool spots, choroidal folds, refractive error, and posterior globe flattening. SANS remains a major obstacle to deep-space and planetary missions, requiring a better understanding of its etiology. Quantification of ocular, structural changes will improve our understanding of SANS pathophysiology. Methods were developed to quantify 3D optic nerve (ON) and ON sheath (ONS) geometries, ON tortuosity, and posterior globe deformation using MR imaging