22 results about "Logic error" patented technology

The application discloses a kind of UVM verification platform automatic generation system and method based on generative artificial intelligence, the system includes generative AI dynamic anchoring module, LLM-VCS self-feedback verification module and conflict detection correction module;The generative AI dynamic anchoring module is used to solve the context window limit problem on large language model, by the key component in UVM platform is marked as anchor file and generates subsequent file based on dependency relationship priority;LLM-VCS self-feedback verification module cooperates with large language model and EDA tool chain, forms closed loop system from specification input to UVM platform generation, simulation and debugging;The conflict detection correction module is used to detect and correct the interface inconsistency and logic error between generated files.The application can adapt to the verification needs of different RTL designs, effectively solve the interface consistency problem of high coupling between UVM modules, flexibly generate UVM platform of different structures, significantly improve the verification efficiency and quality.

The invention belongs to the related technical field of analog-to-digital conversion, and discloses a dynamic logic circuit and a successive approximation type analog-to-digital converter, the dynamic logic circuit comprises a dynamic logic unit and a capacitor lower pole plate multiplexer switch, the first stage of the dynamic logic unit adopts a dynamic D trigger, the second stage adopts a dynamic latch, and the second stage adopts a successive approximation type analog-to-digital converter. The output end of the dynamic latch is additionally provided with a switch tube M14 and a switch tube M15 to form a pair of cross-coupled switch tubes, after the DP end and the DN end sample the output of the comparator, if DP is high level and DN is low level, the DP switches on the tube M14, so that DN is not influenced by charge leakage and always keeps low level, and if DP is low level and DN is high level, the DN switches on the tube M15, so that the DN is not influenced by charge leakage and always keeps low level. Therefore, the DP is not influenced by charge leakage and is always kept at a low level, so that the stability of an output result can be maintained, the influence of the charge leakage on the output result is reduced, and a logic error caused by the charge leakage is avoided.

The application discloses a flood scheduling gate operation logic anti-misoperation method and device based on rule self-learning, and particularly relates to the technical field of gate scheduling control systems. Trend results are generated by differentially determining the signs of the inflow and reservoir water level, consistency checking is performed in combination with the discharge variation direction and gate opening instruction to form an effective instruction sequence; the residual space amount of the downstream sensitive area is calculated, and the channel impact coefficient is generated in combination with the discharge impact amount and channel conditions; on this basis, the over-limit channel flow is reduced and distributed to the normal channel to form a rechecked sharing result. The application can realize trend dynamic judgment and instruction direction matching, guarantee discharge adjustment and hydrological condition consistency, and through the closed logic of reduction and distribution, the multi-channel flow sharing structure is optimized, the gate adjustment sequence logic is set according to the gate operation principle of the power station design, automatic matching of the discharge and gate adjustment is realized, and the situation of lower gate operation order is prevented.

The invention discloses a large language model reasoning path pruning method based on a satisfiability model theory, and aims to solve the problems that a heuristic evaluator depended by a multi-path reasoning framework such as an existing thinking tree is unreliable and the calculation cost is too high due to the unreliable heuristic evaluator. An intermediate reasoning step generated by a large language model LLM is automatically converted into formalized logic constraint, a satisfiability model theory SMT solver is used for carrying out millisecond-level satisfiability verification, logically inconsistent error reasoning branches can be actively and instantly recognized and cut off, and therefore computing resources are concentrated on potential correct branches. According to the method, the defects that an existing method passively accepts logic errors and depends on an unreliable evaluator, so that resources are wasted are overcome, the accuracy and reliability of large language model LLM complex reasoning are remarkably improved, and meanwhile the calculation overhead and token consumption are greatly reduced.

This application relates to a method and system for auditing operation timing logic based on state tracking, comprising: initializing and maintaining a device state tracker to record the state of the operated device during the simulated execution of an operation ticket; sequentially parsing the operation ticket, identifying the type of the current step in the operation ticket, and converting the current step into a structured instruction according to the type of the current step; the structured instruction includes a device identifier, an initial state, and a target state, or a device identifier and a target state; performing timing logic consistency verification based on the state records in the device state tracker according to the type of the current step and its structured instruction, and updating the device state tracker; outputting a successful audit result if all steps in the operation ticket pass the verification; and suspending the audit if any step in the operation ticket contains a timing logic error, and outputting an audit exception result containing the location and type of the timing logic error, thereby realizing the audit of operation timing logic.

The invention provides a built-in SQL (Structured Query Language) function logic error detection method and device based on function attribute driving. The method comprises the following steps: acquiring a built-in SQL function set; a triple model is constructed for each function in the built-in SQL function set to obtain a built-in SQL function model library, and each built-in SQL function model comprises signature, constraint and attribute information; generating a function expression according to a built-in SQL function model library, and embedding the function expression into a rich-context SQL statement to obtain an original SQL query set; analyzing the original SQL query set into an abstract syntax tree, traversing the abstract syntax tree to position function nodes, and constructing a variant SQL query set by applying function transformation through intra-function transformation or inter-function transformation; performing result comparison on the original SQL query set and the variable SQL query set to detect whether a built-in SQL function with a logic error exists or not; therefore, efficient and accurate detection of the built-in SQL function logic error is realized.

The application provides a built-in SQL function logic error detection method and device based on function attribute driving, wherein the method comprises the following steps: obtaining a built-in SQL function set; constructing a triple model for each function in the built-in SQL function set to obtain a built-in SQL function model library, wherein each built-in SQL function model comprises signature, constraint and attribute information; generating a function expression according to the built-in SQL function model library and embedding the function expression into a rich context SQL statement to obtain an original SQL query set; parsing the original SQL query set into an abstract syntax tree and locating a function node by traversing the abstract syntax tree to apply function transformation by function internal conversion or function interconversion to construct a variant SQL query set; comparing the original SQL query set and the variant SQL query set to detect whether there is a built-in SQL function with a logic error; and thus, efficient and accurate detection of the built-in SQL function logic error is realized.

The application discloses a kind of nuclear safety grade DCS system engineering application software logic comparison method and device, it is related to nuclear power technical field, the underlying data in engineering application software is based on in the present application, the logic comparison of different units or different versions of engineering application software is realized, a large number of false positives caused by comparison based on image recognition technology is solved, the misidentification problem caused by the large displacement of the element position in drawing is eliminated, and it is also unnecessary to train through artificial intelligence big model, the workload of designer is reduced, the misidentification of comparison result caused by different algorithm modules used by different designers and different design styles is eliminated, work efficiency and work quality are greatly improved, and logic error caused by human error is avoided.

The application relates to the technical field of intelligent monitoring of rail transit trains, and discloses a train man-machine interface display intelligent analysis method based on artificial intelligence. The method analyzes the dynamic evolution track of the interface state in a historical period, evaluates the stability of display elements, and predicts potential fault paths. Simulated operations are applied to logic conflict nodes, underlying service features and user operation behavior features are separated from mixed responses, and independent tracing and positioning are respectively performed. The method can realize early warning of abnormal behaviors of interface elements, accurately distinguish and position different levels of faults caused by system service defects and interactive logic errors, and provides a core technical means for intelligent monitoring and efficient maintenance of a train man-machine interface.

A package structure and a related preparation method thereof are disclosed. The package structure includes: an interposer; and a logic chip structure and a signal channel structure that are located on a surface of the interposer, where the logic chip structure includes a logic chip on a surface of the interposer and a power supply channel structure on a surface of the logic chip. A power supply layer of the logic chip is close to the power supply channel structure, which is electrically connected to a corresponding conductive structure to achieve power supply. A signal layer of the logic chip is close to the interposer and connected to the corresponding conductive structure to realize signal transmission. In this way, the power supply does not interfere with signals, and a logic error is avoided; and an overall voltage and power consumption of a finished package is significantly reduced.

The application relates to a five-prevention logic auditing method and device for a power transformation operation ticket and a computer device. The method comprises the following steps: obtaining power transformation operation ticket data, identifying operation steps of equipment in the power transformation operation ticket data, extracting operation verbs and equipment numbers in the operation steps, sequentially obtaining five-prevention locking logic conditions of equipment corresponding to the equipment numbers, obtaining equipment states of target equipment, the target equipment being equipment contained in the five-prevention locking logic conditions of the current equipment, updating the states of the current target equipment when the equipment states of the target equipment meet the five-prevention locking logic conditions of the current equipment, and returning to the step of sequentially obtaining the five-prevention locking logic conditions of the target equipment corresponding to the equipment numbers according to the operation verbs and the equipment numbers. The method can quickly and accurately identify five-prevention logic errors in the power transformation operation ticket, and can avoid power grid accidents.

The invention relates to the technical field of smart building control, and discloses a cross-subsystem event-driven linkage control method and system for a smart building. The method comprises the following steps: performing deep detection and time sequence extraction on original operation data to obtain a two-dimensional time sequence data set; constructing a life cycle attenuation model and packaging to obtain a standardized data sequence; constructing a backtracking buffer pool, executing reverse interpolation and holding operation to generate virtual data points, and executing discretization segmentation to generate a time sequence alignment event slice sequence; and executing a logic replay matching operation to obtain an event set, executing a state judgment and instruction generation operation, and generating a self-adaptive cooperative control instruction. According to the method, sequential logic errors caused by heterogeneous network transmission uncertainty and sampling frequency aliasing are eliminated, the problems of causal inversion and decision lag of cross-system linkage are solved, and precise research and judgment and reliable control of global perception are achieved.

The application relates to the technical field of intelligent building control and discloses a cross-subsystem event-driven linkage control method and system for intelligent buildings. The method comprises the following steps: deeply detecting and time-series extracting original operation data to obtain a two-dimensional time-series data set; constructing a life cycle attenuation model and encapsulating to obtain a standardized data sequence; constructing a backtracking buffer pool, performing reverse interpolation and retention operations to generate virtual data points, and performing discretization segmentation to generate a time-series alignment event slice sequence; performing a logic replay matching operation to obtain an event set, performing state arbitration and instruction generation operations, and generating adaptive collaborative control instructions. The application eliminates time-series logic errors caused by heterogeneous network transmission uncertainty and sampling frequency aliasing, solves the problems of causal inversion and decision lag in cross-system linkage, and realizes accurate research and reliable control of global perception.

This application discloses a method, apparatus, device, and medium for assertion code verification based on a pre-trained model, relating to the field of code generation technology. The method includes: extracting timing relationships from hardware design code; obtaining corresponding reference assertion code based on the timing relationships, and inputting the timing relationships into a pre-trained model after describing them in natural language to generate assertion code to be tested; integrating both into the same verification environment and applying an excitation signal, recording each successful trigger moment during simulation; comparing the successful trigger moments of the assertion code to be tested with those of the reference assertion code, and determining the functional correctness index of the assertion code to be tested based on the number of time matchings and the total number of triggers of the reference assertion code; and evaluating the functional correctness of the assertion code generated by the model based on the functional correctness index. Through the technical solution of this application, assertion logic errors can be avoided, establishing a benchmark and feedback loop for the reliable application of pre-trained models in the verification field.

The invention discloses a DBMS logic defect detection-oriented value semantic perception metamorphic test method and system, and relates to the technical field of database management, and the method comprises the following steps: designing a basic grammar for a to-be-tested DBMS to construct an original query; locally rewriting the original query to generate a variation query, wherein the original query and the variation query meet an approximate relationship; analyzing the original query and the variation query into an abstract syntax tree AST, searching a propagation link locally rewritten on the AST, and generating a query-level approximation relationship between the original query and the variation query; and executing the original query and the variation query on the to-be-tested DBMS, collecting an execution result, comparing the execution result with the query-level approximation relationship, and judging whether a logic defect exists or not. The invention provides a unified SQL (Structured Query Language) query approximation model fusing ensemble semantics and value semantics reasoning, and logic errors in a database management system are detected by changing SQL queries and spreading semantic approximation.

The utility model relates to the field of automation control and robot technology discloses a kind of self-adapting location-finding devices, comprising: terminal execution mechanism, for executing preset processing task, terminal execution mechanism includes installation base, and two groups of execution units are symmetrically provided on installation base;XY axis self-adapting mechanism, for clamping workpiece, to adjust own position;Z axis positioning mechanism, for adjusting terminal execution mechanism, XY axis self-adapting mechanism position according to workpiece position.The utility model is by being provided with terminal execution mechanism cooperation XY axis self-adapting mechanism, Z axis positioning mechanism, cancels complex kinematics solution, using precision operation mechanism replaces visual identification, laser scanning, realize in mechanism automatic tracing, reduce complex motion example, realize low code or no code operation, realize quick use and simple operation, save human resources, the cost of from production and manufacture, use maintenance, remanufacture etc. obviously reduce, reduce logic error.

The application relates to a time-keeping and logic decision-based anti-single-particle effect circuit, belongs to the field of anti-radiation integrated circuit reliability design, and aims to solve the problems that, in the prior art, single-particle transient pulses are easily sampled to cause logic errors, and that the reinforcement scheme has the problems of complex structure, large resource consumption and poor adaptability. A delay reinforcement scheme based on time-keeping and logic decision cooperation is provided. The scheme sets a time-keeping unit to sample an input logic signal and generate a historical period logic signal, combines a comparison decision unit to determine the consistency of a current logic signal and the historical period logic signal, and controls an output control unit to selectively transmit or keep the input signal based on the determination result, so that the detection and shielding of abnormal transient signals are realized. Meanwhile, the sampling timing and the decision mode are adjusted to adapt to different pulse characteristics, and the application is suitable for reinforcement application of key logic paths in high-reliability integrated circuit systems such as aerospace, automobile electronics and industrial control.

The application discloses a kind of newly added register automatic connection optimization method, system, equipment and storage medium, the method includes: identifying the newly added register needing to be inserted in existing layout and wiring design in engineering change instruction;In the tree structure of the existing layout and wiring design, search the candidate connection node set corresponding to the network source point logic equivalence of the newly added register;The physical distance of the newly added register is calculated with each candidate node in the candidate connection node set;The candidate node closest to the physical distance of the newly added register is used as the target connection node, and the corresponding signal end of the newly added register is connected to the target connection node.The application realizes the full-process automation of chip logic ECO newly added register connection, significantly improves ECO processing efficiency, avoids the problem of logic error and low efficiency caused by manual operation.

The invention relates to the technical field of rail transit train intelligent monitoring, and discloses a train human-computer interface display intelligent analysis method based on artificial intelligence. According to the method, the stability of a display element is evaluated and a potential fault path is predicted by analyzing a dynamic evolution track of an interface state in a historical period. And applying simulation operation to the logic conflict nodes, separating the underlying service features and the user operation behavior features from the mixed response, and respectively carrying out independent traceability positioning. According to the method, early warning of abnormal behaviors of interface elements can be realized, different levels of faults caused by system service defects and interaction logic errors are accurately distinguished and positioned, and a core technical means is provided for intelligent monitoring and efficient maintenance of a train human-computer interface.

This application discloses an intelligent formulaic method, device, and equipment for describing power grid section limits, relating to the field of power system dispatching and operation. Through the synergistic collaboration of an expert rule base and a large language model, it achieves generalization processing of complex condition combinations while ensuring domain-specific expertise, resolving the contradiction between the high maintenance cost of pure rule-based methods and the high physical logic error rate of pure AI methods. The proposed dynamic verification closed-loop mechanism, through syntax-physical dual-level verification and LLM iterative correction, ensures that the generated formula fully complies with power grid safety constraints, fundamentally eliminating the risk of cascading failures caused by formula errors. It achieves second-level automatic conversion from unstructured text to executable formulas, significantly improving the timeliness of dispatching decisions and the adaptability to new power systems.

The invention discloses a simulation scene driven transformer substation main station and substation logic response consistency verification method, which comprises the following steps: constructing a simulation scene model containing typical operation conditions, injecting remote control and other trigger operations into a main station and substation simulation environment before and after transformation, collecting key response behavior data, and verifying the main station and substation logic response consistency. And a response path diagram is constructed for comparison, and response differences are identified. The response data comprises information such as remote signaling displacement, remote control execution and locking state. The system can output a response path difference report, identifies the problems of response missing, order disorder or logic errors and the like, and realizes consistency verification of logic behaviors before and after the monitoring system is transformed. The method has the advantages of being high in expandability, comprehensive in response behavior coverage, high in automation degree and the like, and can be widely applied to the fields of transformer substation monitoring system upgrading verification and logic closed-loop testing.

The invention provides a code conversion method and device based on an abstract syntax tree and terminal equipment, according to the code conversion method and device based on the abstract syntax tree, a standardized plug-in interface design of a dynamic plug-in system enables a conversion plug-in to have high expandability and maintainability, and when code specifications are updated, quick response can be achieved only by developing a new plug-in; maintenance cost and adaptation difficulty are greatly reduced, and the method can flexibly adapt to code conversion requirements of multiple scenes and multiple platforms. In addition, the code file is analyzed into the abstract syntax tree for structural analysis, the code logic and syntax relation can be accurately recognized and converted, and the code conversion accuracy is improved. And secondly, by fusing a dynamic plug-in system and a difference table set and utilizing a difference table and a built-in conversion rule of a conversion plug-in to perform conversion processing on nodes in the abstract syntax tree, code format chaos and logic errors caused by misoperation in manual conversion are effectively avoided, and the code conversion efficiency and accuracy are improved.