Instance Models
This section transforms the problem defined in the problem description into one which is expressed in mathematical terms. It uses concrete symbols defined in the data definitions to replace the abstract symbols in the models identified in theoretical models and general definitions.
Refname | IM:calOfAngle1 |
---|---|
Label | Calculation of angle of first rod |
Input | L1, L2, m1, m2, θ1, θ2 |
Output | θ1 |
Input Constraints | L1>0L2>0m1>0m2>0 |
Output Constraints | |
Equation | α1(θ1,θ2,w1,w2)=−g(2m1+m2)sin(θ1)−m2gsin(θ1−2θ2)−2sin(θ1−θ2)m2(w22L2+w12L1cos(θ1−θ2))L1(2m1+m2−m2cos(2θ1−2θ2)) |
Description |
|
Notes |
|
Source | – |
RefBy | IM:calOfAngle2, FR:Output-Values, and FR:Calculate-Angle-Of-Rod |
Refname | IM:calOfAngle2 |
---|---|
Label | Calculation of angle of second rod |
Input | L1, L2, m1, m2, θ1, θ2 |
Output | θ2 |
Input Constraints | L1>0L2>0m1>0m2>0 |
Output Constraints | |
Equation | α2(θ1,θ2,w1,w2)=2sin(θ1−θ2)(w12L1(m1+m2)+g(m1+m2)cos(θ1)+w22L2m2cos(θ1−θ2))L2(2m1+m2−m2cos(2θ1−2θ2)) |
Description |
|
Notes |
|
Source | – |
RefBy | IM:calOfAngle2, IM:calOfAngle1, FR:Output-Values, and FR:Calculate-Angle-Of-Rod |
Detailed derivation of angle of the second rod:
By solving equations GD:xForce2 and GD:yForce2 for T2sin(θ2) and T2cos(θ2) and then substituting into equation GD:xForce1 and GD:yForce1 , we can get equations 1 and 2:
m1ax1=−T1sin(θ1)−m2ax2
m1ay1=T1cos(θ1)−m2ay2−m2g−m1g
Multiply the equation 1 by cos(θ1) and the equation 2 by sin(θ1) and rearrange to get:
T1sin(θ1)cos(θ1)=−cos(θ1)(m1ax1+m2ax2)
T1sin(θ1)cos(θ1)=sin(θ1)(m1ay1+m2ay2+m2g+m1g)
This leads to the equation 3
sin(θ1)(m1ay1+m2ay2+m2g+m1g)=−cos(θ1)(m1ax1+m2ax2)
Next, multiply equation GD:xForce2 by cos(θ2) and equation GD:yForce2 by sin(θ2) and rearrange to get:
T2sin(θ2)cos(θ2)=−cos(θ2)m2ax2
T1sin(θ2)cos(θ2)=sin(θ2)(m2ay2+m2g)
which leads to equation 4
sin(θ2)(m2ay2+m2g)=−cos(θ2)m2ax2
By giving equations GD:accelerationX1 and GD:accelerationX2 and GD:accelerationY1 and GD:accelerationY2 plus additional two equations, 3 and 4, we can get IM:calOfAngle1 and IM:calOfAngle2 via a computer algebra program: