9 results about "Logical framework" patented technology

The application provides a large model-based automatic code generation and optimization method and system. Among them, the application generates an initial logical framework by a large model, forms a symbolic structure through symbolic processing, and generates a code intermediate representation that retains key semantics, and finally outputs source code. An index set is constructed using a vulnerability knowledge graph, a source code instruction sequence is scanned through parallel computing, and risk instruction positions and vulnerability details are marked by combining semantic similarity and path pattern matching. Based on vulnerability information, a historical case database is retrieved, a matching relationship is established, and an optimization strategy containing repair operations and constraints is generated. A semantic analysis model is loaded at the risk position, a difference graph of execution mode is constructed to generate features, a large model parameter is fine-tuned based on the constructed adversarial sample, and the newly generated code is rechecked for vulnerabilities. The application realizes intelligent generation from requirements to code, and completes the loop of vulnerability identification, repair strategy generation, large model dynamic optimization, and post-repair verification.

A hybrid automated chess system, consisting of: a physical chessboard with a multitude of squares arranged in a standard chessboard configuration, each square being connected to at least one sensor configured to detect the placement and movement of chess pieces; a processing unit that is functionally connected to the multitude of sensors and configured to receive sensor signals representing a board state; a software-based online simulator that includes a chess rules engine configured to implement the complete logic of chess, including validation of legal moves and determination of the game state; and a unified logic framework that enables synchronization between the physical chessboard and the online simulator, where the chess rule engine is first run and validated in the online simulator and then used to control move validation and game state transitions of the physical chessboard, and the movements of the chess pieces detected by the sensors are processed by the processing unit and validated using the same chess rule engine as the online simulator to ensure a consistent and synchronized game between the physical and digital environments.

The application relates to a power question and answer pair generation method and device of a power system, computer equipment and a readable storage medium. The method comprises the following steps: based on a target power business scenario, searching in a power knowledge graph to obtain a subgraph, and extracting a power entity relationship group from the subgraph; based on the power entity relationship group, combining a power operation regulation rule library to determine a rule verification template, filling device node attribute values in the power entity relationship group into the rule verification template to obtain a logical deduction chain; based on the logical deduction chain and a power term standard dictionary, performing term mapping to obtain a semantic description sequence, based on the semantic description sequence, combining a preset question and answer sentence type template library to perform screening to obtain a target logical framework; and based on the target logical framework and the semantic description sequence, obtaining a candidate question and answer content block, verifying the candidate question and answer block, and obtaining a target power question and answer pair that passes verification. The method can improve the accuracy of question and answer pair generation.

The invention provides a power grid knowledge logic and topology constraint-based work ticket generation method and system, and belongs to the field of power system maintenance, and the method specifically comprises the following steps: preloading a knowledge document which records a maintenance operation safety measure thinking chain in a natural language form; receiving a maintenance task, and performing knowledge retrieval and matching on equipment involved in the maintenance task to obtain knowledge fragments; fusing the knowledge fragments to generate a preliminary logic framework of the maintenance task work ticket; constructing a power grid topological graph model by taking the power equipment as a node and the electrical connection between the equipment as an edge, and calculating a topological analysis boundary of the target equipment of the maintenance task; and generating a structured prompt in combination with the preliminary logic framework and the topology analysis boundary, sending the structured prompt to the large language model, and generating a work ticket. According to the method, the limitation of a general artificial intelligence model in the professional field is effectively overcome, and the safety and credibility level and the generation efficiency of automatically generating the work ticket are improved.

The application provides a kind of multi-layer anti-quantum security protocol generation verification system and method based on hash drive, defines security target, selects the cryptographic primitive pool with anti-quantum hash function as core, and constructs active network enemy model containing quantum query capability;Based on the cryptographic primitive pool, a multi-layer protocol logic framework is constructed, and specific protocol interaction message sequence is generated;Formal modeling is a computational model that can be processed by automated theorem proving tools;The automated theorem proving tool is used to deduce and verify the computational model, if the verification is not passed, return to iterate and optimize the protocol interaction message sequence, until the final protocol specification that meets all the security targets and can be proved safe is generated.The application integrates protocol design, multi-layer architecture construction and formal verification into one, forms a closed-loop engineering process, and aims to automatically generate and strictly verify security protocols with anti-quantum capability and deep defense characteristics.

The application discloses an information processing method and device based on asymmetric polymorphic logic and a physical output control device, and relates to the fields of information processing and logical operation, and comprises the following steps: acquiring input data, processing the input data based on an asymmetric polymorphic logic framework, determining a logic state value, wherein the absolute value of the weight of a negative state in the asymmetric polymorphic logic framework is greater than the absolute value of the weight of a positive state, mapping the logic state value into a physical output control parameter, and outputting a physical control signal based on the physical output control parameter. The application breaks the equal distribution mechanism of traditional symmetric logic, improves the resolution and pre-judgment accuracy of the negative risk dimension, directly maps the logic state value into the physical output control parameter, constructs a technical closed loop from logic evaluation to physical environment intervention, and realizes accurate matching and dynamic cooperation between the intervention means and the internal logic state.

The application relates to a tool generation method and device, computer equipment and a storage medium, which comprises the following steps: generating a key element set based on key information in an interface description text; generating an interface model by performing data generation on the key element set based on a rule reasoning algorithm; constructing a calling sequence diagram based on the interface model, and optimizing the calling sequence diagram to generate a connection logic framework; adjusting abnormal processing logic in the connection logic framework to generate an enhanced logic structure; generating a construction script based on the enhanced logic structure; verifying the construction script based on a verification strategy to obtain a verification result, and generating an executable connection tool based on the verification result and the construction script; performing simulation test processing based on the connection tool to obtain test data, and determining a connection configuration corresponding to the connection tool based on the test data; and deploying the connection tool and the connection configuration to a target system. The application effectively improves the generation efficiency of the connection tool, and realizes rapid deployment of system integration.

This invention discloses a completely independent and original decimal abacus architecture computer system with reconstructed underlying logic. It aims to break through the architectural constraints of traditional binary computers and solve technical problems such as the monopoly of existing computer CPU architecture, high-end manufacturing processes, uncontrollable information security, large conversion losses, and insufficient computational accuracy. The system adopts a three-layer logical framework with a full-link design, using abacus rules as the computational core, binary as the information carrier, and decimal as the information core. It completely reconstructs the CPU core, simplifies chip manufacturing, and is compatible with the existing software ecosystem. The core design follows the principle of "binary as the base, decimal as the core, and abacus as the bridge." Binary is responsible for underlying temporary calculations and data transmission, while decimal uniformly manages the definition, storage, editing, and application of all final information. It can comprehensively cover applications in personal computing, professional design, artificial intelligence, supercomputing, and military applications, achieving a leapfrog improvement in computational efficiency, data accuracy, and architectural controllability, providing core technical support for the independent and controllable development of the national computer industry.

The invention relates to a tool generation method and device, computer equipment and a storage medium. The method comprises the steps that a key element set is generated based on key information in an interface description text; performing data generation on the key element set based on a rule reasoning algorithm to obtain an interface model; constructing a call sequence diagram based on the interface model, and optimizing the call sequence diagram to generate a connection logic framework; adjusting the exception handling logic in the connection logic framework to generate an enhanced logic structure; generating a construction script based on the enhanced logic structure; verifying the construction script based on the verification strategy to obtain a verification result, and generating an executable connection tool based on the verification result and the construction script; executing simulation test processing based on the connection tool to obtain test data, and determining connection configuration corresponding to the connection tool based on the test data; and deploying the connection tool and the connection configuration to the target system. According to the method, the generation efficiency of the connection tool is effectively improved, and rapid deployment of system integration is realized.