Motor de Partición Parcelaria de Precisión
Subdivisión parcelaria determinista multiobjetivo basada en geometría computacional y la frontera de Pareto.
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.
Minimización de la longitud de la red vial interna para reducir costes de urbanización.
Maximización de la compacidad isoperimétrica (4*PI*Área / Perímetro^2) para evitar lotes alargados inviables.
Minimización de la varianza de área respecto a las cuotas proporcionales asignadas.
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.
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.