QISMACAD // PRO
3.0.0-dev [DEVELOPMENT_BUILD]
APPLICAZIONE DESKTOP // TAURI + RUST CORE

Il CAD topografico progettato per il territorio.

Geometria computazionale, topografia, modellazione del terreno e frazionamento multi-obiettivo in un unico ambiente desktop nativo.

Esplora l'Engine Guarda il Frazionamento
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²
Pareto Candidates Road Constraint Boundary Snaps

Tesi Ingegneristica Deterministica

Una metodologia strutturata sulla geometria computazionale formale anziché sul semplice disegno vettoriale.

01 // Problema

Le coordinate cartografiche ad ampi valori scalari generano perdita di precisione floating-point. Il frazionamento tradizionale procede per tentativi manuali non vincolati.

02 // Metodo

Formulazione LocalMetricFrame: la traslazione baricentrica locale ripristina il condizionamento numerico entro l'epsilon macchina.

03 // Engine

Core deterministico in Rust con triangolazione TIN Delaunay, operazioni topologiche booleane e generazione candidati multi-obiettivo.

04 // Verifica

Validazione geometrica continua, invarianza di non-autointersezione, calcolo compattezza isoperimetrica ed errore residuo.

05 // Risultato

Partizioni ottime sulla frontiera di Pareto, rilievi catastali Pregeo validati ed export interoperabile openBIM / GIS.

DATASET DIMOSTRATIVO // SIMULAZIONE ILLUSTRATIVA

Frazionamento Geometrico Multi-Obiettivo

Esplorazione interattiva dei candidati generati sulla frontiera di Pareto per una particella di 5.748 m².

Vincolo in Linguaggio Naturale

"Dividi il terreno in 4 lotti con accesso stradale da 5 m e superfici proporzionali."

Constraint DSL Risolto (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)
]
Soluzione Pareto
Lunghezza Strada 82.0 m
Indice Compattezza 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²

Dataset illustrativo di simulazione. La risoluzione analitica reale viene eseguita dal core desktop deterministico in Rust.

ARCHITECTURE // MODULES

Differenziatori Architetturali Cardine

Sei moduli ingegneristici progettati per unire geometria computazionale e topografia operativa.

OTTIMIZZATORE

01 // Frazionamento del Territorio

Generazione candidati multi-obiettivo basata su ottimalità di Pareto, accesso stradale minimo, aree proporzionali e compattezza.

TOPOGRAFIA

02 // Topografia e Catasto

Celerimetria da stazione totale, parser libretti Pregeo DAT (righe 1, 2, 7, 8), gestione punti fiduciali (TAF) e trasformazioni geodetiche.

TERRENO

03 // Modellazione DTM e Mesh 3D

Triangolazione Delaunay vincolata (TIN), linee di discontinuità (breaklines), curve di livello automatiche e volumetrie sterro/riporto.

CORE

04 // Geometry Engine

Normalizzazione LocalMetricFrame anti-cancellazione numerica, validazione topologica piana e operazioni booleane deterministiche in Rust.

INTEROPERABILITÀ

05 // GIS, CAD e openBIM

Supporto bi-direzionale DXF, reader nativo Rust DWG in sviluppo, GeoJSON, allineamenti LandXML ed esportazione geometrica openBIM IFC.

ENGINE DSL

06 // Vincoli in Linguaggio Naturale

Traduzione del linguaggio naturale in un DSL formale basato su albero sintattico (AST), validato e risolto dal motore matematico.

ARCHITETTURA DI SISTEMA // TAURI IPC + RUST CORE

Pipeline di Calcolo Deterministico

Flusso end-to-end dall'interazione utente alla validazione matematica ed export CAD.

  1. 01 VERIFICATO / DISPONIBILE
    INPUT

    Input Utente e Vincoli

    DSL AST
  2. 02 VERIFICATO / DISPONIBILE
    CLIENT

    Boundary UI TypeScript

    TypeScript
  3. 03 IN SVILUPPO
    BRIDGE

    Protocollo IPC Tauri

    Tauri IPC
  4. 04 IN SVILUPPO
    CORE

    Core Deterministico Rust

    Rust Native
  5. 05 IN SVILUPPO
    GEODETICS

    Proiezione LocalMetricFrame

    f64 Matrix
  6. 06 IN SVILUPPO
    GEOMETRY

    Topologia Piana e Booleane

    Boolean 2D
  7. 07 IN SVILUPPO
    SURFACE

    Motore Terreno TIN Delaunay

    Delaunay TIN
  8. 08 IN SVILUPPO
    SOLVER

    Generatore Candidati Pareto

    Pareto Front
  9. 09 IN SVILUPPO
    QA GATE

    Gate di Verifica Geometrica

    Residual Check
  10. 10 IN SVILUPPO
    OUTPUT

    Export CAD, GIS e openBIM

    DXF / IFC
INTEROPERABILITÀ // SPECIFICA FATTUALE

Matrice Tecnica dei Formati

Stato reale I/O per scambi dati CAD, catastali, openBIM e territoriali GIS.

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

Marchi e Licenze: DWG è un marchio registrato di Autodesk, Inc. Pregeo è una procedura software dell'Agenzia delle Entrate italiana. openBIM e IFC sono marchi registrati di buildingSMART International. QismaCAD è un'applicazione desktop indipendente priva di affiliazione o sponsorizzazione ufficiale da parte di Autodesk, Agenzia delle Entrate o buildingSMART.

BENCHMARK INTERNI // IN ATTESA DI CONFERMA SOFTWARE

Benchmark Ingegneristici Documentati

Metodologie di test e target di stabilità numerica definiti per la verifica in continuous integration.

PENDING AUDIT

Condizionamento Coordinate LocalMetricFrame

Metodologia di test per la mitigazione della cancellazione numerica su coordinate estreme. La traslazione baricentrica è progettata per preservare la precisione floating-point.

Target: Stabilità Epsilon Macchina | Stato: IN ATTESA DI AUDIT SOFTWARE
IN DEVELOPMENT

Triangolazione Delaunay Vincolata (TIN)

Generazione mesh di superficie in fase di sviluppo attivo: collaudo del rispetto vincolante delle breaklines ed eliminazione delle intersezioni planari.

Target: Triangolazione Planare Vincolata | Stato: IN SVILUPPO
PENDING AUDIT

Risolutore Frazionamento su Frontiera di Pareto

Metodologia di generazione candidati multi-obiettivo con valutazione della continuità di accesso stradale e della compattezza isoperimetrica.

Target: Ottimizzazione Multi-Obiettivo | Stato: IN ATTESA DI AUDIT SOFTWARE

Nota di Verifica Benchmark: I valori numerici di precisione e prestazione sono attualmente non certificati dal team web in attesa dei log ufficiali del repository software QismaCAD. Nessun numero non verificato viene pubblicato.

BUILD APPLICAZIONE DESKTOP // RILASCIO UFFICIALE V3.0 IN CORSO DI PACKAGING

Progettato per Geometri, Topografi e Ingegneri Civili

Geometria matematica deterministica, frazionamento particellare multi-obiettivo e interoperabilità catastale in un'unica piattaforma desktop nativa.

Esplora l'Architettura Ispeziona i Formati