Pipeline de Fraccionamiento en 6 Fases

01 // Validación Topológica de Contornos

Validación de cierre planar, orientación y ausencia de autointersecciones. Proyección de coordenadas a LocalMetricFrame.

02 // Especificación de Restricciones

Definición de restricciones geométricas y normativas: lotes objetivo, umbrales de área mínima y frentes viales.

03 // Generación de Candidatos

Generación iterativa de líneas divisorias y redes de acceso mediante descomposición geométrica determinista.

04 // Evaluación Multiobjetivo de Pareto

Cálculo de puntuaciones sobre objetivos en conflicto: reducción vial, compacidad isoperimétrica y equidad superficial.

05 // Puerta de Validación Topológica

Verificación estricta de no solapamiento, tolerancias métricas de linde y control de residuos matemáticos.

06 // Exportación Catastral y CAD

Emisión de polígonos validados a formatos DXF vectorial, Pregeo DAT y geometrías openBIM IFC.

Formulación Matemática Multiobjetivo

Equilibrio analítico entre parámetros de diseño en conflicto sobre la frontera de Pareto.

min(L_road)

Minimización de la longitud de la red vial interna para reducir costes de urbanización.

max(Compactness)

Maximización de la compacidad isoperimétrica (4*PI*Área / Perímetro^2) para evitar lotes alargados inviables.

min(Var_area)

Minimización de la varianza de área respecto a las cuotas proporcionales asignadas.

Frontage >= F_min

Garantía de frente vial mínimo obligatorio en cada parcela resultante.

Lenguaje Natural -> Constraint DSL AST

Las expresiones verbales se traducen a un Árbol de Sintaxis Abstracta (AST) formal.

// QismaCAD Formal Constraint DSL AST
BOUNDARY poly_502 {
  COORDINATES: LOCAL_METRIC_FRAME;
  SURFACE_AREA: 5748.25m2;
}

CONSTRAINTS {
  TARGET_UNITS: 4;
  PROPORTIONAL_SHARES: [0.25, 0.25, 0.25, 0.25];
  MIN_FRONTAGE: 12.0m;
  ROAD_RESERVE_WIDTH: 5.0m;
  MANDATORY_STREET_ACCESS: true;
}

SOLVER_WEIGHTS {
  ROAD_MINIMIZATION: 0.40;
  ISOPERIMETRIC_COMPACTNESS: 0.35;
  AREA_EQUITY: 0.25;
}

La entrada en lenguaje natural se analiza hacia un AST fuertemente tipado. El motor determinista resuelve exclusivamente la sintaxis formal del DSL, asegurando reproducibilidad.

DETERMINISTIC INVARIANT

Natural language text parsing operates strictly at the UI layer. The underlying computational geometry core evaluates the typed AST without floating-point heuristic ambiguity.

Límites Geométricos y Conjuntos Inviables

Declaración transparente de límites de validez geométrica y restricciones de cálculo.

No todo polígono admite una partición geométricamente válida. Polígonos fuertemente cóncavos, ángulos agudos extremos (<15°) o restricciones contradictorias son rechazados formalmente con diagnóstico explícito en lugar de generar aproximaciones incontroladas.