Abstract: In the proposed approach cluster elements (bins) are made available as a keypad in the form of a cluster map. The user directly selects the cluster element (bin) with a mouse, touch or actual keypad. For each of the associated attributes, a cluster map is available that orders the attributes from high-to-low by color or shade intensity. When a cluster element is selected in one cluster map, that same cluster element is also highlighted in other cluster maps. For each of the cluster maps, a value axis is available which shows the value of the parameter for the selected cluster element. In the case of numerical values, the high/low attribute pattern across the cluster maps is easily visible. The selected data objects in the cluster map are displayed in a separate widget.

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 for touch input via a multi-touch surface includes displaying an input widget via the multi-touch surface, wherein the input widget includes at least one control field and at least one element bar. A finger contact is detected along the multi-touch surface and substantially within the control field or the element bar. In response to detecting the finger contact, the contents of the element bar are adjusted.

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.