The Principia Machina/TPC-PY/examples/spring step2 noform tpk.json: Difference between revisions

Latest revision as of 04:32, 28 September 2026

{
  "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"]
      }
    ]
  }
}