Abstract: Temperature readings obtained within a computer system from the location of monitored circuit elements may be oversampled at least three times, and a median average of the three parameter readings rather than the arithmetic mean may be used for controlling a device, e.g. a fan, configured to regulate the environmental parameter, e.g. temperature, a the location of the monitored circuit elements. For example, when a CPU temperature reading is requested by the system comprising the CPU, a thermal monitoring system may acquire at least three consecutive temperature readings of the CPU, discard the highest temperature reading and the lowest temperature reading, and return the median reading to be used in controlling a fan configured to regulate temperature at the location of the CPU, resulting in more accurate temperature readings and more accurate fan control.

Abstract: The method and the computer-related products provide for error information relating to inconsistencies in a system of differential equations that describes a technical system or a technical process.

Abstract: A system and method for modeling industrial processes is described. One embodiment includes collecting a plurality of flowsheets, which include corresponding groups of unit models and combining the plurality of flowsheets to create a combined model. In addition, a first macro associated with a first flowsheet is initiated and other macros by the same name as the first macro are automatically executed. In variations, the other macros are executed from a lowest hierarchical level flowsheet relative to the first flowsheet to a higher hierarchical level until the first macro is run.

Abstract: Sample-count feedback from bus functional models and a binary convergence algorithm are to generate optimal sampling values for an accelerator, or hardware assisted simulator. The simulator includes a bus functional model and a driver program. A software readable register maintains a count of a number of samples provided the simulator in execution of a transaction on the bus functional model. For each supported bus functional model, a sample count retrieved from the bus functional model and a last sampling value given the hardware assisted simulator is maintained, and a binary convergence algorithm applied to generate sampling values based on the last sampling value given to the hardware assisted simulator and the last actual sampling value used by a given bus functional model for a transaction.

Abstract: Asynchronous behavior of a circuit is emulated by modifying a netlist to insert additional logic at a driving element such as a latch. The additional logic outputs one of (i) a present output from the driving element, (ii) a delayed output from the driving element, or (iii) a random value, which drives downstream logic. The output of the additional logic is selectively responsive to a user-controlled skew enable input. The invention allows for simpler data skew logic transformations which are applicable to both latches and primary inputs, with no dependencies on any clock net.

Abstract: A method and system for verifying circuit designs through propagation of assertions within a circuit design. In an embodiment, a plurality of provided assertions a circuit design are propagated within the circuit design. The circuit design is then verified using at least one of the propagated assertions as an assumption.

Abstract: A method and system for analyzing transaction level simulation data of an integrated circuit design. In an embodiment, a transaction fiber is plotted. The transaction fiber comprises a transaction block. A compact representation of a child block of the transaction block is provided when the transaction fiber is in a collapsed state. In one embodiment, the compact representation of the child block is provided by drawing a line segment below the transaction fiber.

Abstract: Embodiments of the present invention address deficiencies of the art with respect to event driven simulation and provide a method, data processing system and computer program product for mapping a process model for use in a generic simulation engine. In an embodiment of the invention, a generic model simulation method can include mapping a specifically formatted process representation into a generic process model, and providing the generic process model to a simulation engine. The method further can include executing a simulation on the generic process model in lieu of executing the simulation on the specifically formatted process representation.

Abstract: In an evaluation system for evaluating a target board produced for use with a microprocessor, an evaluation microcomputer is connected between the target board and an evaluation tool. In the evaluation microcomputer: an emulation circuit emulates functions of the microprocessor, and supplies an emulation result to the evaluation tool through an interface circuit; the interface circuit interfaces the emulation circuit with the evaluation tool; and a data storing circuit stores data relating to the microprocessor. The emulation circuit and the interface circuit are powered by the target board, and the data storing circuit is powered by the evaluation tool. Alternatively, when the interface circuit further has the function of the data storing circuit, the interface circuit is powered by the evaluation tool.

Abstract: A method of evaluating constraint functions, the evaluation being based at least in part on a fuel bundle movement criteria.

Abstract: A computer-implemented method for generating a computer model of one or more teeth by receiving a digital data set of meshes representing the teeth; creating a parametric representation of the digital data set; and displaying the computer model of the teeth using the parametric representation. The model can be modified or transmitted for viewing or for fabricating dental appliances.

Abstract: Irregular volumes within one or more three-dimensional volume datasets are identified and extracted in response to criteria. The processing involves automatically finding a seed voxel or seed cell that meets the criteria and thus belongs to an irregular volume of interest, and then identifying cells related to the seed cell by one or more predetermined relationships that are therefore also to be grouped into that irregular volume. Information, which can be of any suitable type, identifying each such cell as being related to other cells and belonging to an irregular volume is stored in a suitable data structure. The location or similar neighborhood information and other data describing properties or attributes of the identified cell are also stored. Because the irregular volumes are extracted and pre-processed in this manner, operations including rendering them on a display and performing Boolean and arithmetic operations on them can readily be performed.

Abstract: A system and method for object modeling. A compositing module embeds geometric shapes to model varying densities of an object. The compositing module represents each volume domain of constant density within a segment with a separate geometric shape. A mass set properties module in the system calculates estimates of mass set properties such as center of mass by first subtracting integrals related, for example, to the lungs from an integral related to the total chest cavity. A deforming module in the system provides a geometric shape that is deformable to more closely match data points from the object. The deforming module adjusts a B-spline solid having control points to fit an irregularly shaped object. Movement and location of the control points locally adjust the B-spline solid's surface. These variation can be used to determine mass set properties including mass, volume, center of mass, inertia tensors, principal moments, and the like.

Abstract: A method of analyzing the vibro-acoustic optimization potential of a structure of vibro-acoustically coupled subsystems having internal and coupling loss factors by means of statistical energy analysis (SEA). The method optimizes the vibro-acoustic behavior of the structure.

Abstract: System, method and computer product for baseline modeling a product or process. A service database contains process data. A preprocessor processes the data into a predetermined format. A baseline modeling component builds a baseline model from the preprocessed data, wherein the baseline model relates process performance variables as a function of process operating conditions.

Abstract: A method, practiced by a Hydraulic Fracturing Simulator software, is adapted for simulating a hydraulic fracture in an Earth formation, the formation including a plurality of layers, a slip zone, which represents a debonding between adjacent layers of the Earth formation, possibly existing between the adjacent layers, the method comprising the step of: setting up an Influence Coefficient Matrix, the matrix having a plurality of numbers, the plurality of numbers of the Influence Coefficient Matrix being calculated and determined such that the method, practiced by the Hydraulic Fracturing Simulator software for simulating the hydraulic fracture, will model, or take into account an existence of, the slip zone and/or the debonding between the adjacent layers of the Earth formation.

Abstract: Systems and methodologies are provided that adapt and control desired fabrication processes by utilizing a control model based solution. A suitable control model is obtained or derived from one or more other control models. A formulaic description is then obtained that predicts one or more desired outputs based on various process settings and inputs. A suitable solution to the description that achieves the desired outputs and is relatively close to ideal processing conditions is obtained utilizing a heuristic. The solution includes process control parameters or settings that are employed to control and/or modify a fabrication process.

Abstract: A system for actuating a spray pump assembly comprises a reference platform, a motor, a drive transmission, a spray pump holder, a force coupler, a force transducer, and a system controller. The motor receives a power and control input, and produces a rotary drive output. The drive transmission receives the rotary drive output and produces a linear drive output. The spray pump holder secures the spray pump assembly. The force coupler couples the linear drive output to the spray pump, and applies a force to the spray pump. The force transducer produces a force signal proportional to the force applied to the spray pump. The system controller receives a set of test inputs and provides the control input to the motor as a function of the set of test inputs. The system actuates the spray pump mechanism according to an actuation profile defined by the set of test inputs.

Abstract: By implementing a sequence control in a numerical control, tool-related machining operations and position elements are executed depending on the technology-dependent sequence in the machining program so that all cycles of a machining operation are selected consecutively as modal cycles, with all cycles being selected consecutively for a position element for each cycle for a machining operation, and the respective operation being executed at the position of the respective position element prior to the following cycle being selected as a modal cycle for an operation. Thus unnecessary tool changes are avoided and therefore machining productivity is increased.

Abstract: An apparatus and method is provided for managing and distributing design and manufacturing information throughout a factory in order to facilitate the production of components, such as bent sheet metal components. In accordance with an aspect of the present invention, the management and distribution of critical design and manufacturing information is achieved by storing and distributing the design and manufacturing information associated with each job. By replacing the traditional paper job set-up or work sheet with, for example, an electronically stored job sheet that can be accessed instantaneously from any location in the factory, the present invention improves the overall efficiency of the factory. In addition, through the various aspects and features of the invention, the organization and accessibility of part information and stored expert knowledge is improved.