Abstract: Different software applications may use a set of instructions having critical timing paths less than a worst case critical timing path of a processor complex. For such applications, a supply voltage may be reduced while still maintaining the clock frequency necessary to meet the application's performance requirements. In order to reduce the supply voltage, an adaptive voltage scaling method is used. A critical path is selected from a plurality of critical paths for analysis on emulation logic to determine an attribute of the selected critical path during on chip functional operations. The selected critical path is representative of the worst case critical path to be in operation during a program execution. During on-chip functional operations, a voltage is controlled in response to the attribute, wherein the voltage supplies power to a power domain associated with the plurality of critical paths. The reduction in voltage reduces power drain based on instruction set usage allowing battery life to be extended.

Abstract: A graphical model is received and includes a plurality of entities and connectivity information between the entities. The entities include properties, behavioral descriptions, and optionally behavioral constraints. A symbolic expression is received. The symbolic expression represents a property of a first entity in the graphical model. A second entity is identified. The second entity includes the property represented by the symbolic expression. The second entity is identified based on at least one of the connectivity information, a behavioral description, or a behavioral constraint. The symbolic expression is propagated to the second entity. The second entity is expressed in terms of the propagated symbolic expression. An updated graphical model is generated.

Abstract: A method, system and program storage device for history matching and forecasting of subterranean reservoirs is provided. Reservoir parameters and probability models associated with a reservoir model are defined. A likelihood function associated with observed data is also defined. A usable likelihood proxy for the likelihood function is constructed. Reservoir model parameters are sampled utilizing the usable proxy for the likelihood function and utilizing the probability models to determine a set of retained models. Forecasts are estimated for the retained models using a forecast proxy. Finally, computations are made on the parameters and forecasts associated with the retained models to obtain at least one of probability density functions, cumulative density functions and histograms for the reservoir model parameters and forecasts. The system carries out the above method and the program storage device carries instructions for carrying out the method.

Abstract: A system for making real-time predictions about an arc flash event on an electrical system is disclosed. The system includes a data acquisition component, an analytics server and a client terminal. The data acquisition component is communicatively connected to a sensor configured to acquire real-time data output from the electrical system. The analytics server is communicatively connected to the data acquisition component and is comprised of a virtual system modeling engine, an analytics engine and an arc flash simulation engine. The arc flash simulation engine is configured to utilize the virtual system model to forecast an aspect of the arc flash event.

Abstract: A method is provided for evaluating workload consolidation on a computer located in a datacenter. The method comprises inflating a balloon workload on a first computer that simulates a consolidation workload of a workload originating on the first computer and a workload originating on a second computer. The method further comprises evaluating the quality of service on the first computer's workload during the inflating and transferring the workload originating on either the first or the second computer to the other of the first or second computer if the evaluating the quality of service remains above a threshold.

Abstract: A computer-aided design station for use in computer-aided design of a modeled object includes a display device configured to display the modeled object and at least one secondary object in a viewing area, an interface device configured to receive user inputs relating to the modeled object and the viewing area, and a processor operably coupled to the display device and the interface device. The processor is configured to cause the display device to display an alignment tool in the viewing area in response to user input and cause the display device to display at least one attach point of the secondary object in response to user input. The processor is also configured to detect when the alignment tool is moved to a position within a first preselected distance from the secondary object and automatically align the secondary object with respect to the alignment tool.

Abstract: Systems and methods for emulating the reception of a multicast message considering simulated host channel characteristics. Methods, according to various embodiments, may comprise executing a plurality of host applications subscribing to a first multicast group address. The methods may also comprise executing a plurality of sockets. The methods may also comprise receiving a data packet indicating the first multicast group address. The data packet may be modified according to a first channel impairment condition to generate a first impaired data packet, which may be directed to a first host application selected from the plurality of host applications via a first socket selected from the plurality of sockets. The first socket may correspond to the first host. The data packet may be modified according to a second channel impairment condition to generate a second impaired data packet directed to a second host application via a second socket.

Abstract: A back-up storage system that emulates a sequential storage medium such as a tape and stores data on a randomly accessible storage medium, such as disk. The back-up storage system includes a randomly accessible storage medium, a front-end interface to emulate the sequential storage medium, to communicate with external devices using a protocol that supports the sequential storage medium, and to receive sequential-format data from the external devices, and a back-end interface to receive the sequential-format data from the front-end interface and to store the sequential-format data on the randomly-accessible storage medium.

Abstract: To update a subterranean model, an initial subterranean model is provided, and based on the initial subterranean model, changes to subterranean parameters are predicted using a reservoir simulator. Electromagnetic data representing characteristics of a subterranean structure is computed according to the predicted changes to the subterranean parameters, and the initial subterranean model is modified based on comparing the computed electromagnetic data with observed electromagnetic data.

Abstract: Disclosed are a PLC (Programmable Logic Controller) symbol structure for a PLC code for automatically generating an input/output model, and a simulation apparatus and a simulation method for testing the PLC code using the same. In one embodiment, a computer-readable recording medium records a PLC code including a plurality of PLC symbols, wherein each of the PLC symbols includes a plurality of levels identified by an identifier, and a computer automatically generates an input/output model using the structure of each of the PLC symbols, thereby performing a simulation for testing the PLC code. The PLC symbol structure according to one embodiment systematically contains information required for automatically generating the input/output model, making it possible to automatically generate the input/output model for testing the PLC code in an easier manner without knowledge of simulation and modeling, and reducing the time consumed and the labor required for generating the input/output model.

Abstract: Systems and methods are described that provide a Heat Flow Model (HFM) graph modeling methodology. Embodiments automatically translate formal HVAC system descriptions from a Building Information Model (BIM) into HFM graphs, and compile the graphs into executable FDD systems. During an engineering phase, a user interface is used to enter parameters, conditions, and switches not found in the BIM. During a runtime phase, real-time data from an HVAC control system is input to the generated FDD system (HFM graph) for fault detection and diagnosis.

Abstract: A method for updating an earth model with fractures or faults using a microseismic data using mechanical attributes of an identified faults or fracture by matching a failure criterion to observed microseismic events for an identified fault or fracture.

Abstract: In one embodiment of the invention, a method of analyzing a circuit design is disclosed. In the method of analyzing a circuit design, a circuit is levelized into multiple levels. Circuit simulations of elements at a level are determined using circuit simulators, one for each element and in parallel in level order. Topological circuit loops may be removed from the circuit. Circuit simulation of the circuit may be performed on the circuit using the circuit simulations determined by the circuit simulators at each level of the circuit.

Abstract: Methods and systems of reducing drilling vibrations include generation a vibration performance index using at least one frequency-domain model having a velocity-dependent friction relationship. The vibration performance index may be used to aid in the design or manufacture of a drill tool assembly. Additionally or alternatively, the vibration performance index may inform drilling operations to reduce vibrations.

Abstract: A method of simulating fluid flow in a three-dimensional volume with a moving boundary is presented. The moving boundary is provided within a computational fluid dynamics (CFD) mesh. The CFD mesh includes mesh points defining three-dimensional mesh cells. Locations of the mesh points at the moving boundary are revised predicated on known motion characteristics thereof such that the CFD mesh undergoes distortion near the moving boundary. The distortion is minimized using an elastic deformation model that does not involve dimensional physical parameters. As a result, a revised CFD mesh is generated. A fluid flow simulation is then computed for the three-dimensional volume using the revised CFD mesh.

Abstract: Methods, program products and systems for preparing a mechanical model for a dynamic simulation. A first plurality of bodies in a mechanical model are identified including at least one grounded body and at least one free body, each of the bodies in the first plurality of bodies being related to at least one other body in the plurality of bodies by at least one constraint that removes or limits at least one degree of freedom for that body in relation to another body. The bodies in the first plurality of bodies are merged into a minimum number of rigid groups needed for a dynamic simulation where the minimum number of rigid groups includes at least one grounded group and at least one mobile group. Constraints that relate bodies within a group are removed from each of the rigid groups.

Abstract: Analyzing one or more physical infrastructure elements of a data center by generating a plurality of outputs from a stochastic process for a set of inputs to the stochastic process. The inputs comprise one or more inputs of certainty and one or more inputs of uncertainty. A statistical output analysis of the outputs is utilized to generate one or more threshold reaching projections for each of the physical infrastructure elements of the data center.

Abstract: A method for automating input/output buffer information specification (IBIS) model generation. A wrapper utility combines components into an automated generation flow to model multiple input/output (I/O) buffers that conform to single-ended and differential I/O standards. Configuration data files are imported to properly configure the modeled I/O buffers according to a specific set of signal parameters across all process corners. Output and input termination impedance may also be modeled within the I/O buffer. A simulation setup file of the modeled I/O buffer is generated to determine the voltage/current (V/I) and voltage/time (V/T) data for the modeled I/O buffer for each process corner. A raw IBIS model is then created, formatted, and validated to determine the accuracy of the IBIS model. Execution steps of the IBIS model generator are then iterated to automatically generate, correlate, and compile IBIS models for each I/O standard into a single file.

Abstract: A system, method and computer program product are provided for creation of a network training environment that simulates a large network as a training target and using simulation and virtual network technologies together with actual network resources to teach computer network exploitation and computer network attack techniques in training exercises for persons responsible for safeguarding networks and for probing and attacking others' networks. The system, method, and computer program product further support integration of real hosts for more realistic exercises.

Abstract: A method for modeling deformation in subsurface strata, including defining physical boundaries for a geomechanical system. The method also includes acquiring one or more mechanical properties of the subsurface strata within the physical boundaries, and acquiring one or more thermal properties of the subsurface strata within the physical boundaries. The method also includes creating a computer-implemented finite element analysis program representing the geomechanical system and defining a plurality of nodes representing points in space, with each node being populated with at least one of each of the mechanical properties and the thermal properties. The program solves for in situ stress at selected nodes within the mesh.