Preliminary Candidate Advanced Avionics System (PCAAS)

Specifications which define the system functional requirements, the subsystem and interface needs, and other requirements such as maintainability, modularity, and reliability are summarized. A design definition of all required avionics functions and a system risk analysis are presented

Certifying the Existence of Epipolar Matrices

Given a set of point correspondences in two images, the existence of a fundamental matrix is a necessary condition for the points to be the images of a 3-dimensional scene imaged with two pinhole cameras. If the camera calibration is known then one requires the existence of an essential matrix. We present an efficient algorithm, using exact linear algebra, for testing the existence of a fundamental matrix. The input is any number of point correspondences. For essential matrices, we characterize the solvability of the Demazure polynomials. In both scenarios, we determine which linear subspaces intersect a fixed set defined by non-linear polynomials. The conditions we derive are polynomials stated purely in terms of image coordinates. They represent a new class of two-view invariants, free of fundamental (resp.~essential)~matrices

Optimal two-stage filtering of elastograms

In ultrasound elastography, tissue axial strains are obtained through the differentiation of measured axial displacements. However, during the measurement process, the displacement signals are often contaminated with de-correlation noise caused by changes in the speckle pattern in the tissue. Thus, the application of the gradient operator on the displacement signals results in the presence of amplified noise in the axial strains, which severely obscures the useful information. The use of an effective denoising scheme is therefore imperative. In this paper, a method based on a two-stage consecutive filtering approach is proposed for the accurate estimation of axial strains. The presented method considers a cascaded system of a frequency filter and a time window, which are both designed such that the overall system operates optimally as a minimum variance estimator. Experimentation on simulated signals shows that the two-stage scheme employed in this study has good potential as a denoising method for ultrasound elastograms