Abstract: A computer-implemented method for modeling a lineweld connecting two modeled parts includes receiving lineweld properties from a user, wherein the properties include a lineweld path. The computer-implemented method also includes positioning a plurality of fastener definitions at discrete points along the lineweld path, defining beam element definitions between adjacent fastener definitions, and analyzing the lineweld based on the fastener definitions and beam element definitions.

Abstract: A computer-implemented method for simulating behavior of a modeled object includes storing a tolerance attribute value in a memory area for a specified parameter of the modeled object, defining a set of rules representative of a plurality of assumptions of a model simulation, executing the model simulation based on the tolerance attribute, verifying an output of the model simulation with respect to a set of rules that are dependent on input and output values for which the tolerance attribute as verified, and validating the output behavior against requirements for every stage of the product lifecycle, from preliminary design to end of life.

Abstract: A computer-implemented method for verifying a model in a product lifecycle management (PLM) system includes defining a model and an envelope of allowable model states and, based on one or more requirements, deriving at least one counterexample objective. The method also includes optimizing a set of parameters related to the allowable model states and the allowable model context, redefining at least one of the model and the allowable model states when the at least one counterexample objective is outside of a specified tolerance, and, after a predefined number of iterations, defining the model as verified.

Abstract: A computer-implemented method is provided for use in finite element analysis of a three-dimensional (3D) representation of a physical object. The computer-implemented method includes combining a plurality of retained degrees of freedom of the 3D representation to form a root substructure, reducing a structure of the 3D representation on to a reduced automated multilevel substructuring (AMLS) subspace, and computing a plurality of eigenmodes and condensed operators based on the reduced structure, and computing constraint modes using an AMLS transformation matrix. The computer-implemented method also includes generating at least one substructure of the 3D representation based on the plurality of eigenmodes, constraint modes, and condensed operators, and storing the at least one substructure in a memory area.