Atrivial oz code for returning the number of elements of a list can be given by: declare fun {length l} case l of nil then 0 [] h|t then 1+{length t} end end for example, the call {browse {length [1 f 2 3 s 5]}} will display 6. explain why this function is not tail recursive. write an equivalent tail recursive function. write also an invariant for this tail recursive function. using the invariant, prove the correctness for this program.

An air conditioning system consist of a 5 cm diameter pipe, operating at a pressure of 200 kpa. the air initially enters the pipe at 15°c with a velocity of 20 m/s and relative humidity of 80%. if the heat supply throughout the process is 960 w, determine the relative humidity and the temperature at the outlet

Afour cylinder four-stroke in-line engine has a stroke of 160mm, connecting rod length of 150mm, a reciprocating mass of 3kg and its firing order is 1-3-4-2. the spacing between cylinders is 100mm. i. show that the engine is in balance with regard to the primary inertia forces and primary 3. a and secondary inertia couples. li determine the out of balance secondary inertia force ii. propose ways of balancing this out of balance force and discuss the challenges that will arise

Wiy doeres rere okhn a pump whon working betwon the same pressure range?