7 research outputs found
Faster ASV decomposition for orthogonal polyhedra using the Extreme Vertices Model (EVM)
The alternating sum of volumes (ASV) decomposition is a widely used
technique for converting a B-Rep into a CSG model. The obtained CSG
tree has convex primitives at its leaf nodes, while the contents of
its internal nodes alternate between the set union and difference
operators.
This work first shows that the obtained CSG tree T can also be
expressed as the regularized Exclusive-OR operation among all the
convex primitives at the leaf nodes of T, regardless the structure and
internal nodes of T. This is an important result in the case in which
EVM represented orthogonal polyhedra are used because in this model
the Exclusive-OR operation runs much faster than set union and
difference operations. Therefore this work applies this result to EVM
represented orthogonal polyhedra. It also presents experimental
results that corroborate the theoretical results and includes some
practical uses for the ASV decomposition of orthogonal polyhedra.Postprint (published version
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
Computer Aided Verification
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications
Faster ASV decomposition for orthogonal polyhedra, using the extreme vertices model (EVM)
The alternating sum of volumes (ASV) decomposition is a widely used technique for converting a b-rep into a
CSG model, with all its implicit uses and advantages -like form feature recognition, among others. The obtained
CSG tree has convex primitives at its leaf nodes, while the contents of its internal nodes alternate between the setunion
and set-difference operators.
This paper first shows that the obtained CSG tree T can also be expressed as the regularized Exclusive-OR
operation among all the convex primitives at the leaf nodes of T , regardless the structure and internal nodes of T .
The importance of this result becomes apparent, for example, with those solid modeling schemes, for which the
Exclusive-OR operation can be performed much faster than both the set union and set difference operators. This is
the case for the Extreme Vertices Model (EVM) for orthogonal polyhedra. Therefore, this paper is then devoted for
applying this result to orthogonal polyhedra, using the Extreme Vertices Model. It also includes a comparision of
using this result vs. not-using it when finding the ASV decomposition of orthogonal polyhedra, as well as some
practical uses for the ASV decomposition of orthogonal polyhedra
Faster ASV decomposition for orthogonal polyhedra using the Extreme Vertices Model (EVM)
The alternating sum of volumes (ASV) decomposition is a widely used
technique for converting a B-Rep into a CSG model. The obtained CSG
tree has convex primitives at its leaf nodes, while the contents of
its internal nodes alternate between the set union and difference
operators.
This work first shows that the obtained CSG tree T can also be
expressed as the regularized Exclusive-OR operation among all the
convex primitives at the leaf nodes of T, regardless the structure and
internal nodes of T. This is an important result in the case in which
EVM represented orthogonal polyhedra are used because in this model
the Exclusive-OR operation runs much faster than set union and
difference operations. Therefore this work applies this result to EVM
represented orthogonal polyhedra. It also presents experimental
results that corroborate the theoretical results and includes some
practical uses for the ASV decomposition of orthogonal polyhedra
Faster ASV decomposition for orthogonal polyhedra using the Extreme Vertices Model (EVM)
The alternating sum of volumes (ASV) decomposition is a widely used
technique for converting a B-Rep into a CSG model. The obtained CSG
tree has convex primitives at its leaf nodes, while the contents of
its internal nodes alternate between the set union and difference
operators.
This work first shows that the obtained CSG tree T can also be
expressed as the regularized Exclusive-OR operation among all the
convex primitives at the leaf nodes of T, regardless the structure and
internal nodes of T. This is an important result in the case in which
EVM represented orthogonal polyhedra are used because in this model
the Exclusive-OR operation runs much faster than set union and
difference operations. Therefore this work applies this result to EVM
represented orthogonal polyhedra. It also presents experimental
results that corroborate the theoretical results and includes some
practical uses for the ASV decomposition of orthogonal polyhedra
Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book