Computer simulation of renal countercurrent systems

The history of mathematical modeling of renal countercurrent systems is briefly outlined. Several examples are cited and discussed. These include efforts at parameter estimation and experimental design with models. The goal of this work was the evaluation of hypotheses of hypertonic urine formation. The argument is made that computer simulation with reasonably isomorphic models can be used in a variety of ways, but that one indispensable role for this approach is to provide a test of the quantitative sufficiency of hypotheses. Hypotheses of hypertonic urine formation that do not consider active transport in thin ascending limbs do not pass this test. A new proposal is suggested in which the energy for NaCl reabsorption from thin ascending limbs is derived from dissipation of a urea gradient via an antiport.