TPX: TPX: TFK/TPK for RP1

2026-10-07T23:12:23Z

TPX: TFK/TPK for RP1

New page

<pre class="tpm-zone">
{
"ASSUMPTION": [
{
"NAME": "A_gpos",
"PROPOSITION": "g is positive",
"REFS": [
"g"
]
},
{
"NAME": "A_lpos",
"PROPOSITION": "l is positive",
"REFS": [
"l"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(theta) < theta_max",
"NAME": "B_small",
"PREDICATE": "|theta| < theta_max",
"REFS": [
"theta",
"theta_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "L1 T-2",
"NAME": "g",
"UNCERTAINTY": "0.00001",
"UNIT": "m s-2",
"VALUE": "9.80665"
},
{
"DIMENSION": "L1",
"NAME": "l",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "1.0"
},
{
"DIMENSION": "1",
"NAME": "theta_max",
"UNCERTAINTY": "0.005",
"UNIT": "rad",
"VALUE": "0.1"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "motion is restricted to vertical plane: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "1",
"NAME": "theta"
},
{
"DIMENSION": "T-1",
"NAME": "omega"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "D(omega, t) = -g / l * theta",
"NAME": "EOM_THETA",
"REFS": [
"omega",
"t",
"g",
"l",
"theta"
],
"ROLE": "EOM(omega)",
"STATEMENT": "d omega/dt = -(g/l) theta"
},
{
"EQUATION": "D(theta, t) = omega",
"NAME": "KIN",
"REFS": [
"theta",
"omega",
"t"
],
"ROLE": "EOM(theta)",
"STATEMENT": "d theta/dt = omega"
},
{
"EQUATION": "D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "d2z/dt2 = 0"
}
]
}
</pre>

The Principia Machina/UWC/RP1/TFK/TPK - Revision history

TPX: TPX: TFK/TPK for RP1