TPX: TPX: TFK/TPK for SPZ

2026-10-07T23:12:07Z

TPX: TFK/TPK for SPZ

New page

<pre class="tpm-zone">
{
"ASSUMPTION": [
{
"NAME": "A_kpos",
"PROPOSITION": "k_s is positive",
"REFS": [
"k_s"
]
},
{
"NAME": "A_mpos",
"PROPOSITION": "m is positive",
"REFS": [
"m"
]
}
],
"BOUNDARY": [
{
"CONDITION": "abs(x) < x_max",
"NAME": "B_small",
"PREDICATE": "|x| < x_max",
"REFS": [
"x",
"x_max"
]
}
],
"CONSTANT": [
{
"DIMENSION": "M1",
"NAME": "m"
},
{
"DIMENSION": "M1 T-2",
"NAME": "k_s"
},
{
"DIMENSION": "L1",
"NAME": "x_max",
"UNCERTAINTY": "0.001",
"UNIT": "m",
"VALUE": "0.05"
}
],
"CONSTRAINT": [
{
"ACTION": "FIX",
"NAME": "C_NOZ",
"STATEMENT": "only motion on the spring axis is described: z = 0",
"TARGET": "z",
"UNIT": "m",
"VALUE": "0"
}
],
"DOF": [
{
"DIMENSION": "T1",
"NAME": "t"
},
{
"DIMENSION": "L1",
"NAME": "x"
},
{
"DIMENSION": "L1 T-1",
"NAME": "v"
},
{
"DIMENSION": "L1",
"NAME": "z"
}
],
"LAW": [
{
"EQUATION": "m * D(v, t) = -k_s * x",
"NAME": "EOM_X",
"REFS": [
"m",
"v",
"k_s",
"x",
"t"
],
"ROLE": "EOM(v)",
"STATEMENT": "m dv/dt = -k_s x"
},
{
"EQUATION": "D(x, t) = v",
"NAME": "KIN",
"REFS": [
"x",
"v",
"t"
],
"ROLE": "EOM(x)",
"STATEMENT": "dx/dt = v"
},
{
"EQUATION": "m * D(z, t, 2) = 0",
"NAME": "EOM_Z",
"REFS": [
"m",
"z",
"t"
],
"ROLE": "CONSTRAINT",
"STATEMENT": "m d2z/dt2 = 0"
}
]
}
</pre>

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

TPX: TPX: TFK/TPK for SPZ