In addition, for the multiplicative model, an analytic formula has been derived for estimating the average lifetimes ℓ α,β,a,b of the surviving microbes, which has been applied to the synthetic and measured data.
Using a fixed-point model, the PFTK formula has been successfully used to approximate the throughput of a long-lived TCP flow, sharing an AQM-controlled wireline link, or feeding into a network of AQM-controlled wireline links along with other long-lived TCP flows [43].
First, he shows that every satisfiable formula has a connected model, i.e., a model based on a model structure (G, K, R) where for all H∈K, GR*H, where R* is the ancestral relation corresponding to R. Hence, only connected models need to be considered.
Coefficients in the formula are based on data obtained from at-sea measurements and from tests of structural models; as a consequence, the formula has been found to give predictions that seem to be in satisfactory agreement with reality.
This confirms also the statement of Tadmor and Tolhurst that the DOG model in analogy with the Michelson formula has better performance for contrast assessment [4].
Taken into consideration that by definition a satisfiable formula has infinitely many models (thus violating item three in Definition 7), it is now possible to restrict the set of models to those containing only atoms occurring in the formula.
The new toe stability formula has been validated against model test results and has been compared with the widely used formula of van der Meer (1998).
The formula has also been calibrated and validated against model test data from other researchers.
That formula has worked well.
