DESKTOP-ANWENDUNG // TAURI + RUST CORE

Das vermessungstechnische CAD für das Territorium.

Rechnergestützte Geometrie, Vermessungswesen, Geländemodellierung und mehrkriterielle Grundstücksteilung in einer nativen Desktop-Umgebung.

LOCAL METRIC FRAME // WORKSPACE X: 5200.00 m | Y: 3410.00 m
X (East) Y (North) ROAD_ACCESS_5m LOT_A 1,450.20 m² LOT_B 1,512.45 m² LOT_C 1,380.00 m² LOT_D 1,405.30 m²

Deterministische Ingenieurthese

Eine strukturierte Methode der formalen Geometrie anstelle von herkömmlichem manuellem CAD-Zeichnen.

01 // Problem

Große kartografische Koordinaten führen zu Gleitkomma-Auslöschung. Konventionelle Teilung beruht auf fehleranfälligem manuellem Probieren.

02 // Methode

LocalMetricFrame-Normalisierung: Lokale baryzentrische Translation stellt die numerische Konditionierung im Maschinengenauigkeitsbereich wieder her.

03 // Engine

Deterministischer Rust-Kern mit Delaunay-TIN-Triangulation, topologischen Booleschen Operationen und Pareto-Kandidatengenerierung.

04 // Verifikation

Strikte geometrische Validierung, Invarianten ohne Selbstüberschneidung, isoperimetrische Kompaktheitsprüfung und Restfehlerkontrolle.

05 // Resultat

Pareto-optimale Flurstücksteilungen, verifizierte Katasterausgaben und interoperabler openBIM / GIS-Export.

DEMO-DATENSATZ // ILLUSTRATIVE SIMULATION

Mehrkriterielle Grundstücksteilung

Interaktive Untersuchung von Pareto-Kandidatenlösungen für ein Flurstück von 5.748 m².

Bedingung in natürlicher Sprache

"Teile das Grundstück in 4 Lose mit 5m Straßenzugang und proportionalen Flächen."

Aufgelöste Constraint-DSL (AST)
BOUNDARY: poly_parcel_5748m2
TARGET_LOTS: 4
ROAD_ACCESS_WIDTH: 5.0m
MIN_LOT_AREA: 1300.0m2
OBJECTIVE: [
  min(road_network_length),
  max(isoperimetric_compactness),
  min(area_variance)
]
Pareto-Lösung
Straßenlänge 82.0 m
Kompaktheitswert 0.84
Flächenabweichung ± 66 m²
PARETO OPTIMIZER // ACTIVE CANDIDATE CANDIDATE: [A]
LOT 1 1,450.2 m² LOT 2 1,512.5 m² LOT 3 1,380.0 m² LOT 4 1,405.3 m²
ARCHITECTURE // MODULES

Zentrale Architektonische Unterscheidungsmerkmale

Sechs ingenieurtechnische Module zur Verbindung von rechnergestützter Geometrie und Katastervermessung.

OPTIMIERER

01 // Grundstücksteilung

Mehrkriterielle Pareto-Kandidatengenerierung, minimale Straßenfront, proportionale Flächen und isoperimetrische Kompaktheit.

VERMESSUNG

02 // Topografie & Kataster

Tachymetrie, Tachymeter-Feldbuch-Parser (Pregeo DAT), trigonometrische Festpunktfelder und geodätische Koordinatentransformation.

GELÄNDE

03 // 3D-Netz & DGM

Restringierte Delaunay-Triangulation (TIN), Bruchkanten, automatische Höhenlinien und Massenberechnung (Auftrag/Abtrag).

KERN

04 // Geometrie-Engine

LocalMetricFrame-Normalisierung gegen Genauigkeitsverlust, planare Topologieprüfung und deterministische Boolesche Operationen in Rust.

INTEROPERABILITÄT

05 // GIS, CAD & openBIM

Bidirektionales DXF, nativer Rust-DWG-Reader in Entwicklung, GeoJSON, LandXML-Trassierung und openBIM-IFC-Geometrieexport.

DSL-ENGINE

06 // Randbedingungen in natürlicher Sprache

Übersetzung natürlicher Sprache in eine formale AST-DSL, deterministisch validiert und gelöst vom mathematischen Kern.

SYSTEMARCHITEKTUR // TAURI IPC + RUST CORE

Deterministische Berechnungspipeline

Durchgängiger Datenfluss von der Benutzerinteraktion bis zur mathematischen Verifikation und CAD-Ausgabe.

  1. 01 VERIFIZIERT / VERFÜGBAR
    INPUT

    Benutzereingabe & Randbedingungen

    DSL AST
  2. 02 VERIFIZIERT / VERFÜGBAR
    CLIENT

    TypeScript UI-Grenzschicht

    TypeScript
  3. 03 IN ENTWICKLUNG
    BRIDGE

    Tauri IPC-Protokoll

    Tauri IPC
  4. 04 IN ENTWICKLUNG
    CORE

    Deterministischer Rust-Kern

    Rust Native
  5. 05 IN ENTWICKLUNG
    GEODETICS

    LocalMetricFrame-Projektion

    f64 Matrix
  6. 06 IN ENTWICKLUNG
    GEOMETRY

    Planare Topologie & Booleans

    Boolean 2D
  7. 07 IN ENTWICKLUNG
    SURFACE

    Delaunay-TIN-Geländeengine

    Delaunay TIN
  8. 08 IN ENTWICKLUNG
    SOLVER

    Pareto-Kandidatengenerator

    Pareto Front
  9. 09 IN ENTWICKLUNG
    QA GATE

    Geometrisches Prüfgate

    Residual Check
  10. 10 IN ENTWICKLUNG
    OUTPUT

    CAD, GIS & openBIM-Export

    DXF / IFC
INTEROPERABILITÄT // FAKTISCHE SPEZIFIKATION

Technische Formatmatrix

Tatsächlicher I/O-Status für den CAD-, Vermessungs-, openBIM- und GIS-Datenaustausch.

Format / Standard Kategorie Import-Status Export-Status Technische Abdeckung & Grenzen
AutoCAD® DXF (ASCII / Binary) CAD IN ENTWICKLUNG IN ENTWICKLUNG R12 - R2018. 2D/3D entities parser in validation (LINE, LWPOLYLINE, CIRCLE, ARC, TEXT, 3DFACE).
Autodesk® DWG™ CAD IN ENTWICKLUNG GEPLANT Native Rust reader in active development. Coverage testing in progress on R14-R2024 specifications.
Pregeo DAT Surveying IN ENTWICKLUNG IN ENTWICKLUNG Italian cadastral libretto parser in validation: rows 1 (station), 2 (targets), 7 (contours), 8 (fiducials TAF).
LandXML Civil / Infra IN ENTWICKLUNG IN ENTWICKLUNG TIN surfaces, contour sets, and parcel boundary alignments (v1.2 schema parser in development).
openBIM® IFC (IFC4 / IFC4x3) BIM GEPLANT IN ENTWICKLUNG IfcSite, IfcGeographicElement, and faceted boundary representation of terrain mesh in development.
GeoJSON GIS IN ENTWICKLUNG IN ENTWICKLUNG FeatureCollection export with local CRS projection properties and metadata in validation.
Point Cloud (ASCII XYZ / CSV) Surveying IN ENTWICKLUNG IN ENTWICKLUNG ASCII X, Y, Z coordinates + point code parser in validation. Binary LAS/LAZ planned.
INTERNE BENCHMARKS // PENDENT SOFTWARE-VERIFIKATION

Dokumentierte Ingenieur-Benchmarks

Prüfmethoden und numerische Stabilitätsziele für die Verifikation in Continuous Integration.

PENDING AUDIT

LocalMetricFrame-Koordinatenkonditionierung

Testmethode zur Dämpfung der numerischen Auslöschung bei extremen Koordinaten. Baryzentrische Translation zur Wahrung der Gleitkommaintegrität.

Ziel: Maschinengenauigkeit | Status: WARTET AUF SOFTWARE-AUDIT
IN DEVELOPMENT

Restringierte Delaunay-Triangulation (TIN)

Oberflächennetzberechnung in aktiver Entwicklung: Einhaltung von Bruchkanten und Vermeidung planarer Überlappungen in Validierung.

Ziel: Restringierte planare Triangulation | Status: IN ENTWICKLUNG
PENDING AUDIT

Pareto-Front-Teilungslöser

Mehrkriterielle Methodik zur Kandidatengenerierung mit Prüfung von Straßenerschließung und isoperimetrischem Quotienten.

Ziel: Mehrkriterielle Kandidatenoptimierung | Status: WARTET AUF SOFTWARE-AUDIT

Prüfhinweis: Quantitative Leistungs- und Genauigkeitswerte sind vom Web-Team unbestätigt, bis offizielle Prüfprotokolle des Software-Kerns vorliegen. Keine unbestätigten Zahlen werden publiziert.

DESKTOP-INSTALLER // OFFIZIELLES RELEASE V3.0 IN PACKAGING

Entwickelt für Vermessungsingenieure & Bauingenieure

Deterministische Geometrie, mehrkriterielle Flurstücksteilung und Katasterinteroperabilität in einer nativen Plattform.