APLICACIÓN ESCRITORIO // TAURI + RUST CORE

El CAD topográfico diseñado para el territorio.

Geometría computacional, topografía, modelado del terreno y partición multiobjetivo en un entorno de escritorio nativo.

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²

Tesis de Ingeniería Determinista

Una metodología estructurada en geometría computacional en lugar de dibujo vectorial tradicional.

01 // Problema

Las coordenadas globales de gran magnitud generan cancelación de punto flotante. La partición tradicional opera por tanteo manual.

02 // Método

Normalización LocalMetricFrame: la traslación baricéntrica local restaura el condicionamiento numérico a escala de máquina.

03 // Motor

Núcleo determinista en Rust con triangulación Delaunay TIN, operaciones topológicas booleanas y generador de candidatos.

04 // Verificación

Validación geométrica estricta, invariantes de no-autointersección, compacidad isoperimétrica y control de error residual.

05 // Resultado

Particiones óptimas en frontera de Pareto, modelos catastrales verificados y exportación interoperable openBIM / GIS.

CONJUNTO DE DATOS DEMOSTRATIVO // SIMULACIÓN

Partición Parcelaria Multiobjetivo

Exploración interactiva de soluciones candidatas en la frontera de Pareto para una parcela de 5.748 m².

Restricción en Lenguaje Natural

"Dividir el terreno en 4 lotes con acceso vial de 5m y áreas proporcionales."

Constraint DSL Resuelto (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)
]
Solución Pareto
Longitud Vial 82.0 m
Índice Compacidad 0.84
Delta Superficie ± 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

Diferenciadores Arquitectónicos Clave

Seis módulos diseñados para unir geometría computacional y topografía de campo.

OPTIMIZADOR

01 // Fraccionamiento Parcelario

Generación multiobjetivo basada en frontera de Pareto, frente vial mínimo, áreas proporcionales y compacidad isoperimétrica.

TOPOGRAFÍA

02 // Topografía y Catastro

Celerimetría con estación total, parser de libretas topográficas Pregeo DAT, vértices geodésicos y transformaciones espaciales.

TERRENO

03 // Malla 3D y DTM

Triangulación Delaunay restringida (TIN), líneas de rotura, generación automática de curvas de nivel y cálculo de desmontes/terraplenes.

NÚCLEO

04 // Motor Geométrico

Normalización LocalMetricFrame contra pérdidas de precisión, validación planar y álgebra booleana determinista en Rust.

INTEROPERABILIDAD

05 // GIS, CAD y openBIM

Soporte DXF bidireccional, lector nativo Rust DWG en desarrollo, GeoJSON, LandXML y exportación geométrica openBIM IFC.

MOTOR DSL

06 // Restricciones en Lenguaje Natural

Traducción formal de lenguaje natural a AST DSL, validado matemáticamente por el motor determinista de Rust.

ARQUITECTURA DEL SISTEMA // TAURI IPC + RUST CORE

Pipeline de Cálculo Determinista

Flujo integral desde la interacción de usuario hasta la validación y exportación CAD.

  1. 01 VERIFICADO / DISPONIBLE
    INPUT

    Entrada de Usuario y Restricciones

    DSL AST
  2. 02 VERIFICADO / DISPONIBLE
    CLIENT

    Frontera UI TypeScript

    TypeScript
  3. 03 EN DESARROLLO
    BRIDGE

    Protocolo IPC Tauri

    Tauri IPC
  4. 04 EN DESARROLLO
    CORE

    Núcleo Determinista Rust

    Rust Native
  5. 05 EN DESARROLLO
    GEODETICS

    Proyección LocalMetricFrame

    f64 Matrix
  6. 06 EN DESARROLLO
    GEOMETRY

    Topología Planar y Booleanas

    Boolean 2D
  7. 07 EN DESARROLLO
    SURFACE

    Motor de Terreno TIN Delaunay

    Delaunay TIN
  8. 08 EN DESARROLLO
    SOLVER

    Generador de Candidatos Pareto

    Pareto Front
  9. 09 EN DESARROLLO
    QA GATE

    Puerta de Verificación Geométrica

    Residual Check
  10. 10 EN DESARROLLO
    OUTPUT

    Exportación CAD, GIS y openBIM

    DXF / IFC
INTEROPERABILIDAD // ESPECIFICACIÓN FACTUAL

Matriz Técnica de Formatos

Estado real I/O para intercambio de datos CAD, topografía, openBIM y GIS.

Formato / Estándar Categoría Estado Import Estado Export Cobertura Técnica y Limitaciones
AutoCAD® DXF (ASCII / Binary) CAD EN DESARROLLO EN DESARROLLO R12 - R2018. 2D/3D entities parser in validation (LINE, LWPOLYLINE, CIRCLE, ARC, TEXT, 3DFACE).
Autodesk® DWG™ CAD EN DESARROLLO PLANIFICADO Native Rust reader in active development. Coverage testing in progress on R14-R2024 specifications.
Pregeo DAT Surveying EN DESARROLLO EN DESARROLLO Italian cadastral libretto parser in validation: rows 1 (station), 2 (targets), 7 (contours), 8 (fiducials TAF).
LandXML Civil / Infra EN DESARROLLO EN DESARROLLO TIN surfaces, contour sets, and parcel boundary alignments (v1.2 schema parser in development).
openBIM® IFC (IFC4 / IFC4x3) BIM PLANIFICADO EN DESARROLLO IfcSite, IfcGeographicElement, and faceted boundary representation of terrain mesh in development.
GeoJSON GIS EN DESARROLLO EN DESARROLLO FeatureCollection export with local CRS projection properties and metadata in validation.
Point Cloud (ASCII XYZ / CSV) Surveying EN DESARROLLO EN DESARROLLO ASCII X, Y, Z coordinates + point code parser in validation. Binary LAS/LAZ planned.
BENCHMARKS INTERNOS // PENDIENTE DE AUDITORÍA

Benchmarks de Ingeniería Documentados

Metodologías de prueba y objetivos de estabilidad numérica definidos para integración continua.

PENDING AUDIT

Acondicionamiento de Coordenadas LocalMetricFrame

Metodología de prueba para mitigación de cancelación numérica en coordenadas extremas. La traslación baricéntrica busca mantener la precisión de coma flotante.

Target: Estabilidad en Epsilon Máquina | Estado: PENDIENTE DE AUDITORÍA
IN DEVELOPMENT

Triangulación Delaunay Restringida (TIN)

Generación de malla superficial en desarrollo activo: verificación en curso del respeto a líneas de rotura e invariantes planares.

Target: Triangulación Planar Restringida | Estado: EN DESARROLLO
PENDING AUDIT

Solucionador de Partición en Frontera de Pareto

Metodología del generador multiobjetivo con evaluación de continuidad vial y compacidad isoperimétrica en parcelas de referencia.

Target: Optimización Multiobjetivo | Estado: PENDIENTE DE AUDITORÍA

Aviso de Verificación: Los valores de rendimiento no están certificados por el equipo web hasta recibir los registros oficiales del software. No se publican cifras sin verificar.

BUILD DE ESCRITORIO // RILASCIO UFFICIALE V3.0 EN FASE DE PACKAGING

Diseñado para Topógrafos e Ingenieros Civiles

Geometría matemática determinista, partición parcelaria multiobjetivo e interoperabilidad catastral en una plataforma nativa de escritorio.