170 results about "Validation methods" patented technology

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 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 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 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.

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 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.

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.

The present invention relates to: a composition for validating next generation sequencing (NGS) panels, comprising homozygote DNA and control genomic DNA; a kit for validation of NGS panels, comprising the composition; a validation method for NGS panels through the analysis of false negative variants, limit of detection, and false positive variants; and a method for providing information to enhance the specificity of NGS panels. In particular, the validation method of the present invention enables the objective analysis of the frequency of false negative variants, the frequency of false positive variants, and the limit of detection for NGS panels, making it effectively usable in the validation of NGS panels.

The application discloses a code verification method and device based on path traversal, a medium and equipment. The method finds all paths from the program entrance to the target statement with a path length not exceeding K in a control flow graph through a loop body step decomposition manner, and forms a path set. Then, the paths are traversed, and reachability verification is performed on the traversed paths. When the paths are subjected to reachability verification, array variables are simplified into array elements through expression simplification calculation, and operations related to the array variables are expanded into SMT constraint expressions related to the array elements in combination with variable constraint replacement, so that the SMT constraint solving can process variables related to arrays, the complexity of the SMT constraint solving is reduced, the solving and analysis of unreachable path segments are avoided, and the analysis efficiency is improved.

The invention discloses an MES data verification method and system, and relates to the technical field of industrial data processing, and the method comprises the steps: data collection and preprocessing: collecting multi-source MES original data of production equipment, a sensor, an ERP system and manual input through a multi-interface adaptation unit, performing format standardization, redundant data elimination and missing value preliminary marking processing on the original data to obtain preprocessed data; multi-dimensional comprehensive verification is realized: through verification operation of four dimensions of integrity, accuracy, consistency and safety, the whole process quality hidden danger of MES data from collection to storage is covered, and the problem of incomplete verification coverage in the prior art is solved; a real-time data acquisition and parallel verification mechanism is adopted, so that data exception can be found in time; and in combination with technologies of a machine learning prediction model, hash value comparison and the like, the accuracy of data verification and the abnormal positioning capability are improved.

The invention discloses a multi-agent result consistency verification method and system based on dynamic weighting and context awareness, and the method comprises the steps: obtaining the context information of a cooperation task, and dividing the key level of the cooperation task; all the agents independently execute the cooperative task and generate respective local results; each agent broadcasts a local result to other agents; the current reputation score of each agent is changed into the voting weight of the verification; selecting a corresponding consistency verification strategy from a plurality of preset verification strategies according to the key level of the cooperative task, and performing consistency verification on the local result based on the voting weight of each agent to achieve a consensus result; consensus results are confirmed and distributed to all agents; and dynamically updating the reputation scores of all agents according to the verification process. According to the method, the result consistency verification among multiple agents can be dynamically, efficiently and safely realized according to the task context and the states of the agents.

The embodiment of the invention provides a confrontation verification method, system and device for a mechanical and electronic product fault detection and diagnosis model. The confrontation verification method for the mechanical and electronic product fault detection and diagnosis model comprises the following steps: receiving first and second types of verification requirements submitted for a mechanical and electronic product; for the first type of demand, dividing a parameter search domain into at least two sub-domains, and extracting a first verification sample from the initial sample set according to the sample extraction number corresponding to each sub-domain in the current round; for the second type of demand, according to the accuracy of each verification sample in the previous round, adding random noise to each initial sample in the initial sample set, and generating a second verification sample in the current round; processing the first verification sample and the second verification sample through a fault detection model to generate corresponding fault detection results; and based on the fault detection result and a preset evaluation index, verifying and evaluating the fault detection model and generating a corresponding verification and evaluation result.

The invention discloses a closed-source contract attack risk confirmation method based on pre-execution and type inference, and the method comprises the steps: triggering detection when related transactions of a closed-source intelligent contract appear in a block chain network, and achieving the pre-execution through deploying the contract in a local virtual machine in advance; performing preliminary screening on the contracts, detecting suspicious features and preferentially analyzing high-risk contracts; and recovering intelligent contract information by using a type inference technology, exploring a program state through a fuzzy test, collecting contract execution characteristics in an execution process, and finally performing risk assessment. Through combination of pre-execution and dynamic type inference, the technical bottleneck that closed-source contract attack risk confirmation lacks source codes and type information is broken through, early warning and active defense of malicious contracts are realized, and a security technical guarantee is provided for a block chain.

The present application relates to a method, device, equipment and medium for verifying the commissioning status of power equipment, and relates to the technical fields of power engineering auditing and artificial intelligence. It includes: parsing the submitted review materials using a multimodal document parsing model; inputting the dispatching operation power time series into a variational autoencoder model for sequence reconstruction calculation to obtain the reconstruction error and generate a time series anomaly feature component; generating a trajectory space anomaly feature component based on the spatio-temporal data of project personnel clock-in and the benchmark coordinates of the equipment ledger, and at the same time performing error level analysis on the on-site commissioning image data to generate an image anti-counterfeiting anomaly feature component; submitting the above multi-source heterogeneous data to a multimodal large model for cross-comparison and logical reasoning, breaking the limitation of only relying on the submitted review materials by a single party, identifying forgery behaviors from the source. With the equipment identifier as the only primary key, in the face of false commissioning scenarios with strong concealment and across multiple links, a multi-dimensional cross-verification closed loop is formed to identify deep造假行为 is misspelled. It should be "deep造假行为 is misspelled. It should be "deep forgery behaviors" here. So the corrected translation is as follows: The present application relates to a method, device, equipment and medium for verifying the commissioning status of power equipment, and relates to the technical fields of power engineering auditing and artificial intelligence. It includes: parsing the submitted review materials using a multimodal document parsing model; inputting the dispatching operation power time series into a variational autoencoder model for sequence reconstruction calculation to obtain the reconstruction error and generate a time series anomaly feature component; generating a trajectory space anomaly feature component based on the spatio-temporal data of project personnel clock-in and the benchmark coordinates of the equipment ledger, and at the same time performing error level analysis on the on-site commissioning image data to generate an image anti-counterfeiting anomaly feature component; submitting the above multi-source heterogeneous data to a multimodal large model for cross-comparison and logical reasoning, breaking the limitation of only relying on the submitted review materials by a single party, identifying forgery behaviors from the source. With the equipment identifier as the only primary key, in the face of false commissioning scenarios with strong concealment and across multiple links, a multi-dimensional cross-verification closed loop is formed to identify deep forgery behaviors.

This invention discloses a verification device and method for a background mechanism cyclic redundancy check (CRC) algorithm, relating to the field of integrated circuit verification technology. It introduces formal verification to automatically exhaustively enumerate the input state space, comparing the calculation results of the hardware design RTL with the software golden reference model and generating a difference report. Based on formal verification, simulation verification is performed, constructing a competition scenario between the master end (at the same communication level as the background CRC calculation module) and the slave end (relative to the background CRC calculation module). Simulation verification is executed, cross-covering different combinations of master end functions. Interrupt monitoring detects the presence of verification errors, achieving comprehensive verification of the background mechanism, calculation, and error notification functions of the verification object from memory access to memory data loading to output data verification results. Finally, regression management encapsulates formal verification and simulation verification into a parameter-passable regression task, transforming verification into a reliable and automated solution.

The invention discloses a GPU function and performance verification method based on cmodel and EDA, and relates to the technical field of integrated circuit design and verification. According to the method, a load monitoring module is embedded in a GPU model model, and the log record granularity is dynamically adjusted to generate a structured log file. And the script tool intelligently adjusts an analysis weight based on a load level, extracts time sequence information of a Master behavior and a Memory access event, and generates a high-precision data excitation sequence. In an EDA environment, real-time consistency of data is ensured through interpenetrating linkage of a backdoor mechanism and a Master behavior. The function comparison component adopts a three-level layered tracing technology to accurately position a difference source, and the performance monitoring component performs bottleneck attribution through sliding window statistics. According to the scheme, automation, high precision and high efficiency of GPU verification are realized, the verification depth and breadth are remarkably improved, and a solid guarantee is provided for rapid iteration and high-quality delivery of the GPU.

The invention discloses an ontology-driven probe type multi-source mass spectrum metadata checking method and system, and relates to the field of mass spectrometers.The method comprises the steps that a pre-constructed mass spectrum domain ontology is loaded, logic metadata fields in the mass spectrum domain ontology are compiled into probe intermediate representation, and the probe intermediate representation is obtained; combining the related probe intermediate representations into a probe family according to instrument models and experimental method types; accessing original mass spectrum data and metadata thereof from a plurality of heterogeneous data sources, executing intermediate representation of each probe in the probe family, and analyzing a plurality of candidate values; and constructing a consistency graph for the plurality of candidate values, carrying out truth value estimation based on the consistency graph to obtain a fusion value and a confidence coefficient, and checking the fusion value according to a semantic constraint rule and unit dimension information derived from the mass spectrum domain ontology. And continuous optimization of probe weight and data source credibility is realized through human-computer interaction and parameter updating, so that a set of mass spectrum metadata intelligent checking solution which can be evolved by itself, can be audited and has high interpretability is formed.

The invention discloses a test method for ground verification of the separation performance of a deflection type separation mechanism, which is mainly used in the field of ground verification of the deflection type separation mechanism for reloading and air-drop, and comprises a ground dynamic unlocking test method and a ground static unlocking test method. Through the two verification methods, the connection reliability and the unlocking performance of the main parachute unlocking lock of the air-drop system are completely examined, the used tool is simple, the operability and the repeatability are high, the process is quantitative, and the program is reliable.