<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Predicative_programming</id>
	<title>Predicative programming - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Predicative_programming"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Predicative_programming&amp;action=history"/>
	<updated>2026-04-05T21:27:21Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Predicative_programming&amp;diff=26242&amp;oldid=prev</id>
		<title>en&gt;Ozob: Correct dash</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Predicative_programming&amp;diff=26242&amp;oldid=prev"/>
		<updated>2011-01-02T02:36:28Z</updated>

		<summary type="html">&lt;p&gt;Correct dash&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;The structure of [[liquid]]s, [[glass]]es and other [[amorphous solid]]s is characterized by the absence of [[order and disorder (physics)#Long-range order|long-range order]] which defines crystalline materials. Liquids and amorphous solids do, however, possess a rich and varied array of short to medium range order, which originates from [[chemical bond]]ing and related interactions. [[Metallic glass]]es, for example, are typically well described by the [[random close pack | dense random packing]] of hard spheres, whereas covalent systems, such as [[silicate glass]]es, have sparsely packed, strongly bound, [[tetrahedral]] network structures. These very different structures result in materials with very different physical properties and applications.&lt;br /&gt;
&lt;br /&gt;
The study of liquid and glass structure aims to gain insight into their behavior and physical properties, so that they can be understood, predicted and tailored for specific applications. Since the structure and resulting behavior of liquids and glasses is a complex [[many body problem]], historically it has been too computationally intensive to solve using [[quantum mechanics]] directly. Instead, a variety of [[diffraction]], [[NMR]], [[Molecular dynamics]], and [[Monte Carlo]] simulation techniques are most commonly used.&lt;br /&gt;
&lt;br /&gt;
[[Image:Teilchenmodell Fluessigkeit.svg|thumb|right|200px|Structure of a classical monatomic liquid. Atoms have many nearest neighbors in contact, yet no long-range order is present.]]&lt;br /&gt;
&lt;br /&gt;
==Pair distribution functions &amp;amp; Structure factors==&lt;br /&gt;
&lt;br /&gt;
[[File:Lennard-Jones Radial Distribution Function.svg|thumb|300px|Radial distribution function of the [[Lennard–Jones potential|Lennard-Jones model fluid]].]]&lt;br /&gt;
&lt;br /&gt;
The [[pair distribution function]] (or pair correlation function) of a material describes the probability of finding an atom at a separation  &amp;#039;&amp;#039;r&amp;#039;&amp;#039; from another atom. &lt;br /&gt;
&lt;br /&gt;
A typical plot of &amp;#039;&amp;#039;g&amp;#039;&amp;#039; versus &amp;#039;&amp;#039;r&amp;#039;&amp;#039; of a liquid or glass shows a number of key features:&lt;br /&gt;
&lt;br /&gt;
# At short separations (small r), &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; = 0. This indicates the effective width of the atoms, which limits their distance of approach.&lt;br /&gt;
# A number of obvious peaks and troughs are present. These peaks indicate that the atoms pack around each other in &amp;#039;shells&amp;#039; of nearest neighbors. Typically the 1st peak in &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; is the, strongest feature. This is due to the relatively strong chemical bonding and repulsion effects felt between neighboring atoms in the 1st shell.&lt;br /&gt;
# The attenuation of the peaks at increasing radial distances from the center indicates the decreasing degree of order from the center particle. This illustrates vividly the absence of &amp;quot;long-range order&amp;quot; in liquids and glasses.&lt;br /&gt;
# At long ranges, &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; approaches a limiting value of 1, which corresponds to the macroscopic density of the material.&lt;br /&gt;
&lt;br /&gt;
The [[static structure factor]], &amp;#039;&amp;#039;S(q)&amp;#039;&amp;#039;, which can be measured with diffraction techniques, is related to its corresponding &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; by Fourier transformation&lt;br /&gt;
&lt;br /&gt;
{{NumBlk|:| &amp;lt;math&amp;gt;S(q)-1=\frac{4\pi\rho}{ q}  \int_{0}^{\infty} [g(r)-1]\sin{(qr)}{d}r&amp;lt;/math&amp;gt;|{{EquationRef|1}}}}&lt;br /&gt;
&lt;br /&gt;
where &amp;#039;&amp;#039;q&amp;#039;&amp;#039; is the magnitude of the momentum transfer vector, and ρ is the number density of the material. Like &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039;, the &amp;#039;&amp;#039;S(q)&amp;#039;&amp;#039; patterns of &lt;br /&gt;
liquids and glasses have a number of key features:&lt;br /&gt;
&lt;br /&gt;
# For mono-atomic systems the &amp;#039;&amp;#039;S(q=0)&amp;#039;&amp;#039; limit is related to the isothermal compressibility. Also a rise at the low-&amp;#039;&amp;#039;q&amp;#039;&amp;#039; limit indicates the presence of [[small angle scattering]], due to large scale structure or voids in the material.&lt;br /&gt;
# The sharpest peaks (or troughs) in &amp;#039;&amp;#039;S(q)&amp;#039;&amp;#039; typically occur in the &amp;#039;&amp;#039;q&amp;#039;&amp;#039;=1-3 Angstrom range. These normally indicate the presence of some &amp;#039;&amp;#039;medium range order&amp;#039;&amp;#039; corresponding to structure in the 2nd and higher coordination shells in &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039;.&lt;br /&gt;
# At high-&amp;#039;&amp;#039;q&amp;#039;&amp;#039; the structure is typically a decaying sinusoidal oscillation, with a 2π/&amp;#039;&amp;#039;r&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; wavelength where &amp;#039;&amp;#039;r&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; is the 1st shell peak position in g(r).&lt;br /&gt;
# At very high-&amp;#039;&amp;#039;q&amp;#039;&amp;#039; the &amp;#039;&amp;#039;S(q)&amp;#039;&amp;#039; tends to 1, consistent with its definition.&lt;br /&gt;
&lt;br /&gt;
===Diffraction===&lt;br /&gt;
&lt;br /&gt;
The absence of [[long-range order]] in liquids and glasses is evidenced by the absence of [[Bragg peak]]s in [[X-ray diffraction|X-ray]] and [[neutron diffraction]]. For these [[isotropic]] materials, the diffraction pattern has circular symmetry, and in the radial direction, the diffraction intensity has a smooth oscillatory shape. This diffracted intensity is usually analyzed to give the [[static structure factor]], &amp;#039;&amp;#039;S(q)&amp;#039;&amp;#039;, where &amp;#039;&amp;#039;q&amp;#039;&amp;#039; is given by &amp;#039;&amp;#039;q&amp;#039;&amp;#039;=4πsin(θ)/λ, where 2θ is the scattering angle (the angle between the incident and scattered quanta), and λ is the incident wavelength of the probe (photon or neutron). Typically diffraction measurements are performed at a single (monochromatic) λ, and diffracted intensity is measured over a range of 2θ angles, to give a wide range of &amp;#039;&amp;#039;q&amp;#039;&amp;#039;. Alternatively a range of λ, may be used, allowing the intensity measurements to be taken at a fixed or narrow range of 2θ. In x-ray diffraction, such measurements are typically called “energy dispersive”, whereas in neutron diffraction this is normally called “time-of-flight” reflecting the different detection methods used.&lt;br /&gt;
Once obtained, an &amp;#039;&amp;#039;S(q)&amp;#039;&amp;#039; pattern can be [[Fourier transform]]ed to provide a corresponding [[radial distribution function]] (or pair correlation function), denoted in this article as &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039;. For an isotropic material, the relation between &amp;#039;&amp;#039;S(q)&amp;#039;&amp;#039; and  its corresponding &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; is&lt;br /&gt;
&lt;br /&gt;
{{NumBlk|:| &amp;lt;math&amp;gt;g(r)-1=\frac{1}{2\pi\rho r}  \int_{0}^{\infty} [S(q)-1]\sin{(qr)}{d}q&amp;lt;/math&amp;gt;|{{EquationRef|2}}}}&lt;br /&gt;
&lt;br /&gt;
The &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039;, which describes the probability of finding an atom at a separation &amp;#039;&amp;#039;r&amp;#039;&amp;#039;  from another atom,  provides a more intuitive description of the atomic structure. The &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; pattern obtained from a diffraction measurement represents a spatial, and thermal average of all the [[pair correlations]] in the material, weighted by their coherent cross-sections with the incident beam.&lt;br /&gt;
&lt;br /&gt;
===Atomistic Simulation===&lt;br /&gt;
&lt;br /&gt;
By definition, &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; is related to the average number of particles found within a given volume of shell located at a distance &amp;#039;&amp;#039;r&amp;#039;&amp;#039; from the center. The average density of atoms at a given radial distance from another atom is given by the formula:&lt;br /&gt;
&lt;br /&gt;
{{NumBlk|:| &amp;lt;math&amp;gt;g(r) = \frac{n(r)}{\rho 4\pi r^2 \Delta r}&amp;lt;/math&amp;gt;|{{EquationRef|3}}}}&lt;br /&gt;
&lt;br /&gt;
where &amp;#039;&amp;#039;n&amp;#039;&amp;#039;(&amp;#039;&amp;#039;r&amp;#039;&amp;#039;) is the mean number of atoms in a shell of width Δ&amp;#039;&amp;#039;r&amp;#039;&amp;#039; at distance &amp;#039;&amp;#039;r&amp;#039;&amp;#039;, and &amp;lt;ref&amp;gt;McQuarrie, D.A., &amp;#039;&amp;#039;Statistical Mechanics&amp;#039;&amp;#039; (Harper Collins, 1976)&amp;lt;/ref&amp;gt; The &amp;#039;&amp;#039;g(r)&amp;#039;&amp;#039; of a simulation box can be calculated easily by histograming the particle separations using the following equation&lt;br /&gt;
&lt;br /&gt;
{{NumBlk|:| &amp;lt;math&amp;gt;&lt;br /&gt;
g_{ab}(r) = \frac{1}{N_{a} N_b}\sum\limits_{i=1}^{N_a} \sum\limits_{j=1}^{N_b} \langle \delta( \vert \mathbf{r}_{ij} \vert -r)\rangle&lt;br /&gt;
&amp;lt;/math&amp;gt;|{{EquationRef|4}}}}&lt;br /&gt;
&lt;br /&gt;
where &amp;#039;&amp;#039;N&amp;lt;sub&amp;gt;a&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039; is the number of &amp;#039;&amp;#039;a&amp;#039;&amp;#039; particles, |&amp;#039;&amp;#039;&amp;#039;&amp;#039;&amp;#039;r&amp;lt;sub&amp;gt;ij&amp;lt;/sub&amp;gt;&amp;#039;&amp;#039;&amp;#039;&amp;#039;&amp;#039;| is the magnitude of the separation of the pair of particles &amp;#039;&amp;#039;i,j&amp;#039;&amp;#039;. Atomistic simulations can also be used in conjunction with interatomic pair potential functions in order to calculate macroscopic thermodynamic parameters such as the internal energy, Gibbs free energy, entropy and enthalpy of the system.&lt;br /&gt;
&lt;br /&gt;
==Other techniques==&lt;br /&gt;
&lt;br /&gt;
Other experimental techniques often employed to study the structure of glasses include [[Nuclear Magnetic Resonance]] (NMR), [[X-ray absorption fine structure]] (XAFS) and other spectroscopy methods including [[Raman spectroscopy]]. Experimental measurements can be combined with computer simulation methods, such as [[Reverse Monte Carlo]] (RMC) or [[molecular dynamics]] (MD) simulations, to obtain more complete and detailed description of the atomic structure.&lt;br /&gt;
&lt;br /&gt;
==Network glasses==&lt;br /&gt;
&lt;br /&gt;
[[File:Silica.svg|thumb|The random network structure of glassy SiO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; in two-dimensions. Note that, as in the crystal, each Silicon atom is bonded to 4 oxygen atoms, where the fourth oxygen atom is obscured from view in this plane.]]&lt;br /&gt;
[[File:SiO² Quartz.svg|thumb|The periodic crystalline lattice structure of SiO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; in two-dimensions.]]&lt;br /&gt;
&lt;br /&gt;
Early theories relating to the structure of glass included the crystallite theory whereby glass is an aggregate of [[crystallite]]s (extremely small crystals).&amp;lt;ref name=&amp;quot;Wright94JNCS&amp;quot;&amp;gt;{{Cite journal|doi=10.1016/0022-3093(94)90687-4|author=Adrian C Wright|title=Neutron scattering from vitreous silica. V. The structure of vitreous silica: What have we learned from 60 years of diffraction studies?|journal=Journal of Non-Crystalline Solids|year=1994|volume=179|pages=84–115|bibcode = 1994JNCS..179...84W }}&amp;lt;/ref&amp;gt; However, structural determinations of vitreous SiO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; and GeO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; made by Warren and co-workers in the 1930s using [[x-ray diffraction]] showed the structure of glass to be typical of an [[amorphous solid]]&amp;lt;ref&amp;gt;{{cite journal&lt;br /&gt;
 |author=B.E. Warren&lt;br /&gt;
 |title=The Diffraction of X-Rays in Glass &lt;br /&gt;
 |journal=Physical Review&lt;br /&gt;
 |volume=45 |page=657&lt;br /&gt;
 |year=1934&lt;br /&gt;
 |doi= 10.1103/PhysRev.45.657|bibcode = 1934PhRv...45..657W }}&amp;lt;/ref&amp;gt;&lt;br /&gt;
In 1932 [[William Houlder Zachariasen|Zachariasen]] introduced the random network theory of glass in which the nature of bonding in the glass is the same as in the crystal but where the basic structural units in a glass are connected in a random manner in contrast to the periodic arrangement in a crystalline material.&lt;br /&gt;
&amp;lt;ref&amp;gt;&lt;br /&gt;
{{cite journal&lt;br /&gt;
 |author=W.H. Zachariasen&lt;br /&gt;
 |title=The Atomic Arrangement in Glass&lt;br /&gt;
 |journal=J. Amer. Chem. Soc.&lt;br /&gt;
 |volume=54 |page=3841&lt;br /&gt;
 |year=1932&lt;br /&gt;
 |doi=10.1021/ja01349a006&lt;br /&gt;
}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
Despite the lack of long range order, the structure of glass does exhibit a high degree of ordering on short length scales due to the chemical bonding constraints in local atomic [[polyhedra]].&amp;lt;ref name=&amp;quot;P.S. Salmon 2002 87&amp;quot;&amp;gt;{{cite journal|author=P.S. Salmon|title=Order within disorder|doi=10.1038/nmat737|journal=Nature Materials|pmid=12618817|volume=1|issue=2|page=87|year=2002}}&amp;lt;/ref&amp;gt; For example, the SiO&amp;lt;sub&amp;gt;4&amp;lt;/sub&amp;gt; tetrahedra that form the fundamental structural units in [[silica]] glass represent a high degree of order, i.e. every silicon atom is coordinated by 4 oxygen atoms and the nearest neighbour Si-O bond length exhibits only a narrow distribution throughout the structure.&amp;lt;ref name=&amp;quot;Wright94JNCS&amp;quot;/&amp;gt; The tetrahedra in silica also form a network of ring structures which leads to ordering on more intermediate length scales of up to approximately 10 [[Angstrom]]s.&lt;br /&gt;
&lt;br /&gt;
As in other [[amorphous solid]]s, the atomic structure of a glass lacks any long range [[translational symmetry|translational periodicity]]. However, due to [[chemical bonding]] characteristics glasses do possess a high degree of short-range order with respect to local atomic [[polyhedra]].&amp;lt;ref name=&amp;quot;P.S. Salmon 2002 87&amp;quot;/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
It is deemed that the bonding structure of glasses, although disordered, has the same symmetry signature ([[Hausdorff dimension|Hausdorff-Besicovitch dimensionality]]) as for crystalline materials.&amp;lt;ref name=&amp;quot;autogenerated11507&amp;quot;&amp;gt;{{cite journal|author=M.I. Ojovan, W.E. Lee|title=Topologically disordered systems at the glass transition|doi=10.1088/0953-8984/18/50/007|journal=J. Phys.: Condensed Matter|volume=18|pages=11507–11520|year=2006|bibcode=2006JPCM...1811507O}}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Image:Glass tetrahedon.png|thumb|left|[[Tetrahedron|Tetrahedral]] structural unit of silica (SiO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;), the basic building block of common glasses.]]&lt;br /&gt;
&lt;br /&gt;
===Crystalline SiO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;===&lt;br /&gt;
&lt;br /&gt;
[[Silica]] (the chemical compound SiO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;) has a number of distinct [[crystal]]line forms: quartz, tridymite, cistobalite, and others (including the high pressure [[polymorphism (materials science)|polymorphs]] [[Stishovite]] and [[Coesite]]). Nearly all of them involve [[tetrahedral]] SiO&amp;lt;sub&amp;gt;4&amp;lt;/sub&amp;gt; units linked together by &amp;#039;&amp;#039;shared vertices&amp;#039;&amp;#039; in different arrangements. Si-O bond lengths vary between the different crystal forms. For example, in α-quartz the bond length is 161 pm, whereas in α-tridymite it ranges from 154–171 pm. The Si-O-Si bond angle also varies from 140° in α-tridymite to 144° in α-quartz to 180° in β-tridymite.&lt;br /&gt;
&lt;br /&gt;
===Glassy SiO&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;===&lt;br /&gt;
&lt;br /&gt;
In amorphous silica ([[fused quartz]]), the SiO&amp;lt;sub&amp;gt;4&amp;lt;/sub&amp;gt; tetrahedra form a network that does not exhibit any long-range order. However, the tetrahedra themselves represent a high degree of local ordering, i.e. every silicon atom is coordinated by 4 oxygen atoms and the nearest neighbour Si-O bond length exhibits only a narrow distribution throughout the structure.&amp;lt;ref name=&amp;quot;Wright94JNCS&amp;quot;/&amp;gt; Despite the lack of ordering on extended length scales, the tetrahedra also form a network of ring-like structures which lead to ordering on intermediate length scales (up to approximately 10 Angstroms or so).&amp;lt;ref name=&amp;quot;Wright94JNCS&amp;quot;/&amp;gt; Under the application of high pressure (approximately 40 GPa) silica glass undergoes a continuous [[polyamorphism|polyamorphic]] phase transition into an octahedral form, i.e. the Si atoms are surrounded by 6 oxygen atoms instead of four in the ambient pressure tetrahedral glass.&amp;lt;ref&amp;gt;{{Cite journal|author=C. J. Benmore, E. Soignard, S. A. Amin, M. Guthrie, S. D. Shastri, P. L. Lee, and J. L. Yarger|journal=Physical Review B|year=2010|volume=81|page=054105|doi=10.1103/PhysRevB.81.054105|title=Structural and topological changes in silica glass at pressure|issue=5|bibcode = 2010PhRvB..81e4105B }}&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
{{colbegin|3}}&lt;br /&gt;
*[[Glass]]&lt;br /&gt;
*[[Liquid]]&lt;br /&gt;
*[[Polyamorphism]]&lt;br /&gt;
*[[Amorphous solid]]&lt;br /&gt;
*[[Chemical structure]]&lt;br /&gt;
*[[X-ray diffraction]]&lt;br /&gt;
*[[Neutron diffraction]]&lt;br /&gt;
*[[Structure factor]]&lt;br /&gt;
*[[Pair distribution function]]&lt;br /&gt;
{{colend}}&lt;br /&gt;
&lt;br /&gt;
==Further reading==&lt;br /&gt;
* {{cite book |last=Egelstaff |first=P.A. |title= An Introduction to the Liquid State |publisher= Oxford University Press |year=1994 |isbn= 0198517505}}&lt;br /&gt;
* {{cite book |author =Allen, M.P. and Tildersley, D.J.  |title= Computer Simulation of Liquids |publisher= Oxford University Press |year=1989 |isbn= 0198556454}}&lt;br /&gt;
*{{cite journal|title=Neutron and x-ray diffraction studies of liquids and glasses |doi=10.1088/0034-4885/69/1/R05|year=2006|author=Fischer, H.E., Barnes, A.C., and Salmon, P.S. |journal= Rep. Prog. Phys.|volume=69| pages=233–99|url=http://iopscience.iop.org/0034-4885/69/1/R05/|bibcode = 2006RPPh...69..233F }}&lt;br /&gt;
* {{cite book |author=Kawazoe,Y. and Waseda, Y. |title=Structure and Properties of Aperiodic Materials |publisher=Springer |year=2010 |isbn=3642056725}}&lt;br /&gt;
* {{cite journal| title =Absence of a Thermodynamic Phase Transition in a Model Glass Former| author= Santen, L. and Krauth W.|journal=Nature|volume=405|pages=550|year=2000|arxiv = cond-mat/9912182 |bibcode = 2000Natur.405..550S }} [http://papercore.org/Santen2000 Free and open-access paper summary at http://papercore.org/Santen2000]&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
*[http://www.minsocam.org/msa/rim/RiM63_Ch_12_Wilding.pdf A summary of x-ray and neutron pair distribution function measurement techniques]&lt;br /&gt;
*[http://neutrons.ornl.gov/conf/nxs2010/pdf/lectures/PDF-Analysis_Benmore_ORNL.pdf An overview of liquid and glass structure]&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
{{Reflist}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Condensed matter physics| ]]&lt;br /&gt;
[[Category:Glass]]&lt;br /&gt;
[[Category:Liquids]]&lt;/div&gt;</summary>
		<author><name>en&gt;Ozob</name></author>
	</entry>
</feed>