244results about How to "Realize verification" patented technology

The invention provides a drainage basin flood runoff forecasting system and forecasting method based on water conservancy big data, relates to the technical field of flood runoff forecasting, and constructs the drainage basin flood runoff forecasting system based on the water conservancy big data by integrating the advantages of a physical model and a data driving model. The adopted bidirectional LSTM network is used for abnormal value interpolation, so that the data quality can be effectively improved; the HEC-HMS model is combined with a terrain correction factor to optimize the accuracy of the runoff process; the LSTM network enhances the data driving capability of flow prediction through the fusion of geographic space features and time series data, the model fusion module introduces an attention mechanism and water conservation constraints, the dynamic weight balance of a physical model and a data driving model is realized, the reliability and consistency of a prediction result are comprehensively improved, and the prediction efficiency is improved. And the model verification module realizes continuous comparison and verification of a forecast result and actually measured data through a closed-loop feedback mechanism of a total error and a dynamic threshold value.

The invention discloses a block chain-based performance-lossless watermark credible traceability method and system. The method comprises the following steps of: embedding extended watermark information based on distribution consistent sampling in a potential space of a generative model to obtain a generation content of an embedded watermark; converting the watermark metadata into a hash value, storing the hash value in a block chain, and executing node trust management and a shared data storage and consensus mechanism; inverting the generated content embedded with the watermark to extract watermark information and calculating a hash value, comparing the hash value with the hash value of the watermark information stored in the block chain, if the comparison is consistent, passing the watermark verification, and if the comparison is inconsistent, failing the watermark verification; and when the watermark verification fails, performing node signature verification, if the node signature verification fails or the data is abnormal, starting an on-chain traceability process, tracking a data generation path according to the watermark metadata, and searching an abnormal node or data transmission point. According to the method, lossless embedding, credible circulation and reliable traceability of watermark information can be realized while high quality of generated content is ensured.

The invention relates to the field of milling, in particular to a modeling method and system for a morphology model of a milling surface, and the method comprises the steps of data collection, data preprocessing, feature extraction, model construction and model verification and optimization. According to the modeling method and system, various actual factors in milling are fully considered, including tool abrasion, cutting force vibration, workpiece material non-uniformity and the like, the fitting degree of the model and the actual milling surface appearance is improved, and the microscopic geometrical characteristics of the machining surface can be reflected more accurately; a machine learning algorithm is adopted to construct a model, so that a complex milling process parameter combination relationship can be flexibly processed, the applicability and accuracy of the model under different milling process parameters are improved, and accurate evaluation of part performance and optimization of a machining process are facilitated; the system is complete in structure, all the modules are clear in division of labor, and the construction, verification and optimization process of the morphology model of the milling surface can be efficiently achieved.

The embodiment of the invention discloses a voice multitask-based model training method and a voice multitask processing method. Firstly, a target voice signal is acquired, and a first voice feature in the target voice signal is extracted through a pre-trained feature extraction model. Then, processing the first voice feature through a forgery detection model to obtain a first voice forgery probability; thirdly, training a forgery detection model based on the first voice forgery probability, and after training is completed, freezing parameters of the forgery detection model; further, the first voice feature is processed through a voiceprint recognition model to obtain first voiceprint information, and the voiceprint recognition model is trained based on the first voiceprint information. And finally, performing forgery detection and speaker verification on the to-be-processed voice signal by using the trained forgery detection model and voiceprint recognition model.

The invention discloses an educational digital identity authentication method of a distributed heterogeneous system based on a block chain, and relates to the technical field of block chains, an identity information set and an educational system information set are pre-collected and stored by using an asymmetric encryption algorithm, an identity standardization model is constructed based on the identity information set and the educational system information set, and the educational digital identity authentication method of the distributed heterogeneous system based on the block chain is established. Based on an identity standardization model, identity data of registered personnel is managed by using an intelligent contract, cross-chain data sharing is performed on the identity data by using homomorphic encryption and differential privacy technologies, and cross-chain verification is performed by using a decryption key of homomorphic encryption and a private key of an asymmetric encryption algorithm, so that the security and transparency of the data are greatly improved.

The invention relates to a system and a method for verifying a current receiving module with an SPC in a chip, and the system comprises the steps: constructing a new verification system composed of an SPC controller, a current transmitting assembly, a to-be-tested design and two buf1 assemblies, and controlling a signal path between the SPC controller and a microcontroller, and a signal path between the current transmitting assembly and the microcontroller through the two buf1 assemblies, thereby achieving the verification of the current receiving module with the SPC in the chip. In the EDA verification stage, the current receiving module with the SPC function can be verified, so that the verification of the current receiving module with the SPC function does not need to be realized at a hardware level. Meanwhile, the verification technology can be well compatible with other existing whole chip verification platforms and a traditional tent receiving module verification platform, has good flexibility and reusability, and can greatly improve the verification efficiency.

The embodiment of the invention provides a login control method and device based on operation and maintenance, a bastion host, a system, a storage medium and a program product. The method is applied to a bastion host, and comprises the following steps: in response to a first login request sent by an operation and maintenance terminal, verifying the operation and maintenance terminal; wherein the first login request represents login of the bastion host; after it is determined that verification of the operation and maintenance terminal succeeds, a second login request is sent to the target server, and the second login request comprises account information of the target server corresponding to the operation and maintenance terminal; in response to first login response information sent by the target server, sending the first login response information to the operation and maintenance terminal; wherein the first login response information represents that the operation and maintenance terminal successfully logs in the target server. The method is used for achieving the effects of enhancing the safety and traceability of operation and maintenance operation and improving the efficiency and compliance of operation and maintenance management.

The invention provides an on-chip check circuit, a memory and a storage device.The on-chip check circuit comprises an encoder and a first error correction circuit, and the encoder generates a first check code in a write-in stage according to write-in data and a bit group represented by an error correction matrix and writes the first check code into a storage array; in a reading stage, generating a second check code according to the read data and the bit group represented by the error correction matrix, and generating an error correction code based on the read first check code and the generated second check code; the first error correction circuit receives the read data, performs single-bit error correction on the read data according to an error correction code output by the encoder and then outputs first error correction data; wherein the error correction matrix comprises an error correction code corresponding to each bit under each beat, and the error correction matrix meets the condition that the XOR result of the error correction codes corresponding to any multiple bits is not the same as the error correction code corresponding to any bit located in the same beat as one of the multiple bits. According to the scheme, data verification can be realized.

The invention discloses a method for realizing self-defined signature verification of a swan application program. The method comprises two stages of signature self-defining and signature verification. According to the method, a customized signature verification mechanism is realized for the HAP application package of the swan operating system, the generation, insertion and verification of the customized signature value and the additional value are realized, the official swan HAP package signature verification mechanism is not damaged, and the application installation package subjected to customized signature can still be installed and used on the swan operating system through the method. After signature operation of official developers is completed in the development stage of the swan application, a self-defined signature can be created through the method, and in the application installation stage, self-defined signature verification and additional value verification can be completed based on the method. The method can be used for source check and integrity check of the HAP application, meets customized safety requirements urgently needed by related industries, and fills the industry blank.

The invention discloses an electric power system relay protection automatic verification system and method, and the system comprises an electrical characteristic collection module which is used for obtaining key electrical data of an electric power system in real time; the data processing module is used for preprocessing the collected original data and extracting features beneficial to fault detection; the deep belief network model is used for judging whether the operation state of the power grid is abnormal or not according to the electrical data flow data of the power grid, and immediately judging the abnormal fault type if the abnormality is found; and the automatic point checking module is used for adjusting the operation parameters of the relay, matching the response of the relay with the actual power grid state, restoring the power grid to the normal operation state and generating the adjusted protection parameter configuration according to the fault type identification result. The reliability and safety of the power system can be remarkably improved, equipment damage or power interruption caused by improper setting of the relay is reduced, and the method is suitable for further popularization and application.

The invention relates to the technical field of micro-grid simulation, in particular to a micro-grid closed-loop cross validation simulation system, method, device and medium, and the system comprises a bottom layer data generation module, a topology automatic mapping module, a communication protocol module, a master station control module, an index evaluation module, a human-computer interface module and a historical section playback module. The system can simulate steady-state operation characteristics of different types of micro-grid elements, interaction with an external micro-grid energy management system can be realized based on the system, and a closed-loop cross validation test is realized through a master station simulation function of the system; based on the system, simulation of different characteristic resources can be realized, verification of different investment subjects and different user operation targets, micro-grid dynamic aggregation capability verification, distribution and micro cooperation verification and the like can be realized, meanwhile, based on the system, micro-grid group verification can be realized, and a test environment is provided for master station micro-grid group cooperation control.

The invention discloses a method for collecting and verifying gas generated by thermal runaway of a battery in a closed pressure container, which comprises the following steps of: 1, starting a power supply of an experimental device, debugging each component and trying to act, putting the battery with a clamp into the closed pressure container 1, and closing a cabin door of the container; step 2, vacuumizing the transformed large-volume closed pressure container 1 until the transformed large-volume closed pressure container 1 reaches a vacuum environment, then filling nitrogen, monitoring and recording the nitrogen concentration through a nitrogen concentration sensor 1-2, and inputting data into a control system 6; a plurality of nitrogen concentration sensors are arranged at a plurality of gas sampling ports of a closed pressure container, a nitrogen concentration sensor is arranged in a premixing cabin, and an ideal gas state equation, a gas homogenization calculation method and an automatic adjustment algorithm are integrated in a control system. By utilizing the flow rate adjusting function of the sampling pipeline and actually measured concentration data, the automatic detection, adjustment and verification of the uniformity degree of the thermal runaway mixed gas sample are realized.

The invention discloses an adapter card identification method and device, electronic equipment and a computer readable storage medium, the method and device are applied to a substrate management controller, the substrate management controller and a basic input and output system are both in communication connection with a preset storage medium, and the method comprises the steps that an adapter card physical link information table is traversed, and a target adapter card is determined; determining a target serial number corresponding to the target riser card in the riser card white list; determining a target storage medium channel corresponding to the target serial number in the riser card static information table; reading through the target storage medium channel to obtain a real serial number of the target riser card; if the real serial number is consistent with the target serial number, target static information corresponding to the target serial number in the riser card static information table is written into a preset storage medium to be read by the basic input and output system, and the target riser card is recognized by the basic input and output system. According to the technical scheme, the automatic identification of the adapter card by the basic input / output system in the server is realized through the baseboard management controller.

The invention discloses a nuclear power plant water supply tank sectional type magnetic turning plate liquid level meter verification device and method. The verification device comprises an auxiliary water supply tank, a sectional type magnetic turning plate liquid level meter, a first isolation valve assembly, a water supplementing pipeline, a second isolation valve assembly and a temporary liquid level meter. The sectional type magnetic turning plate liquid level meters are arranged on the side faces of the auxiliary water supply tank respectively and communicate with the auxiliary water supply tank. The first isolating valve assembly is arranged between the sectional type magnetic turning plate liquid level meter and the auxiliary water supply tank; the sectional type magnetic turning plate liquid level meter is communicated with the water replenishing pipeline; the second isolating valve assembly is arranged between the sectional type magnetic turning plate liquid level meter and the water replenishing pipeline; the temporary liquid level meter is communicated with the water supplementing pipeline, and the liquid level scale of the temporary liquid level meter corresponds to the liquid level scale of the sectional type magnetic turning plate liquid level meter. The auxiliary water supply tank does not need to be filled with water, the influence of water quality on the auxiliary water supply tank does not need to be considered, and test difficulty and cost are reduced.

The embodiment of the invention provides a chip verification device and method, electronic equipment and a storage medium, and relates to the technical field of chips, the device comprises an input component, an output component and a comparison component; the input component is used for acquiring a plurality of test messages and inputting the plurality of test messages into a circuit to be tested; the output component is used for generating feedback signals corresponding to the plurality of test messages according to a preset post-processing logic, inputting the feedback signals to the to-be-tested circuit, so that the to-be-tested circuit forwards the plurality of test messages according to the feedback signals, and inputting actual messages obtained after processing into the output component; the comparison component is used for collecting data information of messages to be discarded in the plurality of test messages in the process of processing the test messages by the circuit to be tested; eliminating messages to be discarded in the plurality of test messages by using the data information to obtain residual messages; and comparing the residual message with the actual message to obtain a first chip verification result. According to the scheme, chip verification in a packet loss scene can be realized.

With the rapid development of globalization and internet economy, the logistics industry faces double challenges of improving the transportation efficiency and reducing the operation cost. The invention provides a logistics path optimization system and method based on an artificial intelligence technology, and aims to realize intelligent planning and dynamic adjustment of a logistics transportation path through deep learning and an operation planning optimization algorithm. The system can collect and analyze multi-dimensional data in real time, including traffic conditions, weather information, cargo characteristics and the like, so as to calculate an optimal transportation scheme under various constraint conditions. In addition, the system has a real-time adjustment function, can quickly respond and optimize path selection according to latest traffic information and environment change, and ensures that goods are delivered to a destination on time and efficiently. According to the method, the timeliness and economy of logistics transportation are improved, and the environmental sustainability of the logistics industry is remarkably improved by reducing unnecessary driving mileage and energy consumption. The application of the system is expected to bring remarkable economic benefits to logistics enterprises and promote the technical progress and transformation and upgrading of the whole industry.

The invention relates to the technical field of intelligent manufacturing, in particular to a checking and rejecting device and method under the high-speed condition, and the device comprises a conveying belt, a code reading triggering photoelectric sensor, a depth camera, a code reader, a rejecting assembly, a rejecting detection photoelectric sensor, an encoder and a PLC. The accurate position of the bottle cap is obtained through the depth camera, and the code reader is controlled to be aligned with the bottle cap, so that the accuracy of two-dimensional code reading is ensured; the vibration sensor and the light sensor are introduced to detect the change of environment vibration and illumination intensity, and the sensitivity of the photoelectric sensor and the trigger delay of the rejecting device are dynamically adjusted through the PLC, so that high-precision two-dimensional code verification and accurate rejecting of unqualified products under a high-speed condition are realized, and the production efficiency and the product quality are remarkably improved.

The invention relates to a user permission control method and device, computer equipment, a computer readable storage medium and a computer program product. The method comprises the following steps: when a function access request for a page module sent by a user through a terminal is received, obtaining a user function role and a user data role according to a user identifier of the user; determining a user function permission of the user according to the user function role, issuing page data of the page module to the terminal when determining that the user has a function access permission to the page module according to the user function permission, and determining a user data permission of the user according to the user data role; and when a data access request triggered by the user on the page module through the terminal is received, processing the data access request according to the user data permission to obtain a data processing result, and feeding back the data processing result to the terminal. By adopting the method, the data security can be improved.

The invention provides a verifiable federated learning method supporting model pruning, which is a federated learning method supporting model pruning result verification on the basis of protecting user privacy and verifying model aggregation. According to the method, a zero-knowledge profs protocol is used, credible verification of the pruning process is achieved for the first time, and meanwhile any original information related to pruned parameters does not need to be provided. In addition, the invention concerns an edge training client with heterogeneous performance, allowing the user to autonomously select the required pruning rate and dynamically adjust the pruning rate in different rounds to adapt to its performance. By ingeniously combining the homomorphic Hash technology and the commitment scheme, the verification of the aggregation result is realized, and the privacy of the heterogeneous edge client is protected through the heterogeneous mask technology under the condition that the cloud server does not need to carry out additional calculation.

The invention discloses an FPGA comprehensive tool performance verification method and device and a readable storage medium, and the verification method comprises the steps: obtaining the ownership condition of resources in a test device, and obtaining a test case according to the ownership condition of the resources to obtain a test case set; based on the test cases in the test case set, performing at least one of the following verifications on the to-be-tested FPGA comprehensive tool on the test device: executing a comprehensive process on the test cases under different memory limitations to verify the running stability performance; executing a comprehensive process from different levels of the test case to verify resource optimization performance; executing a comprehensive process from different levels of the test case to verify time sequence processing performance; and executing a comprehensive process on the test case in different ways to verify the resource balance performance. According to the embodiment of the invention, the introduction of an additional FPGA comprehensive tool is avoided, so that the verification of the performance of the FPGA comprehensive tool is realized in a simple and quick manner.

This invention provides an automated assembly and tightening device for shaft-end nuts that is easy to verify, belonging to the field of industrial manufacturing technology. This invention achieves full automation of the nut assembly process by integrating components such as a base, conveying mechanism, nut supply device, assembly robotic arm, tightening mechanism, and verification system. Its core lies in employing a two-stage tightening control strategy, dividing the tightening process into preliminary tightening and reinforcement tightening stages. In the preliminary tightening stage, a low-speed, high-precision mode and dynamic damping control ensure correct thread engagement. The intermediate verification stage measures axial displacement values ​​to promptly detect anomalies. In the reinforcement tightening stage, a stepped torque-increasing algorithm ensures uniform stress distribution. Finally, multi-parameter comprehensive verification evaluates the tightening quality and generates a traceability code, effectively solving the quality instability problem caused by a single-stage tightening method for shaft-end nuts.

The invention discloses a laser radar calibration method, electronic equipment and a medium, and relates to the field of laser radar calibration. In the laser radar calibration device comprising a controller and a reflecting plate, a second position of a target point in a vehicle body coordinate system is determined according to the position of the target point in a laser radar coordinate system and current data (including position data and direction data), and then the position of the target point in the vehicle body coordinate system is calibrated according to the relation between the first position and the second position. The current data is adjusted according to the condition of the second position, and calibration of the laser radar is achieved; the internal and external parameters of the camera and the environment illumination condition do not need to be considered, the complexity of the calibration process is relatively reduced, the calibration efficiency of the laser radar is improved, and the calibration of the vehicle-mounted laser radar can be completed on a vehicle without the camera; moreover, the position condition of the target point on the reflector is analyzed, so that the position of the target point can be quickly and accurately identified according to the light intensity information, and the calibration efficiency is further improved.

The present invention relates to the field of data encryption technology, and discloses a data encryption method, decryption method and related devices, electronic equipment and media that are resistant to quantum decryption. The method includes: initializing a generator matrix and a check matrix using a preset maximum rank distance code; encrypting and storing stored data using the generator matrix, the check matrix and a preset encryption and decryption private key to obtain encrypted stored data; generating a storage check code according to the encryption and decryption private key and the encrypted stored data, decoding the storage check code using the check matrix to obtain a decoded codeword; performing data error correction on the decoded codeword using the generator matrix to obtain decrypted stored data. Through the encryption of the check matrix in the implementation of the present invention, the privacy protection of the original data set can be effectively realized, and the correction of the decrypted data can be realized through the generator matrix, thereby improving the security of data encryption storage.

The present application relates to a method, a computer system and a medium for optimizing an algorithm model to be verified, the method comprising: packaging the algorithm model to be verified as a companion file; generating a companion filter, wherein the companion filter can capture the companion feature value output by the companion file; combining the companion file and the companion filter into a companion task, and sending the companion task to a matching vehicle, wherein a functional task is installed in the vehicle, and the functional task is composed of a functional file and a functional filter, wherein the functional filter can capture the functional feature value output by the functional file; capturing the companion feature value output by the companion file and capturing the functional feature value output by the functional file; and comparing the captured companion feature value with the functional feature value, and evaluating and / or optimizing the algorithm model to be verified at least according to the result of the comparison. The present application verifies the algorithm model to be verified in a real road scene, thereby improving the verification effect of the algorithm model to be verified.

The present invention discloses a bus controller module verification method, system, program product, device and medium, relates to the field of embedded industrial control technology, and is used to realize the verification of module-level CAN bus controller. In view of the problems of traditional scheme verification and high learning cost, a bus controller module verification method is provided, which can directly capture the bus signal value from the CAN bus based on the CAN protocol and organize it into a complete data frame. Based on this, the transmission frame information sent by the sending node, the bus frame information captured from the CAN bus during the data frame transmission process, and the receiving frame information obtained from the receiving node can be determined by pre-configured parameters, and a three-party full match can be achieved, and the verification of two bus controller modules can be realized at the same time, and the verification accuracy is higher than that of the two-party verification. In addition, in this method, there is no need to use the VIP of the CAN bus controller, which greatly reduces the verification and learning costs.

The embodiment of the invention discloses a cross sorting machine and a trolley pitch detection method. According to one specific embodiment, the cross sorting machine comprises a first detection mechanism and a second detection mechanism which are fixed to a trolley guide rail in the using process, and the first detection mechanism comprises a distance measuring mechanism used for measuring the distance between the first detection mechanism and the second detection mechanism; if any one of the multiple sections of sorting trolleys passes through the first detection mechanism, the first detection mechanism is triggered, and if any one of the multiple sections of sorting trolleys passes through the second detection mechanism, the second detection mechanism is triggered. The implementation mode is related to intelligent equipment, and automatic detection of the pitch of the trolley is achieved.

The invention provides a safety path detection method of a motor system and a vehicle, and relates to the technical field of safety detection of the motor system.The method comprises the steps that under the condition that a voltage signal is applied between the first input end and the second input end of an inverter, a conduction signal is provided for the control end of an upper bridge arm switch in each bridge arm, a disconnection signal is provided for the control end of the lower bridge arm switch in each bridge arm; collecting the current flowing through the first end of each phase of winding in a first time period to obtain an N-phase first current value; and under the condition that each phase of first current value in the N phases of first current values is within a first current threshold range, determining that a first safety path of the motor system passes detection. The first safety path refers to that the upper bridge arm switch of each bridge arm is in an on state and the lower bridge arm switch of each bridge arm is in an off state. According to the invention, the accuracy of safe path detection can be improved.

The present application relates to the technical field of optical fiber fault diagnosis, and particularly relates to an optical fiber line fault diagnosis remote positioning control system, comprising an optical fiber line management center, a deployment collection module, a marking and association module, an anomaly verification module, a section division module, an interval positioning module and an execution control module; the present application is a full-process closed-loop mechanism through collection-preprocessing-fault identification-anomaly verification, uses a fault identification model to preliminarily determine a fault type, uses a weighted matching algorithm to accurately verify an anomaly detection point, effectively filters false positives caused by parameter fluctuations, greatly improves the accuracy and reliability of fault identification, avoids the waste of invalid maintenance costs, simultaneously realizes accurate landing from "interval positioning" to "point positioning" in single anomaly detection point and multiple anomaly detection point scenarios, and realizes dynamic adjustment and verification of a repair scheme by monitoring the parameter compliance in a real-time repair process, thereby improving the intelligent level of operation and maintenance.

This invention provides a method and system for constructing a negative obstacle risk map, relating to the field of robot environmental perception technology. The method includes: acquiring multimodal sensing data of a legged robot in the current operating environment to obtain the types of negative obstacles, multiple candidate regions, and the corresponding confidence and uncertainty of each candidate region; using a risk diffusion algorithm, performing ink blurring processing based on the type, confidence, and uncertainty to generate a continuous risk field corresponding to each candidate region; dividing the continuous risk field to generate a continuous risk gradient distribution corresponding to each candidate region; performing terrain modeling based on laser point clouds, updating the continuous risk gradient distribution using Bayesian fusion to obtain a multi-level grid map, and then performing tactile closed-loop correction on the multi-level grid map to generate a risk cost map. This invention improves the accuracy of constructing a negative obstacle risk map.

This invention discloses an automated settlement system for cross-regional power trading based on smart contracts. A feature recording module records multi-dimensional settlement characteristics of settlement data packets from power generation companies. A data preparation module, responding to the power generation company's need to send settlement data packets, generates a sending request based on the multi-dimensional settlement characteristics. A sending module processes the settlement data packets based on the sending request, encapsulating the access sequence number and key segment sequence number for synchronous transmission. A verification module verifies the settlement data packets, and the verified data packets are used to generate a trading contract through a contract trading module. Based on the trading contract, a transaction fund transfer instruction is generated. This invention automates the entire power trading settlement process, reconstructs the trust system for power trading settlement, and lays a solid foundation for building a new generation of transparent, intelligent, and efficient power market operation ecosystem.