The invention comprises an improved method and system for building a denture. The invention further comprises a technique for building teeth and a denture base in a digital space. The invention even further comprises a method for adapting a digital denture base contemporaneously with changes made to digital teeth on the same model.

A method for computer-assisted system design includes: providing a textual system description that defines a desired behavior of a vehicle; converting, using a computer, the textual system description into a linear temporal logic (LTL) formula; converting, using the computer, the LTL formula into a first automaton; providing, using the computer, a second automaton representing system dynamics of the vehicle; and generating, using the computer, a testing automaton by combining the first and the second automaton.

Provided is a system, method, and computer program product for generating a three-dimensional (3D) printable file of a complete object by re-assembling pieces of a broken object using generative adversarial network techniques. A processor may generate a 3D scan of each piece of a plurality of pieces of a broken object. The processor may assemble the 3D scan of each piece of the plurality of pieces to generate a re-assembled object, where the re-assembled object includes one or more gaps. The processor may fill the one or more gaps in the re-assembled object to create a complete object. The processor may generate a 3D printable file of the complete object.

Provided is a system, method, and computer program product for generating a three-dimensional (3D) printable file of a complete object by re-assembling pieces of a broken object using generative adversarial network techniques. A processor may generate a 3D scan of each piece of a plurality of pieces of a broken object. The processor may assemble the 3D scan of each piece of the plurality of pieces to generate a re-assembled object, where the re-assembled object includes one or more gaps. The processor may fill the one or more gaps in the re-assembled object to create a complete object. The processor may generate a 3D printable file of the complete object.

Methods for modeling of parts with lattice structures and corresponding systems and computer-readable mediums. A method includes receiving a model of an object to be manufactured. The method includes receiving a user specification of a void region within the model to create a lattice. The method includes performing a trimming operation to create a trimmed lattice by tessellating void surfaces and grouping together at least one row of connected rods to be treated as a single entity.

Methods for modeling of parts with lattice structures and corresponding systems and computer-readable mediums. A method includes receiving a model of an object to be manufactured. The method includes receiving a user specification of a void region within the model to create a lattice. The method includes performing a trimming operation to create a trimmed lattice by tessellating void surfaces and grouping together at least one row of connected rods to be treated as a single entity.

A modeling support system stores a combination of a CAD model and a mesh model corresponding to the CAD model; recognizes a shape indicated by the CAD model; and classifies respective parts of the stored CAD model into one of a plurality of groups. The modeling support system also specifies component parts of an input CAD model and specifies groups corresponding to the specified component parts from the specified groups. A similar-shape-model search unit searches and obtains the part of the CAD model having a shape most similar to the shape indicated by the specified component part, from the part of the CAD model in the specified groups. Further, a mesh model generating unit obtains a mesh model corresponding to the obtained part of the CAD model, from the stored mesh model, and generates a new mesh model.

A modeling support system stores a combination of a CAD model and a mesh model corresponding to the CAD model; recognizes a shape indicated by the CAD model; and classifies respective parts of the stored CAD model into one of a plurality of groups. The modeling support system also specifies component parts of an input CAD model and specifies groups corresponding to the specified component parts from the specified groups. A similar-shape-model search unit searches and obtains the part of the CAD model having a shape most similar to the shape indicated by the specified component part, from the part of the CAD model in the specified groups. Further, a mesh model generating unit obtains a mesh model corresponding to the obtained part of the CAD model, from the stored mesh model, and generates a new mesh model.

A wire harness electric wire length correcting device, which corrects a design value of an electric wire length of an electric wire included in a wire harness, includes an electric wire identifying means including an identification mark, which is attached to an end portion of the electric wire, and which is to be cut off from the electric wire when the wire harness is installed on an installation target object, so as to use the identification mark to identify which electric wire an end cut off from the electric wire has been cut off from, a measuring means for measuring a length of the cut off end, and a correcting means for, for the electric wire identified by the electric wire identifying means, correcting the design value of the electric wire length of that electric wire, based on the length of the cut off end measured by the measuring means.

A random sequence generation of defined values may be provided. A method comprises pre-loading a RAM block with an initial list comprising the defined values of a sequence of values to be updated, and shuffling the defined values of the sequence using a counter and a random offset for indices in the list.