Abstract: The present invention is related to a method for estimating power consumption and noise levels of an integrated circuit which is composed of logic gates connected in the form of a plurality of stages.

Abstract: A method and system for providing simulation of an integrated circuit during development of the integrated circuit is disclosed. The integrated circuit has an island that includes an interface. The method and system include a snooper, a checker and a generator. The snooper is coupled with an interface and is for obtaining an output provided by the island during simulation. The checker is coupled with an interface and is for checking the output to determine whether the output is a desired output. The generator is coupled with an interface and is for providing an input to the interface during simulation. The generator is coupled with a test case that directs the generator.

Abstract: A computer-implemented data mining system that analyzes customer transaction data using Factor Analysis/Retail Data Mining Segmentation. The data is accessed from a relational database, and then a factor analysis function is performed on the data to create a factor loadings matrix that has factors as columns and observed variables from the customer transaction data as rows, wherein each of the observed variables is assigned to one of the factors in the factor loadings matrix that has the maximum value for the row. New variables are derived by means of a factor-scoring method that combines the variables into the factors in the factor loadings table. Customer destination segments are identified from the relational database using the factors. Additional customer destination segments are identified by means of a clustering tool using the derived new variables.

Abstract: The invention relates to a method and a device for generating a virtual installation model (2) as an image of a real installation (1). As a database therefor, digital picture data (4) representing pictures of a real installation (1) on the one hand and installation components (13) of a component library (6) on the other hand are used. The data of the installation components as well as the digital picture data (4) of the real installation (1) is evaluated by means of an image analysis (5). Based on this analysis, the identified installation components (13) are assigned to the virtually generated installation model (2). The virtual image of the real installation thus created serves to document the actual structure of the installation/facility, to simplify failure analysis, e.g., in areas that are difficult to access, and/or to operate and monitor the installation/facility. In addition to geometric data, functional data, etc. of the installation components are also stored.

Abstract: System, method and computer product for incremental improvement of algorithm performance during algorithm development. In one aspect of this disclosure, there is a system, method and computer readable medium that stores instructions for instructing a computer system, to assess the performance of an algorithm during development. In this embodiment, a design of experiments component establishes an acceptable number of experiments for analyzing incremental improvements of the algorithm. An experiment performance component runs the established number of experiments for the algorithm. A simulation component simulates the behavior of the algorithm using results from the experiment performance component.

Abstract: Object simulation and interaction of and between computer-generated or graphical objects in a virtual space includes neutral scene graphs, data structures and procedures for using such graphs and data structures.

Abstract: Clusters of processors are interconnected as an emulation engine such that processors share input and data stacks, and the setup and storing of results are done in parallel, but the output of one evaluation unit is connected to the input of the next evaluation unit. A set of ‘cascade’ connections provides access to the intermediate values. By tapping intermediate values from one processor, and feeding them to the next, a significant emulation speedup is achieved.

Abstract: A system and method for simulating a networked system for testing of embedded software on an emulated hardware device. The system provides for automated generation of a simulated hardware and facilitates testing of embedded software response to simulated error conditions created by the simulated hardware. Communications from the embedded software are intercepted at a low software level and redirected from the emulated hardware device to the simulated hardware.

Abstract: A technique is disclosed for sharing information between closely-related SAT instances (instances with a non-empty intersection between their sets of clauses), which enables a speed-up in the overall solution time. This technique is particularly effective in SAT-based bounded model checking (BMC), and in problems of planning and logistics.

Abstract: A method, named the product terms method that allows to implement and/or to change dynamically the logical behavior of any combinational or synchronous sequential circuits has been presented. The method uses for every product term of logical equations, expressed as a sum-of-product, three memory words: mask word, product word and function word. The words of all product terms are ranged in a table, which characterize the logical behavior of the circuit. The invention provides the hardware structure of several new types of VSLI circuits, having re-configurable logic behaviors. A first embodiment implements any type of multiple output combinational circuit, a second embodiment implements any synchronous sequential circuit with only clock input and, a third embodiment implements any synchronous sequential circuit s with data inputs and clock input.

Abstract: An initial set of individuals having design parameters of a blade as a gene, is determined at random (S12). Next, an analysis using Navier-Stokes equations is performed. On the basis of the analysis result, ranking (evaluation) of respective individuals are performed using a pressure loss coefficient, a trailing edge deviation angle and the like as objective functions (S14). When a shape of a blade having a desirable performance is obtained, or when a predetermined number of generations is achieved, the analysis is terminated assuming that a termination condition has been met (S22). When the termination condition has not been met, processes about individual selection, crossing between individuals and mutation are performed so that generation is incremented by 1. The above processes are repeated, so that Pareto solutions can be obtained according to MOGA in consideration of a trade-off relationship between the objective functions.

Abstract: An automatic adaptive dimensioning program for CAD software in which dimension annotations are created by the CAD program automatically as an object is drawn and automatically associated with the object. Thereafter, changing the length of the object automatically changes the associated dimension annotation, or alternatively, changing the associated dimension annotation automatically changes the length of the object. When another object is interposed into or superposed onto an intermediate position of the existing object, the automatic adaptive dimensioning annotation feature of the invention automatically creates dimension annotations corresponding to the position of the new object relative to the existing object. The new object can be automatically positioned in relation to the existing object by specifying interposition dimensions or segment lengths in the dimension annotations.

Abstract: A system designed, including commercially distributed modules protected as intellectual property (IP), is verified in a manner that the IP provider and the user communicate with each other over a communication line to complete the system design verification. A system verification equipment to be operated by the IP provider receives from the system designer across the communication line an input vector at time n to a module provided to the system designer who designed the system integrated using one or more provided IP modules. After simulating the module operation with the input vector, the verification equipment returns an output vector obtained at time n+1 to the system designer over the communication line. The verification equipment examines the input vectors to the provided IP modules and records statistics information thereof, based on which the provider will quantitatively understand how the provided modules have been used.

Abstract: In verifying a logic operation of an information processing apparatus, an I/O emulator and a test program are operated in cooperation with each other and input data to the I/O emulator is automatically generated to generate more transaction conflict patterns and realize verification of the logic operation at a high precision.

Abstract: The invention provides a method and apparatus for predicting the failure of a component using a probabilistic model of a material's microstructural-based response to fatigue. The method predicts the component failure by a computer simulation of multiple incarnations of real material behavior, or virtual prototyping. The virtual prototyping simulates the effects of characteristics that include grain size, grain orientation, micro-applied stress and micro-yield strength that are difficult to simulate with real specimens. The invention provides an apparatus for predicting the response of a component to fatigue using the method.

Abstract: The present invention is directed to a traffic simulation algorithm for an asynchronous transfer mode communications (ATM) network. The algorithm recognizes that packets in ATM networks can have interarrival times that are lognormally distributed or lognormally and normally distributed. Lognormal and, in some cases, normal random number generators are used to generate packet interarrival times of a synthetic traffic stream.

Abstract: A knowledge driven composite design optimization process for designing a laminate part includes steps for generating a globally optimized 3-D ply definition for a laminate part, and modifying the 3-D ply definition to include features of the laminate part, where the generating and modifying steps are parametrically linked to one another and are performed in the recited order. Preferably, the generating step includes substeps for determining connectivity between a plurality of regions defining the laminate part, subsequently generating ramp features detailing interconnection of the regions defining the laminate part, and displaying views and corresponding tabular data describing the laminate part and illustrating both inter-region connectivity and the ramp features as specified by a user. A knowledge driven composite design optimization system and associated computer memory for operating a general purpose computer as a knowledge driven composite design optimization system are also described.

Abstract: A system and method for taking-off material details using a two-dimensional CAD interface for estimating a bill of materials and automatically creating a material take-off list for items in a two or three-dimensional design drawing, without manual work. The taken-off list information is provided on-line upon receiving an order for an information provision service through a communication network, such as the internet. The system is applicable, for example, in architecture, civil engineering, machinery, and facilities. The system comprises: a project information containing unit for containing project information including position data, design specifications, and shape data for a variety of design items; a material/cost containing unit for containing material information and cost information for building elements included in a CAD drawing; and a bill-of-material take-off processing unit for creating a material take-off list and the associated cost.

Abstract: An apparatus has program analysis information generation device for automatically generating program analysis information by analyzing a computer program, and program analysis information storage device for sequentially storing the generated program analysis information in a predetermined data recording medium in arbitrary units. A plurality of kinds of program analysis information generated by the program analysis information generation device are stored in the data recording medium as a database every time individual analysis information is obtained. Hence, upon obtaining program analysis information for a large-scale program, even when the memory capacity that can be mounted on a computer is limited, target program analysis information can be reliably obtained without encountering any memory shortage during analysis.

Abstract: A method for generating a network, in particular a telecommunications, water, long-distance heat supply, or power network, the network connecting all users to a main distribution node depending on the existing or definable local needs and requirements of the individual users. A graph is generated which is composed of edges and nodes. The graph includes all technically feasible and/or definable transmission paths of the network. The length and direction of the edges are derived from the real topography of the street segments and definable cable paths of the territory to be supplied by the network. The nodes form the intersections between the edges or streets and/or cable paths. The users are assigned to the graph in such a way that each user is connected to the closest edge or the closest node of the graph by an additional service edge.