| 摘要 |
<p>A method for determining the existence of an error in translating from a source format of a geometric object to the corresponding target format and correcting that error includes the step of specifying constraints to be satisfied by the constituents of the geometric object and augmenting the target format representation of the object with those constraints. The resulting target representation thus includes both geometric and constraint information. The validity of the translation is assessed by determining whether or not the geometric portion is consistent with the constraint portion. If it is not consistent, the constraint information is then used to correct the translation errors. The constraints are either specified by a user, known beforehand, or heuristically determined.</p> |
