Abstract: A method of processing seismic data representing a physical system, the method comprising a difference between first and second seismic data representing the system in first and second states, respectively, and inverting the difference in accordance with a parameterized model of the physical system to obtain changes in the parameters of the model.

Abstract: An arrangement calculates a description of potential responses of a distributed system in response to at least one input stimulus. The distributed system including nodes whose operation is described by respective node behavior descriptions. The method involves applying symbolic evaluation to plural node behavior descriptions so as to produce plural response descriptions that describe responses of nodes, and combining at least the plural response descriptions so as to arrive at the description of potential responses of the distributed system.

Abstract: A computer-based system for testing a circuit design for implementation within an integrated circuit device can include a design application (205) providing simulation instructions for testing a circuit design and a simulation driver (225) receiving the simulation instructions and translating the simulation instructions into control protocol instructions specifying operations of an integrated circuit control protocol. The system can include a simulation environment (240). The simulation environment can include a communication module (245) communicating with the simulation driver, a simulation cable driver (250) receiving the control protocol instructions from the simulation driver via the communication module, and a control module (255). The simulation cable driver further can translate the control protocol instructions into signaling information corresponding to the integrated circuit control protocol.

Abstract: A computer-aided method suitable for assisting in the design of an aircraft by providing the values of dimensional variables, dependant of a predefined set of parameters, for the complete aircraft or an aircraft component, comprising the following steps: a) Defining a parametric space grid; b) Obtaining a suitable Reduced Order Model (ROM) model, particularly a Proper Orthogonal Decomposition (POD) model, for calculating said variables for whatever point over the parametric space through an iterative process. Computer Fluid Dynamics (CFD) is used to calculate said variables for an appropriately selected set of points over the parametric space, which are used to approximate, via ROM and ad hoc interpolation, the variables in any other point over the parametric space. The method minimizes the required number of CFD calculations (to minimize the computational cost, which dramatically depends on this number) for a given level of error.

Abstract: A method for generating a linear piecewise representation of a driver output current signal includes segmenting the driver output current signal such that an integral of each segment matches an actual voltage change in corresponding portion of an associated output voltage signal (within a desired tolerance). The beginning and ending current/time values for each segment can then be compiled into the piecewise linear representation of the driver output current signal. A method for generating a model driver output current signal includes conformally mapping first and second sets of precharacterization output current data based on a weighted average of the indexing parameter (e.g., input slew or output capacitance) values for the model driver output signal and the first and second sets of precharacterization data.

Abstract: Computer-implemented systems and methods for processing time series data that is indicative of a data generation activity occurring over a period of time. A model specification hierarchical data structure is used for storing characteristics that define a time series model. A fitted model hierarchical data structure stores characteristics that define a fitted time series model. The characteristics of the fitted time series model are defined through an application of the time series model to the time series data.

Abstract: A computer implemented method for simulating a final pattern of a droplet of a fluid having a plurality of fluid properties is disclosed. The method includes using lubrication equations to represent solute flow, diffusion and evaporation of a droplet on a substrate. The method further includes solving the lubrication equations through temporal discretization and spatial discretization; and deriving the final pattern of the droplet from results of the solving. The final pattern is stored on a computer readable medium.

Abstract: An international transaction system for operation over the internet/intranet provides a pre-transactional calculation of all charges involved in any international transaction. Upon the option of the customer, the goods can be viewed on catalogue sheets translated to a language of the customer's choice, and the price provided in a currency selected by the customer. The customer also has the option of initiating the order with automatic credit authorization, generation of an electronic title or commercial invoice and arrangements and payment of shipping charges and any taxes and import/export duties.

Abstract: There is provided a method for simulating the electrical characteristics of an electronic device including a step of specifying the material, electrical characteristics, and shape of a part of interest of the electronic device, the specification of the shape being performed by selecting it from among several preselected simplified shape models to obtain required data easily. Further, it is possible to reuse such data as input data for various simulators. The data can be accurately created in a shorter period of time.

Abstract: An improved “code-free” method of describing EDI business information manipulation processes. Whereas currently EDI translation and message processing is characterized by complex programming methods, this use of a spreadsheet style metaphor enables EDI processing to be developed that can be used in an ad hoc and dynamic fashion. This matches the business requirements brought about by environments such as the Internet and Electronic Commerce. Also the method can be integrated directly into modern software tools such as Web Browser software, and used by people who are not intimately familiar with the exact details of EDI message syntax. Instead they utilize a familiar data representation in order to accomplish a complex task that otherwise would instead require highly skilled programming knowledge to perform.

Abstract: The invention is an apparatus for physically exchanging a force with a user in an environment local to the user. A connection element connects to a user's body member and a linkage between the connection element and ground. The linkage includes means for powering at least three independent freedoms of the connection element relative to ground and means for maintaining at least one independent freedom of the connection element relative to ground free of power. Up to three independent freedoms of the connection element may be maintained free of power, and up to five independent freedoms may be powered. Other aspects of the invention include a two actuator counter-balance for controlling a point on a link. The invention also includes apparatus for establishing a virtual, switch, which presents to the user the force and displacement relationship of a spring switch.

Abstract: A method for modeling the behavior of an underground structure such as an underground storage tank under seismic loads includes the steps of constructing separate finite element models for the ribs, tank and fill material. The fill material model comprises a plurality of three-dimensional solid “brick” elements. The tank model comprises a plurality of three dimensional plate/shell elements. The rib model comprises a plurality of beam elements. The nodal points for the beam elements correspond to nodes defining one edge of the tank shell. The tank/rib model is preferably joined to the soil model through a plurality of radial link elements between the brick and shell elements. Spring elements may also be added for stability. A dynamic vertical or horizontal forcing function from an earth quake is then applied to the model. Stress and/or displacement results from horizontal and vertical forcing functions may then be combined if desired.

Abstract: Metalization structures are modeled by employing a basis function decomposition process for modeling the charge and/or current distributions and the interactions of those distributions on metalization structures arising from voltages and currents flowing in the metalization structures. Then, the charge and/or current distributions and their interactions are employed to obtain the electrical characteristics of a metalization structure. In one embodiment of the invention, representative sub units of the metalization structure are selected, the charge and current distributions are determined in those representative sub units, the self and mutual interactions are determined of those sub units and, then, those self and mutual interactions are used as an initial solution to describe all interactions between similar metalization sub units in the overall system of metals. These interactions are then employed to determine the impedance and admittance of each of the sub units.

Abstract: In an apparatus and method for remote ultrasonic determination of thin material properties using signal correlation, a method and apparatus are provided by which an arbitrarily-oriented anisotropic thin material may be interrogated for characterizing an unknown material property value thereof. The unknown material property may comprise for example temperature, pressure, elastic constants, density, hardness, composition, crystal orientation, grain size, and residual stress, or any material property that is variable with respect to known physical parameters of the material, for example known material elastic constants and/or density. In a first embodiment, theoretical signals are generated, for example a theoretical signal matrix, to characterize a material property value of a thin anisotropic material. A model of the thin material is generated comprising the behavior of the known material physical properties as functions of the unknown material property value to be characterized.

Abstract: A simulator can simulate a processor which performs pipeline processing of operation instructions, and performs operation processes in parallel, a number of the processes being larger than a number of the pipelines. The simulator simulates a passing operation in which a result of an operation processing obtained from execution of an operation instruction is output earlier than a result of another operation process obtained from previously started execution of another operation instruction, the passing operation occurring due to the number of execution cycles of each operation instruction which is executed in parallel with execution of other operation instructions.

Abstract: Method and apparatus for evaluating programming used by a programmable processor device in a disc drive to carry out servo control of a head with respect to a rotatable disc. The programming is first generated as a series of instructions executable by the programmable processor device. Processor emulation software is used to simulate execution of the instructions in a computer. A dynamic model of electrical and mechanical portions of the disc drive is generated using plant simulation software. A dynamic linking program is configured to synchronize and transfer data between the processor emulation software and the plant simulation software. All three programs are thereafter simultaneously executed in the computer to evaluate realtime operation of the programming.

Abstract: A system and method for determining variable orders for decision diagrams. The variable orders are determined by sampling subspaces of a Boolean space representing a function or circuit. The subspaces are formed in a variety of ways, including through the use of abstraction, decomposition, partial assignments, and circuit subspaces.

Abstract: The coverification system includes a reconfigurable computing system (hereinafter “RCC computing system”) and a reconfigurable computing hardware array (hereinafter “RCC hardware array”). In some embodiments, the target system and the external I/O devices are not necessary since they can be modeled in software. In other embodiments, the target system and the external I/O devices are actually coupled to the coverification system to obtain speed and use actual data, rather than simulated test bench data. The RCC computing system contains a CPU and memory for processing data for modeling the entire user design in software. The RCC computing system also contains clock logic (for clock edge detection and software clock generation), test bench processes for testing the user design, and device models for any I/O device that the user decides to model in software instead of using an actual physical I/O device.

Abstract: A method and apparatus for calculating circuit delay times efficiently arranges and stores data to reduce system memory requirements, which allows computers without large storage devices, such as conventional personal computers with limited hard disk space, to be used for testing preliminary device designs, Delay time ratio coefficient values representing a ratio of a delay time determined by values of dependency factors having a large correlation with one another to a predetermined reference delay time of a circuit element are stored in a coefficient table. The dependency factors include process condition, in use or operational temperature, and first and second operational supply voltages.

Abstract: A system and method for generating inline subcircuits that enable a circuit designer to model and simulate circuits that when compared to conventional system and methods reduces the hierarchy from the perspective of the circuit designer, more efficiently models parasitic components, more efficiently parameterizes device models, more effectively creates models that are compatible with other simulation tools, can change the interface of a component without requiring the designer to use an extra layer of hierarchy, provides a more efficient interface by hiding details from the designer, enables hidden monitors and other functional designs to be automatically simulated by hiding these functions from the designer in a design level that is below the design level that is of interest to the designer, such as the geometrical parameter design level, can perform general purpose model binning with automatic selection, can export models and model parameters to other hierarchies without requiring an additional hierarchy in