Abstract: Operational resource modeling is usable to analyze application and computer system performance over a wide range of hypothetical scenarios. Operational resource modeling involves creating and training one or more resource models, and/or simulating hypothetical scenarios using resource models.

Abstract: Electronic Design Automation tools are used to aid in the design and verification of integrated circuits. As part of the verification process, circuit designs are analyzed with respect to their timing performance. Timing analysis is susceptible to variation in circuit components due to fabrication process variation. Process variation is introduced as worst-case conditions or statistical probabilities. More accurate process variation is modeled by for timing sensitivity with Parametric Elmore Delay. Parametric Elmore Delay introduces effects on circuit components as parameters in the conventional Elmore Delay definition to model fabrication process variation in the timing analysis. Delay variance demonstrates sensitivities to process and design factors. Parametric timing analysis is used to anticipate fabrication yield and identify potential improvements in the design or fabrication process.

Abstract: A method for sizing components of a motor control system powered by a power supply includes receiving an upper nominal line voltage parameter for the power supply. A lower nominal line voltage parameter for the power supply is received. A first performance measure of the motor control system is determined based on the upper nominal line voltage parameter. A second performance measure of the motor control system is determined based on the lower nominal line voltage parameter. Components suitable for use in the motor control system are identified based on at least the first and second performance measures.

Abstract: A method of creating a power pin model of an LSI having appropriate analysis accuracy in consideration of information on positions within the LSI is provided. A divided cell size decision unit automatically decides a divided cell size of the LSI from power supply circuit network wire information, transistor structure information, analysis frequency information, size information, and element arrangement information of the LSI as well as from a semiconductor integrated circuit entire power pin model. A model creation unit allocates a model of an active section and a model of an internal capacitance section, including the positional information, within the LSI to the cells at an appropriate proportion, and a model coupling unit couples the models in each cell to create a power pin model of the LSI.

Abstract: A system for defining the effect of forces on a model. The model is displayed and the model includes a goal axis and an equilibrium line. A plurality of qualitative effects are added to the equilibrium line. Each of the added qualitative effects apply a force to the equilibrium line. A qualitative strength and a quantitative strength are assigned to one or more of the added qualitative effects. The equilibrium line is bent in a positive and a negative direction based on an amount and a direction of force applied to the equilibrium line by each of the added qualitative effects. Also, the equilibrium line is moved in a positive or a negative direction along a goal axis based on a net effect of forces applied to the equilibrium line by the added qualitative effects. In addition, the model as effected by the added qualitative effects is saved to storage.

Abstract: A method (and system) for emulating a target system's memory addressing using a virtual-to-real memory mapping mechanism of a host multiprocessor system's operating system, includes inputting a target virtual memory address into a simulated page table to obtain a host virtual memory address. The target system is oblivious to the software it is running on.

Abstract: A method is disclosed for optimal lift gas allocation, comprising: optimally allocating lift gas under a total lift gas constraint or a total produced gas constraint, the allocating step including distributing lift gas among all gas lifted wells in a network so as to maximize a liquid or oil rate at a sink.

Abstract: Methods and systems for translating models generated in one modeling environment into models that can be used in other modeling environments. In particular, information regarding a relationship between components of models in one modeling environment is translated into corresponding elements of models in other modeling environments. In some embodiments of the present invention, for example, mate information between rigid parts in geometric models may be translated into corresponding elements in other modeling environments. The mate information between parts in geometric models may be translated into information representing the degrees of freedom (DoFs) of the parts in the geometric models. The information on the DoFs of the parts in the geometric models may be utilized to build up corresponding elements in other modeling environments that represent the relationship between the parts of the geometric models.

Abstract: A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.

Abstract: The present invention is directed towards systems and methods for simulating and analyzing a change in concentration of solute in a solution. The solution being simulated is encompassed by an interface. The concentration at a first point in time is determined at a set of nodes encompassed by the interface. A spatial cell is associated with each node. An extended concentration is calculated at an extended node. The extended node is not encompassed by the interface. The concentration is calculated at a second point in time at a set of nodes encompassed by the interface, based upon the concentration at the set of nodes encompassed by the interface at the first point in time and the extended concentration.

Abstract: Heat trace system design is disclosed. In some embodiments, pipe system data including data associated with pipe system components is received, and in response to receiving a selection of a pipe system component, data associated with a set of one or more pipe system components including the selected pipe system component is automatically extracted from the received pipe system data. One or more heat trace system components for the set of pipe system components are determined based at least in part on the extracted data.

Abstract: A method for circuit simulation using a netlist in which a first device having an unmodeled, nonlinear behavior is modified by inserting a second device which has a nonlinear response approximating the unmodeled nonlinear behavior. The first device may be for example a first transistor and the second device may be a variable current source, in particular one whose current is modeled after a floating transistor template which represents gate leakage current of the first transistor (gate-to-source or gate-to-drain). During simulation of the circuit a parameter such as a gate-to-source voltage of the second transistor is controlled to model gate leakage. The model parameters can be a function of an effective quantum mechanical oxide thickness value of a gate of the first transistor technology.

Abstract: The present invention provides a method and apparatus for sensing and determining the shapes of deformable materials, shaped by a plurality of actuators, using sparse sensor network topologies. The method comprises placing a plurality of curvature sensors on the surface of a deformable material to measure the local curvatures of the deformable material. The plurality of curvature sensors generate a collection of sensor data correlated to the local curvatures. Actuator parameters are generated from sensor data by assuming linear approximation between sensors data and actuator parameters. The shape of the deformable material is determined from the generated actuator parameters.

Abstract: A hardware simulation accelerator to simulate logic designs, a method to encode instructions for use in the hardware simulation accelerator, and a computer program product having code of the method by which the hardware simulation accelerator can read encoded instructions to simulate the logic design, and computer program product of the encoded instructions to simulate a logic design in a hardware accelerator. Each instruction has one of a plurality of opcodes, the opcodes select which of the hardware resources of the hardware simulation accelerator will implement and use the values set forth in other programmable bits of the encoded instruction. The encoded instruction may be a routing and/or a gate evaluation instruction.

Abstract: A method for creating a global simulation model of an architecture for models of integrated circuits under development, including reading an architecture description file of the global model and storing information related to all of the possible configurations instantiating the components and storing the corresponding information, topologically connecting the interface signals, physically connecting the interface signals, at the level of each instance of the components using a component and connection rule table, and storing the corresponding information, and automatically generating the HDL-type and HLL-type source files of the global simulation model.

Abstract: Transaction-level simulation in which communication over a bus is performed by using a transaction. The transaction includes information indicating whether information is attribute information that is mapped to hardware and includes attribute information that is not mapped to hardware. The transaction is received, time information which is attribute that is not mapped to hardware is read from the transaction, and the result of the simulation based on the read time information is outputted.

Abstract: One embodiment of the invention provides a computer-implemented method for providing prediction results to an application system during an interactive session with a user. In this embodiment, the method includes receiving a first set of input values from the application system, using a data mining model along with the first set of input values to compute a first prediction result, and saving state information generated from the computation of the first prediction result. The method further includes receiving a second set of input values from the application system, and using the data mining model along with the state information and the second set of input values to compute a second prediction result.

Abstract: Systems, methods, and apparatus are provided for emulating the performance effect on network traffic flow traversing a node in a communications network. According to one illustrative embodiment, a method of emulating traffic through a node is provided. The method includes generating foreground traffic through the node; simulating a first background traffic having a first weight at the node; simulating a second background traffic having a second weight at the node; determining an effect of the first and second background traffic on the foreground traffic; and making a forwarding decision with respect to the foreground traffic based on the effect.

Abstract: An integrated circuit chip has new Frequency dependent RLC extraction and modeling providing on chip integrity and noise verification and the extraction and modeling employs: A) 2D scan line algorithm for the collection of adjacent signal and power conductor coordinates; B) In core pair-wise frequency Dependent RL extraction; C) In core equivalent circuit synthesis; D) caching and partitioning RL extraction techniques for run time efficiency; and E) Techniques for synthesizing stable circuits to represent frequency dependent RL circuits for non-mono tonic R12.

Abstract: A system and method for emulating disk drives in a storage area network, including providing a system with one or more ports for connecting to a storage area network, emulating one or more targets for each port of the system, and emulating one or more LUNs for each emulated target of the system.