Abstract: A hard/soft cooperative verifying simulator is based on a SystemC simulator, and provides the capability of reducing overhead of context switching control thereby to shorten processing time. Time keepers for controlling simulation times of a plurality of threads are provided corresponding to the threads generated as simulation models for hardware and software. Each of the time keepers has a variable which holds a simulation time for each thread, a variable which holds a summation time, and a break request queue which stores a break time and its corresponding break method therein. The time keeper manages both variables and the queue in response to six types of method invocations from the thread, and invokes a wait function of the SystemC simulator when necessary. It is thus possible to reduce the number of times that a wait function invocation is performed, and shorten the entire processing time.

Abstract: The computer-implementable method allows for the fast creation of a multi-unit interval data signal suitable for simulation. The created signal represents the output of an otherwise ideal Discrete Time Filter (DTF) circuit, and the quick creation of the signal merely requires a designer to input the number of taps and their weights without the need of laying out or considering the circuitry of the DTF. A matrix is created based on a given data stream, and the number of taps and weights, which matrix is processed to create the multi-unit-interval data signal. Noise and jitter can be added to the created signal such that it now realistically reflects non-idealities common to actual systems. The signal can then be simulated using standard computer-based simulation techniques.

Abstract: A method and system for designing bottom hole assembly configuration. The system and method include modeling the bottom hole assembly by dividing complicated BHA configurations into independent modules and segments. Modules are bounded by two stabilizers where segments are bounded by bottom hole assembly components. A recursive process is used to derive solutions for each of the segments and modules. Only two unknowns (and two non-linear equations) are left when the recursive process reaches to the bit. The two unknowns are then solved by iteration.

Abstract: A method includes in a system determining a constraint for constraining operation of a portion of a block diagram model, determining if the portion of the block diagram model violates the constraint, and providing a user information based on the violating of the first constraint.

Abstract: A computer system for processing composite data is provided. The system includes means for processing a computing operation that is designed to receive a non-composite data type as at least one input. The composite data is provided to the computing operation as the at least one input. The system further includes an expansion marker that indicates each element in a first composite data needs to be processed separately and an expansion mechanism that uses the computing operation to process each element in the first composite data individually. The system also includes storage for storing a result of processing each element of the first composite data individually with the computing operation.

Abstract: A non-sensitive building is extracted according to radio environment data indicating the current condition of the radio communication environment in the search target area and digital map data including attribute information concerning the buildings in the search target area, thereby acquiring attribute information corresponding to the non-sensitive building. The known use condition data on target radio communication system or the similar system and the digital map data are used to obtain an equation for estimating the affect given to the effect of benefits by the attribute information parameter. According to the extracted non-sensitive building attribute information and the obtained equation, the effect obtained by performing the non-sensitive area countermeasure to each of the non-sensitive buildings is estimated. The priority of performing the non-sensitive area countermeasure is decided in accordance with the effect scale.

Abstract: A method for producing a substantially calibrated numerical model, which can be used for calculating a stress on any point in a formation, accounts for a formation's geologic history using at least one virtual formation condition to effectively “create” the present-day, virgin stress distribution that correlates, within acceptable deviation limits, to actual field stress measurement data obtained for the formation. A virtual formation condition may describe an elastic rock property (e.g., Poisson ratio, Young's modulus), a plastic rock property (e.g., friction angle, cohesion) and/or a geologic process (e.g., tectonics, erosion) considered pertinent to developing a stratigraphic model suitable for performing the desired stress analysis of the formation.

Abstract: The layout and configuration of wind turbines in a wind power plant includes identifying constraints of a power plant site and defining at least one region in the site for placement of a plurality of wind turbines. The wind state at the region in the site is determined. An actual wind condition at the various possible wind turbine locations within the site is determined by modeling the wind state with wake effects at the respective wind turbine locations. Individual wind turbine configuration and location within the region is then selected as a function of the actual wind conditions each of the individual wind turbine locations to optimize power output of the individual wind turbines. The selection of turbine configuration includes selection of a turbine hub height that minimizes wake loss of the individual wind turbines as a function of the actual wind conditions predicted for the turbine location.

Abstract: A CMOS model generating apparatus 1 according to the present invention generates a CMOS model by converting an In-Ip space into an xn-xp space such that a typical condition TT and corner conditions FF, SS in the In-Ip space become (0, 0), (?, ?) and (??, ??) in the xn-xp space, determining an ellipse fitting to the respective mappings of the corner conditions FF, SS, FS and SF with the mapping (0, 0) of the typical condition TT as a center, expressing two independent principal components in the form of a Gaussian distribution using the major and minor axes of this ellipse as axes of the principal components, and obtaining a probability distribution determining deviations of the Gaussian distribution such that the cumulative probability within this ellipse becomes equal to the one presumed by the corner conditions FF, SS, FS and SF.

Abstract: Various embodiments of a co-simulation system are disclosed. In one embodiment, a data processing arrangement executes a simulator that simulates a first block of an electronic circuit design. A first clock source generates a first clock signal, and a second clock source generates a second clock signal. The first and second clock signals are independent one from another, and an operating frequency of the second clock signal is dynamically adjustable from a clock control interface. A programmable logic device (PLD) is configured with logic that includes a co-simulation interface clocked by the first clock signal, a second block of the electronic circuit design that is clocked by the second clock signal, and a synchronizer that controls data transmission between the co-simulation interface and the second block.

Abstract: A method of efficient library characterization of a circuit of a logic gate having a plurality of transistors and a plurality of nodes defining interconnection points in the circuit is disclosed. The method includes determining a plurality of vectors for a plurality of arcs. Each of the plurality of vectors represents possible data bits to inputs and nodes of the logic gate. The method selects a plurality of substantially distinct vectors from the plurality of vectors for each of the plurality of arcs, and performs circuit pruning for each of the plurality of substantially distinct vectors, taking each one substantially distinct vector at a time. The circuit pruning includes identifying an active circuit for each vector. The active circuit is identified by determining which circuit features are activated when applying a particular one of the substantially distinct vectors. Then, the circuit simulations limited to a plurality of transistors in the active circuit are performed.

Abstract: The invention is a method for simulating sandstone deposition. The sandstone is simulated by estimating the grain size distribution and mineral composition of grains in the sandstone, simulating sedimentation of grains from the grain size distribution and mineral composition of the grains, simulating compaction of the grains, and simulating cementation of the grains. Properties of the sandstone such as porosity and permeability may be estimated from the simulated sandstone. The method permits multiple mineralogies to be simulated during the burial history of sedimentation, compaction and cementation.

Abstract: This invention relates to computing numerical solutions of linear systems of equations, specifically to implementing preconditioning of the coefficient matrix of such a system. The preconditioning applies to any coefficient matrix, dense or sparse, based on the solutions of a physical problem of unknown functions, commonly referred to as basis or interpolation functions, where the basis function spans more then one mesh element. Examples of such linear systems can result from, as examples, an electromagnetic analysis of printed circuit boards or field scattering in radar applications, fluid mechanics and acoustics. A method and system to compute a preconditioner for a coefficient matrix A that is compatible with the linear system of equations that provides basis function support over at least two mesh elements. Coupling of the preconditioner between partitions of a portioned mesh representation is only through basis functions at the partition boundaries.

Abstract: This invention relates to computing numerical solutions of linear systems of equations, specifically to implementing preconditioning of the coefficient matrix of such a system. The preconditioning applies to any coefficient matrix, dense or sparse, based on the solutions of a physical problem of unknown functions, commonly referred to as basis or interpolation functions, where the basis function spans more then one mesh element. Examples of such linear systems can result from, as examples, an electromagnetic analysis of printed circuit boards or field scattering in radar applications, fluid mechanics and acoustics. A method and system to compute a preconditioner for a coefficient matrix A that is compatible with the linear system of equations that provides basis function support over at least two mesh elements. Coupling of the preconditioner between partitions of a portioned mesh representation is only through basis functions at the partition boundaries.

Abstract: A modeling circuit includes a field-effect transistor, a first current source, a first bipolar transistor, a second current source and a second bipolar transistor. The first bipolar transistor and the second bipolar transistor are parasitic bipolar transistors that are arranged symmetrically to each other. Therefore, the modeling circuit can be used in simulating the field effect transistors reflecting electrostatic-discharge characteristic regardless of the polarity of a source and a drain.

Abstract: A product design method includes accessing a defined product design structure. The product design structure includes a number of customer concerns, a number of physical properties associated with components of the product, and a number of relation models. Each customer concern is associated with at least one physical property via at least one mathematical relationship defined in at least one of the relation models. The method also includes receiving a value associated with one or more of the physical properties and calculating (using one or more of the relation models) the effect of the received value associated with the one or more physical properties on one or more of the customer concerns. Furthermore, the method includes displaying the calculated effect on the one or more customer concerns and receiving one or more adjustments of the value associated with one or more of the physical properties to create a desired effect on one or more of the customer concerns.

Abstract: A method to estimate damage propagation is disclosed. The method includes making available a set of input parameters to a computational model, executing the computational model with defined changes within a range of an input parameter of the set of input parameters to define a range of at least one modeled output, receiving at least one signal responsive to and representative of a respective one of an actual sensor output, and estimating damage propagation based upon a correlation of the received signal to the modeled output.

Abstract: A graphical block that defines the functionality of a lookup table and can be used in a block diagram model to capture time-varying characteristics of a system's behavior in the lookup table is presented. The block uses input and output data of the system to dynamically create and update the contents of the underlying lookup table over time. More specifically, the block utilizes an adaptation process that uses the system (or plant) output data to recompute the table values. The adaptation process is implemented as a statistical and signal processing algorithm, such as Recursive Sample Means (RSM), Least Mean Squares (LMS) and Recursive Least-Squares (RLS). The adaptation can be cell-based or point based.

Abstract: A method and apparatus are provided for multi-realm system modeling (MRSM) for dividing systems into components, defining realms containing objects representing system components, defining relationships between the system components, defining relationships and/or associations between realms sufficient to unify objects in the realms, and unifying objects in the realms based on the relationships and/or associations.

Abstract: Example embodiments provide various techniques for modeling a storage environment at various times. A computer model can be composed to simulate a storage environment at various time periods. In an example, the computer model may simulate the storage environment in the past. As the storage environment is running, it continuously stores its existing state. This existing state can be accessed and a simulated workload may be applied to this previous state to identify an impact of the simulated workload on the existing state. A computer model may also simulate the storage environment in the future. Here, the future state of the storage environment may be projected from the existing state. Various extrapolation techniques may be used to project the future state of the storage environment.