27results about How to "Simplify the verification process" patented technology

The invention provides a business authenticity verification method and system based on block chain multistage evidence storage, and the method comprises the steps: S1, obtaining a corresponding upper chain evidence storage report based on a product carbon footprint accounting report, and verifying the product carbon footprint accounting report based on the obtained corresponding upper chain evidence storage report; s2, obtaining each sub-uplink evidence storage report corresponding to each service node according to an uplink evidence storage report corresponding to the product carbon footprint accounting report; s3, based on each sub-uplink evidence storage report corresponding to each service node, according to an actual service process, forward tracing an evidence chain, based on the forward tracing evidence chain, obtaining corresponding on-chain data, and verifying the corresponding on-chain data by using the original data; and S4, carrying out a series reduction business process based on the verified on-chain data, and completing verification of business authenticity.

The invention provides a block chain smart contract-based product carbon footprint verification method and system. The method comprises the steps of S1, obtaining product full life cycle data; s2, preprocessing the obtained product full life cycle data; s3, deploying the smart contract on the block chain; the smart contract comprises a carbon footprint calculation model; s4, calculating the carbon footprint of the product based on a carbon footprint calculation model on the smart contract according to the preprocessed product full life cycle data to obtain a carbon footprint result; and S5, verifying the calculated carbon footprint result of the product, and outputting the verified carbon footprint result in a verifiable manner.

The invention discloses an intelligent inspection method for a green building, and the method comprises the following steps: obtaining the latitude and longitude information of an inspection point and the number of the inspection point, and inputting the latitude and longitude information of the inspection point and the number of the inspection point into a label; acquiring positioning source data of the position of the inspection maneuvering equipment; performing data fusion on the positioning source data and the label data, splicing the fused positioning data and the label data to generate combined positioning data, and encrypting the combined positioning data to generate inspection positioning data; and obtaining routing inspection result positioning information, comparing the routing inspection result positioning information with the routing inspection positioning data, and finally obtaining a positioning correction result. Compared with the prior art, the method has the advantages that the accuracy and stability of data are improved, the inspection efficiency is improved by the comprehensive label technology, the workload of personnel is reduced, and the method can adapt to different scenes.

The invention discloses a concrete test block anti-counterfeiting system and an anti-counterfeiting method, and belongs to the technical field of concrete detection. Comprising an anti-counterfeiting designation card, and a sample preparation end and a laboratory end which communicate with a server and identify the anti-counterfeiting designation card, the anti-counterfeiting designation card comprises a substrate, an identification code and a direction mark which are arranged on the front surface of the substrate, and a bending pin for fixing the substrate, and the laboratory end carries out anti-counterfeiting verification by identifying the installation direction, angle and distance of the anti-counterfeiting designation card. According to the invention, the anti-counterfeiting security is obviously improved, the reliability is enhanced, the verification efficiency is improved, and the adaptability to the environment is improved; meanwhile, a laboratory and a supervision platform are accessed to realize connection and integration with an existing system; besides, the system is set according to the national building material management standard, is compatible with other quality control systems, is convenient to integrate into the existing management system, promotes the industrial standardization process, and reduces the implementation cost.

The invention relates to a positioning tamper-proofing method, device and equipment and a storage medium, and is applied to the technical field of positioning, and the method comprises the steps: obtaining the latitude and longitude information of an inspection point and the number of the inspection point, and inputting the latitude and longitude information of the inspection point and the number of the inspection point into an NFC tag; acquiring various positioning source data of the position of the handheld device; performing data fusion and encryption on the multiple positioning source data and the data of the NFC label according to a preset weight to generate inspection positioning data; and obtaining routing inspection result positioning information, comparing the routing inspection result positioning information with the routing inspection positioning data, and obtaining a positioning tampering result. The method has the technical effects that the accuracy of the positioning data is improved, and the positioning information is prevented from being tampered.

The embodiment of the invention discloses a verification system and a verification platform for verifying a CANFD protocol based on a UVM, and relates to the field of verification. Compared with a traditional encryption type tool manufacturer product, the UVM has the advantages that the user friendliness and the debugging efficiency are remarkably improved, and the learning threshold and the debugging difficulty are reduced by opening core drive logic and random constraints. The method is characterized in that the abnormal and error scene test is highly flexible, frame bits are allowed to be accurately controlled to simulate illegal flow, and the test coverage rate and accuracy are enhanced. Meanwhile, the multi-mode filtering support and the out-of-frame information marking function provide abundant debugging means and deep insight for design verification, and particularly, great convenience and high efficiency are shown when the BUG is positioned and solved.

The invention discloses a processor verification system and method and a verification platform, and the system comprises a to-be-verified processor, a first storage unit and the verification platform, the to-be-verified processor executes an operation to generate a character string, converts the character string into an ASCII code, and stores the ASCII code in the first storage unit; therefore, the verification platform can print the character string converted from the ASCII code stored in the first storage unit, whether the to-be-verified processor is abnormal or not in the operation execution process can be determined based on the printing result, the abnormal position can be directly positioned based on the printing result when the abnormal position exists, the verification process is simplified, and the verification efficiency is improved. And the user experience is improved.

This invention belongs to the field of artificial intelligence technology, specifically disclosing an intelligent rule conflict detection method, system, and program product. By transforming the traditionally tedious and time-consuming manual rule review into intelligent rule conflict detection, it greatly simplifies the verification process for business personnel in rule design and significantly improves the efficiency of rule review. It can comprehensively and deeply analyze the rule system, automatically identifying logical errors, overlaps, and contradictions that are difficult for the human eye to detect, effectively reducing the risk of rule defects and potential financial losses caused by human negligence. It deeply embeds artificial intelligence technology into the business operation process of rule configuration, ensuring the logical validity of rules once they are created, and promoting the upgrade of enterprise rule management from reliance on manual experience to intelligent automatic detection. Furthermore, it can intuitively display potential problems and conflicts between rules, making the entire rule verification process clearer and easier for users to understand and make decisions.

The present application provides an automated connection verification method, device, terminal, medium and program product for a chip interconnection manager, the method comprising: obtaining a design form of a chip design to be verified; performing macro definition processing on the design form to generate a macro definition file for the connection relationship between the modules connected through the interconnection manager inside the chip design to be verified; constructing a test case file according to the obtained target chip design verification requirements and the macro definition file; writing the HEX file obtained by compiling the macro definition file and the test case file into the chip design to be verified and running it, so that the verification platform can perform automated connection verification based on the interconnection manager on the chip design to be verified. The present application can automatically generate a corresponding macro definition file as the version of the chip design is updated, so as to automatically connect the modules inside the chip design during the verification process, making the verification process simple, efficient and intuitive.

The invention discloses a detection method and device of a voltage monitor, electronic equipment and a chip. The method comprises the steps that a first voltage threshold value is sent to the voltage monitor and a first power source through a digital control module; a first voltage corresponding to the first voltage threshold value and a first calibration voltage associated with the first voltage are determined through the first power supply, and the first calibration voltage is used for detecting the voltage threshold value corresponding to the voltage monitor; sending the first voltage and the first calibration voltage to a comparison module, sending the first calibration voltage to a voltage monitor, and comparing the first voltage with the first calibration voltage through the comparison module to obtain a first comparison result; obtaining a corresponding second voltage through a voltage monitor according to the first voltage threshold value, and comparing the second voltage with the first calibration voltage to obtain a second comparison result; and according to the first comparison result and the second comparison result, determining whether a voltage threshold corresponding to the voltage monitor is the same as the first voltage threshold.

The present invention discloses a concrete test block anti-counterfeiting system and anti-counterfeiting method, which belongs to the field of concrete detection technology; it includes an anti-counterfeiting label card, and a sample preparation end and a laboratory end that communicate with a server and identify the anti-counterfeiting label card; the anti-counterfeiting label card includes: a substrate, an identification code and a direction indicator set on the front of the substrate, and a bending foot for fixing the substrate; the laboratory end performs anti-counterfeiting verification by identifying the installation orientation, angle, and distance of the anti-counterfeiting label card. The present invention significantly improves anti-counterfeiting security, enhances reliability, improves verification efficiency, and improves environmental adaptability; at the same time, it is connected to the laboratory and supervision platform to achieve connection and integration with the existing system; in addition, the system is set according to the national building materials management standards, compatible with other quality control systems, and easy to integrate into the existing management system, which promotes the industry standardization process and reduces the implementation cost.

The invention belongs to the field of model detection and symbol simulation, and relates to a symbol track value counting method and system based on a satisfiability model theory solver and limit model detection. The method comprises the following steps of: taking a hardware description language Chisel and a circuit specification described by extended track counting logic as input, reading the extended track counting logic through a preprocessing module, and performing logic synthesis and SMT (Surface Mount Technology) coding on a Chisel circuit; and the model detection rear-end module verifies the circuit specification based on SMT coding in combination with an STE algorithm and a BMC algorithm. According to the method, the respective advantages of the BMC and the STE are combined to enhance the solving capability of the symbol track value, the efficiency and the reliability of model detection are improved, meanwhile, the standard description capability of the STE is expanded on the Chisel level, and the verification process is greatly simplified.

The invention discloses a digital certificate-based authentication method for limited participants. The method at least comprises a first digital certificate and a second digital certificate; when the first digital certificate is signed and issued by the first CA, a signature of the first CA to the first digital certificate and at least signer public keys of the first CA and the second CA are embedded; when the second digital certificate is signed and issued by the second CA, at least embedding a signature of the second CA to the second digital certificate; the first digital certificate authenticates the second digital certificate; and the first digital certificate authenticates the signature of the second CA to the second digital certificate in the second digital certificate by using an embedded issuer public key of the second CA. According to the authentication method, a certificate chain is not used, but the same security can be realized, and the authentication method is suitable for mutual authentication of digital certificates among different digital certificate authentication mechanisms.

The invention relates to a battery data encryption communication system and method, and belongs to the technical field of encryption communication, the battery data encryption communication system comprises a server, a battery equipment end and a mobile terminal, the server is used for configuring a pre-shared key for the battery equipment end and the mobile terminal; the battery equipment end and the mobile terminal are used for performing identity verification based on the pre-shared key, setting a random number counter value after the identity verification is passed, encrypting data to be transmitted through the random number counter value and the pre-shared key, and generating an encrypted data packet containing an authentication label; and decrypting the encrypted data packet through the shared key, and determining the legality and integrity of the encrypted data packet through the random number counter value and the authentication tag. The battery data encryption communication provided by the invention can meet the core requirements of safety, real-time performance, equipment adaptability and operation and maintenance convenience.

The disclosed cell culture device comprises: a cell culture module comprising a cell culture unit in which an orifice plate, which forms at least one culture space, is attached to a cartridge; a culture solution supply module comprising: a pump unit for forming a supply and discharge flow of a culture solution to the cell culture unit; the culture solution storage chamber is used for accommodating at least one culture solution chamber; and a pair of culture solution tubes made of a flexible material and connecting the culture solution supply module and the cell culture module, which are spatially separated, to form a duct through which the culture solution is supplied and discharged, the cell culture module being placed in a CO2 incubator for creating a warm environment, the culture solution storage chamber creating a low-temperature environment lower than normal temperature, and the culture solution storage chamber creating a low-temperature environment lower than normal temperature. A pair of culture solution tubes exposed between the culture solution supply module and the cell culture module is in a normal-temperature environment.

The application relates to the computer technical field, in particular to a micro-service domain algebra data type construction method based on functional programming, which comprises the following steps: obtaining a variant list of a target business domain; identifying the properties of each variant in the variant list, and determining the type of each variant according to the properties of each variant; combining all the variants in the variant list based on the type of each variant to obtain an algebra data type tree, compiling the algebra data type tree, verifying the compiled algebra data type tree, and performing business processing through the verified algebra data type tree. Therefore, the problems of scattered domain object definition, high coupling degree, lack of clear boundaries and complex and lengthy verification logic in the micro-service are solved, the readability and maintainability of the code are improved, and the overall reliability and development efficiency of the micro-service system are enhanced.

The invention relates to a device and a method for measuring the thickness of an oil film on the surface of a stamping part based on correlation filtering. The measuring device comprises an infrared light source, a focusing lens group, a light filtering wheel disc and a detector, a normal absorption window and a saturated absorption window are arranged on the light filtering wheel disc, and the normal absorption window and the saturated absorption window can rotate to a light path which can be detected by the detector through rotation of the light filtering wheel disc; the normal absorption window and the saturated absorption window are sealed by two transparent window sheets, and the space between the two transparent window sheets for packaging the normal absorption window is not filled; and a tested oil film sample with a certain thickness is packaged between two transparent window sheets of the saturated absorption window.

The invention discloses an MCU verification method and system. The method comprises the steps of monitoring an MCU bus, and generating random data related to a test case of a to-be-verified module when it is monitored that the MCU performs write operation on a register of the to-be-verified module; writing the random data into a storage module; when the MCU executes the test case, the MCU reads the random data stored in the storage module; utilizing the random data to configure a register of the to-be-verified module to generate a configuration file; and the to-be-verified module executes a corresponding function according to the configuration file to complete verification. Compared with a traditional method of setting up a master-slave verification component for each peripheral, the method simplifies the whole verification process; the random verification of all modules and memories to be verified is completed in combination with the random characteristics of the UVM and the MCU kernel, and the system verification which is directly configured and completed only by the host kernel is not needed any more, so that the random coverage rate is enhanced; the verification platform is simple in interface, flexible and easy to reuse.

The invention provides a program verification method and device, electronic equipment and a storage medium. The method comprises the steps that a first data segment and sample address information are determined according to a sample program, the sample program is a program which is verified and put into use, the sample program comprises a first function program and a first parameter program, and the first function program and the first parameter program are separately stored in a sample electric energy meter chip; according to the sample address information, a second data segment is obtained from a to-be-verified program, the to-be-verified program comprises a second function program and a second parameter program, the second function program and the second parameter program are separately stored in the to-be-verified electric energy meter chip, and the model of the sample electric energy meter chip is consistent with that of the to-be-verified electric energy meter chip; and determining the reliability of the to-be-verified program according to the first data segment and the second data segment. Therefore, automatic verification of the electric energy meter program is realized, and the verification process is simplified.

The invention provides a formalized verification method and device based on intelligent model interaction, and relates to the technical field of computer data processing.The method comprises the steps that security constraint conditions input by a tester in a natural language are received, and a user security attribute constraint file is generated according to the security constraint conditions; according to the user security attribute constraint file, generating a source code preprocessing request through the thinking chain template; wherein the source code preprocessing request at least comprises multi-dimensional information of a preprocessing target, code function description, a to-be-processed code text, a thinking chain cue word and a format requirement; according to the source code preprocessing request and a to-be-verified source code, generating a preprocessed source code inserted with a safety assertion through large language model reasoning; performing formalized verification on the preprocessed source code, and generating an intermediate file in the formalized verification process; and according to the intermediate file, performing analysis based on the semantic analysis prompt word template, and outputting a natural language prompt corresponding to the optimization direction to a tester.

The invention discloses an eye equipment identity verification method and device. The method comprises the following steps: acquiring image information of eye equipment; performing image processing on the eye equipment image information to obtain target image area information; the target image area information comprises first target area information and second target area information; and performing verification processing on the target image region information to obtain target identity verification result information.

The invention relates to the technical field of NFC chip verification, and discloses a circuit and equipment for NFC chip FPGA prototype verification, and the circuit comprises a power conversion module, an SE interface verification circuit, and an RF interface verification circuit. The power supply conversion module is configured to reduce external power supply voltage and output working voltage of the SE interface verification circuit and the RF interface verification circuit; the SE interface verification circuit is configured to be connected with an SE related digital interface; and the RF interface verification circuit is configured to be connected with RF signal receiving equipment. The SE interface verification circuit and the RF interface verification circuit are integrated in the same circuit, the circuit is used for FPGA prototype verification of an NFC chip, verification can cover related scenes where SE and RF work at the same time, comprehensive verification is carried out on a related digital interface module and an RF module of the SE before chip tape-out, verification efficiency is improved, and verification coverage rate is increased.

The invention provides a configuration method for a DUT interface and a VIP interface. The configuration method comprises the steps that a table file pre-filled with bus basic information, an RTL file naming a bus in a unified mode and an SV file are obtained; capturing bus information of the DUT end in the RTL file and the table file, and extracting interface information of the DUT according to the bus information of the DUT end; capturing bus information of the VIP end in the SV file and the table file, and extracting interface information of the VIP according to the bus information of the VIP end; and comparing the interface information of the DUT with the interface information of the VIP, and if the interface information is consistent, performing interconnection. According to the invention, the function of connecting the interface of the DUT and the VIP is realized, the frequency of manual connection is reduced, and the verification efficiency is improved.

The embodiment of the present invention provides a verification method, device, electronic device and readable storage medium, the method comprising: obtaining data transmission parameters, benchmark test program and reference model corresponding to the design to be tested; burning the design to be tested into the programmable logic area of ​​the programmable logic chip, and loading the reference model into the processing system of the programmable logic chip; re-encoding each instruction in the benchmark test program according to the encoding format corresponding to the data transmission parameters and the preset communication control instructions to obtain a target test program; controlling the design to be tested and the reference model to execute the target test program respectively; obtaining a first execution result of the design to be tested and a second execution result of the reference model; and determining that the design to be tested has an operation error when the first execution result and the second execution result do not match. The embodiment of the present invention simplifies the verification process of the design to be tested and improves the verification efficiency.

The application discloses a testing method for a vehicle brushless blower, which comprises a controller, a brushless motor, an impeller and a volute. The input end of the controller is electrically connected with the output end of a power supply. The output end of the controller is electrically connected with the brushless motor. The impeller and the volute are installed inside an air conditioner box HVAC. The testing method comprises the following steps: a dynamic torque sensor and an encoder are arranged on a transmission rod between the rotor of the brushless motor and the impeller and the volute; the brushless motor is started by the controller to drive the impeller to run; the output voltage and current of the power supply and the three-phase instantaneous voltage and current output by the controller are detected; the output torque of the brushless motor is detected by the dynamic torque sensor, and the rotating speed of the brushless motor is detected by the encoder; the output air volume of the air conditioner box HVAC under a specific static pressure after the impeller is installed inside the air conditioner box HVAC is detected; and the controller efficiency, the brushless motor efficiency, the impeller efficiency and the assembly efficiency of the air conditioner box HVAC system are calculated according to the above test results.

The embodiment of the present invention discloses a data processing method, device, terminal and medium based on blockchain, the method comprising: obtaining multiple data to be analyzed from multiple application objects, clustering the multiple data to be analyzed to obtain multiple data sets to be analyzed, determining the weight of each data set to be analyzed in the multiple data sets to be analyzed, and selecting a target data set to be analyzed from the multiple data sets to be analyzed according to the weight; selecting any one data to be analyzed from the target data set to be analyzed as the target data, and applying the target data to the smart contract. Through the above method, the most reliable data can be screened out from the multiple acquired data and sent to the smart contract without sending it to other nodes for consensus verification, which simplifies the data verification process and improves the efficiency and reliability of smart contract data acquisition.

The embodiment of the present invention provides a verification method and device for a contactor, wherein the verification method includes: determining the coil parameters of the electromagnetic mechanism in the initial contactor; determining the coil window size of the coil based on the coil parameters and in combination with the coil wire parameters, wherein the coil wire parameters are the parameters of the wire in the coil; generating a coil skeleton model in a three-dimensional modeling software based on the structure and coil window size of the initial contactor; generating a corresponding contactor model based on the coil skeleton model, wherein the contactor model includes at least an electromagnetic mechanism model and a contact system model; and testing the contactor model using simulation parameters to realize verification of the contactor. The embodiment of the present invention can reduce the verification cost of collision and bounce of the electromagnetic mechanism and accelerate the process of research, development and manufacturing of the contactor.