Attitude determination and calibration using a recursive maximum likelihood-based adaptive Kalman filter

An adaptive Kalman filter design that utilizes recursive maximum likelihood parameter identification is discussed. At the center of this design is the Kalman filter itself, which has the responsibility for attitude determination. At the same time, the identification algorithm is continually identifying the system parameters. The approach is applicable to nonlinear, as well as linear systems. This adaptive Kalman filter design has much potential for real time implementation, especially considering the fast clock speeds, cache memory and internal RAM available today. The recursive maximum likelihood algorithm is discussed in detail, with special attention directed towards its unique matrix formulation. The procedure for using the algorithm is described along with comments on how this algorithm interacts with the Kalman filter

A study of the immunity of FM discriminators to 2 pi frequency impulses

Frequency impulse response of selected FM discriminator

History dependence of directly observed magnetocaloric effects in (Mn, Fe)As

We use a calorimetric technique operating in sweeping magnetic field to study the thermomagnetic history- dependence of the magnetocaloric effect (MCE) in Mn0.985Fe0.015As. We study the magnetization history for which a "colossal" MCE has been reported when inferred indirectly via a Maxwell relation. We observe no colossal effect in the direct calorimetric measurement. We further examine the impact of mixed-phase state on the MCE and show that the first order contribution scales linearly with the phase fraction. This validates various phase-fraction based methods developed to remove the colossal peak anomaly from Maxwell-based estimates.Comment: 4 pages, 2 figure

Modification of an impulse-factoring orbital transfer technique to account for orbit determination and maneuver execution errors

A method has previously been developed to satisfy terminal rendezvous and intermediate timing constraints for planetary missions involving orbital operations. The method uses impulse factoring in which a two-impulse transfer is divided into three or four impulses which add one or two intermediate orbits. The periods of the intermediate orbits and the number of revolutions in each orbit are varied to satisfy timing constraints. Techniques are developed to retarget the orbital transfer in the presence of orbit-determination and maneuver-execution errors. Sample results indicate that the nominal transfer can be retargeted with little change in either the magnitude (Delta V) or location of the individual impulses. Additonally, the total Delta V required for the retargeted transfer is little different from that required for the nominal transfer. A digital computer program developed to implement the techniques is described

Cartesian Bicategories II

The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory

Influence of blade aerodynamic model on prediction of helicopter rotor aeroacoustic signatures

Brown’s vorticity transport model has been used to investigate how the local blade aerodynamic model influences the quality of the prediction of the high-frequency airloads associated with blade–vortex interactions, and thus the accuracy with which the acoustic signature of a helicopter rotor can be predicted. The vorticity transport model can accurately resolve the structure of the wake of the rotor and allows significant flexibility in the way that the blade loading can be represented. The Second Higher-Harmonic Control Aeroacoustics Rotor Test was initiated to provide experimental insight into the acoustic signature of a rotor in cases of strong blade–vortex interaction. Predictions of two models for the local blade aerodynamics are compared with the test data. A marked improvement in accuracy of the predicted high-frequency airloads and acoustic signature is obtained when a lifting-chord model for the blade aerodynamics is used instead of a lifting-line-type approach. Errors in the amplitude and phase of the acoustic peaks are reduced, and the quality of the prediction is affected to a lesser extent by the computational resolution of the wake, with the lifting-chord model producing the best representation of the distribution of sound pressure below the rotor

Unbounded Human Learning: Optimal Scheduling for Spaced Repetition

In the study of human learning, there is broad evidence that our ability to retain information improves with repeated exposure and decays with delay since last exposure. This plays a crucial role in the design of educational software, leading to a trade-off between teaching new material and reviewing what has already been taught. A common way to balance this trade-off is spaced repetition, which uses periodic review of content to improve long-term retention. Though spaced repetition is widely used in practice, e.g., in electronic flashcard software, there is little formal understanding of the design of these systems. Our paper addresses this gap in three ways. First, we mine log data from spaced repetition software to establish the functional dependence of retention on reinforcement and delay. Second, we use this memory model to develop a stochastic model for spaced repetition systems. We propose a queueing network model of the Leitner system for reviewing flashcards, along with a heuristic approximation that admits a tractable optimization problem for review scheduling. Finally, we empirically evaluate our queueing model through a Mechanical Turk experiment, verifying a key qualitative prediction of our model: the existence of a sharp phase transition in learning outcomes upon increasing the rate of new item introductions.Comment: Accepted to the ACM SIGKDD Conference on Knowledge Discovery and Data Mining 201

Deriving Bisimulation Congruences: 2-categories vs precategories

G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems. This paper develops the theory of GRPOs further, arguing that they provide a simple and powerful basis towards a comprehensive solution. As an example, we construct GRPOs in a category of ‘bunches and wirings.’ We then examine the approach based on Milner’s precategories and Leifer’s functorial reactive systems, and show that it can be recast in a much simpler way into the 2-categorical theory of GRPOs

Analysis and control of complex collaborative design systems

This paper presents a novel method for modelling the complexity of collaborative design systems based on its analysis and proposes a solution to reducing complexity and improving performance of such systems. The interaction and interfacing properties among many components of a complex design system are analysed from different viewpoints and then a complexity model for collaborative design is established accordingly. In order to simplify complexity and improve performance of collaborative design, a general solution of decomposing a whole system into sub-systems and using unified interface mechanism between them has been proposed. This proposed solution has been tested with a case study. It has been shown that the proposed solution is meaningful and practical

Measuring longitudinal amplitudes for electroproduction of pseudoscalar mesons using recoil polarization in parallel kinematics

We propose a new method for measuring longitudinal amplitudes for electroproduction of pseudoscalar mesons that exploits a symmetry relation for polarization observables in parallel kinematics. This polarization technique does not require variation of electron scattering kinematics and avoids the major sources of systematic errors in Rosenbluth separation.Comment: intended for Phys. Rev. C as a Brief Repor