Abstract: A first model expression having a first order and representing a relationship between evaluation indicators and the design parameters and a second model expression having a second order higher than the first order and representing a relationship between them are generated. Then, according to a quantifier elimination method, values of the design parameters, which realize an optimum solution of the first model expression, are calculated. And, a design parameter whose value is identical to an upper limit value or a lower limit value is identified, and the second model expression is transformed by substituting the upper limit value or the lower limit value, as a value of the identified design parameter, for the second model expression. Finally, according to the quantifier elimination method, values of the design parameters in the transformed second model expression, which realize an optimum solution of the transformed second model expression, is calculated.

Abstract: A method of computer simulation of an aerodynamic behavior of an aircraft in flight close to the ground includes generating a volume mesh of a three-dimensional geometric domain. The volume mesh is at least partly delimited by a three-dimensional geometric model of the aircraft and by a plane modelling the ground. The volume mesh defines a computational domain. The method also includes imposing a uniform boundary condition on the plane comprising a predetermined speed vector with a non-zero tangential component and a non-zero normal component, and solving a discrete numerical model of the Navier-Stokes equations by computer on the volume mesh with the uniform boundary condition imposed on the plane to obtain a numerical solution of a fluid flow inside said computational domain.

Abstract: The invention relates to a method for determining transfer functions of the HRTF type for an individual, that includes: measuring, for a first number of directions, the transfer functions of the HRTF type specific to the individual; matching the directivity functions associated with the measured functions of the HRTF type, with reference directivity functions associated with reference transfer functions of the HRTF type, the reference functions of the HRTF type being determined for a second number of directions higher that the first number of directions and reconstructing the measured directivity functions from the reference directivity functions.

Abstract: According to various techniques of the present invention, probability models for circuit simulation are generated as linear, piecewise linear, nonlinear, and/or continuous probability waveforms. These waveforms represent probability values for logic levels over some period of time. Probability models are defined according to characteristics of the electronic components being modeled, so as to capture variability in characteristics and performance of logic circuits and their components. The probability waveforms of the present invention can be used to predict circuit component behavior resulting from state changes; a range in response time can be indicated by a probability waveform indicating the probability that the response has taken place at a given time after an input state change. Construction of a probability model for a circuit with interconnected electronic components allows timing problems resulting from variability in component performance to be identified.

Abstract: A lithography model uses a transfer function to map exposure energy dose to the thickness of remaining photoresist after development; while allowing the flexibility to account for other physical processes. In one approach, the model is generated by fitting empirical data. The model may be used in conjunction with an aerial image to obtain a three-dimensional profile of the remaining photoresist thickness after the development process. The lithography model is generally compact, yet capable of taking into account various physical processes associated with the photoresist exposure and/or development process for more accurate simulation.

Abstract: The emulation of a data processing I/O protocol employs a process which obviates the need to consider hardware specific functionality for which emulation is not an optimal solution. The particular protocol described in exemplary fashion herein is the OSA protocol as defined by Open System Adapter standards. The use of this emulation is also seen to leave in place all of the software tools otherwise employed.

Abstract: One or more embodiments of the invention set forth methods for performing quantity takeoff computations from computer aided design (CAD) drawings. The user initiates the quantity takeoff of an instance of a drawing object by manually selecting one or more geometries that visually represent the instance. The quantity takeoff engine identifies or creates a takeoff object that is associated with the drawing object. A takeoff object may include the dimension of geometry to quantify, the object parameter to be quantified, and the takeoff calculations to be performed. The takeoff measurement tool quantifies the instance and adds markup information to the CAD drawings to represent the determined quantity. Subsequently, the quantity takeoff engine performs takeoff calculations and adds the quantity and cost information to a takeoff report representing all previous selected instances. Advantageously, these techniques allow the user to incrementally create takeoff reports without making any manual measurements.

Abstract: Example embodiments utilize machines to model reservoir geometry having geological layers as 2.5D unstructured grids. Example embodiments include program products to simulate a reservoir by generating a reservoir data system, performing a numerical fluid flow simulation, and visualizing the simulation. Data system embodiments include data structures to model a reservoir geometry as laterally unstructured two-dimensional (2D) grids and associated layer depths defining z-lines to thereby define a 2.5D unstructured grid, including datasets for: vertices of the grid cells for the future grid top and bottom surfaces, a number and listing of vertices for each grid cell, cell center coordinates, and vertex adjacency information using a compressed sparse row format. Computer-implemented methods include projecting external and internal boundaries onto a future grid surface; generating 2D unstructured, e.g.

Abstract: The present application includes a system and method of simulating a drive-train system including: developing a drive-train simulation model, the drive-train simulation model being represented in a tree-type typology, trimming the mathematical drive-train equation to a steady-state condition, and executing a time domain simulation of the drive-train system with a recursive algorithm. The recursive algorithm involves: performing an outward kinematics recursion, performing an inward dynamics recursion, and performing an outward acceleration recursion.

Abstract: A method for simulating a golf ball trajectory is provided. The simulation method sets up a golf ball model within a virtual airflow space where a grid has been generated, sets a weight for the ball model and applies initial conditions (initial velocity, launch angle, spin rate) to the ball model so as to cause the model to fly within the virtual airflow space, then calculates the lift coefficient and the drag coefficient for the golf ball from the air stream velocity, direction and pressure calculated in each grid cell, and calculates the flight distance and left-to-right dispersion for the golf ball from launch until landing by calculating the change in height, change in lateral direction, change in velocity and change in spin rate for the golf ball during flight. The trajectory simulation method divides the flight path into regions including a high, a medium and a low velocity region.

Abstract: A golf ball trajectory simulation method is provided. The method includes setting up a golf ball model within a virtual airflow space where a grid has been generated and setting a weight for the ball model and applies initial conditions (initial velocity, launch angle, spin rate) to the ball model so as to cause the model to fly within the virtual airflow space. The method further includes calculating the lift coefficient and the drag coefficient for the golf ball from the air stream velocity, the direction and pressure in each grid cell, and the flight distance and left-to-right dispersion for the golf ball from launch until landing by calculating, at predetermined short time intervals, the change in height, change in lateral direction, change in velocity and change in spin rate for the golf ball during flight.

Abstract: A plurality of Guest cells of Guest instructions are provided with corresponding Host cells for emulating Guest instructions, each Guest instruction having a Guest cell corresponding to a Host cell. Each of the Host cells are initialized with an initialization routine for discovering a corresponding semantic routine for emulating the Guest instruction. When an instruction is to be emulated for the first time, the initialization routine patches itself with the discovered semantic routine such that subsequent emulation of the Guest instruction can be directly performed.

Abstract: An analysis model control unit disposes at least two component models, which are to be used in assembly of a product to be evaluated, in virtual space displayed on a screen. A virtual glove controller moves and operates component models, which are disposed in virtual space, in accordance with an input operation signal of a user by a virtual glove. When the two component models are brought into contact with each other, a model conversion unit converts them into component analysis models. A deformed structure analysis unit executes structure analysis calculations with respect to the relative movement caused along with assembly of the two component analysis models after contact so as to calculate deformation and deformation stresses. An evaluation processing unit compares the deformation stress with a threshold stress of the material so as to evaluate whether assembly can be performed without breaking the components.

Abstract: Methods, computer-readable mediums, and systems analyze hydrocarbon production data from a subsurface region to determine geologic time scale reservoir connectivity and production time scale reservoir connectivity for the subsurface region. Compartments, fluid properties, and fluid distribution are interpreted to determine geologic time scale reservoir connectivity and production time scale reservoir connectivity for the subsurface region. A reservoir connectivity model based on the geologic time scale and production time scale reservoir connectivity for the subsurface region is constructed, wherein the reservoir connectivity model includes a plurality of production scenarios each including reservoir compartments, connections, and connection properties for each scenario. Each of the production scenarios is tested and refined based on production data for the subsurface region.

Abstract: Dynamic creation of a spatially aware emulation environment comprising Host cells of Host pages corresponding to Guest cells of Guest pages of Guest instructions. Each Host cell comprises a semantic routine for emulating a corresponding Guest instruction located at the corresponding Guest cell of the guest page.

Abstract: A method, system and article of manufacture are disclosed for constructing corner models for multiple performance targets for circuit simulations. The method includes identifying N (N?2) performance targets F1, F2, . . . , FN, and obtaining their correlation matrix R, calculating a normalized joint probability density (JPD); and building a common and optimal corner for the N targets. The method further includes constructing corner models to cover both lower and upper bounds of the performance targets; and determining an optimal common corner solution for each corner by maximizing a normalized JPD among all possible common corner solutions for that corner.

Abstract: A plastic tolerance proofing tool adapted to be implemented with a computer system. The computer system includes a processor and a memory storing a CAD object of an apparatus to be manufactured with a material. The tool includes a criteria selector operable to prompt for and receive a type of plastic material for the apparatus to be manufactured in and an extractor operable to determine a nominal dimension and a related tolerance from the CAD object. The tool further includes a comparator operable to compare the tolerance with a first threshold and a second threshold, and a tagging module operable to tag the CAD object based on the comparisons.

Abstract: A process for determining the distribution of seats of a passenger cabin, whereby the cabin includes at least one row of seats arranged essentially one behind the other along a longitudinal axis, and the cabin includes element for arranging each seat in a position on the ground among a set of possible positions spaced longitudinally at known intervals, includes a phase for optimization of the spacing of seats according to an overall comfort function of passengers, taking into account bodily characteristics that are specific to at least some of the passengers, including the length of the front segment of the passengers' legs, and the purpose of the optimization is to maximize a comfort function taking into account in particular the space that is free for each passenger between his knees and the seat that is located in front of him. The purpose of the invention is also the related device.

Abstract: A fairing can be attached to a prosthetic limb or over a brace to alter the appearance of the prosthetic limb or brace. The outer surface of the prosthetic limb can be a mirror image of an intact limb and the outer surface of the brace can have an outer surface that corresponds to an injured limb. Because the fairing fits closely around the prosthetic limb or brace, the interior surface of the fairing has a surface that corresponds to a mirror image of an intact limb or an outer surface of an injured limb.

Abstract: Provided is an apparatus and method for demonstrating the efficiency and effectiveness of a customer's information technology (IT) system and applications operating in a shared IT, or electronic business on-demand, environment. A test suite mimics hypothetical settings in an on-demand services environment (129) and then determines how the settings affect the allocation of resources in the on-demand services environment (129). The calculated allocation of resources is then compared to one or more service level agreements (SLAs) in order to determine compliance with a particular SLA.