9,155 research outputs found
Extension to Eulers's theorem to n-dimensional spaces
Euler's theorem states that any sequence of finite rotations of a rigid body can be described as a single rotation of the body about a fixed axis in three-dimensional Euclidean space. The usual statement of the theorem in the literature cannot be extended to Euclidean spaces of other dimensions. Equivalent formulations of the theorem are given in this paper and proven in a way which does not limit them to the three-dimensional Euclidean space. Thus, the equivalent theorems hold in other dimensions. The proof of one formulation presents an algorithm which shows how to compute an angular-difference matrix that represents a single rotation which is equivalent to the sequence of rotations that have generated the final n-D orientation. This algorithm results also in a constant angular-velocity which, when applied to the initial orientation, yields eventually the final orientation regardless of what angular velocity generated the latter. Finally, the extension of the theorem is demonstrated in a four-dimensional numerical example
Polar decomposition for attitude determination from vector observations
This work treats the problem of weighted least squares fitting of a 3D Euclidean-coordinate transformation matrix to a set of unit vectors measured in the reference and transformed coordinates. A closed-form analytic solution to the problem is re-derived. The fact that the solution is the closest orthogonal matrix to some matrix defined on the measured vectors and their weights is clearly demonstrated. Several known algorithms for computing the analytic closed form solution are considered. An algorithm is discussed which is based on the polar decomposition of matrices into the closest unitary matrix to the decomposed matrix and a Hermitian matrix. A somewhat longer improved algorithm is suggested too. A comparison of several algorithms is carried out using simulated data as well as real data from the Upper Atmosphere Research Satellite. The comparison is based on accuracy and time consumption. It is concluded that the algorithms based on polar decomposition yield a simple although somewhat less accurate solution. The precision of the latter algorithms increase with the number of the measured vectors and with the accuracy of their measurement
Computing by nowhere increasing complexity
A cellular automaton is presented whose governing rule is that the Kolmogorov
complexity of a cell's neighborhood may not increase when the cell's present
value is substituted for its future value. Using an approximation of this
two-dimensional Kolmogorov complexity the underlying automaton is shown to be
capable of simulating logic circuits. It is also shown to capture trianry logic
described by a quandle, a non-associative algebraic structure. A similar
automaton whose rule permits at times the increase of a cell's neighborhood
complexity is shown to produce animated entities which can be used as
information carriers akin to gliders in Conway's game of life
Efficiency at optimal work from finite reservoirs: a probabilistic perspective
We revisit the classic thermodynamic problem of maximum work extraction from
two arbitrary sized hot and cold reservoirs, modelled as perfect gases.
Assuming ignorance about the extent to which the process has advanced, which
implies an ignorance about the final temperatures, we quantify the prior
information about the process and assign a prior distribution to the unknown
temperature(s). This requires that we also take into account the temperature
values which are regarded to be unphysical in the standard theory, as they lead
to a contradiction with the physical laws. Instead in our formulation, such
values appear to be consistent with the given prior information and hence are
included in the inference. We derive estimates of the efficiency at optimal
work from the expected values of the final temperatures, and show that these
values match with the exact expressions in the limit when any one of the
reservoirs is very large compared to the other. For other relative sizes of the
reservoirs, we suggest a weighting procedure over the estimates from two valid
inference procedures, that generalizes the procedure suggested earlier in [J.
Phys. A: Math. Theor. {\bf 46}, 365002 (2013)]. Thus a mean estimate for
efficiency is obtained which agrees with the optimal performance to a high
accuracy.Comment: 14 pages, 6 figure
Identification and stochastic control of helicopter dynamic modes
A general treatment of parameter identification and stochastic control for use on helicopter dynamic systems is presented. Rotor dynamic models, including specific applications to rotor blade flapping and the helicopter ground resonance problem are emphasized. Dynamic systems which are governed by periodic coefficients as well as constant coefficient models are addressed. The dynamic systems are modeled by linear state variable equations which are used in the identification and stochastic control formulation. The pure identification problem as well as the stochastic control problem which includes combined identification and control for dynamic systems is addressed. The stochastic control problem includes the effect of parameter uncertainty on the solution and the concept of learning and how this is affected by the control's duel effect. The identification formulation requires algorithms suitable for on line use and thus recursive identification algorithms are considered. The applications presented use the recursive extended kalman filter for parameter identification which has excellent convergence for systems without process noise
Tracking the Tracker from its Passive Sonar ML-PDA Estimates
Target motion analysis with wideband passive sonar has received much
attention. Maximum likelihood probabilistic data-association (ML-PDA)
represents an asymptotically efficient estimator for deterministic target
motion, and is especially well-suited for low-observable targets; the results
presented here apply to situations with higher signal to noise ratio as well,
including of course the situation of a deterministic target observed via clean
measurements without false alarms or missed detections. Here we study the
inverse problem, namely, how to identify the observing platform (following a
two-leg motion model) from the results of the target estimation process, i.e.
the estimated target state and the Fisher information matrix, quantities we
assume an eavesdropper might intercept. We tackle the problem and we present
observability properties, with supporting simulation results.Comment: To appear in IEEE Transactions on Aerospace and Electronic System
Extended Kalman filter for attitude estimation of the earth radiation budget satellite
The design and testing of an Extended Kalman Filter (EKF) for ground attitude determination, misalignment estimation and sensor calibration of the Earth Radiation Budget Satellite (ERBS) are described. Attitude is represented by the quaternion of rotation and the attitude estimation error is defined as an additive error. Quaternion normalization is used for increasing the convergence rate and for minimizing the need for filter tuning. The development of the filter dynamic model, the gyro error model and the measurement models of the Sun sensors, the IR horizon scanner and the magnetometers which are used to generate vector measurements are also presented. The filter is applied to real data transmitted by ERBS sensors. Results are presented and analyzed and the EKF advantages as well as sensitivities are discussed. On the whole the filter meets the expected synergism, accuracy and robustness
- …