272 results about "Validation methods" patented technology

The invention relates to an airplane airborne BIT system testability verification method based on a correlation model, and the method comprises the steps: carrying out the testability modeling of an object system, and obtaining a dependency relation model which describes the relation between a fault mode of the object system and a test method of the object system; based on the dependency relationship model, obtaining a BIT theoretical fault report set of each fault mode under all test methods by utilizing reachability analysis, and deducing an optimal diagnosis fault fuzzy group; constructing a fault sample library, verifying the BIT theoretical fault report set by using samples in the library, and adjusting the dependency relationship model according to a verification result; and performing fault simulation based on the verified dependency matrix, and calculating a total fault detection rate and a fault isolation rate of the object system according to a generated fault report. According to the method, the isolation rate index of the fault can be effectively verified in the incomplete and unformed stage of the fault diagnosis strategy.

The invention discloses a formal verification method based on a hierarchical verification framework, which comprises the following steps of: firstly, dividing a target program into a C code and an assembly code, modeling and verifying the assembly code, then modeling and verifying the C code, and in the modeling process of the C code, carrying out verification on the C code; and defining a specific state and an abstract state of each data structure, establishing mapping through a refinement relationship, defining a function model based on the abstract state, constructing a function API specification, and finally defining system properties for a target program according to the function model and verifying the system properties. According to the method, a hierarchical verification framework and a formalization tool are combined, formalization verification is carried out on the target program from specific implementation to abstract division into three layers, comprehensive verification from bottom-layer codes to high-layer system properties is realized, the risk of security vulnerabilities is reduced, and the reliability of the target program is improved.

The invention provides a power-down continuous test data consistency verification method and device, equipment and a medium. The method comprises the following steps: issuing a query instruction to obtain disk information of a currently connected SSD (Solid State Disk); according to the disk information, judging whether to issue a continuous test request; if a continuous test request is issued, returning a processing result according to the disk information and the continuous test request through a preset processing rule; selecting a continuous test request corresponding to a successful result as a verification request according to the processing result; and performing consistency verification on the disk information according to the verification request. By systematically executing the steps of disk information acquisition, continuous test request decision, request filtering and screening, final consistency comparison and the like, an automatic closed-loop test process is constructed, and the problem that the consistency of SSD power failure continuous test data cannot be verified by various IO tools at present is solved; and consistency verification can be carried out on the successfully written data before and after power failure.

The embodiment of the invention provides a verification method and system for system degradation, equipment and a medium. A specific embodiment of the method comprises: in response to a degradation verification request of a user for a target system, starting a server to execute a corresponding target operation for the target system, and triggering a target event corresponding to the degradation verification request and for a verification server, event parameters comprising a test scene of the verification; in response to the target event, the verification server sends an event type and a test scene to the configuration server; the configuration server calls a test server to execute a function test task for the target system according to the event type and the test scene; the test server sends the execution result to a verification server for determining a verification result for the degraded verification request. By means of the method, the efficiency of degradation verification and the verification frequency in a specific verification period can be greatly improved, and then the capacity of discovering degradation faults of the system through degradation verification is improved.

The invention belongs to the technical field of power system safety analysis and control, and particularly relates to a data-driven power system transient stability evaluation method with interpretability, in the aspect of evaluation result interpretation, an SHAP (Shapley additive interpretation) method and an ALE (cumulative local effect) analysis are comprehensively applied, the SHAP method calculates marginal contribution of each feature based on the game theory, and the ALE method calculates the marginal contribution of each feature based on the game theory. And the nonlinear relation between the characteristic value and the model output is quantized. In addition, a local agent model (LIME) is adopted to train an interpretable model in a sample neighborhood to approximate black box model behaviors. In order to ensure the reliability of an explanation result, verification methods such as a characteristic sensitivity test, an anti-fact prevention and control experiment and a migration scene robustness test are adopted, and the credibility of an explanation conclusion is systematically verified in manners of disturbing key characteristics, adjusting operating parameters, constructing different working conditions and the like.

The invention discloses a workflow analysis linkage verification method and device based on log analysis, equipment and a medium, and relates to the technical field of workflow verification, and the method comprises the following steps: collecting operation log data, and carrying out time sequence reconstruction and event extraction to obtain a structured log record; performing semantic analysis on the structured log record, extracting a log semantic feature vector of each event, and constructing a semantic feature matrix; based on the semantic feature matrix, performing semantic modeling on nodes in a preset process model to obtain a process node semantic vector; matching the log semantic feature vector with the flow node semantic vector, and constructing and optimizing an initial mapping relation matrix according to a matching result; executing flow rule compliance and rationality joint verification according to an optimization result; according to the method, deep coupling of the log, the process model and the business rule is realized, so that the problems that log analysis and rule coupling are insufficient and process compliance and rationality verification are difficult to accurately carry out are solved.

The invention relates to the technical field of data storage, and discloses a method for verifying average fault-free time of a solid state disk, which comprises the following steps of: initializing a test environment of the solid state disk; a dynamic comprehensive stress model is constructed, acceleration factors are calculated based on self-adaptive parameters of reliability, in the testing process, the acceleration factors are added, different read-write load combinations are circularly switched according to set time slices, and testing of the solid state disk is accelerated; judging whether the test reaches a preset duration or a trigger fault condition; if yes, analyzing solid state disk fault diagnosis and data analysis, and if not, returning to continue accelerated testing of the solid state disk. According to the method, the dynamic comprehensive stress model is constructed, and the temperature stress, the voltage stress, the read-write load stress and other multi-dimensional stress are combined, so that the limitation that only single static high-temperature stress is applied in a traditional test method is broken through, comprehensive stress test on the solid state disk is realized, and the test comprehensiveness and accuracy are improved.

The invention provides a product full life cycle-oriented demand verification management system and method, and the system comprises a verification planning module which obtains a demand item, and obtains a product verification stage, a verification method and a verification task according to the demand item; the verification execution module is used for constructing an incidence relation among the requirement item, the verification method and the verification task, obtaining a verification deliverable associated with the verification task according to the verification task, obtaining a verification result according to a checking and signing condition of the verification task, updating a verification state of the verification task and forming a complete tracing chain; and the verification monitoring module is used for generating a demand verification view and a traceability chain view corresponding to the complete traceability chain according to the demand item, the verification state, the verification method, the verification task, the verification result and the verification deliverable. Through the technical scheme provided by the invention, the coverage rate, the traceability and the execution efficiency of demand verification are greatly improved, and the project quality risk is effectively reduced.

The invention belongs to the crossing field of network space security, software engineering and artificial intelligence, and discloses a dynamic and static cooperative vulnerability full-link intelligent analysis and verification method based on a large language model and an MCP protocol, and the method comprises the steps: S1, task initialization and context construction; s2, target code deep analysis and static taint preanalysis are carried out; s3, carrying out Fuzzing Harness directional generation and iterative optimization on the basis of the stain paths; s4, performing dynamic and static collaborative sandbox execution and dynamic stain tracking; and S5, vulnerability accessibility judgment and report output of multi-source data fusion are carried out. According to the method, a dynamic and static combination mechanism is adopted, vulnerability analysis and verification can be automatically completed for software target codes, and accurate technical support is provided for vulnerability risk grading and repairing priority ranking.

The invention discloses a dynamic self-verification method based on service flow-test flow homologous heterogeneous execution. The method comprises the following steps: uniformly describing service logic and a corresponding interface test contract through a strong type of domain specific language (DSL); the method comprises the following steps: simultaneously compiling homologous DSL descriptions into stateful business workflows executed by a process engine and stateless and combinable atomic test contract sets called by a test executor by utilizing a double-path compiling engine; during operation, loose coupling synchronous triggering and execution of a service flow and a test flow are realized based on a high-throughput event bus, and real-time and high-fidelity contract verification, performance monitoring and chaos probe testing are performed on cross-system interface calling in a production environment. According to the invention, the traditional post-event and off-line integration test is converted into the in-event, on-line and continuous system endogenous capability, and the industrial problems that the complex enterprise system group integration test is difficult and the operation and maintenance monitoring is passive are effectively solved.

The invention relates to a data set generation and answer verification method and device and a medium, and the data set generation method comprises the following steps: obtaining a question, a standard answer and a pre-selection large model, and generating a large language model reply by using the pre-selection large model; based on the questions, the standard answers and the large language model replies, an initial data set is constructed through multi-stage data screening and labeling, and the initial data set comprises the questions, the standard answers, the large language model replies and judgment results; and performing data enhancement on the initial data set in combination with multiple technology enhancement of complex formula equivalent generation, error pattern adversarial training and cross-domain prompt disturbance to generate a final data set. Compared with the prior art, the method has the advantages that more robust and high-accuracy answer verification in multiple fields can be realized, and the model confrontation capability is high.

The invention provides a dynamic model verification method based on incremental updating and multi-source constraint fusion, which comprises the following steps of: identifying a change node of a quality prediction model of an industrial system, and generating a local verification sub-graph based on a topological structure of a computational graph of the model; reversely tracing the model parameters influenced by the change along the local verification sub-graph, and training the model parameters to realize dynamic updating of the local verification sub-graph; generating candidate paths according to the updated local verification subgraph, dynamically adjusting the weight of the multi-source constraint, generating fusion constraint, performing constraint conflict detection on the candidate paths according to the fusion constraint, eliminating candidate paths inconsistent with the multi-source fusion constraint, constructing an optimized objective function, and combining Bayesian search and a local disturbance strategy to obtain a multi-source fusion path. Selecting an optimal verification path; and running the model on the optimal verification path, positioning source parameters of nodes with abnormal verification, adjusting the source parameters, regenerating the local verification sub-graph, and gradually realizing verification of the quality prediction model.

The invention relates to a simulation-to-field migration verification platform of an unmanned aerial vehicle cooperative system. A simulation environment module is used for constructing and operating a high-fidelity application scene digital twinborn model; the agent interface module is used for providing a uniform interface for the MARL algorithm, so that the MARL algorithm can be seamlessly operated on the simulation environment module and the physical unmanned aerial vehicle system; the evaluation and analysis module is used for collecting operation data of the system in a simulation environment and an on-site environment in parallel, and comparing and analyzing simulation performance data and on-site performance data; and the field verification management module is used for managing the process of a physical test, synchronizing task configuration and logging test data. According to the method, through simulation training, strategy deployment, parallel verification and iterative optimization, the gap between simulation and reality is effectively filled up, and systematic verification and optimization of the collaborative strategy are realized. According to the method, the field test cost and risk are remarkably reduced, the algorithm reliability is improved, and the method is particularly suitable for efficient verification and deployment of an agricultural unmanned aerial vehicle collaborative operation scene.

The invention discloses a chip parameter verification method and device, equipment and a storage medium. The chip parameter verification method comprises the steps of sampling a to-be-tested parameter space of a chip to obtain a parameter point file; performing a regression test on the parameter point file to obtain verification test results, and associating each verification test result with the corresponding parameter point to obtain a data pair set; performing parameter point iteration prediction on the set through a model according to the data; and when it is determined that the predicted parameter points meet the optimization target, taking the predicted parameter points as to-be-applied target parameter points of the chip. The parameter point file is obtained by sampling from the to-be-tested parameter space, and the sampling result is used for the regression verification test, so that the number of tasks needing to be executed is reduced, the overall verification investment is reduced, fitting and prediction are carried out through the model according to the verification test result, the coupling effect and hidden defects among parameters are conveniently found, and the verification efficiency is improved. And the accuracy of the determined target parameter is improved.

The invention relates to the technical field of interview monitoring, and provides an interview cheating verification method and system, electronic equipment and a storage medium, and the method comprises the steps: obtaining the historical answer content of a candidate in an interview process under the condition that the candidate is detected to have a cheating risk; semantic analysis is carried out on the historical answer content, and the cognitive vulnerabilities in the answers of the candidates are positioned according to the analysis result; based on the cognitive vulnerability, generating an inductivity problem for verifying the cheating risk, and providing the inductivity problem to the candidate; and obtaining multi-dimensional response data of the candidate for the induced problem, and generating a verification result about the cheating risk based on the dimensional response data. According to the method, after the cheating risk is detected, the cognitive vulnerability in the historical answers of the candidates is actively mined, and the induced questions are generated for intelligent questioning, so that key transformation from passive risk monitoring to active closed-loop verification is realized, the cheating identification accuracy can be improved, and the manual auditing cost can be reduced.

This invention provides an appraisal certification system, program, and information processing method for verifying the validity of verification information used to verify an object requiring appraisal. [Solution] The process for inputting product information in the appraisal and certification system includes: obtaining verification information about the object to be appraised; identifying the verification entity based on the category; obtaining the verification result regarding the legitimacy of the object to be appraised using a verification method based on the verification information; calculating a legitimacy evaluation value based on the verification result; recording the verification information and verification result in association if the legitimacy evaluation satisfies predetermined conditions; and presenting missing information if it does not.

The invention relates to a large language model unified verification method, which comprises the following steps of synthesizing an assembly line based on evolutionary verification data, and outputting to obtain synthesized training data; in combination with an improved GRPO algorithm, the current large language model is trained by using the synthetic training data, and a verifier model is constructed; and evaluating the output of the current large language model by using the verifier model to obtain an evaluation result. Compared with the prior art, the method has the advantages that comprehensive and universal verification capability is injected into a compact and efficient model, and objective fact verification and subjective quality judgment tasks can be processed in a single model at the same time by constructing a unified, universal and customizable verification model; fine-grained verification instructions and output format requirements which are issued by a user in a natural language and are in any form can be understood and followed, and detailed and rational explanation can be provided for verification results.

Embodiments of this application disclose an in-path verification method and system, a verification point, a translation point, a terminal, and a storage medium, and relate to the field of communication technologies. In the method, the verification point receives a first packet from a terminal, where the first packet includes an unencrypted first in-path verification header, and the first in-path verification header carries a first profile index; the verification point determines a second profile index based on the first profile index, where the second profile index is a real index of a profile used in the first in-path verification header; and the verification point verifies the first packet based on a profile indicated by the second profile index. In other words, a profile index transmitted in a network is an obfuscated profile index. In this way, even if an attacker obtains the obfuscated profile index, a relative position of each field in an in-path verification header cannot be obtained based on the obfuscated profile index. Therefore, network security of a packet can be improved. In addition, in this manner, there is no need to separately encrypt the in-path verification header. Therefore, packet transmission pressure of the network can also be reduced.

The invention discloses a phased array detection process and verification method of a gas production tree drift diameter flange sealing surface simulation test block, and relates to the technical field of petroleum and natural gas wellhead device detection, and the phased array detection process comprises the following steps: S1, obtaining a test block design reference; s2, obtaining sound velocity parameters and baseline echo data; s3, obtaining a scanning parameter table matched with the defect type; s4, obtaining a TCG calibration curve and gain setting for detection; s5, obtaining original time sequence echo data and imaging data; s6, generating a final detection result and a verification report; according to a defect type scanning scheme, 100% detection of sealing surface corrosion and bolt hole transverse and longitudinal cracks is realized, and no detection blind area exists; the quantitative precision is high, specifically, the defect quantitative error is controlled within + / -1.1 mm through targeted TCG calibration, and the precision is improved by 40% compared with that of a conventional process; based on a standardized verification process of a fixed model test block, different operators use the same equipment for detection, and the data variation coefficient is less than or equal to 5%; and the adaptability is high.

The present application relates to the technical field of plate forming, and particularly relates to a sample geometry validity verification method for a GISSMO model, a simulation model of different geometry samples is established; different geometry samples are respectively simulated (GISSMO), and displacement-force curves corresponding to sample gauges are extracted; a grid normalization curve (LCREGD) is modified, and the different geometry samples are respectively simulated again, and displacement-force curves (C2) corresponding to the sample gauges are extracted; the displacement-force curves extracted by simulation and the displacement-force curves are input into an electronic form, an absolute value of a displacement difference when a force value decreases is obtained, and is used for judging qualified simulation samples. The present application has the following advantages: traditional GISSMO simulation needs to be iterated for hundreds of times to verify sample rationality, and the present application only needs a small amount of simulation (usually 2-3 times) to quickly judge whether the sample is qualified through a grid normalization curve (LCREGD) modification comparison method, and calculation resources are saved.

The application relates to the technical field of heterogeneous data processing, and discloses an agricultural heterogeneous data fusion verification method based on a multi-dimensional semantic alignment operator, which is used to solve the problems of large data structure difference, unstable semantic alignment and single verification mechanism of the existing method. The method is characterized in that a semantic modeling mode combining type level and circle level Transformer is designed to realize fine representation of agricultural entities, attributes and contexts. A center path constraint-PPO optimization model is used to dynamically generate semantic mapping rules, and a Barrier and ReLU mechanism is used to keep the strategy stable and convergent. In the verification link, a consensus mechanism is introduced to vote, so that the credibility of the fusion result is ensured, and the model adaptability is improved through feedback iteration. The method can output high-consistency fusion data, support precise irrigation and fertilization, disaster prediction, yield evaluation and carbon emission monitoring, and provide reliable support for agricultural intelligence and sustainable development.

The present application relates to the technical field of nuclear power plant ventilation purification, and discloses an equivalent test bench for evaluating the performance of iodine removal and a verification method, the verification method comprising: obtaining three carbon samples with different iodine removal efficiencies; based on the three carbon samples, performing a first test under the French standard system, a second test under the American standard system, a third test under different humidity conditions, and a fourth test under accident conditions on the same test bench, and recording the corresponding test results; comprehensively analyzing the test results corresponding to the four tests to obtain the test equivalent relationship between the French standard system and the American standard system, the numerical relationship between humidity and iodine removal efficiency, and the change rule of iodine removal efficiency after accident radiation. The present application accurately establishes the quantitative relationship between the French standard and the American standard, humidity and iodine removal efficiency, and accident radiation and performance decay based on a unified test bench; provides a unified scientific basis for the performance evaluation of iodine adsorbers in nuclear power plants, and improves the safety and reliability of gaseous radioactive contamination protection of nuclear facilities.

The application relates to the field of distributed databases in computer science, and particularly provides a distributed database recommended index verification method and device, which comprises a database node, a candidate index verification module and a data warehouse; the database node performs index verification analysis on a database system where an environment is located; the candidate index verification module finds relevant SQL statements according to indexes generated by an index recommendation module, calculates the benefits of a single index and the benefits of an index combination, verifies the effectiveness of the recommended indexes, and eliminates indexes that are useless to application load; and the data warehouse is used to collect and store running data in the database. Compared with the prior art, the application greatly reduces the calculation amount of index verification, and enhances the reliability of index verification, so as to avoid recommending indexes that are useless or even harmful to application load.

This application provides a functional verification method applicable to the fields of artificial intelligence or big data technology. The method includes: acquiring a preset knowledge graph, the knowledge graph including markers indicating differences between functional points in a first system and functional points in a second system, the differences including difference types; acquiring first system test cases corresponding to the differences; based on the difference types, executing a corresponding test case generation strategy on the first system test cases to obtain second system test cases; calculating the functional coverage of the second system with respect to the first system; and, if the functional coverage is greater than a preset coverage threshold, performing regression testing verification based on the second system test cases. This application also provides a functional verification device, equipment, storage medium, and program product.

The invention discloses an interface test verification method and device, equipment and a storage medium, and relates to the technical field of application testing, and the method comprises the steps: obtaining an interface screenshot of a target interface after interface testing, and carrying out the recognition to obtain an optical character recognition result corresponding to the interface screenshot; generating a structured query instruction based on the interface information corresponding to the target interface; querying a preset database according to the structured query instruction to obtain a database query result; and performing information comparison based on the optical character recognition result and the database query result to obtain an interface test verification result. The automatic verification process is constructed, manual intervention is reduced, the test efficiency is improved, manpower and time are saved, test verification is rapidly completed, the software development and deployment speed is increased, the method is suitable for various interfaces and database types, different test scenes and requirements can be flexibly coped with, repeated work is reduced, and the test efficiency is improved. And the test resource utilization efficiency is improved.

The invention discloses a test data verification method and module and related equipment, and the method comprises the steps: obtaining the test data of a tested device; obtaining a test verification model according to the verification attention information; and verifying the test data by adopting the test verification model to obtain a verification result. According to the technical scheme, the test data verification efficiency and accuracy can be improved.

This application discloses a verification method, system, device, and storage medium for a device under test (DUT), applied in the field of testing technology. The method includes: configuring N verification tasks for N operating modes of the DUT, with each verification task configured with a random delay; placing the N verification tasks into a first queue; selecting one verification task from the first queue; determining the cumulative number i of times the currently selected verification task has been selected from the first queue, and sending its i-th step to the DUT; after the DUT completes the execution of this step, after the random delay of the verification task, returning the verification task to the first queue, and repeating the operation of selecting one verification task from the first queue until all steps of each verification task have been executed by the DUT; and determining the verification result of the DUT. Applying the scheme of this application can effectively realize the verification of the DUT, improve the verification efficiency, and avoid errors.

This invention belongs to the technical field of Safety Integrity Level (SIL) verification for Safety Instrumented Systems (SIS), specifically disclosing a dynamic verification method and system for SIL considering uncertainty. Addressing the uncertainty issues in SIL verification, this invention introduces stochastic uncertainty theory and fuzzy uncertainty theory, combining stochastic uncertainty theory with LSTM networks and fuzzy uncertainty theory with fuzzy logic to propose a novel dynamic SIL verification method. It also performs source tracing analysis on the SIL verification results and uses a random forest method for feature importance analysis. The SIL level is dynamically updated as data is updated. This invention solves the problems of uncertainty and static lag in traditional SIL verification, eliminates the fuzzy uncertainty of expert judgment and the static nature of field data, and enables the final verification results to be dynamic and up-to-date.

The invention discloses a traffic mirroring and automatic comparison verification method for back-end architecture migration, and the method comprises the steps: copying a real online request from a client at a traffic entrance, and forwarding the real online request to a first back-end system as a current network system and a second back-end system as a to-be-verified target system; according to the method, the two sets of systems execute the same request processing flow in parallel under the completely consistent real service flow and the upstream and downstream dependency condition, and meanwhile, the client only receives the response of the first back-end system, so that the verification process of the second back-end system is transparent to a user, and no extra risk is introduced; furthermore, status codes, response headers, response bodies and response time information of responses of the two systems are collected in a unified mode in the method, one-to-one pairing is carried out based on request association identifiers, processing results of all service requests in the new system and the old system can form comparable response pairs, and therefore an accurate corresponding relation is established for follow-up analysis.