43 results about "Network verification" patented technology

The invention discloses a dual-mode control switching method for unattended reconstruction of a rotary drilling rig, and particularly relates to the technical field of mechanical equipment mode switching, and the method specifically comprises the steps of S1, switching request triggering and instruction freezing, S2, full-state snapshot generation and synchronization, S3, three-level progressive arbitration decision, and S4, dual-factor verification and switching execution. And S5, network fluctuation fault tolerance. According to the invention, through overall planning of the vehicle-mounted controller, after a switching request is received, an instruction is frozen, full-state snapshots including sensor data, operation links, equipment health and environment data are synchronized, and switching is completed through three-level arbitration including safety state judgment, authority network verification and target end confirmation and then double-factor recheck. Safe seamless switching between a remote mode and a local mode can be achieved, the situations of instruction conflicts and information faults are avoided, the operation efficiency is improved, fault-tolerant processing is carried out on scenes such as network fluctuation and emergency takeover, and the reliability and safety of unattended operation are further improved.

The invention provides an electric power project data logic exception correction method and device, equipment and a storage medium, and the method comprises the steps: constructing a data logic verification network based on an association rule mining algorithm, so as to express a constraint relation between fields; non-zero dependence of the data record is verified through a constraint propagation mechanism, and a logic anomaly result is generated when constraint violation is detected; triggering automatic correction: obtaining similar normal cases from the historical knowledge base to generate a correction scheme, and applying the correction scheme to the abnormal field to obtain a modified record; and performing secondary verification to ensure that the correction is effective. According to the method and the device, through construction of the verification network, verification dependence, automatic correction and secondary verification, rapid, accurate and dynamic correction of logic anomalies is realized, and the defects of low manual correction efficiency and lack of verification are overcome.

The invention relates to the technical field of vehicles, and provides a vehicle-mounted terminal network equipment post-replacement management method and device, and the method comprises the steps: carrying out the network access verification of old piece equipment based on a preset first white list and a logic network address carried in a request under the condition that a network connection request of the old piece equipment is received, the first white list stores logic network addresses of offline old pieces; and under the condition that the network verification result indicates that the old piece equipment is allowed to access the in-vehicle domain network, vehicle binding relationship verification is performed on the old piece equipment based on a preset second white list, the equipment identification code of the old piece equipment and the change condition of the vehicle identification code bound with the old piece equipment, and the equipment identification code of the offline old piece is stored in the second white list. According to the method and the device provided by the invention, a traditional mode which completely depends on manual recording, judgment and operation is replaced, so that human errors are reduced, and accurate and automatic management of the life cycle state of the equipment is realized.

A system and a method are disclosed for verifying reported measurements for UE location. A method of network verified UE location includes configuring, by a network device, a base station with a first resource for transmitting a PRS to a UE at a time t1; configuring, by the network device, the UE with a second resource for transmitting an SRS to the base station at a time t3; receiving, by the network device, from the base station, a value for t1 and a value for t4, wherein the base station is configured to receive the SRS from the UE at a time t4; receiving, by the network device, from the UE, a value for t2 and a value for t3, wherein the UE is configured to receive the PRS from the base station at a time t2; and verifying, by the network device, the values for t2 and t3 received from the UE, based the received values for t1, t2, t3, and t4.

This disclosure presents a system and method for automating the monitoring, reporting, and verification (MRV) of sustainability projects. The system includes a mobile application for users to submit data and images, which are transmitted to a cloud-based storage system. Metadata from the images is extracted and validated against predefined coordinates. A computer vision algorithm evaluates the images, and results are stored in a cloud-based database. The system further includes a secondary verification module using remotely sensed imagery. This automated and distributed approach reduces the cost, complexity, and time of MRV processes, enhancing transparency, reliability, and accuracy. The method supports scalability across diverse sustainability projects, including regenerative agriculture, biodiversity, and greenhouse gas reduction, by leveraging integrated data collection, automated analysis, and distributed network validation.

The invention provides an object-oriented network-on-chip verification environment construction method and a verification system. According to the method, class template parameterization configuration is adopted, the types and the number of Agents and Scoeboard are managed in a unified mode through template parameters, and rapid adaptation of the verification environment is achieved. According to the method, a dynamic data stream comparison path technology is adopted, and the problem of multi-channel data confusion is solved through corresponding connection of the Agent and the FIFO, so that the comparison accuracy is improved. In addition, a reinforcement learning dynamic scene generation technology is adopted, manual scene pre-definition is replaced, the scene is optimized in real time based on the coverage rate and the data flow state, and the dynamic scene coverage degree is improved. According to the method, the object-oriented class template mechanism and the reinforcement learning technology are fused and applied to NoC verification environment construction, and parameterized and intelligent construction of the verification environment is realized.

The invention provides a network verification method and device, electronic equipment and a storage medium, and the method comprises the steps: determining a node type for verifying a target network and a plurality of verification units corresponding to the target network according to the access layer bandwidth of the target network and / or the credibility requirement of a current verification task, and then carrying out the verification of the target network in the plurality of verification units, selecting one verification unit with the verification duration smaller than a duration threshold value as a target verification unit, obtaining node information and track information corresponding to the target verification unit, and then determining a verification result of a track point at the previous moment based on tracks between every two different moments in the node information and the track information, and under the condition that the verification duration of the track information reaches the duration threshold, determining the verification result obtained in the verification duration as the verification result of the target verification unit, and re-determining the target verification unit until the verification durations of all the verification units reach the duration threshold, thereby obtaining the verification result of the target network. Therefore, verification of the sensing result of the base station is realized.

The invention relates to the technical field of high-precision positioning, in particular to a single-Beidou differential data acquisition and wireless transmission system, which comprises a system initialization module, a single-Beidou differential data acquisition module and a wireless transmission module, the single Beidou differential positioning module is used for configuring operation parameters of the main controller, outputting differential data in a preset format by the single Beidou differential positioning module, communication parameters of the wireless communication module and a fault monitoring and resetting function of the watchdog module; the differential data acquisition module is used for starting the single Beidou differential positioning module to generate differential data, and enabling the main controller to receive the differential data in an interrupt driving mode and store the differential data in an annular buffer area in real time; and the communication connection establishment module is used for executing hardware inspection, network verification and parameter configuration through the wireless communication module. According to the GNSS differential data transmission system and method, the data transmission connection state and the sending result are monitored through the connection monitoring and reconnection module, and therefore the problem that due to the fact that most of traditional GNSS differential data transmission systems adopt a simple connection retry or low-efficiency data receiving mode, differential data are lost is solved.

The application discloses a kind of high efficiency and privacy protection asynchronous payment method based on block chain, belong to the field of block chain privacy protection technology.This method supports the case where multiple transactions are generated in the system to protect user privacy.The signature of all transactions of the user is aggregated into a single aggregate signature for aggregate verification.This method extends the single verification of locally verifiable signature to subset verification.Later, without knowing all user transactions, the subset of transactions that need to be delayed can be decompressed from this aggregate signature.The method deploys a server to provide a time key so that the delayed payment service provider can only rewrite the on-chain transaction at a specific point in time.Follow-up changes to the transaction through the trapdoor of chameleon hashing only require node network verification, saving time and arithmetic capability compared to generating a new transaction.The method has practical security features and more acceptable efficiency in terms of computational complexity and communication overhead.

The application provides a network-level disaster recovery exercise method and device, electronic equipment and medium. A target node and a primary center and a backup center establish a wireless backup network connection in a multi-domain name manner. The backup wireless network connection is in a long-living mode. The domain name priority of the primary center is higher than that of the backup center. The method comprises the following steps: in response to a disaster recovery exercise request, disconnecting the wireless backup network connection; in response to first terminal connection information of the primary center, verifying whether the target node successfully accesses the wireless backup network based on the domain name of the primary center. If not, obtaining second terminal connection information of the backup center; and verifying whether the target node successfully accesses the backup network based on the domain name of the backup center based on the second terminal connection information. Through the above method, the application can effectively solve the problems of complex network disaster recovery exercise process, high cost and influence on normal business operation, and improve the effectiveness of the disaster recovery network verification process.

ROAX is a universal healthcare system build on top of blockchain technology, a platform designed to empower both doctors and patients by providing a secure, compliant, and privacy- preserving system for storing verifiable proofs and signatures of medical records. Utilizing blockchain technology, ROAX ensures the integrity, security, and interoperability of medical data, transferring data ownership directly to the record owner. For the first time, the platform incentivizes doctors to collaborate, fostering a cooperative medical ecosystem. By decentralizing verifiable data, ROAX significantly enhances data security, protecting against breaches and unauthorized alterations. This immutable and verifiable record system not only safe-guards patient information but also assures the credibility of medical records. ROAX introduces a universal interoperable framework, the idea was inspired from the end-to- end encryption from WhatsApp and incorporates blockchain technologies as well as recent trends of cryptography to complete an entire infrastructure that can facilitate the development of Decentralized Medical (DeMed) applications, thereby broadening the scope and accessibility of healthcare services. The platform supports a new economy for medical data and insurance, promoting efficient data availability and utilization across the medical industry. A medical entity / doctor would carry out its usual creation of medical record to a centralised database. After which he will also generate a proof / signature and submit it it as a transaction onto the blockchain. Validators of the network verify the transaction. Anyone that holds the raw medical records can now verify the data on-chain. Authorised individual with the medical record can share the medical records via a data availability layer encrypted through the receiver's public key. And the intended receiver could decrypt it via their own private key. In the previous step, the medical entity communicates with the patient's hardware device via an end to end encryption communication.

The invention relates to a one-to-one authorization and access control system and a one-to-one authorization and access control method for an information transmission terminal. The system comprises an equipment fingerprint management module and a license generation amp at an intranet side; a signature module; an external network side license receiving module, a license analysis and verification module and a system start amp; an authority control module and an equipment fingerprint acquisition module; and a unidirectional transmission link; the license generates an amp (amp); the signature module is used for generating a bound license file according to a device fingerprint; the equipment fingerprint acquisition module is used for acquiring hardware information of the terminal equipment and calculating the hardware information when the terminal equipment is started every time, so as to obtain a real-time equipment fingerprint; the license analysis and verification module is used for reading the license file and the real-time device fingerprint and executing verification; starting the amp by the system; and the authority control module executes authorization and access control according to the verification result. The problem that traditional authorization depends on bidirectional network verification is solved.

The invention relates to a Web application dynamic secret key encryption method based on SM3 and SM4, and relates to the technical field of data security. According to the method, a dynamic symmetric secret key is cooperatively generated at a front end and a rear end, a secret key seed is generated by utilizing an SM3 Hash algorithm, and sensitive data is encrypted and transmitted by combining an SM4 symmetric encryption algorithm, so that the secret key is not hard-coded and not transmitted; the session key is dynamically changed each time, the algorithm support can be completely localized, the encryption and decryption process is simple and efficient, a complicated certificate system or public key infrastructure is not needed, the front and rear ends only need to synchronize the key generation rule, and the method is suitable for an offline or weak network environment, does not depend on real-time network verification, and is easy to implement. The method can be used for offline or weak network environments such as an intranet and a government affair private network, and can effectively prevent historical data from being replayed by introducing factors such as dates and timestamps, so that sensitive data is effectively prevented from being stolen or tampered in the transmission process, and the overall security protection capability of Web application is improved.

This invention discloses an automatic verification method for connectivity relationships in low-delay networks based on topology analysis, belonging to the field of industrial communication network verification technology. Addressing the problem in networks with a unified time base and constrained by a periodic transmission mechanism, where multiple target branches share uplink transmission resources after a preset branch point, continuous time difference results are difficult to stably map to branch connectivity conclusions. The method first groups and sorts the target branches and their return paths, identifying sensitive tail branches and preceding branches to form a boundary compression control basis. Then, it loads additional transmission occupancy, limited by boundary constraints, onto the verification messages corresponding to the preceding branches, compressing the sensitive tail branches to near the transmission period boundary. Finally, it outputs the connectivity verification result based on whether the transmission period boundary is crossed. This method can transform structural differences that are not easily manifested into discrete discriminative states, improving the consistency and interpretability of the verification results.

This invention provides an on-chip network verification method and device based on credit backpressure, belonging to the field of chip verification technology. This invention avoids the setup time violation risk of traditional rising-edge sampling by synchronously sampling the credit signal and the valid data signal on the falling edge of the clock, and can stably capture the signal state within the same clock cycle, solving the sampling deviation problem in scenarios where data transmission and credit return occur simultaneously. By combining the states of the two signals to determine the counter update method, it fully covers all signal combination scenarios, ensuring that the credit update logic completely matches the actual hardware behavior. Through credit overflow and underflow boundary checks before the update, it intercepts the risk of counting anomalies in advance. Simultaneously, it configures an independent credit counter for each virtual channel to avoid inter-channel interference, and performs flow control verification based on accurate credit counters, solving the problems of unreliable verification results and low scenario coverage caused by inaccurate counting.

Disclosed are various embodiments for minimizing hallucination-based responses by verifying or otherwise identifying one or more accurate responses generated by multiple large language model (LLM) service providers to a prompt through the use of a decentralized network. LLM service providers can be part of a decentralized network that allows multiple LLM service providers to receive a prompt. Each LLM service provider in the network can generate a response to the prompt by applying the prompt to one or more LLM models associated with the LLM service. Once a response has been formulated, the LLM service provider can transmit the response in a decentralized data storage for storage. In various examples, a threshold number of stored responses can be compared to one other to determine a level of similarity between responses and to identify any response that may correspond to a hallucination and, therefore, an inaccurate response.

The invention provides a training method of a network-on-chip verification model, a network-on-chip verification method and device, electronic equipment and a readable storage medium, and relates to the technical field of network-on-chip, and the method comprises the steps: obtaining a design file sample of a network-on-chip sample; inputting the design file sample into a simulator to obtain a waveform file sample output by the simulator; the waveform file sample is used for representing a simulation result of the on-chip network sample; according to the waveform file sample, state information of the on-chip network sample is obtained, and the state information is used for representing that the on-chip network is normal or has a fault; and training the network-on-chip verification model by taking the waveform file sample as a training sample and taking the state information as a label to obtain a trained network-on-chip verification model. According to the network-on-chip verification method and device, the network-on-chip verification model capable of automatically and accurately verifying the network-on-chip according to the waveform file obtained through network-on-chip simulation can be obtained.

The invention belongs to the technical field of redundant network verification, and particularly relates to a redundant network verification method fusing frame type dynamic mapping and adaptive optimization, which comprises the following steps: acquiring input combined frames, and judging whether the frame types of the input combined frames are the same or not; detecting whether the input combined frame has an error frame or not; when the frame types of the input combined frames are the same and error frames do not exist, the input combined frames enter a preset first mapping table for verification logic selection, and table items of the first mapping table are updated; otherwise, the input combined frame enters a preset second mapping table for verification logic selection, and table items of the second mapping table are updated; the first mapping table and the second mapping table are used for mapping the frame type and the function algorithm needing to be verified. By presetting mapping tables for different combination conditions, different frame type combinations and verification algorithms are in one-to-one correspondence, the complexity of search and update operation is low, and the method has high flexibility and expandability.

The invention provides an active sampling and constrained reinforcement learning edge collaboration method, and relates to the field of data processing. Modeling and sparse coding are carried out through sampling and event data collected by edge computing nodes, compressed coding data are generated, and transmission is optimized through a self-adaptive data flow scheduling algorithm. And verifying the authenticity of the data by utilizing a generative adversarial network, and optimizing an equipment scheduling scheme by adopting reinforcement learning according to a verification result. And summarizing the local models of the edge nodes through federal learning to generate a global model, and protecting data privacy by applying a differential privacy technology. And finally, based on the privacy protection model, in combination with meta-learning and online convex optimization technologies, executing an equipment scheduling scheme, generating an edge collaboration strategy, and optimizing carbon emission control and energy utilization efficiency of the green park. By implementing the technical scheme, the equipment can cooperate with each other through an intelligent technology, and the operation strategy is dynamically adjusted, so that the overall efficiency of the park system is improved.

The present application relates to a one-to-one authorization and access control system and method for information transmission terminal, the system comprising: a device fingerprint management module, a license generation & signature module on the intranet side; a license receiving module, a license analysis and verification module, a system startup & permission control module and a device fingerprint acquisition module on the extranet side; and a one-way transmission link; the license generation & signature module generates a bound license file according to the device fingerprint; the device fingerprint acquisition module acquires the hardware information of the terminal device and calculates it to obtain a real-time device fingerprint every time the terminal device starts; the license analysis and verification module reads the license file and the real-time device fingerprint and performs a check; and the system startup & permission control module performs authorization and access control according to the check result. The present application solves the problem of traditional authorization relying on two-way network verification.

The application discloses a network verification method and device, equipment, a storage medium and a program product. The method comprises the following steps: determining an abstract network element model based on an abstract network element function; wherein the abstract network element model is a network forwarding plane network element model; performing task arrangement based on a network verification task to obtain a reachable matrix; and performing network verification on the reachable matrix based on an instance of the abstract network element model to obtain a reachable path.

The invention relates to a network verification method and system based on digital twinning, electronic equipment and a storage medium. The method comprises the following steps: collecting network data of a physical network; preprocessing the network data, and constructing a data service management platform including standardized atomic power according to the preprocessed network data; mapping data in the constructed data service management platform with a physical network, and constructing a twin network, so that the twin network has a structure and functions similar to those of the physical network; and calling a preset service logic algorithm to re-execute whole network routing convergence calculation on the twin network to obtain new network topology, routing and flow distribution data, and presenting a network comparison result before and after re-convergence calculation through a front-end visual interface. A twin network similar to a physical network is constructed through a digital twin technology, the network is verified and tested in a virtual environment, and misoperation and potential risks caused by direct manual operation are avoided.

This application discloses a method, apparatus, and medium for executing extended discontinuous reception parameters for network verification, relating to the field of communication technology. A terminal device acquires satellite ephemeris data, its own geographical location, and service characteristic information; calculates the satellite visibility time window sequence and orbit revisit period; determines the target extended discontinuous reception configuration parameters; and sends a non-access stratum request message carrying the geographical location, target parameters, and satellite orbit identifier. The core network acquires corresponding satellite constellation coverage planning data, performs orbit matching verification and validity judgment on the request parameters, and generates a feedback adjustment confirmation message. The terminal executes the extended discontinuous reception operation based on the effective parameters in the confirmation message. This application achieves parameter adaptation to satellite orbits and service characteristics, improves parameter validity, reduces terminal power consumption, and ensures communication reliability.

The application discloses a scheduling method of a cleaning robot and a computer readable storage medium, and relates to the field of cleaning robots, which comprises the following steps: encapsulating the cleaning task of each grid unit as a smart contract and publishing the smart contract to a blockchain network; each cleaning robot accessing the blockchain network responds to the smart contract, acquires local environment information of a target grid unit and self state information, and makes a bid based on the self state information, the local environment information and pheromone concentration perceived from the target grid unit; the blockchain network determines a target cleaning robot that wins the bid based on a preset consensus rule; the target cleaning robot executes the cleaning task and releases pheromones in the target grid unit during the execution of the task; and the blockchain network verifies the execution state of the cleaning task of the target grid unit, and after verification, the task reward is distributed to the virtual account of the target cleaning robot through the smart contract. The application can realize dynamic, credible and efficient distributed cleaning task scheduling.

The application provides an object-oriented network-on-chip verification environment construction method and a verification system. The application adopts class template parameterization configuration, uniformly manages the types and quantities of Agents and Scoreboards through template parameters, and realizes rapid adaptation of the verification environment. The application adopts a dynamic data flow comparison path technology, solves the multi-channel data confusion problem through the corresponding connection of Agents and FIFOs, and improves the comparison accuracy. The application also adopts a reinforcement learning dynamic scene generation technology to replace artificial pre-defined scenes, optimizes scenes in real time based on coverage and data flow state, and improves the dynamic scene coverage. The application applies the object-oriented class template mechanism and the reinforcement learning technology to the construction of the NoC verification environment, realizes the parameterization and intelligent construction of the verification environment.

The invention belongs to the technical field of intelligent household appliances, and particularly relates to a network distribution method, device and system for intelligent household appliances. According to the method, the intelligent household electrical appliance comprises a first NFC module, and the first NFC module is used for performing near field communication with the terminal equipment. According to the method, when near field communication with a terminal device is determined to be established and network distribution information sent by the terminal device is received through a first NFC module, a network distribution mode is entered, and network distribution processing is performed on the intelligent household electrical appliance according to a first network identifier in the network distribution information and corresponding network verification information. Therefore, the operation of selecting the intelligent household electrical appliance needing network distribution by the user and the process of waiting for the intelligent household electrical appliance to enter the network distribution mode are avoided, so that the network distribution process is simplified, and the network distribution efficiency of the intelligent household electrical appliance is improved.

The invention relates to the field of intelligent data processing, and particularly discloses a cross-border trade data processing method and system based on an intelligent port, and the method comprises the steps: processing original data in a local trusted execution environment of each port node, and generating a privacy protection feature vector, generating a verifiable voucher for verifying the calculation compliance by using zero-knowledge proof; verifying the voucher through a distributed consensus network, and fusing each node feature vector by adopting secure multi-party calculation to generate a cross-domain joint feature; the features are input into a decentralized agent network for asynchronous negotiation, and a collaborative risk research and judgment report is output; each node finally optimizes a local model under differential privacy protection according to report feedback; the system comprises four corresponding modules. According to the method, credible collaboration and deep risk insight on the premise that the original data is not out of the domain are realized, and continuous autonomous evolution of the system is guaranteed.

The invention relates to the technical field of data processing, in particular to a test link management method based on automatic verification and version control, which comprises the following steps: acquiring test link configuration data and historical version data, and converting the test link configuration data and the historical version data into a dynamic graph structure defining time sequence constraints; using a quantum annealing machine to verify action sequence time sequence conformity to generate information of nodes violating time sequence constraint, using a graph attention network to verify a node mutual exclusion relation to generate mutual exclusion conflict information, using a quantum gate circuit to verify interface parameters to generate parameter difference information, and summarizing to generate a verification result; generating a version snapshot based on the verification information; establishing a digital twinborn model according to the version snapshot and inputting real-time operation data; and predicting a cascading failure path after quantum filtering and denoising, dynamically adjusting a time sequence constraint threshold value, and updating a graph structure weight to generate an optimized dynamic graph structure. Through unified semantic expression of a dynamic graph, mixed verification coverage of a multi-dimensional dependency relationship and a digital twin closed-loop optimization mechanism, the problem of incomplete verification of the dependency relationship of a complex system is solved.

The present application relates to a kind of neural network verification methods based on error divide and conquer, the strict approximation function of network node in given input range is given using improved symbolic linear relaxation calculation, and using the error constraint segmentation strategy of over-approximation node divides the original verification problem into equivalent series of sub-problems, and the safety property of entire neural network is verified by carrying out complete verification to series of sub-problems.Through the method of the present application, the state space in neural network verification process is effectively reduced, the safety property verification and evaluation of neural network can be efficiently carried out, and the scalability of neural network trusted verification method can be improved.

Methods and systems for network verification are described. An input binary decision diagram (BDD) is defined to represent an input header space for querying a network property of interest. The input BDD is provided as input to a device-level BDD representing a source device in a logical topology representing connections between devices in the network. Each device in the network is represented by a respective device-level BDD in the logical topology. An output BDD is computed, the output BDD representing an output header space output by a destination device in the logical topology. The output BDD is computed by sequentially applying each device-level BDD in a logical path from the source device to the destination device to the input BDD. The output BDD is then reported and the reported output BDD is compared to an expected output BDD to verify the network property of interest.