A system enhances a system design to incorporate safety measures. The system receives a system design for processing through various stages of design using design tools, for example electronic design automation tools for introducing safety features in a circuit design. The system receives safety requirements for the system design, the safety requirements specifying safety measures for the system design. The system generates from the safety requirements, a safety specification storing a set of commands. The system generates a system design enhanced with safety measures. The enhanced system design it generated for at least a subset of the plurality of tools. A tool processes the generated safety specification to implement safety measures in the system design according to the received safety requirements.

A high-precision high-fidelity real-time simulation and behavior prediction method and device for a nuclear power station is provided. The method comprises the following steps: (1) constructing a nuclear power station simulator and a physical nuclear power station based on the same design parameters; (2) operating the nuclear power station simulator and the physical nuclear power station in parallel, and obtaining predicted parameters output by the nuclear power station simulator and operation parameters of the physical nuclear power station in real time; (3) comparing the predicted parameters and the operation parameters representing the same physical quantity one by one, and correcting prediction models in the nuclear power station simulator and input parameters of the prediction models by adopting a large-scale concurrent-parallel parameter search and correction algorithm and an artificial intelligence-based mode recognition and correction algorithm until the predicted parameters reach specified precision; and (4) operating the nuclear power station simulator according to a set operation condition to obtain the predicted parameters, thereby completing a behavior prediction of a physical nuclear power station system.

Aspects of the disclosure provide for the evaluation of a scheduling system software for managing autonomous vehicle scheduling and dispatching. For instance, a problem condition for a simulation may be identified. The simulation may be run using the identified problem condition. The simulation may include a plurality of simulated autonomous vehicles each utilizing its own autonomous vehicle control software and map information common to each simulated autonomous vehicle. The problem condition may relate to a particular simulated autonomous vehicle of the plurality. Output of the simulation may be analyzed to determine a score for the scheduling system software. The scheduling system software may be evaluated using the score.

A computing system is structured to receive operating data provided by a telematics circuit associated with a remote engine. The operating data comprises information provided by at least one sensor and/or at least one actuation command. The computing system is structured to determine, based on the operating data, a plurality of field-replaceable units (FRUs) associated with the operating data. The computing system is structured to generate a computer-based simulation corresponding to at least one degradation level for an FRU from the plurality of FRUs, identify a most probable failure, and rank the computer-based simulations across the plurality of FRUs. The computing system is structured to generate an electronic notification comprising data associated with the most probable failure and transmit the electronic notification to a computing device.

System analysis by receiving a model of a complex system design. The model includes at least one layer. The analysis includes performing a plurality of simulations of the performance of the layer. The number of simulations is determined according to a number of system components associated with the layer. The analysis further includes determining a worst-case result for a set of simulations from the plurality of simulations and assigning the worst-case result to an overall system simulation.

An array of poly lines on an active device area of an integrated chip is extended to form a dummy device structure on an adjacent isolation region. The resulting dummy device structure is an array of poly lines having the same line width, line spacing, and pitch as the array of poly lines on the active device area. The poly lines of the dummy device structure are on grid with the poly lines on the active device area. Because the dummy device structure is formed of poly lines that are on grid with the poly lines on the active device area, the dummy device structure may be much closer to the active device area than would otherwise be possible. The resulting proximity of the dummy device structure to the active device area improves anti-dishing performance and reduces empty space on the integrated chip.

The present invention relates to a method for calculating a time history wind load in accordance with correlation, the method in which an artificial time history load close to reality can be generated without relying on a wind tunnel test, by applying the correlation between wind loads in two directions and adjusting the ratio of a maximum value of any one wind load relative to a maximum value of the other wind load.

A data processing apparatus that searches for a combination of values of a plurality of state variables by which a value of an Ising-type evaluation function including the plurality of state variables and a weight value, and that includes a memory and a processor. The memory stores group information indicating to which of a plurality of groups obtained by grouping the plurality of state variables each of the plurality of state variables belongs. The processor determines whether to allow a change in a value of each of a plurality of first state variables based on a comparison result between a predetermined value and a change amount of a value of the evaluation function, and change, when a change in values of a plurality of second state variables is allowed, values of the plurality of second state variables.

A dynamic characteristic analysis method of DET and RELAP5 coupling based on a universal instrumental variable method includes steps of: constructing a DET simulation model of a discrete dynamic event tree and modifying TRIP cards of an input file by adding universal instrumental TRIP variables according to state transition types of DET simulation objects, the universal instrumental TRIP variable being variable type or logical type; setting a simulation time of the RELAP5, controlling a simulation step, and analyzing an output result file of each simulation step of the RELAP5; backtracking the RELAP5 according to state transition types of DET simulation objects. The dynamic characteristic analysis method has advantages of simplifying TRIP setting process and method of DET state transition objects in an input file of the RELAP5 required for the coupling of DET and RELAP5, reducing a modeling complexity and improving a modeling efficiency.

A device and a method for integrated circuit assistance design, and a method for constructing an electrical performance gradient model are provided. The device includes a database and a processor. The database has an electrical performance gradient model. The electrical performance gradient model represents a gradient distribution of an electrical performance in a wafer. The processor is coupled to the database. The processor analyzes a designed circuit by using the electrical performance gradient model.