49 results about "Verification problem" patented technology

The invention discloses an RAG query method, system, medium and product capable of inhibiting a hallucination problem of a generative large model, and relates to the field of RAG query, the method comprises the following steps: obtaining a preliminarily generated text obtained by answering a user initial problem by a preset generative large model; extracting the preliminarily generated text to obtain a key verification problem; performing multiple rounds of questions and answers on the key verification question by using the generative large model to obtain multiple rounds of answers; performing consistency analysis on the multiple rounds of answers to obtain a consistency analysis result; a round of questions and answers with the highest comprehensive score in multiple rounds of answers are directly output at the high grade; when the key verification question is in the middle level, performing multiple rounds of question answering on the key verification question again; when the level is low, RAG retrieval and knowledge fusion are carried out on key verification questions, and questions are asked again; and carrying out illusion identification, correction and text optimization on the answers obtained by asking the questions again to obtain high-quality answers and outputting the high-quality answers. According to the invention, illusion can be accurately positioned, and high-quality answers can be obtained.

The invention discloses a multi-device behavior interoperation verification system and method based on an Internet of Things platform, and relates to the technical field of Internet of Things, and the method comprises the steps: collecting the operation state data and interaction behavior data of each device in real time according to the device interoperation demand of the Internet of Things platform; establishing an equipment behavior prediction model, and constructing a state transition equation of the equipment; according to the equipment operation state data and the interaction behavior data, verifying an interoperation consistency index of the multi-equipment behavior, and calculating an equipment behavior deviation coefficient; when the behavior deviation coefficient exceeds a preset threshold value, generating an equipment interoperation abnormal alarm, and positioning an abnormal interaction node; a three-dimensional dynamic model of the Internet of Things equipment is established through a digital twinning technology, and a multi-equipment behavior interoperation verification result and abnormal early warning information are displayed in real time. The method has the advantages that the problem of state transition consistency verification in multi-device behavior collaboration is mainly solved by constructing a dynamic matching mechanism of the device state transition equation and the operation state feature library.

The invention relates to the technical field of block chain technology and artificial intelligence collaboration, and discloses a verifiable multi-agent collaboration method based on smart contract driving, comprising the following steps: task planning generates a directed acyclic graph and a zero-knowledge proof circuit template, submits the directed acyclic graph and the zero-knowledge proof circuit template to a planning contract, and deploys an exclusive zero-knowledge proof contract; the AI agent collaboratively executes the subtasks, and zero-knowledge proof is generated and submitted through a Veckrii auction tool; zero-knowledge proof contract chain verification is carried out, and after verification is passed, a signature is received and multi-layer gating verification is executed; and the governance contract carries out pledge management and cost distribution on the agents, the providers and the experts. According to the method, zero-knowledge proof and a trusted execution environment are combined, and an under-chain execution behavior is converted into an encryption certificate capable of being verified on a chain, so that the problem that the execution process cannot be verified due to the lack of distributed trusted evidence storage in a traditional centralized framework is effectively solved; and after each subtask is completed, double signature and multi-layer gating verification are forcibly executed.

The invention discloses a module and a method applied to FPGA (Field Programmable Gate Array) remote upgrade configuration data integrity verification. The module and the method are realized by FPGA logic resources. The configuration data integrity verification module comprises a message filling module, a message expansion function module, a compression iteration module, a constant parameter matrix and a top layer control module. The message filling module is used for receiving original configuration data; the message expansion function module is used for expanding the message blocks output by the message filling module; the compression iteration module is used for hash compression operation; the constant parameter matrix is used for storing constant values required by compression operation; and the top layer control module is used for completing the connection of the sub-modules. Compared with the existing technical scheme, the scheme can realize the integrity verification problem of the configuration data generated by random errors and malicious tampering; by adopting the mode of'pipeline + iteration ', the real-time performance and the low-delay characteristic are ensured, the consumption of the FPGA logic resources by the module is reduced, and the FPGA logic resources can be flexibly deployed on the small-capacity FPGA.

The invention discloses a page table pointer checking method and a system on chip, and relates to the technical field of on-chip storage, and the page table pointer checking method comprises the steps that a first check code is added to a target page table pointer of a target storage fragment, the first check code is used for performing cyclic redundancy check on an address pointer of the target storage fragment, and the first check code is used for performing cyclic redundancy check on the address pointer of the target storage fragment; the first data is obtained based on the first data of the target position in the first verification result obtained through verification. And when a target page table pointer is obtained, performing cyclic redundancy check on an address pointer in the target page table pointer, and obtaining a second check code based on second data of a target position in a second check result obtained through check. Furthermore, whether the target page table pointer is tampered or not is determined based on the matching condition of the first check code and the second check code, so that the check problem of the page table pointer is solved, wrong data address access caused by the fact that the target page table pointer points to wrong address space is avoided, and the security and stability of data access of the system on chip are ensured.

The invention belongs to the technical field of aviation simulation, and particularly relates to a simulation test design and evaluation method for opposite task planning verification, which comprises the following steps: establishing an evaluation index system, performing task planning evaluation on a test result according to the evaluation index system to obtain an evaluation result, and then optimizing a test process according to the evaluation result. According to a task scene, a test object participating in simulation is determined, after an initial situation and a test process are determined, test data in a simulation test are evaluated by establishing an evaluation index system, and whether task planning content is effective and feasible is verified through a calculation result value. The advantages and disadvantages of different task planning contents under the same task can be compared through the calculation result; a universal simulation test evaluation method is formed, the correctness and feasibility verification problem of task planning content is solved, and the situation that task planning achieves task requirements can be systematically evaluated.

The invention relates to the technical field of artificial intelligence and network security, in particular to a dynamic verification login method based on a large model, a login service component, equipment and a medium, and the method comprises the steps: receiving a user login request, and extracting user login information; calculating a user risk entropy value based on the extracted user login information; a user risk level is determined according to the user risk entropy value, corresponding problem difficulty configuration is selected, a dynamic verification cue word containing risk level parameters is generated and sent to the large model to generate dynamic verification information, and the verification information comprises a text problem, an image verification problem or a logical reasoning problem; dynamic verification information generated by the large model is rendered and then returned to the login page; receiving user response information, generating a verification prompt word containing a user answer and a standard answer, and sending the verification prompt word to the large model for semantic matching verification; and controlling the user login permission according to a verification result returned by the large model. Compared with a traditional static rule, the risk assessment can identify abnormal login behaviors more accurately.

The invention provides an illusion recognition method and device for big language model data and a storage medium, and belongs to the technical field of computers, and the method comprises the steps: generating a plurality of first verification questions based on segmented texts corresponding to all knowledge themes in a knowledge base of a target big model; generating a plurality of answers for each first verification question; based on the text segment and the plurality of answers, calling a preset contradiction evaluation large model to perform consistency evaluation on each answer of the first verification question to obtain a respective corresponding first evaluation result; based on each first evaluation result, determining a target verification question from the plurality of first verification questions, and generating a second verification question for an answer corresponding to the target verification question; performing contradictory evaluation based on the second verification question and the answer to obtain respective corresponding second evaluation results; and determining the illusion recognition result of the knowledge base based on the first evaluation result or the second evaluation result. The illusion recognition accuracy and recognition efficiency of the large model data are improved.

This application discloses a puzzle generation method, apparatus, device, and readable storage medium. The method obtains a structured specification representation and seed parameters of a seed puzzle; generates a new problem using the seed parameters and the structured specification representation; verifies the accuracy of the structured specification representation using the new problem; if accurate, uses a puzzle generator to load the structured specification representation, reorganize the logical formula, and randomly sample specified data according to defined constraints to obtain a SMT problem; after verifying the SMT problem's logical reliability and solvability using a solver, obtains new configuration parameters based on the SMT problem; fills the new configuration parameters into the structured specification representation and renders it using a natural language template to obtain a target puzzle with a problem instance and a standard answer. This application, through pre-coding, reproducing, and verifying puzzles, can automatically generate accurate and reliable new puzzles in batches.

The invention relates to the technical field of blockchain technology application, and discloses a technology transfer information blockchain management system based on a smart contract. The system comprises a local verification node, a cloud policy engine, a partition permission controller, an encryption transmission channel, a policy divergence analysis module and a hierarchical execution module. The local verification node triggers a preset intelligent contract rule in the fixed verification partition to perform initial transaction compliance verification; if the initial verification fails, the cloud policy engine extracts verification problem features and stores the verification problem features in the temporary cache region, and activates the remote verification partition take-over permission; the partition permission controller locks and fixedly verifies the partition data write-in permission and reads related data; the encryption transmission channel uploads data to the cloud through a security protocol; the strategy divergence analysis module generates a multi-stage verification strategy; and the hierarchical execution module loads a multi-level strategy hierarchical verification risk, and issues a block chain binding permission according to a result. The system enhances the flexibility and security of technology transfer transaction verification, and improves the efficiency.

The invention discloses a credibility evaluation method for artificial intelligence software. The credibility evaluation method comprises the steps of 1, full-life-cycle data acquisition and preprocessing, 2, multi-dimensional collaborative evaluation, 3, scenarized rule adaptation, 4, comprehensive credibility analysis and early warning and 5, visual output of evaluation results. According to the method, traditional dimensions, a large model and multi-mode special evaluation are integrated, the credibility verification problem of an emerging AI technology is solved, and real-time monitoring and collaborative verification of credibility are achieved through full-life-cycle data collection and cross-dimension linkage logic.

The application discloses a kind of mathematical application question solving method and system based on multi-path search, belong to problem solving technical field, the method utilizes mathematical solving model to solve mathematical application question, after determining initial answer;Using initial answer replaces key numerical condition in mathematical application question, obtains verification problem;Using mathematical solving model solves verification problem, determines verification problem answer;The consistency between key numerical condition and verification problem answer is calculated, to determine whether initial answer is accurate;When determining that initial answer is not accurate, according to initial answer to construct negative prompt information;Utilize negative prompt information to revise erroneous reasoning path, until the initial answer that mathematical solving model solves is determined to be accurate;The initial answer that is determined to be accurate is used as the final answer of mathematical application question.Accurate solution to mathematical application question is realized, and the problem that current method is not accurate to solve mathematical application question is solved.

The present application belongs to the field of aviation simulation technology, and particularly relates to a simulation test design and evaluation method for verification of mission planning. An evaluation index system is established, and the mission planning is evaluated based on the test results according to the evaluation index system to obtain the evaluation results, and then the test process is optimized based on the evaluation results. The test objects participating in the simulation are determined according to the mission scenario. After the initial situation and the test process are determined, the test data in the simulation test are evaluated by establishing an evaluation index system. The effectiveness and feasibility of the mission planning content are verified by calculating the result values. The advantages and disadvantages of different mission planning contents under the same mission can also be compared through the calculation results. A universal simulation test evaluation method is formed, which solves the problem of verifying the correctness and feasibility of the mission planning content, and can systematically evaluate the situation in which the mission planning achieves the mission requirements.

An embodiment of the present invention provides an information verification method, device, electronic device and readable medium, the method comprising: a terminal can display a verification interface in response to an information access instruction, the verification interface can include a verification control, a verification channel, a verification question and several answer cards for the verification question that move in real time in the verification channel, etc., the answer card includes at least two answer information, then during the process of the answer card moving in real time in the verification channel, the terminal can respond to the touch operation of dragging the verification control to move in the verification interface, obtain the target answer information pointed to by the pointing identifier of the verification control from the answer card, during the continuous touch operation, if the target answer information is successfully matched with the verification question for at least two consecutive times, then perform an unlocking operation on the verification interface.

The invention discloses a confidence-based verification method for the steering angle safety of an unmanned driving system, and belongs to the field of verification of the safety of the unmanned driving system. The method comprises the following steps: constructing a product network by using a self-combination technology, converting global robustness verification of an unmanned neural network into a standard verification problem, then linearizing an activation function of the neural network, and executing safety verification of an unmanned steering angle by using a neural network safety analysis tool Marbou. According to the technology, super attribute verification of the unmanned driving system can be realized, and the reliability is high; calculation is efficient, feedback can be quickly given out for the situation that the safety attribute is not met, and the method is easy to achieve in an existing unmanned driving system.

This application provides a fixed solution verification method, system, electronic device, and storage medium for PPK (Programmable Point Kinematics) analysis. The method includes: acquiring GNSS observation data from multiple epochs at a user station; performing ambiguity fixing calculations based on the GNSS observation data for each epoch to obtain candidate fixed solutions, where each epoch corresponds one-to-one with a candidate fixed solution; calculating the carrier phase double-difference integer characteristic corresponding to each candidate fixed solution; verifying the correctness of each candidate fixed solution based on the carrier phase double-difference integer characteristic across multiple epochs; and determining the positioning result based on the candidate fixed solution if it is correct. This method fully utilizes the correlation of multi-epoch observation information in PPK post-processing mode, transforming the verification problem of a single-epoch fixed solution into a check of the consistency of correlated information across multiple epochs, significantly improving the accuracy and reliability of fixed solution verification.

The embodiment of the invention provides a method, equipment and device for chip logic verification, a medium and a program product, and relates to the field of chip design tools. The method includes: constructing an NAND graph (and-inverter graph, AIG) that characterizes a sub-logic circuit, the sub-logic circuit including at least a portion of a first circuit and at least a portion of a second circuit; a component graph is determined based on the NAND graph, the component graph including nodes corresponding to circuit function modules in the sub-logic circuits, and the circuit function modules including AND gates and inverters in the NAND graph. The method further includes determining a logical equivalence between the first circuit and the second circuit based on the component map. In this manner, by verifying logical equivalence using the component graph, a logical equivalence verification problem may be solved using circuit configuration information, and a scale of solving a model may be reduced, thereby improving efficiency of verifying logical equivalence.

This invention discloses an automated testing method, system, equipment, storage medium, and program product for microscopic imaging measurements. It addresses the problem of objective verification of measurement results through a log-driven automatic extraction and judgment mechanism; establishes a geometrically dependent linkage verification link to solve the correctness verification problem in dynamic linkage scenarios; uses the start timestamp of the test step as a filtering anchor point for pattern grouping and matching to solve the problem of accurate location of effective logs; and constructs a unified "log parsing—geometric calculation—threshold judgment" process to solve the integrated verification problem of multiple types of measurement scenarios, forming a traceable link of "operation action—log fragment—geometric reference value—judgment result," thus solving the problem of difficulty in tracing back the cause of failure.

The invention discloses an oil field GIS modularization application program interface verification method and system, and the method comprises the steps: firstly, setting a uniform interface specification, guaranteeing that all modules follow the same standard during the interface development, and reducing the verification problem caused by the interface difference; the access point of each interface is provided with interface metadata used for describing the basic information, the parameter type, the value range and the like of the interface. The interface metadata is the basis of interface verification and provides all information required during interface calling. When the interface is called, the transmitted parameters are dynamically verified according to the interface metadata to ensure that the parameters conform to the definition in the interface metadata. And after the parameter verification succeeds, obtaining a corresponding business logic processing object and a data format according to the interface metadata. This ensures that the system can correctly process the interface request, avoiding problems caused by mismatching of data formats or processing logic errors. Therefore, the method provided by the invention can solve the problems in the prior art.

This invention discloses a multi-device behavior interoperability verification system and method based on an Internet of Things (IoT) platform, relating to the field of IoT technology. The system includes: real-time collection of operational status data and interaction behavior data of each device according to the device interoperability requirements of the IoT platform; establishment of a device behavior prediction model and construction of device state transition equations; verification of interoperability consistency indicators of multi-device behavior based on device operational status data and interaction behavior data, and calculation of device behavior deviation coefficients; generation of device interoperability anomaly alarms and location of abnormal interaction nodes when the behavior deviation coefficients exceed a preset threshold; and establishment of a three-dimensional dynamic model of the IoT devices using digital twin technology to display the multi-device behavior interoperability verification results and anomaly warning information in real time. The advantage of this invention is that by constructing a dynamic matching mechanism between device state transition equations and an operational status feature library, it effectively solves the problem of state transition consistency verification in multi-device behavior collaboration.

The invention discloses a trusted computing verification method for a complex equation in cloud computing, which comprises the following steps: a user submits a computing request to a computing service provider through a client, and the computing service provider executes computing operation corresponding to a computing type and returns a computing result; the client side executes multiple rounds of independent modular verification according to the preset safety parameters, if all verification rounds pass, it is considered that the calculation result is credible, and otherwise, the calculation result is refused. According to the method, the verification problem of large integers and complex operation is solved by utilizing different operation types and optimization technologies such as the Fermat's small theorem, the Hough law and the Maclaurin expansion, and the credibility of a calculation result is improved. Besides, the method not only can verify the accuracy of a single calculation result, but also supports the verification of the correctness of the calculation service or the overall logic of the program, has certain program correctness judgment capability, and expands the application scene of the method in trusted calculation and program behavior verification.

The invention provides an accelerated verification test method and system for on-ship duty durability of an electronic product. The method comprises the following steps: constructing an on-ship duty environment profile of the product by applying a segmentation method; determining on-ship on-duty weak links of the product by applying an FMEA or fault data analysis method; determining an accelerated stress level of the product by applying an environmental stress analysis method; constructing a multi-stress comprehensive acceleration model; calculating durability test acceleration coefficients corresponding to different environmental profile segments of the product; constructing a product on-ship duty durability acceleration test profile; and determining a durability acceleration test cycle number, a test opportunity and an inspection item according to product technical requirements. According to the method, the influence of the multi-element environmental stress on the product performance under the complex working condition is comprehensively considered, the on-ship on-duty durability verification problem of the electronic product can be better solved, and the durability accelerated verification test efficiency and the evaluation precision are improved.

The invention discloses a high completeness verification method suitable for a multi-device multi-channel HINOC system, after an HINOC system in which an HB is in butt joint with a plurality of HMs is established to serve as a transmission system to be tested, a verification platform is constructed by adopting an SV language and a UVM verification methodology, through macro definition, the number of the HMs and the number of RGMII interfaces of devices to be tested can be flexibly modified, and the verification efficiency is improved. The verification platform can adaptively adjust the software environment according to the number of the to-be-tested devices; components such as a driver, a monitor and a checker are integrated, a plurality of tasks are packaged to construct a scene, a scene model can be constructed by using a PSS technology to realize a multi-scene randomization capability, and a regression test script is constructed by using a shell language to complete a convenient scene regression test. The verification problem of complex application of the HINOC system is effectively solved, the verification flexibility is improved, various simulation scenes and models for automatically generating verification scenes are provided, and the verification work is more complete and comprehensive.

The invention relates to a simulation system-oriented multi-dimensional verification method, device and equipment. The method comprises the following steps: constructing a verification model based on a simulation system; and performing verification task execution on the input data set by adopting a hierarchical sequence through the verification model, and performing global verification on the verification execution process of the input data set at each hierarchy according to the verification dimension to obtain a verification result document. And data information with verification problems in the verification result document is transmitted back to the management personnel through a preset feedback channel, so that the management personnel with the authority corresponding to the hierarchy can repair the data information according to the data information. By adopting the method, the verification systematization and comprehensiveness of the simulation system can be ensured, and the verification credibility is improved.

The present disclosure provides an optimization method for network task response information, comprising: determining at least one verification problem regarding the response logic based on the response logic of a machine learning model for network tasks, wherein the network tasks include network congestion control tasks, video stream rate control tasks, and data center stream scheduling tasks, and the response logic represents the principle by which the machine learning model generates response information; encoding the verification problem to convert the verification problem into a first satisfiability modulo theory formula; encoding the network structure of the machine learning model by an encoder to obtain multiple second satisfiability modulo theory formulas; calling a planner to analyze the first satisfiability modulo theory formula and the second satisfiability modulo theory formula to generate an explanatory conclusion for representing the rationality of the response logic of the machine learning model. The present disclosure also provides an optimization system for network task response information.

The present application provides a remote control system for a docking station based on cloud management, which relates to the technical field of docking stations. It includes: a first verification module that performs peripheral authorization access verification in a fixed partition; if it fails, a trigger module sends the verification problem characteristics to a temporary buffer and triggers the takeover of access verification in a remote partition; a locking module locks the write permission of the fixed partition, reads the device context and the verification problem characteristics, and uploads them to a cloud verification engine in a packaged manner by a transmission module; a policy acquisition module diverges and analyzes verification policies based on the cloud verification engine and encrypts and distributes them to the remote partition, and a second verification module performs peripheral-level risk verification and issues bound interface permissions according to the verification results. The present application solves the technical problem that the prior art only relies on local static verification and lacks dynamic response and remote analysis capabilities, resulting in difficulty in timely blocking and accurately identifying abnormal peripherals, and achieves the technical effect of improving the access security of the docking station.

The invention discloses a dynamic verification method and device based on logical reasoning and image recognition and a medium, belongs to the technical field of information security, and aims to solve the technical problem of how to realize balance between security and user experience in a government affair service scene and break through the inherent contradiction between defense capability and operation experience of a traditional verification method. According to the technical scheme, the method comprises the following steps: dynamic verification: dynamically adjusting verification intensity and steps according to real-time operation behaviors of users, dividing the users into three groups of young, old and high-risk IPs, and setting different benchmark verification intensities; logical reasoning verification: generating a dynamic and diversified man-machine verification problem, covering all dimensions of mathematical calculation, understanding and image recognition, and effectively distinguishing automatic scripts; anti-OCR image: generating a semantic verification image of a defense automation script, and enabling an OCR tool not to effectively recognize contents through a dynamic interference technology and a semantic binding mechanism; and the equipment is self-adaptive.

The present application relates to a kind of neural network verification methods based on error divide and conquer, the strict approximation function of network node in given input range is given using improved symbolic linear relaxation calculation, and using the error constraint segmentation strategy of over-approximation node divides the original verification problem into equivalent series of sub-problems, and the safety property of entire neural network is verified by carrying out complete verification to series of sub-problems.Through the method of the present application, the state space in neural network verification process is effectively reduced, the safety property verification and evaluation of neural network can be efficiently carried out, and the scalability of neural network trusted verification method can be improved.

The application provides a state machine-based multi-node interoperation process test system and a state machine-based multi-node interoperation process test method. The application aims at the interoperation process verification requirement among multiple nodes and more interactive information. First, the application solves the interoperation verification problem among multiple nodes through scene presetting, simulation, multi-role support and other methods. Second, the application overcomes the limitations of architecture and development language and expands the application scene through the basic model of the finite state machine model. Third, the application solves the syntax layer test and syntax layer error coverage problem in the verification process through the extraction of a general protocol analysis layer. Fourth, the application realizes the test support and error coverage of the pragmatic layer by constructing the preset scene containing the error process and the state machine conversion design, adopting the mode of mapping the actual application process with the preset process model, and displaying the difference between the actual process and the expected result.

The invention discloses a mathematical application question solving method and system based on multi-path search, and belongs to the technical field of question solving. The method comprises the steps that a mathematical solving model is used for solving a mathematical application question, and after an initial answer is determined; replacing a key numerical condition in the mathematical application question with the initial answer to obtain a verification question; solving the verification question by using a mathematical solving model, and determining an answer to the verification question; calculating the consistency between the key value conditions and the answers of the verification questions to judge whether the initial answers are accurate or not; when it is judged that the initial answer is inaccurate, negative prompt information is constructed according to the initial answer; correcting the incorrect reasoning path by using negative prompt information until the initial answer solved by the mathematical solution model is judged to be accurate; and taking the accurately judged initial answer as a final answer of the mathematical application question. The mathematical application problem is accurately solved, and the problem that the mathematical application problem is not accurately solved through a current method is solved.