The technique of Electron Reduced Density Function (RDF) analysis has ben developed into a rapid analytical tool for the analysis of small volumes of amorphous or polycrystalline materials. The energy filtered electron diffraction pattern is collected to high scattering angles (currendy to s = 2 sinθ/λ = 6.5 Å-1) by scanning the selected area electron diffraction pattern across the entrance aperture to a GATAN parallel energy loss spectrometer. The diffraction pattern is then converted to a reduced density function, G(r), using mathematical procedures equivalent to those used in X-ray and neutron diffraction studies.Nearest neighbour distances accurate to 0.01 Å are obtained routinely, and bond distortions of molecules can be determined from the ratio of first to second nearest neighbour distances. The accuracy of coordination number determinations from polycrystalline monatomic materials (eg Pt) is high (5%). In amorphous systems (eg carbon, silicon) it is reasonable (10%), but in multi-element systems there are a number of problems to be overcome; to reduce the diffraction pattern to G(r), the approximation must be made that for all elements i,j in the system, fj(s) = Kji fi,(s) where Kji is independent of s.
A Trace Semantics for System F Parametric Polymorphism
