BFP Rauch: 1 revision imported

2026-09-28T04:32:52Z

1 revision imported

← Older revision	Revision as of 04:32, 28 September 2026
(No difference)

BFP Rauch: TPC-PY source examples/spring_step2_noform_tpk.json (-), SHA-256 8b3fc72f3214e411; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

2026-09-27T15:43:18Z

TPC-PY source examples/spring_step2_noform_tpk.json (-), SHA-256 8b3fc72f3214e411; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)

New page

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

The Principia Machina/TPC-PY/examples/spring step2 noform tpk.json - Revision history

BFP Rauch: 1 revision imported

BFP Rauch: TPC-PY source examples/spring_step2_noform_tpk.json (-), SHA-256 8b3fc72f3214e411; conformed TPS 0.3.0; PROPOSED, not declared (CO-8)