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

ExampleR1: Check if number is Odd/Even
Java code
z3 code

ExampleR2: Sum of a given Array
Java code
z3 code

ExampleR3: Linear Search
Java code
z3 code

ExampleR4: Floyd's Triangle
Java code
z3 code

ExampleR5: Reverse Number
Java code
z3 code

ExampleR6: Calculate the Factorial of a number
Java code
z3 code

ExampleR7: Area of Rectangle
Java code
z3 code

ExampleR8: Display Prime Numbers
Java code
z3 code

ExampleR9: Ascending Order
Java code
z3 code

ExampleR10: Inputting Matrix and Calculating it's Inverse
Java code
z3 code

ExampleR11: Inputting 2 Matrices and Calculating Sum,Difference and Product
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