GRAPH-ANALYTICAL MODELS FOR CAD COMPUTING PROCESSES
Read the full article
The article deals with graph-analytical models (GAM) for verification of computing processes in CAD. An example of complex cubic covering generation based on GAM for acyclic computing process is given; a task for test sets synthesis based on cubic coverings has been formulated.
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License