Abstract: According to a method of simulation processing, a collection of files including one or more HDL source files describing design entities collectively representing a digital design to be simulated is received. The HDL source file(s) include a statement specifying inclusion of an instrumentation entity not forming a portion of the digital design but enabling observation of its operation during simulation. The instrumentation entity includes sequential logic containing at least one storage element, where the instrumentation entity has an output signal indicative of occurrence of a simulation event. The collection of files is processed to obtain an instrumented simulation executable model. The processing includes instantiating at least one instance of each of the plurality of design entities and instantiating the instrumentation entity. The processing further includes instantiating external instrumentation logic, logically coupled to each instance of the instrumentation entity, to record occurrences of the event.

Abstract: A method uses a SAT solver operating to cycle k to find bugs in a model having finite computation paths therein, wherein said bugs are on computation paths of less than length k. Another method includes adding an additional state variable to a model to be checked, where a governing state machine of the additional variable has a “sink” state. The method includes having a translation using the additional variable whenever a state indicates a bad state and performing satisfiability solving with the model and the translation.

Abstract: A computer implemented method for determining an alternative representation of an optimization model reduces model input through compact representation of model parameters. Model generation is performed at varying levels of complexity (approximation) depending on pre-defined, business approved thresholds. The computer receives a set of functions representing a set of events where each function includes sets of first and second axis coordinate values. Each of the functions are transformed to a compacted function which includes a set of pieces including an anchor point, break points, and slopes. Successive pieces having the same slope value are removed. Alternate optimization models are generated based on the set of pieces representing a compacted function and on a predetermined accuracy value.

Abstract: A method for generating a tool path for machining a pocket with a milling cutter is disclosed. The tool path includes a first portion, a second portion and a transition portion connecting together the first portion and the second portion. The method includes the steps of: determining a radius of a first arc; determining a radius of a second arc; situating the first arc so as to connect the first portion to the second portion in a tangent continuous manner; situating a third arc so as to be tangent continuous the first arc and intersecting the first arc; and situating a fourth arc, so as to be: (1) tangent continuous with the third arc, (2) tangent to the second arc and (3) tangent continuous with either the first portion or the second portion.

Abstract: An adaptive relaying control system and method is disclosed for adapting coordination of protective measures provided to an electric-energy distribution system as a function of at least an ambient weather condition. A weather sensor senses the ambient weather condition within a region adjacent to at least a portion of the electric-energy distribution system. A control unit is operatively coupled to the weather sensor to receive a weather signal indicative of the ambient weather condition and determine whether a storm condition exists based at least in part on the weather signal. The control unit establishes a suitable control philosophy for adapting coordination of the protective measures provided to the electric-energy distribution system based at least in part on whether the storm condition exists.

Abstract: Disclosed is simulation of circuit behavior by running a central electronic core simulation in a high level simulator up to and including initial microload, creation of a post-IML (initial microcode load) state, and transferring the post-initial microcode state from the central electronic core simulation to the post-initial microcode load co-simulator.

Abstract: A networked delivery system and method for controlling operation of a spraying system includes nozzles for emitting an agrochemical according to a predetermined spray pattern and flow rate; vibration sensors located adjacent an agricultural spray system component to sense vibrations of the agricultural spray system component, such as spray nozzles. The networked delivery system also includes a control area network with a computer processor in communication with the vibration sensors. The processor conveys information to an operator regarding the agricultural spray system component based on the sensed vibrations. The processor also actuates each of the agricultural spray system components such as the spray nozzles to selectively control each of the nozzles or a designated group of the nozzles.

Abstract: A circuit is simulated by using distributed computing to obtain a real solution. The circuit may be an entire integrated circuit, portion of an integrated circuit, or a circuit block. A circuit simulation technique of the invention generates a system graph, finds a tree, and partitions the tree into two or more subtrees. The technique identifies global links and local links in the graph. Each subtree may be solved individually using distributed, parallel computing. Using the results for the subtrees, the technique obtains a real solution, branch voltages and currents, for the circuit.

Abstract: A system and methodology for controlling structural type integration to major fittings requires creating a geometrical set of objects identified here as basic starting geometry which consist of external references and relationships to a main component structure. Structural interface detail characteristics and hardware components are identified that make up a major fitting integration connection between the main component structure and a second component structure. Parametric sets and associated geometrical sets containing sketches and geometry objects are identified and created, the parametric sets and associated geometrical sets being associated to a particular hardware component used in the integration connection between the main component structure and the second component structure and used to defined and control the integration connection between the main component structure and the second component structure with respect to fit, form and function.

Abstract: A method for selecting a femoral implant based on models of a femoral neck and/or a femoral head of a patient is provided. A femoral neck model and/or femoral head model is produced from three-dimensional reference point spatial positions of the femoral neck or head, and a base size of a femoral implant model is ascertained based on the femoral head model. A femoral implant model is produced from the base size, and the implant model is positioned at a position in or on the femoral head model. An implant value is ascertained that indicates how many or what proportion of the ascertained reference point spatial positions are outside the implant model. If the implant value exceeds a predetermined value, the implant model is repositioned and the process is repeated. If the implant value does not exceed the value, an appropriate size and position of the implant is determined.

Abstract: A software-based development tool is operative to automatically determine an appropriate simulation configuration for a multistage switch fabric or other multiple circuit element electronic system. The development tool includes an interface permitting user control of one or more configurable parameters of the electronic system, and automatically generates a simulation configuration for the electronic system based on current values of the configurable parameters. The simulation configuration is advantageously generated without requiring further user input, and specifies interconnections between the circuit elements which satisfy the current values of the configurable parameters.

Abstract: A method for computing includes specifying a data processing system using a logical system definition, which defines logical system components having respective functionalities and a topology for interconnecting the logical system components. The logical system components are represented using respective logical objects in a hierarchical object model. Physical resources of a grid computer system are represented using physical objects in the hierarchical object model. The logical objects are automatically mapped to at least some of the physical objects, so as to allocate the physical resources to carry out the respective functionalities of the logical system components. The allocated physical resources are configured and activated so as to cause the grid computer system to function as the data processing system, in accordance with the logical system definition.

Abstract: The present invention provides a method to construct stable, high-order explicit discretization for the wave equation based on the discretization of the evolution formula. The present invention provides independent computation of discretization in one, two, or more spaces for bulk propagation, near boundaries propagation, and discretization of a projection operator to enforce boundary conditions. More specifically, the method includes an act of discretizing propagation operators L?t by using an identity that is derived using central differencing in time. The method also includes an act of providing a high-order discretization of a boundary projection operator that enforces boundary conditions independent of the discretization of the propagation operators L?t.

Abstract: The invention relates to a method based on a CAD system consisting of producing a skeleton (14) satisfying pre-defined stability specifications on the basis of a positive template. For this purpose, the control surfaces, which are calculated on the basis of predetermined coordinates of said positive template, are represented on an output device together with the modified surface shape of an implant.

Abstract: A system and method for performing circuit simulation is described. Revisions and history of the operating parameters of circuit designs subject to simulation are tracked. Mechanisms are provided that allow for viewing, measurement or other manipulation of signals at specific locations in a circuit design for simulation, such as parameters that include observation points which are implemented using probes. One approach to executing a measurement is via a controllable and flexible control statement, which in one embodiment is the “run” statement. Improved interfaces for viewing, controlling, and manipulating simulations and simulation results are also provided.

Abstract: A backup system is provided that includes a backup application configured to automatically execute upon connection of the backup system to a data source. The backup application is configured to selectively back up data from the data source to itself or to networked storage, for example. As part of selectively backing up data, the backup application is further configured to selectively extract embedded data files, such as attachments, from internal files of e-mail programs. Between backups, the backup application can selectively extract newly received embedded data files to a folder. During a subsequent backup, the contents of the folder can be copied from the data source.

Abstract: Cooperation management means for cooperating and managing an assembly procedure data formed by showing a combination of assembly enabled components and an assembling order thereof and a component object data for displaying the components in a virtual space as a component object; object display means for displaying the component object in the virtual space based on the component object data; coordinate data acquisition means for acquiring coordinate data of the component object displayed in the virtual space by the object display means; and element working time output means for outputting the element working time required for an assembly of the components, based on assembly procedure data related to the above objects and cooperatively managed by the cooperation means are provided.

Abstract: The invention provides a method of analyzing a building made from Expanded Poly Styrene (EPS) which is coated on the inside and outside with Glass Fiber Reinforced Concrete (GFRC) or other strengthening coating. The building is designed in a CAD program. Then, the building is divided up into small volumes in the CAD program or in a Finite Element Analysis program using an automeshing program. Plates are added to the inner and outer surfaces of the volumes using copying and automeshing commands. Appropriate characteristics of the EPS and GFRC are assigned to the volumes and plates. A FEA analysis can then be run.

Abstract: A method and system for controlling the processing of an IC chip assembly line using a central computer system and a common communication protocol. In one embodiment, a manufacturing execution system (MES) is used as the computer system and the communications protocol is the standard semi equipment communications standard/generic equipment model (SECS/GEM). One or more equipment cell controllers (CC) may be used to communicate between the MES a plurality of in-line substations which comprise the assembly line. Automated vision camera systems may also communicate information to the MES via the CCs. In one embodiment, the MES maintains a database in memory comprising processing history of a die-strip and results of automated die-strip examination from the vision camera systems. In one embodiment, the die-strip may be of a ball grid array (BGA) type.

Abstract: A system and method for accurately measuring supply gas consumed by a particular process control component within a process control system is disclosed. Enhanced measurement accuracy is derived from measuring the consumption of the process control component in a normal operating mode of the process control system. The amount of fluid expended by one process control component is separated by a fluid control system from the amount of supply gas expended in actuating other process control components. The amount of fluid expended by each component may be determined by measuring a decrease in a fluid within a vessel having a known quantity that independently supplies supply gas to each component during its operation.