Abstract: This invention allows users to build, manipulate, and finally deploy various model configurations with little performance overhead, better syntactic clarity and configuration flexibility.

Abstract: Methods simulating a system of devices are described. A model that simulates the system is executed. The system model includes a plurality of modules. A clock object for a module can be disabled when it is not needed or not being used.

Abstract: Programming or modeling environments in which programs or models are simulated or executed with tunable sample times are disclosed. The tunable sample times can be changed during the simulation or execution of the programs or models without recompiling the programs or models. The sample times are parameterized and the value of the sample times is changed during the simulation or execution of the programs or models. The sample times may be changed manually by a user. Alternatively, the sample times may be automatically changed by programmatically defining when and how the sample times are determined.

Abstract: In accordance with an embodiment of the present invention, a method of processing large volumes of data to allow for real-time reservoir management is disclosed, comprising: a) acquiring a first data series from a first reservoir sensor; b) establishing a set of criteria based on reservoir management objectives, sensor characteristics, sensor location, nature of the reservoir, and data storage optimization, etc.; c) identifying one or more subsets of the first data series meeting at least one of the criteria; and optionally d) generating one or more second data series based on at least one of the subsets. This methodology may be repeated for numerous reservoir sensors. This methodology allows for intelligent evaluation of sensor data by using carefully established criteria to intelligently select one or more subsets of data. In an alternative embodiment, sensor data from one or more sensors may be evaluated while processing data from a different sensor.

Abstract: A visual simulator designs a spectacle lens based on acquired lens design data. Original image data representing an image viewed through the lens and frame data including shape data and layout information of a spectacle frame to which the spectacle lens is fitted are acquired. Image data is generated from the original image data and frame data and displayed on a screen. In an entire display mode, a visual field based on the shape data is entirely displayed on the screen. In a partial display mode, a part of the visual field determined by a distance from the spectacle wearer to the screen and a dimension of the screen is displayed.

Abstract: A method, system and computer program product for determining the reliability of a software system. Test data inputs are utilized to simulate conditions under which software is executed. One or more test data inputs replace variables in a first algorithm and a second algorithm. The first algorithm and the second algorithm determine a first test parameter and a second test parameter, respectively. The first test parameter and second test parameters are transmitted to a third algorithm along with selected test data inputs. The third algorithm evaluates the input of the first test parameter, second test parameter and selected test data inputs, and calculates the projected number of users for the software. The projected number of users for the software is output to facilitate optimal usage of the software system.

Abstract: Methods and systems for the design and execution of an aerospace or aeronautic system are provided. The aerospace or aeronautic system may incorporate planetary environment models and models of equations of motion. The planetary environment models mathematically represent planetary environment specifications, such as atmosphere and wind. Atmosphere models include standard day atmosphere models and non-standard day atmosphere models, and wind models include continuous wind turbulence models and discrete wind turbulence models. The models of equations of motion include models of three-degree-of-freedom equations of motion with variable mass and models for six-degree-of-freedom equations of motion with variable mass. As a result, the present invention can design and execute a target system more accurately than the conventional system that provides only standard day planetary environment models, continuous wind turbulence models, or fixed mass equations of motion models.

Abstract: Example methods, apparatus and articles of manufacture to characterize applications are disclosed. A disclosed example method includes collecting resource utilization trace data from the two or more applications simultaneously running on one or more computational devices, determining an intrinsic dimensionality of the collected trace data, the intrinsic dimensionality representing a number of predominate features that substantially characterize the trace data, and characterizing each application's workload based on the determined intrinsic dimensionality.

Abstract: A method for fracture modeling of a field. The method includes receiving, using a central processing unit (CPU), a structural model of the field, the structural model comprising field data, restoring each of a plurality of geological layers from the structural model to create a plurality of boundary conditions, iteratively forward modeling each of the plurality of geological layers, defined by one of the plurality of boundary conditions, using geomechanical properties by and redetermining the fractures resulting from the internal stress and the internal strain for each previously processed geological layer of the plurality of geological layers using the geomechanical properties, when each of the plurality of layers is forward modeled, generating, using the CPU and geostatistical modeling, a fracture model with the fractures resulting from the internal stress and the internal strain of the plurality of layers, and presenting the fracture model for use in planning a field operation.

Abstract: A simulation apparatus that performs simulation of design data of a verification target circuit including a logic circuit that operates as a multi-cycle path of N cycles in synchronization with a clock signal, the simulation apparatus includes a design data generation section that generates design data of a multi-cycle verification circuit for selectively providing an undefined value signal in place of a signal in a multi-cycle part in the verification target circuit; a logical simulation section that performs logical simulation, without delay, on the basis of design data of the verification target circuit and the design data of the multi-cycle verification circuit; and a comparison section that compares the signal of the verification target circuit with a signal of an expected value in the verification target circuit in the logical simulation.

Abstract: Systems and methods that use a solver to find bugs in a target model of a computing system having one or more finite computation paths are provided. The bugs on computation paths of less than a predetermined length are detected by translating the target model to include a state variable AF for one or more states of the target model, wherein AF(S) represents value of the state variable AF at state S; and solving the translated version of the target model that satisfies predetermined constrains.

Abstract: A computer program product estimates performance of a back end of line (BEOL) structure of a semiconductor integrated circuit (IC). Code executes on a computer to dynamically predict an electrical resistance of the BEOL structure based on input data specific to multiple layers of the BEOL structure. The BEOL structure can be a contact or a via. The layers of the contact/via include an inner filling material and an outer liner. The code accounts for a width scatter effect of the inner filling material, as well as a slope profile of the contact/via.

Abstract: A method of improving a 2D or 3D multiblock-structured mesh of an object that moves through a fluid medium, such as an aircraft. The method is used in the design of the object in connection with a defined analytical scheme, the mesh having been generated with rectangular (2D) or hexahedral (3D) blocks under constraints that may cause the mesh to include irregular blocks comprising the following steps: finding irregular blocks in the mesh; degenerating the irregular blocks merging contiguous edges or sides in one edge or side so that triangular (2D) or pentahedral (3D) blocks are formed and extending the modifications all along the blocks that are propagated; and generating several rectangular (2D) or hexahedral (3D) regular blocks inside the triangular (2D) or pentahedral (3D) blocks. A system for carrying out the method.

Abstract: A method and apparatus wherein complex physical interactions and collisions are modeled at a high level of detail while reducing the computational demands placed on the processing system. In one embodiment the method comprising the steps of defining a first object and a second object, each object adapted for colliding with the other object; assigning an interaction type for at least one of the first and second object in response to an object parameter; and selecting between a continuous simulation of a collision and a discrete simulation of the collision in response to the interaction type.

Abstract: The present invention provides at least a method and system for forecasting usage costs and computer capacity. With respect to the present invention, performance data and information related to transactions collected from computing devices are used to calculate correlations. A cost-allocation factor is calculated to determine the computer's usage costs without a long manual analysis of large volumes of data and extensive testing. Performance data and transaction data are used to forecast computer capacity.

Abstract: A power supply noise analysis model creation method comprising; obtaining a distance which appears most frequently, from among the distances from a vias judged to be the nearest to the vias, respectively, as a reference via pitch, generates four nodes for the via of target wherein the four nodes generates the middle point with the other four via that are near the via of the target, obtaining meshes which include the nodes, respectively, by dividing the power island structure and the power supply pair by dividing lines which pass between the generated nodes, and converting each of the meshes obtained to a circuit element equivalent to the mesh.

Abstract: This invention allows users to build, manipulate, and finally deploy various model configurations with little performance overhead, better syntactic clarity and configuration flexibility.

Abstract: A method for forecasting production from a hydrocarbon producing reservoir, the method includes defining an objective function and characteristics of a history-matched model of a reservoir and acceptable error E. At least one geological realization of the reservoir is created representing a probable geological setting. For each geological realization, a global optimization technique is used to perform history matching in a series of iterative steps to obtain acceptable models. Production of the reservoir is forecasted based upon simulation runs of the respective models.

Abstract: Techniques for providing synthetic air traffic management in a fast-time environment are disclosed. In one embodiment, a method of providing a closed-loop air traffic management simulation gateway between a decision support tool (DST) and an airspace modeler includes receiving airspace simulation data from an airspace modeler. The airspace simulation may be converted to emulated radar signals at an update interval. The emulated radar signals may be transmitted to a decision support tool for analysis. A recommendation may be received from the decision support tool based on the emulated radar signals, which may be used to generate a synthetic actor response based on the recommendation. The synthetic actor may provide the response to the airspace modeler to enable updating the airspace simulation data. In this manner the design of more efficient airspace routes, arrival and departure routes and procedures may be more quickly achieved.

Abstract: A system and method identify hydrocarbon productive reservoir zones using Monte Carlo numerical analysis to account for uncertainties in log measurements and petrophysical parameters. Random errors in logging tool responses and core measurements, as well as reservoir heterogeneity, are incorporated in a Monte Carlo simulation to output appropriate petrophysical models to calculate statistical distributions for saturation and permeability to define productive zones, non-productive zones and zones of undetermined productivity as a basis of deciding whether additional logging, core sampling or well test data are needed to reclassify the undetermined zones as either productive or non-productive. As uncertainties are quantified in the analysis, the degree of certainty in determining productive and non-productive zones is known and can be used to decide whether to further test, stimulate or abandon reservoir zones.