Abstract: A system and a method for checking consistency of a lock-step process while debugging a microcontroller code. The virtual microcontroller and the microcontroller simultaneously and independently run a microcontroller code. The microcontroller includes a first memory and the virtual microcontroller residing in the ICE includes a second memory. A host computer copies a content of the first memory and a content of the second memory in the host computer memory when the execution of the code is halted. The host device compares the content of the first memory and the content of the second memory for consistency. In case of a disparity between the content of the first memory and the content of the second memory, a user traces the execution of the code in a trace buffer residing in the ICE and debugs the faulty code accordingly.

Abstract: A circuit is simulated by using system or network tearing 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 method and a system directed to semantically annotating business process modeling components of a business process model are described. For example, a definition of a business process modeling component and an association of a domain element with the business process modeling component are received. Then, the definition of the business process modeling component is semantically annotated using the domain element.

Abstract: A method of analyzing power consumption for a DUT (device under test) that includes an integrated circuit or an electronic system includes: providing emulation data for states of the DUT in one or more time windows; determining operational mode values from the emulation data and a selection of operational modes that characterize circuit behavior in the one or more time windows; dividing each time window into one or more segments based on at least one power criterion; determining power-activity values for the one or more segments; determining power-consumption values for the one or more segments from the power-activity values; using the power-activity values and the power-consumption values to determine relative power activity across the one or more segments and adjusting the one or more segments to target high power activity over operational modes in the one or more time windows; and saving one or more values for power activity of the DUT in a computer-readable medium.

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: Described are software tools and techniques for use in power system operations and control, enabling direct non-iterative solution and estimation of the state of a power system. Knowledge of the state of a power system is essential for secure, reliable and efficient operation of the system. Power system measurement data including the phasor data, as well as power system parameter and topology data are utilized. A set of redundant nonlinear equations, quadratic or third-order in form is formulated. The nonlinear equations are then solved directly for the state of the power grid. The methodology is non-iterative and offers a direct solution that does not depend on initial guess values or convergence of iterations, thus offering a more robust tool for energy management systems and power systems operation and control.

Abstract: A method and system of surface analysis or product design comprising using a plurality of input scans, commonly orienting the scans, establishing a common origin, creating a ray mesh having a plurality of rays extending from the origin, calculating intersections of the rays with the input scans, analyzing the intersection along each ray, generating percentile envelopes by connecting similar percentile points on each ray, and designing products using percentile envelopes as a guide. The system may comprise a device for scanning surfaces, a fit plan setting forth predetermined guidelines for the product, a coordinate transformation algorithm, an envelope processor comprising an intersection calculation algorithm for analyzing data sets and generating output surfaces, and an output file.

Abstract: A system includes a client and an interface component. The client includes (i) a device manager associated with a field device in a process control system and (ii) a first emulator configured to emulate a communication manager. The device manager defines a user interface associated with the field device. The interface component includes (i) a second emulator configured to emulate the device manager and (ii) the communication manager. The communication manager is configured to communicate with the field device over a communication link using a specified protocol. The client is physically separated from the interface component. The communication manager could represent a communication Device Type Manager (DTM), and the device manager could represent a device DTM. Also, the first emulator could emulate at least some functions of the communication DTM, and the second emulator could emulate at least some functions of the device DTM.

Abstract: Methods and apparatus, including computer program products, for identifying an analytical representation of a plurality of physical elements in a computer aided design (CAD) model, the analytical representation comprising a plurality of analytical elements. one or more of the plurality of analytical elements corresponds to one or more of the plurality physical elements. An association is identified between corresponding analytical and physical elements such that a modification to one element can be applied to modify a corresponding other. An error is automatically detected in the analytical representation.

Abstract: The present disclosure includes dental appliances, devices, and methods of making and using such appliances. In one embodiment, a method for tooth modeling includes receiving a patient information file for a treatment plan patient and analyzing the patient information file to determine whether the patient is a non-adult patient.

Abstract: A system and method of using a multi-layered network model for analyzing the survivability of network services. The model is defined in terms of layers, connections, entities, physical processing elements, physical network elements, and physical infrastructure elements. Network services are modeled by sets of communicating entities at the application layer that are connected by connections at the underlying layers. The generality of the model constructs enable the construction of models of complex networks and services that can involve multiple layers of communication protocols, network elements, processing elements, and failover/backup mechanisms. The service survivability of a network is analyzed by projecting the failure of a set of physical elements onto the model and then determining the proportion of service affected at the application layer.

Abstract: Various embodiments include methods and apparatus for simulating a transistor using a simulation model that includes a transistor simulation model coupled to diode simulation model.

Abstract: A system and method for compressing trace data from an emulation system. Scan chains may receive trace data from configurable logic blocks inside one or more emulation chips, and the data received from the scan chains may be compressed. Where delta compression is used, the scan chains may also perform a delta detection function. Alternatively, delta detection may be performed using the outputs of the scan chains. In addition, event detectors may be implemented within or outside of the scan chains. Compression of the trace data may include receiving a plurality of data sets and performing compression along cross-sections of the combined data sets.

Abstract: An example method for performing an operation includes obtaining an input deck of a first simulator, the input deck being prepared based on field data for performing a simulation of the operation using the first simulator. The method further includes migrating the input deck from the first simulator to generate input for a second simulator, the second simulator being configured to simulate the operation based on the input to generate a simulation result. The method further includes storing the simulation result in a repository.

Abstract: A computer implemented stochastic inversion method for estimating model parameters of an earth model. In an embodiment, the method utilizes a sampling-based stochastic technique to determine the probability density functions (PDF) of the model parameters that define a boundary-based multi-dimensional model of the subsurface. In some embodiments a sampling technique known as Markov Chain Monte Carlo (MCMC) is utilized. MCMC techniques fall into the class of “importance sampling” techniques, in which the posterior probability distribution is sampled in proportion to the model's ability to fit or match the specified acquisition geometry. In another embodiment, the inversion includes the joint inversion of multiple geophysical data sets. Embodiments of the invention also relate to a computer system configured to perform a method for estimating model parameters for accurate interpretation of the earth's subsurface.

Abstract: A modeling method creates a three-dimensional analysis model of a target object for extracting parameters that are used to analyze a high-frequency transmission, by selecting, from an art work data of the target object, an extraction target region that becomes a target for extracting the parameters that are used to analyze the high-frequency transmission, deleting non-extraction target elements of the extraction target region, that do not affect an electromagnetic analysis and are other than extraction target elements that affect the electromagnetic analysis, linearizing, from among the extraction target elements, a curved wiring, and optimizing a wiring length of the extraction target region including the linearized wiring and optimizing an analyzing space dimension of the extraction target region, so as to create the three-dimensional analysis model.

Abstract: Systems and methods are provided that estimate when to replace a medical device that is implanted in a patient due to battery depletion. These systems and methods significantly reduce the need for service calls made to medical device manufacturers that relate to battery longevity. In some examples, these systems and methods estimate a battery end of life based, at least in part, on an actual battery voltage received on an actual transmission date and a model transmission date determined based on the actual battery voltage. The estimated battery end of life is further based on a comparison of the model transmission date with the actual transmission date.

Abstract: Generating transactional level bus simulation instructions from a bus protocol description is disclosed. A bus protocol description is accessed. From the bus protocol description, a finite state machine is generated. Transactional level bus simulation instructions are generated from the finite state machine. Then, the transaction level bus simulation instructions are stored in computer readable medium.

Abstract: A simulation apparatus and method in relation to a sensor network are provided. The apparatus includes: a space database storing space information; a database storing standard specifications of sensors or sensor nodes; and a modeling unit extracting information on a 3-dimensional (3D) virtual space in which a sensor or sensor node is positioned, from the space database, obtaining the characteristic of the sensor or the sensor node from the standard specification based on the extracted space information and the standard specification of the sensor or the sensor node, and modeling the sensor or the sensor node. According to the apparatus and method, a virtual wireless sensor network system identical to a real world environment can be established, and as a result, the performance of the system can be accurately measured and an optimized design of the system can be efficiently performed.

Abstract: The present invention uses spring models to position a finite element occupant model within a pre-simulation. Initially, a starting position and a final position for the finite element occupant model are determined. A first end of each of a plurality of spring models are attached at a first end to one or more components of the finite element occupant model in its starting position. The motion of the second end of each spring model is prescribed using positioning parameters and/or properties of each spring model are specified using spring parameters so that each attachment point is pulled to its final position through tension on the spring models. The specified positioning parameters and/or spring parameters describe how each spring model repositions the components of the finite element occupant model from the starting position to the final position.