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

7 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

A method for setting file permissions based on hash values

The present invention discloses a method for setting file permissions based on hash values, the method comprising: performing a hash operation on all files to obtain a hash value for each file, and corresponding the hash value of each file, the operation mode of each file, and the operation permission of each file one by one to form an operation rule list; a user overwrites the address corresponding to the original system function with the address of the rewritten system function, thereby forming a system call table with an updated address; the user issues an operation instruction in user mode and enters kernel mode via an interrupt program, and the kernel mode finds the address of the rewritten system function executed corresponding to the operation mode in the operation instruction according to the system call table with the updated address, thereby obtaining the rewritten system function. The present invention determines file permission restrictions by increasing the hash value, which can, on the one hand, avoid erroneous operations by legitimate users, such as accidental deletion of files; and, on the other hand, effectively prevent super administrator users and illegal users from stealing information of private files.
Owner:MATRICTIME DIGITAL TECH 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

Multi-strategy emotion regulation and hybrid cognitive decision-making method based on pre-training model

A multi-strategy emotion regulation and hybrid cognitive decision-making method based on a pre-training model is used for efficiently converting negative texts and comprises the following steps: firstly, receiving and quantifying the negative texts and situational features through an input processing step; then, a HyperNetwork module is utilized to generate a dynamic strategy weight based on a situation feature; then, through a plurality of fine-tuned Adapter strategy units, candidate texts of various positive psychological intervention strategies are generated according to the dynamic weights; performing weighted fusion on the candidate texts to form a preliminary rewritten text; furthermore, through a hybrid cognitive dynamic decision module, a'thinking-generation 'iteration mechanism is adopted to carry out self-evaluation and optimization on the text until a final rewritten text conforming to a positive psychological principle is output. The method solves the problems that a traditional text rewriting system is single in strategy, insufficient in dynamic adaptability and low in output consistency, multi-angle positive rewriting of negative texts is achieved, and it is ensured that the output texts conform to the positive psychological principle and have the high emotion guiding effect and natural language expression.
Owner:TSINGHUA SHENZHEN INTERNATIONAL GRADUATE SCHOOL