Scenic-Foundation/Scenic

A compiler and scenario generator for the Scenic scenario description language.

解決的問題

Scenic 解決了為網路物理系統（CPS）建立多樣且真實測試環境的困難。無需手動設計每個測試案例，它允許開發者描述場景的一般特性——例如可能的道路佈局或物件之間的相對位置——透過一種機率程式語言，根據這些描述生成大量有效的場景。

工作原理

它作為一個編譯器與場景生成器運作。使用者使用領域特定的機率程式語言（Scenic）撰寫環境模型程式，工具隨後將這些描述編譯為可在各種模擬器中使用的具體場景實例。

適用對象

專為從事網路物理系統的研究人員與工程師設計，特別是那些需要為模擬與驗證生成大量真實、隨機測試環境的人員。

主要亮點

  • 採用機率程式方法進行環境建模。
  • 基於編譯器架構的場景生成機制。
  • 支援與多種模擬器整合，建立測試環境。
  • 基於加州大學柏克萊分校與加州大學聖克魯茲分校的學術研究。

相關

  • 專案
    veyliss/ai-localbase

    AI LocalBase 是一個以 Go（Gin）、React 與 Qdrant 建構的自託管 RAG 平台。它讓你上傳本地文件（txt、md、pdf、xlsx、csv），自動嵌入並儲存向量至 Qdrant，並使用 Ollama 或任何相容 OpenAI 的模型進行檢索增強對話。功能包含知識庫管理、SQLite 中的聊天記錄、可配置的混合/語義搜尋，以及內建的 MCP 伺服器供外部 Agent 使用。透過單一 Docker‑Compose 命令部署，可選開啟認證，並完全在本地執行。

  • 專案
    frankarobotics/franka_ros2

    一個 ROS 2 整合，可高效控制與開發 Franka Robotics 研究臂與移動平台。

  • 專案
    mit-acl/mighty

    MIGHTY 是一個 ROS 2 函式庫，利用 Hermite spline 為無人機 (UAV)、多無人機集群和地面機器人規劃快速、平滑的軌跡。它可以在模擬（Gazebo, RViz）或真實硬體上執行，提供 Docker、原生 Ubuntu 和 Jetson 安裝選項，並在 IEEE RA-L 論文中有所描述。

  • 專案
    ouguangjun/Leg-KILO

    專為高動態運動設計的即時LiDAR SLAM系統，為四足機器人及其他移動平台提供穩健的位移估計與地圖建構能力。