Examples

Engineering Examples in z3

DESCRIPTION

• Basic Engineering examples in z3.
  
• z3 codes with z3 notations are shown below.
  

Engineering Examples

ExampleS1: Chemical Engineering
LengthParallelContraFlow
z3 code: Normal Calculation without using Function
z3 code: Using Function
z3 code: Multi-calculation Using Function(variable diameter)
z3 code: USING EXAMPLE1 function SOLUTION IN EXAMPLE2 function

ExampleS2: Civil Engineering
HoopStress
z3 code: Using Function

ExampleS3: Civil Engineering
InternalForce
z3 code: Normal Calculation without using Function
z3 code: Using Function
z3 code: USING EXAMPLE1 function SOLUTION IN EXAMPLE2 function

ExampleS4: Civil Engineering
NotchDesign
z3 code: Using Function

ExampleS5: Engineering Economics
RateOfEarnings
z3 code: Using Function

ExampleS6: Fluid Mechanics
BernoullisPressure
z3 code: Using Function
z3 code: Multi-calculation Using Function(variable diameter)

Examples of Java and z3 Programs

Check if number is Odd/Even
Java code
z3 code

Unit Conversion Examples

ExampleP1: FrictionFactor
z3 code: Solution with SI units
Solution with SI and Imperial units
Solution with imperial units

ExampleP2: ReynoldsNumber
z3 code: Solution with SI units
Solution with SI and Imperial units
Solution with imperial units

ExampleP3: FouriersLaw
z3 code: Solution with SI units
Solution with SI and Imperial units
Solution with imperial units

ExampleP4: MaximumHeight
z3 code: Solution with SI units
Solution with SI and Imperial units
Solution with imperial units

ExampleP5: DopplerEffect
z3 code: Solution with SI units
Solution with SI and Imperial units
Solution with imperial units

ExampleP6: CircularSegmentArea
z3 code: Solution with SI units
Solution with SI and Imperial units
Solution with imperial units

ExampleP7: CoulombsLaw
z3 code: Solution with SI units
Solution with SI and Imperial units
Solution with imperial units