The invention relates to a plausibility checking method for rapid prototyping devices, in particular for stereolithography devices. In this connection, input data (14) is checked which is present particularly in the form of graphics data and of which every file renders a layer. Every layer comprises a plurality of pixels. The component to be printed in the respective layer is produced based on output data by the rapid prototyping device. The input data of two consecutive layers is checked and the sum of all pixels to be exposed is determined for every layer. A signal (22) is output in particular as a warning signal (26) when the pixel sum of a following layer is larger than in the previous layer by a predetermined factor.

In a first step, a defined scope value is selected for each of a plurality of hydrodynamic input parameters. A simulated topographical result is generated using the selected scope values and a forward model. A detailed seismic interpretation is generated to represent specific seismic features or observed topography. A calculated a misfit value representing a distance between the simulated topographical result and a detailed seismic interpretation is minimized. An estimated optimized sand ratio and optimized hydrodynamic input parameters are generated. In a second step, a genetic algorithm is used to determine a proportion of each grain size in the estimated optimized sand ratio. A misfit value is used that is calculated from thickness and porosity data extracted from well data and a simulation result generated by the forward model to generate optimized components of different grain sizes. Optimized hydrodynamic input parameters and optimized components of different grain sizes are generated.

An IC structure includes first, second, third, and fourth transistors on a substrate, a first net and a second net. The first net includes a plurality of first metal lines routed on a first metallization layer, and a plurality of first metal vias electrically connecting the plurality of first metal lines to the first and second transistors. The second net includes a plurality of second metal lines routed on a second metallization layer, and a plurality of second metal vias electrically connecting the plurality of second metal lines to the third and fourth transistors. A total length of the second metal lines of the second net is shorter than a total length of the first metal lines of the first net. A count of the f first metal vias of the first net is less than a count of the second metal vias of the second net.

A method, system, and article of manufacture provide for multi-user collaboration on a three-dimensional (3D) design. The 3D design is acquired in a computer-aided design (CAD) application. A commenting process for a comment to be associated with a selected part of the 3D design is activated. Textual user input for the comment is dynamically processed as the comment is received. The processing recognizes that the text relates to creating or modifying the selected part, retrieves a list of alternative parts (based on similarities between the alternative parts and the selected part), and displays a graphic representation of an alternative part. An alternative part is selected and inserted in the comment as a proposed replacement part. The comment including the proposed replacement part is provided to another user.

A method, system, and article of manufacture provide for multi-user collaboration on a three-dimensional (3D) design. The 3D design is acquired in a computer-aided design (CAD) application. A commenting process for a comment to be associated with a selected part of the 3D design is activated. Textual user input for the comment is dynamically processed as the comment is received. The processing recognizes that the text relates to creating or modifying the selected part, retrieves a list of alternative parts (based on similarities between the alternative parts and the selected part), and displays a graphic representation of an alternative part. An alternative part is selected and inserted in the comment as a proposed replacement part. The comment including the proposed replacement part is provided to another user.

Methods, systems, and apparatus, including medium-encoded computer program products, for computer aided design of physical structures using data format conversion (e.g., of output(s) from generative design processes) and user interface techniques that facilitate the production of 3D models of physical structures that are readily usable with 2.5-axis subtractive manufacturing, include: modifying smooth curves, which have been fit to contours representing discrete height layers of an object, to facilitate the 2.5-axis subtractive manufacturing; preparing an editable model of the object using a parametric feature history, which includes a sketch feature, to combine extruded versions of the smooth curves to form a 3D model of the object in a boundary representation format; reshaping a subset of the smooth curves responsive to user input with respect to the sketch feature; and replaying the parametric feature history to reconstruct the 3D model of the object, as changed by the user input.

Methods, systems, and apparatus, including medium-encoded computer program products, for computer aided design of physical structures using data format conversion (e.g., of output(s) from generative design processes) and user interface techniques that facilitate the production of 3D models of physical structures that are readily usable with 2.5-axis subtractive manufacturing, include: modifying smooth curves, which have been fit to contours representing discrete height layers of an object, to facilitate the 2.5-axis subtractive manufacturing; preparing an editable model of the object using a parametric feature history, which includes a sketch feature, to combine extruded versions of the smooth curves to form a 3D model of the object in a boundary representation format; reshaping a subset of the smooth curves responsive to user input with respect to the sketch feature; and replaying the parametric feature history to reconstruct the 3D model of the object, as changed by the user input.

A system includes a plurality of tooth models each including computer code controlling its movement. The system also includes a tooth movement control system (TMCS) with a processor executing a dental manager module and with memory scoring a different tooth movement plan for each of the tooth models. In practice, the tooth movement plans are stored in the memory of each of the tooth models (e.g., a different tooth movement plan for each tooth model). Then, during tooth movement operation, each of the local control modules independently controls the tooth model to execute the tooth movement plan stored in the memory of the tooth model.

A system includes a plurality of tooth models each including computer code controlling its movement. The system also includes a tooth movement control system (TMCS) with a processor executing a dental manager module and with memory scoring a different tooth movement plan for each of the tooth models. In practice, the tooth movement plans are stored in the memory of each of the tooth models (e.g., a different tooth movement plan for each tooth model). Then, during tooth movement operation, each of the local control modules independently controls the tooth model to execute the tooth movement plan stored in the memory of the tooth model.

Systems and methods to semantically compare product configuration models. A method includes receiving a first configuration model and a second configuration model. The method includes generating a first order logic (FOL) representation of the first configuration model and an FOL representation of the second configuration model. The method includes performing a satisfiability modulo theories (SMT) solve for nonequivalence satisfiability on the FOL representation of the first configuration model and the FOL representation of the second configuration model. The method includes storing an indication that the first configuration model is equivalent to the second configuration model when the SMT solve for nonequivalence satisfiability is not satisfied.