SBAS电文时序动态编排算法

星基增强系统（SBAS）通过GEO卫星转发SBAS电文实现对GNSS服务性能的提升,以满足民航用户不同飞行阶段的导航需求,因此,合理有效的电文内容及播发时序设计是系统实现高质量服务的重要保证。为提高电文编排的灵活性,避免固定时序填补空余电文引起的播发资源浪费,提出了一种SBAS电文时序动态编排算法,在满足国际标准要求的前提下,综合利用SBAS电文龄期和最大播发间隔实现待播发电文的自动选择。利用NTMF实测数据对当前各主要SBAS的电文进行了特性分析,对所提方法的单双频SBAS电文编排效果进行了评估。结果表明:所提算法可保证电文时序符合国际标准要求,实现了重要电文的优先播发,将空余时隙进行动态分配实现了各类型电文播发间隔的近等比例缩短。与固定时序相比,单频SBAS完好性电文播发间隔缩短约15.0%,首次定位时间缩短约8%,双频SBAS电文首次定位时间缩短约6.5%;与固定时序的BDSBAS B1C电文相比,完好性服务能力提升约14.7%,首次定位时间缩短约16.7%。所提算法有效提升了SBAS电文播发的播发效率,实现了SBAS播发资源的100%有效利用。      

全柔性空间机器人基于虚拟力的输出反馈有限维重复学习控制及振动抑制

探讨了基座、关节、臂均存在柔性情况下,空间机器人关节轨迹运动及多重柔性振动的主动控制和主动抑制问题.结合线性弹簧、扭转弹簧、简支梁及假设模态法,利用拉格朗日方程建立了基座、关节、臂全柔性影响下的空间机器人系统动力学模型,利用奇异摄动法,将模型分解为关节运动慢变子系统与关节柔性振动快变子系统.为控制慢变子系统中载体姿态、关节刚性运动并且抑制臂的柔性振动,依据虚拟控制力的概念,设计了基于有限维傅里叶级数解析周期信号的输出反馈重复学习算法.李雅普诺夫直接法证实了上述控制器的稳定性.为了抑制快变子系统中基座和关节的柔性振动,分别采用线性二次最优控制方法以及引入关节柔性补偿器间接增大关节等效刚度的方式,使控制算法不局限于求解弱非线性问题.系统数值仿真结果表明,所提出的控制器能够有效抑制机器人多重柔性构件的振动,实现对期望信号的高品质追踪.      

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

高精度石英半球裸振子微应力制造

半球谐振子是半球谐振陀螺的核心元件,其质量直接决定了陀螺的性能精度,以高纯石英材料制成的半球谐振子已得到业界的广泛认可,但加工难度较高。半球裸振子是半球谐振子的未完全加工态,其加工表面残余应力的大小决定了谐振Q值、频差Δf等参数,进而影响谐振性能。文章就石英半球裸振子的微应力制造技术方法和技术特点进行了分析和讨论,以及采用飞秒激光加工设备实现石英半球裸振子微应力制造,飞秒激光加工具有速度快、热变形小、非接触、微应力等优势,用于半球谐振子加工能够明显改善加工效率、成本和表面应力状态,采用飞秒激光加工为高精度石英半球裸振子的加工提供新实现途径。     

基于GAN网络的红外图像生成技术

当将人工智能技术应用于军事领域中的目标识别任务时,针对由红外图片采集的局限性而造成的训练数据不足的问题,提出了基于生成对抗网络以生成红外图像的方法,实现了数据集的扩充。对基本的生成对抗网络进行了改进,将网络的输入由随机噪声变为真实图片,使之实现了图片到图片的风格转换,即彩色图片转变为红外图片。经过网络模型的搭建和训练,实验结果表明,该方法能够有效生成清晰和高质量的红外图片,解决了由红外数据不足而造成的网络训练不充分的问题。     

光学遥感卫星在轨星上绝对辐射定标的研究进展

高精度绝对辐射定标是实现光学遥感定量化应用的重要前提。首先简要介绍了绝对辐射定标,接下来系统性地梳理国内外发展现状及发展趋势,重点分析了太阳反射谱段光学遥感卫星在轨星上绝对辐射定标的各种方法,包括遥感器上定标设备、恒星和月球定标、高精度参考交叉定标卫星和同步绝对辐射定标仪等,其中前两类已经在轨实现精度优于2%~5%,后两类计划当中精度优于1%。最后总结发展规律和发展启示,给出高精度光学遥感卫星在轨星上绝对辐射定标发展的几点讨论。     

二阶时间精度的CFD/CSD耦合算法研究

非线性气动弹性分析中,涉及到非线性流体动力学(CFD)和非线性结构动力学(CSD)的耦合计算问题。本文分析比较了目前几种耦合算法:全耦合、松耦合和紧耦合,并从耦合边界能量传递守恒上就松耦合及紧耦合方法进行了时间精度的分析,得出传统松耦合中即使流体和结构子系统达到高阶时间精度,耦合算法的时间精度仍仅为一阶,紧耦合方法虽然可以达到二阶时间精度,但没有明显提高计算效率。随后,本文基于松耦合流程改进了耦合格式,分析表明其具有二阶时间精度,通过AGARD445.6机翼颤振模型的算例验证,说明该方法可以在保证计算精度的基础上明显提高计算效率,并保持了传统松耦合方法模块化的优点,在模拟非线性气动弹性问题时具有很高的优越性。     

新会计准则对盈余管理的制约作用——基于上市公司年报的实证研究

在回顾盈余管理相关文献的基础上,阐述了新会计准则中各相关的具体准则对上市公司盈余管理制约作用的具体表现.然后选取上海证券交易所100家上市公司年报数据为样本,运用截面修正Jones模型进行实证分析,得出在盈余管理方面新会计准则较旧企业会计准则整体优越的结论.     

低雷诺数下50°后掠三角翼的旋涡流动

采用数值模拟和流动显示的方法研究了50°后掠角三角翼在低雷诺数下的旋涡流动,结果表明:低雷诺数下,非细长三角翼在5°攻角时就形成了稳定的前缘涡,较小攻角时前缘主涡就开始破裂,并观察到泡型和螺旋型两种旋涡破裂方式。另外,在一定的攻角范围内,前缘主涡的外侧又生成一对新的集中涡,构成双涡结构;随着攻角的增大,前缘涡涡核不断升高,主再附线向中心移动,二次分离区扩大。