高精度UT1-UTC差分预报方法研究

针对卫星导航所需的高精度地球定向参数(EOP)中的UT1-UTC预报问题,提出了基于双差分LS+AR的UT1-UTC参数预报方法。对UT1-UTC观测数据进行跳秒检测、固体地球带谐潮汐项改正,然后对改正后的UT1-UTC数据进行双差分处理,增强数据平稳性;采用最小二乘拟合(LS)与自回归(AR)分析方法对差分处理后的数据进行分析与预报;对预报结果进行逆差分处理与潮汐项改正外推、跳秒恢复,获取高精度的UT1-UTC预报值。通过与国际EOP_PCC预报结果对比表明,UT1-UTC短期预报精度与EOP_PCC较优的预报精度相当,其中1天UT1-UTC预报精度优于0.03ms,优于EOP_PCC预报结果。介绍了北京航天飞行控制中心的UT1-UTC每日例行预报情况。     

一种改进的多点融合非均匀校正技术

针对空间宽幅相机在进行非均匀性校正过程中相机镜头与积分球输出口的相对位置发生变换后非均匀性校正精度下降的原因进行了分析,提出了一种改进的融合多点位置的非均匀校正新方法,即为了消除积分球的角均匀性和面均匀性的不足,采用获取多个位置的大量定标图像,融合求取平均值的方法得到校正系数来削弱这种影响,并进行试验验证分析。结果表明,多点融合的校正方法在积分球输出口光强不均匀、又无法固定相机与积分球相对位置的前提下,减少了积分球光强的不均匀性对系数可靠性的影响,相对辐射定标的非均匀校正精度得到大幅提高。     

提高数字器件频率稳定度测量分辨率的研究

提出了一种利用信号时空关系测量相位差来修正差拍周期的方法,并通过实验证明了该方法的正确性和可行性。此方法在提高数字器件频率稳定度测量分辨率方面还有很大的空间,是一种很有潜力的高精度测量技术。     

一种面向工业互联网的云存储方法

工业互联网是工业信息化进程中最受关注的热点,海量异构数据管理是其中的重点之一。传统的关系数据库（RDB）对海量多源异构数据的读写和检索都存在性能瓶颈,而近年来兴起的云数据管理方法主要是针对“键-值”（K-V）模式,无法依靠主键以外的数据属性对数据进行快速查找。提出了一种面向工业互联网的云存储方法——StoreCDB,在异构采样数据统一表达数据模型基础上,实现非结构化存储管理,同时,利用两级索引实现海量数据的快速检索。通过实验,在分布式集群实验平台上,采用海量高铁列车运行模拟数据,验证了StoreCDB具有良好的异构数据存储和检索性能,为工业互联网提供了一种新的数据管理方法。      

基于F-P腔的激光频率稳定传递方法

量子传感的发展需要频率高度稳定的激光器为基础,且实现大失谐激光频率稳定通常是提高其精度和灵敏度的关键。针对大失谐激光稳频问题,提出了一种利用法布里-珀罗（F-P）腔传递激光频率稳定性的方法。以饱和吸收稳频法锁定的激光器频率为参考,基于锁相原理,锁定F-P腔长度。利用F-P腔长度这个稳定的参考点,实现目标激光器的频率的精确锁定。实验将目标激光器波长锁定于767.001 nm,失谐频率为150 GHz,锁定后的频率漂移为1 MHz/h。该方法解决了激光大失谐稳频问题,对工程实践和科学研究有重要意义。      

基于Fabry-Perot干涉仪气辉观测数据反演中性风速方法比较

利用半径法、完整傅里叶级数描述法和非线性回归法分别对安装在河北省境内国家天文台兴隆园区（40.2°N,117.4°E）的Fabry-Perot干涉仪（FPI）获得的地基中高层大气气辉观测数据进行风速反演.反演结果表明,半径法、完整傅里叶级数描述法和非线性回归法均能很好地反演风速,在误差范围内反演结果存在很好的一致性.相对于半径法和完整傅里叶级数描述法,非线性回归方法更完整地利用了观测数据信息,反演结果可信度较高.     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

基于自适应阈值的粒子滤波非线性系统故障诊断

针对实际非线性系统传统方法难以实现可靠故障诊断的问题,采用粒子滤波算法,利用对数似然函数和作为评价指标,并借助自适应阈值的设计,研究了非线性非高斯系统的故障检测和故障隔离。阈值的选取,是准确判别系统是否发生故障的标准,本文通过分析非线性系统残差的统计特性,在判定残差统计特性成正态分布的基础上,设计了一种基于粒子滤波故障诊断的自适应阈值方法,减少了故障诊断的漏报和误报。通过非恒温连续搅拌水箱式反应堆的仿真实例,验证了该方法在故障诊断中的准确性和有效性。      

腹板开口对复合材料梁腹板剪切承载性能的影响

针对平面编织复合材料梁腹板结构剪切载荷作用下的面内剪切屈曲失稳和后屈承载能力问题,采用实验与有限元方法进行了研究。结合实验所得应变分布规律与有限元分析所得失稳模态分析了梁腹板结构剪切失稳特点。后屈曲承载分析中引入了平面织物复合材料Hashin失效准则,获得的结构主要失效模式包括纬向纤维压溃和经向纤维拉断,与实验结果符合良好。基于经实验结果验证的有限元模型进行了参数化研究,分析了腹板开口尺寸和开口形式对平面织物复合材料梁腹板剪切稳定性、承载能力和破坏模式的影响。研究结果可为复合材料结构设计和强度评估提供参考。