98 results about "Network verification" patented technology

The invention relates to the technical field of quantum key distribution, and discloses a communication protocol security verification method based on quantum key distribution, which comprises the following steps of: establishing a quantum communication channel framework, loading protocol parameters to generate an initial security verification model, configuring a security state transition rule, and performing cross-layer data fusion in combination with quantum entity parameters; and obtaining a whole-process safety tracking model. And executing security path deduction through the model, generating a key exchange trajectory chain, constructing security trajectory simulation data, establishing a quantum conflict resolution mechanism, training and generating a security policy optimization model, and outputting security governance parameters. Security increment simulation information is generated based on security governance parameters and the like, a multi-target decision model is constructed in combination with protocol evolution constraint conditions, optimal security path parameters are adjusted and generated, a security verification strategy is verified and updated through a real-time quantum mapping network, and a whole-process security matching target is achieved. According to the method, the comprehensiveness, the accuracy and the dynamic adaptability of quantum communication protocol security verification are effectively improved.

The invention relates to the technical field of network security, and provides an APT attack traceability and path restoration method and system, attack path validity is verified through a dynamic causal element path generator in combination with an anti-factual adversarial network, and fine-grained entity modeling is realized through a hierarchical multi-modal entity inference system. A causal attention mechanism is optimized to improve association analysis precision, a federal incremental learning framework is constructed to realize dynamic updating and privacy protection, and the problems of poor rule adaptability, coarse granularity of entity modeling, insufficient causal association distinguishing and low calculation efficiency in the traditional technology are effectively solved. The method has the technical effects of dynamically generating an effective attack path, improving attack traceability accuracy, reducing calculation overhead and enhancing privacy protection.

The invention discloses a remote monitoring method and system for ultrasonic control and measurement equipment, and relates to the related technical field of pipe network monitoring, and the method comprises the steps: carrying out the layout of the control and measurement equipment according to the historical fault record of a fluid conveying pipeline network, and obtaining K pieces of ultrasonic control and measurement equipment of K pipe network monitoring sites; k edge monitoring nodes are configured; edge node positioning is carried out, and a real-time risk node and real-time association node combination is output; performing data backtracking analysis, and outputting node pipe network check data; and the remote risk type of the real-time risk node is output by comparing the node pipe network verification data with the node pipe network actual measurement data. The technical problems that in the prior art, due to the fact that early warning triggered by pipe network faults or ultrasonic control and measurement equipment faults is difficult to distinguish, the pipe network monitoring reliability and risk monitoring efficiency are not high, and the fault early warning accuracy is poor are solved, and bidirectional monitoring of the equipment and the pipe network is achieved; and the pipe network risk monitoring efficiency, reliability and early warning accuracy are improved.

The invention relates to the technical field of archive management, and discloses an archive life cycle full-process digital supervision method, which comprises the following steps: constructing an archive digital twinborn framework, loading a metadata standard, and generating an initial holographic archive mapping model; a life cycle state transition rule is configured, and a whole-process dynamic tracking model is obtained by combining entity associated parameter fusion data; executing compliance deduction to generate a trajectory chain and simulation data; a metadata conflict resolution mechanism is established, a supervision strategy optimization model is trained and generated, and governance parameters including entity association degree weights and the like are output; generating file increment simulation information; constructing a multi-target decision model to iteratively adjust the supervision framework to obtain an optimal supervision path parameter; and verifying and updating the supervision strategy through the real-time holographic mapping network. According to the method, full-process dynamic supervision of archives is realized, and the management efficiency and the intelligent level are improved.

The invention provides a remote sensing large language model precision improvement method and device based on a subdivision database and human feedback and electronic equipment, and relates to the technical field of remote sensing image large language models. According to the method, an initial remote sensing large language model is constructed, a preprocessing layer, an auditing layer and a feedback optimization layer are added in the initial remote sensing large language model, specifically, multi-source remote sensing image data and a natural language instruction are processed in the preprocessing layer, a subdivision database is constructed, and the problem that most text descriptions are coarse-grained and global scene descriptions is solved; the method solves the problem that specific ground object targets, fine attributes, spatial relationships and professional connotations in images are not accurately labeled in the prior art, and realizes a fine data system. The accuracy of the reasoning result obtained by the reasoning layer is verified through a pre-constructed scene professional sub-network in the auditing layer, if the verification is passed, the verified reasoning result is provided for the output layer, and the output layer outputs the verified reasoning result, so that the specialty, pertinence and safety of the output are improved.

The disclosure pertains to methods and apparatus for network verification of a Wireless Transmit / Receive Unit (WTRU)'s geographic location upon initial access of the WTRU to the network. For example, the WTRU is configured to receive configuration information indicating a first set of resources for initial access transmissions and a second set of resources for sounding reference signal for positioning (SRSp) transmissions; transmit a first initial access transmission comprising a random access preamble associated with the first set of resources and first information indicating one or more resources from the second set of resources; transmit a first SRSp transmission using the one or more resources from the second set of resources; receive a second initial access transmission comprising second information indicating a first status for the first initial access transmission and a second status for the first SRSp transmission; and transmit, based on the second information, an uplink transmission.

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.

Multicast and broadcast services (MBS) content data in non-terrestrial networks may be received as a function of whether device location fulfills access conditions and / or the validity of a service area. A device may receive radio network identifiers (RNTIs) with a validity period to decode MBS session data. The RNTIs provided may be a function of cell movement, device location, and / or MBS session area. A device may be configured to receive a list of MBS session IDs. The device may obtain the device's location information. The device may identify one or more valid MBS service areas. The device may transmit information for a network to verify satisfaction of one or more access conditions. The device may receive one or more radio network temporary identifiers (RNTIs) that may be associated with periods of validity. The device may use the RNTIs to decode the MBS data.

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.

The present disclosure provides a multi-administrative domain network verification method, comprising: converting router configuration files of respective application servers into input formats determined by a secure multi-party computation protocol to ensure compatibility between the respective application servers; performing simulation processing on the router configuration files meeting the input formats to enable the multi-administrative domain network to generate a secret data plane after convergence; and performing data plane verification on the secret data plane to obtain verification results about respective attributes of the multi-administrative domain network. The present disclosure also provides a multi-administrative domain network verification system.

Disclosed are various embodiments for offline decentralized identity-based communications between software applications. In one non-limiting example, a system can include a computing device that is configured to detect a network connection loss to a network and receive, via a local area network, a request for an action to be performed by a client device. The request includes a first digital signature of the client device and is associated with a decentralized identifier. The computing device is configured to generate a mutually signed request that includes a second digital signature executed by the computing device and the first digital signature. The mutually signed request is transmitted to the client device. A network connection to the network is detected. The decentralized identifier is validated using the network. The requested action is performed by the computing device based at least in part on the validation of the decentralized identifier.

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 a personnel health abnormity monitoring method, which comprises the following steps of: 1, dividing a day into six key life stage time periods, detecting the existence state of a check-in person at a time interval of 5 minutes, recording the existence state as 1, recording the absence state as 0, and counting the sum of the existence values in each time period; 2, carrying out standardization processing on existing values of all time periods, carrying out hierarchical clustering by adopting a Ward minimum variance method, and iteratively merging clusters until six typical life modes are generated; 3, constructing a deep feedforward neural network, and verifying the physiological rationality of a clustering result; and 4, estimating the change of the health condition according to the change trend of the life mode, and eliminating invalid data in combination with an empty room mark to realize health anomaly detection. And dynamic monitoring and anomaly detection of the health condition are realized by analyzing the life behavior mode of the facility check-in and combining a clustering algorithm and neural network verification. The invention further provides a system corresponding to the method.

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.

Methods and systems for partially or fully distributed network verification are described. In partially distributed network verification, each network device generates a respective device-level binary decision diagram (BDD) representing the logical behavior of the respective network device for a network property of interest. The device-level BDDs from each network device are received by a verification service that performs verification by generating an input BDD representing an input header space, and applies each device-level BDD in a logical path from a source device to a destination device, and reports the output BDD. In fully distributed network verification, each network device is responsible for calculating a device-specific output BDD by applying a device-specific BDD, which represents the logical behavior of the network device, to a device-specific input BDD.

A method for acquiring a location of a terminal is performed by a core network element, and the method includes: initiating a positioning procedure to acquire the location of the terminal, in which the terminal performs satellite access via a base station. The initiating the positioning procedure to acquire the location of the terminal includes: sending first request information to a location management function. The first request information is configured to request first location information of the terminal, the first request information indicates a location request, and the location request includes at least one of: the first location information being location information verified by a network; or the first location information being location information obtained based on a reliable positioning method.

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 application discloses a multi-channel communication method, device and equipment in network on chip (NOC) verification. The method comprises the following steps: establishing independent sub-channel credit plates between master nodes and slave nodes in the NOC; determining the channel type between the master nodes and the slave nodes when performing the NOC verification, wherein the channel type comprises a request channel or a response channel; and communicating between the master nodes and the slave nodes by using the sub-channel credit plates according to the channel type. By establishing independent sub-channel credit plates between the master nodes and the slave nodes in the NOC, the master nodes and the slave nodes can communicate based on the independent sub-channel credit plates, so that the determinacy of the transmission sequence between the master nodes and the slave nodes can be ensured without adding detection devices, thereby reducing the complexity of the verification environment and improving the execution efficiency of the verification environment.

Systems and methods for providing network validations for cloud-based network architectures are described herein. For example, the system may receive a network requirement for a first cloud-based network architecture. The system may receive a first network action that corresponds to the network requirement when facilitated by the first cloud-based network architecture. The system may process the first network action through the first cloud-based network architecture. The system may receive a first indicium of security components used to process the first network action through the first cloud-based network architecture. The system may compare the first indicium to a known indicium for processing the first network action through an approved cloud-based network architecture. The system may generate a first network validation based on comparing the first indicium to the known indicium.

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.

The invention relates to the technical field of operation and maintenance of communication operators, in particular to a method and system for complementing a positioning rule based on large model reasoning ability, and the method comprises the following steps: fault feature and tool preparation, cue word framework construction, thinking process generation and expert auditing, rule generation and current network verification, and feedback optimization mechanism. The method has the beneficial effects that by virtue of the reasoning capability of the Deepseek large model, the rule data of fault diagnosis is generated by continuously adjusting the input conditions such as the fault feature library and the fault diagnosis tool. Supplementing or perfecting a current network fault positioning rule; the problems of high expert dependency, insufficient rule credibility, difficulty in verification and the like in a traditional rule are solved, the time investment of experts is reduced, and the existing rule is perfected; an efficient, credible and iterable fault positioning mechanism is realized, and the intelligent level of network operation and maintenance is improved.