Abstract: A forming simulation method of an elastic-plastic material, which includes: calculating an element equivalent nodal force vector from stress tensor using a finite element method for one or a plurality of finite elements of a target configuration of the elastic-plastic material; and calculating the total equivalent nodal force vector of areas by integrating the element equivalent nodal force vector for the calculated one or more finite elements over all the areas or specified areas of the elastic-plastic material.

Abstract: An embodiment of the invention includes applying a first partition to a plurality of LPs, wherein a particular LP is assigned to a first set of LPs. A second partition is applied to the LPs, wherein the particular LP is assigned to an LP set different from the first set. For both the first and second partitions, lookahead values and transit times are determined for each of the LPs and related links. For the first partition, a first system progression rate is computed using a specified function with the lookahead values and transit times determined for the first partition. For the second partition, a second system progression rate is computed using the specified function with the lookahead values and transit times determined for the second partition. The first and second system progression rates are compared to determine which is the lowest.

Abstract: Embodiments of the present invention provide an approach for adapting an information extraction middleware for a clustered computing environment (e.g., a cloud environment) by creating and managing a set of statistical models generated from performance statistics of operating devices within the clustered computing environment. This approach takes into account the required accuracy in modeling, including computation cost of modeling, to pick the best modeling solution at a given point in time. When higher accuracy is desired (e.g., nearing workload saturation), the approach adapts to use an appropriate modeling algorithm. Adapting statistical models to the data characteristics ensures optimal accuracy with minimal computation time and resources for modeling. This approach provides intelligent selective refinement of models using accuracy-based and operating probability-based triggers to optimize the clustered computing environment, i.e., maximize accuracy and minimize computation time.

Abstract: Techniques for modeling a data center are provided. In one aspect, a method for determining data center efficiency is provided. The method includes the following steps. Target parameters for the data center are obtained. Technology pre-requisite parameters for the data center are obtained. An optimum data center efficiency is determined given the target parameters for the data center and the technology pre-requisite parameters for the data center.

Abstract: A method and apparatus for managing models. Elements in a model of an object are identified. Dependencies for the elements are identified. At least one of a matrix of the elements and a knowledge model of the object using the elements are generated.

Abstract: Systems and methods are provided to enhance logging data images. Some system embodiments include a dowhole tool, at least one sensor, and a processing system. The downhole tool gathers two-dimensional logging data while moving through a borehole. The sensor(s) measure at least one characteristic of the downhole tool's operation or environment, such as tool motion, offset distance, borehole geometry, and/or properties of the borehole fluid. Such characteristics can cause smearing or spreading of the tool's logging data measurements. Accordingly the processing system determines a de-spreading function based at least in part on the measured characteristic(s) and applies the de-spreading function to the two-dimensional logging data to obtain an enhanced logging data image, which can be presented to a user via a user interface.

Abstract: The present disclosure provides methods of generating an interior surface of a vehicle compartment. A selection from the user is received for one of a plurality of identifiers of the general template and a selection from the user is received for a desired location of an exterior surface of a specific vehicle to associate general criteria for the selected one of the identifiers with exterior surface data of the selected desired location. Interior surface data of the selected desired location is determined as a function of the general criteria of the selected one of the identifiers and the exterior surface data of the selected desired location. The interior surface representing the interior surface data of the configuration of the specific vehicle corresponding to the general criteria of the selected one of the identifiers and the exterior surface data of the selected desired location is displayed on the display device.

Abstract: Constraint-based methods for determining orientations of material physical properties using an isoparametric shape function are disclosed. In one embodiment, a method of defining an orientation of an material physical property includes defining nonlinear and/or discontinuous design constraints of design values in a geometric domain associated with one or more physical attributes of the material physical property, and translating the nonlinear and/or discontinuous design constraints into continuous, first order design constraints of the design values by applying an isoparametric shape function. The method further includes performing a topology optimization using the continuous, first order design constraints of the design values, and reverse-translating results of the topology optimization back into the geometric domain using the isoparametric shape function. The results of the topology optimization in the geometric domain are indicative of the orientation of the material physical property.

Abstract: Selective importance sampling includes: first phase importance sampling of a plurality of data points to form a first subset of data points; determining a center of gravity of the first subset; determining, based upon the center of gravity, an orthogonal hyperplane; and a second phase importance sampling comprising: determining, for each point in the first subset, whether each point is above the hyperplane; and forming a second subset of data points, wherein the second subset is a subset of the first subset and wherein the second subset excludes each point of the first subset that has been determined to be above the hyperplane. The second subset also excludes all points within an ellipse below the hyperplane. Critical radial distances are determined from binary search or projection of first phase samples onto center of gravity direction as well as the maximal radius of the first subset around the center of gravity.

Abstract: A system and method for creating an accurate black-box model of a live storage system and for predicting performance of the storage system under a given workload is disclosed. An analytics engine determines a subset of counters that are relevant to performance of the storage system with respect to a particular output (e.g., throughput or latency) from performance data in counters of the storage system. Using the subset of counters, the analytics engine creates a workload signature for the storage system by using a recursive partitioning technique, such as a classification and regression tree. The analytics engine then creates the black-box model of the storage system performance by applying uncertainty measurement techniques, such as a Gaussian process, to the workload signature.

Abstract: Selective importance sampling includes: first phase importance sampling of a plurality of data points to form a first subset of data points; determining a center of gravity of the first subset; determining, based upon the center of gravity, an orthogonal hyperplane; and a second phase importance sampling comprising: determining, for each point in the first subset, whether each point is above the hyperplane; and forming a second subset of data points, wherein the second subset is a subset of the first subset and wherein the second subset excludes each point of the first subset that has been determined to be above the hyperplane. The second subset also excludes all points within an ellipse below the hyperplane. Critical radial distances are determined from binary search or projection of first phase samples onto center of gravity direction as well as the maximal radius of the first subset around the center of gravity.

Abstract: Disclosed herein are methods, apparatuses, and techniques for estimating the state of a system. According to one implementation, a Massively Parallel Nested Factorization technique, or MPNF, is disclosed that runs efficiently on parallel computer architectures. Also disclosed is a procedure used to create and utilize MPNF ordering.

Abstract: A method for controlling a peripheral hardware device connected to a computer system is disclosed, the computer system includes a first operating system, acting as the host operating system, running on a first processor platform, and a generic device driver operating on the combination of the first operating system and first processor platform. The method includes delivering the peripheral hardware device with an original peripheral hardware device driver file written for a second operating system or a second processor platform, handling, by the generic device driver, interfaces between the first operating system, the peripheral hardware device and a software application, all configured to interact with the original peripheral device driver file, and emulating, by the generic device driver, at least a part of the second operating system and the second processor that are required for the peripheral hardware device to operate on the first operating system and the first processor.

Abstract: A simulation environment verifies processor-sparing functions in a simulated processor core. The simulation environment executes a first simulation for a simulated processor core. During the simulation, the simulation environment creates a simulation model dump file. At a later point in time, the simulation environment executes a second simulation for the simulated processor core. The simulation environment saves the state of the simulated processor core. The simulation environment then replaces the state of the simulated processor core by loading the previously created simulation model dump file. The simulation environment then sets the state of the simulated processor core to execute processor-sparing code and resumes the second simulation.

Abstract: The present disclosure relates to a method for verifying a digital design using a computing device. The method may include determining one or more tests associated with verifying the digital design and generating, using the computing device, a verification result by performing one or more verification runs on the digital design. The method may further include merging coverage data generated by the one or more verification runs and ranking the one or more tests based upon, at least in part, a first verification run having a first configuration and a second verification run having a second configuration, wherein the first and second configurations differ.

Abstract: A method includes identifying a simulated input flow stream associated with a chemical processing facility. The input flow stream includes an input component basis with multiple components having one or more properties that differ. The method also includes converting the input flow stream into a simulated output flow stream, which includes an output component basis that differs from the input component basis and comprises a single, active group of oil components and zero or more pure components. A pure component property of a pure component in the input flow stream could be combined with an oil component property of an oil component in the input flow stream. A pure component property of a pure component in the input flow stream could also be transferred to a pure component in the output flow stream without combination. An oil component property of an oil component in the input flow stream could further be mapped to an oil component property of the single output oil component.

Abstract: According to one aspect of the present disclosure, a method and technique for identifying odd nets in a hierarchical electronic circuit design is disclosed. The method includes: receiving a very high-speed integrated circuit hardware description language (VHDL) model of an electronic circuit design; modifying an architecture section of VHDL code of each endpoint component of the VHDL model to connect each input/output (IO) of the endpoint component VHDL code to an instance of a snoop VHDL code; executing a simulation of the VHDL model through a plurality of clock cycles while driving a logical value by the snoop VHDL code and deriving simulation clashes detected by the snoop VHDL code for each IO of the endpoint components; and extracting an odd net topology for the VHDL model based on the simulation clashes derived from the simulation.

Abstract: A simulation environment verifies processor-sparing functions in a simulated processor core. The simulation environment executes a first simulation for a simulated processor core. During the simulation, the simulation environment creates a simulation model dump file. At a later point in time, the simulation environment executes a second simulation for the simulated processor core. The simulation environment saves the state of the simulated processor core. The simulation environment then replaces the state of the simulated processor core by loading the previously created simulation model dump file. The simulation environment then sets the state of the simulated processor core to execute processor-sparing code and resumes the second simulation.

Abstract: A design assistant tool may automatically generate a functional design diagram representative of a system based on a processed requirements specification including a plurality of processed requirement statements and use cases. The design assistant tool may apply heuristic rules to the processed requirement statements and/or the processed use cases to determine various components of a functional design diagram. The design assistant tool may generate a technical design module based on the functional design diagram. The design assistant tool may allow various aspects of the functional design diagram to be modified to generate the technical design diagram.

Abstract: The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a Statemate Model, the said system comprises: an input means for receiving an Original Statemate Model (OSM), output means for displaying the result to a user, and a processor, wherein the processor is capable of executing the programmed instructions to: transform the OSM into First Statemate Model (FSM) by using translator; transform the OSM into Second Statemate Model (SSM) based on the determined length of the super step such that the set of all initial configurations of the SSM is a superset of all the stable configurations of the OSM by using translator; check the reachability of states of the OSM in the SSM by using bounded model checker (BMC); and send the result to the output means.