16 results about "Verification routine" patented technology

The invention relates to a computer-implemented method for operating a code generator for creating and implementing verified program code for calculating a neural network on a hardware environment (2) comprising the following steps: - Creating (S1) program code for calculating a neural network in a hardware environment based on a defined neural network; - Providing (S2) the created program code with a verification code, wherein the verification code, upon execution, checks the execution of the program code in the hardware environment (2) against at least one verification criterion; - Implementing and executing (S3) the program code provided with the verification code in the hardware environment (2); - Upon finding that the at least one verification criterion is met, creating (S5) the program code without the verification code; - Implementing (S6) the program code without the verification code in the hardware environment (2).

The application discloses a program verification metadata export method and device and a deterministic execution environment, and belongs to the field of compiling technology and formal verification. The method comprises the following steps: marking the pointer ownership state in the source code through attribute annotation; extracting the ownership conversion information and generating the structured metadata during compiling; and outputting the metadata to the special section of the compiling product, so that the memory safety of the program can be verified independently by directly reading the metadata by an external system. In order to make the exported metadata complete and inferable, a deterministic running environment composed of zero global state context, full-link memory management, capability token and deterministic execution suite is provided. In the application, specific attribute annotations in the source code are identified during the compiling process, the pointer ownership state conversion information and the function formal contract are generated into the structured metadata with a predefined binary format, and are written into the special metadata section of the target file (such as an ELF). In this way, the processing of the internal semantics of the program is changed from being internally digested and reformed by the compiler to being actively and standardized output to the external system, so that the technical obstacle that the program semantics information cannot be directly and reliably acquired by the external AI or verification tool is solved.

A verification device (2) includes: an expected output determination unit (24) to determine whether all output data of an inference model for an input data range constitutes a violation in that the output data are not expected outputs; an input range splitting unit (25) to split a range determined to be non-violating within the input data range and to designate a split range as the input data range that is new to the inference model; a range ratio calculation unit (27) to calculate a ratio of a range for each of the determination results with respect to the input data range; and a display processing unit (28) to display verification result information indicating the ratio of the range on a display device (6).

To provide a detection system that makes it possible to detect partial discharges even if measurement data includes noise that differs depending on the environment, a parameter update system, a detection program, a verification server, a verification method, and a verification program.SOLUTION: The detection system includes an acquiring unit, a processing unit, a determining unit, and an updating unit. The acquiring unit acquires measurement data from a sensor attached to a power device to be monitored. The processing unit processes the measurement data on the basis of parameters associated with the power device. The determining unit determines whether a partial discharge is occurring in the monitored target on the basis of the processed measurement data. The updating unit updates the parameters on the basis of the same determination result on whether partial discharge is occurring among a plurality of pieces of reference measurement data, which is measurement data acquired in the past.SELECTED DRAWING: Figure 1

This application belongs to the field of electrical technology, specifically relating to a method, apparatus, device, and medium for handling faults in intelligent devices. The method includes: a terminal device sending fault performance information to a server, the fault performance information being determined based on the fault performance of the intelligent device; the server determining and sending a fault verification program corresponding to the fault performance information to the terminal device; the terminal device performing fault verification processing on the intelligent device based on the fault verification program, obtaining a fault verification result; the terminal device sending the fault verification result to the server; and the server, if the fault verification result indicates successful verification, sending a repair plan corresponding to the fault verification program to the terminal device. In this method, when a fault occurs in the intelligent device, the server determines the fault verification program based on the fault performance information fed back by the terminal device, and based on the verification result of the returned fault verification program, the cause of the fault and the specific repair plan can be determined.

To detect fraud committed in signature replacement.SOLUTION: An information processing apparatus acquires a first VC 8 that proves the validity of attribute information of a user by a first signature 8a verifiable by verification procedures of a first DID infrastructure 1, and a second VC 9 that proves the validity of the attribute information of the user by a second signature 9a verifiable by verification procedures of a second DID infrastructure 2. Next, the information processing apparatus verifies the second signature 9a contained in the second VC 9 by the verification procedures of the second DID infrastructure 2. Further, the information processing apparatus transmits a verification request for verifying the first signature 8a contained in the first VC 8 to verification devices 7a, 7b, ... capable of verifying the first signature 8a contained in the first VC 8 by the verification procedures of the first DID infrastructure 1, and then acquires, from the verification devices 7a, 7b, ..., verification results of the first signature 8a contained in the first VC 8.SELECTED DRAWING: Figure 1

In some aspects, it is provided a method comprising, for example: carrying out, by the verifier entity, at least one auxiliary task using at least the at least one outcome indicated in the received information; determining, by the verifier entity and using at least one output of the at least one auxiliary task, a label for the at least one radio signal measurement associated with the at least one outcome, or determining, by the verifier entity and based on the at least one output of the at least one auxiliary task, the at least radio signal measurement associated with the at least one outcome is to be discarded; and transmitting the label and the at least one radio signal measurement to the first network node or the second network node to update the machine-learning model for the primary task.

This application relates to an interrupt verification method, apparatus, system, device, storage medium, and program product, applied to an interrupt verification device. The method includes: first, injecting an interrupt verification program into a microcontroller under test (MCU), wherein the MCU is communicatively connected to the interrupt verification device; then, receiving interrupt information sent by the MCU according to the interrupt verification program, and sending an interrupt signal to the MCU according to the interrupt information to instruct the MCU to execute the interrupt service routine corresponding to the interrupt signal; finally, outputting the interrupt verification result of the MCU based on the result of the MCU executing the interrupt service routine. This method enables interrupt verification through simultaneous hardware and software verification, rather than simply simulating interrupts in software, thus achieving higher accuracy in interrupt verification.

The elements and reference numerals in the drawing and its accompanying description are checked against the description and the drawing. [Solution] The code inspection program causes the computer to perform the following steps: input a first prompt to the generating AI system 3, which includes an instruction to generate an explanatory code table 24 containing correspondences between codes and element names from an explanatory text 23 relating to a drawing, and obtain a response from the generating AI that includes a predetermined explanatory code table 24; input a second prompt to the generating AI system 3, which includes an instruction to generate a drawing code table 26 containing correspondences between codes and element names from the drawing described in the explanatory text 23, and obtain a response from the generating AI system 3 that includes a predetermined drawing code table 26; and output a code determination table 27 that determines whether there are errors in the codes from the explanatory code table 24 and the drawing code table 26.

The application relates to the technical field of database verification, and discloses a database query verification method and electronic equipment. The method comprises the following steps: receiving a structured query request, and generating a query execution plan comprising a plurality of physical operators; executing the query execution plan, so that at least part of the physical operators process input data in a streaming batch processing mode; in the process of physically processing a current data batch, a verification load corresponding to the current data batch is synchronously constructed; after the verification load is constructed, a corresponding proof generation task is submitted to an asynchronous execution process independent of a main calculation path of the physical operators, so that a corresponding verification program is called to generate a batch proof; and after a plurality of data batches generate batch proofs respectively, the plurality of batch proofs are aggregated to obtain an aggregated proof used for verifying a query result. The scheme can adapt to a database streaming batch processing process, and reduce the influence of proof generation on a main execution path.

This invention discloses a self-verifying encapsulation and preservation method and system for digital twin scenarios of traffic accidents. The method includes: acquiring multimodal data and calculating fingerprints and hash digests to construct a data traceability chain; mapping 3D point clouds and dynamic trajectories to the OpenX standard to generate a standardized scene encapsulation; calculating uncertainty intervals and logical check codes based on error covariance and physical laws; integrating fingerprints, digests, intervals, check codes, and the traceability chain into a meta-data package and binding it to the scene encapsulation with a signature; integrating the bound data and verification program into an independent executable sandbox program; automatically verifying integrity during runtime, reproducing the accident trajectory, and exporting a digital archive. This invention achieves end-to-end verifiability and offline verification of accident scenarios, providing a highly credible evidence carrier for determining liability.

A storage device includes a memory device and a storage controller. The memory device includes a memory cell array having a memory block with a plurality of pages to which memory cells are connected, and a control logic circuit. The storage controller obtains information on the memory block, determines a number of pages on which a program operation that skips a verification procedure is to be performed based on the obtained information, and transmits a program command for the program operation to the memory device. In response, the memory device receives the program command and performs the program operation by executing a single program loop without a verification procedure for at least one page indicated by the program command among the plurality of pages.