Engineering Examples of Java and z3 Programs
DESCRIPTION
- Basic Engineering examples in z3.
- z3 codes with z3 notations are shown below.
- Set of cases progressively complex on units to show the user how it goes from simple to complex cases.
- Reflecting different domains like engineering, statistics, medicine, etc.
- Testing how we can make better solutions to the standard problems other software gives due to units.
Examples
ExampleS1: Chemical Engineering
- An exhaust pipe is 75mm diameter and it is cooled by surrounding it witha water jacket. The exhaust gas enters at 350C and the water
enters at 10C. The surface heat transfer coefficients for the gas and water are 300 and 1500 W/m2K respectively. The wall is thin so the temperature drop due to conduction is negligible. The gasses have a mean specific heat capacity Cp of 1130 J/kgK and they must be cooled to 100C. The specific heat capacity of the water is 4190 J/kgK. The flow rate of the gas and water is 200 and 1400 kg/h respectively. Calculate the required length of pipe for parellel flow and contra flow.