Bayesian and Dempster-Shafer fusion

The Kalman Filter is traditionally viewed as a prediction-correction filtering algorithm. In this work we show that it can be viewed as a Bayesian fusion algorithm and derive it using Bayesian arguments. We begin with an outline of Bayes theory, using it to discuss well-known quantities such as priors, likelihood and posteriors, and we provide the basic Bayesian fusion equation. We derive the Kalman Filter from this equation using a novel method to evaluate the Chapman-Kolmogorov prediction integral. We then use the theory to fuse data from multiple sensors. Vying with this approach is the Dempster-Shafer theory, which deals with measures of “belief”, and is based on the nonclassical idea of “mass” as opposed to probability. Although these two measures look very similar, there are some differences. We point them out through outlining the ideas of the Dempster-Shafer theory and presenting the basic Dempster-Shafer fusion equation. Finally we compare the two methods, and discuss the relative merits and demerits using an illustrative example.     

A radix-8 wafer scale FFT processor

Wafer Scale Integration promises radical improvements in the performance of digital signal processing systems. This paper describes the design of a radix-8 systolic (pipeline) fast Fourier transform processor for implementation with wafer scale integration. By the use of the radix-8 FFT butterfly wafer that is currently under development, continuous data rates of 160 MSPS are anticipated for FFTs of up to 4096 points with 16-bit fixed point data.     

Web-based systems design: a study of contemporary practices and an explanatory framework based on “method-in-action”

This paper reports the findings of a detailed study of Web-based systems design (WBSD) practices in Ireland based on data collected over a 3-year period (2002–2005), the objectives of which were to (1) contribute towards a richer understanding of the current “real-world” context of WBSD by characterising the profile of a typical project (team size, timeframe, nature of requirements, etc.) and identifying the key challenges, constraints, and imperatives (i.e. “mediating factors”) faced by Web-based system designers, and (2) understand how those contextual parameters and mediating factors influence the activity of WBSD as regards the selection and enactment of whatever design practices are therefore engaged (i.e. the use of methods, procedures, etc.). Data was gathered through a survey which yielded 165 usable responses, and later through a series of semi-structured qualitative interviews. Using grounded theory, an explanatory conceptual framework is derived, based on an extension of the “method-in-action” model, the application of which to WBSD has not been previously investigated in depth. It is proposed that this framework of WBSD issues is valuable in a number of ways to educators, researchers, practitioners, and method engineers.     

Rheology in Processing of in Situ Composites of Polypropylene and Low Melting Poing Metals

The low melting point metallic tin powder or alloy of tin and lead was blended with polypropy-lene. A kind of in situ composite has been prepared. The variations of torque were studied when the composites were mixed in Haake torque rheogeniometer. By way of capillary extrusion, effects upon rheology of the in situ com-posites of the low melting point metals (LMPM) and coupling agent for their different variety and content, were investigated. From flow curves, the results indicate that in situ composites mixed with the LMPM are a kind of pseudoplastic fluid. If the LMPM were melted, the higher the content of the LMPM , the lower apparent viscosity of composites. Meanwhile, when the coupling agent is added into composites, the viscosity of composite will go up first and drop then. This shows that the LMPM have a promoter flow action on the polypropylene.     

Equivalent Conditions for Convergence of Splittings of Non-Hermitian Indefinite Matrices

We present some sufficient and necessary conditions for convergent splitting of a non-Hermitian indefinite matrix. Some sufficient conditions to determinate a matrix with a (strongly) dominant symmetric part for a class of boundary value problem are also obtained. These results are applicable to identify the convergence of iterative methods for solving large sparse systems of linear equations.     

Simulation of leachate migration in leaky aquifers

A two-dimensional cross-section finite difference model is presented to simulate density dependent leachate migration in leaky aquifers. Unlike existing models, a new approach is adopted to couple the groundwater-flow equation and the hydrodynamic dispersion equation with the elimination of the intermediate step of calculating velocities. The concept of the reference density is employed, permitting increased accuracy (over pressure-based models) in the representation of the transport process. The model is then used to study the effect of several hydraulic and transport parameters on the flow pattern and plume migration which are found to be very sensitive to most of these parameters. Equiconcentration and equipotential lines are overlapped to provide a better understanding of the coupling effect.