(2)Based on the technology of the ActiveX Automation, AutoCAD was exploited secondly by Visual Basic and the three-dimensional simulation of the ZK_type worm machining was realized by boolean operation.
Expounded the advantage of using dynamic CSG models to realize visual machining process simulation on PC platform, the machining process was abstracted to a process of solid Boolean calculation, which a series of tool bits' sweeping volumes was subtracted from the roughcast's volume, introduced tow popular realization methods: image-space and object-space CSG rendering techniques, verified the advantage of the later.
Traditional voxel model of space decomposing needs huge computer RAM. It has some shortcomings of long simulation time and low simulation quality. A new compressed voxel model is put forward using Dexel, which predigests the Boolean calculation largely and compresses the data effectively.
tradition al voxelmodel of space decomposing needs huge computer ram. These both result in long simulation time and low simulation quality. In this paper,we put forward a new compressed voxelmodel using Dexel,which predigests the Boolean calculation e xtremely and compresses the part data effectively.
Inspired by digital technique, we introduce two kinds of boolean operation into GA to develop a novel mutation operator and discuss its contribution to preventing the loss of critical alleles.
This separation makes the Boolean operation process simple and robust.
Using Graftree, the Boolean operation produces no risk of yielding topological conflicts, which often cause the simulation to stop abnormally.
The method has been powered adding a multi-layered, bit-masking oriented data structure and a boolean operation based control mixer, allowing special blended crossover operators obtained by superposition of the standard ones.
Then, through a Boolean operation of the splint blank and the maxilla-mandibula model, the dental splint model is formed.
Finally, the 3D integrated model was established by Boolean operations between 3D geological objects and engineering objects.
One challenge is to generate valid models at various LODs after an arbitrary rearrangement of features using a certain LOD criterion, because composite Boolean operations consisting of union and subtraction are not commutative.
Nicolog compiles a very general class of built-in constraints into equivalent sets of PCs, allowing an arbitrary mixture of integer (easily extensible to real) and Boolean operations.
Arithmetic expressions for switching functions are introduced through the replacement of Boolean operations with arithmetic equivalents.
In particular we settle two open questions of  concerning the derivability of inference rules for Boolean operations on the right side of multivalued dependencies.