[2] viXra:2512.0114 [pdf] replaced on 2025-12-28 01:20:59
Authors: Feliciano Domingos
Comments: 4 Pages.
present Non-Colliding Path Authorisation (NCPA),a lightweight authorisation protocol in which access rights are encoded as single-use, ordered paths through a system graph. Each authorization must be exercised sequentially, without replay, andwithout colliding with other concurrent authorizations. To ensure liveness, paths are allocated within bounded epochs, allowingsafe reclamation of exhausted resources. Unlike traditional access control systems that rely on centralised locks or cryptographic capabilities, NCPA enforces safety properties through structural constraints and explicit state transitions. I provide an executable specification of the protocol and validate its security properties using property-based testing. Our results demonstrate that NCPA prevents replay, skipping, impersonation, and collisions, while guaranteeing bounded exhaustion and epoch-based recovery.
Category: Data Structures and Algorithms
[1] viXra:2512.0068 [pdf] submitted on 2025-12-16 03:26:28
Authors: Shuhan Xu, Ruoyu Tang, Yayu Cao
Comments: 7 Pages. This manuscript is accepted by the 5th International Conference on Electronic Information Engineering and Computer Communication (EIECC 2025, Wuhan, China, 12/26-28/2025) with Manuscript No. 225120211204428071, to be published in the conference proceeding
This paper proposes a real-time economic scheduling algorithm for distributed microgrids based on bionics, combining the Sparrow Search Algorithm (SSA) with the multi-cluster reservoir Deep Echo State Network (MRDESN), to address the problems of slow response speed and insufficient accuracy of traditional iterative algorithms in complex microgrids. The algorithm simulates the behavior of sparrow colonies, optimizes network parameters through the discoverer-participant mechanism, and simultaneously adopts a hierarchical reserve pool structure to enhance the nonlinear fitting ability, achieving real-time balance of power load and power generation demand. The research constructs the MRDESN model, and utilizes SSA to optimize key parameters such as the pool size, sparsity, and spectral radius, thereby enhancing training efficiency and global search capability. The experiment takes six distributed generating units as the objects and uses the load data of North American cities to verify the performance of the algorithm. The results show that the absolute errors of the optimized SSA-MRDESN network in the two sets of test data are controlled within ±0.25kW and ±0.2kW respectively, the relative errors reach the order of 10u207b³, and the mean absolute error (MAE) and root mean square error (RMSE) are significantly reduced compared with the traditional methods. This algorithm, by integrating biological bionic mechanisms with deep networks, effectively enhances the real-time performance and accuracy of microgrid dispatching, providing a new solution for economic operation in high-volatility scenarios.
Category: Data Structures and Algorithms