The satellite-based augmentation system(SBAS)provides differential and integrity augmentation services for life safety fields of aviation and navigation.However,the signal structure of SBAS is public,which incurs a ri...The satellite-based augmentation system(SBAS)provides differential and integrity augmentation services for life safety fields of aviation and navigation.However,the signal structure of SBAS is public,which incurs a risk of spoofing attacks.To improve the anti-spoofing capability of the SBAS,European Union and the United States conduct research on navigation message authentication,and promote the standardization of SBAS message authentication.For the development of Beidou satellite-based augmentation system(BDSBAS),this paper proposes navigation message authentication based on the Chinese commercial cryptographic standards.Firstly,this paper expounds the architecture and principles of the SBAS message authentication,and then carries out the design of timed efficient streaming losstolerant authentication scheme(TESLA)and elliptic curve digital signature algorithm(ECDSA)authentication schemes based on Chinese commercial cryptographic standards,message arrangement and the design of over-the-air rekeying(OTAR)message.Finally,this paper conducts a theoretical analysis of the time between authentications(TBA)and maximum authentication latency(MAL)for L5 TESLA-I and L5 ECDSA-Q,and further simulates the reception time of OTAR message,TBA and MAL from the aspects of OTAR message weight and demodulation error rate.The simulation results can provide theoretical supports for the standardization of BDSBAS message authentication.展开更多
针对金刚石滚轮是一种回转体零件以及其加工制造过程中信息化集成程度低等特点,对金刚石滚轮的特征信息提取、特征加工方案决策、数控程序后置处理等关键技术进行了研究,采用了产品模型数据交换标准STEP AP 242,实现对金刚石滚轮的制造...针对金刚石滚轮是一种回转体零件以及其加工制造过程中信息化集成程度低等特点,对金刚石滚轮的特征信息提取、特征加工方案决策、数控程序后置处理等关键技术进行了研究,采用了产品模型数据交换标准STEP AP 242,实现对金刚石滚轮的制造特征信息提取,使用STEP AP 242和PDM相结合的集成方式,将金刚石滚轮三维模型作为制造加工信息的载体,并选择SolidWorks作为CAD和CAM软件,以及选择Aras Innovator作为PDM平台,使用C#编程语言和数据库技术开发了金刚石滚轮CAD/CAPP/CAM/PDM集成系统,并进行了实例验证。展开更多
基金supported by National Natural Science Foundation of China:Space-based occultation detection with ground-based GNSS atmospheric horizontal gradient model(41904033).
文摘The satellite-based augmentation system(SBAS)provides differential and integrity augmentation services for life safety fields of aviation and navigation.However,the signal structure of SBAS is public,which incurs a risk of spoofing attacks.To improve the anti-spoofing capability of the SBAS,European Union and the United States conduct research on navigation message authentication,and promote the standardization of SBAS message authentication.For the development of Beidou satellite-based augmentation system(BDSBAS),this paper proposes navigation message authentication based on the Chinese commercial cryptographic standards.Firstly,this paper expounds the architecture and principles of the SBAS message authentication,and then carries out the design of timed efficient streaming losstolerant authentication scheme(TESLA)and elliptic curve digital signature algorithm(ECDSA)authentication schemes based on Chinese commercial cryptographic standards,message arrangement and the design of over-the-air rekeying(OTAR)message.Finally,this paper conducts a theoretical analysis of the time between authentications(TBA)and maximum authentication latency(MAL)for L5 TESLA-I and L5 ECDSA-Q,and further simulates the reception time of OTAR message,TBA and MAL from the aspects of OTAR message weight and demodulation error rate.The simulation results can provide theoretical supports for the standardization of BDSBAS message authentication.
文摘针对金刚石滚轮是一种回转体零件以及其加工制造过程中信息化集成程度低等特点,对金刚石滚轮的特征信息提取、特征加工方案决策、数控程序后置处理等关键技术进行了研究,采用了产品模型数据交换标准STEP AP 242,实现对金刚石滚轮的制造特征信息提取,使用STEP AP 242和PDM相结合的集成方式,将金刚石滚轮三维模型作为制造加工信息的载体,并选择SolidWorks作为CAD和CAM软件,以及选择Aras Innovator作为PDM平台,使用C#编程语言和数据库技术开发了金刚石滚轮CAD/CAPP/CAM/PDM集成系统,并进行了实例验证。
