The loop invariant has to satisfy some amount of requirements to be of good use. Another complex factor as to why a loop is the question of loop termination. A loop that doesn’t terminate can’t invariably be correct, and in fact the computation in whatever form amounts to nothing. The total axiomatic description of a while construct will have to involve all of the following to be true, in which I is the loop invariant:

P => I

{I and B} S {I}

(I and (not B)) => Q

Then the loop terminates

6 0

2 years ago

A Pelton wheel is supplied with water from a lake at an elevation H above the turbine. The penstock that supplies the water to t

gayaneshka [121]

Answer:

Following are the proving to this question:

Explanation:

$\frac{D_1}{D} = \frac{1}{(2f(\frac{l}{D}))^{\frac{1}{4}}}$

using the energy equation for entry and exit value :

$\to \frac{p_o}{y} +\frac{V^{2}_{o}}{2g}+Z_0 = \frac{p_1}{y} +\frac{V^{2}_{1}}{2g}+Z_1+ f \frac{l}{D}\frac{V^{2}}{2g}$

where

$\to p_0=p_1=0\\\\\to Z_0=Z_1=H\\\\\to v_0=0\\\\AV =A_1V_1 \\\\\to V=(\frac{D_1}{D})^2 V_1\\\\\to V^2=(\frac{D_1}{D})^4 V^{2}_{1}$

$= (\frac{1}{(2f (\frac{l}{D} ))^{\frac{1}{4}}})^4\ V^{2}_{1}\\\\$

$= \frac{1}{(2f (\frac{l}{D}) )} \ V^{2}_{1}\\$

$\to \frac{p_o}{y} +\frac{V^{2}_{o}}{2g}+Z_0 =\frac{p_1}{y} +\frac{V^{2}_{1}}{2g}+Z_1+ f \frac{l}{D}\frac{V^{2}}{2g} \\\\$

$\to 0+0+Z_0 = 0 +\frac{V^{2}_{1} }{2g} +Z_1+ f \frac{l}{D} \frac{\frac{1}{(2f(\frac{l}{D}))}\ V^{2}_{1}}{2g} \\\\\to Z_0 -Z_1 = +\frac{V^{2}_{1}}{2g} \ (1+f\frac{l}{D}\frac{1}{(2f(\frac{l}{D}) )} ) \\\\\to H= \frac{V^{2}_{1}}{2g} (\frac{3}{2}) \\\\\to \frac{V^{2}_{1}}{2g} = H(\frac{3}{2})$

L.H.S = R.H.S

7 0

2 years ago