Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

5 results about "Rewriting system" patented technology

Term rewriting systems are reduction systems in which rewrite rules apply to terms. Terms are built up from variables and constants using function symbols (or operations).

Large and small model collaborative semantic rewriting system based on complexity induction

A big and small model collaborative semantic rewriting system based on complexity sensing comprises a user question receiving module, a context extraction module, a complexity evaluation module, a collaborative strategy module and an output rewriting module, and the user question receiving module is used for receiving questions of a current user and starting a semantic rewriting process. The context extraction module is used for integrating historical dialogue contexts and extracting key entities, the complexity evaluation module is used for evaluating user question semantic complexity and driving strategy decision, the collaborative strategy module is used for dynamically scheduling collaborative modes of small models and large models and optimizing resource allocation, and the output rewriting module is used for generating final rewritten questions. According to the large and small model collaborative semantic rewriting system based on complexity induction, a semantic complexity evaluation algorithm based on machine learning is put forward to evaluate semantic complexity, and a model collaborative strategy algorithm based on a dynamic threshold is put forward to cooperatively process tasks of all levels.
Owner:HANGZHOU TUBU ER TECHNOLOGY CO LTD

SMT solver rewriting system defect detection method based on rewriting space exploration

The invention provides an SMT solver rewriting system defect detection method based on rewriting space exploration, and aims to solve the problems that in the prior art, an SMT solver rewriting system is insufficient in verification, test input is difficult to trigger a rewriting rule, errors are difficult to verify and the like. The method comprises the following steps: 1) collecting and automatically verifying rewriting rules in an SMT solver, and constructing a high-quality rule base; 2) performing structure transformation on the existing test formula by adopting mimicry variation to enable the existing test formula to be matched with a rewriting rule mode, thereby activating more rewriting opportunities; 3) constructing an equivalence graph based on a generative equivalence saturation technology, and systematically generating semantic equivalence but structural diversity formula variants; and 4) inputting the original formula and the variant formula into an SMT solver, comparing the solving result with the performance behavior, and detecting potential defects. The invention also provides corresponding system implementation, and supports an automatic test process, rule management, formula generation and defect recording.
Owner:NANJING UNIV

Client-side domain-aware unmasked privacy identification and rewriting system and method

This invention provides a client-side domain-aware, maskless privacy identification and rewriting system and method. The system includes an offline training module deployed on a server, used to generate domain privacy prototypes representing privacy semantics in different domains based on labeled privacy fragments from multiple domains. An initial rewriting model is trained using these domain privacy prototypes to obtain a privacy rewriting model. An online inference module deployed on the client side receives user input text, automatically identifies privacy fragments in the user input text using the domain privacy prototypes, and calls the privacy rewriting model to rewrite the identified privacy fragments. This invention solves the technical problem that existing privacy rewriting technologies rely on explicit user annotation of privacy fragments and lack domain adaptability, making it difficult to balance automated privacy protection and semantic utility preservation in actual client deployment scenarios.
Owner:RENMIN UNIVERSITY OF CHINA

Xenogeneic tissue engineered corneal stroma and limbal epithelial cell transplantation for limbal stem cell deficiency

This invention relates to the field of intelligent code rewriting and discloses a code rewriting method for a domestic IT innovation platform based on a self-iterative model. The method operates in a code rewriting system comprising a basic database and a multi-link space. The multi-link space includes a rewriting space, a splitting space, and a virtual space. The method includes acquiring the target code, parsing the logical chain of the target code based on a neural symbolic self-iterative model, splitting the target code into sub-code segments, performing error factor analysis on the sub-code segments, executing the rewriting in the rewriting space, running the rewritten code in the virtual space, cross-validating the code execution results with the expected rewriting results, and controlling the asynchronous execution of code splitting, code rewriting, and virtual execution through an asynchronous clock and state signal mechanism to ensure that the execution results in the virtual space are consistent with the expected results, and outputting the rewritten code.
Owner:NINGBO JINWANG INFORMATION IND CO LTD

Management information rewriting system and vehicle equipped with said system

To smoothly rewrite information only for update without performing complicated processing in performing rewriting processing of management information related to a plurality of ECUs due to update of on-vehicle software.SOLUTION: A management information rewriting system includes: a first ECU in which management information related to a plurality of ECUs is stored in a nonvolatile memory; and a second ECU connected to the first ECU through an on-vehicle network so as to be able to transmit and receive information to update on-vehicle software. The management information rewriting system is a system for rewriting management information due to update of the on-vehicle software. The second ECU receives the entire information of the management information from the nonvolatile memory of the first ECU, rewrites a part of information related to update of the on-vehicle software in the management information to new information, and transmits the entire information of the rewritten management information to the first ECU to store the entire information in the nonvolatile memory.SELECTED DRAWING: Figure 8
Owner:SUBARU CORP