Abstract: A modular method of modeling a power plant includes selecting a major component module model from a library of component module models for each major component of the power plant, with each major component module representing a power plant major component of a unique configuration. The method also includes inputting initial model information into a database for the selected modules, with the initial model information including at least convergence criteria and a maximum number of passes. The method further includes running the modular model by running each selected module and enabling data exchange between the selected modules.

Abstract: A method for emulating and debugging a microcontroller. In one embodiment, an event thread is executed on an emulator that operates in lock-step with the microcontroller. Event information is sampled at selected points. Trace information is also recorded at the selected points. As such, the event information and trace information are effectively pre-filtered. Accordingly, it is not incumbent on a designer to read and understand the event and trace information and sort out the information that is of interest. Instead, this task is essentially done automatically, helping the designer and reducing the probability of error. Furthermore, because only selected event and trace information is recorded, the resources of the in-circuit emulator system are not taxed.

Abstract: Disclosed herein is a method of managing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, a restriction list associated with the HDL model is received. The HDL model has a maximum number of possible keyword/value pairs sets for which result data can be obtained, and the restriction list specifies a fewer number of keyword/value pair sets for which the result data can be queried based upon at least one keyword. In response to receipt of result data obtained by simulation of the HDL model, the result data are stored within a data storage subsystem by reference to the restriction list, such that particular result data attributable to each of the plurality of keyword/value sets is separately accessible.

Abstract: A method and communications system for managing and supplying data in a communications environment, which may have a data-management device, several application servers that may communicate with the central data-management device via different communications protocols, and storage devices based on FC (Fiber Channel) and IP (Internet Protocol) technology. To provide the entire range of storage devices of different technologies to application servers that use different communications protocols, an application server may request data, which may be distributed among several storage devices of different technologies, using a specific communications protocol for an application to be carried out. The requested data are fetched out of at least one storage device, independently of the utilized communications protocol of the application server, and may be transmitted via the data-management device to the application server requesting the data, for further use, using its communications protocol.

Abstract: A tape storage emulator has a disk storage, a tape storage, a server interface, a data path control, a virtual tape management and a personality logic. The server interface is in communications with a server so as to receive and transmit tape storage commands and tape formatted data compatible with the tape storage. The data path control is in communications with the server interface and the disk storage so as to transfer the tape formatted data between the disk storage and the server interface. The virtual tape management is in communication with the disk storage so as to store the tape formatted data on the disk storage. The personality logic is at least temporarily in communications with the tape storage so as to capture and store tape storage responses. The stored tape storage responses allow the virtual tape management to emulate the tape storage to the server using the disk storage.

Abstract: This invention is a system and method for simulating performance of one or more data storage systems. This invention may be used in many useful ways including for configuring or modeling a data storage environment, problem isolation, and general design.

Abstract: Methods and systems for translating models generated in one modeling environment into models that can be used in other modeling environments. In particular, information regarding a relationship between components of models in one modeling environment is translated into corresponding elements of models in other modeling environments. In some embodiments of the present invention, for example, mate information between rigid parts in geometric models may be translated into corresponding elements in other modeling environments. The mate information between parts in geometric models may be translated into information representing the degrees of freedom (DoFs) of the parts in the geometric models. The information on the DoFs of the parts in the geometric models may be utilized to build up corresponding elements in other modeling environments that represent the relationship between the parts of the geometric models.

Abstract: A storage area network simulator, operable to simulate an exchange of calls emanating from a SAN management application to a plurality of manageable entities, allows analyzing SAN management application response to a particular configuration. A capture tool discovers manageable entities interconnected in a particular SAN experiencing undesirable operation. The capture tool provides exemplary calls to an agent, and gathers responses. The exemplary calls enumerate expected responses from the various manageable entities responsive to the agent. The gathered responses take the form of an XML markup script. A simulation plug-in is operative as an interface module (e.g. plug-in) for a test agent in a test environment, such as the management application test facility. The test agent employs the simulation plug-in as the API plug-in for calls emanating from the test agent.

Abstract: A laser scanning system can be used in construction projects to generate a field survey. An architect or engineer can use the field survey to create construction drawings. In addition, relevant points from the construction drawings can be identified at the construction site with the scanning system. Further, earth moving equipment can be controlled using the same information. The laser scanning system can be used to determine if two parts can be mated together by scanning and comparing the parts that are to be mated. The laser scanning system can further be used to determine if an object can be moved through an opening in a structure by comparing scan points of the structure with scan points from the object. The laser scanning system can be used to identify objects within the site, to build databases that have relevant information about the objects, and to guide reproducing machines.

Abstract: A method of determining electrical parameters of inductive elements includes a novel technique of inverting an impedance matrix representative of said inductive circuit element. The method reduces model simulation time by a factor of 3000. In one embodiment, simulation time of a device model was reduced from 1 hour to less than 3 seconds. The method is suitable for use with circuit element modeling tools, circuit simulation environments, and antenna modeling systems. The method may be applied to inductors, transformers, antennas, etc.

Abstract: One embodiment of the present invention provides a system that uses interval techniques to solve a multi-objective optimization problem. During operation, the system receives a representation of multiple objective functions (ƒ1, . . . , ƒn) at a computer system, wherein (ƒ1, . . . , ƒn) are scalar functions of a vector x=(x1, . . . , xn). The system also receives a representation of a domain of interest for the multiple objective functions. Next, the system performs an interval optimization process to compute guaranteed bounds on a Pareto front for the objective functions (ƒ1, . . . , fn), wherein for each point on the Pareto front, an improvement in one objective function cannot be made without adversely affecting at least one other objective function. While performing the interval optimization process, the system applies a direct-comparison technique between subdomains of the domain of interest to eliminate subdomains that are certainly dominated by other subdomains.

Abstract: Methods and systems for translating models generated in one modeling environment into models that can be used in other modeling environments are disclosed. Models are created using different data formats in different modeling environments. These data formats are generally incompatible with each other. Therefore, the present invention provides a neutral data format that can store information relating to models generated in one modeling environment, and that can be used by other modeling environments to create their models. The present invention may export models created in one modeling environment into the neutral data format. The neutral data format may subsequently be imported into other modeling environments in which new models are generated using the information contained in the neutral data format. The present invention also provides animation of the newly generated models by animation clients via open animation interfaces that support multiple animation clients at a simultaneous time.

Abstract: A system and method is described for connecting a logic circuit simulation to a hardware peripheral that includes a computer running software for communicating data to and from the hardware peripheral. The software transmits the data received from the hardware peripheral to the device being simulated by the logic circuit simulation. The computer also transmits the data received from the device being simulated by the electronic circuit simulation to the hardware peripheral. This allows the user to test the device being simulated using real hardware for input and output instead of simulated hardware.

Abstract: An extractor extracts descriptions unexecuted in the logic simulation according to code coverage information for the circuit description. An examiner examines whether or not there is a possibility of executing the extracted unexecuted descriptions. A prohibited-input-checker generator generates a test pattern. The test pattern is to execute descriptions including unexecuted descriptions that there is a possibility of executing and excluding unexecuted descriptions that there is no possibility of executing as determined by the examiner. The prohibited-input-checker generator also generates a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to an input pattern of the test pattern to execute the unexecuted description if the test bench is regarded as a prohibited input under a specification at a logic simulation using the test pattern to execute the unexecuted description.

Abstract: A method of transferring files between a computer on board a train and a remote station including determining if the remote station is within range of the train and establishing wireless communication between the onboard computer and the remote station. Next, the computer determines whether there are files to be transferred, and if so, transfers the file. If the remote station has updates to be transferred to the train, such updates are transferred to the onboard computer. Files and updates are also transferred between remote stations and between remote stations and a home base station. A method of adjusting a simulator includes inputting data from the train onto a simulator. The simulator is operated with the data and the simulator automatically adjusts the parameters of the simulator until the data of the simulator matches the data from the train. The data can then be process and analyzed.

Abstract: An apparatus, system, and method for optimization. The apparatus, system, and method include a mechanism for ending an optimization when all models within one design tolerance of an optimum model have been simulated.

Abstract: A selectively reduced bi-cubic interpolation on quadrilateral grids for level set re-distancing improves finite-difference-based ink-jet simulation. The “bi-cubic” nature of the interpolation helps the scheme conserve droplet mass. The “selectively reduced” logic prevents the higher-order simulation algorithm from introducing new instability factors.

Abstract: A consistent back pressure formulation is introduced into ink-jet simulation models and algorithms to solve an instability problem that occurs as the head of an ink droplet reaches the end of the solution domain during simulation. The consistent back pressure formulation is obtained in a way that is consistent with the idea of interface smearing. Formulas for calculating the pressure boundary condition on quadrilateral grids are disclosed. An ink-jet simulation example is given to demonstrate the improved models and algorithms.

Abstract: In accordance with the present invention there is provided a method for performing a glitch check in simulating a circuit. Current maximum and minimum values for optimization parameters of the circuit are determined. Next, a signal pulse characteristic for the circuit simulation is determined based on the maximum and minimum optimization parameters. A current averaged optimization parameter is determined from the current maximum and minimum optimization parameters. A prime criterion parameter is calculated based on the optimization parameters and the signal pulse characteristic value. If the prime criterion parameter converges into a specified range then measurement results from the circuit simulation are parsed and reported as final. If the prime criterion parameter does not converge, then the process continues by recalculating the optimization parameters until the prime criterion parameter converges.

Abstract: An aspect of the present invention provides a semiconductor integrated circuit verification system that includes a compiler configured to receive circuit descriptions of a semiconductor integrated circuit to be verified and create a circuit database, a circuit analysis unit configured to receive the circuit database to analyze the circuitry inside the semiconductor integrated circuit based on the circuit database, the circuit analysis unit configured to determine the timing at which the abstraction level of the circuit is switched and generate a simulation object, and a simulation execution unit configured to receive the simulation object and conduct a simulation of the semiconductor integrated circuit based on the simulation object.