6results about How to "Verify correctness" patented technology

This invention discloses a ground-based experimental system and method for onboard autonomous maneuvering mission planning. It utilizes a ground-based telemetry, tracking, and command (TT&C) simulation module to manage TT&C resource constraints, satellite-ground status, and mission requirements based on the test scenario. An onboard computer equivalent module performs autonomous mission planning based on mission instructions generated by the ground-based TT&C simulation module, generating control commands or mission execution sequences. A spacecraft dynamics simulation module determines the satellite's orbit, attitude, and visibility based on the control commands. A space environment simulation module generates sensor simulation data based on the orbit and attitude. A navigation sensor simulation module initiates or terminates the mission based on control commands and generates measurement data based on the sensor simulation data, sending it to the onboard computer equivalent module. A payload execution simulation module simulates the payload's operation process based on the mission execution sequence. This allows for the simulation and comprehensive verification of the entire mission planning algorithm, from mission injection to execution feedback.

This invention provides a stable transmission method, system, and medium for high-concurrency industrial data streams, relating to the field of data transmission technology. The method includes: dynamically grouping industrial field devices to obtain multiple groups of edge autonomous devices, constructing multiple local self-organizing cell network topologies; forming a globally optimized topology based on inter-group logical coupling relationships; performing distributed collaborative verification to obtain multiple valid data streams; performing cross-cell network data association verification to obtain W verified compliant data packets; after time-series packet encoding, reassembling them into an asynchronous transmission channel sequence according to deterministic transmission delay requirements, transmitting them to a central computing platform, and then performing time-series packet decoding, restoration, and storage. This invention solves the technical problem in existing technologies where industrial data transmission typically employs a centralized architecture, which easily creates bottlenecks in the data transmission path, leading to increased data transmission latency or even data loss, thereby reducing the overall system's response speed and security.

This application provides a method, electronic device, and storage medium for testing the correctness of vectorization processing. The method includes: automatically enumerating multiple parameter combinations of test condition items (such as data type, broadcast rules, transpose state, etc.) related to the type of the operator to be tested; automatically generating a corresponding input tensor for each parameter combination; and performing vectorization processing and sequential loop processing respectively. By comparing the differences in the outputs of the two processing methods, the correctness of vectorization processing under all parameter combinations can be systematically verified. This overcomes the limitation of manually writing test cases that cannot fully cover multi-dimensional test conditions, and can efficiently and automatically discover boundary errors and numerical instability problems caused by different parameter combinations, thereby more accurately and reliably determining the correctness of vectorization processing.

This invention relates to a method for verifying a structured startup module for spaceborne software, belonging to the field of space technology. The invention verifies the structured startup module of spaceborne software, checking whether the software's operating state is consistent with the design under conditions such as initial power-on, reset, system disconnection, and power-off, whether it can transition to the normal operating process, and whether it can guarantee the normal operation of the spacecraft. This invention verifies, on the one hand, the rationality of the software design and whether it can achieve the expected results; on the other hand, it verifies the correctness of the software logic, verifying the operating logic of the computer upon initial power-on, as well as the correctness of fault logic and process jumps, ensuring the stable operation of the spacecraft in orbit.

This invention provides an autonomous tracking control method for unmanned surface vessels (USVs) that integrates Kalman filtering and deep reinforcement learning, belonging to the field of intelligent ship and autonomous navigation control technology. Addressing issues such as increased drift angle and frequent steering in real-world marine environments, it constructs a control framework that combines Kalman filtering-assisted line-of-sight guidance with deep reinforcement learning. By introducing a Kalman filtering-based line-of-sight guidance algorithm to predict and compensate for drift angle in real time, a target heading is generated, ensuring the USV's speed and direction align with the desired path. A deep reinforcement learning controller learns and outputs the optimal rudder angle control strategy based on state information such as the deviation between the target heading and the actual heading. A composite reward function is designed that considers heading error, drift angle changes, and rudder angle stability, significantly suppressing the frequent steering issues found in traditional control methods. This invention outperforms existing traditional control technologies in terms of track tracking accuracy, rudder angle adjustment smoothness, and robustness under complex sea conditions.

This disclosure relates to a method for testing the phase of relay protection on a no-load line, comprising the following steps: providing a predetermined current required for testing to the line under test and the line capable of carrying a load through a current booster; measuring whether the voltage wiring and the secondary circuit wiring of the current transformer of the corresponding relay protection device are consistent with those of the line under test and the line capable of carrying a load; after the line capable of carrying a load is energized, measuring whether the phase of the relay protection device of the line capable of carrying a load is correct; if the results of the above measurements are all correct or consistent, it indicates that the phase of the relay protection device of the line under test and the line capable of carrying a load is correct. This method solves the problem that in the past, due to insufficient load current or the inability to connect a load to the line, the phase of the relay protection device could not be tested, resulting in the relay protection device failing to perform normal line protection and affecting the commissioning of primary equipment.