Realization of high performance satellite onboard clock is vital for various positioning, navigation, and timing applications. For further improvement of the synchronization-based satellite time and frequency referenc...Realization of high performance satellite onboard clock is vital for various positioning, navigation, and timing applications. For further improvement of the synchronization-based satellite time and frequency references, we propose a geosynchronous(GEO) satellite virtual clock concept based on ground–satellite synchronization and present a beacon transponder structure for its implementation(scheduled for launch in 2025), which does not require atomic clocks to be mounted on the satellite. Its high performance relies only on minor modifications to the existing transponder structure of GEO satellites. We carefully model the carrier phase link and analyze the factors causing link asymmetry within the special relativity. Considering that performance of such synchronization-based satellite clocks is primarily limited by the link's random phase noise, which cannot be adequately modeled, we design a closed-loop experiment based on commercial GEO satellites for pre-evaluation. This experiment aims at extracting the zero-means random part of the ground-satellite Ku-band carrier phase via a feedback loop. Ultimately, we obtain a 1σ value of 0.633 ps(two-way link), following the Gaussian distribution. From this result, we conclude that the proposed real-time Einstein-synchronization-defined satellite virtual clock can achieve picosecond-level replication of onboard time and frequency.展开更多
This article analyzes the shift factors of the descending node local time for sun-synchronous satellites and proposes a shift control method to keep the local time shift within an allowance range. It is found that the...This article analyzes the shift factors of the descending node local time for sun-synchronous satellites and proposes a shift control method to keep the local time shift within an allowance range. It is found that the satellite orbit design and the orbit injection deviation are the causes for the initial shift velocity, whereas the atmospheric drag and the sun gravitational perturbation produce the shift acceleration. To deal with these shift factors, a shift control method is put forward, through such methods as orbit variation design, orbit altitude, and inclination keeping control. The simulation experiment and practical application have proved the effectiveness of this control method.展开更多
The key to control Spin-Stabilized Satellites Synchronously is to determine the models for calculating and correcting of time-delay at the different situations. Based on the principle of Synchronous-Control mode, the ...The key to control Spin-Stabilized Satellites Synchronously is to determine the models for calculating and correcting of time-delay at the different situations. Based on the principle of Synchronous-Control mode, the methods of determining the models of calculating and correcting of time-delay are proposed. The methods have been proved to be effective in real satellite control engineering.展开更多
Micro-satellite cluster enables a whole new class of missions for communications, remote sensing, and scientific research for both civilian and military purposes. Synchronizing the time of the satellites in a cluster ...Micro-satellite cluster enables a whole new class of missions for communications, remote sensing, and scientific research for both civilian and military purposes. Synchronizing the time of the satellites in a cluster is important for both cluster sensing capabilities and its autonomous operating. However, the existing time synchronization methods are not suitable for microsatellite cluster, because it requires too many human interventions and occupies too much ground control resource. Although, data post-process may realize the equivalent time synchronization, it requires processing time and powerful computing ability on the ground, which cannot be implemented by cluster itself. In order to autonomously establish and maintain the time benchmark in a cluster, we propose a compact time difference compensation system（TDCS）, which is a kind of time control loop that dynamically adjusts the satellite reference frequency according to the time difference. Consequently, the time synchronization in the cluster can be autonomously achieved on-orbit by synchronizing the clock of other satellites to a chosen one＇s. The experimental result shows that the standard deviation of time synchronization is about 102 ps when the carrier to noise ratio（CNR） is 95 d BHz, and the standard deviation of corresponding frequency difference is approximately0.36 Hz.展开更多
The advancement of small satellites is promoting the development of distributed satellite systems,and for the latter,it is essential to coordinate the spatial and temporal relations between mutually visible satellites...The advancement of small satellites is promoting the development of distributed satellite systems,and for the latter,it is essential to coordinate the spatial and temporal relations between mutually visible satellites.By now,dual one-way ranging(DOWR)and two-way time transfer(TWTT)are generally integrated in the same software and hardware system to meet the limitations of small satellites in terms of size,weight and power(SWaP)consumption.However,studies show that pseudo-noise regenerative ranging(PNRR)performs better than DOWR if some advanced implementation technologies are employed.Besides,PNRR has no requirement on time synchronization.To apply PNRR to small satellites,and meanwhile,meet the demand for time difference measurement,we propose the round-way time difference measurement,which can be combined with PNRR to form a new integrated system without exceeding the limits of SWaP.The new integrated system can provide distributed small satellite systems with on-orbit high-accuracy and high-precision distance measurement and time difference measurement in real time.Experimental results show that the precision of ranging is about 1.94 cm,and that of time difference measurement is about 78.4 ps,at the signal to noise ratio of 80 dBHz.展开更多
Verifiable secret sharing mainly solves the cheating behavior between malicious participants and the ground control center in the satellite network.The verification stage can verify the effectiveness of secret shares ...Verifiable secret sharing mainly solves the cheating behavior between malicious participants and the ground control center in the satellite network.The verification stage can verify the effectiveness of secret shares issued by the ground control center to each participant and verify the effectiveness of secret shares shown by participants.We use a lot of difficult assumptions based on mathematical problems in the verification stage,such as solving the difficult problem of the discrete logarithm,large integer prime factorization,and so on.Compared with other verifiable secret sharing schemes designed for difficult problems under the same security,the verifiable secret sharing scheme based on the Elliptic Curve Cryptography(ECC)system has the advantages of less computational overhead and shorter key.At present,the binary polynomial is a single secret scheme and cannot provide effective verification.Therefore,based on a Protected Verifiable Synchronous Multi Secret Sharing(PVS-MSS)scheme,this paper is designed based on bivariate asymmetric polynomials.The advanced verifiable attribute is introduced into the Protected Secret Sharing(PSS)scheme.This paper extends the protected synchronous multi-secret sharing scheme based on bivariate polynomial design.The ECC system constructs the security channel between the ground control center and participants and constructs the verification algorithm.Through the verification algorithm,any participant can verify the consistency and effectiveness of the secret shadow and secret share received from other participants or presented by the secret distribution center.Therefore,no additional key agreement protocol is required;participants do not need to negotiate the session key for encryption;the secret share polynomial can generate the session key between participants and speed up the secret reconstruction process.The verification stage has lower computational complexity than the verifiable scheme constructed by Rivest Shamir Adleman (RSA) and other encryption methods. Chinese Remainder Theorem (CRT)is used to update the secret shadow. The secret shadow does not need to beupdated with the change of the scheme shared secret, and the public valueupdate efficiency is higher. Reduce the complexity of sharing secret updatesin a synchronous multi-secret sharing scheme.展开更多
In recent years,as a promising way to realize digital transformation,digital twin shop-floor(DTS)plays an impor-tant role in smart manufacturing.The core feature of DTS is the synchronization.How to implement and main...In recent years,as a promising way to realize digital transformation,digital twin shop-floor(DTS)plays an impor-tant role in smart manufacturing.The core feature of DTS is the synchronization.How to implement and maintain the synchronization is critical for DTS.However,there is still a lack of a common definition for synchronization in DTS.Besides,a systematic synchronization mechanism for DTS is strongly needed.This paper first summarizes the defi-nition and requirements of synchronization in DTS,to clarify the understanding of synchronization in DTS.Then,a 5M synchronization mechanism for DTS is proposed,where 5M refers to multi-system data,multi-fidelity model,multi-resource state,multi-level state,and multi-stage operation.As a bottom-up synchronization mechanism,5M synchronization mechanism for DTS has the potential to support DTS to achieve and maintain physical-virtual state synchronization,and to realize operation synchronization of DTS.The implementation methods of 5M synchronization mechanism for DTS are also introduced.Finally,the proposed synchronization mechanism is validated in a digital twin satellite assembly shop-floor,which proves the effectiveness and feasibility of the mechanism.展开更多
基金supported by the National Key Research and Development Program of China(Grant No.2021YFA1402100)。
文摘Realization of high performance satellite onboard clock is vital for various positioning, navigation, and timing applications. For further improvement of the synchronization-based satellite time and frequency references, we propose a geosynchronous(GEO) satellite virtual clock concept based on ground–satellite synchronization and present a beacon transponder structure for its implementation(scheduled for launch in 2025), which does not require atomic clocks to be mounted on the satellite. Its high performance relies only on minor modifications to the existing transponder structure of GEO satellites. We carefully model the carrier phase link and analyze the factors causing link asymmetry within the special relativity. Considering that performance of such synchronization-based satellite clocks is primarily limited by the link's random phase noise, which cannot be adequately modeled, we design a closed-loop experiment based on commercial GEO satellites for pre-evaluation. This experiment aims at extracting the zero-means random part of the ground-satellite Ku-band carrier phase via a feedback loop. Ultimately, we obtain a 1σ value of 0.633 ps(two-way link), following the Gaussian distribution. From this result, we conclude that the proposed real-time Einstein-synchronization-defined satellite virtual clock can achieve picosecond-level replication of onboard time and frequency.
基金supported by the China Postdotoral Science Foundation(20060401004)
文摘This article analyzes the shift factors of the descending node local time for sun-synchronous satellites and proposes a shift control method to keep the local time shift within an allowance range. It is found that the satellite orbit design and the orbit injection deviation are the causes for the initial shift velocity, whereas the atmospheric drag and the sun gravitational perturbation produce the shift acceleration. To deal with these shift factors, a shift control method is put forward, through such methods as orbit variation design, orbit altitude, and inclination keeping control. The simulation experiment and practical application have proved the effectiveness of this control method.
文摘The key to control Spin-Stabilized Satellites Synchronously is to determine the models for calculating and correcting of time-delay at the different situations. Based on the principle of Synchronous-Control mode, the methods of determining the models of calculating and correcting of time-delay are proposed. The methods have been proved to be effective in real satellite control engineering.
基金supported by the National Natural Science Foundation of China(61401389)the Joint Fund of the Ministry of Education of China(6141A02033310)
文摘Micro-satellite cluster enables a whole new class of missions for communications, remote sensing, and scientific research for both civilian and military purposes. Synchronizing the time of the satellites in a cluster is important for both cluster sensing capabilities and its autonomous operating. However, the existing time synchronization methods are not suitable for microsatellite cluster, because it requires too many human interventions and occupies too much ground control resource. Although, data post-process may realize the equivalent time synchronization, it requires processing time and powerful computing ability on the ground, which cannot be implemented by cluster itself. In order to autonomously establish and maintain the time benchmark in a cluster, we propose a compact time difference compensation system（TDCS）, which is a kind of time control loop that dynamically adjusts the satellite reference frequency according to the time difference. Consequently, the time synchronization in the cluster can be autonomously achieved on-orbit by synchronizing the clock of other satellites to a chosen one＇s. The experimental result shows that the standard deviation of time synchronization is about 102 ps when the carrier to noise ratio（CNR） is 95 d BHz, and the standard deviation of corresponding frequency difference is approximately0.36 Hz.
基金supported by the National Natural Science Foundation of China(61401389).
文摘The advancement of small satellites is promoting the development of distributed satellite systems,and for the latter,it is essential to coordinate the spatial and temporal relations between mutually visible satellites.By now,dual one-way ranging(DOWR)and two-way time transfer(TWTT)are generally integrated in the same software and hardware system to meet the limitations of small satellites in terms of size,weight and power(SWaP)consumption.However,studies show that pseudo-noise regenerative ranging(PNRR)performs better than DOWR if some advanced implementation technologies are employed.Besides,PNRR has no requirement on time synchronization.To apply PNRR to small satellites,and meanwhile,meet the demand for time difference measurement,we propose the round-way time difference measurement,which can be combined with PNRR to form a new integrated system without exceeding the limits of SWaP.The new integrated system can provide distributed small satellite systems with on-orbit high-accuracy and high-precision distance measurement and time difference measurement in real time.Experimental results show that the precision of ranging is about 1.94 cm,and that of time difference measurement is about 78.4 ps,at the signal to noise ratio of 80 dBHz.
基金This work is supported by The State Key Laboratory of Integrated Services Networks,Xidian University(ISN22-13).
文摘Verifiable secret sharing mainly solves the cheating behavior between malicious participants and the ground control center in the satellite network.The verification stage can verify the effectiveness of secret shares issued by the ground control center to each participant and verify the effectiveness of secret shares shown by participants.We use a lot of difficult assumptions based on mathematical problems in the verification stage,such as solving the difficult problem of the discrete logarithm,large integer prime factorization,and so on.Compared with other verifiable secret sharing schemes designed for difficult problems under the same security,the verifiable secret sharing scheme based on the Elliptic Curve Cryptography(ECC)system has the advantages of less computational overhead and shorter key.At present,the binary polynomial is a single secret scheme and cannot provide effective verification.Therefore,based on a Protected Verifiable Synchronous Multi Secret Sharing(PVS-MSS)scheme,this paper is designed based on bivariate asymmetric polynomials.The advanced verifiable attribute is introduced into the Protected Secret Sharing(PSS)scheme.This paper extends the protected synchronous multi-secret sharing scheme based on bivariate polynomial design.The ECC system constructs the security channel between the ground control center and participants and constructs the verification algorithm.Through the verification algorithm,any participant can verify the consistency and effectiveness of the secret shadow and secret share received from other participants or presented by the secret distribution center.Therefore,no additional key agreement protocol is required;participants do not need to negotiate the session key for encryption;the secret share polynomial can generate the session key between participants and speed up the secret reconstruction process.The verification stage has lower computational complexity than the verifiable scheme constructed by Rivest Shamir Adleman (RSA) and other encryption methods. Chinese Remainder Theorem (CRT)is used to update the secret shadow. The secret shadow does not need to beupdated with the change of the scheme shared secret, and the public valueupdate efficiency is higher. Reduce the complexity of sharing secret updatesin a synchronous multi-secret sharing scheme.
基金Supported by National Natural Science Foundation of China(NSFC)(Grant Nos.52120105008,52005026,52005025).
文摘In recent years,as a promising way to realize digital transformation,digital twin shop-floor(DTS)plays an impor-tant role in smart manufacturing.The core feature of DTS is the synchronization.How to implement and maintain the synchronization is critical for DTS.However,there is still a lack of a common definition for synchronization in DTS.Besides,a systematic synchronization mechanism for DTS is strongly needed.This paper first summarizes the defi-nition and requirements of synchronization in DTS,to clarify the understanding of synchronization in DTS.Then,a 5M synchronization mechanism for DTS is proposed,where 5M refers to multi-system data,multi-fidelity model,multi-resource state,multi-level state,and multi-stage operation.As a bottom-up synchronization mechanism,5M synchronization mechanism for DTS has the potential to support DTS to achieve and maintain physical-virtual state synchronization,and to realize operation synchronization of DTS.The implementation methods of 5M synchronization mechanism for DTS are also introduced.Finally,the proposed synchronization mechanism is validated in a digital twin satellite assembly shop-floor,which proves the effectiveness and feasibility of the mechanism.
