town_checks — DRIVE `town` op

• Datenarten: table × table → table

• Aufruf: import fullseye as fs; fs.ledger.town_checks(run, layout, *, car_length: 'float' = 4.5, tol: 'float' = 1e-09) -> 'Dict[str, object]' (die Implementierung direkt: import drivetown; drivetown.town_checks(run, layout, *, car_length: 'float' = 4.5, tol: 'float' = 1e-09) -> 'Dict[str, object]'; aus dem Register: opsdrive.get("town_checks"))

Verwendung

> Für diesen Operator gibt es noch keine Übersetzung. Es folgt der Originaltext unverändert.

通し走行の採点(閉形式の門 + 既存の踏切の採点 op)。

`stops: 目標になった停止線ごと(弧長順)に `{"kind", "s_line", "s_stop", "before" = s_line − s_stop, "ok" (0 ≤ before ≤ 1.0),

"crossing": crossing_stop_check の結果(踏切だけ。`train` があれば警報中の区間を forbidden_intervals に渡す),

"skipped": 動的な目標で止まらなかった}`。count_ok` = 停止の回数 = 静的な停止線 + 止まった動的な停止線の数。

`kinematics: {"a_max_abs", "v_max", "v_min", "integral_gap" = max|台形則 ∫v dt − (s − s0)|, "ok"}`

(|a| ≤ max(a_max, b_max)、0 ≤ v ≤ v_max、integral_gap ≤ dt·v_max)。`braking`: 停止ごとに減速を始めた速度 v_b と制動距離 d_b、

定理 d_b ≥ v_b²/(2 b_max) の ok。`train(列車があれば): `{"inside_while_forbidden_s"(警報中に車体が踏切面にかかっていた

時間)、"go_after_clear"(踏切の発進が警報停止 + 上昇の後)、"timing_meets_minimum", "ok"}`。ok` = 全部。

Raises `ValueError`: run が town_run の物でない、layout が town_chain の物でない、car_length が正でない。

Referenzen (Beispieldaten, Literatur)

• Katalog der Beispieldaten (Download-URLs / Lizenzen) — 2-D nutzt skimage.data (BSD/Public Domain) plus synthetische Bilder, 3-D nennt Download-URLs echter Datenquellen (Stanford, PDS, …).

• Herkunft und Literatur der Operatoren — die Quellen der Forschung/Verfahren, auf denen diese Operatorfamilie beruht.

• Der kanonische Algorithmus (Autor, Jahr) und seine Anwendungen stehen im Familienleitfaden oben.

Ausführbare Beispiele (verifizierte Samples, die diesen Operator wirklich aufrufen)

• poc_driving_japan_town — py -3.11 examples/poc_driving_japan_town.py

• poc_driving_town — py -3.11 examples/poc_driving_town.py

Typkompatible Folge-Operatoren (nehmen `table` als Eingabe)

course_layout · course_occupancy · course_contains · world_build · world_camera · world_move · lidar_scan · rss_longitudinal_same

Gleiche Kategorie (`town`)

town_chain · town_layout · town_world · town_centerline · town_stop_lines · town_rules · town_crossing_state · town_run

*Provenance: drivetown.py — DRIVE Operator-Registry. Diese Notiz wird von tools/opdocs.py md erzeugt (nicht von Hand bearbeiten).*

town_checks — DRIVE town op