基于多源卫星遥感的灾害性气象观测数据监测系统设计

灾害性气象的频发不仅给人们的生活带来了极大的影响,而且还危及生态环境的稳定。为减小实测气象数据与真实数据样本之间误差,实现对灾害性气象观测数据的准确监测,设计基于多源卫星遥感的灾害性气象观测数据监测系统。设置温湿度传感器及防辐射罩,按照数据信息传输网络布局形式,将风速风向传感器、雨量传感器、太阳能控制器接入既定模块单元之中,完成监测系统的硬件设计。利用多源卫星遥感技术,定义多源影像空间,通过分解数字卫星图像的方式,确定监测极值点所处位置,并计算相似性度量指标的具体数值,完成基于多源卫星遥感的灾害性气象图像配准处理。根据上位机组网模型,完善WINSOCK控件的连接形式,实现监测系统的执行程序编制,联合相关传感器元件,完成基于多源卫星遥感的灾害性气象观测数据监测系统设计。实验结果表明,多源卫星遥感技术设计系统的湿度测量曲线、气压测量曲线、风速测量曲线与真实气象数据样本之间的误差值均未超过2%,能够准确监测灾害性气象观测数据。     

A post quantum secure construction of an authentication protocol for satellite communication

Satellite's communication system is used to communicate under significant distance and circumstances where the other communication systems are not comfortable. Since all the data are exchanged over a public channel, so the security of the data is an essential component for the communicating parties. Both key exchange and authentication are two cryptographic tools to establish a secure communication between two parties. Currently, various kinds of authentication protocols are available to establish a secure network, but all of them depend on number–theoretical (discrete logarithm problem/factorization assumption) hard assumptions. Due to Shor's and Grover's computing algorithm number theoretic assumptions are breakable by quantum computers. Although Kumar and Garg have proposed a quantum attack-resistant protocol for satellite communication, it cannot resist stolen smart card attack. We have analyzed that how Kumar and Garg is vulnerable to the stolen smart card attack using differential power analysis attack described in He et al and Chen and Chen. We have also analyzed the modified version of signal leakage attack and sometimes called improved signal leakage attack on Kumar and Garg's protocol. We have tried to construct a secure and efficient authentication protocol for satellites communication that is secure against quantum computing. This is more efficient as it requires only three messages of exchange. This paper includes security proof and performance of the proposed authentication and key agreement protocol.     

扩频体制低轨卫星通信信号捕获与跟踪系统设计

针对扩频体制下低轨卫星信号的捕获及跟踪等系统设计实现问题,根据卫星信号模型进行了捕获及跟踪算法设计,重点对基于快速傅里叶变换的快速捕获算法、锁频环、锁相环和码跟踪环路进行了设计,并进行了工程系统实现。试验验证表明,该系统可以实现码分多址体制低轨卫星信号捕获、跟踪处理,工作性能参数满足系统需求。     

序贯检测在“北斗”卫星信号捕获过程中的应用

为了提高“北斗”系统的捕获性能,解决在弱信号环境中无法有效捕获与检到卫星信号的问题,在“北斗”系统的捕获方法中采用序贯检测的方式进行了改进与优化。分析后得出,序贯检测通过双门限与待检测区,使得样本数灵活可变,可以有效应对不同信噪比的信号,在强信号与弱信号下都有良好的效果。通过仿真对序贯检测方式与传统检测方式进行了性能上的比较与分析,结果表明,序贯检测逻辑不仅达到了传统检测方法中预期的检测概率和虚警概率,同时具备更高的性能与灵活性,强信号下缩短了捕获时间,提高了捕获效率;弱信号下提高了2～3 dB信噪比增益与捕获性能;既保证了该检测逻辑的可行性,又为捕获检测过程提供了一种思路与方法。     

宽频带圆极化缝隙螺旋天线的设计

研究了一种宽阻抗带宽和宽圆极化轴比带宽的缝隙螺旋天线。天线印制在由FR4 介质基板构建的 方形柱状结构的内外表面,两组长短不同的缝隙螺旋臂印制在介质基板外表面并延伸至天线顶部;一条弯折的微带 线作为馈电网络印制在介质基板内表面,通过对各缝隙耦合馈电,实现天线宽阻抗带宽和轴比带宽。实测结果表 明:天线尺寸为0. 111λ0 ×0. 111λ0 ×0. 221λ0(λ0 为北斗B2 中心频率1. 207 GHz 对应的自由空间波长),S11 ≤ -10 dB 的阻抗带宽为1. 158~1. 778 GHz,轴比≤3 dB 的圆极化带宽为1. 133~1. 918 GHz。该天线采用缝隙螺旋结构,通过 简易的馈电网络实现天线小型化和宽频带特性,在卫星导航系统中具有较好的应用前景。     

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Navigation satellites are a core component of navigation satellite‐based systems such as Global Positioning System, Global Navigation Satellite System and Galileo, which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties, respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties. Copyright © 2014 John Wiley & Sons, Ltd.     

基于相空间重构与高斯过程的卫星钟差预报

提出了一种基于相空间重构与高斯过程预报卫星钟差的新方法。首先根据星载原子钟的物理特性用多项式进行拟合以提取钟差趋势项,并对拟合后的残差进行经验模态分解,作降噪处理;然后以降噪后的残差时间序列的混沌特性为基础,对其进行相空间重构;最后以重构的相空间为基础,运用高斯过程对残差时间序列进行建模预报,再将预报结果加上趋势项,获得最终的钟差预报值。采用IGS提供的GPS超快速观测钟差建模进行短期预报实验,结果表明,该方法能实时有效地对卫星钟差进行预报,且精度优于超快速预报钟差。     

带可控臂的绳系卫星短距释放实验研究

通过绳系卫星轨道面内运动的天-地动力学相似,利用地面物理仿真平台实验研究绳系卫星短距离释放的控制问题.首先建立带控制臂的绳系卫星系统非线性动力学方程,获得天-地动力学相似条件,采用比例-微分反馈控制方法,对受控绳系卫星的姿态运动进行数值仿真.其次,利用地面物理仿真平台实现绳系卫星的天-地动力学相似环境,通过单根刚性臂实现卫星姿态运动和系绳摆动的两自由度运动控制.实验和数值对比结果表明,借助控制臂可以有效的对绳系卫星的释放进行控制.